Method runSynthPass

src/resolution/resolver-pool.ts:274–283

* Run one synthesis pass (by SYNTH_PASSES name) on the least-busy worker. * The worker reads the committed graph on its own connection and returns * the pass's edge list; the caller merges in canonical order. Rejects on * worker failure — the caller retries the pass on the main thread.

(passName: string)

   * worker failure — the caller retries the pass on the main thread.
   */
  async runSynthPass(passName: string): Promise<SynthPassResult> {
    if (this.failed) throw this.failed;
    const id = this.nextId++;
    const pw = this.workers.reduce((a, b) => (b.busy < a.busy ? b : a));
    pw.busy++;
    return new Promise<SynthPassResult>((resolve, reject) => {
      this.synthWaiters.set(id, { resolve, reject });
      pw.worker.postMessage({ type: 'synth', id, pass: passName });
    });
  }

  /**
   * Ask every worker to close and reopen its read-only connection, and wait