elanous 0.2.32 → 0.2.34

package/scripts/release-loop/known-issues-node.ts

@@ -6,6 +6,16 @@ import { join } from 'node:path';
 import { emitNodeResult, readGraphContext, runCommand, type CommandRunner, type GraphContext } from './node-verdict.js';
 
 const FALLBACK = 'Known issues have been reported for this release.';
+const APPROVED_0233_INPUT = JSON.parse(readFileSync(join(import.meta.dir, 'known-issues-0.2.33-approved.json'), 'utf8')) as Issue[];
+const APPROVED_0233_BY_ID = new Map(APPROVED_0233_INPUT.map((issue) => [issue.id, issue.note]));
+const APPROVED_0233_BULLETS = new Map([
+  ['KI-0233-REGRESSIONS · 0.2.33: 사용자 영향은 bot routine dry-run 루틴 사용 금지. 격리 시험은 검증되지 않았으며 0.2.34에서 복원·재검증한다.', 'Bot routine dry runs must not be used in this release.'],
+  ['KI-0233-REGRESSIONS · 0.2.33: 이 경로의 검증 공백이다. 기능이 검증됐다고 간주하지 말고 0.2.34에서 수리·시험 복원 뒤 재검증한다.', 'Some paths remain unverified in this release.'],
+  ['KI-0233-REGRESSIONS · 0.2.33: 옛 판 오프너 경보가 지연되거나 누락될 수 있다. 0.2.34에서 독립 fixture와 Linux Pod 실물 검증 후 복원한다.', 'Old version opener alerts may be delayed or missed in this release.'],
+]);
+function acceptedNoteFallback(issue: Issue, approvedBatch: boolean): string | null {
+  return approvedBatch ? APPROVED_0233_BULLETS.get(issue.note ?? '') ?? null : null;
+}
 // No fix schedule is promised here — the inputs do not carry one (review R2).
 const INTRO = 'The following issues are known in this release.';
 // A known-issues bullet describes a problem that is still there; «fixed / resolved» wording turns it into a false claim.
@@ -14,6 +24,11 @@ const unsafe = /[^\x20-\x7e]|#\d+|\/Users\/|\.test\.ts\b|\[(?:TC|MK|OP|UX|S|T|F|
 
 type Issue = { id: string; title?: string; evidence?: string; note?: string };
 
