Deterministic verification layer for AI-generated financial decisions. Verifies math (NPV, IRR, Black-Scholes, YTM, VaR), compliance (AML/KYC via Z3), and banking schemas (ISO 20022, SWIFT) — fail-closed, proof-backed. Not execution. Verification.
-
Updated
Jul 22, 2026 - Python