Add property-based testing that ensures the pots invariant holds (reserves + treasury + utxos + rewards + fees + obligations = max_supply) across epoch transitions.
Source: crates/cardano/src/pots.rs:637
Surfaced while triaging in-code TODO/HACK markers into the tracked backlog.
Add property-based testing that ensures the pots invariant holds (reserves + treasury + utxos + rewards + fees + obligations = max_supply) across epoch transitions.
Source: crates/cardano/src/pots.rs:637
Surfaced while triaging in-code TODO/HACK markers into the tracked backlog.