vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

//! Meta-conform — the self-test harness for vyre-conform itself.
//!
//! # Why this module exists
//!
//! vyre-conform is a proof system for vyre. But a proof system is only as
//! trustworthy as its checker. If `algebra::checker::commutative` has a bug,
//! every "proof" the system issues is fiction. If the reference interpreter
//! silently evaluates one Expr variant wrong, every backend parity test
//! claiming correctness is a lie.
//!
//! Meta-conform closes that hole. Every load-bearing piece of vyre-conform —
//! the law checkers, the reference interpreter, the oracle resolver, the
//! mutation gate, the independence certificate generator — is itself a
//! [`ComponentSpec`] with:
//!
//! - an independent contract (what it must do under what preconditions),
//! - an adversary corpus (deliberately broken implementations it MUST reject),
//! - a meta-mutation sensitivity list (corruptions its test set MUST kill),
//! - a spec table (hand-written input/expected-verdict rows).

/// Adversary corpus — deliberately broken component implementations.
pub mod adversary;
/// Harness self-test canaries.
pub mod canary;
/// Component specification: contract, adversaries, mutation sensitivity.
pub mod component;
/// Component registry and canonical specs for vyre-conform's own internals.
pub mod components;
/// Contribution feedback loop CLI pipeline.
pub mod contribute;
/// Meta-adversarial gauntlet — structural integrity over the adversary corpus.
pub mod gauntlet;
/// Meta-mutation harness — the self-level H6 gate.
pub mod harness;
/// Meta-mutation catalog — how to corrupt a checker, interpreter, or oracle.
pub mod mutation;
/// Scoped span-tree observability for enforcement runs.
pub mod observe;
/// SQLite-style allocator failure injection harness.
pub mod oom;
/// Meta-oracle: independent verdict grader for component outputs.
pub mod oracle;
/// Compile-time registry of every [`ComponentSpec`] in vyre-conform.
pub mod registry;

pub use adversary::{AdversaryRef, BrokenComponent};
pub use component::{ComponentKind, ComponentSpec, Contract};
pub use harness::{meta_mutation_probe, MetaGateReport, MetaStructuredFeedback};
pub use mutation::{MetaMutation, MetaMutationClass, META_MUTATION_CATALOG};
pub use oracle::{MetaOracle, MetaOracleKind, MetaVerdict};
pub use registry::{verify_meta_coverage, COMPONENT_REGISTRY};