elanous 0.2.31 → 0.2.34

package/src/self-implement/graph-yaml.ts

@@ -4,6 +4,7 @@ import { readFileSync, readdirSync } from 'node:fs';
 import { join } from 'node:path';
 import { parse as parseYaml } from 'yaml';
 import { HARNESS_CORE_KINDS, hasNodeKind } from '../graph-kinds/registry.js';
+import { parseOverlayCondition } from './graph-overlay-condition.js';
 
 /** ⭐ RFC-graph-templates-as-yaml §5 «0단계» — YAML 저작본을 읽어 실행·해시·원장용 정규형으로.
  *
@@ -36,6 +37,8 @@ export interface GraphNodeSpec {
   /** Entry selected by this call when a unit exposes more than one entry. */
   readonly callEntry?: string;
   readonly budget?: { readonly innerSteps: number };
+  /** L1: skip this optional node when a measured state condition holds. */
+  readonly skipWhen?: string;
 }
 
 export interface GraphEdgeSpec {
@@ -48,6 +51,8 @@ export interface GraphEdgeSpec {
   /** 심이 «주입 안 됐을 때» 내려가는 순서. `requires` 는 그 심 이름들. */
   readonly fallback?: readonly { readonly node: string; readonly requires: readonly string[]; readonly observed?: number }[];
   readonly observed?: number;
+  /** L1: a measured state condition takes precedence over the default edge. */
+  readonly when?: string;
 }
 
 export interface GraphTemplateSpec {
@@ -63,10 +68,41 @@ export interface GraphTemplateSpec {
   /** ⭐ 런 계약(선택) — 이 그래프가 «기본으로» 요구하는 실행 칸 등. 발사 인자가 덮는다(graph-run-contract.ts). */
   readonly runContract?: GraphRunContractSpec;
   readonly unit?: { readonly inputs: readonly string[]; readonly outputs: readonly string[]; readonly exits: readonly string[]; readonly entries?: readonly string[] };
+  /** Non-executable landing policy declaration. The train executor consumes this in a later slice. */
+  readonly policy?: LandUnitTrainPolicySpec;
   readonly nodes: readonly GraphNodeSpec[];
   readonly edges: readonly GraphEdgeSpec[];
 }
 
+export interface LandUnitTrainPolicySpec {
+  readonly express: {
+    readonly by: readonly ('queueFlag' | 'predecessorOf' | 'multiplierTier' | 'p0InCutWindow2h')[];
+    readonly waitsForBatch: false;
+    readonly directive: string;
+  };
+  readonly batch: {
+    readonly min: number;
+    readonly max: number;
+    readonly groupBy: readonly ('area' | 'cellPrefix')[];
+    readonly maxWaitMin: number;
+    readonly order: readonly ('express' | 'predecessor' | 'enqueued')[];
+    readonly directive: string;
+  };
+  readonly scenarioPrebuild: {
+    readonly source: readonly ('src/ux-sim' | 'scenarios/ux-sim' | 'fake-llm' | 'fake-harness')[];
+    readonly mock: 'required';
+    readonly directive: string;
+  };
+  readonly gate: { readonly oncePerBatch: true; readonly directive: string };
+  readonly land: {
+    readonly perPr: 'squash';
+    readonly pinnedHead: true;
+    readonly ejectOnFail: true;
+    readonly integrationPr: false;
+    readonly directive: string;
+  };
+}
+
 export interface GraphParseIssue {
   readonly path: string;
   readonly message: string;
@@ -80,6 +116,7 @@ export interface GraphParseResult {
 
 /** ⚠️ YAML 함정 — `no`/`off`/`yes`/`on` 이 boolean 으로 파싱된다(Norway 문제). 노드 이름에 쓰면 조용히 깨진다. */
 const YAML_TRAP_WORDS = new Set(['true', 'false', 'yes', 'no', 'on', 'off', 'null', '~']);
+export const L1_PROTECTED_ROUTE_NODES = new Set(['gate', 'regate', 'review', 'merge', 'freeze-check']);
 
 function asArray(value: unknown): unknown[] {
   return Array.isArray(value) ? value : [];
@@ -102,6 +139,8 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
 
   const graphId = typeof doc.graph_id === 'string' ? doc.graph_id : undefined;
   if (graphId === undefined) errors.push({ path: `${label}/graph_id`, message: 'graph_id 가 없거나 문자열이 아니다' });
+  const policy = graphId === 'land' ? parseLandUnitTrainPolicy(doc.policy, `${label}/policy`, errors) : undefined;
+  if (graphId === 'land' && doc.policy === undefined) errors.push({ path: `${label}/policy`, message: 'land 유닛에는 착지 열차 policy 가 필요하다' });
   const version = typeof doc.version === 'number' && Number.isInteger(doc.version) ? doc.version : undefined;
   if (version === undefined) errors.push({ path: `${label}/version`, message: 'version 이 없거나 정수가 아니다' });
   const entryNode = typeof doc.entry_node === 'string' ? doc.entry_node : undefined;
@@ -147,6 +186,12 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
         : 'journey_stage 는 비어 있지 않은 문자열이어야 한다' });
       continue;
     }
+    if (n.skip_when !== undefined) {
+      if (typeof n.skip_when !== 'string' || !parseOverlayCondition(n.skip_when).ok)
+        errors.push({ path: `${at}/skip_when`, message: 'skip_when 은 오버레이 조건 한 개(key op literal)여야 한다' });
+      if (L1_PROTECTED_ROUTE_NODES.has(nodeId) || kind === 'gate' || terminalNodes.includes(nodeId))
+        errors.push({ path: `${at}/skip_when`, message: `'${nodeId}' 는 필수 검증·착지·종결 노드라 건너뛸 수 없다` });
+    }
     const contractRaw = n.contract as Record<string, unknown> | undefined;
     const contract: GraphNodeContract | undefined = contractRaw && typeof contractRaw === 'object'
       ? {
@@ -190,6 +235,7 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
       ...(kind === 'subgraph' && n.budget && typeof n.budget === 'object' && !Array.isArray(n.budget) &&
         typeof (n.budget as Record<string, unknown>).inner_steps === 'number'
         ? { budget: { innerSteps: (n.budget as { inner_steps: number }).inner_steps } } : {}),
+      ...(typeof n.skip_when === 'string' ? { skipWhen: n.skip_when } : {}),
     });
   }
   if (nodes.length === 0) errors.push({ path: `${label}/nodes`, message: '노드가 하나도 없다' });
