chore(record): intent 260807-autonomy-reachability の工程記録を同期(#2378 完了)

amadeus/spaces/default/codekb/amadeus/reverse-engineering-timestamp.md

@@ -101,6 +101,27 @@
 - Per-intent record: `re-scans/260807-projectdir-worktree-fix.md`
 
 
+## 実行メタデータ（履歴: 260807-autonomy-reachability）
+
+- Date: `2026-08-07`
+- Base commit: `b8e3e664f08185e0bd3e3b6d9b7f2dfb60c0ad7d`（`cid:reverse-engineering:rescan-base-ancestry` に従い、HEAD 祖先かつ距離最小の observed を選定。`git merge-base --is-ancestor b8e3e664f08185e0bd3e3b6d9b7f2dfb60c0ad7d 4a3da7d62c3cc3dadda2dfb6225d30cfa985a8d0` = exit 0 を実測。直前の現在断面 `260807-failclosed-recovery-path` の observed）
+- Observed commit: `4a3da7d62c3cc3dadda2dfb6225d30cfa985a8d0`（= `origin/main` tip = 本 worktree のベース。`git rev-parse HEAD` で一致を実測。`cid:reverse-engineering:c2-observed-mainline-commit` により mainline 系譜のコミットを記録）
+- 区間規模: **12 commits / 108 files changed（+5711 / −200）**（`git log --oneline` / `git diff --name-only` / `git diff --shortstat` の実出力からの転記）
+- Scope: `self-feature`、Brownfield、単一 repo `amadeus`、Depth: Standard、Test Strategy: Comprehensive
+- Focus: **Intent autonomy の到達性** — [#2378](https://github.com/amadeus-dlc/amadeus/issues/2378)。宣言できない（`--autonomy` が birth 時に使えない）／宣言しても効かない（state 投影の非対称）／宣言が誰にも見えない（導線ゼロ）の3層
+- Scan mode: DIFFERENTIAL refresh **+ xrev mode**。#2378 はクロスレビュー2名が成立している（run `xrev-2378-20260807T110535Z`）ため `cid:reverse-engineering:c1-xrev-single-issue` が発動する。**行番号再解決は不要** — xrev の検証 SHA `4a3da7d62` が observed と完全一致し（免除条件の充足）、かつ差分区間が autonomy 系ファイルを一切触っていないことも独立に実測した（区間実測による currency の確定）
+- Verification: 本 RE では新規テストを実行していない。coverage 実行は `cid:code-generation:c1-coverage-single-owner` に従い一切行っていない。接地手段は observed 断面での `git log` / `git diff` / `grep` の実測と患部の verbatim 直読、および本 intent 実行中の**ライブ実測4件**
+- Current decision: **到達性の欠落は3層に分かれ、いずれも「機構は実装済み・接続が欠けている」形である。** ①宣言できない — `amadeus-orchestrate.ts:1290-1294` の judgment 0（`stateContent === null`）が発火し、Branch 4ab（`:2952-2958`）が birth 分岐の手前に置かれているため、birth と `--autonomy` の同時宣言は必ず失敗する。②効かない — `Intent Autonomy Mode` を state へ書くコードは repo 全体で `amadeus-bolt.ts:1075` の1箇所のみで `applyProductionAutonomyMode` の外側にあり、C13（`amadeus-orchestrate.ts:1354`）経由の宣言では state 3フィールドが更新されない。③見えない — `--autonomy` の導線は `stage-protocol.md:125` の1件のみで、conductor が読む8面（SKILL.md 6 + commands 2）すべてで0件
+- **最も影響範囲が広い所見**: state 投影の非対称（②）の読み手は**6系統**ある（`amadeus-lib.ts:4942` statusline / `amadeus-orchestrate.ts:1894-1899` swarm スケジューリング / `amadeus-stop.ts:150-154` 継続キャップ / `:160-162` budget mode / `:196-198` question carve-out / `amadeus-log.ts:180` guard 免除）。とくに `amadeus-stop.ts:196-198` は state を**先に**読み `semi` でなければ projection を読まずに `false` を返すため、**`--autonomy semi` は、それが開くために作られた当の question carve-out を構造的に開けない**
+- **xrev verdict の訂正2件**: **(1)** 第3の理由コード `AUTHORITY_BOUNDARY` は production に存在しない（全域 grep で intent record 4件のみ。`260805-semi-redefine-autonomy-f/.../component-methods.md:111` が削除理由を、同 `business-rules.md:17` の R5 が2値固定を明記）。**(2)** advisory 起点の起動判断は「`InteractionKind` 4値のどれにも該当しない」という G2 の主張は誤り — `amadeus-advisory-choice.ts:521` が `kind: "question"` として構成済みで、`:576-586` が `run-now` の無人解決を許す。**完了条件6の後半は実装済みであり、残るのは `plugins/*/stages/*.md:27` の docs drift のみ**（要件を縮小できる）
+- **計測述語の訂正**: 完了条件4の回帰計測は `INTENT_AUTONOMY_TRANSACTION_COMMITTED`（`amadeus-intent-autonomy-replay.ts:24`）を使う。`AUTONOMY_MODE_SET` は legacy で**発行点ゼロ**（`amadeus-bolt.ts:7` 逐語「AUTONOMY_MODE_SET remains replay/doctor-only legacy data.」、`amadeus-intent-autonomy-production.ts:116` は読むだけ）。Issue 本文と xrev の母集団選定が legacy 語彙に依存しており、ベースライン自体の再定義が要る（C2 = 231件 / 63 intents は xrev 2名が再現不能と判定済み）
+- **ライブ実測4件（本セッション内）**: (a) birth と `--autonomy` の同時宣言が拒否された。(b) `--autonomy semi` 宣言後も `amadeus-state.md` の `Intent Autonomy Mode` が `none` のまま残存し `--status` のみ `semi` を表示した。(c) 発行イベントは `INTENT_AUTONOMY_TRANSACTION_COMMITTED` であり `AUTONOMY_MODE_SET` ではなかった。(d) `review-auto-decision` で3件キューの2件目が `PROVENANCE_REQUIRED` で失敗した（`amadeus-autonomy-review-production.ts:376` の `latestTurnIndex <= consumedTurnIndex`、batch 経路は存在しない）
+- テスト現況: `--autonomy` の現行挙動は `tests/integration/t450-autonomy-flag-branch.test.ts:83` と `tests/unit/t450-autonomy-flag-apply.test.ts:95` で**逆向きにピン留め済み**のため、birth-time 宣言は実装段で着手せず要件段の仕様裁定とテスト契約の明示改訂をセットで確定する（`cid:reverse-engineering:c1-pinned-behavior-ruling`）。`--autonomy` を含む grep は `tests/` 配下に0件で、CLI flag と help / SKILL の導線 parity を検査するテスト自体が repo に存在しない。`SCOPE_OUT` は戻り値の assert のみで audit 出現の検査は0件
+- Requirements Analysis へ送る裁定候補: **(1)** birth-time 宣言の実現形（Branch 4ab を birth 後段へ移すか、judgment 0 に latch を持たせるか）と t450 系2テストの明示改訂。**(2)** `authorizationReason` の可視化形（audit emit か preview 列挙か）と、判断が実効を持つのは semi 側のみである点の明記（full は `ALL_INTERACTIONS` で4値全許可）。**(3)** engine 迂回質問の観測手段（`QUESTION_ANSWERED` への属性追加か sensor か）。**(4)** 完了条件4のベースライン再定義。**(5)** 導線是正の8面（SKILL.md 6 + commands 2）と `claude SKILL.md:248`「AUTONOMY IS NEVER INFERRED」との整合、`stage-protocol.md:135` の semi 版 `decide-question` 手順の新設。**(6)** 完了条件6の要件縮小（docs drift のみ）。**(7)** 完了条件1と5の着地順序（導線だけ先行させると「書いてあるのに動かない」導線を作る）。**(8)** finding 4 の契約変更3点セット（`:376` 単調性 / `:392-397` digest / `:405` `commandOccurrenceId`）
+- Updated artifacts: 本ファイルの現在断面を更新し、直前の現在断面 `260807-failclosed-recovery-path` を本文保持のまま履歴へ降格（`cid:reverse-engineering:c3-relabel`）。履歴節の file:line は当時の observed 時点を指すため変更していない（`cid:requirements-analysis:historical-section-cite-check-at-observed`）。共有8テーマ成果物（`architecture.md` ほか）は本文を書き換えていない — 既存の autonomy 関連記述はすべて observed SHA 付きの履歴節であり、当時の断面として正しいため（詳細は per-intent record）。per-intent record `re-scans/260807-autonomy-reachability.md` を新設
+- Per-intent record: `re-scans/260807-autonomy-reachability.md`
+
+
 ## 実行メタデータ（履歴: 260807-failclosed-recovery-path）
 
 - Date: `2026-08-07`

amadeus/spaces/default/elections/260808-e-cgdrift/ballots/subagent-1.json

@@ -0,0 +1,12 @@
+{
+  "kind": "original",
+  "electionId": "E-CGDRIFT",
+  "voter": "subagent-1",
+  "voterKind": "subagent",
+  "choiceInternalNo": 1,
+  "goa": 2,
+  "reservation": "採用の条件として2点の是正を求める。第一に、本 choice の description が『swarm referee(prepare/check/finalize)を使えず』としている点は実測と食い違う — audit の seq 546-559 は prepare が実際に走り3つの worktree を作成し SWARM_STARTED(cap 3)まで到達したことを示す。構造的に不能だったのは engine が作った repo 内 worktree に対する agent 自身の書込・git 操作であり、その帰結として check/finalize の convergence が記録されなかった、というのが実測に接地した機序である。record と diary へはこの精密な機序で書き、batch 3(u4/u5)は fan-out 自体が存在しない別事実として分けて記載すること(cid:requirements-analysis:mechanism-cite-verify-at-draft / P2)。第二に、本 intent の construction/code-generation/memory.md は現時点で初期テンプレートのままで Deviations 節が空であり、本 choice が前提とする申告が未実施である。ゲート提示前に diary の Deviations と code-summary へ、原因(実行環境制約)・実際に採った経路・converged 表記を用いない代替検証水準を実測値付きで記載し、既存 cid の適用実例であることを明記してから進むこと。",
+  "rationale": "独立実測に基づき (b) を採る。(1) 依存の実在: unit-of-work-dependency.md の yaml edge block は u1-autonomy-core / u3-question-route-observability / u6-plugin-docs-drift がいずれも depends_on []、u4-conduit-parity → [u2-birth-declaration]、u5-measurement-report → [u1,u2,u3] であり、batch 1 の3者間および u4-u5 間に技術的依存は無い。同ファイルは末尾で自らを『本表はトポロジーの記述』と規定しており、依存エッジは技術的依存の表現である。したがって (a) を採ると実在しない依存を graph へ焼き込むことになり、org.md Forbidden の検証劇場(実行結果・事実から導出されない記録)および P2(記録は実測事実のみ)に抵触する。(2) 既決ノルムの存在: project.md に cid:code-generation:c1-pcp-isolated-session-swarm-incompat が persist 済みで、worktree 隔離ガード下の実効経路として『Agent の worktree isolation で builder を起動 → conductor が merge-base 一括 apply / cherry-pick で取込み fidelity diff 空を機械確認 → 検証コマンドを conductor ツリーで再実行 → swarm referee(check/finalize)は使えないため converged 表記を用いず、代替の検証水準をゲートで明示開示する』を定めている。本件はその適用実例であり既決ノルムの機械的執行に当たるため、choice『ユーザーへエスカレーション』は不要 — team.md の no-election-for-decided-norms と always-elect の執行クラス判定に従う。(3) 監査実測: audit シャードは WORKTREE_CREATED / STATE_FORKED / AUDIT_FORKED を u1-autonomy-core・u3-question-route-observability・u6-plugin-docs-drift の3ユニットのみ記録(seq 546-557)、SWARM_STARTED は batch 1・concurrency cap 3(seq 559)、SWARM_COMPLETED は 0 件、u4/u5 に WORKTREE_CREATED は存在しない。engine のエラー文が述べる『fan-out rows for [u1,u3,u6] / convergence for none / batch 3 は fan-out 無し』は実測と一致する。以上より直列化の原因は unit 間の依存ではなく実行環境制約であることが確定しており、逸脱として申告し record へ記録して進む経路が正しい。",
+  "submittedAt": "2026-08-08T11:02:20Z",
+  "receivedAt": "2026-08-08T11:02:46Z"
+}

amadeus/spaces/default/elections/260808-e-cgdrift/ballots/subagent-2.json

@@ -0,0 +1,12 @@
+{
+  "kind": "original",
+  "electionId": "E-CGDRIFT",
+  "voter": "subagent-2",
+  "voterKind": "subagent",
+  "choiceInternalNo": 1,
+  "goa": 2,
+  "reservation": "採用の条件として、code-summary / diary の開示は cid:code-generation:c1-pcp-isolated-session-swarm-incompat (iv) の逐語要求を満たすこと — すなわち『converged』表記を用いず、swarm referee の代替として実際に採った検証水準(builder head との fidelity diff 空の機械確認、conductor ツリーでの全検証コマンド再実行と exit code)を実測値で書く。逸脱の申告が『環境制約により直列化した』という一文だけで終わり、代替検証の実測が伴わない場合は、逸脱の可視化にはなっても検証水準の担保にはならない(org.md Forbidden の検証劇場に接近する)。",
+  "rationale": "独立実測に基づく判定。(1) 直列依存の不在: inception/units-generation/unit-of-work-dependency.md の YAML edge block を実読し、depends_on は u2→[u1] / u4→[u2] / u5→[u1,u2,u3] のみで、engine が名指しする batch 1 の {u1,u3,u6} 相互間および batch 3 の {u4,u5} 相互間にエッジが無いことを確認した(u3/u6 は depends_on: [] )。同ファイルの『ファイル交差の目録』も u3『全 Unit と非交差』/ u6『非交差』/ u4『コード Unit と非交差』/ u5『record 内レポートのみ』と記載しており、技術的直列依存は実在しない。よって選択肢 (a) を採ると存在しない依存を graph へ固定することになり、org.md Forbidden の検証劇場(実行結果から導出しない構造の構築)と team.md First Principles P2(記録は実測事実のみ)に正面から抵触する。(2) 環境制約の実在: 本投票セッション自身で、複数コマンドを含む Bash 実行がハーネスにより『This session is isolated in the worktree /…/.claude/worktrees/intent-2378-autonomy-reachability … a worktree-isolated session's git operations must target its own worktree』として拒否された(一次実測)。worktree 隔離ガードの現存が自セッションで確認できる。(3) 既決ノルムの被覆: project.md:325 の cid:code-generation:c1-pcp-isolated-session-swarm-incompat を実読し、『engine ツールが作った repo 内 worktree に対し conductor も subagent も直接の git 操作・Write・EnterWorktree(path) が構造的に拒否される』『(iv) swarm referee(check/finalize)は使えないため converged 表記を用いず、代替の検証水準をゲートで明示開示する』を verbatim で確認した。本件はこの cid が定義する経路そのものの適用実例であり、graph 意味論の新規仕様判断ではない。したがって選択肢 internalNo 3(ユーザーエスカレーション)は不要 — team.md のエスカレーション正準リスト(1)可否同数 (2)PR マージ (3)人間関与が本質 (4)仕様変更 のいずれにも該当せず、既決 cid から一意に導かれる。(4) 監査証跡の整合: 本 intent の audit シャードを実測したところ WORKTREE_CREATED 3 / STATE_FORKED 3 / AUDIT_FORKED 3 で、SWARM_* および batch-completed 系イベントは 0 件。engine のエラー文が述べる『fan-out rows for 3 units, batch-completed convergence for none』と一致し、直列実装は監査上も事実。(5) engine 自身が (b) を approved exit として名指ししており、本選挙がその『先に取る裁定』に当たる。以上より internalNo 1(逸脱として裁定・申告して進む)が唯一整合する経路。",
+  "submittedAt": "2026-08-08T00:00:00Z",
+  "receivedAt": "2026-08-08T11:02:01Z"
+}

amadeus/spaces/default/elections/260808-e-cgdrift/election.json

@@ -0,0 +1,27 @@
+{
+  "electionId": "E-CGDRIFT",
+  "kind": "blocker",
+  "question": "intent 260807-autonomy-reachability の code-generation ステージゲートで、engine のプラン乖離ガードが report を拒否した。エラー全文: 「Observed: the compiled Bolt DAG declares these batches parallel and this run has no fan-out on record for them — batch 1 (3 units: u1-autonomy-core, u3-question-route-observability, u6-plugin-docs-drift); batch 3 (2 units: u4-conduit-parity, u5-measurement-report), but the audit trail records fan-out rows for [u1-autonomy-core, u3-question-route-observability, u6-plugin-docs-drift] and batch-completed convergence for none, so these units were built one at a time while the plan said they run in parallel.」 approved exit として engine は2つを名指ししている — (a) 直列化の依存を unit-of-work-dependency.md へ理由付きで記録して recompile する (b) 逸脱が意図的なら先に裁定を取る。事実関係: 本セッションは worktree 隔離ガード下にあり、cid:code-generation:c1-pcp-isolated-session-swarm-incompat が記録するとおり engine ツールが作る repo 内 worktree への直接 git 操作・Write・EnterWorktree が構造的に拒否されるため swarm referee(prepare/check/finalize)を使えず、実装は Agent の worktree isolation で1体ずつ起動して conductor が取り込む形になった。unit 間には技術的な直列依存は無い(u4 は u2 に、u5 は u1/u2/u3 に依存し、いずれも着地済み — u4 と u5 の間に依存は無い)。どの経路を採るか。",
+  "choices": [
+    {
+      "internalNo": 1,
+      "label": "(b) 環境強制の意図的逸脱として裁定し、record へ申告して進む",
+      "description": "直列化の原因は unit 間の依存ではなく実行環境の制約(worktree 隔離ガード下で swarm referee が使えない)である。したがって (a) を採って unit-of-work-dependency.md に依存エッジを書くと、存在しない技術的依存を graph に固定することになり、P2(記録は実測事実のみ)と検証劇場 Forbidden に抵触する。本選択肢は逸脱を逸脱として申告し、原因(環境制約)と実際に採った経路(Agent worktree isolation による逐次実装+conductor 取り込み+全検証再実行)を code-generation の diary と code-summary へ記録したうえでゲートを進める。既存 cid:code-generation:c1-pcp-isolated-session-swarm-incompat の適用実例として扱う。"
+    },
+    {
+      "internalNo": 2,
+      "label": "(a) unit-of-work-dependency.md へ直列依存を記録して recompile する",
+      "description": "engine が第一に名指しする経路。u4→u5(あるいは batch 1 の u1→u3→u6)へ依存エッジを追加し、理由として実行環境制約を書いて recompile し、graph 上も直列として整合させる。利点は engine のガードが自然に解消し、以後の再実行でも同じ判定になること。欠点は unit 間に実在しない技術的依存を graph へ焼き込むこと — 後続 intent が依存グラフを読んで並行化の判断材料にすると誤導する。"
+    },
+    {
+      "internalNo": 3,
+      "label": "ユーザーへエスカレーションする",
+      "description": "graph の意味論(依存エッジが技術的依存だけを表すのか、実行環境制約も含む運用上の直列化を表しうるのか)は仕様判断であり、選挙で決めずユーザー裁定に委ねる。"
+    }
+  ],
+  "voters": [
+    "subagent-1",
+    "subagent-2"
+  ],
+  "state": "recorded"
+}