vyre-conform 0.1.0

//! Verification utilities: golden registry, replay, and freeze.

/// Per-reference wall-clock budget enforcement.
pub mod budget;
/// Append-only witness corpus (P1.14): replay + witness format.
pub mod corpus;
/// Differential fuzzing between independent CPU references.
pub mod dual_reference_diff;
/// Golden sample validation against known-correct reference values.
pub mod golden;
/// Conformance harnesses H1-H10.
pub mod harnesses;
/// 10M-input CPU reference versus kernel parity harness.
pub mod parity_10m;
/// Algebraic property tests for CPU reference functions.
#[cfg(test)]
pub mod properties;
/// Regression persistence and replay for previously-failing inputs.
pub mod regression;