Function main

scripts/fungrim/guard-census.ts:127–307

()

}

function main(): void {
  const corpus = loadCorpus(DATA_DIR);
  const ce = createEngine(corpus.declarations);

  // CE emits console noise (compilation fallbacks for shell heads, assume
  // internal errors that are caught and rethrown...). Keep the census
  // output readable.
  const savedWarn = console.warn;
  const savedError = console.error;
  const savedInfo = console.info;
  console.warn = () => {};
  console.error = () => {};
  console.info = () => {};

  const byLevel = new Map<string, LevelStats>();
  const perEntry: Record<
    string,
    { guardLevel: string; outcome: EntryOutcome; ms: number }
  > = {};

  let processed = 0;
  const t0 = Date.now();

  try {
    for (const e of corpus.entries) {
      if (e.assumptions === null || e.assumptions === undefined) continue;

      let stats = byLevel.get(e.guardLevel);
      if (!stats) {
        stats = newLevelStats();
        byLevel.set(e.guardLevel, stats);
      }
      stats.entries += 1;
      processed += 1;

      const start = Date.now();
      let outcome: EntryOutcome;
      try {
        outcome = classifyEntry(ce, e);
      } catch {
        outcome = 'assume-threw';
      }
      const ms = Date.now() - start;
      if (ms > TIME_GUARD_MS) outcome = 'timeout';

      perEntry[`${e.topic}/${e.id}`] = {
        guardLevel: e.guardLevel,
        outcome,
        ms,
      };

      const assumeFailures: EntryOutcome[] = [
        'not-a-predicate',
        'contradiction',
        'internal-error',
        'assume-threw',
      ];
      if (!assumeFailures.includes(outcome) && outcome !== 'timeout')