TST-03

Property-Based Financial Invariant Tests

Generate transaction histories and prove conservation, idempotency, and balance invariants for DST-02.

• Status: planned
• Proof: code
• Tier: focused-exhibit
• Roles: ai-engineer, backend-engineer, full-stack-engineer

← All projects