Function validate

test/compute-engine/patterns.test.ts:1108–1111

(pattern: Expression)

  // Test validatePattern directly with non-canonical patterns
  // (canonical forms may reorder operands for commutative operators)
  const validate = (pattern: Expression) => {
    const boxedPattern = ce.expr(pattern, { form: 'raw' });
    validatePattern(boxedPattern);
  };

  // INVALID: Consecutive multi-element wildcards (no delimiter to separate them)
  test('rejects consecutive sequence wildcards', () => {