Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
python rust commerce audit fintech deterministic decision-engine write-ahead-log proof-carrying llm-routing cryptographic-proof budget-engine
-
Updated
Jul 5, 2026 - Rust