elanous 0.2.29 → 0.2.31

package/src/self-implement/host-regate.ts

@@ -11,6 +11,7 @@ import { releaseGitDiffPaths, releasePathHold, releasePathHoldShouldPost, releas
 import { detectTestInterference, failedNamesFromStreams, parseFailureCount, runBunTest, type MeasuredRun } from '../../scripts/detect-test-interference.js';
 import { MAX_INSPECTED_TEST_FILES, runTestInterferenceGate } from '../../scripts/ci-test-interference-gate.js';
 import { pwaGraph, pwaReach } from '../../scripts/ci-pwa-build-gate.js';
+import { changedPathPairs, changedTsFiles, readGitFile, requiredExportFieldsInChanges } from '../../scripts/ci-typecheck-changed.js';
 import { classifyMergeFailure, clipRegateDetail, parseConflictFiles, type HostRegateFailure } from './regate-detail.js';
 import { buildImporterTestIndex, isTestPath } from './importer-test-index.js';
 
@@ -55,6 +56,48 @@ export type HostRegateDeps = {
   syncMergedChecklist?: typeof import('../release-loop/merged-pr-checklist.js').syncMergedPrChecklist;
 };
 
+/**
+ * REGATE-PWA-DEPS-FOR-TSC (#26698 → #27484 must-fix): the typecheck gate requires apps/pwa dependencies for
+ * `runsPwa || wholeRepository` — present .ts/.tsx under apps/pwa/ in its own changed set, or any of its
+ * whole-repository promotion triggers (필수 export 필드 추가 · exported 심볼 삭제 · exported 함수 매개변수 증가,
+ * in ANY changed file). Decide it with the gate's own collectors — changedTsFiles ⊕ changedPathPairs ⊕
+ * requiredExportFieldsInChanges — against the candidate worktree and the same TSC_BASE_REF the gate receives,
+ * so dependency provision and restoration can never be narrower than the real typecheck scope. Git observation
+ * goes through the regate's injectable `command` seam (hermetic tests); changedTsFiles composes whitespace-token
+ * command strings, so its shell runner just splits them into (bin, args).
+ */
+export function typecheckGateTouchesPwa(
+  worktree: string,
+  typecheckBase: string,
+  command: NonNullable<HostRegateDeps['command']>,
+): boolean {
+  const git = (bin: string, args: readonly string[]): unknown => {
+    const r = command(bin, args, worktree);
+    if (r.status !== 0) throw Object.assign(new Error((r.stderr || r.stdout || `${bin} exited ${String(r.status)}`).trim()), { status: r.status });
+    return r.stdout;
+  };
+  const changed = changedTsFiles((cmd) => {
+    const [bin, ...args] = cmd.split(' ');
+    return git(bin, args) as string;
+  }, { ...process.env, TSC_BASE_REF: typecheckBase }, worktree);
+  // Collection failures make the gate exit(1) before its dependency requirement; an empty changed set makes it
+  // pass without running tsc — neither path can demand apps/pwa dependencies.
+  if ((changed.failures?.length ?? 0) > 0 || changed.files.size === 0) return false;
+  // runsPwa: a present .ts/.tsx under apps/pwa/ in the gate's own changed set.
+  if ([...changed.files].some((file) => file.startsWith('apps/pwa/'))) return true;
+  const triggers = requiredExportFieldsInChanges(
+    changed.files,
+    changed.base,
+    changedPathPairs(changed.base, git),
+    (ref, path) => readGitFile(ref, path, git),
+    (file) => readFileSync(join(worktree, file), 'utf8'),
+  );
+  // A judgement failure makes the gate exit(1) before its dependency requirement, like the collection failures above.
+  if (triggers.failure) return false;
+  // wholeRepository: any promotion trigger widens the inspection to the whole repository, apps/pwa included.
+  return triggers.fields.length > 0 || triggers.removedSymbols.length > 0 || triggers.parameterIncreases.length > 0;
+}
+
 const SPAWN_MAX_BUFFER = 256 * 1024 * 1024;
 
 const defaultCommand: NonNullable<HostRegateDeps['command']> = (bin, args, cwd, env) => {
@@ -271,7 +314,10 @@ export async function runHostRegate(input: HostRegateInput, deps: HostRegateDeps
   const result = (event: 'passed' | 'failed' | 'unmeasured', step?: string, detail?: string, facts: Omit<HostRegateFailure, 'step' | 'detail'> = {}): HostRegateResult => {
     if (step) failures.push({ step, detail: clipRegateDetail(detail ?? 'unknown'), ...facts });
     log(event, { pr: input.prNumber, files, os: process.platform, ...interferenceNote, ...(step ? { failedStep: step, detail: clipRegateDetail(detail ?? 'unknown'), ...facts } : {}) });
-    return { passed: event === 'passed', failures, os: process.platform, ...(input.verifyOnly ? { status: event, ...(verifiedBase ? { baseCommit: verifiedBase } : {}) } : {}) };
+    // TA-REGATE-UNMEASURED — noMerge(TA 재게이트) 도 status 를 싣는다: draft `pr-head` 거부 같은 «못 잼»을 «실패»와 가르게.
+    return { passed: event === 'passed', failures, os: process.platform,
+      ...(input.verifyOnly || input.noMerge ? { status: event } : {}),
+      ...(input.verifyOnly && verifiedBase ? { baseCommit: verifiedBase } : {}) };
   };
   const run = (bin: string, args: readonly string[], cwd: string, env?: NodeJS.ProcessEnv): string => {
     const r = command(bin, args, cwd, env);
@@ -305,6 +351,11 @@ export async function runHostRegate(input: HostRegateInput, deps: HostRegateDeps
     let stalePrBase: string | undefined;
     const initialPrBase = baseCommit;
     let buildPwa = false;
+    // REGATE-PWA-DEPS-FOR-TSC (#26698 → #27484 must-fix): the typecheck gate picks its own changed set and its own
+    // whole-repository promotion triggers — TSC_BASE_REF..HEAD — which can carry apps/pwa files that landed on
+    // main after this PR branched, and root-file export changes that widen the inspection to the whole repository.
+    // Set in the worktree phase below.
+    let typecheckTouchesPwa = false;
     try {
       let fetchedBase = fetchRef(`refs/heads/${baseRefName}`, 'base');
       if (input.verifyOnly) { baseCommit = fetchedBase; verifiedBase = fetchedBase; }
@@ -406,7 +457,14 @@ export async function runHostRegate(input: HostRegateInput, deps: HostRegateDeps
       const provide = (dir: string, marker: string): void => provideCheckoutDependencies(candidate, input.repoRoot, dir, marker, (cwd) => { run('bun', ['install', '--frozen-lockfile'], cwd); });
       provide('', 'typescript');
       buildPwa = needsPwaBuild(files, worktree);
-      if (buildPwa && existsSync(join(worktree, 'apps/pwa'))) provide('apps/pwa', 'next');
+      // REGATE-PWA-DEPS-FOR-TSC (#26698 → #27484 must-fix): provide('apps/pwa') must also fire when the typecheck
+      // gate's own scope — the same TSC_BASE_REF..HEAD it receives below — holds present .ts/.tsx files under
+      // apps/pwa/ OR any of its whole-repository promotion triggers (필수 export 필드 추가 · exported 심볼 삭제 ·
+      // exported 함수 매개변수 증가, in ANY changed file), even when buildPwa never turns on: without app deps
+      // the gate fails such runs as «의존성 없음» for environment reasons, not code defects.
+      const typecheckBase = input.verifyOnly ? baseCommit : base;
+      typecheckTouchesPwa = typecheckGateTouchesPwa(worktree, typecheckBase, command);
+      if ((buildPwa || typecheckTouchesPwa) && existsSync(join(worktree, 'apps/pwa'))) provide('apps/pwa', 'next');
     } catch (e) { return result('unmeasured', 'worktree', String(e)); }
     try {
       const interferenceOptions = { neighbors: !input.verifyOnly };
@@ -427,7 +485,7 @@ export async function runHostRegate(input: HostRegateInput, deps: HostRegateDeps
     }
     // The checked checkout is shared with interference/exposure gates. Verify dependencies at the
     // typecheck boundary as well: a missing PWA link here made #27414 fail as an unmeasured host regate.
-    if (buildPwa && !existsSync(join(worktree, 'apps/pwa/node_modules'))) {
+    if ((buildPwa || typecheckTouchesPwa) && !existsSync(join(worktree, 'apps/pwa/node_modules'))) {
       let failure: string | null = null;
       try {
         if (existsSync(join(worktree, 'apps/pwa'))) {

package/src/self-implement/orchestrator.ts

@@ -86,7 +86,6 @@ import { LogStore, logsDbPath, type LogQuery, type LogStoreRow } from '../mss/lo
 import { refreshCodexQuotaSignals } from '../budget/codex-quota-refresh.js';
 import { inspectActiveProvider, type ActiveProviderInfo } from '../provider-summary.js';
 import { recordHitlEvent } from '../self-dev/hitl-log.js';
-import { parseAskProseTitle } from '../self-dev/launch-preflight.js';
 import { classifyReviewProviderFailure } from '../self-dev/review-provider-fallback.js';
 import { classifyError } from '../session-runtime/retry-policy.js';
 import { decomposeSelfDevGoal, inferHotPaths, type SelfDevDecomposeOptions } from '../self-dev/decompose.js';
@@ -154,6 +153,8 @@ import { plannedSelfImplBranch } from '../harness/worktree-branch-prefix.js';
 export { slugifyFeature } from '../harness/worktree-branch-prefix.js';
 import { AUTO_REVIEW_LABEL, resolveAutoReviewLabels } from './context-capsule.js';
 import { GOAL_TYPES, extractVerbatimOriginalAsk, leadingGoalMetadata, parseAskFile, parseGoalType, type GoalType } from './goal-author.js';
+import { goalDocumentForReleaseNote, goalChecklistIds, prTitle } from './pr-title.js';
+export { goalChecklistIds, prTitle } from './pr-title.js';
 import { renderRoundSummaryCard, type RoundSummaryEntry } from './round-summary-card.js';
 import { computeFlexSignals } from './flex-signals.js';
 import { resolveAdaptiveMaxReworkDecision, resolveEscalateTier, resolveEscalateTarget, buildReworkFeature, failIndicator, isRepeatedUnverifiedOnlyGateFailure, unverifiedRepeatKey, appendReworkHistory, truncateReworkHistoryByItem, applyReworkBudgetDecision, parseContractConflictRelaxation, parseReworkBudgetDecision, resolveReworkBudgetCarry, stripReworkBudgetHeaders, countConsecutiveMustFixIds, mergeReworkNotes, resolveReworkKind, type ReworkPlanRevision, type ReworkNotePart } from './rework-policy.js';
@@ -862,8 +863,15 @@ export function isHarnessTempArtifact(file: string): boolean {
   return /(^|\/)\.elanous-typecheck-scope-[^/]+\.json$/.test(file);
 }
 
+/** Only this run's GOAL document is a harness artifact; unrelated GOAL edits remain in scope accounting. */
+export function isHarnessGeneratedGoal(file: string, goalDocumentPath?: string): boolean {
+  const ownGoal = goalDocumentPath?.replace(/\\/g, '/').match(/(?:^|\/)(docs\/goals\/GOAL-[^/]+\.(?:md|txt))$/)?.[1];
+  return !!ownGoal && normalizeDeclaredScopePath(file) === ownGoal;
+}
+
 export function detectDeclaredScopeDiff(input: {
   goalDocument?: string | null;
+  goalDocumentPath?: string;
   changedFiles?: readonly string[] | null;
   nameCap?: number;
 }): DeclaredScopeDiff {
@@ -879,7 +887,8 @@ export function detectDeclaredScopeDiff(input: {
     return { status: 'unknown-changed-files', outsideCount: null, outsideNames: [], nameCapReached: false, unmadeCount: null, unmadeNames: [], declaredCount: null };
   }
   const outside = [...new Set(input.changedFiles.map(normalizeDeclaredScopePath).filter(Boolean))]
-    .filter((file) => !declared.paths.some((target) => changedFileIsInsideDeclaredTarget(file, target)));
+    .filter((file) => !isHarnessGeneratedGoal(file, input.goalDocumentPath)
+      && !declared.paths.some((target) => changedFileIsInsideDeclaredTarget(file, target)));
   // ⭐ 「선언했는데 «안 채워진»」 것 — `outside` 의 반대 방향이다.
   const changed = [...new Set(input.changedFiles.map(normalizeDeclaredScopePath).filter(Boolean))];
   const unmade = declared.paths.filter((target) => !changed.some((file) => changedFileIsInsideDeclaredTarget(file, target)));
@@ -914,6 +923,7 @@ function observeDeclaredScopeDiff(
   }
   const diff = detectDeclaredScopeDiff({
     goalDocument,
+    goalDocumentPath: input.goalFile,
     changedFiles: input.changedFiles,
     nameCap: input.nameCap,
   });
@@ -2357,120 +2367,6 @@ function addedDiffEvidence(diff: string): { text: string; truncated: boolean } {
   };
 }
 
-function isRepositoryRelativePath(candidate: string): boolean {
-  if (/^(?:[A-Za-z][A-Za-z0-9+.-]*:\/\/|[\\/]|[A-Za-z]:[\\/])/.test(candidate)) return false;
-  const parts = candidate.split('/');
-  return parts.length > 1
-    && parts.every((part) => part !== '.' && part !== '..' && /^[A-Za-z0-9_.-]+$/.test(part))
-    && /\.[A-Za-z0-9]+$/.test(parts.at(-1)!);
-}
-
-function extractRepositoryRelativePaths(first: string): string[] {
-  const candidates = first.split(/[\s,;()[\]{}"'`<>]+/).filter(Boolean);
-  return candidates.filter(isRepositoryRelativePath);
-}
-
-function parseAskMarkdownH1(feature: string): string | undefined {
-  // ⛔ 펜스는 «문자»만이 아니라 «길이»로 닫힌다(CommonMark): 닫는 줄은 같은 문자 · 여는 줄 이상의 길이 · 뒤에 정보 문자열 없음.
-  //   🩸 2026-09-23(#20050 착지 직후 실물): GOAL 문서가 원래 ask 를 ```` 네 개 펜스로 싸고, 그 안에 ``` 블록이 있다.
-  //   문자만 보면 안쪽 ``` 이 바깥 ```` 를 «닫아» 안팎이 뒤집히고 ```bash 안의 `# 주석` 이 다시 제목이 됐다.
-  let fence: { marker: '`' | '~'; run: number } | undefined;
-  for (const line of feature.split(/\r?\n/)) {
-    const trimmed = line.trim();
-    const marker = trimmed[0] === '`' || trimmed[0] === '~' ? trimmed[0] : undefined;
-    let run = 0;
-    if (marker) {
-      while (run < trimmed.length && trimmed[run] === marker) run += 1;
-    }
-    if (marker && run >= 3) {
-      if (!fence) {
-        fence = { marker, run };
-        continue;
-      }
-      if (fence.marker === marker && run >= fence.run && trimmed.slice(run).trim() === '') {
-        fence = undefined;
-        continue;
-      }
-    }
-    if (fence) continue;
-    if (line[0] !== '#' || line[1] === '#') continue;
-    if (line.length < 2 || !/\s/.test(line[1]!)) continue;
-    const text = line.slice(1).trim();
-    if (text) return text;
-  }
-  return undefined;
-}
-
-function prTitleCodePointCount(text: string): number {
-  return Array.from(text).length;
-}
-
-function truncatePrTitle(text: string): string {
-  const points = Array.from(text);
-  return points.length <= 72 ? text : `${points.slice(0, 69).join('')}...`;
-}
-
-export function goalChecklistIds(feature: string, goalFile?: string): string[] {
-  const document = goalFile ? goalDocumentForReleaseNote(goalFile) : feature;
-  const declaration = document.split(/\r?\n/).find((line) => line.startsWith('- 칸 id: '));
-  const declared = declaration?.slice('- 칸 id: '.length).trim();
-  if (declared && declared !== 'not declared') {
-    return [...new Set(declared.split(' · ').map((id) => id.trim()).filter(Boolean))];
-  }
-  const firstLine = feature.split(/\r?\n/, 1)[0] ?? '';
-  return [...new Set(Array.from(firstLine.matchAll(/\b[A-Z][A-Z0-9]+-[A-Z0-9]+\b/g), (match) => match[0]))];
-}
-
-function prTitleWithoutChecklistId(feature: string): string {
-  const proseTitle = parseAskProseTitle(feature);
-  if (proseTitle) return truncatePrTitle(proseTitle);
-
-  const headingTitle = parseAskMarkdownH1(feature);
-  if (headingTitle) return truncatePrTitle(headingTitle);
-
-  // ⛔ GOAL 문서는 원래 ask 를 `Original ask (verbatim, unmodified):` 아래 ```` 펜스로 싣는다 — 그 안은 «코드»가 아니라 인용된 마크다운이다.
-  //   🩸 2026-09-23: #20051 이 펜스를 길이로 닫게 고치자 그 인용 블록 안의 H1 까지 «건너뛰어»,
-  //   첫 줄이 `대상 경로:` 인 GOAL 문서 대부분이 경로 요약 제목으로 떨어졌다(실물: #20055 `src/self-implement: gate-baseline.ts, …`).
-  //   ⇒ 인용된 ask 를 꺼내 그 «안»에서 같은 규칙(제목: 줄 → 펜스 밖 H1)으로 한 번 더 찾는다.
-  //   ⚠️ 정보 문자열이 붙은 펜스(```bash 등)로 싸였으면 그 안은 «코드»다 — 인용된 마크다운으로 보지 않는다.
-  const verbatim = extractVerbatimOriginalAsk(feature);
-  const opener = verbatim?.range ? feature.slice(0, verbatim.range.start).split(/\r?\n/).filter((line, i, all) => i === all.length - 2)[0] ?? '' : '';
-  const verbatimAsk = verbatim && /^\s*(`{3,}|~{3,})\s*$/.test(opener) ? verbatim.ask : undefined;
-  if (verbatimAsk) {
-    const askTitle = parseAskProseTitle(verbatimAsk) ?? parseAskMarkdownH1(verbatimAsk);
-    if (askTitle) return truncatePrTitle(askTitle);
-  }
-
-  const first = feature.split('\n')[0]!.trim();
-  const paths = extractRepositoryRelativePaths(first);
-  if (!paths.length) return truncatePrTitle(first);
-
-  const pathParts = paths.map((path) => path.split('/'));
-  const commonParts: string[] = [];
-  for (let index = 0; index < pathParts[0]!.length - 1; index++) {
-    const part = pathParts[0]![index]!;
-    if (!pathParts.every((parts) => parts[index] === part)) break;
-    commonParts.push(part);
-  }
-  const fileNames = pathParts.map((parts) => parts.at(-1)!);
-  const directoryPrefix = commonParts.length ? `${commonParts.join('/')}: ` : '';
-  const titlePrefix = prTitleCodePointCount(directoryPrefix) + prTitleCodePointCount(fileNames[0]!) <= 72 ? directoryPrefix : '';
-  const title = fileNames.reduce((result, fileName) => {
-    const next = result ? `${result}, ${fileName}` : fileName;
-    return prTitleCodePointCount(titlePrefix) + prTitleCodePointCount(next) <= 72 ? next : result;
-  }, '');
-  if (title) return `${titlePrefix}${title}`;
-  const firstFileName = fileNames[0]!;
-  return truncatePrTitle(firstFileName);
-}
-
-export function prTitle(feature: string, goalFile?: string): string {
-  const title = prTitleWithoutChecklistId(feature);
-  const id = goalChecklistIds(feature, goalFile)[0];
-  if (!id) return title;
-  return truncatePrTitle(title.startsWith(`${id}: `) ? title : `${id}: ${title}`);
-}
-
 const BLOCKED_DRAFT_PR_HUMAN_JUDGMENT_ANCHOR = '## 사람 판단 필요';
 
 /** 사람이 읽는 중단 사유 상한. 관측 `reason.slice(0, 240)` 과 같은 길이라 표시가 앞부분을 버리지 않는다. */
@@ -2683,12 +2579,6 @@ export class MergedReleaseNoteWriteError extends Error {
   }
 }
 
-function goalDocumentForReleaseNote(goalFile?: string): string {
-  if (!goalFile) return '';
-  try { return readFileSync(goalFile, 'utf8'); }
-  catch { return ''; }
-}
-
 function shardReleaseNote(feature: string): ReleaseNoteSection | undefined {
   const matches = [...feature.matchAll(/^## Shard identity\r?\n([^\r\n]+)/gm)];
   const identity = matches.at(-1)?.[1];
@@ -7261,7 +7151,8 @@ async function runSelfImplementInner(
       try { goalDocument = readFileSync(opts.goalFile, 'utf8'); } catch { /* unknown scope */ }
       // 🩸 10-09: 범위 타입검사 임시 tsconfig(.elanous-typecheck-scope-*.json · scoped-typecheck-config.ts)가 옛 가지에 커밋된 뒤 지워지면
       //   «추적 파일 삭제» 라 impact=critical → 결정 카드가 «irreversible» 로 대표에게 갔다(D-20·35·43·80). 하니스 임시물은 범위 판정 밖이다.
-      const scope = detectDeclaredScopeDiff({ goalDocument, changedFiles: gateRouteFiles?.filter(file => !harnessSeededPaths.includes(file) && !isHarnessTempArtifact(file)), nameCap: gateRouteFiles?.length });
+      const scope = detectDeclaredScopeDiff({ goalDocument, goalDocumentPath: opts.goalFile,
+        changedFiles: gateRouteFiles?.filter(file => !harnessSeededPaths.includes(file) && !isHarnessTempArtifact(file)), nameCap: gateRouteFiles?.length });
       // SCOPE-HELD-DELIVER — no declared target means the declaration was unreadable (e.g. paths listed with spaces), not
       // that every edit is outside it: treat it like an unknown declaration and go on to the gate.
       if (scope.status === 'known' && scope.declaredCount === 0 && (scope.outsideCount ?? 0) > 0) {

package/src/self-implement/pr-title.ts

@@ -0,0 +1,123 @@
+import { readFileSync } from 'node:fs';
+import { parseAskProseTitle } from '../self-dev/launch-preflight.js';
+import { extractVerbatimOriginalAsk } from './goal-author.js';
+
+export function goalDocumentForReleaseNote(goalFile?: string): string {
+  if (!goalFile) return '';
+  try { return readFileSync(goalFile, 'utf8'); }
+  catch { return ''; }
+}
+
+function isRepositoryRelativePath(candidate: string): boolean {
+  if (/^(?:[A-Za-z][A-Za-z0-9+.-]*:\/\/|[\\/]|[A-Za-z]:[\\/])/.test(candidate)) return false;
+  const parts = candidate.split('/');
+  return parts.length > 1
+    && parts.every((part) => part !== '.' && part !== '..' && /^[A-Za-z0-9_.-]+$/.test(part))
+    && /\.[A-Za-z0-9]+$/.test(parts.at(-1)!);
+}
+
+function extractRepositoryRelativePaths(first: string): string[] {
+  const candidates = first.split(/[\s,;()[\]{}"'`<>]+/).filter(Boolean);
+  return candidates.filter(isRepositoryRelativePath);
+}
+
+function parseAskMarkdownH1(feature: string): string | undefined {
+  // ⛔ 펜스는 «문자»만이 아니라 «길이»로 닫힌다(CommonMark): 닫는 줄은 같은 문자 · 여는 줄 이상의 길이 · 뒤에 정보 문자열 없음.
+  //   🩸 2026-09-23(#20050 착지 직후 실물): GOAL 문서가 원래 ask 를 ```` 네 개 펜스로 싸고, 그 안에 ``` 블록이 있다.
+  //   문자만 보면 안쪽 ``` 이 바깥 ```` 를 «닫아» 안팎이 뒤집히고 ```bash 안의 `# 주석` 이 다시 제목이 됐다.
+  let fence: { marker: '`' | '~'; run: number } | undefined;
+  for (const line of feature.split(/\r?\n/)) {
+    const trimmed = line.trim();
+    const marker = trimmed[0] === '`' || trimmed[0] === '~' ? trimmed[0] : undefined;
+    let run = 0;
+    if (marker) {
+      while (run < trimmed.length && trimmed[run] === marker) run += 1;
+    }
+    if (marker && run >= 3) {
+      if (!fence) {
+        fence = { marker, run };
+        continue;
+      }
+      if (fence.marker === marker && run >= fence.run && trimmed.slice(run).trim() === '') {
+        fence = undefined;
+        continue;
+      }
+    }
+    if (fence) continue;
+    if (line[0] !== '#' || line[1] === '#') continue;
+    if (line.length < 2 || !/\s/.test(line[1]!)) continue;
+    const text = line.slice(1).trim();
+    if (text) return text;
+  }
+  return undefined;
+}
+
+function prTitleCodePointCount(text: string): number {
+  return Array.from(text).length;
+}
+
+function truncatePrTitle(text: string): string {
+  const points = Array.from(text);
+  return points.length <= 72 ? text : `${points.slice(0, 69).join('')}...`;
+}
+
+export function goalChecklistIds(feature: string, goalFile?: string): string[] {
+  const document = goalFile ? goalDocumentForReleaseNote(goalFile) : feature;
+  const declaration = document.split(/\r?\n/).find((line) => line.startsWith('- 칸 id: '));
+  const declared = declaration?.slice('- 칸 id: '.length).trim();
+  if (declared && declared !== 'not declared') {
+    return [...new Set(declared.split(' · ').map((id) => id.trim()).filter(Boolean))];
+  }
+  const firstLine = feature.split(/\r?\n/, 1)[0] ?? '';
+  return [...new Set(Array.from(firstLine.matchAll(/\b[A-Z][A-Z0-9]+-[A-Z0-9]+\b/g), (match) => match[0]))];
+}
+
+function prTitleWithoutChecklistId(feature: string): string {
+  const proseTitle = parseAskProseTitle(feature);
+  if (proseTitle) return truncatePrTitle(proseTitle);
+
+  const headingTitle = parseAskMarkdownH1(feature);
+  if (headingTitle) return truncatePrTitle(headingTitle);
+
+  // ⛔ GOAL 문서는 원래 ask 를 `Original ask (verbatim, unmodified):` 아래 ```` 펜스로 싣는다 — 그 안은 «코드»가 아니라 인용된 마크다운이다.
+  //   🩸 2026-09-23: #20051 이 펜스를 길이로 닫게 고치자 그 인용 블록 안의 H1 까지 «건너뛰어»,
+  //   첫 줄이 `대상 경로:` 인 GOAL 문서 대부분이 경로 요약 제목으로 떨어졌다(실물: #20055 `src/self-implement: gate-baseline.ts, …`).
+  //   ⇒ 인용된 ask 를 꺼내 그 «안»에서 같은 규칙(제목: 줄 → 펜스 밖 H1)으로 한 번 더 찾는다.
+  //   ⚠️ 정보 문자열이 붙은 펜스(```bash 등)로 싸였으면 그 안은 «코드»다 — 인용된 마크다운으로 보지 않는다.
+  const verbatim = extractVerbatimOriginalAsk(feature);
+  const opener = verbatim?.range ? feature.slice(0, verbatim.range.start).split(/\r?\n/).filter((line, i, all) => i === all.length - 2)[0] ?? '' : '';
+  const verbatimAsk = verbatim && /^\s*(`{3,}|~{3,})\s*$/.test(opener) ? verbatim.ask : undefined;
+  if (verbatimAsk) {
+    const askTitle = parseAskProseTitle(verbatimAsk) ?? parseAskMarkdownH1(verbatimAsk);
+    if (askTitle) return truncatePrTitle(askTitle);
+  }
+
+  const first = feature.split('\n')[0]!.trim();
+  const paths = extractRepositoryRelativePaths(first);
+  if (!paths.length) return truncatePrTitle(first);
+
+  const pathParts = paths.map((path) => path.split('/'));
+  const commonParts: string[] = [];
+  for (let index = 0; index < pathParts[0]!.length - 1; index++) {
+    const part = pathParts[0]![index]!;
+    if (!pathParts.every((parts) => parts[index] === part)) break;
+    commonParts.push(part);
+  }
+  const fileNames = pathParts.map((parts) => parts.at(-1)!);
+  const directoryPrefix = commonParts.length ? `${commonParts.join('/')}: ` : '';
+  const titlePrefix = prTitleCodePointCount(directoryPrefix) + prTitleCodePointCount(fileNames[0]!) <= 72 ? directoryPrefix : '';
+  const title = fileNames.reduce((result, fileName) => {
+    const next = result ? `${result}, ${fileName}` : fileName;
+    return prTitleCodePointCount(titlePrefix) + prTitleCodePointCount(next) <= 72 ? next : result;
+  }, '');
+  if (title) return `${titlePrefix}${title}`;
+  const firstFileName = fileNames[0]!;
+  return truncatePrTitle(firstFileName);
+}
+
+export function prTitle(feature: string, goalFile?: string): string {
+  const title = prTitleWithoutChecklistId(feature);
+  const id = goalChecklistIds(feature, goalFile)[0];
+  if (!id) return title;
+  return truncatePrTitle(title.startsWith(`${id}: `) ? title : `${id}: ${title}`);
+}

package/src/self-implement/run-checkpoint.ts

@@ -0,0 +1,235 @@
+/**
+ * run-checkpoint/v1 묶음 스키마 — 런의 «체크포인트» 스냅샷을 판 번호 있는 타입으로 직렬화한다.
+ *
+ * ⛔ 이 판은 «묶음 정의 ⊕ 조립 ⊕ 디스크 기록»까지만 담는다. orchestrator 배선 · run-ledger
+ *    additive 이벤트('checkpoint'/'resumed'/'checkpoint-failed') · salvage CLI 명령은
+ *    같은 골의 형제 조각이 담당한다(의도적 경계 — 분해 판 4조각의 1번).
+ *
+ * 📐 run-ledger 패턴을 «어느 것을 왜» 따르나(원문이 'writeCheckpoi'에서 끊겨 임의로 정하지 않는다):
+ *   ① `runLedgerDir`(run-ledger.ts:205) — 상태 뿌리에서 «자기 저장소 이름»의 디렉터리를 여는 방식.
+ *      여기도 `elanousStateRoot()` 아래 `run-checkpoint/` 디렉터리로 열어, 저장 위치가 run-ledger 와
+ *      같은 축(state root)에 있게 한다. 원문이 저장 위치의 경로를 정하지 않았으므로 이 패턴을 따른다.
+ *   ② `runLedgerPath`(run-ledger.ts:209) — runId 를 «normalizeRunId 의 산출 집합»으로 검증하고
+ *      거부는 유지하되 정규화는 «하지 않는다»(경로 탈출 방어). 여기도 같은 검사를 쓰되 파일은
+ *      스냅샷이므로 JSONL 추가가 아니라 «덮어쓰기» 하나로 `<runId>.checkpoint.json` 을 쓴다.
+ *      JSONL 이 아닌 이유: 원장은 사건의 «추가», 체크포인트는 마지막 상태의 «스냅샷»이다 —
+ *      appendRunLedgerEntry 가 줄을 «쌓는» 것과 달리 resume 은 «최신 하나»만 읽으면 된다.
+ *   ③ `appendRunLedgerEntry`(run-ledger.ts:411) — 쓰기 전 ①`refuseProductionLedgerWriteInTest`
+ *      가드(테스트 중 운영 원장 쓰기 차단) ② `mkdirSync(dir, { recursive: true })` 순서를 그대로 따른다.
+ *      «run-ledger 줄 하나»가 아니라 «JSON 파일 하나»이지만 쓰기 관문·디렉터리 보증은 같아야 한다.
+ */
+import { createHash, randomUUID } from 'node:crypto';
+import { existsSync, mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { refuseProductionLedgerWriteInTest } from '../harness/ledger-write-guard.js';
+import { normalizeRunId } from '../harness/harness-space.js';
+import { elanousStateRoot } from '../autopilot/state-paths.js';
+
+/** 판 번호 — 묶음 필드 구성이 바뀌면 이 값을 올리고 읽는 쪽은 판을 검사한다. */
+export const CHECKPOINT_SCHEMA_VERSION = 1;
+
+/** 판 번호가 문자열 표면(직렬화된 JSON 안)에 남는 형태. */
+export const CHECKPOINT_SCHEMA_ID = 'run-checkpoint/v1';
+
+/** 라운드 카드 — 조립 시점에 판을 정하지 않는다(원문이 카드의 필드를 정하지 않았다). */
+export type CheckpointRoundCard = Record<string, unknown>;
+
+/** 미배달 감독 지시 한 줄 — 조립자가 주는 문면 그대로. */
+export type UndeliveredSupervisorDirective = string;
+
+/**
+ * run-checkpoint/v1 묶음 — 전 필드의 원문 명세:
+ * runId · 골 문면(goalText) · 판정 상태(verdictStatus) · salvage 가지 sha(salvageBranchSha) ·
+ * 세션 대화 기록(sessionTranscript) · 라운드 카드(roundCards) · EVIDENCE/RESULT(evidenceResult) ·
+ * 미배달 감독 지시(undeliveredSupervisorDirectives) · 자식 모델(childModel) · 쓴 토큰(tokensUsed) ·
+ * sha256(«전 필드 포함» — sha256 자기 자신만 제외한 나머지 전 필드의 정규화 직렬화에 걸친다).
+ */
+export interface RunCheckpointBundle {
+  /** 판이자 종류 표지 — 항상 `${CHECKPOINT_SCHEMA_ID}`. */
+  schema: typeof CHECKPOINT_SCHEMA_ID;
+  /** 판 번호(정수) — CHECKPOINT_SCHEMA_VERSION 과 같다. */
+  schemaVersion: typeof CHECKPOINT_SCHEMA_VERSION;
+  runId: string;
+  goalText: string;
+  verdictStatus: string;
+  /** 없으면 null — «모름»과 «없음»을 나눈다. */
+  salvageBranchSha: string | null;
+  /** null = «미확인»(조립자가 주지 않음) — 빈 문자열(«실제로 비어 있음»)과 구별한다. */
+  sessionTranscript: string | null;
+  /** null = «미확인» — 빈 배열(«카드 0장»)과 구별한다. */
+  roundCards: readonly CheckpointRoundCard[] | null;
+  /** null = «미확인» — 빈 문자열과 구별한다. */
+  evidenceResult: string | null;
+  /** null = «미확인» — 빈 배열(«미배달 지시 0건»)과 구별한다. */
+  undeliveredSupervisorDirectives: readonly UndeliveredSupervisorDirective[] | null;
+  childModel: string | null;
+  tokensUsed: number | null;
+  /** sha256 — 자기를 제외한 전 필드 정규화 직렬화에 대한 sha256 hex. */
+  sha256: string;
+  recordedAt: string;
+}
+
+/** 조립 재료 — run 사실 원형. `buildCheckpointBundle` 이 여기서 묶음을 만든다. */
+export interface RunCheckpointFacts {
+  runId: string;
+  goalText: string;
+  verdictStatus: string;
+  salvageBranchSha?: string | null;
+  sessionTranscript?: string | null;
+  roundCards?: readonly CheckpointRoundCard[] | null;
+  evidenceResult?: string | null;
+  undeliveredSupervisorDirectives?: readonly UndeliveredSupervisorDirective[] | null;
+  childModel?: string | null;
+  tokensUsed?: number | null;
+  recordedAt?: string;
+}
+
+/** 정렬된 키 직렬화 — 입력은 이미 «JSON 값»(toJSON·undefined·NaN 이 풀린 뒤)이어야 한다. */
+function sortedJson(value: unknown): string {
+  if (value === null || typeof value !== 'object') return JSON.stringify(value);
+  if (Array.isArray(value)) return `[${value.map((item) => sortedJson(item)).join(',')}]`;
+  const entries = Object.entries(value as Record<string, unknown>)
+    .sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));
+  return `{${entries.map(([k, v]) => `${JSON.stringify(k)}:${sortedJson(v)}`).join(',')}}`;
+}
+
+/**
+ * 객체 키를 «정렬된» 안정 직렬화로 — 같은 값이면 같은 문자열(sha256 재현성).
+ * ⭐ 해시와 저장이 «같은 직렬화»를 보도록 먼저 `JSON.stringify` 의미론(toJSON·Date→ISO ·
+ *    배열 속 undefined→null · 객체 속 undefined 제거 · NaN→null)으로 한 번 풀고 키만 정렬한다.
+ *    그래야 `writeCheckpoint` 가 쓴 파일을 `readCheckpoint` 가 다시 해시해도 같은 값이 나온다.
+ */
+function canonicalJson(value: unknown): string {
+  const json = JSON.stringify(value);
+  if (json === undefined) return 'null';
+  return sortedJson(JSON.parse(json));
+}
+
+/** sha256 조수 — hex 문자열. 묶음의 sha256 필드에 넣는 값과 같은 계산이다. */
+export function sha256Hex(value: unknown): string {
+  return createHash('sha256').update(canonicalJson(value), 'utf8').digest('hex');
+}
+
+/** sha256 자기 자신을 제외한 «전 필드»를 걸치는 다이제스트(원문: 'sha256 전 필드 포함'). */
+export function bundleSha256(bundle: Omit<RunCheckpointBundle, 'sha256'>): string {
+  const { sha256: _omit, ...rest } = bundle as RunCheckpointBundle;
+  return sha256Hex(rest);
+}
+
+const isStringArray = (v: unknown): boolean => Array.isArray(v) && v.every((x) => typeof x === 'string');
+const isNullableString = (v: unknown): boolean => v === null || typeof v === 'string';
+
+/**
+ * 묶음의 판(schema ⊕ schemaVersion)과 필수 필드의 존재·타입을 검증한다 — 쓰기·읽기 공통 관문.
+ * 판 번호는 «지원하는 판»과 정확히 같아야 한다(다른 판을 v1 으로 받아들이지 않는다).
+ */
+export function assertCheckpointShape(value: unknown): asserts value is RunCheckpointBundle {
+  if (value === null || typeof value !== 'object' || Array.isArray(value)) {
+    throw new Error('invalid checkpoint: not an object');
+  }
+  const b = value as Record<string, unknown>;
+  if (b.schema !== CHECKPOINT_SCHEMA_ID) {
+    throw new Error(`unknown checkpoint schema: ${String(b.schema)}`);
+  }
+  if (b.schemaVersion !== CHECKPOINT_SCHEMA_VERSION) {
+    throw new Error(`unsupported checkpoint schemaVersion: ${String(b.schemaVersion)}`);
+  }
+  const bad: string[] = [];
+  for (const key of ['runId', 'goalText', 'verdictStatus', 'sha256', 'recordedAt']) {
+    if (typeof b[key] !== 'string') bad.push(key);
+  }
+  if (!isNullableString(b.salvageBranchSha)) bad.push('salvageBranchSha');
+  // null = «미확인» 을 받아들인다(빈 값과 다른 값) — 키 자체가 없으면(undefined) 거부한다.
+  if (!isNullableString(b.sessionTranscript)) bad.push('sessionTranscript');
+  if (!isNullableString(b.evidenceResult)) bad.push('evidenceResult');
+  if (!isNullableString(b.childModel)) bad.push('childModel');
+  if (!(b.tokensUsed === null || (typeof b.tokensUsed === 'number' && Number.isFinite(b.tokensUsed)))) {
+    bad.push('tokensUsed');
+  }
+  if (b.roundCards !== null && (!Array.isArray(b.roundCards) || !b.roundCards.every((c) => c !== null && typeof c === 'object' && !Array.isArray(c)))) {
+    bad.push('roundCards');
+  }
+  if (b.undeliveredSupervisorDirectives !== null && !isStringArray(b.undeliveredSupervisorDirectives)) bad.push('undeliveredSupervisorDirectives');
+  if (bad.length > 0) throw new Error(`invalid checkpoint fields: ${bad.join(', ')}`);
+}
+
+/** run 사실에서 run-checkpoint/v1 묶음을 조립한다 — sha256 도 이 안에서 계산해 넣는다. */
+export function buildCheckpointBundle(facts: RunCheckpointFacts): RunCheckpointBundle {
+  const runId = facts.runId;
+  // runLedgerPath 패턴: 정규화는 하지 않고, normalizeRunId 의 «산출 집합»만 받아들인다.
+  if (!runId || runId !== normalizeRunId(runId)) throw new Error(`invalid runId: ${runId}`);
+  const partial: Omit<RunCheckpointBundle, 'sha256'> = {
+    schema: CHECKPOINT_SCHEMA_ID,
+    schemaVersion: CHECKPOINT_SCHEMA_VERSION,
+    runId,
+    goalText: facts.goalText,
+    verdictStatus: facts.verdictStatus,
+    salvageBranchSha: facts.salvageBranchSha ?? null,
+    // 생략 = «미확인»(null) — 빈 값으로 채워 «실제로 비어 있음»으로 위장하지 않는다.
+    sessionTranscript: facts.sessionTranscript ?? null,
+    roundCards: facts.roundCards ?? null,
+    evidenceResult: facts.evidenceResult ?? null,
+    undeliveredSupervisorDirectives: facts.undeliveredSupervisorDirectives ?? null,
+    childModel: facts.childModel ?? null,
+    tokensUsed: facts.tokensUsed ?? null,
+    recordedAt: facts.recordedAt ?? new Date().toISOString(),
+  };
+  // 저장될 꼴(JSON 값)로 한 번 풀어, 메모리 묶음 = 파일에서 읽은 묶음이 되게 한다(Date→ISO 등).
+  const stored = JSON.parse(JSON.stringify(partial)) as Omit<RunCheckpointBundle, 'sha256'>;
+  return { ...stored, sha256: bundleSha256(stored) };
+}
+
+/** runLedgerDir 패턴 — state root 아래 «자기 저장소 이름» 디렉터리. */
+export function checkpointDir(stateDir?: string): string {
+  return join(stateDir ?? elanousStateRoot(), 'run-checkpoint');
+}
+
+/** runLedgerPath 패턴 — runId 검증(정규화 아님) 후 경로 결정. */
+export function checkpointPath(runId: string, dir = checkpointDir()): string {
+  if (runId !== normalizeRunId(runId) || !runId) throw new Error(`invalid runId: ${runId}`);
+  return join(dir, `${runId}.checkpoint.json`);
+}
+
+/**
+ * 묶음을 디스크에 기록한다(appendRunLedgerEntry 의 쓰기 관문·디렉터리 보증을 따른다).
+ * 반환값은 기록한 파일 경로 — 형제 조각의 원장 이벤트 'checkpoint' {bundleRef} 가 여기 담긴다.
+ *
+ * ⛔ 스냅샷은 «최신 하나»라 덮어쓰기가 곧 이전 상태의 소실이다. 그래서
+ *    ① 쓰기 «전»에 판·sha256 을 검증해 무효 묶음이면 던지고 기존 파일을 건드리지 않는다.
+ *    ② 임시 파일에 쓴 뒤 rename 으로 원자 교체한다(쓰다 죽어도 반쪽 파일이 남지 않는다).
+ */
+export function writeCheckpoint(bundle: RunCheckpointBundle, dir = checkpointDir()): string {
+  assertCheckpointShape(bundle);
+  const path = checkpointPath(bundle.runId, dir);
+  const body = `${JSON.stringify(bundle, null, 2)}\n`;
+  // 저장될 꼴 그대로를 다시 해시한다 — 읽기 쪽 검증과 같은 입력이다.
+  const expected = bundleSha256(JSON.parse(body) as RunCheckpointBundle);
+  if (bundle.sha256 !== expected) {
+    throw new Error(`checkpoint sha256 mismatch: ${bundle.sha256} != ${expected}`);
+  }
+  if (refuseProductionLedgerWriteInTest(dir, 'run-checkpoint')) return '';
+  if (!existsSync(dir)) mkdirSync(dir, { recursive: true });
+  const tmp = `${path}.${process.pid}.${randomUUID()}.tmp`;
+  try {
+    writeFileSync(tmp, body, 'utf8');
+    renameSync(tmp, path);
+  } catch (error) {
+    rmSync(tmp, { force: true });
+    throw error;
+  }
+  return path;
+}
+
+/** 기록된 묶음을 읽어 sha256 이 전 필드에 대해 아직 성립하는지 검증과 함께 돌려준다. */
+export function readCheckpoint(runId: string, dir = checkpointDir()): RunCheckpointBundle {
+  const raw: unknown = JSON.parse(readFileSync(checkpointPath(runId, dir), 'utf8'));
+  assertCheckpointShape(raw);
+  if (raw.runId !== runId) {
+    throw new Error(`checkpoint runId mismatch: requested ${runId}, file has ${raw.runId}`);
+  }
+  const expected = bundleSha256(raw);
+  if (raw.sha256 !== expected) {
+    throw new Error(`checkpoint sha256 mismatch: ${raw.sha256} != ${expected}`);
+  }
+  return raw;
+}