証拠に基づくドキュメント
主張がドキュメントとなるのは、それを確認する手段を伴うときのみである。 このスキルは標準であり地図である:10のカノンと、それぞれが定義され、施行され、種をまかれる場所を示す。
これはナビゲーターであり、コピーではない。以下のすべての法則は、正確に一つの家を持つ——これがカノン3であり、教義を言い換えるナビゲーターは、それが索引している規則を破ることになる。各カノンの全文、その根拠、およびその施行は documentation.md → カノン に存在する。
10のカノン
- 主張はそのアドレスを運ぶ —
ファイル:行、その出力付きのコマンド、テスト名;レッスンはそのコミットを名指す。 - 数値は計算され、決して再記述されない。
- すべての事実は正確に一つの家を持つ — 他のものはリンクし、決して再記述しない。
- 参照はドキュメントが読まれる場所から解決される — それが存在する場所からではない。
- 誰も見ていない緑が赤に変わっても証拠にはならない。
- チェックはそのスコープとそれを超えないものを証明する。
- 沈黙は合格ではない — メカニズムが見なかったときに何を表示するかを問え。
- 推定値が測定値として発表されることは決してない — ルールはその証拠条件を述べる。
- チェックされなかったものは、チェックされたものの横に表示される。
- ドキュメントはそれを真実にした変更と共に出荷される — 修正は追記され、決して上書きされない。
これらは認識論的である:何が主張をドキュメントにするかを定義する。操作レイヤー——特定のトリガーで何をすべきか、チェックと終了条件を伴う——は learned.md にある。両者が同じことを言っているように見える場合、カノンはなぜであり、ルールはどのようにである。
次に進む場所
| あなたが…しようとしているとき | 読むもの | なぜなら |
|---|---|---|
| プロジェクトのドキュメントをゼロから設定する | documentation.md → インベントリ | 最初の作業行の前に答えるべき4つの質問 |
| 決定を記録して作成者を超えて存続させる | レジスタとID + templates/decisions.md | 追記専用ID、エッジマーカー、一つの決定の家 |
| 何かを変更し、ドキュメントを孤立させない | ドキュメントループ + 伝播行列 | 変更が負うドキュメント。メタ行から開始 |
| 事実が属する場所を決定する | 単一情報源 | 二つの家が、そのうちの一つが更新された日に矛盾する |
| 嘘をつけないチェックを構築する | gates.md | 三つの軸、施行ラダー、プログレッシブアーミング、プロービング |
| 成功を報告するメカニズムを信頼する | gates.md → 偽の成功 | 確認する理由を取り除く失敗 |
| エージェント自身のツールにチェックを配線する | hooks.md | フック契約、そしてクラッシュしたガードがアクションを許可する理由 |
| プロジェクトがすでに持っているドキュメントを監査する | setup.md | 7パス、最も安いものから順に、出力は修正計画 |
| レッスンを次の実行に持ち越す | retrospective.md | 最初にスタンプ(コールドトリガーがそれを読む)、次に最大10件に刈り込む;すべてのレッスンはそのコミットを名指す |
| ゲートをホストプロジェクトに種まきする | templates/docgate.sh | 緑として種をまく:まだ入力がない場所では休眠状態 |
| エージェントが動作することを主張する | tdd.md → テスト対象がエージェントの場合 — リンクではなく名前で指定(このナビゲーターのディレクトリ外リンクは、パッケージャーがこのスキルだけを出荷すると壊れるため) | アドレスはトレースIDと実行されたアサーション(カノン1);誰も見ていない審判が同意しないことは、誰も見ていない緑が赤に変わること(カノン5) |
| 変更全体を受け入れまで進める | task-pipeline | このスキルは標準;そちらは変更がリポジトリに到達する方法 |
これが適用される場合
境界は「それが真実として読まれる」ときである。 決定記録、README、受け入れ報告書、ランブック、ユーザー向けチェンジログ、監査結果、何かが検証されたという主張。
このスキルを通さないもの: 草稿、考えを声に出すこと、チャットでの回答、コミットメッセージ、コードコメント。「それを確認させて」に対してファイル:行を要求することは、エージェントに、ルールが実際に何かを保護する場所を迂回する方法を教える最短の道である。
拒否フレーズ — 「без доков」/「私の言葉を信じて」. 通常ここを通るタスクに対して機能する:直接実行し、そして主張が裏付けがないことを声に出して言う。推定値を測定値として提示するのではなく(カノン8)。
唯一のテスト
ドキュメントが出荷される前に、「どうやって知ったの?」と誰かに聞かれたら恥ずかしい文を探して読め——そしてその文にアドレスを与えるか、削除せよ。上記のすべては、その質問を機械的にしたものである。