Problem Statement
There is no fuzz covering: tip → admin pause → resumed tip cycle
→ withdrawn. Pause is correctly checked at function entry but the
interaction with state during multi-batch state is not exercised.
Why it matters
Pausing is the emergency-stop safety net.
Acceptance Criteria
- A property test that randomly interleaves admin
pause/unpause with
user tips and asserts no state corruption.
Files/Modules Likely Affected
Difficulty Medium. Estimated Effort M.
Labels
area:testing, area:fuzzing, priority:medium
Imported from docs/open-issues-draft.md as draft issue #32 (commit 7becd4b). Original draft-order cross-references in this body have been remapped to current GitHub issue numbers at import time.
Problem Statement
There is no fuzz covering: tip → admin pause → resumed tip cycle
→ withdrawn. Pause is correctly checked at function entry but the
interaction with state during multi-batch state is not exercised.
Why it matters
Pausing is the emergency-stop safety net.
Acceptance Criteria
pause/unpausewithuser tips and asserts no state corruption.
Files/Modules Likely Affected
src/fuzz.rsDifficulty Medium. Estimated Effort M.
Labels
area:testing,area:fuzzing,priority:mediumImported from
docs/open-issues-draft.mdas draft issue #32 (commit7becd4b). Original draft-order cross-references in this body have been remapped to current GitHub issue numbers at import time.