The correctness bar
Formal methods, not just coverage.
Line coverage is a ceiling, not a floor. FerroReplay, FerroRisk, and FerroWave move stable primitive laws into machine-checked proof boundaries, alongside mutation score, property tests, and reference-implementation parity checks. Performance has the same discipline: SIMD, batch APIs, runtime dispatch, and regression-gated benchmarks keep hot paths measurable.
Test suiteproperty · reference · mutation · formal
Numeric paritydocumented tolerances per kernel
Hot pathsSIMD · batch APIs · regression gates
Formal scopeFerroReplay · FerroRisk · FerroWave
Determinismjournal-replay validated
Access postureprivate, evaluation-led
Publicationdocs.morphiqlabs.com