elanous 0.2.32 → 0.2.35

package/graphs/units/harvest/harvest.yaml

@@ -0,0 +1,25 @@
+graph_id: verb-harvest
+version: 1
+entry_node: review
+terminal_nodes: [done, rework, needs-human, failed]
+unit:
+  inputs: [ask, context, prior]
+  outputs: [result, evidence]
+  exits: [done, rework, needs-human, failed]
+nodes:
+  - node_id: review
+    kind: judge
+    recipe: 'cmd:harvest-review'
+    max_visits: 1
+    contract:
+      inputs: [ask, context, prior]
+      tools: read-only
+      outputs: [outcome, result, evidence]
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: rework, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: needs-human, kind: hitl, recipe: none, max_visits: 1 }
+  - { node_id: failed, kind: observe, recipe: none, max_visits: 1 }
+edges:
+  - from: review
+    on: outcome
+    map: { done: done, rework: rework, needs-human: needs-human, failed: failed }

package/graphs/units/harvest/recipes.yaml

@@ -0,0 +1,4 @@
+harvest-review:
+  command: 'bun scripts/graph-harvest-unit.ts'
+  dry_run_command: 'bun scripts/graph-harvest-unit.ts --dry-run'
+  timeout_ms: 330000

package/graphs/units/land/land.yaml

@@ -0,0 +1,45 @@
+graph_id: land
+version: 1
+unit:
+  inputs: [ask, context, prior]
+  outputs: [result, evidence]
+  exits: [done, rework, needs-human, failed]
+policy:
+  express:
+    by: [queueFlag, predecessorOf, multiplierTier, p0InCutWindow2h]
+    waitsForBatch: false
+    directive: "2026-10-19 · prioritize queued P0s, predecessors, multiplier tier, and near-cut work"
+  batch:
+    min: 2
+    max: 4
+    groupBy: [area, cellPrefix]
+    maxWaitMin: 30
+    order: [express, predecessor, enqueued]
+    directive: "2026-10-14 · group by area and cell prefix, with batch size 2–4 and a 30-minute wait"
+  scenarioPrebuild:
+    source: [src/ux-sim, scenarios/ux-sim, fake-llm, fake-harness]
+    mock: required
+    directive: "2026-10-19 · prebuild scenarios with UX simulation, fake LLM, and fake harness inputs"
+  gate:
+    oncePerBatch: true
+    directive: "2026-10-19 · run one gate per batch"
+  land:
+    perPr: squash
+    pinnedHead: true
+    ejectOnFail: true
+    integrationPr: false
+    directive: "2026-10-19 · squash each PR at its pinned head and eject failures"
+entry_node: enqueue
+terminal_nodes: [done, rework, needs-human, failed]
+nodes:
+  - node_id: enqueue
+    kind: agent
+    recipe: 'cmd:land-enqueue'
+    max_visits: 1
+    contract: { inputs: [ask, context, prior], tools: external-write, outputs: [result, evidence] }
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: rework, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: needs-human, kind: hitl, recipe: none, max_visits: 1 }
+  - { node_id: failed, kind: observe, recipe: none, max_visits: 1 }
+edges:
+  - { from: enqueue, on: outcome, map: { done: done, rework: rework, needs-human: needs-human, failed: failed } }

package/graphs/units/land/recipes.yaml

@@ -0,0 +1,3 @@
+land-enqueue:
+  command: 'bun scripts/graph-units/land-enqueue.ts'
+  timeout_ms: 60000

package/graphs/units/recipes.yaml

@@ -1,3 +1,10 @@
 plan:
   command: 'bun scripts/release-loop/gate-recheck-plan-node.ts'
   timeout_ms: 60000
+recover-plan:
+  command: 'bun scripts/graph-units/recover-plan.ts'
+  timeout_ms: 30000
+harvest-review:
+  command: 'bun scripts/graph-harvest-unit.ts'
+  dry_run_command: 'bun scripts/graph-harvest-unit.ts --dry-run'
+  timeout_ms: 330000

package/graphs/units/recover.yaml

