Property-based tests for SLA calculator (hypothesis)

[usmanimamu17-create]

Problem

Only example-driven tests; boundary cases missed.

Why

Property-based testing finds edge cases automatically.

Outcome

tests/properties/test_sla_properties.py invariants: availability∈[0,100], MTTR≥0, deterministic at fixed seed.

Acceptance

• 100+ scenarios
• < 30s
• Counter-examples cached

Files

• tests/properties/test_sla_properties.py (NEW)
• tests/properties/README.md (NEW)
• requirements.txt (hypothesis)

[forexlord]

@forexlord has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

please assign to me, i have not had much assignment this wave😭

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

[danfulani0]

@danfulani0 has applied to work on this issue as part of the Stellar Wave Program's 7th wave.

Hello maintainer please I will like to work on this issue

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

[drips-wave]

Congratulations, @danfulani0! 🎉 Your application was accepted by the repo's maintainers, and the issue is due on July 30, 2026.

🧑‍💻 @danfulani0: 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 🌊

[grantfox-oss]

🎉 This issue has been marked as completed on GrantFox!

@danfulani0's PR #219 was approved and merged by @usmanimamu17-create.

🏆 @danfulani0: You earned 35 FoxPoints for this contribution! Your current tier: Explorer (293 total points). Track your full progress on GrantFox.

👏 Great work, @danfulani0! Keep contributing to ApexChainx.