financial-integrity

Patterns for provable financial accuracy and invariant testing