[Rust][Verification] Add parity tests, CI, and a minimal solver example

[utilForever]

Parent: #137

Goal

Prove that the first non-Python binding is useful without growing a Rust-specific framework.

Scope

• Share representative maps and action traces with C++ tests
• Build and run Rust tests on the supported platform matrix
• Add one small public-API-only solver or replay example

Non-goals

• Publishing crates before stability review
• A full RL trainer
• Duplicating simulator rules in Rust

Acceptance criteria

• Representative Rust final snapshots equal C++ results.
• CI covers build, lifecycle, step, map inspection, and replay.
• The example contains no unsafe code or private native hooks.

Verification

Run the full Rust suite and example on Ubuntu, macOS, and Windows and compare shared trace artifacts.