determinism

Determinism as a Correctness Contract

Why Anvil treats bit-for-bit reproducibility as a testable property — and how an event-sourced core makes a backtest and a production run literally the same program.

Research to Runtime: Correctness Under Adversarial Numerics

Between a validated research result and a production system is a seam where most model risk lives. This is the program MorphIQ Labs has productized to close it: correctness proven against oracles and machine-checked laws, integrity enforced through fail-closed gates and reproducible artifacts, performance held as a contract, and the evidence that the program is real.

Version 0.2 — draft