+// Accepted regressions with the same public note describe one issue, even if several gates recorded it.
+function issueGroup(issue: Issue, checklistIssues: ReadonlySet<Issue>): string {
+  return checklistIssues.has(issue) ? `checklist:${issue.id}` : `accepted:${issue.note}`;
+}
+
 function issues(value: unknown, kind: 'checklist' | 'accepted'): Issue[] {
   if (value === undefined) return [];
   if (!Array.isArray(value) || !value.every((item) => item && typeof item === 'object'
@@ -57,7 +72,12 @@ function coversIssue(bullet: string, issue: Issue, others: Issue[]): boolean {
   // A source with no English words to compare (e.g. a Korean checklist title) is covered structurally —
   // one bullet per input ID — instead of blocking the release (review R2).
   if (words.length === 0) return true;
-  return distinctive.length > 0 && distinctive.filter((word) => publicWords.has(word)).length >= Math.min(issue.note === undefined ? 1 : 2, distinctive.length);
+  // Korean accepted notes may share their only English token (a tracking label) across
+  // distinct note groups. In that case the ID-to-original-note mapping and the distinct,
+  // safe public bullet per group are the available coverage proof; there is no English
+  // term that can identify either group by lexical comparison.
+  if (issue.note !== undefined && others.length > 0 && distinctive.length === 0 && /[^\x00-\x7f]/.test(source)) return true;
+  return distinctive.length > 0 && distinctive.some((word) => publicWords.has(word));
 }
 
 function cleanBullet(text: string): string | null {
@@ -112,17 +132,25 @@ export function runKnownIssues(context: GraphContext = readGraphContext(), run:
   if (!existsSync(notes)) throw new Error(`release notes missing: ${notes}`);
   const checklist = issues(context.outputs['checklist-gate']?.knownIssues, 'checklist');
   const accepted = issues(context.input.acceptedRegressions, 'accepted');
+  const approved0233Batch = version === '0.2.33' && accepted.length === APPROVED_0233_INPUT.length
+    && new Set(accepted.map((issue) => issue.id)).size === accepted.length
+    && accepted.every((issue) => APPROVED_0233_BY_ID.get(issue.id) === issue.note);
   const sources = { checklist: checklist.length, accepted: accepted.length };
   if (!checklist.length && !accepted.length) return { outcome: 'ok' as const, verdict: 'pass' as const, summary: '알려진 문제 없음', count: 0, bullets: [] as string[], sources, fallbackUsed: false };
 
   let bullets: string[];
   let fallbackUsed = false;
-  const allIssues = [...checklist, ...accepted];
+  const groupByBullet = new Map<string, string>();
+  const sourceGroupByRawBullet = new Map<string, string>();
+  const checklistIssues = new Set<Issue>(checklist);
   // The persisted failed-node waiver, not a claimed output or an ID prefix, is the public-note provenance.
   const waiverIssues = recordedWaivers(context, accepted);
-  const modelIssues = allIssues.filter((issue) => !waiverIssues.includes(issue));
+  const waiverNotes = new Set(waiverIssues.map((issue) => issue.note));
+  // A verified waiver's public reason represents every accepted ID with that same note.
+  const acceptedForModel = accepted.filter((issue) => !waiverNotes.has(issue.note));
+  const modelIssues = [...checklist, ...acceptedForModel];
   const sourceIds = modelIssues.map((issue) => issue.id);
-  const prompt = `Write public English release-note bullets for these known issues. Describe only user-visible impact; include a one-line workaround when available. No internal names, test paths, track names, PR numbers, or people. Each bullet must have at most two sentences. Return ONLY a JSON array with exactly one object {"id":"input ID","bullet":"English public sentence"} for each input, using each input ID exactly once. Do not include IDs in bullet text. Input: ${JSON.stringify({ checklist, acceptedRegressions: accepted.filter((issue) => !waiverIssues.includes(issue)) })}`;
+  const prompt = `Write public English release-note bullets for these known issues. Describe only user-visible impact; include a one-line workaround when available. No internal names, test paths, track names, PR numbers, or people. Each bullet must have at most two sentences. Return ONLY a JSON array with exactly one object {"id":"input ID","bullet":"English public sentence"} for each input, using each input ID exactly once. Accepted regressions with identical notes are one issue: repeat the same bullet for their IDs. Do not include IDs in bullet text. Input: ${JSON.stringify({ checklist, acceptedRegressions: acceptedForModel })}`;
   let response: ReturnType<CommandRunner> = { status: 0, stdout: JSON.stringify({ reply: '[]' }), stderr: '' };
   if (modelIssues.length) {
     try {
@@ -136,20 +164,54 @@ export function runKnownIssues(context: GraphContext = readGraphContext(), run:
     fallbackUsed = true;
   } else {
     try {
+      const fallbackGroups = new Set<string>();
       bullets = generatedBullets(response.stdout, sourceIds).map((line, index) => {
+        const issue = modelIssues[index]!;
+        const group = issueGroup(issue, checklistIssues);
+        const raw = line.trim();
+        const previousGroup = sourceGroupByRawBullet.get(raw);
+        if (previousGroup && previousGroup !== group) throw new Error('known issues response repeats or splits an issue instead of covering each input');
+        sourceGroupByRawBullet.set(raw, group);
         const safe = cleanBullet(line);
         if (!safe) {
           fallbackUsed = true;
           return FALLBACK;
         }
-        if (resolved.test(safe)) throw new Error(`bullet for ${sourceIds[index]} claims the issue is resolved`);
-        if (!coversIssue(safe, modelIssues[index]!, modelIssues.filter((_, otherIndex) => otherIndex !== index))) {
+        if (resolved.test(safe)) {
+          if (checklistIssues.has(issue) || !/[^\x00-\x7f]/.test(issue.note ?? '')) throw new Error(`bullet for ${sourceIds[index]} claims the issue is resolved`);
+          const replacement = acceptedNoteFallback(issue, approved0233Batch);
+          if (!replacement) throw new Error(`deterministic public bullet unavailable for ${sourceIds[index]}`);
+          fallbackUsed = true;
+          fallbackGroups.add(group);
+          return replacement;
+        }
+        if (!coversIssue(safe, issue, modelIssues.filter((other, otherIndex) => otherIndex !== index && issueGroup(other, checklistIssues) !== group))) {
+          if (!checklistIssues.has(issue) && /[^\x00-\x7f]/.test(issue.note ?? '')) {
+            const replacement = acceptedNoteFallback(issue, approved0233Batch);
+            if (!replacement) throw new Error(`deterministic public bullet unavailable for ${sourceIds[index]}`);
+            fallbackUsed = true;
+            fallbackGroups.add(group);
+            return replacement;
+          }
           throw new Error(`bullet does not identify input ${sourceIds[index]}`);
         }
         return safe;
       });
-      if (new Set(bullets).size !== bullets.length && bullets.some((bullet) => bullet !== FALLBACK)) {
-        throw new Error('known issues response repeats an issue instead of covering each input');
+      // One accepted note is one public issue. A failed ID cannot leave a mixed model/fallback group.
+      bullets = bullets.map((bullet, index) => fallbackGroups.has(issueGroup(modelIssues[index]!, checklistIssues))
+        ? acceptedNoteFallback(modelIssues[index]!, approved0233Batch)! : bullet);
+      const bulletByGroup = new Map<string, string>();
+      for (const [index, bullet] of bullets.entries()) {
+        const group = issueGroup(modelIssues[index]!, checklistIssues);
+        if (bulletByGroup.has(group) && bulletByGroup.get(group) !== bullet) {
+          throw new Error('known issues response repeats or splits an issue instead of covering each input');
+        }
+        bulletByGroup.set(group, bullet);
+        if (bullet === FALLBACK) continue;
+        if (groupByBullet.has(bullet) && groupByBullet.get(bullet) !== group) {
+          throw new Error('known issues response repeats or splits an issue instead of covering each input');
+        }
+        groupByBullet.set(bullet, group);
       }
       bullets = [...new Set(bullets)];
     } catch (error) {
@@ -157,10 +219,17 @@ export function runKnownIssues(context: GraphContext = readGraphContext(), run:
     }
   }
   // A waiver's supplied public impact must survive even when the model omits it or is unavailable.
+  // The generic fallback may aggregate model issues, but it cannot also stand in for a distinct waiver group.
+  if (bullets.includes(FALLBACK)) groupByBullet.set(FALLBACK, 'fallback-aggregate');
   for (const issue of waiverIssues) {
     const bullet = cleanBullet(issue.note ?? '');
     if (!bullet || resolved.test(bullet)) throw new Error(`unsafe public waiver reason for ${issue.id}`);
     const publicBullet = /[.!?]$/.test(bullet) ? bullet : `${bullet}.`;
+    const group = issueGroup(issue, checklistIssues);
+    if (groupByBullet.has(publicBullet) && groupByBullet.get(publicBullet) !== group) {
+      throw new Error(`known issues coverage not verified: waiver bullet repeats another issue for ${issue.id}`);
+    }
+    groupByBullet.set(publicBullet, group);
     if (!bullets.includes(publicBullet)) bullets.push(publicBullet);
   }
   const original = readFileSync(notes, 'utf8');

package/scripts/release-loop/preflight.ts

@@ -1,12 +1,14 @@
-// `elanous release preflight` — 컷 30분 전 사전 점검(RELEASE-PREFLIGHT · 10-06).
+// `elanous release preflight` — 컷 −30분 운영 점검 + 컷 −60분 main export 사전 점검.
 //
 // 🩸 계기(10-06 실측): 0.2.17 릴리스 런이 첫 노드(checklist-gate)에서 멎었다 — «발행 뒤» 칸(POSTPUB-VERIFY)이 그 판에
-//    남아 있었고 게이트가 그것을 미완으로 셌다. 컷이 올 때까지 아무도 몰랐다. 새 규칙 = 착지 마감 = 컷 − 30분, 그 30분에 이 점검.
+//    남아 있었고 게이트가 그것을 미완으로 셌다. 컷 전 체크리스트 점검은 착지 마감 컷 −30분, F9 export 는 main HEAD 에서 컷 −60분 수동 실행.
 // ⛔ 읽기 전용 — 칸을 옮기지도, 동결을 바꾸지도, push 하지도 않는다. 옮길 것은 «명령»으로 제안만 한다.
 // ⛔ 게이트 규칙을 다시 쓰지 않는다 — checklist-gate 노드 · release run 진입 검사 · 예약 시작 준비 검사(releaseReadiness, #24557)가
 //    함께 쓰는 단 하나의 판정 cutChecklistGate 를 그대로 부르고, 예약 시작 경로는 releaseReadiness 를 CLI 와 같은 인자로 부른다.
-import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs';
+import { existsSync, mkdirSync, readdirSync, readFileSync, rmSync, statSync, writeFileSync, mkdtempSync } from 'node:fs';
 import { join } from 'node:path';
+import { tmpdir } from 'node:os';
+import { spawnSync } from 'node:child_process';
 import { cutChecklistGate, listChecklist, type ChecklistItem } from '../../src/release-loop/checklist.js';
 import { getSchedule, formatKst, type ReleaseSchedule } from '../../src/release-loop/release-schedule.js';
 import { readLandingFreeze, landingFreezeMessage, type LandingFreeze } from '../../src/release-loop/landing-freeze.js';
@@ -14,9 +16,10 @@ import { effectiveInstanceRoot } from '../../src/instance/resolve.js';
 import { debug } from '../../src/debug/log.js';
 import { releaseReadiness } from './release-readiness.js';
 import { latestPublishedPreviousVersion, runUnattendedRelease, type UnattendedReleaseDeps } from './unattended-release.js';
+import { loadExportConfig, run as runPublicExport, selectExportFiles } from '../public-export.js';
 
 export type PreflightLevel = 'ok' | 'warn' | 'block';
-export type PreflightCheck = 'checklist' | 'postpub' | 'run-input' | 'freeze' | 'schedule';
+export type PreflightCheck = 'checklist' | 'postpub' | 'run-input' | 'freeze' | 'schedule' | 'export';
 export interface PreflightFinding { level: PreflightLevel; check: PreflightCheck; id?: string; message: string; suggestion?: string }
 export interface GateMeasure { version: string; runId: string; gateSeconds: number; toPublishSeconds?: number }
 const compareStable = (a: string, b: string) => { const x = a.split('.').map(Number), y = b.split('.').map(Number); return x[0]! - y[0]! || x[1]! - y[1]! || x[2]! - y[2]!; };
@@ -27,7 +30,8 @@ export interface PreflightResult {
   blockers: number;
   warnings: number;
   findings: PreflightFinding[];
-  schedule: { cutAt: string; landBy: string | null; publishAt: string | null; publishAtSource: 'option' | 'schedule' | 'cadence' | null } | null;
+  schedule: { cutAt: string; landBy: string | null; publishAt: string | null; publishAtSource: 'option' | 'schedule' | 'cadence' | null; exportCheckAt: string } | null;
+  exportCheck: { mainSha: string; files: number; leaks: number; codeLiterals: number } | null;
   /** The immediately previous release (by version order) whose gate is compared. */
   previousVersion: string | null;
   gateMeasure: GateMeasure | null;
@@ -46,6 +50,72 @@ export interface PreflightDeps {
   releaseRunDeps?: UnattendedReleaseDeps;
   /** The immediately previous release; default = the run input's previousVersion (release ledger). */
   previousVersion?: string;
+  /** Injectable for deterministic preflight tests. Production pins origin/main and scans a disposable checkout. */
+  exportCheck?: () => Promise<{ mainSha: string; files: number; leaks: number; codeLiterals: number }>;
+}
+
+function runGit(cwd: string, args: string[]): string {
+  const result = spawnSync('git', args, { cwd, encoding: 'utf8', maxBuffer: 16 << 20 });
+  if (result.status !== 0) throw new Error(`git ${args.join(' ')} 실패 rc=${result.status}: ${(result.stderr ?? '').trim().slice(0, 300)}`);
+  return (result.stdout ?? '').trim();
+}
+
+/** Read-only main snapshot: all checkout and cleanup writes are contained in a disposable temp directory. */
+export async function scanOriginMainExport(): Promise<{ mainSha: string; files: number; leaks: number; codeLiterals: number }> {
+  const repoRoot = runGit(process.cwd(), ['rev-parse', '--show-toplevel']);
+  const mainSha = runGit(repoRoot, ['rev-parse', '--verify', 'origin/main^{commit}']);
+  const temp = mkdtempSync(join(tmpdir(), 'release-preflight-main-'));
+  const snapshot = join(temp, 'checkout');
+  try {
+    runGit(temp, ['clone', '--shared', '--no-checkout', '--quiet', repoRoot, snapshot]);
+    runGit(snapshot, ['read-tree', mainSha]);
+    const tracked = runGit(snapshot, ['ls-files', '-z']).split('\0').filter(Boolean);
+    const trackedSet = new Set(tracked);
+    // `git check-ignore --no-index` applies every nested ignore file, including ones below selected paths.
+    const needed = new Set(tracked.filter((file) => file === '.gitignore' || file.endsWith('/.gitignore')));
+    needed.add('release/public-export.yaml');
+    // Read only the paths the pinned manifest can inspect; the full tracked-path index stays at mainSha.
+    const manifestPath = join(snapshot, 'release/public-export.yaml');
+    const manifest = spawnSync('git', ['-C', snapshot, 'show', `${mainSha}:release/public-export.yaml`], { encoding: 'utf8', maxBuffer: 4 << 20 });
+    if (manifest.status !== 0) throw new Error(`origin/main public export manifest 읽기 실패: ${(manifest.stderr ?? '').trim()}`);
+    mkdirSync(join(snapshot, 'release'), { recursive: true });
+    writeFileSync(manifestPath, manifest.stdout ?? '');
+    const config = loadExportConfig(snapshot);
+    const selected = selectExportFiles(tracked, config);
+    for (const file of selected) needed.add(file);
+    for (const source of Object.values(config.replace)) needed.add(source);
+    if (config.skills) {
+      needed.add('catalog/resources.yaml');
+      needed.add('src/video-pipeline/capabilities.ts');
+      for (const file of tracked) if (/^skills\/[^/]+\/SKILL\.md$/u.test(file)) needed.add(file);
+      for (const file of tracked) {
+        const skill = /^skills\/([^/]+)\//u.exec(file)?.[1];
+        if (skill) mkdirSync(join(snapshot, 'skills', skill), { recursive: true });
+      }
+    }
+    const checkout = spawnSync('git', ['-C', snapshot, 'checkout-index', '--stdin', '-z', '-f'], {
+      input: `${[...needed].filter((file) => trackedSet.has(file)).join('\0')}\0`, encoding: 'utf8', maxBuffer: 16 << 20,
+    });
+    if (checkout.status !== 0) throw new Error(`origin/main export 입력 파일 준비 실패 rc=${checkout.status}: ${(checkout.stderr ?? '').trim().slice(0, 300)}`);
+    let output = '';
+    const originalLog = console.log;
+    const originalError = console.error;
+    console.log = (...args: unknown[]) => { output += `${args.map(String).join(' ')}\n`; };
+    console.error = () => {};
+    let code: number;
+    try { code = runPublicExport(['--leak-check', '--json'], snapshot); }
+    finally { console.log = originalLog; console.error = originalError; }
+    const report = JSON.parse(output.trim()) as {
+      files?: number; leaks?: number; hits?: Array<{ marker: string }>; codeLiterals?: { hits?: number };
+      privateRedactions?: { loaded?: boolean };
+    };
+    if (report.privateRedactions?.loaded !== true) throw new Error('개인 치환표를 읽지 못해 export 누수 검사를 완결할 수 없다');
+    if (typeof report.files !== 'number' || typeof report.leaks !== 'number') throw new Error('public-export 검사 결과가 완전하지 않다');
+    if (code !== (report.leaks > 0 ? 1 : 0)) throw new Error(`public-export 종료 코드와 누수 결과 불일치: rc=${code} leaks=${report.leaks}`);
+    return { mainSha, files: report.files, leaks: report.leaks, codeLiterals: report.codeLiterals?.hits ?? 0 };
+  } finally {
+    rmSync(temp, { recursive: true, force: true });
+  }
 }
 
 const POSTPUB_ID = /^POSTPUB-/i;
@@ -127,6 +197,7 @@ export async function releasePreflight(version: string, deps: PreflightDeps = {}
   const now = deps.now ?? new Date();
   const next = nextPatch(version);
   const findings: PreflightFinding[] = [];
+  let exportCheck: PreflightResult['exportCheck'] = null;
   const moveHint = (id: string) => `elanous release checklist move ${id} --from ${version} --to ${next} --reason "발행 뒤 칸 — 다음 판에서 확인"`;
 
   // 1·2. Checklist gate simulation «at the cut» (the node and the run entry both judge after land-by) ⊕ post-publish cells.
@@ -176,6 +247,17 @@ export async function releasePreflight(version: string, deps: PreflightDeps = {}
   for (const p of gate.parity ?? []) findings.push({ level: 'warn', check: 'checklist', id: p.id, message: `${p.id} — 화면 짝 경고: ${p.why}` });
   if (!blockReason.size) findings.push({ level: 'ok', check: 'checklist', message: `체크리스트 게이트 모의 통과 — ${data.items.length}칸 · 이월 ${gate.moved.length} · 알려진 문제 ${gate.knownIssues.length}` });
 
+  // 3a. Public export leakage is measured against one pinned origin/main commit, never this possibly dirty branch.
+  try {
+    exportCheck = await (deps.exportCheck ?? scanOriginMainExport)();
+    findings.push(exportCheck.leaks
+      ? { level: 'block', check: 'export', message: `origin/main ${exportCheck.mainSha.slice(0, 12)} 공개 export 누수 ${exportCheck.leaks}건 · ${exportCheck.files} 파일 검사` }
+      : { level: 'ok', check: 'export', message: `origin/main ${exportCheck.mainSha.slice(0, 12)} 공개 export 누수 0건 · ${exportCheck.files} 파일 검사` });
+    if (exportCheck.codeLiterals) findings.push({ level: 'warn', check: 'export', message: `코드 리터럴 표지 ${exportCheck.codeLiterals}건은 문서/주석 누수에서 분리해 기록` });
+  } catch (error) {
+    findings.push({ level: 'block', check: 'export', message: `origin/main 공개 export 검사를 완료하지 못했다 — ${error instanceof Error ? error.message : String(error)}` });
+  }
+
   // 3. The same input check `release run --dry-run` makes.
   let runPrevious: string | undefined;
   try {
@@ -209,7 +291,11 @@ export async function releasePreflight(version: string, deps: PreflightDeps = {}
     // --publish-at > the stored schedule publish time (`release schedule set --publish-at`) > the October cadence.
     const publishAtSource = deps.publishAt ? 'option' : schedule.publishAt ? 'schedule' : 'cadence';
     const publishAt = deps.publishAt ? new Date(deps.publishAt).toISOString() : schedule.publishAt ?? cadencePublishAt(schedule.cutAt);
-    scheduleOut = { cutAt: schedule.cutAt, landBy: schedule.landBy, publishAt, publishAtSource };
+    const exportCheckAt = new Date(cut - 60 * 60_000).toISOString();
+    scheduleOut = { cutAt: schedule.cutAt, landBy: schedule.landBy, publishAt, publishAtSource, exportCheckAt };
+    findings.push(Date.parse(now.toISOString()) < Date.parse(exportCheckAt)
+      ? { level: 'warn', check: 'schedule', message: `main export 검사 시각 ${formatKst(exportCheckAt)}(컷 − 60분)보다 이르다 · OP가 그 시각에 수동 실행` }
+      : { level: 'ok', check: 'schedule', message: `main export 검사 시각 ${formatKst(exportCheckAt)}(컷 − 60분) · 자동 예약 없음` });
     if (!schedule.landBy) findings.push({ level: 'warn', check: 'schedule', message: `착지 마감 없음 — 컷 ${formatKst(schedule.cutAt)} · 규칙은 컷 − 30분` });
     else if (cut - Date.parse(schedule.landBy) < 30 * 60_000) findings.push({ level: 'warn', check: 'schedule', message: `착지 마감 ${formatKst(schedule.landBy)} 이 컷 − 30분보다 늦다(컷 ${formatKst(schedule.cutAt)})` });
     else findings.push({ level: 'ok', check: 'schedule', message: `일정 — 착지 마감 ${formatKst(schedule.landBy)} · 컷 ${formatKst(schedule.cutAt)}` });
@@ -233,7 +319,7 @@ export async function releasePreflight(version: string, deps: PreflightDeps = {}
   const blockers = findings.filter((f) => f.level === 'block').length;
   const warnings = findings.filter((f) => f.level === 'warn').length;
   debug.log('release.preflight', 'checked', { version, blockers, warnings });
-  return { version, next, verdict: blockers ? 'block' : warnings ? 'warn' : 'ok', blockers, warnings, findings, schedule: scheduleOut, previousVersion, gateMeasure, fallbackGateMeasure };
+  return { version, next, verdict: blockers ? 'block' : warnings ? 'warn' : 'ok', blockers, warnings, findings, schedule: scheduleOut, exportCheck, previousVersion, gateMeasure, fallbackGateMeasure };
 }
 
 const ICON: Record<PreflightLevel, string> = { ok: '✅', warn: '⚠️', block: '⛔' };

package/scripts/release-loop/publish-node.ts

@@ -1,14 +1,55 @@
 #!/usr/bin/env bun
-import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { mkdtempSync, readFileSync, rmSync, writeFileSync } from 'node:fs';
 import { tmpdir } from 'node:os';
 import { join } from 'node:path';
-import { WARNING_ONLY } from './auto-approve-node.js';
+import { BLOCKING_METRIC_NAMES, WARNING_ONLY } from './auto-approve-node.js';
 import { beginLandingMerge, landingFreezeMessage } from '../../src/release-loop/landing-freeze.js';
 import { debug } from '../../src/debug/log.js';
 import { registerStandaloneLogSink } from '../../src/domains/standalone-log-sink.js';
+import { effectiveInstanceRoot } from '../../src/instance/resolve.js';
 import { prereleaseKind } from './release-version.js';
 import { publishAtError } from './publish-at.js';
-import { errorResult, finishNode, lastResult, nodeOutput, readGraphContext, runCommand, type CommandRunner } from './node-verdict.js';
+import { validatedTuiRegress } from './tui-node-checks.js';
+import { errorResult, finishNode, lastResult, nodeOutput, readGraphContext, runCommand, type CommandRunner, type GraphContext } from './node-verdict.js';
+
+/** The approval output alone is not authority: the runner also stores a one-winner decision claim for this visit. */
+export function hasRecordedPublishApproval(context: GraphContext, root: string): boolean {
+  const runId = context.runId;
+  const approval = context.outputs['approve-publish'];
+  if (!runId || !/^[A-Za-z0-9_-]+$/.test(runId) || approval?.outcome !== 'approved'
+    || approval.graphId !== 'release-loop' || approval.runId !== runId || approval.nodeId !== 'approve-publish'
+    || typeof approval.decidedAt !== 'string' || Number.isNaN(Date.parse(approval.decidedAt))) return false;
+  try {
+    const statePath = join(root, 'graph-runs', 'release-loop', `${runId}.json`);
+    const state = JSON.parse(readFileSync(statePath, 'utf8')) as {
+      graphId?: string; runId?: string; path?: string[];
+      nodes?: Array<{ nodeId?: string; ok?: boolean; output?: unknown; decidedAt?: string }>;
+    };
+    const visit = state.path?.lastIndexOf('approve-publish') ?? -1;
+    if (state.graphId !== 'release-loop' || state.runId !== runId || state.path?.at(-1) !== 'publish'
+      || visit < 0 || !Array.isArray(state.nodes)) return false;
+    const node = state.nodes.filter((item) => item.nodeId === 'approve-publish').at(-1);
+    const output = typeof node?.output === 'string' ? JSON.parse(node.output) as Record<string, unknown> : null;
+    if (!node?.ok || node.decidedAt !== approval.decidedAt || output?.runId !== runId
+      || output?.decidedAt !== approval.decidedAt || output?.outcome !== 'approved') return false;
+    const claim = JSON.parse(readFileSync(`${statePath}.${visit + 1}.decision.json`, 'utf8')) as Record<string, unknown>;
+    return claim.nodeId === 'approve-publish' && claim.decision === 'approved'
+      && claim.decidedAt === approval.decidedAt;
+  } catch { return false; }
+}
+
+/** Warning rows may be repeated, but each of the eight fixed gates must occur exactly once in its declared order. */
+export function hasMeasuredApprovalMetrics(metrics: unknown): boolean {
+  if (!Array.isArray(metrics) || !metrics.every((row: unknown) => row && typeof row === 'object'
+    && typeof (row as Record<string, unknown>).name === 'string'
+    && (row as Record<string, unknown>).verdict === 'pass')) return false;
+  const rows = metrics as Array<{ name: string; verdict: string }>;
+  const fixed = rows.filter((row) => !WARNING_ONLY.has(row.name));
+  return fixed.length === BLOCKING_METRIC_NAMES.length
+    && BLOCKING_METRIC_NAMES.every((name, index) => fixed[index]?.name === name)
+    && rows.some((row) => row.name === 'tui-regress')
+    && rows.some((row) => row.name === 'mac-smoke');
+}
 
 export function publicNotes(markdown: string, pages: { pages: Array<{ id: string; slug?: string; source?: string }> }): string {
   if (!Array.isArray(pages.pages)) throw new Error('invalid public pages registry');
@@ -46,7 +87,8 @@ export function waitForAssets(run: CommandRunner, repo: string, tag: string, nam
 }
 
 export function runPublish(run: CommandRunner = runCommand, prodFreezeRoot?: string,
-  clock: { now: () => number; sleep: (ms: number) => void } = { now: Date.now, sleep: Bun.sleepSync }) {
+  clock: { now: () => number; sleep: (ms: number) => void } = { now: Date.now, sleep: Bun.sleepSync },
+  approvalRoot = effectiveInstanceRoot()) {
   const context = readGraphContext();
   // A resumed graph once invoked this irreversible node at npm-publish, docs-land, and failed.
   // The runner's context is the authority: only the publish visit may publish.
@@ -54,12 +96,21 @@ export function runPublish(run: CommandRunner = runCommand, prodFreezeRoot?: str
   const version = context.input.version;
   // A measured automatic decision or the existing human approval must authorize publication.
   const auto = context.outputs['auto-approve'];
-  if (context.outputs['approve-publish']?.outcome !== 'approved' &&
+  const regress = validatedTuiRegress(context.outputs.tui?.regress);
+  const approvedForRun = hasRecordedPublishApproval(context, approvalRoot);
+  if (!approvedForRun &&
     !(auto?.outcome === 'ok' && auto.decidedBy === 'release-loop metrics'
-      // The 8 blocking metrics; warning-only rows (tui-regress · mac-smoke) are shown but never counted (V1g · MAC1).
-      && Array.isArray(auto.metrics)
-      && auto.metrics.filter((metric: unknown) => !(metric && typeof metric === 'object' && 'name' in metric && WARNING_ONLY.has(String(metric.name)))).length === 8
-      && auto.metrics.every((metric: unknown) => metric && typeof metric === 'object' && 'verdict' in metric && metric.verdict === 'pass'))) {
+      && !('unmeasured' in regress) && regress.pass === 7 && regress.fail === 0
+      && typeof context.runId === 'string' && context.runId.length > 0 && auto.runId === context.runId
+      && auto.tuiSubcheck && typeof auto.tuiSubcheck === 'object'
+      && (auto.tuiSubcheck as Record<string, unknown>).runId === context.runId
+      && (auto.tuiSubcheck as Record<string, unknown>).level === 'ok'
+      && (auto.tuiSubcheck as Record<string, unknown>).fail === 0
+      && Array.isArray((auto.tuiSubcheck as Record<string, unknown>).failedCheckIds)
+      && ((auto.tuiSubcheck as Record<string, unknown>).failedCheckIds as unknown[]).length === 0
+      && (auto.tuiSubcheck as Record<string, unknown>).approvalRequired === false
+      // Eight fixed metrics; the TUI subcheck is outside that count but its fail/unmeasured verdict still blocks auto-publish.
+      && hasMeasuredApprovalMetrics(auto.metrics))) {
     return { outcome: 'fail' as const, verdict: 'fail' as const, summary: 'publish blocked: neither auto-approve nor approve-publish approved' };
   }
   for (const node of ['gate', 'pwa', 'upgrade', 'tui', 'prepare', 'docs']) {

package/scripts/release-loop/resume-cap.ts

@@ -0,0 +1,56 @@
+import { randomUUID } from 'node:crypto';
+import { existsSync, mkdirSync, readFileSync, renameSync, unlinkSync, writeFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { DecisionLedger } from '../../src/decisions/decision-ledger.js';
+import type { GraphRunState } from '../../src/graph-runner/runner.js';
+import { isReleaseVersion } from './release-version.js';
+
+export const RELEASE_RESUME_LIMIT = 2;
+
+/** Called under the OP seat flock, before any branch-tip or graph-run mutation. */
+export function reserveReleaseResumeAttempt(state: GraphRunState, root: string, options: {
+  now?: () => Date;
+  openCard?: (version: string, runId: string, reason: string) => string;
+  /** Under the OP flock, check capacity before tip preflight without consuming an attempt. */
+  checkOnly?: boolean;
+  /** A dry-run reports the cap without creating an OP decision card. */
+  noDecision?: boolean;
+} = {}): { attempt: number; path: string } {
+  const version = (state.input as { version?: unknown } | undefined)?.version;
+  if (typeof version !== 'string' || !isReleaseVersion(version) || !/^[A-Za-z0-9][A-Za-z0-9._-]*$/.test(state.runId))
+    throw new Error('release resume cap requires a valid saved version and run id');
+  const path = join(root, 'release', version, 'resume-attempts', `${state.runId}.json`);
+  const card = options.openCard ?? ((v: string, id: string, reason: string) => {
+    const ref = `release-resume-cap:${v}:${id}`;
+    return new DecisionLedger({ stateDir: root, now: options.now }).raiseOnce({
+      title: `${v} release resume limit: ${id}`, category: 'scope',
+      scqa: { s: `Release ${v} run ${id} has reached its two-resume limit.`, c: reason,
+        q: 'Should this release be deferred or moved to the next version?' },
+      options: [{ key: 'a', label: 'Defer this release', consequence: 'Stop this run and reschedule the release.' },
+        { key: 'b', label: 'Move to next version', consequence: 'Stop this run and carry the work to a new release.' }],
+      recommendation: { skipped: true, reason: 'OP must choose the release disposition.' },
+      raisedBy: { agent: 'release-resume-cap', track: 'TC' }, refs: [ref],
+    }, ref).id;
+  });
+  const blocked = (reason: string): never => {
+    if (options.noDecision) throw new Error(`release resume limit reached: ${reason}`);
+    throw new Error(`release resume limit reached — decision ${card(version, state.runId, reason)}: ${reason}`);
+  };
+  if (options.noDecision && !options.checkOnly) throw new Error('noDecision requires checkOnly');
+  if (!existsSync(path) && state.resume) blocked('saved run was resumed before attempt counting; prior count is unknown');
+  const prior = existsSync(path) ? JSON.parse(readFileSync(path, 'utf8')) as unknown : { version, runId: state.runId, attempts: [] };
+  if (!prior || typeof prior !== 'object' || Array.isArray(prior)) throw new Error('release resume attempts ledger invalid');
+  const saved = prior as { version?: unknown; runId?: unknown; attempts?: unknown };
+  if (saved.version !== version || saved.runId !== state.runId || !Array.isArray(saved.attempts)
+    || saved.attempts.some(value => typeof value !== 'string' || !Number.isFinite(Date.parse(value))))
+    throw new Error('release resume attempts ledger invalid');
+  if (saved.attempts.length >= RELEASE_RESUME_LIMIT) blocked(`${saved.attempts.length} resumes already recorded`);
+  if (options.checkOnly) return { attempt: saved.attempts.length + 1, path };
+  const at = (options.now ?? (() => new Date()))().toISOString();
+  const next = { version, runId: state.runId, attempts: [...saved.attempts, at] };
+  mkdirSync(dirname(path), { recursive: true });
+  const temp = `${path}.${process.pid}.${randomUUID()}.tmp`;
+  try { writeFileSync(temp, `${JSON.stringify(next)}\n`, { mode: 0o600 }); renameSync(temp, path); }
+  finally { try { unlinkSync(temp); } catch (error) { if ((error as NodeJS.ErrnoException).code !== 'ENOENT') throw error; } }
+  return { attempt: next.attempts.length, path };
+}