elanous 0.2.32 → 0.2.35

package/scripts/release-loop/gate-partial.ts

@@ -9,7 +9,7 @@ import { existsSync, linkSync, mkdirSync, readFileSync, rmSync, writeFileSync }
 import { randomUUID } from 'node:crypto';
 import { spawnSync } from 'node:child_process';
 import { dirname, join } from 'node:path';
-import { CODE_FILE, type ClosureVerdict } from './gate-closure';
+import { CODE_FILE, TRACEABLE_RELEASE_JSON, type ClosureVerdict } from './gate-closure';
 
 export interface PartialPlan {
   /** A verified docs-only append carries the completed, clean cut without starting a test Pod. */
@@ -27,7 +27,13 @@ export interface PartialPlan {
 
 /** G1: a second measurement of only the failed files on the very same release commit.
  * This is deliberately separate from PartialPlan, which compares two different commits. */
-export interface RecheckPlan extends PartialPlan { kind: 'recheck' }
+export interface RecheckPlan extends PartialPlan {
+  kind: 'recheck';
+  /** Files from shards that could not produce a measurement; completed shard results remain in priorFailures/errors. */
+  stalledFiles?: string[];
+  /** Count of complete shards whose measurements are preserved in this recheck. */
+  preservedShardCount?: number;
+}
 
 const FULL_SHA = /^[0-9a-f]{40}$/i;
 const RELEASE_VERSION = /^\d+\.\d+\.\d+(?:-(?:rc|alpha|beta)\.\d+)?$/;
@@ -92,13 +98,49 @@ function validateRecheckPlan(raw: Partial<RecheckPlan>, version: string, path: s
       typeof raw.forCommit !== 'string' || !FULL_SHA.test(raw.forCommit) || raw.priorCommit !== raw.forCommit ||
       !Array.isArray(raw.priorFailures) || !raw.priorFailures.every((id) => typeof id === 'string') ||
       !Array.isArray(raw.priorErrors) || !raw.priorErrors.every((id) => typeof id === 'string') ||
-      !Array.isArray(raw.files) || !raw.files.length || !raw.files.every((file) => typeof file === 'string')) invalid();
+      !Array.isArray(raw.files) || !raw.files.length || !raw.files.every((file) => typeof file === 'string') ||
+      (raw.preservedShardCount !== undefined && (!Number.isSafeInteger(raw.preservedShardCount) || raw.preservedShardCount < 0))) invalid();
   let expected: string[] = [];
-  try { expected = [...new Set([...raw.priorFailures!, ...raw.priorErrors!].map(testFileOfId))].sort(); }
+  try {
+    const measuredFiles = [...raw.priorFailures!, ...raw.priorErrors!].map(testFileOfId);
+    const stalledFiles = raw.stalledFiles === undefined ? [] : raw.stalledFiles;
+    if (!Array.isArray(stalledFiles) || !stalledFiles.every((file) => typeof file === 'string' && TEST_FILE.test(file) && !file.split('/').includes('..'))) invalid();
+    if (raw.stalledFiles !== undefined && stalledFiles.some((file) => measuredFiles.includes(file))) invalid();
+    expected = [...new Set(stalledFiles)].sort();
+    // Legacy plans recheck every prior failed file. Stalled plans re-run only files from incomplete shards; all
+    // completed shard outcomes, including runtime errors, are preserved for the combined verdict.
+    if (raw.stalledFiles === undefined) expected = [...new Set(measuredFiles)].sort();
+  }
   catch { invalid(); }
   if (JSON.stringify(raw.files) !== JSON.stringify(expected)) invalid();
 }
 
+/** Plan a same-commit retry after a Pod sweep reports stalled shards. Reuse completed outcomes and rerun stalled files. */
+export function planStalledShardRecheck(input: { version: string; measuredCommit: string; forCommit: string;
+  failures: readonly string[]; errors: readonly string[]; stalledFiles: readonly string[]; preservedShardCount?: number;
+  existsAtCommit: (file: string) => boolean }):
+  { ok: true; plan: RecheckPlan } | { ok: false; reason: string } {
+  if (!RELEASE_VERSION.test(input.version)) return { ok: false, reason: 'invalid release version' };
+  if (!FULL_SHA.test(input.measuredCommit) || !FULL_SHA.test(input.forCommit)) return { ok: false, reason: 'commit is not a full sha' };
+  if (input.measuredCommit !== input.forCommit) return { ok: false, reason: 'recheck requires the same commit' };
+  try { [...input.failures, ...input.errors].forEach(testFileOfId); }
+  catch (error) { return { ok: false, reason: String(error instanceof Error ? error.message : error) }; }
+  const stalledFiles = [...new Set(input.stalledFiles)].sort();
+  if (!stalledFiles.length) return { ok: false, reason: 'no stalled test files to recheck' };
+  if (stalledFiles.some((file) => !TEST_FILE.test(file) || file.split('/').includes('..'))) return { ok: false, reason: 'unsafe stalled test path' };
+  const measuredFiles = [...new Set([...input.failures, ...input.errors].map(testFileOfId))];
+  if (stalledFiles.some((file) => measuredFiles.includes(file)))
+    return { ok: false, reason: 'stalled file overlaps a completed shard result' };
+  const files = stalledFiles;
+  try {
+    const missing = files.find((file) => !input.existsAtCommit(file));
+    if (missing) return { ok: false, reason: `failed test file missing at commit: ${missing}` };
+  } catch (error) { return { ok: false, reason: `test file existence unreadable: ${String(error)}` }; }
+  return { ok: true, plan: { kind: 'recheck', version: input.version, priorCommit: input.measuredCommit,
+    forCommit: input.forCommit, files, stalledFiles, ...(input.preservedShardCount === undefined ? {} : { preservedShardCount: input.preservedShardCount }),
+    priorFailures: [...input.failures], priorErrors: [...input.errors] } };
+}
+
 export const partialPlanPath = (root: string, version: string) => join(root, 'release', version, 'gate-partial.json');
 /** The same test-file set the gate sweep runs (`git ls-files` filtered by this suffix). */
 const TEST_FILE = /^(?:[\w.-]+\/)*[\w.-]+\.test\.(?:tsx?|jsx?|mts|cts)$/;
