Join our community: https://t.me/+DOylgFv1jyJlNzM0
Why this matters
contracts/fuzz_invariants.md documents the invariants each fuzz target checks, but contracts/README.md never references it, so contributors setting up fuzzing via contracts/FUZZING_README.md and contracts/fuzz_campaign.sh have no obvious path to find it.
Acceptance criteria
Files to touch
- contracts/README.md
- contracts/FUZZING_README.md
Out of scope
Adding new invariants.
Why this matters
contracts/fuzz_invariants.md documents the invariants each fuzz target checks, but contracts/README.md never references it, so contributors setting up fuzzing via contracts/FUZZING_README.md and contracts/fuzz_campaign.sh have no obvious path to find it.
Acceptance criteria
Files to touch
Out of scope
Adding new invariants.