Function selfTest

scripts/fungrim/compile-rules.ts:965–990

(
  ce: ComputeEngine,
  e: Entry,
  matchW: MathJSON,
  replaceW: MathJSON,
  guards: ReadonlyArray<GuardSpec>
)

 * Box the candidate rule and require it to fire on a seeded instantiation
 * satisfying the guards (symbolic seed first, numeric backtracking fallback).
 */
export function selfTest(
  ce: ComputeEngine,
  e: Entry,
  matchW: MathJSON,
  replaceW: MathJSON,
  guards: ReadonlyArray<GuardSpec>
): SelfTestResult {
  // All boxing happens inside a per-entry scope where the wildcards carry
  // their guard-implied types: strict validation of typed slots
  // (Totient(_n), Fibonacci(_n), …) passes, and inferred wildcard types
  // never leak across entries.
  const seedTypes = variableSeedTypes(e, guards);
  ce.pushScope();
  try {
    for (const v of e.variables) {
      try {
        ce.declare('_' + v, seedTypes[v]);
      } catch {
        /* tolerate */
      }
    }
    return selfTestScoped(ce, e, matchW, replaceW, guards, seedTypes);
  } finally {
    ce.popScope();
  }
}

function selfTestScoped(