検証

はい。 install.shへ--dry-runを付けると、書き込まずに作成・更新予定を確認できます。 配布物の初回導入経路だけを確認する場合はmake install-dry-runも利用できます。

変更の正しさ、安全性、scope、権限、検証根拠をrisk-basedに確認する品質判定です。 高リスク、広い影響範囲、共有契約、security、migration、検証失敗、重要な未確認事項がある場合に独立Trialを要求します。

いいえ。 低リスクで局所的な変更は実装担当者の検証で完了できます。 高リスク、広いblast radius、公開契約、data互換性、security、migration、失敗した検証などがある場合は独立Trialを行います。

blocker、失敗したcheck、success criteriaの検証状況、scope drift、securityなどのhigh-risk trigger、次の最小行動と停止条件を追跡する状態です。 重要な事実が変化したときだけ更新します。

上流と下流が同じ対象状態を参照していることを保証するために使います。 helperが発行したsnapshotを利用し、agentがdigestを推測しません。 不一致はstale_evidenceとして停止します。

配布元リポジトリではmake validateとgit diff --checkを基本にします。 installerを変更した場合や初回導入経路を確認する場合はmake install-dry-runも実行してください。 実際のGuild rootには各scriptの--dry-runを使用します。

安全境界、role・model設定、queue・snapshot契約、最終成果のhard gate、日本語化方針など、リポジトリが提供する一連のvalidatorを実行します。 失敗した場合は最初のfailureを診断し、原因に対応したcheckで再検証します。

いいえ。 失敗した検証を省略して成功扱いにしないでください。 最初のfailureを診断し、原因を修正した後、同じcheckと変更内容に対応するcheckを再実行します。 未実行項目がある場合は理由と残リスクを明示します。