Function numericCheckEntry

scripts/fungrim/numeric-check.ts:231–318

(
  ce: ComputeEngine,
  e: Entry,
  shellNames: Set<string>,
  seed: number
)

function hasErrorExpr(e: BoxedExpression): boolean {
  if (e.operator === 'Error') return true;
  if (isFunction(e)) return e.ops.some(hasErrorExpr);
  return false;
}

export function numericCheckEntry(
  ce: ComputeEngine,
  e: Entry,
  shellNames: Set<string>,
  seed: number
): EntryNumericResult {
  const t0 = Date.now();
  const base: EntryNumericResult = {
    id: e.id,
    topic: e.topic,
    class: e.class,
    guardLevel: e.guardLevel,
    instances: [],
    elapsedMs: 0,
  };

  // c·∞ passthrough evaluates to NaN by design — excluded (SPIKE §5)
  if (e.directedInfinity) {
    base.skipped = 'directed-infinity';
    base.elapsedMs = Date.now() - t0;
    return base;
  }
  // Shell heads have no numeric kernel: nothing can evaluate
  if (e.heads.some((h) => shellNames.has(h))) {
    base.skipped = 'shell-head';
    base.elapsedMs = Date.now() - t0;
    return base;
  }

  return withEntryScope(ce, e, () => {
    let formula: BoxedExpression;
    let assumptions: BoxedExpression | null = null;
    try {
      formula = ce.expr(e.formula as any).canonical;
      if (e.assumptions != null)
        assumptions = ce.expr(e.assumptions as any).canonical;
      // Without the Stage-1 compat widenings some entries don't box here
      if (hasErrorExpr(formula) || (assumptions && hasErrorExpr(assumptions))) {
        base.skipped = 'box-error';
        base.elapsedMs = Date.now() - t0;
        return base;
      }
    } catch {
      base.skipped = 'box-error';
      base.elapsedMs = Date.now() - t0;
      return base;
    }

    const domains = variableDomains(e);
    const candidates = generateAssignments(
      e.variables,
      domains as Record<string, Json>,
      (seed ^ hashString(e.id)) >>> 0,
      MAX_CANDIDATES