elanous 0.2.28 → 0.2.31

package/src/self-implement/graph-overlay-condition.ts

@@ -1,4 +1,10 @@
 import type { RunStopClass } from './run-stop.js';
+import type { RunContract } from './graph-run-contract.js';
+import type { GateRoutingReason } from './graph-authority.js';
+import { landingFreezeState, type LandingFreeze } from '../release-loop/landing-freeze.js';
+import type { ActiveProviderInfo } from '../provider-summary.js';
+import type { ResourceView } from '../control-plane/ledger.js';
+import type { UserConfig } from '../user-config.js';
 
 /** ⭐ RFC §5 «4단계» — `applies_when` 을 «코드»가 판정한다.
  *
@@ -33,9 +39,29 @@ export function parseOverlayCondition(source: string): OverlayConditionParse {
   return { ok: true, condition: { key: key!, operator: operator as OverlayConditionOperator, literal } };
 }
 
+/** L1 values are producer observations; an unobserved field is absent, never a default. */
+export interface GraphRunState {
+  readonly attempts: number;
+  readonly goal_id?: string;
+  readonly stop_class?: RunStopClass;
+  readonly review_repeat?: number;
+  readonly sibling_overlap?: boolean;
+  readonly main_sync_conflict?: boolean;
+  readonly author_grade?: string;
+  readonly substrate?: 'local' | 'pod';
+  readonly freeze?: 'on' | 'off';
+  readonly docs_only?: boolean;
+  readonly provider?: string;
+  readonly quota?: 'ok' | 'low' | 'exhausted';
+  readonly machines?: number;
+  readonly seats?: 'on' | 'steward-only';
+}
+
 /** Inputs known at a runtime overlay decision. Every field except `attempts` may be unknown. */
 export interface RuntimeOverlayStateInput {
   readonly attempts: number;
+  /** Producer results captured for this decision; omitted in callers not yet wired to L1. */
+  readonly producers?: L1OverlayProducerReadings;
   readonly goalId?: string;
   readonly stopClass?: RunStopClass;
   readonly reviewRepeat?: number;
@@ -44,10 +70,68 @@ export interface RuntimeOverlayStateInput {
   readonly mainSyncConflict?: unknown;
   /** Only a non-empty string is a measurement. */
   readonly authorGrade?: unknown;
+  /** Pass resolved producer values, not configuration wishes or fallback guesses. */
+  readonly substrate?: unknown;
+  /** Derived from readLandingFreeze's validated, expiry-aware result. */
+  readonly freeze?: unknown;
+  readonly docsOnly?: unknown;
+  readonly provider?: unknown;
+  readonly quota?: unknown;
+  readonly machines?: unknown;
+  readonly seats?: unknown;
+}
+
+/** Producer outputs supplied at the decision boundary; omission means the producer was not read. */
+export interface L1OverlayProducerReadings {
+  readonly runContract?: Pick<RunContract, 'substrate'>;
+  readonly landingFreeze?: LandingFreeze | null;
+  /** routeGate's documents-only verdict is the known docs-only observation. */
+  readonly gateRoute?: { readonly reason: GateRoutingReason };
+  readonly activeProvider?: Pick<ActiveProviderInfo, 'provider'>;
+  /** Snapshot returned by assessQuotaExhaustion/readQuotaExhausted; only measured usage implies ok/low. */
+  readonly quotaAssessment?: { readonly exhausted: boolean | undefined; readonly accountAvailability: {
+    readonly currentUsedPercent?: number;
+    readonly thresholdPercent?: number;
+  } | undefined };
+  /** Result of listMachineResources (Nexus live membership), not fleet intent. */
+  readonly machineResources?: readonly Pick<ResourceView, 'machine' | 'expired'>[];
+  /** Resolved loop modes; do not pass an unreadable config as a default measurement. */
+  readonly seatConfig?: NonNullable<UserConfig['loops']>['seat'];
+  readonly stewardConfig?: NonNullable<UserConfig['loops']>['steward'];
+}
+
+/** Derive only observations from named producers. A missing producer never becomes false or zero. */
+export function l1OverlayStateInput(readings: L1OverlayProducerReadings): Omit<RuntimeOverlayStateInput, 'attempts'> {
+  const quota = readings.quotaAssessment;
+  const currentUsed = quota?.accountAvailability?.currentUsedPercent;
+  const threshold = quota?.accountAvailability?.thresholdPercent;
+  const seat = readings.seatConfig;
+  return {
+    ...(readings.runContract ? { substrate: readings.runContract.substrate } : {}),
+    ...(readings.landingFreeze !== undefined ? { freeze: landingFreezeState(readings.landingFreeze) } : {}),
+    ...(readings.gateRoute ? { docsOnly: readings.gateRoute.reason === 'documents-only' } : {}),
+    ...(readings.activeProvider ? { provider: readings.activeProvider.provider } : {}),
+    ...(quota?.exhausted === true ? { quota: 'exhausted' } :
+      quota?.exhausted === false && currentUsed !== undefined && threshold !== undefined
+        ? { quota: currentUsed >= threshold ? 'low' : 'ok' } : {}),
+    ...(readings.machineResources ? { machines: new Set(readings.machineResources.filter((row) => !row.expired).map((row) => row.machine)).size } : {}),
+    ...(seat && readings.stewardConfig?.mode === 'live'
+      ? { seats: seat.mode === 'on' || seat.mode === 'live-safe' ? 'on' : 'steward-only' }
+      : {}),
+  };
 }
 
 /** ⛔ 아는 값만 싣는다 — 모르면 키를 «뺀다». 0·false·빈 문자열을 지어내지 않는다. */
-export function buildRuntimeOverlayState(input: RuntimeOverlayStateInput): Record<string, unknown> {
+export function buildRuntimeOverlayState(input: RuntimeOverlayStateInput): GraphRunState & Record<string, unknown> {
+  const produced: Omit<RuntimeOverlayStateInput, 'attempts'> = input.producers === undefined ? {} : l1OverlayStateInput(input.producers);
+  // Once producers are supplied, even an omitted reading is unknown; direct legacy inputs cannot override it.
+  const substrate = input.producers === undefined ? input.substrate : produced.substrate;
+  const freeze = input.producers === undefined ? input.freeze : produced.freeze;
+  const docsOnly = input.producers === undefined ? input.docsOnly : produced.docsOnly;
+  const provider = input.producers === undefined ? input.provider : produced.provider;
+  const quota = input.producers === undefined ? input.quota : produced.quota;
+  const machines = input.producers === undefined ? input.machines : produced.machines;
+  const seats = input.producers === undefined ? input.seats : produced.seats;
   return {
     attempts: input.attempts,
     ...(input.goalId === undefined ? {} : { goal_id: input.goalId }),
@@ -56,6 +140,13 @@ export function buildRuntimeOverlayState(input: RuntimeOverlayStateInput): Recor
     ...(typeof input.siblingOverlap === 'boolean' ? { sibling_overlap: input.siblingOverlap } : {}),
     ...(typeof input.mainSyncConflict === 'boolean' ? { main_sync_conflict: input.mainSyncConflict } : {}),
     ...(typeof input.authorGrade === 'string' && input.authorGrade.length > 0 ? { author_grade: input.authorGrade } : {}),
+    ...(substrate === 'local' || substrate === 'pod' ? { substrate } : {}),
+    ...(freeze === 'on' || freeze === 'off' ? { freeze } : {}),
+    ...(typeof docsOnly === 'boolean' ? { docs_only: docsOnly } : {}),
+    ...(typeof provider === 'string' && provider.trim().length > 0 ? { provider } : {}),
+    ...(quota === 'ok' || quota === 'low' || quota === 'exhausted' ? { quota } : {}),
+    ...(typeof machines === 'number' && Number.isSafeInteger(machines) && machines >= 0 ? { machines } : {}),
+    ...(seats === 'on' || seats === 'steward-only' ? { seats } : {}),
   };
 }
 

package/src/self-implement/ground-goal.ts

@@ -45,7 +45,8 @@ export async function groundGoalInCodebase(goalText: string, deps: GroundGoalDep
     );
     const persistentElapsedMs = performance.now() - persistentStartedAt;
     if (!persistent?.files.length) {
-      safeObserve('empty', { cwd: deps.cwd, reason: persistent ? 'no-candidates' : 'failed-or-no-candidates', candidates: 0 });
+      safeObserve('empty', { cwd: deps.cwd, reason: persistent ? 'no-candidates' : 'failed-or-no-candidates',
+        persistentStopReason: persistent?.stopReason ?? null, candidates: 0 });
       return '';
     }
     const renderingStartedAt = performance.now();

package/src/self-implement/heal-triage.ts

@@ -1,5 +1,8 @@
 /** 결정론 트리아지 — 실패 서명과 이미 거친 역할만으로 다음 갈래를 고른다. */
 
+import { defaultOverlaysDir, loadGraphOverlays, selectOverlays, type GraphOverlaySpec } from './graph-overlay-yaml.js';
+import { GRAPH_SPECS } from './graph-templates.js';
+
 export type HealTriageOutcome =
   | 'environment-claimed'
   | 'untestable'
@@ -271,3 +274,79 @@ export function triageFailure(signature: HealFailureSignature, history?: HealTri
     evidence: ['observe-deeper 와 ground-external 을 둘 다 거쳤다', '더 올릴 해상도가 없다'],
   };
 }
+
+/** ═══ 슈퍼바이저 고르기(0.2.32 칸 GRAPH-SUPERVISOR-PICK) — «선언된» 오버레이 중에서 고른다 ═══
+ *
+ * 능력표 ③b: 고르기만 한다. ⛔ 새 그래프 노드를 «짓지 않는다» — 후보를 읽고 선언된 조건을
+ * 판정해 overlayId 하나를 고를 뿐, 템플릿을 만들거나 노드를 더하지 않는다.
+ *
+ * 후보의 실체: `graphs/overlays/`(loadGraphOverlays) 선언 중 `stage: heal` 인 것만.
+ * 조건의 값은 코드가 낸다 — 선언의 appliesWhen 을 selectOverlays(선언 조건 판정 기계)로 판정한다.
+ * 결정론: 같은 입력·같은 선언이면 언제나 같은 답 — 조건이 맞는 후보 중 «선언 순서가 가장 앞»인 것.
+ */
+
+/** 선언된 heal 오버레이 후보를 읽는 자리 — 시험이 갈아 끼운다. */
+export type DeclaredHealOverlayLoader = () => readonly GraphOverlaySpec[];
+
+export type SupervisorOverlayPickOutcome =
+  | 'picked'
+  | 'no-declared-candidate'
+  | 'no-applicable-candidate';
+
+export interface SupervisorOverlayPickInput {
+  /** 선언 조건(appliesWhen) 판정에 쓸 상태 — 예: `{ stop_class: 'pod-died' }`. */
+  readonly state: Readonly<Record<string, unknown>>;
+  /** 후보를 좁힐 그래프 id — 기본은 활성 self-implement 그래프. */
+  readonly graphId?: string;
+}
+
+/** 고르기 결과 — outcome+evidence 계약(triageFailure·classifyReworkCapExhaustion 과 같은 양식). */
+export interface SupervisorOverlayPick {
+  readonly outcome: SupervisorOverlayPickOutcome;
+  /** outcome='picked' 일 때 고른 선언 오버레이. */
+  readonly overlayId?: string;
+  readonly evidence: readonly string[];
+}
+
+/** `graphs/overlays/` 선언에서 `stage: heal` 인 것만 읽는다 — 고르기 후보의 실체. */
+export function loadDeclaredHealOverlays(): readonly GraphOverlaySpec[] {
+  return loadGraphOverlays(defaultOverlaysDir()).overlays.filter((spec) => spec.stage === 'heal');
+}
+
+/**
+ * 선언된 heal 오버레이 후보 중 하나를 고른다. 조건이 맞는 후보가 여럿이면 선언 순서가
+ * 가장 앞인 것을 고른다(결정론). 던지지 않는다 — 못 고르는 이유는 evidence 가 말한다.
+ */
+export function pickSupervisorHealOverlay(
+  input: SupervisorOverlayPickInput,
+  load: DeclaredHealOverlayLoader = loadDeclaredHealOverlays,
+): SupervisorOverlayPick {
+  let declared: readonly GraphOverlaySpec[];
+  try {
+    declared = load();
+  } catch (error) {
+    const why = error instanceof Error ? error.message : String(error);
+    return { outcome: 'no-declared-candidate', evidence: [`선언을 읽지 못했다: ${why}`] };
+  }
+  const healOnly = declared.filter((spec) => spec.stage === 'heal');
+  if (healOnly.length === 0) {
+    return { outcome: 'no-declared-candidate', evidence: ['선언된 heal 오버레이 후보가 없다'] };
+  }
+  const graphId = input.graphId ?? GRAPH_SPECS['self-implement']?.graphId;
+  if (!graphId) {
+    return { outcome: 'no-declared-candidate', evidence: ['활성 self-implement 그래프 선언이 없다'] };
+  }
+  let applied: readonly GraphOverlaySpec[];
+  try {
+    applied = selectOverlays(healOnly, { graphId, stage: 'heal', state: { ...input.state } }).applied;
+  } catch (error) {
+    const why = error instanceof Error ? error.message : String(error);
+    return { outcome: 'no-applicable-candidate', evidence: [`선언 조건 판정이 실패했다: ${why}`] };
+  }
+  const applicable = new Set(applied.map((spec) => spec.overlayId));
+  const first = healOnly.find((spec) => applicable.has(spec.overlayId));
+  if (!first) {
+    return { outcome: 'no-applicable-candidate', evidence: [`선언된 heal 후보 ${healOnly.length}개 중 조건이 맞는 것이 없다`] };
+  }
+  return { outcome: 'picked', overlayId: first.overlayId, evidence: [`선언된 heal 후보 ${healOnly.length}개 중 조건이 맞는 첫 선언: ${first.overlayId}`] };
+}

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 };
@@ -425,6 +483,20 @@ export async function runHostRegate(input: HostRegateInput, deps: HostRegateDeps
         (bin, args, dir) => command(bin, args, dir));
       if (!exposure.passed) return result('failed', 'expose', exposure.log);
     }
