証拠レイヤー
このページが用いる証拠サーフェス
このページは、ガバナンスファイルを参照するだけではありません。観察、トレーサビリティ、忠実性、監査をより再構成しやすくするサーフェスにも結びついています。以下の順序が、最小限の証拠の連鎖を示します。
- 01証拠アーティファクトsituational-applicability-map.json
- 02証拠アーティファクトdoctrine-glossary.json
situational-applicability-map.json
/situational-applicability-map.json
証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。
- 証明可能にすること
- 観察、トレース、監査、または忠実性の連鎖の一部。
- 証明しないこと
- 完全な証明でも、従うことの保証でも、暗黙の認証でもない。
- 用いる場面
- ページが自らの証拠レジームを明示する必要があるとき。
doctrine-glossary.json
/doctrine-glossary.json
証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。
- 証明可能にすること
- 観察、トレース、監査、または忠実性の連鎖の一部。
- 証明しないこと
- 完全な証明でも、従うことの保証でも、暗黙の認証でもない。
- 用いる場面
- ページが自らの証拠レジームを明示する必要があるとき。
宣言と該当判定の違い
正規インテントを宣言しても、ユーザーのリクエストが自動的に該当判定されるわけではない。
レジストリが述べるのは、「このトークンは存在する。その範囲、ありうるCCL/SALとのリンク、除外事項、期待されるパックはこれである」ということである。「このリクエストはこのトークンに属する」とは述べていない。
該当判定は、あくまで外部の操作である。それはエージェント、評価プロトコル、人間によって行われうるが、ランタイム自身が推論してはならない。
この区別はSALのドクトリンを守る。宣言された適用性は、推奨、必要性、保証、測定された適合のいずれも意味しない。