docs: 未記載ツール群の文書補完と Intent autonomy 新章(Bolt 3 tool-docs — 260805-docs-impl-sync)

[j5ik2o]

概要

intent 260805-docs-impl-sync の Bolt 3 — 実装済みだが docs 未記載のツール群の文書補完(FR-5 の F-2〜F-7、FD-Q1=B 裁定 = 既存章への節追加を既定とし Intent autonomy 系のみ新章)。Bolt 1(#2302)に積んだ stacked PR。#2302 着地後に base を main へ付け替え transplant する。

変更(12 ファイル +712 行 + 畳み込み 1 件、全 EN/JA 対)

• F-2 → docs/reference/22-formal-model-supply.{md,ja.md}: TLA+ authoring CLI(tla-authoring.ts)の契約と subcommand 群、evidence store(tla-evidence.ts — 実読の結果 CLI ではなく library と確定し、そのとおり記述)
• F-3 → docs/guide/19-plugins.{md,ja.md} + docs/reference/11-contributing.{md,ja.md}: plugin import-closure guard(scripts/import-closure-guard.ts)を plugin 作者視点と貢献者視点で書き分け
• F-4/F-5/F-6 → 新章 docs/reference/24-intent-autonomy.{md,ja.md}: autonomy モード/グラント、decide-question(AUTO_DECIDED)、review surface、Intent completion seal、harness registry。章番号 24 は起草時とコミット直前の 2 回、git fetch 後の git ls-tree origin/main docs/reference/ 実測で空きを確認(cid:code-generation:shared-ledger-insert-collision 追補準拠 — マージ直前にも再確認する)
• F-7 → docs/reference/12-state-machine.{md,ja.md}: advisory 選択の受理経路(record verb・HUMAN_TURN 束縛・冪等受理・correct-misattributed)の H4 追加
• 畳み込み(同根、Q1=B 執行): 19-plugins の「Seven packaged faces」→ 実測 8(pi 追加)

検証(ローカルを正 — docs-only、#2278 参照)

検証	結果
t174(unit)	exit 0 — 5 pass
t48 + t52 + t287 + t291 + t-pi-docs(integration)	exit 0 — 31 pass / 0 fail(コミット後再実行も 0)
受け入れ grep: 7 識別子の EN/JA 両面 ≥1 hit + 解説実体	全成立
H2 parity(22 / 19 / 11 / 12 / 新 24 章)	全一致(24 章 5/5)
git status	docs/ のみ。並行 Bolt 予約ファイル(05/17/04-scopes)不変

内容はすべて対象実装の実読からの転記(NFR-3)。ブリーフとの相違 2 件(tla-evidence の CLI 性、行数)は実読を正として記述し申告済み。

Refs: #2302(base)、intent record amadeus/spaces/default/intents/260805-docs-impl-sync/

---

Note

Low Risk
Documentation-only changes with no runtime or auth logic modified; risk is limited to doc drift or incorrect CLI paths if implementations change later.

Overview
Documentation-only sync for tools that already ship in the framework: twelve EN/JA files gain or extend reference material, and the docs index links the new Intent autonomy chapter.

New chapter docs/reference/24-intent-autonomy.{md,ja.md} documents Intent-scoped autonomy (none / semi / full), grant confirmation via amadeus-bolt, decide-question / AUTO_DECIDED, the append-only auto-decision review surface, the completion seal from amadeus-intent-completion.ts, and amadeus-harness-registry.ts as the single harness capability table.

Formal model supply (22-formal-model-supply) now describes the tla-authoring CLI (identity, bundles, applicability, hold / advisory hold) and tla-evidence.ts as a library writer for specs/tla-evidence, not a standalone CLI.

Plugins (19-plugins + 11-contributing) document the import-closure guard (scripts/import-closure-guard.ts → assertPluginImportClosure at package time), failure message shapes, and tests t440–t443. The same pass updates packaged harness coverage from seven to eight faces (pi added to auto-compose, folder-drop-auto, and --project-root notes).

State machine (12-state-machine) adds a subsection on advisory choice acceptance: run-now / defer-with-risk, prompt vs record verb, HUMAN_TURN binding, idempotency, and correct-misattributed.

Index: docs/README.{md,ja.md} link Intent autonomy, review, and completion at reference/24-intent-autonomy.

^{Reviewed by Cursor Bugbot for commit f4d99c2. Configure here.}

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

🗂️ Base branches to auto review (1)

• main

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro Plus

Run ID: d95b9a8e-460e-46fa-8b70-f0e623585d70

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

_{Comment @coderabbitai help to get the list of available commands.}