@@ -205,6 +251,12 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
     if (!known.has(from)) { errors.push({ path: `${at}/from`, message: `'${from}' 은 선언된 노드가 아니다` }); continue; }
     const hasTo = typeof e.to === 'string';
     const hasMap = e.map !== null && typeof e.map === 'object';
+    if (e.when !== undefined && (typeof e.when !== 'string' || !parseOverlayCondition(e.when).ok))
+      errors.push({ path: `${at}/when`, message: 'when 은 오버레이 조건 한 개(key op literal)여야 한다' });
+    if (e.when !== undefined && (L1_PROTECTED_ROUTE_NODES.has(from) || nodes.some(node => node.nodeId === from && node.kind === 'gate') || terminalNodes.includes(from)))
+      errors.push({ path: `${at}/when`, message: `'${from}' 의 필수 검증·착지 결과는 when 간선으로 덮을 수 없다` });
+    if (e.when !== undefined && (!hasTo || hasMap || e.on !== undefined))
+      errors.push({ path: `${at}/when`, message: 'when 은 to 간선에서만 쓴다' });
     if (hasTo === hasMap) {
       errors.push({ path: at, message: 'to 와 map 중 «정확히 하나»를 써야 한다' });
       continue;
@@ -237,8 +289,21 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
       ...(hasMap ? { on: String(e.on), map } : {}),
       ...(fallback.length > 0 ? { fallback } : {}),
       ...(typeof e.observed === 'number' ? { observed: e.observed } : {}),
+      ...(typeof e.when === 'string' ? { when: e.when } : {}),
     });
   }
