tpt-statera

Formally verified financial invariant & ledger engine in pure Rust. Proves strict conservation of value across every state transition — no created, destroyed, or silently-rounded value.