Document the dispute model and its invariants

[mikewheeleer]

Document dispute

Description

dispute's model/invariants aren't documented. This issue records them.

Requirements and context

• Repository scope: StableRoute-Org/Stableroute-contracts only.
• Add docs/dispute.md describing the dispute model, entrypoints, and invariants.
• Cross-reference the code enforcing them.
• Keep accurate.

Suggested execution

• Fork the repo and create a branch
• git checkout -b docs/dispute-91-model
• Implement changes
  • Write code in: the relevant module.
  • Write comprehensive tests in: cover the new behaviour and edge cases.
• Test and commit

Test and commit

• Run cargo fmt, cargo clippy --all-targets -- -D warnings, and cargo test.
• Cover edge cases: n/a — verify against source.
• Include the full test output in the PR description.

Example commit message

docs(dispute): document model and invariants

Guidelines

• Minimum 95 percent test coverage for impacted modules.
• Clear, reviewer-focused documentation.
• Timeframe: 96 hours.

Community & contribution rewards

• 💬 Join the StableRoute community on Discord: https://discord.gg/37aCpusvx
• ⭐ This is a GrantFox OSS / Official Campaign task and may be rewarded. When your PR is merged you'll be prompted to rate the project — a 5-star rating is much appreciated.

[Baskarayelu]

I’d love to be assigned this issue and contribute across the relevant areas, whether it involves smart contracts, UI development, backend logic, design implementation, or overall system integration. I’m comfortable working across the full stack and can adapt to the project’s technical requirements to ensure a smooth and consistent contribution.

[mikewheeleer]

Assigned, @Baskarayelu! 🙌 Community + support: https://t.me/+OhR36aTevMYwYzI9