@@ -137,13 +179,13 @@ export function planPartialRegate(input: { version: string; priorCommit: string;
   const source = input.changedFiles.filter((file) => !TEST_FILE.test(file) && !isInert(file));
   const list = (files: string[]) => `${files.slice(0, 5).join(', ')}${files.length > 5 ? ` (+${files.length - 5})` : ''}`;
   // Only code is followed through the closure: a changed fixture, JSON, lockfile, config or script is a full gate.
-  const notCode = source.filter((file) => !CODE_FILE.test(file));
+  const notCode = source.filter((file) => !CODE_FILE.test(file) && file !== TRACEABLE_RELEASE_JSON);
   if (source.length && (!input.closure || notCode.length)) return { ok: false, reason: `non-test change → full gate: ${list(notCode.length ? notCode : source)}` };
   let reaching: string[] = [];
   let closure: { reached: number; opaque: number } | undefined;
   if (source.length) {
     let verdict: ClosureVerdict;
-    try { verdict = input.closure!(input.changedFiles.filter((file) => CODE_FILE.test(file))); }
+    try { verdict = input.closure!(input.changedFiles.filter((file) => CODE_FILE.test(file) || file === TRACEABLE_RELEASE_JSON)); }
     catch (error) { return { ok: false, reason: `import closure unreadable → full gate: ${String(error instanceof Error ? error.message : error).slice(0, 200)}` }; }
     if (!verdict.ok) return { ok: false, reason: verdict.reason };
     const unsafe = verdict.tests.filter((file) => !TEST_FILE.test(file) || file.split('/').includes('..'));
@@ -182,24 +224,32 @@ export function clearPartialPlan(root: string, version: string): void {
 }
 
 /** The plan for exactly this commit, or null. A malformed plan is an error (never silently a full or partial gate). */
-export function readPartialPlan(roots: readonly string[], version: string, commit: string): PartialPlan | null {
+export function readPartialPlanResult(roots: readonly string[], version: string, commit: string):
+  { plan: PartialPlan | null; fallbackReason: string | null } {
+  let fallbackReason: string | null = 'no-applicable-plan';
   for (const root of roots) {
     const path = partialPlanPath(root, version);
     if (!existsSync(path)) continue;
     const raw = JSON.parse(readFileSync(path, 'utf8')) as Partial<PartialPlan>;
+    if (!raw || typeof raw !== 'object' || Array.isArray(raw)) throw new Error(`invalid gate partial plan: ${path}`);
     if ((raw as Partial<RecheckPlan>).kind !== undefined && (raw as Partial<RecheckPlan>).kind !== 'recheck' && raw.kind !== 'carry')
       throw new Error(`invalid gate partial plan: ${path}`);
-    // Until the gate consumer connects G1, the opt-in recheck plan is a shadow record.
-    // A legacy full gate may run, but it must never interpret a same-commit recheck as a changed-tip partial gate.
+    // Only a well-formed stalled-shard recheck for this exact release commit enters the same-commit consumer path.
     if ((raw as Partial<RecheckPlan>).kind === 'recheck') {
-      validateRecheckPlan(raw as Partial<RecheckPlan>, version, path);
+      const recheck = raw as Partial<RecheckPlan>;
+      validateRecheckPlan(recheck, version, path);
+      if (recheck.forCommit === commit && recheck.stalledFiles !== undefined)
+        return { plan: recheck, fallbackReason: null };
+      if (recheck.forCommit === commit) { fallbackReason = 'recheck-not-stalled-only'; continue; }
+      fallbackReason = 'plan-commit-mismatch';
       continue;
     }
     if (raw.version !== version || typeof raw.priorCommit !== 'string' || !/^[0-9a-f]{40}$/i.test(raw.priorCommit)
       || typeof raw.forCommit !== 'string' || !/^[0-9a-f]{40}$/i.test(raw.forCommit) || raw.priorCommit === raw.forCommit
       || !Array.isArray(raw.files) || (raw.files.length === 0) !== (raw.kind === 'carry')
       || !raw.files.every((file) => typeof file === 'string' && TEST_FILE.test(file) && !file.split('/').includes('..'))
-      || !Array.isArray(raw.priorFailures) || !Array.isArray(raw.priorErrors)) throw new Error(`invalid gate partial plan: ${path}`);
+      || !Array.isArray(raw.priorFailures) || !Array.isArray(raw.priorErrors))
+      throw new Error(`invalid gate partial plan: ${path}`);
     if (raw.kind === 'carry' && (raw.priorFailures.length || raw.priorErrors.length)) throw new Error(`invalid gate partial plan: ${path}`);
     // Every prior failure's file is re-run (planPartialRegate guarantees it) — a plan that would carry a failure it did
     // not re-run is malformed, not «partial».
@@ -208,10 +258,14 @@ export function readPartialPlan(roots: readonly string[], version: string, commi
     try { failureFiles = [...raw.priorFailures, ...raw.priorErrors].map((id) => testFileOfId(String(id))); }
     catch { throw new Error(`invalid gate partial plan: ${path}`); }
     if (failureFiles.some((file) => !rerun.has(file))) throw new Error(`invalid gate partial plan (prior failure not re-run): ${path}`);
-    if (raw.forCommit !== commit) continue;
-    return raw as PartialPlan;
+    if (raw.forCommit !== commit) { fallbackReason = 'plan-commit-mismatch'; continue; }
+    return { plan: raw as PartialPlan, fallbackReason: null };
   }
-  return null;
+  return { plan: null, fallbackReason };
+}
+
+export function readPartialPlan(roots: readonly string[], version: string, commit: string): PartialPlan | null {
+  return readPartialPlanResult(roots, version, commit).plan;
 }
 
 /** Cut failures after a partial re-run: prior results for files not re-run ⊕ this run's results for the re-run files. */

package/scripts/release-loop/gate-radius-live.ts

@@ -0,0 +1,177 @@
+/** A hard rehearsal's immutable gate evidence may select the next release's cut tests, but never authorizes a carry. */
+import { spawnSync } from 'node:child_process';
+import { existsSync, readFileSync, readdirSync } from 'node:fs';
+import { join } from 'node:path';
+import { changedFilesBetween, planPartialRegate, testFileOfId, type PartialPlan } from './gate-partial.js';
+import { CODE_FILE, gitClosureTree, testsReachingChanged } from './gate-closure.js';
+import { versionOnlyBumps } from './gate-radius-shadow.js';
+import { gateAssignableTestsAtCommit, gateBaselineReceipt, type GateBaselineReceipt } from './gate-baseline-receipt.js';
+import { parsePodPool, remoteImageId } from '../../src/task-orchestrator/surfaces/pod-pool.js';
+import { podCommandImageFor } from '../../src/task-orchestrator/surfaces/pod-command-job.js';
+import { SPAWN_SYNC_MAX_BUFFER } from '../../src/util/spawn-sync-output.js';
+
+const SHA = /^[0-9a-f]{40}$/i;
+const DIGEST = /^sha256:[0-9a-f]{64}$/i;
+const TEST = /\.test\.(?:tsx?|jsx?|mts|cts)$/;
+
+export function hardRehearsalGateVersion(version: string, runId: string): string {
+  const id = /^hard-([0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12})$/i.exec(runId)?.[1];
+  if (!/^\d+\.\d+\.\d+$/.test(version) || !id) throw new Error('invalid hard rehearsal gate identity');
+  return `${version}-rc.${BigInt(`0x${id.replaceAll('-', '')}`).toString(10)}`;
+}
+
+export function hardRehearsalGateArgs(version: string, runId: string, commit: string, previous: string, pool: string): string[] {
+  return ['scripts/release-loop/gate-node.ts', '--commit', commit, '--version', hardRehearsalGateVersion(version, runId),
+    '--baseline-version', previous, '--executor', 'pod', '--pod-pool', pool, '--pod-shards', '12', '--rehearsal-baseline', '--json'];
+}
+
+export interface LiveRadiusDecision { plan: PartialPlan | null; reason: string; rehearsalRunId?: string }
+
+/** Read the image ID on every candidate host before deciding. A later Job must still prove its actual image. */
+export function preflightGateImageDigest(pool: string): string | null {
+  try {
+    const image = podCommandImageFor([], true);
+    const members = parsePodPool(pool);
+    if (!members.length) return null;
+    const ids = members.map((member) => {
+      if (member.sshHost) return remoteImageId(member, image);
+      const result = spawnSync('docker', ['image', 'inspect', image, '--format', '{{.Id}}'], { encoding: 'utf8', timeout: 30_000, maxBuffer: SPAWN_SYNC_MAX_BUFFER });
+      return result.status === 0 ? result.stdout.trim() : null;
+    });
+    return ids.every((id) => id && DIGEST.test(id) && id === ids[0]) ? ids[0]! : null;
+  } catch { return null; }
+}
+
+/** The current sweep ID and exact root inventory prevent stale Pod logs from proving a new partial run's image. */
+export function partialGateImagesMatch(root: string, version: string, digest: string, commit: string,
+  sweep: { id: string; shards: number; files: readonly string[] } | undefined): boolean {
+  if (!SHA.test(commit) || !sweep || !/^[0-9a-f-]{36}$/i.test(sweep.id)
+    || !Number.isSafeInteger(sweep.shards) || sweep.shards < 1) return false;
+  try {
+    const dir = join(root, 'release', version, 'gate-logs', 'cut-partial');
+    const names = readdirSync(dir).filter((name) => /^pod-\d+(?:-[\w-]+)?\.json$/.test(name));
+    const allRows = names.map((name) => ({ name, ...JSON.parse(readFileSync(join(dir, name), 'utf8')) as {
+      commit?: string; sweepId?: string; shardCount?: number; files?: unknown; imageDigest?: string;
+      attemptId?: string; parentAttempt?: string } }));
+    const rows = allRows.filter((row) => row.sweepId === sweep.id);
+    const roots = rows.filter((row) => /^pod-\d+\.json$/.test(row.name));
+    if (roots.length !== sweep.shards || roots.some((row) => row.shardCount !== sweep.shards
+      || row.commit !== commit || !Array.isArray(row.files) || !row.attemptId || row.imageDigest !== digest)) return false;
+    if (allRows.some((row) => /^pod-\d+\.json$/.test(row.name)
+      && row.commit === commit && row.sweepId !== sweep.id)) return false;
+    if (allRows.some((row) => row.commit === commit && !row.sweepId)) return false;
+    const indices = roots.map((row) => Number(/^pod-(\d+)\.json$/.exec(row.name)![1]));
+    if (new Set(indices).size !== sweep.shards || indices.some((index) => index < 0 || index >= sweep.shards)) return false;
+    const files = roots.flatMap((row) => row.files as string[]);
+    if (files.some((file) => typeof file !== 'string')
+      || JSON.stringify(files.sort()) !== JSON.stringify([...sweep.files].sort())) return false;
+    const attempts = new Set(roots.map((row) => row.attemptId));
+    let pending = allRows.filter((row) => !/^pod-\d+\.json$/.test(row.name));
+    for (let count = 0; pending.length && count < allRows.length; count++) {
+      const connected = pending.filter((row) => row.parentAttempt && attempts.has(row.parentAttempt));
+      if (!connected.length) break;
+      if (connected.some((row) => row.sweepId !== sweep.id || row.commit !== commit
+        || !row.attemptId || row.imageDigest !== digest)) return false;
+      for (const row of connected) attempts.add(row.attemptId);
+      pending = pending.filter((row) => !connected.includes(row));
+    }
+    return !pending.some((row) => row.sweepId === sweep.id || (row.commit === commit && !row.sweepId));
+  } catch { return false; }
+}
+
+/** Every missing or mismatched proof returns a full gate. The caller uses this only when no explicit resume plan exists. */
+export function planHardRehearsalRadius(input: { root: string; repo: string; version: string; forCommit: string;
+  graphPins: { graphSha: string; recipeSha: string } | null; envFingerprint: string;
+  imageDigest: string | null }): LiveRadiusDecision {
+  const full = (reason: string): LiveRadiusDecision => ({ plan: null, reason });
+  if (!/^\d+\.\d+\.\d+$/.test(input.version) || !SHA.test(input.forCommit)) return full('invalid release identity');
+  if (!input.graphPins || !/^[0-9a-f]{64}$/i.test(input.envFingerprint) || !input.imageDigest || !DIGEST.test(input.imageDigest))
+    return full('current graph, environment or Pod image identity unmeasured');
+  try {
+    const stamps = ['hard-5h', 'hard-mid'].map((step) => {
+      const path = join(input.root, 'release', input.version, 'rehearsal', `${step}.json`);
+      if (!existsSync(path)) return null;
+      const stamp = JSON.parse(readFileSync(path, 'utf8')) as {
+        version?: string; step?: string; outcome?: string; sha?: string; endedAt?: string; hardGateRunId?: string;
+        hardGate?: { commit?: string; executor?: string; outcome?: string; introduced?: unknown[] };
+      };
+      return { step, stamp, ended: Date.parse(stamp.endedAt ?? '') };
+    }).filter((row): row is NonNullable<typeof row> => row !== null);
+    if (!stamps.length) return full('no clean hard rehearsal receipt');
+    if (stamps.some((row) => !Number.isFinite(row.ended))) return full('hard rehearsal completion time unmeasured');
+    stamps.sort((a, b) => b.ended - a.ended);
+    if (stamps.length > 1 && stamps[0]!.ended === stamps[1]!.ended) return full('hard rehearsal order ambiguous');
+    for (const { step, stamp } of stamps.slice(0, 1)) {
+      if (stamp.version !== input.version || stamp.step !== step || stamp.outcome !== 'ok' || !stamp.sha || !SHA.test(stamp.sha)
+        || stamp.hardGate?.outcome !== 'ok' || stamp.hardGate.commit !== stamp.sha || stamp.hardGate.executor !== 'pod'
+        || !Array.isArray(stamp.hardGate.introduced) || stamp.hardGate.introduced.length)
+        return full('latest hard rehearsal is not clean');
+      let gateVersion: string;
+      try { gateVersion = hardRehearsalGateVersion(input.version, stamp.hardGateRunId ?? ''); }
+      catch { return full('hard rehearsal run identity invalid'); }
+      const dir = join(input.root, 'release', gateVersion);
+      const verdict = JSON.parse(readFileSync(join(dir, 'gate-verdict.json'), 'utf8')) as {
+        commit?: string; outcome?: string; baselineReceipt?: GateBaselineReceipt };
+      const failures = JSON.parse(readFileSync(join(dir, 'gate-failures.json'), 'utf8')) as {
+        commit?: string; failures?: string[]; errors?: string[] };
+      const receipt = verdict.baselineReceipt;
+      if (verdict.commit !== stamp.sha || verdict.outcome !== 'ok' || failures.commit !== stamp.sha
+        || !Array.isArray(failures.failures) || failures.failures.length !== 0
+        || !Array.isArray(failures.errors) || failures.errors.length !== 0
+        || !receipt || receipt.schema !== 1 || !receipt.valid || receipt.version !== gateVersion || receipt.commit !== stamp.sha
+        || receipt.graphSha !== input.graphPins.graphSha || receipt.recipeSha !== input.graphPins.recipeSha
+        || receipt.envFingerprint !== input.envFingerprint || receipt.imageDigest !== input.imageDigest.toLowerCase()
+        || !Number.isSafeInteger(receipt.files) || receipt.files < 1 || !Number.isSafeInteger(receipt.shards) || receipt.shards < 1)
+        return full('hard rehearsal receipt or current execution identity differs');
+      const recomputed = gateBaselineReceipt({ root: input.root, version: gateVersion, commit: stamp.sha,
+        fullSweep: true, graphPins: input.graphPins, envFingerprint: input.envFingerprint });
+      if (!recomputed.valid || recomputed.imageDigest !== receipt.imageDigest || recomputed.files !== receipt.files
+        || recomputed.shards !== receipt.shards) return full(`hard rehearsal Pod proof differs: ${recomputed.reason}`);
+      const ancestor = spawnSync('git', ['merge-base', '--is-ancestor', stamp.sha, input.forCommit], { cwd: input.repo, maxBuffer: SPAWN_SYNC_MAX_BUFFER });
+      if (ancestor.status !== 0 || ancestor.error) return full('hard rehearsal commit is not an ancestor');
+      const expectedFiles = gateAssignableTestsAtCommit(input.repo, stamp.sha);
+      const measuredFiles = readdirSync(join(dir, 'gate-logs', 'cut')).filter((name) => /^pod-\d+\.json$/.test(name))
+        .flatMap((name) => {
+          const row = JSON.parse(readFileSync(join(dir, 'gate-logs', 'cut', name), 'utf8')) as { files?: unknown };
+          return Array.isArray(row.files) ? row.files : [];
+        });
+      if (!expectedFiles || JSON.stringify(measuredFiles.sort()) !== JSON.stringify(expectedFiles)
+        || measuredFiles.length !== receipt.files)
+        return full('hard rehearsal file inventory differs from receipt');
+      const tree = gitClosureTree(input.repo, input.forCommit);
+      const tests = tree.files.filter((file) => TEST.test(file));
+      const changed = changedFilesBetween(input.repo, stamp.sha, input.forCommit);
+      const bumps = versionOnlyBumps(input.repo, stamp.sha, input.forCommit, input.version, changed);
+      const effective = changed.filter((file) => !bumps.includes(file));
+      // A version-only JSON/lock bump is still observable to tests that read it. Follow those literal readers and
+      // opaque tests before removing the bump from the ordinary code-only partial planner.
+      const versionEnvReaders = bumps.includes('package.json')
+        ? tree.files.filter((file) => CODE_FILE.test(file) && tree.read(file)?.includes('npm_package_version')) : [];
+      const bumpRadius = bumps.length ? testsReachingChanged(tree, [...bumps, ...versionEnvReaders], tests) : null;
+      if (bumpRadius && !bumpRadius.ok) return full(bumpRadius.reason);
+      const planned = planPartialRegate({ version: input.version, priorCommit: stamp.sha, forCommit: input.forCommit,
+        changedFiles: effective, priorFailures: failures.failures, priorErrors: failures.errors ?? [],
+        existsAtTip: (file) => tree.files.includes(file),
+        closure: (code) => testsReachingChanged(tree, code, tests) });
+      if (!planned.ok && effective.length) return full(planned.reason);
+      let fileSet: string[];
+      let base: PartialPlan;
+      if (planned.ok) {
+        if (planned.plan.kind === 'carry' && !bumpRadius?.ok) return full('docs-only carry requires full gate across releases');
+        base = planned.plan.kind === 'carry' ? { ...planned.plan, kind: undefined } : planned.plan;
+        fileSet = planned.plan.files;
+      } else {
+        let priorFiles: string[];
+        try { priorFiles = [...failures.failures, ...(failures.errors ?? [])].map(testFileOfId); }
+        catch { return full('hard rehearsal failure ids unreadable'); }
+        base = { version: input.version, priorCommit: stamp.sha, forCommit: input.forCommit,
+          files: [], priorFailures: failures.failures, priorErrors: failures.errors ?? [] };
+        fileSet = priorFiles;
+      }
+      const files = [...new Set([...fileSet, ...(bumpRadius?.ok ? bumpRadius.tests : [])])].sort();
+      if (!files.length || files.some((file) => !tests.includes(file))) return full('empty or missing rehearsal radius requires full gate');
+      return { plan: { ...base, files }, reason: 'hard rehearsal receipt and import radius verified', rehearsalRunId: stamp.hardGateRunId };
+    }
+    return full('no clean hard rehearsal receipt');
+  } catch (error) { return full(`hard rehearsal evidence unreadable: ${String(error)}`); }
+}

package/scripts/release-loop/gate-radius-shadow.ts

@@ -0,0 +1,138 @@
+/** Observation only: compare a proposed import radius with the full gate that actually ran. */
+import { randomUUID } from 'node:crypto';
+import { existsSync, linkSync, mkdirSync, readFileSync, rmSync, writeFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { spawnSync } from 'node:child_process';
+import { changedFilesBetween, planPartialRegate, testFileOfId } from './gate-partial';
+import { gitClosureTree, testsReachingChanged } from './gate-closure';
+import { SPAWN_SYNC_MAX_BUFFER } from '../../src/util/spawn-sync-output.js';
+
+const SHA = /^[0-9a-f]{40}$/i;
+const VERSION = /^\d+\.\d+\.\d+(?:-(?:rc|alpha|beta)\.\d+)?$/;
+const TEST = /\.test\.(?:tsx?|jsx?|mts|cts)$/;
+const BUMP_FILES = new Set(['package.json', 'server.json', 'integrations/acp-registry/elanous/agent.json', 'bun.lock']);
+
+export interface GateRadiusShadowPlan {
+  schema: 1;
+  version: string;
+  priorCommit: string | null;
+  forCommit: string;
+  proposed: 'partial' | 'full';
+  files: string[];
+  totalTests: number | null;
+  reason: string;
+}
+
+export interface GateRadiusShadowRecord {
+  plan: GateRadiusShadowPlan;
+  actual: { commit: string; outcome: 'ok' | 'regression' | 'error'; cutRc: number | null; introduced: string[];
+    cutFailures: string[]; cutErrors: string[]; missedIntroduced: string[]; fullSweep: boolean;
+    comparison: 'complete' | 'unmeasured' };
+  recordedAt: string;
+}
+
+function blob(repo: string, commit: string, file: string): unknown {
+  const run = spawnSync('git', ['show', `${commit}:${file}`], { cwd: repo, encoding: 'utf8', maxBuffer: SPAWN_SYNC_MAX_BUFFER });
+  if (run.status !== 0 || run.error) throw new Error(`unreadable release blob ${file}`);
+  return JSON.parse(run.stdout);
+}
+
+/** Remove only the fields version-node itself changes; any other JSON difference leaves a full shadow plan. */
+export function versionOnlyBumps(repo: string, from: string, to: string, version: string, changed: readonly string[]): string[] {
+  if (!changed.includes('package.json')) return [];
+  const prior = blob(repo, from, 'package.json') as Record<string, unknown>;
+  const next = blob(repo, to, 'package.json') as Record<string, unknown>;
+  if (typeof prior.version !== 'string' || prior.version === version || next.version !== version) return [];
+  const inert: string[] = [];
+  for (const file of changed.filter((name) => BUMP_FILES.has(name))) {
+    const left = blob(repo, from, file) as Record<string, any>;
+    const right = blob(repo, to, file) as Record<string, any>;
+    const normalize = (row: Record<string, any>, expected: string): boolean => {
+      if (file === 'package.json') { if (row.version !== expected) return false; row.version = '<version>'; }
+      else if (file === 'server.json') {
+        if (row.version !== expected || row.packages?.[0]?.version !== expected) return false;
+        row.version = '<version>'; row.packages[0].version = '<version>';
+      } else if (file.endsWith('/agent.json')) {
+        if (row.version !== expected || row.distribution?.npx?.package !== `elanous@${expected}`) return false;
+        row.version = '<version>'; row.distribution.npx.package = 'elanous@<version>';
+      } else {
+        if (row.workspaces?.['']?.version !== expected) return false;
+        row.workspaces[''].version = '<version>';
+      }
+      return true;
+    };
+    if (normalize(left, prior.version) && normalize(right, version) && JSON.stringify(left) === JSON.stringify(right)) inert.push(file);
+  }
+  return inert;
+}
+
+export function planGateRadiusShadow(input: { repo: string; ledgerRoot: string; version: string;
+  baselineVersion: string; forCommit: string; instanceRoot?: string; expectedBaselineCommit?: string }): GateRadiusShadowPlan {
+  const { repo, ledgerRoot, version, baselineVersion, forCommit } = input;
+  const full = (reason: string, priorCommit: string | null = null, totalTests: number | null = null): GateRadiusShadowPlan =>
+    ({ schema: 1, version, priorCommit, forCommit, proposed: 'full', files: [], totalTests, reason });
+  if (!VERSION.test(version) || !VERSION.test(baselineVersion) || !SHA.test(forCommit)) return full('invalid identity');
+  try {
+    const priorDir = join(ledgerRoot, 'release', baselineVersion);
+    const verdict = JSON.parse(readFileSync(join(priorDir, 'gate-verdict.json'), 'utf8')) as { commit?: string; outcome?: string };
+    const failures = JSON.parse(readFileSync(join(priorDir, 'gate-failures.json'), 'utf8')) as
+      { commit?: string; failures?: string[]; errors?: string[] };
+    const priorCommit = verdict.commit;
+    const manifestPaths = [...new Set([ledgerRoot, input.instanceRoot].filter((root): root is string => !!root))]
+      .map((root) => join(root, 'release', baselineVersion, 'release.json')).filter(existsSync);
+    if (!manifestPaths.length) return full('prior release manifest absent', priorCommit ?? null);
+    const manifestCommits = manifestPaths.map((path) =>
+      (JSON.parse(readFileSync(path, 'utf8')) as { sourceCommit?: unknown }).sourceCommit);
+    if (manifestCommits.some((commit) => typeof commit !== 'string' || !SHA.test(commit) || commit !== priorCommit)
+      || (input.expectedBaselineCommit && input.expectedBaselineCommit !== priorCommit))
+      return full('prior gate commit differs from release source', priorCommit ?? null);
+    if (!priorCommit || !SHA.test(priorCommit) || failures.commit !== priorCommit || verdict.outcome !== 'ok'
+      || !Array.isArray(failures.failures) || !Array.isArray(failures.errors ?? []))
+      return full('prior gate evidence absent or not clean', priorCommit ?? null);
+    const tree = gitClosureTree(repo, forCommit);
+    const tests = tree.files.filter((file) => TEST.test(file));
+    const changed = changedFilesBetween(repo, priorCommit, forCommit);
+    const bump = versionOnlyBumps(repo, priorCommit, forCommit, version, changed);
+    const effective = changed.filter((file) => !bump.includes(file));
+    if (!effective.length && bump.length) {
+      const rerun = [...new Set([...failures.failures, ...(failures.errors ?? [])].map(testFileOfId))].sort();
+      if (rerun.some((file) => !tests.includes(file))) return full('prior failure file absent at cut', priorCommit, tests.length);
+      return { schema: 1, version, priorCommit, forCommit, proposed: 'partial', files: rerun,
+        totalTests: tests.length, reason: 'version-only candidate' };
+    }
+    const result = planPartialRegate({ version, priorCommit, forCommit, changedFiles: effective,
+      priorFailures: failures.failures, priorErrors: failures.errors ?? [],
+      existsAtTip: (file) => tree.files.includes(file),
+      closure: (code) => testsReachingChanged(tree, code, tests) });
+    if (!result.ok) return full(result.reason, priorCommit, tests.length);
+    // Shadow only: this proposal is never passed to writePartialPlan/readPartialPlan or the sweep selector.
+    return { schema: 1, version, priorCommit, forCommit, proposed: 'partial', files: result.plan.files,
+      totalTests: tests.length, reason: result.plan.kind === 'carry' ? 'zero-file candidate' : 'import radius candidate' };
+  } catch (error) { return full(`shadow evidence unreadable: ${String(error)}`); }
+}
+
+/** Append beside the gate verdict; a shadow write never changes a release decision. */
+export function writeGateRadiusShadow(root: string, record: GateRadiusShadowRecord): string {
+  const { plan, actual } = record;
+  if (!VERSION.test(plan.version) || !SHA.test(plan.forCommit) || actual.commit !== plan.forCommit
+    || !['ok', 'regression', 'error'].includes(actual.outcome)) throw new Error('invalid gate radius shadow');
+  const path = join(root, 'release', plan.version, `gate-radius-shadow-${plan.forCommit}-${randomUUID()}.json`);
+  mkdirSync(dirname(path), { recursive: true });
+  const temp = `${path}.${process.pid}.tmp`;
+  try {
+    writeFileSync(temp, `${JSON.stringify(record, null, 2)}\n`, { mode: 0o600, flag: 'wx' });
+    linkSync(temp, path);
+  } finally { rmSync(temp, { force: true }); }
+  return path;
+}
+
+export function shadowActual(input: { plan: GateRadiusShadowPlan; outcome: 'ok' | 'regression' | 'error';
+  introduced: readonly string[]; cutFailures: readonly string[]; cutErrors: readonly string[]; cutRc: number | null;
+  fullSweep: boolean }): GateRadiusShadowRecord['actual'] {
+  const selected = new Set(input.plan.files);
+  const missedIntroduced = input.plan.proposed === 'partial' && input.fullSweep
+    ? input.introduced.filter((id) => { try { return !selected.has(testFileOfId(id)); } catch { return true; } }) : [];
+  return { commit: input.plan.forCommit, outcome: input.outcome, cutRc: input.cutRc, introduced: [...input.introduced],
+    cutFailures: [...input.cutFailures], cutErrors: [...input.cutErrors], missedIntroduced, fullSweep: input.fullSweep,
+    comparison: input.fullSweep ? 'complete' : 'unmeasured' };
+}

package/scripts/release-loop/gate-traffic-mode.ts

@@ -0,0 +1,128 @@
+import { randomUUID } from 'node:crypto';
+import { existsSync, mkdirSync, readFileSync, renameSync, rmSync, rmdirSync, statSync, writeFileSync } from 'node:fs';
+import { homedir } from 'node:os';
+import { join } from 'node:path';
+import { debug } from '../../src/debug/log.js';
+
+type TrafficBoard = Record<string, unknown> & { global: string };
+type PatchResult = { changed: true; previous: string; warning?: string } | { changed: false; current: string };
+
+const defaultTrafficPath = () => join(homedir(), 'elanous-hq', 'seat-state', 'OP', 'traffic.json');
+const trafficPath = (env: NodeJS.ProcessEnv) => env.ELANOUS_TRAFFIC_SIGNAL || defaultTrafficPath();
+
+function releaseGateContext(env: NodeJS.ProcessEnv): boolean {
+  const source = env.ELANOUS_GRAPH_CONTEXT;
+  if (!source) return false;
+  try {
+    const raw = JSON.parse(source.trimStart().startsWith('{') ? source : readFileSync(source, 'utf8')) as Record<string, unknown>;
+    return raw.graphId === 'release-loop' && raw.nodeId === 'gate';
+  } catch {
+    return false;
+  }
+}
+
+function withTrafficLock<T>(path: string, action: () => T): T {
+  const lock = `${path}.lock.d`;
+  const deadline = Date.now() + 10_000;
+  for (let attempt = 1; attempt <= 100; attempt++) {
+    try { mkdirSync(lock); }
+    catch (error) {
+      if ((error as NodeJS.ErrnoException).code !== 'EEXIST') throw error;
+      try {
+        const stat = statSync(lock).mtimeMs;
+        const owner = Number(readFileSync(join(lock, 'pid'), 'utf8').trim());
+        if (Date.now() - stat > 60_000 && Number.isInteger(owner) && owner > 0) {
+          try { process.kill(owner, 0); }
+          catch (probeError) {
+            if ((probeError as NodeJS.ErrnoException).code === 'ESRCH'
+              && Number(readFileSync(join(lock, 'pid'), 'utf8').trim()) === owner) {
+              try { renameSync(lock, `${lock}.stale.${process.pid}.${attempt}`); } catch { /* owner may have released it */ }
+            }
+          }
+        }
+      } catch { /* unknown owner and unreadable locks are never reaped */ }
+      if (attempt === 100 || Date.now() >= deadline) throw new Error(`traffic lock timeout: ${lock}`);
+      Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 100);
+      continue;
+    }
+    try {
+      writeFileSync(join(lock, 'pid'), `${process.pid}\n`);
+      return action();
+    } finally {
+      rmSync(join(lock, 'pid'), { force: true });
+      try { rmdirSync(lock); } catch { /* another writer replaced the lock directory */ }
+    }
+  }
+  throw new Error(`traffic lock timeout: ${lock}`);
+}
+
+function patchGlobal(path: string, next: string, reason: string, onlyIf?: string): PatchResult {
+  return withTrafficLock(path, () => {
+    if (!existsSync(path)) throw new Error(`traffic board missing: ${path}`);
+    const board = JSON.parse(readFileSync(path, 'utf8')) as TrafficBoard;
+    if (!board || typeof board !== 'object' || Array.isArray(board) || typeof board.global !== 'string') {
+      throw new Error(`invalid traffic board: ${path}`);
+    }
+    if (onlyIf !== undefined && board.global !== onlyIf) return { changed: false, current: board.global };
+    const updated: TrafficBoard = { ...board, global: next, reason, updatedAt: new Date().toISOString() };
+    const at = new Date();
+    const stamp = [at.getMonth() + 1, at.getDate(), at.getHours(), at.getMinutes(), at.getSeconds()].map(value => String(value).padStart(2, '0')).join('');
+    const suffix = `bak-${stamp}-${randomUUID().slice(0, 8)}-global-${next}`;
+    const backup = `${path}.${suffix}`;
+    const temp = `${path}.tmp.${process.pid}.${randomUUID()}`;
+    const payload = `${JSON.stringify(updated)}\n`;
+    writeFileSync(backup, readFileSync(path));
+    writeFileSync(temp, payload, { mode: statSync(path).mode & 0o777 });
+    try { renameSync(temp, path); }
+    finally { rmSync(temp, { force: true }); }
+    try {
+      const verify = JSON.parse(readFileSync(path, 'utf8')) as TrafficBoard;
+      if (verify.global !== next) return { changed: true, previous: board.global, warning: `traffic verification mismatch: ${path}` };
+    } catch (error) {
+      // rename already committed the requested mode; keep the lease so the caller still attempts cleanup.
+      return { changed: true, previous: board.global, warning: `traffic verification failed: ${String(error)}` };
+    }
+    return { changed: true, previous: board.global };
+  });
+}
+
+/** Hold dispatcher traffic at gate only for the release-loop's gate node, then restore conditionally. */
+export async function runWithReleaseGateTraffic<T>(env: NodeJS.ProcessEnv, run: () => Promise<T>): Promise<T> {
+  if (!releaseGateContext(env)) return run();
+  const path = trafficPath(env);
+  let started: PatchResult;
+  try { started = patchGlobal(path, 'gate', 'release gate running', 'green'); }
+  catch (error) {
+    debug.log('release-loop.gate', 'traffic gate set failed', { path, error: String(error) }, { level: 'warn' });
+    return run(); // The traffic board is advisory; it must not block publication.
+  }
+  if (!started.changed) return run(); // Existing gate/yellow (or any operator change) belongs to its owner.
+  if (started.warning) debug.log('release-loop.gate', 'traffic gate verification failed', { path, error: started.warning }, { level: 'warn' });
+  let restoreResult: Promise<void> | undefined;
+  const restoreOnce = () => restoreResult ??= Promise.resolve().then(() => {
+    try {
+      const restored = patchGlobal(path, started.previous, 'release gate finished', 'gate');
+      if (!restored.changed) debug.log('release-loop.gate', 'traffic restore skipped', { path, current: restored.current }, { level: 'warn' });
+      else if (restored.warning) debug.log('release-loop.gate', 'traffic restore verification failed', { path, error: restored.warning }, { level: 'warn' });
+    } catch (error) {
+      debug.log('release-loop.gate', 'traffic restore failed', { path, error: String(error) }, { level: 'warn' });
+    }
+  });
+  const interrupt = (signal: NodeJS.Signals) => {
+    void restoreOnce().finally(() => {
+      process.removeListener(signal, signal === 'SIGINT' ? onSigint : onSigterm);
+      process.kill(process.pid, signal);
+    });
+  };
+  const onSigint = () => interrupt('SIGINT');
+  const onSigterm = () => interrupt('SIGTERM');
+  process.once('SIGINT', onSigint);
+  process.once('SIGTERM', onSigterm);
+  try {
+    return await run();
+  } finally {
+    process.removeListener('SIGINT', onSigint);
+    process.removeListener('SIGTERM', onSigterm);
+    await restoreOnce();
+  }
+}

package/scripts/release-loop/gate-triage-node.ts

@@ -120,7 +120,7 @@ export function gateTriageShadowFromContext(context: GraphContext, evidence?: Ga
         && item.files.every((file: unknown) => typeof file === 'string') && typeof item.reason === 'string')))
     || (value.loadFlaky !== undefined && (!Array.isArray(value.loadFlaky)
       || !value.loadFlaky.every((item) => typeof item === 'string')))
-    || !['ok', 'regression', 'error'].includes(String(value.outcome))) {
+    || !['ok', 'regression', 'fail', 'error'].includes(String(value.outcome))) {
     throw new Error('gate output is missing or malformed');
   }
   const input = context.input.gateTriageEvidence;
@@ -140,7 +140,10 @@ export function gateTriageShadowFromContext(context: GraphContext, evidence?: Ga
       && item.failureIds.every((id: unknown) => typeof id === 'string'))
       ? { priorDecisions: supplied.priorDecisions as GateTriageEvidence['priorDecisions'] } : {}),
   };
-  return classifyGateShadow(value as unknown as GateResult, observed);
+  // The graph adapter maps a measured gate regression to `fail` for edge routing.
+  // Restore the gate verdict before classifying the shadow; keep the context untouched.
+  const gate = value.outcome === 'fail' ? { ...value, outcome: 'regression' } : value;
+  return classifyGateShadow(gate as unknown as GateResult, observed);
 }
 
 export function logGateTriageShadow(result: GateTriageShadow, version: string): void {