Time-Locked Release Invariants

[Cedarich]

Status: Open (Wave 3 – correctness)
Labels: Contract, Security
Complexity: High (200 points)

Summary
Harden the time-locking logic to ensure funds cannot be released before a specific ledger sequence or timestamp under any circumstances.
Tasks

• Define strict time-lock invariants in the code comments.
• Implement robust checks against env.ledger().timestamp() or sequence().
• Add "fuzz tests" for time-based conditions to detect potential overflow or logic errors.
  Acceptance Criteria
• Time-locks are strictly enforced and verified by property-based tests.

---

[ayomideadeniran]

I'm a full-stack developer and I'd like to take this issue.
I understand the requirements and will follow the existing project structure, keep the implementation clean, and include proper tests where applicable.

ETA: 1–3 days (depending on scope)
Portfolio: https://knightsdev-portfolio.vercel.app/

[Dannyswiss1]

@Dannyswiss1 has applied to work on this issue as part of the Stellar Wave Program's 3rd wave.

Hello, Can I take on this issue. I am experienced in building smart contracts with Solidity, Cairo and Rust.

I’m conversant with Rust smart contracts and the Soroban SDK. I'll deliver a modular deterministic solution.

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

[drips-wave]

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

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