TAG ARCHIVE
audit
MARIA OSブログのauditタグに関連する4件の記事。AIエージェントの安全性、説明責任、フェイルクローズドゲート、監査可能性、HITL制御。 検索エンジンとLLMが技術テーマ単位で参照しやすい正規アーカイブです。
Audit Universe Runtime:監査手続をランタイム・オペレーションとして実行するAgentアーキテクチャ
ISA/JICPA基準をエージェント実行仕様に変換する — サンプリング戦略から実証的テストまで、MARIA OSガバナンスアーキテクチャの中で
従来の監査手続は、自動化に抵抗する散文ベースの基準書に記述されている。本論文では、MARIA OS内のマルチエージェント実行環境であるAudit Universe Runtimeを提示する。ISAおよびJICPA基準を実行可能なエージェントタスク仕様にコンパイルし、サンプリング戦略エージェントを統計的厳密さで設計し、実証的テスト中のリアルタイム異常検知を実装し、形式的なカバレッジモデルを通じて監査の完全性を証明する。このアーキテクチャはMARIA座標をエンゲージメント構造にマッピングし、すべての重要性閾値における人間-エージェント協働ゲートと不変の監査証跡による継続的監査を可能にする。
証拠整合性スペクトル解析: 監査証拠の固有分解による不正兆候検出
証拠相関行列のスペクトルギャップを用いて、整合性崩れと捏造パターンを抽出する
証拠集合をベクトル空間として扱い、相関行列の固有構造から異常な整合崩れを検出する。ルール検査だけでは見落としやすい協調的捏造リスクを、統計的しきい値で早期抽出する枠組みを示す。
監査停止基準の数理設計: いつ十分かを判定する最適停止理論
MAX制約と逐次検定で、過小監査と過剰監査の両損失を最小化する
監査を早く止める損失と遅く止める損失を同時に扱い、停止判定を制約最適化として定式化する。逐次確率比検定とfail-closedゲート統合により、実務運用可能な停止規則を提示する。
監査可能な金融意思決定トレーサビリティ: 規制準拠の証拠グラフモデル
意思決定再構成をDAG証拠連鎖として実装し、再現率を定量評価する
断片ログでは困難な決定再構成を、因果エッジ付き証拠DAGで実現する。`TraceCompleteness` 指標を用いて再現可能性を測定し、規制監査での追跡可能性を高める実装枠組みを示す。