Method onHardTimeout

src/extraction/parse-pool.ts:398–411

No result after the full hard-kill window — the worker really is hung.

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

  /** No result after the full hard-kill window — the worker really is hung. */
  private onHardTimeout(w: ParsePoolWorker, job: ParseJob, totalMs: number): void {
    if (job.settled || !this.workers.has(w)) return;
    this.log(`TIMEOUT: ${job.task.filePath} got no result after ${totalMs}ms — killing worker`);
    // Kill the (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. The rejection message contains "timed out"
    // so the orchestrator's retry pass re-attempts the file.
    this.removeWorker(w);
    this.inflight.delete(w);
    try { void w.terminate(); } catch { /* already gone */ }
    this.settle(job, undefined, new Error(`Parse timed out after ${totalMs}ms`));
    if (this.healthy) this.spawnOne();
    this.drain();
  }

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