Differential test harness: stealth-registry vs reference impl

[truthixify]

Extra labels: test
Tier: M (2-4 days) | Type: test

Context. Property-based tests already cover invariants inside the contract. Differential tests compare the on-chain behavior against a pure-Rust reference impl for every operation. Catches regressions from optimization passes (see #7).

Scope.

• Reference impl under stealth-registry/tests/reference/.
• proptest generator emits sequences of ops; runs both, asserts identical final state + emitted events.
• Cover: register, revoke, expire, re-register.

Acceptance.

• cargo test --test differential passes with 1024 cases in normal CI, 16384 in nightly
• Reference impl documented as normative for expected semantics
• Failures print a minimized reproduction

Files. stealth-registry/tests/differential.rs (new), stealth-registry/tests/reference/mod.rs (new).

[Tenny150]

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

i will like to apply on this issues please

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

[drips-wave]

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

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