Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
Paper β’ 2604.01483 β’ Published β’ 7
YAML Metadata Warning:empty or missing yaml metadata in repo card
Check out the documentation for more information.
This repository contains a comprehensive, research-backed strategy document for governing and securing Agentic AI systems in large financial organizations.
| Role | What You'll Find |
|---|---|
| CISO | Threat models, 4-layer defense-in-depth security controls, regulatory compliance mapping (SEC/FINRA/OCC/EU AI Act), incident response framework, red team program |
| AI Architect / Principal Data Scientist | 5-layer governance control plane architecture, guardrail stack design, observability architecture, developer standards |
| CRO / Board Risk Committee | Risk taxonomy, maturity model, KPIs, implementation roadmap |
| Vendor Management | 7-dimension vendor assessment framework, risk tiering, contractual requirements |
Grounded in 25+ peer-reviewed papers (2024β2026), including:
| Framework | Paper | Link |
|---|---|---|
| TRiSM for Agentic AI | Trust, Risk, Security Management for multi-agent systems | 2506.04133 |
| MI9 Runtime Governance | 6-component runtime governance with Agency-Risk Index | 2508.03858 |
| NVIDIA Safety Framework | Dynamic framework with 10K+ attack traces | 2511.21990 |
| AgentDoG | 3D risk taxonomy + diagnostic guardrail models | 2601.18491 |
| SAGA (NDSS 2026) | Cryptographic security architecture for agents | 2504.21034 |
| Lean-Agent Protocol | Formal verification for financial AI | 2604.01483 |
| POLARIS | Governed execution for financial back-office | 2601.11816 |
This document is provided for educational and strategic planning purposes. Please cite the underlying research papers when referencing specific frameworks or findings.