Function compileEntries

scripts/fungrim/compile-rules.ts:1391–1596

(
  entries: ReadonlyArray<Entry>,
  declarations: Declarations,
  overrides: CurationOverrides = {}
)

    // Never shadow an engine built-in: a shell declaration in this scope
    // would hide the built-in's numeric evaluator and signature, making the
    // self-test environment diverge from the loader's (which skips shells
    // for already-defined names). Heads promoted to built-ins after the
    // corpus declarations table was generated are caught here.
    if (ce.lookupDefinition(name) !== undefined) continue;
    try {
      ce.declare(name, setify(declarations.declarations[name].signature));
    } catch {
      /* unable to declare (e.g. reserved name) */
    }
  }
  return ce;
}

export function compileEntries(
  entries: ReadonlyArray<Entry>,
  declarations: Declarations,
  overrides: CurationOverrides = {}
): CompileResult {
  const ce = createScratchEngine(entries, declarations);

  const rules: CompiledFungrimRule[] = [];
  const skips: SkipRecord[] = [];
  const sampleKinds: Record<string, 'symbolic' | 'numeric'> = {};
  const seenUndirected = new Map<string, string>();
  const transformAllowlist = new Set(overrides.transformAllowlist ?? []);

  const skip = (e: Entry, reason: SkipReason, detail?: string): void => {
    skips.push(detail === undefined ? { id: e.id, reason } : { id: e.id, reason, detail });
  };

  for (const e of [...entries].sort((a, b) => a.id.localeCompare(b.id))) {
    const override = overrides.overrides?.[e.id];

    // 0. Curated exclusion
    if (override?.exclude === true) {
      skip(e, 'curated-exclude', override.note);
      continue;
    }

    // 1. Must be an equality with at least two operands. Chained equalities
    //    `Equal(a, b, c)` compile as first = last (sound by transitivity;
    //    the most-reduced closed form is the final element).
    const formula = e.formula as MathJSON[];
    if (!Array.isArray(formula) || formula[0] !== 'Equal' || formula.length < 3) {
      skip(e, 'not-equation', Array.isArray(formula) ? String(formula[0]) : undefined);
      continue;
    }
    const lhs = formula[1];
    const rhs = formula[formula.length - 1];

    // 2. Q3: specific values must be Head(args) = closed form; the 95
    //    symbol/Set/Apply-LHS entries are excluded (no recognition rules).
    if (e.class === 'specific-value') {
      const head = Array.isArray(lhs) ? lhs[0] : undefined;
      if (!Array.isArray(lhs) || head === 'Set' || head === 'Apply') {
        skip(e, 'lhs-not-value-form', Array.isArray(lhs) ? String(head) : 'symbol');
        continue;
      }