+    // 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 || typecheckTouchesPwa) && !existsSync(join(worktree, 'apps/pwa/node_modules'))) {
+      let failure: string | null = null;
+      try {
+        if (existsSync(join(worktree, 'apps/pwa'))) {
+          provideCheckoutDependencies(worktree, input.repoRoot, 'apps/pwa', 'next', (cwd) => { run('bun', ['install', '--frozen-lockfile'], cwd); });
+        } else failure = 'apps/pwa absent before typecheck';
+      } catch (e) { failure = String(e); }
+      const ready = existsSync(join(worktree, 'apps/pwa/node_modules'));
+      if (!ready && !failure) failure = 'apps/pwa/node_modules absent after provision before typecheck';
+      try { debug.log('harness.host-regate', 'pwa-dependencies-before-typecheck', { pr: input.prNumber, restored: ready, failure }); } catch { /* observation must not block regate */ }
+      if (!ready) return result('unmeasured', 'dependencies', failure!);
+    }
     // verifyOnly: 통합 후보는 «지금 main 끝»(baseCommit)에 얹은 것이다 — 옛 merge-base 로 비교하면 그사이 main 착지분
     //   수백 파일이 «이 PR 의 변경»으로 잡혀 저장소 전체 검사로 승격된다(2026-09-28 #21239 실측: 456파일 · PWA 636건).
     try { run('bun', ['scripts/ci-typecheck-changed.ts'], worktree, { ...process.env, TSC_BASE_REF: input.verifyOnly ? baseCommit : base }); }

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) {