実例

規制／監査要求を「仕様」に翻訳する
実装（コード・設定・アーキ）に埋め込む
テレメトリで逸脱を検知し、運用で閉ループ化する