Add property-based tests for access-control consent permission scenarios

[Emeka000]

Summary

The access-control contract has 835 lines of hand-written tests but permission logic is complex enough to warrant property-based testing. proptest is already a dev dependency.

Properties to Test

• Soundness: a provider without explicit grant never has access
• Completeness: after a grant, the provider always has access until revocation
• Revocation: after revoke, access is always denied regardless of prior grants
• Expiry: after consent expiry timestamp, access is always denied
• Scope isolation: a grant for scope A never gives access to scope B

Acceptance Criteria

• At least 5 property-based tests covering the above invariants
• Each property runs 1,000+ cases with arbitrary addresses, scopes, and timestamps

[Emoji-dot]

@Emoji-dot has applied to work on this issue as part of the Stellar Wave Program's 5th wave.

I would like to work on this issue

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Emoji-dot to this issue.

[ubermensh-323]

@ubermensh-323 has applied to work on this issue as part of the Stellar Wave Program's 5th wave.

hi team kindly assign me i can work on this issue

ℹ️ Repo Maintainers: To accept this application, review their application or assign @ubermensh-323 to this issue.

[drips-wave]

Congratulations, @ubermensh-323! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on June 2, 2026.

🧑‍💻 @ubermensh-323: Please resolve the issue such that the repo's maintainers have enough time to review your contribution before the due date. You'll earn Points for completing the issue on-time, which will make you eligible for a share of the Stellar Wave Program's reward pool.

Warning

When opening a PR, please link it to this issue to ensure it gets tracked accurately. Points are awarded when this issue is marked as completed by the maintainer.

🤠 Repo maintainers: Please keep an eye on the contributor's progress and review their work before the due date. You can manage this issue, including adjusting its complexity and points, here.

🌊 Happy Wave 🌊