Solution: LP-0013 — Token authority lifecycle on public LEZ testnet

[Tranquil-Flow]

Summary

Final LP-0013 resubmission for Tranquil-Flow.

This updates solutions/LP-0013.md with the corrected token-authority lifecycle evidence:

• implementation repo: https://github.com/Tranquil-Flow/lp0013-token-suite
• final narrated demo video: https://youtu.be/rUgsCCPiQfo
• public LEZ testnet endpoint: https://testnet.lez.logos.co/
• ProgramId / ImageID: 32335764e583cd45684e0100ca63a3564a02274daa6ea6a5f758fad671b0a9ce
• corrected lifecycle: create_mint, create_holding, mint_to(60), mint_to(40), set_mint_authority(None), post-revoke mint rejected
• final mint state: authority=None, supply=100, decimals=6
• standalone local-sequencer e2e: CI-included path plus real prepared-host run on 2026-06-09 with RISC0_DEV_MODE=0

Validation

Implementation repo at Tranquil-Flow/lp0013-token-suite:

• cargo fmt --all -- --check ✅
• cargo check --workspace ✅
• cargo test --workspace ✅
• cargo clippy --workspace --all-targets -- -D warnings ✅
• bash scripts/demo.sh ✅
• python3 scripts/validate-submission-docs.py ✅
• python3 tests/test_validate_submission_docs.py ✅
• bash scripts/demo-testnet-live.sh verify ✅
• GitHub Actions push CI passed on final implementation commit 2ee5201730da9aff1bba944fb30d9a2073afb2d3: https://github.com/Tranquil-Flow/lp0013-token-suite/actions/runs/27200257857 ✅

Standalone local-sequencer prepared-host evidence:

• host: M4 Pro LEZ/RISC0 prepared runner
• entrypoint: RISC0_DEV_MODE=0 bash scripts/demo-localnet.sh
• result: guest built, program deployed, two accumulating mints confirmed, authority revoked, post-revoke mint rejected, final supply=100, holding balance=100, authority None ✅

λPrize repo validator:

• copied this solution into a fresh logos-co/lambda-prize clone
• ran .github/scripts/validate-submission.sh
• result: ## ✅ Validation passed

PR scope

This PR adds/updates only:

• solutions/LP-0013.md

No private keys, seeds, credentials, private chat excerpts, or generated wallet storage are included.

Terms

By submitting this solution, I confirm that I have read and agree to the Terms & Conditions, and that the implementation is original work published under MIT OR Apache-2.0 licensing.

[github-actions]

✅ Validation passed

A reviewer will assess against the prize criteria.
ℹ️ Solution submission for LP-0013.
ℹ️ Checking repo: https://github.com/Tranquil-Flow/lp0013-token-suite

---

Automated check. See solution template and TERMS.

[Tranquil-Flow]

Final LP-0013 resubmission is ready for review.

Fresh narrated demo video: https://youtu.be/rUgsCCPiQfo

Validation status:

• λPrize PR validator: passed
• Implementation repo CI: passed
• PR scope: only solutions/LP-0013.md
• Public-testnet corrected lifecycle and standalone local-sequencer evidence are documented in the solution file.

Thank you.

[Tranquil-Flow]

Note: This PR was initially closed and reopened intentionally. The previous LP-0013 submission (#57) was closed on June 3. To comply with the 7-day resubmission cooldown, this PR was closed and is now being reopened now that the waiting period has elapsed. The submission content is unchanged and validation has already passed.