+  for (const node of nodes) {
+    if (node.skipWhen === undefined) continue;
+    const outgoing = edges.filter(edge => edge.from === node.nodeId);
+    if (outgoing.length !== 1 || outgoing[0]?.to === undefined || outgoing[0]?.when !== undefined ||
+        (outgoing[0]?.fallback?.length ?? 0) > 0)
+      errors.push({ path: `${label}/nodes/${node.nodeId}/skip_when`, message: 'skip_when 노드에는 분기 없는 무조건 to 후속 간선 하나만 필요하다' });
+  }
+  for (const edge of edges) {
+    if (edge.when === undefined) continue;
+    if (!edges.some(candidate => candidate.from === edge.from && candidate.when === undefined))
+      errors.push({ path: `${label}/edges/${edge.from}/when`, message: 'when 간선에는 모호·미관측 때 탈 무조건 기본 간선이 필요하다' });
+  }
 
   if (entryNode !== undefined && !known.has(entryNode)) errors.push({ path: `${label}/entry_node`, message: `'${entryNode}' 는 선언된 노드가 아니다` });
   for (const t of terminalNodes) if (!known.has(t)) errors.push({ path: `${label}/terminal_nodes`, message: `'${t}' 는 선언된 노드가 아니다` });
@@ -288,6 +353,7 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
     template: {
       graphId: graphId!, version: version!, entryNode: entryNode!, terminalNodes, nodes, edges,
       ...(unit ? { unit } : {}),
+      ...(policy ? { policy } : {}),
       ...(Array.isArray(journeyStages) ? { journeyStages: journeyStages as string[] } : {}),
       ...(loop ? { loop } : {}),
       ...(typeof doc.docs_only_gate_skip === 'boolean' ? { docsOnlyGateSkip: doc.docs_only_gate_skip } : {}),
@@ -298,6 +364,89 @@ export function parseGraphTemplateYaml(source: string, label = '<inline>'): Grap
   };
 }
 
