# Developer tools
The docs repository now holds the developer and research material moved out of the main MKDSrust game checkout. Browse project/ and its usage guide for build and verification commands, tool prerequisites and folder origins. The migration inventory lists every original path.
What is available
- Plans, evidence, inputs and masks: dated Block 2–5 research, open-loop mission/menu/battle inputs, seed-pinning proofs and region comparison helpers.
- Native diagnostics: audio comparison, census and sound scheduling utilities.
- Examples: historical boot and lifting probes.
- Dictionary scripts: naming, field/layout inference, exports and evidence analysis. The maintained CSVs remain in the main game checkout.
- Launcher reference, plus branding generation and shell-wrapper checks in
project/.
Use with a game checkout
Follow the project folder's README to build acceptance with --timing exact --with-acceptance, run a fixed reference race, and replay these inputs with frame_compare. It also explains the historical race_diff prerequisite, matching masks on both recordings, fixed RTC, seed logging and replay, loading-lead measurement and per-mode limits. Keep ROMs and game-derived outputs private and outside this repository.
Read Verify a change for what each proof establishes and Project status for current results. Historical helpers may require their original revision or additional research tables; consult their usage before running them.