Function checkArity

src/compute-engine/boxed-expression/validate.ts:65–100

(
  ce: ComputeEngine,
  ops: ReadonlyArray<Expression>,
  count: number
)

import {
  activeRollbackFrame,
  repairsForbiddenByRollbackFrame,
} from '../inference-rollback.js';
import { fuzzyStringMatch } from '../../common/fuzzy-string-match.js';
import { isOperatorDef, isValueDef } from './utils.js';
import { isTensorValue } from './tensor-view.js';
import { _BoxedOperatorDefinition } from './boxed-operator-definition.js';
import {
  isSymbol,
  isFunction,
  isString,
  isContinuationOperand,
  containsContinuationOperand,
} from './type-guards.js';
import { narrowStringLiteralToCharacter } from './boxed-character.js';

// Parsed once: the type of an indexed collection whose every element is a
// number. Used in `checkNumericArgs` to accept collections for broadcasting on
// the strength of their static element type.
const INDEXED_COLLECTION_OF_NUMBER = parseType('indexed_collection<number>');

// `typeCouldBeNumericCollection` / `typeCouldBeNumericTuple` — the COULD-
// semantics predicates `checkNumericArgs` uses to admit collection/tuple
// operands — are imported from `collection-utils.ts`, where the
// `Add`/`Multiply` type handlers and the invisible-operator gate share the
// SAME predicates. Keeping a private copy here let the two layers diverge:
// an operand admitted by validation but missed by the type handlers
// collapsed to `number` and baked `incompatible-type` (Tycho item 30).

// `couldBeUnkeyedCollectionOperand` moved to `collection-utils.ts` alongside
// the sibling COULD-semantics predicates, so validation, overload resolution
// and result typing share ONE definition — a private copy here would let the
// resolution used for validation admit different arms from the one used for
// result typing.

/**
 * Exclusion gate for scalar numeric INFERENCE — deliberately WIDER than
 * broadcast admission (`couldBeUnkeyedCollectionOperand`). The hazard the
 * gate prevents is keyedness-independent: `x._infer('real')` on an operand
 * whose inferred result signature is collection-shaped WIDENS the shared