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