Method onTimeout

src/extraction/parse-pool.ts:284–296

(w: ParsePoolWorker, job: ParseJob, ms: number)

  }

  private onTimeout(w: ParsePoolWorker, job: ParseJob, ms: number): void {
    if (job.settled || !this.workers.has(w)) return;
    this.log(`TIMEOUT: ${job.task.filePath} exceeded ${ms}ms — killing worker`);
    // Kill the (possibly WASM-wedged) worker and reject this parse. A timeout
    // isn't a crash — don't charge the budget — but the worker is gone, so spawn
    // a replacement to keep capacity.
    this.removeWorker(w);
    this.inflight.delete(w);
    try { void w.terminate(); } catch { /* already gone */ }
    this.settle(job, undefined, new Error(`Parse timed out after ${ms}ms`));
    if (this.healthy) this.spawnOne();
    this.drain();
  }

  private drain(): void {
    // Grow toward maxSize while queued work outstrips workers that are idle OR