@@ -0,0 +1,39 @@
+graph_id: recover
+version: 1
+unit:
+  inputs: [ask, context, prior]
+  outputs: [result, evidence]
+  exits: [done, rework, needs-human, failed]
+  entries: [plan, request-review, wait-retry, human-review]
+entry_node: plan
+terminal_nodes: [done, rework, needs-human, failed]
+nodes:
+  - node_id: plan
+    kind: agent
+    recipe: 'cmd:recover-plan'
+    max_visits: 1
+    contract: { inputs: [ask, context, prior], tools: read-only, outputs: [result, evidence] }
+  - node_id: request-review
+    kind: agent
+    recipe: 'cmd:recover-plan'
+    max_visits: 1
+    contract: { inputs: [ask, context, prior], tools: read-only, outputs: [result, evidence] }
+  - node_id: wait-retry
+    kind: agent
+    recipe: 'cmd:recover-plan'
+    max_visits: 1
+    contract: { inputs: [ask, context, prior], tools: read-only, outputs: [result, evidence] }
+  - node_id: human-review
+    kind: agent
+    recipe: 'cmd:recover-plan'
+    max_visits: 1
+    contract: { inputs: [ask, context, prior], tools: read-only, outputs: [result, evidence] }
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: rework, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: needs-human, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: failed, kind: gate, recipe: none, max_visits: 1 }
+edges:
+  - { from: plan, on: outcome, map: { done: done, rework: rework, needs-human: needs-human, failed: failed, fail: failed } }
+  - { from: request-review, on: outcome, map: { done: done, rework: rework, needs-human: needs-human, failed: failed, fail: failed } }
+  - { from: wait-retry, on: outcome, map: { done: done, rework: rework, needs-human: needs-human, failed: failed, fail: failed } }
+  - { from: human-review, on: outcome, map: { done: done, rework: rework, needs-human: needs-human, failed: failed, fail: failed } }

package/graphs/units/reflect/recipes.yaml

@@ -0,0 +1,3 @@
+reflect:
+  command: 'bun scripts/graph-units/reflect-node.ts'
+  timeout_ms: 30000

package/graphs/units/reflect/reflect.yaml

@@ -0,0 +1,15 @@
+graph_id: reflect
+version: 1
+unit:
+  inputs: [ask, context, prior]
+  outputs: [result, evidence]
+  exits: [done, wait, needs-human]
+entry_node: reflect
+terminal_nodes: [done, wait, needs-human]
+nodes:
+  - { node_id: reflect, kind: agent, recipe: 'cmd:reflect', max_visits: 1 }
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: wait, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: needs-human, kind: gate, recipe: none, max_visits: 1 }
+edges:
+  - { from: reflect, on: outcome, map: { done: done, wait: wait, needs-human: needs-human } }

package/graphs/units/task-agent-recover-review.yaml

@@ -0,0 +1,17 @@
+graph_id: task-agent-recover-review
+version: 1
+entry_node: recover
+terminal_nodes: [done, failed]
+nodes:
+  - node_id: recover
+    kind: subgraph
+    recipe: none
+    max_visits: 1
+    call: recover@1
+    call_entry: request-review
+    budget: { inner_steps: 3 }
+    contract: { inputs: [ask, context, prior], tools: read-only, outputs: [result, evidence] }
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: failed, kind: gate, recipe: none, max_visits: 1 }
+edges:
+  - { from: recover, on: outcome, map: { done: done, rework: done, needs-human: failed, failed: failed } }

package/graphs/units/task-agent-recover-wait.yaml

@@ -0,0 +1,17 @@
+graph_id: task-agent-recover-wait
+version: 1
+entry_node: recover
+terminal_nodes: [done, failed]
+nodes:
+  - node_id: recover
+    kind: subgraph
+    recipe: none
+    max_visits: 1
+    call: recover@1
+    call_entry: wait-retry
+    budget: { inner_steps: 3 }
+    contract: { inputs: [ask, context, prior], tools: read-only, outputs: [result, evidence] }
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: failed, kind: gate, recipe: none, max_visits: 1 }
+edges:
+  - { from: recover, on: outcome, map: { done: done, rework: done, needs-human: failed, failed: failed } }

package/graphs/units/verbs/make-doc.yaml

