Summary
Add proptest-based tests for policy::evaluate_spend asserting invariants (e.g. "an allowed spend never pushes the window total over max_per_window"; "an expired window always resets"). Complements the existing table-driven tests.
Acceptance criteria
Summary
Add
proptest-based tests forpolicy::evaluate_spendasserting invariants (e.g. "an allowed spend never pushes the window total overmax_per_window"; "an expired window always resets"). Complements the existing table-driven tests.Acceptance criteria
proptestdev-dependency added