TAG ARCHIVE
compliance
MARIA OSブログのcomplianceタグに関連する4件の記事。AIエージェントの安全性、説明責任、フェイルクローズドゲート、監査可能性、HITL制御。 検索エンジンとLLMが技術テーマ単位で参照しやすい正規アーカイブです。
Audit Universe Runtime:監査手続をランタイム・オペレーションとして実行するAgentアーキテクチャ
ISA/JICPA基準をエージェント実行仕様に変換する — サンプリング戦略から実証的テストまで、MARIA OSガバナンスアーキテクチャの中で
従来の監査手続は、自動化に抵抗する散文ベースの基準書に記述されている。本論文では、MARIA OS内のマルチエージェント実行環境であるAudit Universe Runtimeを提示する。ISAおよびJICPA基準を実行可能なエージェントタスク仕様にコンパイルし、サンプリング戦略エージェントを統計的厳密さで設計し、実証的テスト中のリアルタイム異常検知を実装し、形式的なカバレッジモデルを通じて監査の完全性を証明する。このアーキテクチャはMARIA座標をエンゲージメント構造にマッピングし、すべての重要性閾値における人間-エージェント協働ゲートと不変の監査証跡による継続的監査を可能にする。
動的規制同期: リアルタイム方針更新伝播の形式モデル
規制改定をPolicy Set deltaとして取り込み、ゲート規則整合を自動検証する
規制更新の実装遅延を抑えるため、`P_{t+1}=P_t+DeltaP` のデルタマージを中心とした検証パイプラインを設計する。改定ルールと既存ルールの衝突を本番反映前に検出し、統治ノードへの伝播を高速化する。
AML検知責任ゲート最適化: 反マネロンの制約付き損失最小化
誤検知・見逃し・遅延コストを統合し、ゲート強度を連続制御として最適化する
AML運用のコスト構造を連続ゲート強度 `g` で定式化し、規制制約下で最適点を導く。二値開閉ではなく連続調整として設計することで、検知要件を維持しながら総コストを抑える。
監査可能な金融意思決定トレーサビリティ: 規制準拠の証拠グラフモデル
意思決定再構成をDAG証拠連鎖として実装し、再現率を定量評価する
断片ログでは困難な決定再構成を、因果エッジ付き証拠DAGで実現する。`TraceCompleteness` 指標を用いて再現可能性を測定し、規制監査での追跡可能性を高める実装枠組みを示す。