budget-engine
Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs