[ci] Add property-based tests for the analysis engine using `proptest`

[CelestinaBeing]

Context

The analysis engine should not panic on any valid Rust source file. Property-based tests would generate random Rust ASTs and verify the engine handles them gracefully.

Work

• Add proptest crate to tooling/sanctifier-core/
• Write tests/proptest_analysis.rs that generates random Rust source and runs all rules
• Assert: no panics, no OOM, result is either Ok(findings) or Err(parse_error)
• Add to CI as a separate proptest job with 60-second time limit

Acceptance criteria

• 10_000 random inputs processed without panic
• Any discovered crash inputs added as regression fixtures

[Swayymalcolm99]

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

Hello maintainer, can I take this?

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

[GiftedGiftB]

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

I would like to work on this issue because I can get it done in less than 30 minutes.

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

[Menjay7]

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

Hi! I’m a full-stack developer with a strong blockchain background. I’d love to handle this issue and can deliver a clean, reliable solution. Kindly assign it to me.

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

[Ajibose]

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

I would love to work on this

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

[nonso7]

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

Can i work on this issue

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

[drips-wave]

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

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