@@ -0,0 +1,34 @@
+graph_id: verb-make-doc
+version: 1
+entry_node: prepare
+terminal_nodes: [done, rework, needs-human, failed]
+unit:
+  inputs: [ask, context, prior]
+  outputs: [result, evidence]
+  exits: [done, rework, needs-human, failed]
+nodes:
+  - node_id: prepare
+    kind: observe
+    recipe: 'cmd:make-doc-input'
+    max_visits: 1
+    contract:
+      inputs: [ask, context, prior]
+      tools: none
+      outputs: [goal, worktree, branch, review-intent, head-sha, base-branch, prior]
+  - node_id: document-draft
+    kind: agent
+    recipe: 'cmd:headless-goal-loop'
+    max_visits: 4
+    contract:
+      inputs: [goal, worktree]
+      tools: worktree-write
+      outputs: [outcome, result, evidence]
+  - { node_id: done, kind: gate, recipe: 'cmd:make-doc-output', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+  - { node_id: rework, kind: gate, recipe: 'cmd:make-doc-output', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+  - { node_id: needs-human, kind: hitl, recipe: 'cmd:make-doc-output', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+  - { node_id: failed, kind: observe, recipe: 'cmd:make-doc-output', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+edges:
+  - { from: prepare, to: document-draft }
+  - from: document-draft
+    on: outcome
+    map: { done: done, rework: rework, needs-human: needs-human, failed: failed }

package/graphs/units/verbs/recipes.yaml

@@ -0,0 +1,33 @@
+make-doc-input:
+  command: 'bun scripts/graph-units/verbs-envelope.ts make-doc-input'
+  timeout_ms: 10000
+make-doc-output:
+  command: 'bun scripts/graph-units/verbs-envelope.ts make-doc-output'
+  timeout_ms: 10000
+verify-envelope:
+  command: 'bun scripts/graph-units/verbs-envelope.ts verify-envelope'
+  timeout_ms: 10000
+verify-output-done:
+  command: 'bun scripts/graph-units/verbs-envelope.ts verify-output done'
+  timeout_ms: 10000
+verify-output-rework:
+  command: 'bun scripts/graph-units/verbs-envelope.ts verify-output rework'
+  timeout_ms: 10000
+verify-output-needs-human:
+  command: 'bun scripts/graph-units/verbs-envelope.ts verify-output needs-human'
+  timeout_ms: 10000
+verify-output-failed:
+  command: 'bun scripts/graph-units/verbs-envelope.ts verify-output failed'
+  timeout_ms: 10000
+headless-goal-loop:
+  command: 'bun scripts/graph-units/verbs/headless-goal-loop.ts'
+  dry_run_command: 'printf ''{"outcome":"done","result":"dry-run","evidence":{}}\n'''
+  timeout_ms: 300000
+gate-baseline:
+  command: 'bun scripts/graph-units/verbs/verify-stage.ts gate'
+  dry_run_command: 'printf ''{"outcome":"pass","passed":true,"gate-log":"dry-run"}\n'''
+  timeout_ms: 600000
+pr-reviewer:
+  command: 'bun scripts/graph-units/verbs/verify-stage.ts review'
+  dry_run_command: 'printf ''{"outcome":"pass","verdict":"pass","must-fix":[],"review-summary":"dry-run"}\n'''
+  timeout_ms: 180000

package/graphs/units/verbs/verify.yaml

@@ -0,0 +1,55 @@
+graph_id: verb-verify
+version: 1
+entry_node: prepare
+terminal_nodes: [done, rework, needs-human, failed]
+unit:
+  inputs: [ask, context, prior]
+  outputs: [result, evidence]
+  exits: [done, rework, needs-human, failed]
+nodes:
+  - node_id: prepare
+    kind: observe
+    recipe: 'cmd:verify-envelope'
+    max_visits: 1
+    contract:
+      inputs: [ask, context, prior]
+      tools: none
+      outputs: [outcome, worktree, changed-files, diff, review-intent, must-fix, gate-log]
+  - node_id: gate
+    kind: gate
+    recipe: 'cmd:gate-baseline'
+    max_visits: 11
+    progress: [gating, gated]
+    terminal_stages: []
+    contract: { inputs: [worktree, changed-files], tools: read-and-run-tests, outputs: [outcome, passed, gate-log] }
+  - node_id: review
+    kind: judge
+    recipe: 'cmd:pr-reviewer'
+    max_visits: 11
+    progress: [reviewing, reviewed]
+    terminal_stages: [review-blocked]
+    contract: { inputs: [diff, review-intent], tools: read-only, outputs: [outcome, verdict, must-fix, review_summary] }
+  - node_id: rework-loop
+    kind: agent
+    recipe: 'cmd:headless-goal-loop'
+    max_visits: 10
+    progress: [implementing]
+    terminal_stages: [gate-failed, review-blocked, no-changes]
+    contract: { inputs: [must-fix, gate-log, worktree], tools: worktree-write, outputs: [outcome, diff, must-fix, evidence] }
+  - { node_id: done, kind: gate, recipe: 'cmd:verify-output-done', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+  - { node_id: rework, kind: gate, recipe: 'cmd:verify-output-rework', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+  - { node_id: needs-human, kind: hitl, recipe: 'cmd:verify-output-needs-human', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+  - { node_id: failed, kind: observe, recipe: 'cmd:verify-output-failed', max_visits: 1, contract: { inputs: [], tools: none, outputs: [result, evidence] } }
+edges:
+  - from: prepare
+    on: outcome
+    map: { gate: gate, review: review, rework: rework-loop, failed: failed }
+  - from: gate
+    on: outcome
+    map: { pass: review, fail: rework-loop, needs-human: needs-human, failed: failed }
+  - from: review
+    on: outcome
+    map: { pass: done, fail: rework-loop, needs-human: needs-human, failed: failed }
+  - from: rework-loop
+    on: outcome
+    map: { done: gate, needs-human: needs-human, failed: rework }

package/graphs/work/recipes.yaml

@@ -0,0 +1,2 @@
+# work-research-report-rehearsal has no command nodes; its behavior is in called graph units.
+{}

package/graphs/work/research-report.yaml

@@ -0,0 +1,28 @@
+graph_id: work-research-report-rehearsal
+version: 1
+entry_node: make-doc
+terminal_nodes: [done, failed]
+nodes:
+  - node_id: make-doc
+    kind: subgraph
+    recipe: none
+    max_visits: 3
+    call: verb-make-doc@1
+    budget: { inner_steps: 16 }
+    contract: { inputs: [ask, context, prior], tools: worktree-write, outputs: [result, evidence] }
+  - node_id: verify
+    kind: subgraph
+    recipe: none
+    max_visits: 3
+    call: verb-verify@1
+    budget: { inner_steps: 16 }
+    contract: { inputs: [ask, context, prior], tools: read-and-run-tests, outputs: [result, evidence] }
+  - { node_id: done, kind: gate, recipe: none, max_visits: 1 }
+  - { node_id: failed, kind: gate, recipe: none, max_visits: 1 }
+edges:
+  - from: make-doc
+    on: outcome
+    map: { done: verify, rework: make-doc, needs-human: failed, failed: failed }
+  - from: verify
+    on: outcome
+    map: { done: done, rework: make-doc, needs-human: failed, failed: failed }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "elanous",
   "mcpName": "io.github.ElanvitalAI/elanous",
-  "version": "0.2.32",
+  "version": "0.2.35",
   "description": "Self-healing coding harness where eyes, hands, and memory all turn on one sentence — it authors its own goals, implements them in isolated worktrees, and reviews its own work.",
   "license": "Apache-2.0",
   "author": "Elanvital AI",

package/scripts/ci-typecheck-changed.ts

@@ -1,7 +1,7 @@
 /** Changed-file tsc gate with a visible ratchet for pre-existing test-only debt. */
 import { execFileSync, execSync } from 'node:child_process';
 import { existsSync, mkdtempSync, readFileSync, realpathSync, rmSync, symlinkSync, writeFileSync } from 'node:fs';
-import { tmpdir } from 'node:os';
+import { hostname, tmpdir } from 'node:os';
 import { join } from 'node:path';
 import ts from 'typescript';
 import {
@@ -26,6 +26,7 @@ import {
 } from './tsc-baseline-cache.js';
 import { TSC_OOM_RETRY_HEAP_MB, TSC_HEAP_MB, tscEnv } from '../src/typecheck-ratchet.js';
 import { runIncrementalCachedTsc } from './tsc-incremental-cache.js';
+import type { GateRemoteFlags } from '../src/self-implement/gate-remote.js';
 
 /** Inherited GIT_DIR / GIT_WORK_TREE would make `--cwd <other tree>` still read the launcher's repo. */
 function gitEnv(base: NodeJS.ProcessEnv = process.env): NodeJS.ProcessEnv {
@@ -147,12 +148,12 @@ export function changedTsFiles(run: (cmd: string) => string = sh, env: NodeJS.Pr
   let uncountableBase: { command: string; why: string } | undefined;
   if (head && quietRevision(`git rev-parse ${base}`) === head) {
     const main = quietRevision('git rev-parse origin/main');
-    const merged = main && main !== head ? quietRevision('git merge-base HEAD origin/main') : '';
+    const merged = main ? quietRevision('git merge-base HEAD origin/main') : '';
     if (merged && merged !== head) {
       warnings.push(`base=${base} 가 HEAD 와 같은 커밋 — origin/main (${main})과 달라 merge-base 로 재계산`);
       base = merged;
       baseSource = 'recomputed merge-base(origin/main)';
-    } else if (main && main !== head) {
+    } else if ((merged === head && head) || (!merged && main && main !== head)) {
       uncountableBase = { command: `git rev-parse ${base}`, why: `base 가 HEAD(${head}) 와 같아 변경을 셀 수 없다 — TSC_BASE_REF 로 base 를 주라 (못 셌음 ≠ 0)` };
     }
   }
@@ -923,6 +924,10 @@ export type GateIo = {
   baseRef?: string;
   /** Source of TSC_GATE_ROOTS / ELANOUS_TSC_AFFECTED_ROOTS. Defaults to process.env. */
   env?: NodeJS.ProcessEnv;
+  /** Refuse an unbounded root program on the MBP seat before starting tsc. */
+  forbidFullLocal?: boolean;
+  /** Only pr land may measure a dependency-free target with the installed compiler. */
+  allowMissingCheckoutDependencies?: boolean;
   /** Changed gate sources → themselves plus their direct importers. Defaults to the repository import-graph reader. */
   affectedRoots?: (cwd: string, changed: ReadonlySet<string>) => AffectedRoots;
   log: (message: string) => void;
@@ -945,10 +950,11 @@ export function formatOutsideChangedWarning(outsideChanged: readonly { file: str
   return `[tsc-gate] ⚠ 변경 파일 밖 진단 ${total}건이 파일 ${fileCount}개에서 버려짐: ${nameText}`;
 }
 
-function inspectTscResult(tsc: TscRun, changed: ReadonlySet<string>, baseline: ReadonlyMap<string, number>, error: (message: string) => void, warn: (message: string) => void, wholeRepository = false, excludedPrefixes: readonly string[] = [], includedPrefixes: readonly string[] = [], promotionBaseline?: BaselineDiagnostics, excludeTests = false): boolean {
+function inspectTscResult(tsc: TscRun, changed: ReadonlySet<string>, baseline: ReadonlyMap<string, number>, error: (message: string) => void, warn: (message: string) => void, wholeRepository = false, excludedPrefixes: readonly string[] = [], includedPrefixes: readonly string[] = [], promotionBaseline?: BaselineDiagnostics, excludeTests = false, requireAllDiagnostics = false): boolean {
   if (!tsc.ran) {
     error(`[tsc-gate] ⛔ 실행 판정 실패 — ${tsc.why}`);
     if (tsc.out.trim()) error(tsc.out.trim().slice(0, 2000));
+    if (tsc.why?.includes('ENOENT') || tsc.why?.includes('종료코드 127') || /Module not found ["'].*typescript\/bin\/tsc/.test(tsc.out)) error('[tsc-gate] TypeScript 실행 파일을 확인하십시오 — 대상 트리 또는 설치본에서 bun install --frozen-lockfile 뒤 재실행하십시오.');
     error('[tsc-gate] FAIL — tsc 가 정상 실행됐음을 확인할 수 없다(통과로 읽지 않는다).');
     return false;
   }
@@ -968,7 +974,11 @@ function inspectTscResult(tsc: TscRun, changed: ReadonlySet<string>, baseline: R
     warn(`[tsc-gate] ⚠ 기준 진단을 얻지 못했다 — ${promotionBaseline.unavailable} (관측만 · 비차단; 현재 진단은 면제하지 않는다).`);
   }
   const promotionDiff = wholeRepository && baselineDiagnostics ? diffTypecheckDiagnostics(diagnostics, baselineDiagnostics) : undefined;
-  const result = classifyTypecheckErrors(promotionDiff?.added ?? diagnostics, wholeRepository ? new Set((promotionDiff?.added ?? diagnostics).map((diagnostic) => diagnostic.file)) : changed, baseline);
+  // Without the target's declarations, even a diagnostic outside the changed files
+  // may be caused by the missing installation. Do not call that measurement clean.
+  const classified = promotionDiff?.added ?? diagnostics;
+  const result = classifyTypecheckErrors(classified, wholeRepository || requireAllDiagnostics
+    ? new Set(classified.map((diagnostic) => diagnostic.file)) : changed, requireAllDiagnostics ? new Map() : baseline);
   if (promotionDiff?.existing.length) {
     const existingByFile = new Map<string, number>();
     for (const diagnostic of promotionDiff.existing) existingByFile.set(diagnostic.file, (existingByFile.get(diagnostic.file) ?? 0) + 1);
@@ -986,7 +996,7 @@ function inspectTscResult(tsc: TscRun, changed: ReadonlySet<string>, baseline: R
   }
   if (result.outsideChanged.length > 0) warn(formatOutsideChangedWarning(result.outsideChanged));
   if (result.failing.length === 0) return true;
-  const failureScope = wholeRepository ? '저장소 전체 범위' : '변경 파일';
+  const failureScope = wholeRepository ? '저장소 전체 범위' : requireAllDiagnostics ? '대상 트리 타입 진단' : '변경 파일';
   error(`\n[tsc-gate] FAIL — ${failureScope}에 타입 에러 ${result.failing.length}건:`);
   for (const entry of result.failing) error('  ' + entry.line);
   error('\n건드린 src/scripts 파일과 baseline 밖 test 파일은 tsc 클린이어야 합니다(touch-clean).');
@@ -1034,7 +1044,7 @@ export function resolveTscScript(cwd: string, scriptsDir = import.meta.dir, pres
   ].find(present);
 }
 
-/** The installed compiler cannot resolve declarations from a checkout without its own dependencies. */
+/** Identify missing target declarations; partial installations and PWA checks remain fail-closed. */
 export function missingCheckoutTypeDependencies(cwd: string, needsPwa = false, present: (path: string) => boolean = existsSync): string[] {
   const missing: string[] = [];
   if (!present(join(cwd, 'node_modules'))) missing.push('node_modules');
@@ -1122,6 +1132,11 @@ export function runGate(io: Partial<GateIo> = {}): void {
     for (const removal of literalRemovals) warn(`  ${removal.referenceFile}:${removal.line}: ${removal.typeName} -= '${removal.literal}' (${removal.file})`);
   }
   const wholeRepository = requiredFields.length > 0 || removedSymbols.length > 0 || parameterIncreases.length > 0;
+  if (io.forbidFullLocal && wholeRepository) {
+    error('[tsc-gate] FAIL — mbp 로 전체 tsc 승격을 실행하지 않는다. --remote 로 다시 재라 (원격 불가=미측정).');
+    exit(1);
+    return;
+  }
   const pwaChanged = new Set([...changed].filter((file) => file.startsWith('apps/pwa/')));
   const rootChanged = new Set([...changed].filter((file) => !pwaChanged.has(file)));
   // 앱 파일은 앱 설정만 소유한다. 전체 승격은 root 설정만 저장소 전체로 올리고,
@@ -1156,11 +1171,14 @@ export function runGate(io: Partial<GateIo> = {}): void {
   }, { level: 'info' });
   log(`[tsc-gate] root 설정 범위 ${rootScope.size}개 관측 (apps/pwa/** 제외).`);
   if (runsPwa) log(`[tsc-gate] PWA 설정 범위 ${pwaScope.size}개 관측.`);
-  // K-OP-039: PWA checks without app dependencies produce fake type errors.
-  // The target checkout's declarations are required even when a compiler is
-  // supplied by the installed CLI or injected by another gate caller.
+  // K-OP-039: partial installations without PWA dependencies produce fake type errors.
+  // A checkout with no root node_modules can instead be measured by the installed compiler;
+  // missing root/PWA declarations and configuration diagnostics must not become a clean pass.
   const missing = missingCheckoutTypeDependencies(cwd, runsPwa || wholeRepository);
-  if (missing.length > 0) {
+  const installedCompilerCanMeasure = io.allowMissingCheckoutDependencies === true && !io.runTscCmd && missing.includes('node_modules')
+    && missing.includes('bun-types') && missing.every((dependency) =>
+      dependency === 'node_modules' || dependency === 'bun-types' || dependency === 'apps/pwa/node_modules');
+  if (missing.length > 0 && !installedCompilerCanMeasure) {
     const quotedCwd = `'${cwd.replaceAll("'", "'\\''")}'`;
     const install = `cd ${quotedCwd} && bun install --frozen-lockfile${missing.includes('apps/pwa/node_modules') ? ' && (cd apps/pwa && bun install --frozen-lockfile)' : ''}`;
     error(`[tsc-gate] ⛔ 대상 트리 타입 의존성 없음: ${missing.join(', ')} — ${install}`);
@@ -1193,13 +1211,18 @@ export function runGate(io: Partial<GateIo> = {}): void {
     if (!cacheEnabled) return runTscCmd(command);
     return runIncrementalCachedTsc({
       cwd, base, head, changed, config, command, cacheDir: cacheDir!, run: runTscCmd, log,
-      decision: (result) => result.ran && inspectTscResult(result, scope, baseline, () => {}, () => {}, wholeRepository, excluded, included, promotionBaseline, excludeTests),
+      decision: (result) => result.ran && inspectTscResult(result, scope, baseline, () => {}, () => {}, wholeRepository, excluded, included, promotionBaseline, excludeTests, installedCompilerCanMeasure),
     });
   };
   const rootPromotionBaseline = wholeRepository ? readBaselineDiagnostics(base, rootCommand) : undefined;
   const pwaPromotionBaseline = wholeRepository && runsPwa ? readBaselineDiagnostics(base, pwaCommand) : undefined;
   const pwaEnvPromotionBaseline = wholeRepository && runsPwaEnv ? readBaselineDiagnostics(base, pwaEnvCommand) : undefined;
   let rootPlan = planRootCheck({ wholeRepository, rootChanged, env: io.env ?? process.env, cwd, affectedRoots: io.affectedRoots ?? reverseImportAffectedRoots });
+  if (io.forbidFullLocal && rootPlan.mode === 'full') {
+    error(`[tsc-gate] FAIL — mbp 로 전체 tsc 를 실행하지 않는다 (${rootPlan.fallbackReason}). --remote 로 다시 재라 (원격 불가=미측정).`);
+    exit(1);
+    return;
+  }
   let rootsConfig: string | undefined;
   if (rootPlan.mode === 'affected') {
     rootsConfig = cacheEnabled ? 'tsconfig.gate-roots.incremental.json' : `tsconfig.gate-roots.${process.pid}.${Date.now()}.json`;
@@ -1229,12 +1252,12 @@ export function runGate(io: Partial<GateIo> = {}): void {
     rootsConfig ?? TYPECHECK_GATE_CONFIG, rootScope, ['apps/pwa/'], [], rootPromotionBaseline); }
   finally { if (rootsConfig) rmSync(join(cwd, rootsConfig), { force: true }); }
   let unmeasured = !rootTsc.ran;
-  let passed = inspectTscResult(rootTsc, rootScope, baseline, error, warn, wholeRepository, ['apps/pwa/'], [], rootPromotionBaseline);
+  let passed = inspectTscResult(rootTsc, rootScope, baseline, error, warn, wholeRepository, ['apps/pwa/'], [], rootPromotionBaseline, false, installedCompilerCanMeasure);
   if (runsPwa) {
     log(`[tsc-gate] PWA 변경 ${pwaChanged.size}개 관측 — apps/pwa/tsconfig.json 검사.`);
     const pwaTsc = checkedTsc(pwaCommand, 'apps/pwa/tsconfig.json', pwaScope, [], ['apps/pwa/'], pwaPromotionBaseline);
     unmeasured = unmeasured || !pwaTsc.ran;
-    passed = inspectTscResult(pwaTsc, pwaScope, baseline, error, warn, wholeRepository, [], ['apps/pwa/'], pwaPromotionBaseline) && passed;
+    passed = inspectTscResult(pwaTsc, pwaScope, baseline, error, warn, wholeRepository, [], ['apps/pwa/'], pwaPromotionBaseline, false, installedCompilerCanMeasure) && passed;
   }
   if (runsPwaEnv) {
     log(`[tsc-gate] PWA env 패스 — 루트 비시험 ${nonTestRootChanged.size}개 (Next ProcessEnv 선언 포함).`);
@@ -1242,6 +1265,13 @@ export function runGate(io: Partial<GateIo> = {}): void {
     unmeasured = unmeasured || !pwaEnvTsc.ran;
     passed = inspectTscResult(pwaEnvTsc, pwaEnvScope, baseline, error, warn, wholeRepository, ['apps/pwa/'], [], pwaEnvPromotionBaseline, true) && passed;
   }
+  if (passed && installedCompilerCanMeasure && missing.includes('apps/pwa/node_modules')) {
+    const quotedCwd = `'${cwd.replaceAll("'", "'\\''")}'`;
+    error(`[tsc-gate] ⛔ 대상 트리 타입 의존성 없음: apps/pwa/node_modules — cd ${quotedCwd} && bun install --frozen-lockfile && (cd apps/pwa && bun install --frozen-lockfile)`);
+    error('[tsc-gate] FAIL — PWA 의존성이 없는 트리의 진단 0건은 통과가 아니다.');
+    exit(1);
+    return;
+  }
   if (passed) { log('[tsc-gate] PASS — 변경 파일에 신규 타입 에러 없음.'); return; }
   // ⛔⭐⭐ T67 — ***마지막 줄은 언제나 「판정」이어야 한다.*** 사람도 도구도 마지막 줄을 읽는다.
   //   🩸 2026-09-11 실측(🅕 보고): 타입 에러 3건이 있는데 `tail -1` 이 «경고»를 집어
@@ -1266,6 +1296,26 @@ export function runGate(io: Partial<GateIo> = {}): void {
 //   ⭐ 그래서 막는 자리는 «여기»뿐이다 — 인-프로세스 호출자(`pr-cli.ts`·`seams.ts`)는
 //      argv 를 안 넘기고, 만약 여기서 `process.argv` 를 «읽으면» 형제 게이트가 경고한 그 사고가 난다
 //      (`elanous pr land` 의 인자를 자기 인자로 읽는다 — `src/cli/pr-cli.ts` 의 `args: []` 주석).
+/** Physical MBP/HQ seat shells need a guard even when the caller explicitly selected --local. */
+export function isHeadquartersTypecheckShell(host: string, cwd: string): boolean {
+  const name = host.toLowerCase();
+  if (/macstudio|macmini|host-e|node-b|node-c/.test(name)) return false;
+  return /macbook|(?:^|[-.])mbp(?:[-.]|$)/.test(name) || /(?:^|\/)elanous-hq\/(?:seats|work)\//.test(cwd);
+}
+
+/** HQ/seat shells default to node-b; a gate Pod, remote worker, or CI measures its own checkout locally. */
+export function forbidFullTypecheckOnLocal(env: NodeJS.ProcessEnv, host: string, cwd: string): boolean {
+  if (env.CI || env.KUBERNETES_SERVICE_HOST || env.ELANOUS_GATE_REMOTE_CHILD === '1') return false;
+  return isHeadquartersTypecheckShell(host, cwd);
+}
+
+export const defaultTypecheckRemote = forbidFullTypecheckOnLocal;
+
+export function typecheckDispatchFlags(flags: GateRemoteFlags, env: NodeJS.ProcessEnv, host: string, cwd: string): GateRemoteFlags {
+  return defaultTypecheckRemote(env, host, cwd) && flags.remote === undefined && !flags.local
+    ? { ...flags, remote: 'node-b' } : flags;
+}
+
 if (import.meta.main) void (async () => {
   // GATE-REMOTE (10-06): the only accepted arguments are the dispatch flags `--remote [host]` / `--local` — they choose
   //   «where» the same commit is measured, never «what» (the base stays merge-base(origin/main) on both sides).
@@ -1281,14 +1331,17 @@ if (import.meta.main) void (async () => {
     process.exit(2);
   }
   const repo = sh('git rev-parse --show-toplevel').trim();
+  const onMbp = forbidFullTypecheckOnLocal(process.env, hostname(), repo);
+  const dispatchFlags = typecheckDispatchFlags(flags, process.env, hostname(), repo);
   const baseRef = process.env.TSC_BASE_REF;
   const passEnv = (sha: (ref: string) => string) => (['NODE_OPTIONS', 'TSC_BASE_REF', 'TSC_HEAP_MB'] as const).filter((key) => process.env[key])
     .map((key) => `${key}=${key === 'TSC_BASE_REF' && baseRef !== 'origin/main' ? sha(baseRef!) : process.env[key]}`);
   // exitCode, not exit(): piped stdout/stderr drain before the process ends.
   process.exitCode = await dispatchHeavyCheck({
-    tool: 'ci-typecheck-changed', repo, flags,
+    tool: 'ci-typecheck-changed', repo, flags: dispatchFlags, explicitRemoteOnly: dispatchFlags.remote !== undefined,
+    stableCheckout: true, installPwa: true,
     remoteArgv: (sha) => { const vars = passEnv(sha); return [...(vars.length ? ['env', ...vars] : []), 'bun', 'run', 'scripts/ci-typecheck-changed.ts', '--local']; },
     refs: baseRef ? [baseRef] : [],
-    runLocal: () => { runGate(); return 0; },
+    runLocal: () => { runGate({ forbidFullLocal: onMbp }); return 0; },
   });
 })();

package/scripts/coord-role-pack.ts

@@ -21,9 +21,17 @@ export interface RolePack {
 
 const KNOWHOW_PATH = 'docs/roles/OP/KNOWHOW.md';
 
+/**
+ * 카드 제목 문법은 src/seat-loop/knowhow-lint.ts 의 CARD_HEADING 과 같아야 한다.
+ * 다르면 린트가 카드로 못 본 제목이 자를 때 조용히 사라지거나, 번호만 잘려 엉뚱한 아이디로 제외 기록에 남는다.
+ */
+const CARD_HEADING = /^[ \t]{0,3}##\s+(K-[A-Za-z]+-\d+)(?=$|\s|:|—)(.*)$/u;
+const CARD_HEADING_LIKE = /^[ \t]{0,3}##\s*(K-[^\s:]*)/iu;
+const SECTION_HEADING = /^[ \t]{0,3}##\s/u;
+
 /**
  * KNOWHOW.md 를 `##` 제목 단위 카드로 자른다(코드 울타리 안은 본문으로 본다).
- * 유효한 `## K-<role>-<number>` 제목을 가진 카드만 반환한다.
+ * 린트 문법을 지킨 `## K-<role>-<number>` 제목만 카드로 반환하고, 카드처럼 보이지만 문법을 벗어난 제목은 파일 단위 린트처럼 실패한다.
  */
 export function splitKnowhowCards(body: string): Array<{ id: string; title: string; text: string }> {
   const segments: Array<{ heading: string | null; lines: string[] }> = [{ heading: null, lines: [] }];
@@ -40,7 +48,7 @@ export function splitKnowhowCards(body: string): Array<{ id: string; title: stri
       segments.at(-1)!.lines.push(line);
       continue;
     }
-    if (/^##\s/u.test(line)) {
+    if (SECTION_HEADING.test(line)) {
       segments.push({ heading: line, lines: [] });
       continue;
     }
@@ -49,9 +57,14 @@ export function splitKnowhowCards(body: string): Array<{ id: string; title: stri
   const cards: Array<{ id: string; title: string; text: string }> = [];
   for (const segment of segments) {
     if (!segment.heading) continue;
-    const heading = segment.heading.match(/^##\s+(K-[A-Za-z]+-\d+)\s*(.*)$/u);
-    if (!heading) continue;
-    cards.push({ id: heading[1]!, title: heading[2]!.trim(), text: [segment.heading, ...segment.lines].join('\n') });
+    const heading = segment.heading.match(CARD_HEADING);
+    if (!heading) {
+      // 카드처럼 보이는 제목이 문법을 벗어나면 통과도 제외 기록도 불가능하다 — 조용히 빼지 않고 그 자리에서 실패한다.
+      const like = segment.heading.match(CARD_HEADING_LIKE);
+      if (like) throw new KnowhowLintError(KNOWHOW_PATH, like[1]!, '카드 제목 형식이 K-<자리>-<번호>를 벗어남');
+      continue;
+    }
+    cards.push({ id: heading[1]!, title: heading[2]!.replace(/^[:\s—]+/u, '').trim(), text: [segment.heading, ...segment.lines].join('\n') });
   }
   return cards;
 }
@@ -141,7 +154,7 @@ export function buildCoordRolePackManifest(role: RolePackRole, root = resolve(im
   // The pack body is inline. Source docs only contribute hashes, so an installed package without them still builds.
   const present = SOURCE_PATHS.filter((path) => existsSync(resolve(repo, path)));
   const missingSources = SOURCE_PATHS.filter((path) => !present.includes(path));
-  const sources = present.map((path) => ({ path, sha256: sha256(readFileSync(resolve(repo, path), 'utf8')) }));
+  const sources: RolePack['sources'] = present.map((path) => ({ path, sha256: sha256(readFileSync(resolve(repo, path), 'utf8')) }));
   const knowhow = collectVerifiedKnowhow(repo);
   if (knowhow.fileBody !== null) sources.push({ path: KNOWHOW_PATH, sha256: sha256(knowhow.fileBody) });
   const packageJson = resolve(repo, 'package.json');