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

//! Adversarial roles — the Implementor / Prosecutor / Defender gauntlet.
//!
//! The goal of this module is to make "the tests passed" weaker than
//! "the tests caught every deliberate sabotage." A suite that passes on
//! a correct CPU reference AND passes on an intentionally-wrong CPU
//! reference is worse than no suite at all — it gives false confidence.
//! The adversarial gauntlet forces the suite to prove it can distinguish
//! a real reference from a plausible imposter.
//!
//! The three roles:
//!
//! - **Implementor.** Submits the op, CPU reference, WGSL, category.
//! - **Prosecutor.** Writes tests designed to break the implementation.
//! - **Defender.** Submits intentionally-wrong CPU references that should
//!   be caught by the declared law set.
//!
//! This module is CPU-only — no GPU, no wgpu, no backend.

/// Defender role — hand-crafted + auto-discovered wrong CPU references, plus
/// the `corpus` submodule that loads the build-time-generated catalog.
pub mod defender;
/// Gauntlet runner: applies every Defender to every op's law set.
pub mod gauntlet;
/// Frozen adversarial mutation-class extension contract.
pub mod mutations;

pub use defender::{full_catalog, Defendant, DefendantCatalog};
pub use gauntlet::{run_gauntlet, GauntletFinding, GauntletReport};