+function isRecord(value: unknown): value is Record<string, unknown> {
+  return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+
+function exactKeys(value: Record<string, unknown>, keys: readonly string[]): boolean {
+  return Object.keys(value).length === keys.length && keys.every((key) => Object.hasOwn(value, key));
+}
+
+function isEnumList<T extends string>(value: unknown, allowed: readonly T[], expected: readonly T[]): value is T[] {
+  return Array.isArray(value) && value.every((item): item is T => typeof item === 'string' && allowed.includes(item as T))
+    && value.length === expected.length && expected.every((item, index) => value[index] === item);
+}
+
+function isDirectiveText(value: unknown): value is string {
+  if (typeof value !== 'string') return false;
+  const entry = value.replace(/[\p{P}\p{S}\s]/gu, '');
+  return entry.length > 0;
+}
+
+function parseLandUnitTrainPolicy(
+  value: unknown,
+  path: string,
+  errors: GraphParseIssue[],
+): LandUnitTrainPolicySpec | undefined {
+  if (value === undefined) return undefined;
+  const fail = (suffix: string, message: string): void => { errors.push({ path: `${path}${suffix}`, message }); };
+  if (!isRecord(value) || !exactKeys(value, ['express', 'batch', 'scenarioPrebuild', 'gate', 'land'])) {
+    fail('', 'policy 는 express·batch·scenarioPrebuild·gate·land 만 가진 맵이어야 한다');
+    return undefined;
+  }
+  const express = value.express;
+  const batch = value.batch;
+  const scenarioPrebuild = value.scenarioPrebuild;
+  const gate = value.gate;
+  const land = value.land;
+  const field = (name: string, raw: unknown, keys: readonly string[]): Record<string, unknown> | undefined => {
+    if (!isRecord(raw) || !exactKeys(raw, keys)) {
+      fail(`/${name}`, `${name} 필드는 ${keys.join('·')} 키만 가진 맵이어야 한다`);
+      return undefined;
+    }
+    if (!isDirectiveText(raw.directive))
+      fail(`/${name}/directive`, 'directive 는 구두점만으로 된 값이 아닌 비어 있지 않은 문자열이어야 한다');
+    return raw;
+  };
+  const e = field('express', express, ['by', 'waitsForBatch', 'directive']);
+  const b = field('batch', batch, ['min', 'max', 'groupBy', 'maxWaitMin', 'order', 'directive']);
+  const s = field('scenarioPrebuild', scenarioPrebuild, ['source', 'mock', 'directive']);
+  const g = field('gate', gate, ['oncePerBatch', 'directive']);
+  const l = field('land', land, ['perPr', 'pinnedHead', 'ejectOnFail', 'integrationPr', 'directive']);
+
+  if (e && !isEnumList(e.by, ['queueFlag', 'predecessorOf', 'multiplierTier', 'p0InCutWindow2h'], ['queueFlag', 'predecessorOf', 'multiplierTier', 'p0InCutWindow2h']))
+    fail('/express/by', 'by 는 queueFlag·predecessorOf·multiplierTier·p0InCutWindow2h 를 각각 한 번 포함해야 한다');
+  if (e && e.waitsForBatch !== false) fail('/express/waitsForBatch', 'express 는 waitsForBatch: false 여야 한다');
+  if (b) {
+    if (!Number.isSafeInteger(b.min) || b.min !== 2) fail('/batch/min', 'min 은 정확히 2여야 한다');
+    if (!Number.isSafeInteger(b.max) || b.max !== 4) fail('/batch/max', 'max 는 정확히 4여야 한다');
+    if (Number.isSafeInteger(b.min) && Number.isSafeInteger(b.max) && (b.min as number) > (b.max as number)) fail('/batch', 'min 은 max 이하여야 한다');
+    if (!isEnumList(b.groupBy, ['area', 'cellPrefix'], ['area', 'cellPrefix'])) fail('/batch/groupBy', 'groupBy 는 area·cellPrefix 를 각각 한 번 포함해야 한다');
+    if (!Number.isSafeInteger(b.maxWaitMin) || (b.maxWaitMin as number) !== 30) fail('/batch/maxWaitMin', 'maxWaitMin 은 30 정수여야 한다');
+    if (!Array.isArray(b.order) || b.order.length !== 3 || b.order.some((item, index) => item !== ['express', 'predecessor', 'enqueued'][index]))
+      fail('/batch/order', 'order 는 express·predecessor·enqueued 순이어야 한다');
+  }
+  if (s && !isEnumList(s.source, ['src/ux-sim', 'scenarios/ux-sim', 'fake-llm', 'fake-harness'], ['src/ux-sim', 'scenarios/ux-sim', 'fake-llm', 'fake-harness']))
+    fail('/scenarioPrebuild/source', 'source 는 UX sim·fake LLM·fake harness 네 경로를 각각 한 번 포함해야 한다');
+  if (s && s.mock !== 'required') fail('/scenarioPrebuild/mock', 'mock 은 required 여야 한다');
+  if (g && g.oncePerBatch !== true) fail('/gate/oncePerBatch', 'oncePerBatch 는 true 여야 한다');
+  if (l) {
+    if (l.perPr !== 'squash') fail('/land/perPr', 'perPr 은 squash 여야 한다');
+    if (l.pinnedHead !== true) fail('/land/pinnedHead', 'pinnedHead 는 true 여야 한다');
+    if (l.ejectOnFail !== true) fail('/land/ejectOnFail', 'ejectOnFail 은 true 여야 한다');
+    if (l.integrationPr !== false) fail('/land/integrationPr', 'integrationPr 는 false 여야 한다');
+  }
+  if (!e || !b || !s || !g || !l || errors.some((error) => error.path.startsWith(`${path}/`))) return undefined;
+  return {
+    express: { by: e.by as LandUnitTrainPolicySpec['express']['by'], waitsForBatch: false, directive: e.directive as string },
+    batch: { min: b.min as number, max: b.max as number, groupBy: b.groupBy as LandUnitTrainPolicySpec['batch']['groupBy'], maxWaitMin: b.maxWaitMin as number,
+      order: b.order as LandUnitTrainPolicySpec['batch']['order'], directive: b.directive as string },
+    scenarioPrebuild: { source: s.source as LandUnitTrainPolicySpec['scenarioPrebuild']['source'], mock: 'required', directive: s.directive as string },
+    gate: { oncePerBatch: true, directive: g.directive as string },
+    land: { perPr: 'squash', pinnedHead: true, ejectOnFail: true, integrationPr: false, directive: l.directive as string },
+  };
+}
+
 /** 정규 JSON — 「같은 그래프인가」를 답하는 유일한 형식. ⛔ 키를 «정렬»해 직렬화 순서를 없앤다. */
 export function canonicalGraphJson(template: GraphTemplateSpec): string {
   const sort = (value: unknown): unknown => {
@@ -330,7 +479,8 @@ export function loadGraphTemplates(dir: string): GraphLoadResult {
   const templates: Record<string, GraphTemplateSpec> = {};
   let files: string[];
   try {
-    files = readdirSync(dir).filter((f) => f.endsWith('.yaml') || f.endsWith('.yml')).sort();
+    // recipes are command catalogs consumed by the runner, not graph templates.
+    files = readdirSync(dir).filter((f) => (f.endsWith('.yaml') || f.endsWith('.yml')) && f !== 'recipes.yaml' && f !== 'recipes.yml').sort();
   } catch (error) {
     return { templates, errors: [{ path: dir, message: `그래프 디렉토리를 못 읽었다: ${error instanceof Error ? error.message : String(error)}` }], warnings, scannedFiles: 0 };
   }

package/src/self-implement/headless-elanous-driver.ts

@@ -1329,6 +1329,7 @@ export async function runHeadlessGoalLoopPty(opts: HeadlessGoalLoopPtyOptions):
     workdir: opts.cwd,
     env: {
       ...(opts.stateDir ? { ELANOUS_STATE_DIR: opts.stateDir } : {}),
+      ...(process.env.XDG_DATA_HOME?.trim() ? { XDG_DATA_HOME: process.env.XDG_DATA_HOME } : {}),
       [CHILD_LIVENESS_HEARTBEAT_ENV]: resolveChildLivenessHeartbeatPath(opts.cwd),
       ...controlInboxEnv(controlInboxDir),
 // ⛔⭐ 뿌리와 «한 벌»로 간다(`OBS-T121`) — 안 주면 자식이 「파생」을 「명시 격리」로 읽는다.

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';
@@ -26,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));
 }
 

package/src/self-implement/knowhow-pack.ts

@@ -0,0 +1,103 @@
+/** Bounded, read-only context from promoted repository knowhow. */
+import { lstatSync, readFileSync, realpathSync, readdirSync, statSync } from 'node:fs';
+import { join, relative, resolve, sep } from 'node:path';
+
+export const KNOWHOW_PACK_MAX_BYTES = 4096;
+const MARKER = '[KNOWHOW-PACK v1';
+const SIGNATURES = ['no-progress', 'scope-escape', 'wallclock-cap', 'pod-job-failed', 'gate-failed', 'review-blocked', 'token_revoked'];
+
+export interface KnowhowPack {
+  text: string;
+  ids: string[];
+  bytes: number;
+}
+
+function inside(root: string, path: string): boolean {
+  const rel = relative(root, path);
+  return rel === '' || (rel !== '..' && !rel.startsWith(`..${sep}`) && !rel.startsWith(sep));
+}
+
+function promotedSections(source: string): Array<{ id: string; text: string }> {
+  const sections: Array<{ id: string; text: string }> = [];
+  for (const block of source.split(/(?=^## K-[A-Z]+-\d+\b)/m)) {
+    const id = /^## (K-[A-Z]+-\d+)\b/m.exec(block)?.[1];
+    if (!id || !/^[-*] 출처:.*상태: active\s*$/m.test(block)) continue;
+    sections.push({ id, text: block.trim() });
+  }
+  return sections;
+}
+
+function mentionedPaths(text: string): Set<string> {
+  // Keep the complete repository-relative path, including package/docs prefixes.
+  // First slice: root filenames have no directory context and are deliberately excluded.
+  // A path may use any extension; reject absolute and parent-relative paths as whole tokens.
+  const paths = new Set<string>();
+  for (const match of text.matchAll(/(?<![\w./~-])([\w.-]+(?:\/[\w.-]+)+)/g)) {
+    const path = match[1].replace(/[.,;:!?]+$/, '');
+    const segments = path.split('/');
+    if (segments.some((segment) => segment === '.' || segment === '..' || !segment)) continue;
+    if (!/\.[\w-]+$/.test(segments.at(-1) ?? '')) continue;
+    paths.add(path);
+  }
+  return paths;
+}
+
+function relevance(goal: string, section: string): number {
+  const paths = mentionedPaths(goal);
+  const sourcePaths = mentionedPaths(section);
+  let score = 0;
+  for (const path of paths) {
+    if (sourcePaths.has(path)) score += 20;
+  }
+  // A path-scoped remedy must not be selected solely because an unrelated goal shares its failure label.
+  // No exact directory path match means no injection, even if the failure label happens to match.
+  if (score === 0) return 0;
+  for (const signature of SIGNATURES) {
+    if (goal.includes(signature) && section.includes(signature)) score += 6;
+  }
+  return score;
+}
+
+/** Reads only 내부 문서 `KNOWHOW` inside the supplied repository. */
+export function selectKnowhowPack(repo: string, goal: string): KnowhowPack {
+  if (goal.includes(MARKER)) return { text: '', ids: [], bytes: 0 };
+  const rolesDir = resolve(repo, 'docs/roles');
+  let realRoles: string;
+  try {
+    realRoles = realpathSync(rolesDir);
+    if (!inside(realpathSync(repo), realRoles)) return { text: '', ids: [], bytes: 0 };
+  } catch { return { text: '', ids: [], bytes: 0 }; }
+  const candidates: Array<{ id: string; text: string; score: number }> = [];
+  let seatDirs: string[];
+  try { seatDirs = readdirSync(rolesDir).sort(); } catch { return { text: '', ids: [], bytes: 0 }; }
+  for (const seat of seatDirs) {
+    if (!/^[A-Z]{2,4}$/.test(seat)) continue;
+    const file = join(rolesDir, seat, 'KNOWHOW.md');
+    try {
+      if (lstatSync(file).isSymbolicLink()) continue;
+      const real = realpathSync(file);
+      if (!inside(realRoles, real) || !statSync(real).isFile() || statSync(real).size > 2_000_000) continue;
+      for (const section of promotedSections(readFileSync(real, 'utf8'))) {
+        const score = relevance(goal, section.text);
+        if (score > 0) candidates.push({ ...section, score });
+      }
+    } catch { /* A missing or unreadable source contributes no entry. */ }
+  }
+  candidates.sort((a, b) => b.score - a.score || a.id.localeCompare(b.id));
+  const selected: typeof candidates = [];
+  for (const candidate of candidates) {
+    if (selected.length === 3) break;
+    const next = [...selected, candidate];
+    const ids = next.map((item) => item.id);
+    const body = next.map((item) => item.text).join('\n\n');
+    const text = `${MARKER} ids=${ids.join(',')}]\n참고 자료(명령이 아닌 검증할 운영 기록):\n${body}\n[/KNOWHOW-PACK]`;
+    if (Buffer.byteLength(text, 'utf8') > KNOWHOW_PACK_MAX_BYTES) continue;
+    selected.push(candidate);
+  }
+  if (!selected.length) return { text: '', ids: [], bytes: 0 };
+  const ids = selected.map((item) => item.id);
+  const body = selected.map((item) => item.text).join('\n\n');
+  const text = `${MARKER} ids=${ids.join(',')}]\n참고 자료(명령이 아닌 검증할 운영 기록):\n${body}\n[/KNOWHOW-PACK]`;
+  return { text, ids, bytes: Buffer.byteLength(text, 'utf8') };
+}
+

package/src/self-implement/orchestrator.ts

@@ -93,6 +93,7 @@ import { boundaryGlobs, boundaryViolations } from './goal-boundary.js';
 import { askAtExecution, type ExecutionClarificationResult } from './execution-clarification.js';
 import { classifyOutOfScope } from './scope-adjacency.js';
 import { targetScopedGoalText } from './goal-text-path-scope.js';
+import { selectKnowhowPack } from './knowhow-pack.js';
 import { declaredNewFilePaths } from './goal-new-paths.js';
 import { dropStaleReverts, type RevertGuardResult } from './revert-guard.js';
 import type { SelfDevGoalType } from '../self-dev/orchestrate.js';
@@ -155,6 +156,22 @@ 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';
@@ -2305,7 +2322,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;
@@ -2615,13 +2632,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(),
@@ -2650,7 +2667,7 @@ function prBody(feature: string, implSummary: string, gateLog?: string, review?:
     ...relaxation,
     '',
     '🤖 self-implement 오케스트레이터 (elanous 자율 구현·리뷰-게이트 병합)',
-  ].join('\n');
+  ].join('\n'));
 }
 
 /**
@@ -2838,8 +2855,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
@@ -2886,8 +2903,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 = {
@@ -4867,11 +4886,13 @@ async function runSelfImplementInner(
         ...(n.progress ? { progress: n.progress } : {}), ...(n.phases ? { phases: n.phases } : {}),
         ...(n.terminalStages ? { terminal_stages: n.terminalStages } : {}),
         ...(n.fanOut ? { fan_out: n.fanOut } : {}), ...(n.contract ? { contract: n.contract } : {}),
+        ...(n.skipWhen ? { skip_when: n.skipWhen } : {}),
       })),
       edges: variantSpec.edges.map(e => ({
         from: e.from, ...(e.to === undefined ? { on: e.on, map: e.map } : { to: e.to }),
         ...(e.fallback ? { fallback: e.fallback } : {}),
         ...(e.observed === undefined ? {} : { observed: e.observed }),
+        ...(e.when ? { when: e.when } : {}),
       })),
     }), { flag: 'wx' });
     observe('graph-variant-applied', { graphId: variant.template.graphId, overlayId: variant.overlay.overlayId,
@@ -5233,6 +5254,11 @@ async function runSelfImplementInner(
     } else observe('memory', { injected: false });
   }
 
+  // The repository copy travels with both local and Pod worktrees. Operational HQ ledgers are never read here.
+  const knowhow = selectKnowhowPack(wt.path, opts.feature);
+  if (knowhow.text) round0Feature = `${knowhow.text}\n\n${round0Feature}`;
+  observe('knowhow-pack', { ids: knowhow.ids, bytes: knowhow.bytes, injected: knowhow.bytes > 0 });
+
   const maxRework = Math.max(0, opts.maxReworkRounds ?? 2);
   const selfImplementConfig = (await import('../user-config.js')).getUserConfig().tools.selfImplement;
   const shadowStop = opts.reworkBudgetShadowStop ?? selfImplementConfig.reworkBudget.shadowStop;
@@ -5583,6 +5609,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.
@@ -6948,6 +6977,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;
@@ -7121,7 +7219,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,
@@ -7132,7 +7230,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) {