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

//! Canonical [`ComponentSpec`] entries for the load-bearing internals of
//! vyre-conform itself.
//!
//! Every internal (law checker, reference interpreter, oracle resolver,
//! mutation gate, independence certificate, composition proof issuer)
//! should have one file in this directory, wired into
//! [`crate::meta::registry::COMPONENT_REGISTRY`].
//!
//! [`ComponentSpec`]: crate::meta::component::ComponentSpec

/// The canonical didactic example — the commutativity law checker.
///
/// Every other [`ComponentSpec`] copies the shape of this module. When
/// writing a new component spec, start by reading this file end to end.
///
/// [`ComponentSpec`]: crate::meta::component::ComponentSpec
/// Commutative checker module.
pub mod commutative_checker;
/// The composition proof-token issuer.
/// Composition proof module.
pub mod composition_proof;
/// The generator independence certificate.
/// Independence certificate module.
pub mod independence_certificate;
/// The mutation gate.
/// Mutation gate module.
pub mod mutation_gate;
/// The oracle hierarchy resolver.
/// Oracle resolver module.
pub mod oracle_resolver;
/// The reference interpreter.
/// Reference interpreter module.
pub mod reference_interpreter;