elanous 0.2.29 → 0.2.32

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

@@ -1,6 +1,6 @@
 import { spawnSync } from 'node:child_process';
 import { randomUUID } from 'node:crypto';
-import { existsSync, lstatSync, mkdirSync, mkdtempSync, readFileSync, readdirSync, realpathSync, rmSync, symlinkSync, writeFileSync } from 'node:fs';
+import { existsSync, lstatSync, mkdirSync, mkdtempSync, readFileSync, readdirSync, realpathSync, rmSync, rmdirSync, symlinkSync, unlinkSync, writeFileSync } from 'node:fs';
 import { tmpdir } from 'node:os';
 import { dirname, join, resolve } from 'node:path';
 import { debug } from '../debug/log.js';
@@ -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';
 
@@ -25,9 +26,41 @@ export function needsPwaBuild(files: readonly string[], repoRoot: string, graph:
  * land worktree (TA-LAND-WORKTREE).
  */
 export function provideCheckoutDependencies(candidate: string, sourceRoot: string, dir: string, marker: string, install: (cwd: string) => void): void {
-  if (existsSync(join(candidate, dir, 'node_modules'))) return;
-  if (existsSync(join(sourceRoot, dir, 'node_modules', marker, 'package.json'))) {
-    symlinkSync(join(sourceRoot, dir, 'node_modules'), join(candidate, dir, 'node_modules'), 'dir');
+  const candidateModules = join(candidate, dir, 'node_modules');
+  const candidateMarker = join(candidateModules, marker, 'package.json');
+  const sourceModules = join(sourceRoot, dir, 'node_modules');
+  if (existsSync(candidateMarker)) return;
+  if (existsSync(join(sourceModules, marker, 'package.json'))) {
+    let stat: ReturnType<typeof lstatSync> | undefined;
+    try { stat = lstatSync(candidateModules); }
+    catch (error) { if ((error as NodeJS.ErrnoException).code !== 'ENOENT') throw error; }
+    if (stat) {
+      if (stat.isSymbolicLink()) {
+        // A dangling or stale link can block symlinkSync with EEXIST; unlink only the link itself.
+        try { unlinkSync(candidateModules); }
+        catch (error) { if ((error as NodeJS.ErrnoException).code !== 'ENOENT') throw error; }
+      } else if (stat.isDirectory() && readdirSync(candidateModules).length === 0) {
+        try { rmdirSync(candidateModules); }
+        catch (error) {
+          if ((error as NodeJS.ErrnoException).code === 'ENOTEMPTY') {
+            install(join(candidate, dir));
+            return;
+          }
+          if ((error as NodeJS.ErrnoException).code !== 'ENOENT') throw error;
+        }
+      }
+      else {
+        install(join(candidate, dir));
+        return;
+      }
+    }
+    try {
+      symlinkSync(sourceModules, candidateModules, 'dir');
+    } catch (error) {
+      // Concurrent host regates may provision the same checked-out worktree. The first link wins;
+      // accept EEXIST only after confirming its package marker is now visible.
+      if ((error as NodeJS.ErrnoException).code !== 'EEXIST' || !existsSync(candidateMarker)) throw error;
+    }
   } else install(join(candidate, dir));
 }
 
@@ -55,6 +88,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 +346,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 +383,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 +489,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 +517,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,24 @@ 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';
+
+/** TA's card slot is carried by the Pod, independent of goal-author prose. */
+export function prChecklistLine(feature: string, goalFile?: string, slotId = process.env.ELANOUS_POD_SLOT_ID): string {
+  const slot = slotId?.trim();
+  if (slot && /^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$/.test(slot)) return `칸: ${slot}`;
+  const goalIds = goalChecklistIds(feature, goalFile);
+  return `칸: 미상\n골 ID: ${goalIds.join(' · ') || '없음'}`;
+}
+/** Preserve authored card lines as quoted prose; only the first line is machine readable. */
+function onePrChecklistLine(body: string): string {
+  let first = true;
+  return body.replace(/^칸:[^\n]*$/gm, (line) => {
+    if (first) { first = false; return line; }
+    return `> ${line}`;
+  });
+}
 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 +879,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 +903,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 +939,7 @@ function observeDeclaredScopeDiff(
   }
   const diff = detectDeclaredScopeDiff({
     goalDocument,
+    goalDocumentPath: input.goalFile,
     changedFiles: input.changedFiles,
     nameCap: input.nameCap,
   });
@@ -2295,7 +2321,7 @@ export interface SelfImplementResult {
   /** Additive hard-cap disposition; outcome remains the stable public terminal contract. */
   salvage?: 'launched' | 'parked';
   /** Rework stopped on exclusively baseline/flaky/precondition failures; do not retry this goal against the same base. */
-  terminationReason?: 'blocked-by-baseline';
+  terminationReason?: 'blocked-by-baseline' | 'goal-only-rework-exhausted';
   sessionId?: string;
   worktreePath?: string;
   branch?: string;
@@ -2357,120 +2383,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 +2595,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];
@@ -2725,13 +2631,13 @@ export function gateNotRunSection(gateLog?: string): string[] {
   return lines.length ? ['', '## Gate · 안 돈 소비자 시험(상한 초과)', ...lines.map((line) => `- ${line.replace(/^⚠️ caller test cap exceeded — not run: /, '')}`)] : [];
 }
 
-function prBody(feature: string, implSummary: string, gateLog?: string, review?: SelfImplementReview, reviewIntent?: string, autoReviewDeclineReasons?: readonly string[], evidence?: string, goalFile?: string, planRevision?: ReworkPlanRevision, releaseNote?: ReturnType<typeof harnessReleaseNote>, revertGuard?: RevertGuardResult): string {
+export function prBody(feature: string, implSummary: string, gateLog?: string, review?: SelfImplementReview, reviewIntent?: string, autoReviewDeclineReasons?: readonly string[], evidence?: string, goalFile?: string, planRevision?: ReworkPlanRevision, releaseNote?: ReturnType<typeof harnessReleaseNote>, revertGuard?: RevertGuardResult): string {
   const note = releaseNote ?? releaseNoteForRun(goalFile, feature);
   const relaxation = planRevision?.relaxation
     ? ['', '## 감독 수용 기준 완화', `- 대상: ${planRevision.relaxation.target}`, `- 이전: ${planRevision.relaxation.expected}`, `- 완화: ${planRevision.relaxation.replacement}`, `- 이유: ${planRevision.reason}`, `- 적용: ${planRevision.application?.status ?? 'failed'}${planRevision.application?.detail ? ` (${planRevision.application.detail})` : ''}`, ...(planRevision.disposition ? [`- 충돌 처분: ${planRevision.disposition}`] : [])]
     : [];
-  return [
-    `칸: ${goalChecklistIds(feature, goalFile).join(' · ') || '없음'}`,
+  return onePrChecklistLine([
+    prChecklistLine(feature, goalFile),
     '## 요청',
     ...(goalFile ? [`- 골 파일: ${formatGoalFileForPrBody(goalFile)}`] : []),
     feature.trim(),
@@ -2760,7 +2666,7 @@ function prBody(feature: string, implSummary: string, gateLog?: string, review?:
     ...relaxation,
     '',
     '🤖 self-implement 오케스트레이터 (elanous 자율 구현·리뷰-게이트 병합)',
-  ].join('\n');
+  ].join('\n'));
 }
 
 /**
@@ -2948,8 +2854,8 @@ export function formatBlockedDraftClassificationSection(
 }
 
 function blockedDraftPrBody(feature: string, implSummary: string, state: BlockedDraftPrState, goalFile?: string): string {
-  return [
-    `칸: ${goalChecklistIds(feature, goalFile).join(' · ') || '없음'}`,
+  return onePrChecklistLine([
+    prChecklistLine(feature, goalFile),
     BLOCKED_DRAFT_PR_HUMAN_JUDGMENT_ANCHOR,
     state.salvageStatusExpected
       ? BLOCKED_DRAFT_PR_SALVAGE_STATUS_INSTRUCTION
@@ -2996,8 +2902,10 @@ function blockedDraftPrBody(feature: string, implSummary: string, state: Blocked
       : [`- passed: ${state.typecheck.passed}`, ...(state.typecheck.log ? ['```', state.typecheck.log.trim().slice(0, 3000), '```'] : [])]),
     ...(state.review?.mustFix.length ? ['', '## 마지막 리뷰 must-fix', ...state.review.mustFix.map((item) => `- ${item}`)] : []),
     '',
-    prBody(feature, implSummary, undefined, state.review, undefined, undefined, undefined, goalFile, state.planRevision),
-  ].join('\n');
+    // The blocked body already carries the card line above; keep exactly one machine-readable line.
+    prBody(feature, implSummary, undefined, state.review, undefined, undefined, undefined, goalFile, state.planRevision)
+      .replace(/^칸: [^\n]*\n/, ''),
+  ].join('\n'));
 }
 
 type PreparedPrBody = {
@@ -5693,6 +5601,9 @@ async function runSelfImplementInner(
     };
   }
   let round = 0;
+  // A goal-only retry spends its one allowance for this run even if a later
+  // gate/review round removes the target diff and reaches the same disposition.
+  let goalOnlyReworkUsed = false;
   // PR이 열리기 전에 프로세스가 죽으면 PR 자체가 없으므로 잃을 대화도 없다. 따라서 파일로 영속화하지 않는다.
   const prCommentBuffer: string[] = [];
   // GitHub PR comment bodies are bounded; retain the RFC header and disclose omitted source rather than losing the whole record.
@@ -7058,6 +6969,75 @@ async function runSelfImplementInner(
     // ⭐ 성공 경로에서도 닫는다 — 이 호출은 끝났고, 이후 자식이 늦게 보내는 입력은
     //   「이 라운드의 재투입」이 아니다(다음 라운드는 자기 콜백을 새로 만든다).
     closeSupervisorInput();
+    // A child that actually worked and declared completion may still leave only the
+    // harness-seeded goal document. Give it one actionable implementation retry before
+    // the blocked-artifact path reaches the goal-only PR guard.
+    let goalOnlyReworkExhausted = false;
+    if (!impl.ok && impl.completionDisposition === 'completed-without-changes'
+      && impl.terminalStatus?.reached === true && impl.terminalStatus.timedOut === false
+      && !goalOnlyReworkUsed && round < effectiveMax && !hasCurrentProviderError() && !hasCurrentCredentialFailure()
+      && opts.goalFile) {
+      let targets: readonly string[] | undefined;
+      let goalDocument: string | undefined;
+      try {
+        goalDocument = readFileSync(opts.goalFile, 'utf8');
+        const declared = declaredPathsFromGoalDocumentText(goalDocument);
+        if (declared.readable && declared.paths.length > 0) targets = declared.paths;
+      } catch { /* unreadable scope is not grounds for an automatic retry */ }
+      let before: readonly string[] | undefined;
+      try { before = (s.changedFilesForGateRoute ?? changedFiles)(wt.path); } catch { /* unknown diff */ }
+      if (targets && goalDocument && before !== undefined) {
+        const eligible = (files: readonly string[]): string[] => files.filter(path =>
+          !harnessSeededPaths.includes(path) && !isHarnessTempArtifact(path)
+          && targets!.some(target => changedFileIsInsideDeclaredTarget(path, target)));
+        if (eligible(before).length === 0) {
+          goalOnlyReworkUsed = true;
+          const firstToolCalls = impl.toolCalls ?? null;
+          const retryRound = round + 1;
+          const retryNote = [
+            '[구현 재작업 · completed-without-changes]',
+            `대상 경로: ${targets.join(' · ')}`,
+            '원래 골의 완료 경계를 위 대상 경로에 구현하라. 해당 파일에 실제 변경을 남기고 바꾼 경로와 검증 결과를 RESULT: 한 줄에 적어라.',
+            '직전 자식은 완료를 선언했지만 대상 변경이 0개였다. 원래 골의 요구와 완료 경계를 다시 읽고 그 구현에 집중하라.',
+            '원래 골 문서(완료 경계 포함):',
+            goalDocument,
+          ].join('\n');
+          observe('implementation-goal-only-rework', { status: 'started', round: retryRound, targets, firstToolCalls, targetDiffCount: 0 });
+          progress('implementing', `대상 변경 0 — 구현 재작업 ${retryRound} 시작`);
+          onNodeEntry(node('rework'), retryRound);
+          onNodeEntry(node('implement'), retryRound);
+          const retryAbort = new AbortController();
+          const first = impl;
+          try {
+            impl = await stepTimeout(s.implement({
+              sessionId, cwd: wt.path, feature: `${feature}\n\n${retryNote}`, runId, shardIdentity,
+              signal: retryAbort.signal,
+              ...(harnessSeededPaths.length ? { harnessSeededPaths } : {}),
+              onSurfaceProgress: line => progress('implementing', line.trimEnd()),
+              roundContext: { round: retryRound, effectiveMax, previousRoundFailure: retryNote },
+              ...(opts.childLlm ? { childLlm: opts.childLlm } : {}),
+              ...(opts.documentReferences ? { documentReferences: opts.documentReferences } : {}),
+            }), T.implement, 'implement');
+          } catch (error) {
+            retryAbort.abort();
+            impl = { ok: false, summary: `goal-only-rework-exhausted: ${safeErrorDescription(error)}`, completionDisposition: first.completionDisposition };
+          }
+          let after: readonly string[] | undefined;
+          try { after = (s.changedFilesForGateRoute ?? changedFiles)(wt.path); } catch { /* unknown diff */ }
+          const targetDiff = after === undefined ? undefined : eligible(after);
+          const resultLine = /(?:^|\n)\s*RESULT:\s*\S/m.test(impl.evidenceTranscript ?? impl.summary);
+          const succeeded = impl.ok && !!targetDiff?.length && resultLine;
+          goalOnlyReworkExhausted = !succeeded;
+          observe('implementation-goal-only-rework', {
+            status: succeeded ? 'succeeded' : 'exhausted', round: retryRound, targets,
+            firstToolCalls, retryToolCalls: impl.toolCalls ?? null,
+            targetDiffCount: targetDiff?.length ?? null, diffMeasured: after !== undefined, resultLine,
+          }, succeeded ? {} : { level: 'warn' });
+          if (!succeeded) impl = { ...impl, ok: false, summary: `goal-only-rework-exhausted: ${impl.summary}` };
+          round = retryRound;
+        }
+      }
+    }
     // A finished child can leave edits without a commit. Measure them before any
     // diff/no-changes classification, and commit only paths declared in the goal.
     finishedChildCommitMissing = false;
@@ -7231,7 +7211,7 @@ async function runSelfImplementInner(
         toolCalls: impl.toolCalls ?? null,
       });
       progress('aborted', progressLine);
-      const pr = await preserveBlockedArtifacts({
+      const pr = goalOnlyReworkExhausted ? undefined : await preserveBlockedArtifacts({
         stage: 'aborted',
         reason: abort.reason,
         childSummary: abort.childSummary,
@@ -7242,7 +7222,7 @@ async function runSelfImplementInner(
         salvageStatusExpected: false,
         ...(abort.terminalStatus ? { terminalStatus: abort.terminalStatus } : {}),
       });
-      return { ok: false, stage: 'aborted', node: 'implement', ...resolveRunOutcome({ termination: 'abandoned' }), sessionId, worktreePath: wt.path, branch: wt.branch, quotaExhaustionAssessment: quotaExhaustionAssessmentForRun(), ...(impl.completionDisposition ? { completionDisposition: impl.completionDisposition } : {}), ...(pr ? { prUrl: pr.url, prNumber: pr.number } : {}), detail: impl.summary };
+      return { ok: false, stage: 'aborted', node: 'implement', ...resolveRunOutcome({ termination: 'abandoned' }), ...(goalOnlyReworkExhausted ? { terminationReason: 'goal-only-rework-exhausted' as const } : {}), sessionId, worktreePath: wt.path, branch: wt.branch, quotaExhaustionAssessment: quotaExhaustionAssessmentForRun(), ...(impl.completionDisposition ? { completionDisposition: impl.completionDisposition } : {}), ...(pr ? { prUrl: pr.url, prNumber: pr.number } : {}), detail: impl.summary };
     }
 
     if (finishedChildCommitMissing) {
@@ -7261,7 +7241,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}`);
+}