Function __mark

src/resolution/callback-synthesizer.ts:3646–3655

(label: string)

  // located both the #1091/#1122 watchdog stalls and the #1212 OOM — keep it.
  const markT = { t: Date.now() };
  const __mark = (label: string): void => {
    const now = Date.now();
    const dt = now - markT.t;
    markT.t = now;
    if (process.env.CODEGRAPH_SYNTH_TIMINGS && (dt > 250 || process.env.CODEGRAPH_SYNTH_TIMINGS === 'all')) {
      console.error(`[synth-timing] ${label}: ${dt}ms`);
    }
    passesDone++;
    emit(passesDone);
  };

  // Language gating: one indexed DISTINCT over the files table lets a pass
  // whose own filters reference a specific language/extension be skipped