STEP 1658 — Stopping-Condition v0.2 89/89 PASS worktree 隔離

2026-09-02 · src/aios/stopping-condition/v02/ + src/mcp/stopping-condition-mcp.ts · npm test:step1658

起点 + 復元 incident

1 度 destroy された: 本 STEP は最初 C:/Users/user/rei-aios/ 直下で実装、 test 89/89 PASS まで到達したが、 別タブの git pull --rebase origin main が私の untracked/unstaged STEP 1658 files を完全消去 (reflog HEAD@{6} で確認)。

藤本さん directive: 「同時にタブを並行しているので、 commit も push も衝突するのは当然。メモリやコミットをする場所を新たに設けてそちらにて行うのが当然だと思いませんか?」

解: git worktree で working tree + branch を完全隔離 (.claude/worktrees/step1658-stopping-condition-v02 + worktree-step1658-stopping-condition-v02 branch)。他タブの pull/rebase/commit は別 worktree で発生するため、私の working tree は完全保護される。

Multi-tab collision root cause fix

STEP 1554 atomic-commit (index collision 予防) + inbox pattern (集約 file collision 予防) の上に、 本 STEP で 3 段目の予防 layer = worktree working tree 隔離 が追加された:

Layer 1 (STEP 1554): git commit --only で .git/index 分離
Layer 2 (inbox pattern): MEMORY.md / RECENT_UPDATES.md への直接編集禁止、 unique file inbox 経由
Layer 3 (本 STEP 実証): git worktree で working tree + branch 完全隔離、他タブの pull --rebase 破壊から untracked files 保護

教訓: multi-tab 併走時は 常に worktree が正しい起点。メイン worktree に全タブが集まると予防できない collision (pull --rebase による untracked destruction) が残存。

6 features 全 land (再構築後)

#	Feature	File	役割
(a)	MCP wire	`src/mcp/stopping-condition-mcp.ts`	3 tool: `stopping_condition_run` / `_query_chain` / `_verify_chain`
(b)	Ledger anchor 実 wire	`v02/ledger-anchor.ts`	STEP 1638 hash-chained ledger の sync 独立実装 (canonical JSON + sha256、 rei-checker-mcp v0.3+ verify と互換)
(c)	Async 版	`v02/async-pipeline.ts`	`runStoppingConditionAsync`、 array/Promise/AsyncIterable 3 種
(d)	W-48 実 wire	`v02/w48-adapter.ts`	`routeToW48` + `createInMemoryW48Adapter`、 neither-halt → suspend
(e)	Hierarchical stopping	`v02/hierarchical.ts`	Nested `GroupStep` tree、 flatten + ancestry path 保持
(f)	Escalation chain 追跡	`v02/escalation-chain.ts`	query/findById/filter × 2 + verifyChain (seq-gap/prev-hash/hash 3 種 tampering) + traceAncestors

MCP 3 tool (a) — SafetyGate discipline

tool	役割	副作用
`stopping_condition_run`	v0.1 pipeline + opt-in ledger append	ledger append のみ (append-only、破壊なし)
`stopping_condition_query_chain`	ledger read-only query	なし
`stopping_condition_verify_chain`	hash-chain 独立検証	なし

MCP surface で W-48/external-oracle/human 送信は実行しない (STEP 1345+1644 継承)。 payload 生成のみ、実 delivery は library 経由で caller が判断。 auto-approve 経路の意図せぬ suspend 予防。

Test 89/89 分布

Section	PASS/Total
(b) Ledger anchor	13/13
(c) Async pipeline	10/10
(d) W-48 adapter	10/10
(e) Hierarchical	14/14
(f) Escalation chain	19/19
(a) MCP wire	13/13
Integration	10/10
合計	89/89
Regression — STEP 1651 v0.1	89/89
Regression — STEP 1631 invariance-checker	48/48

Honest scope (v0.2)

Ledger sync 独立実装 (scripts/checker/ledger.ts async 非依存、 hash 算式共通)
Async streaming 早期停止未対応 (v0.3+ candidate)
W-48 送信は library 経由のみ (MCP では実行しない)
Hierarchical group aggregate 未実装 (v0.3+ candidate)
Ledger kind hardcoded ('stopping-condition-escalation')
Chain verify self-contained (rei-checker-mcp v0.3+ verify と冗長)
Worktree 隔離で開発: main worktree への merge/push は藤本さん judgment 待ち

次 STEP candidate (v0.3+)

(g) Streaming 早期停止 async
(h) Hierarchical group aggregate (D-FUMT₈ meet/join)
(i) External-oracle delivery adapter (rei-checker-mcp 実 wire)
(j) Ledger kind パラメータ化
(k) MCP stopping_condition_hierarchical_run
(l) 実 W-48 API (learning-pipeline) end-to-end wire

STEP 1554 atomic-commit dogfood 34 例目。 Worktree 隔離初適用 (multi-tab collision root cause fix 3 段目)。 STEP 番号中央 counter (claim-step.ts --sync-from-git --confirm 後 --slug stopping_condition_v02_six_features)。