Property: pause invariant

[nanaf6203-bit]

Problem Statement
Once pause is called, no state-changing external call is allowed
(except unpause). No property test codifies this.

Why it matters
A regression that allows tips during pause defeats the purpose.

Acceptance Criteria

• Property: if is_paused() then for any user op: panic_with(Paused).

Files/Modules Likely Affected

• src/fuzz.rs

Difficulty Easy. Estimated Effort S.

Labels
area:testing, priority:medium

---

Imported from docs/open-issues-draft.md as draft issue #36 (commit 7becd4b). Original draft-order cross-references in this body have been remapped to current GitHub issue numbers at import time.

[GBOYEE]

Hi team — I'd like to take this on as part of the GrantFox campaign. I'll implement this and open a PR shortly.

[Degentle12]

please can i fix this

[grantfox-oss]

🦊 GrantFox — @Degentle12 has been assigned to this issue as part of the Official Campaign | FWC26 campaign!

Next steps:

1. Open a Pull Request referencing this issue (e.g., Closes #96)
2. Your PR will be reviewed by the StellarTips maintainers

Good luck! Track your progress on GrantFox.