VERSIONED, REPLAYABLE SIMULATION CAMPAIGN
The v1.0.0 evidence archive contains 200 deterministic candidate records: 32 FHA rejects and 168 single-point passes from the switched-linear-equivalent model, with a public verifier, replay procedure and reader-facing Quickstart.
The result is bounded to one operating point and a simplified equivalent model. It is not hardware approval, multi-point validation or proof of equivalence to a higher-fidelity solver.