Crate vyre_conform 

vyre-conform — Conformance suite for the vyre GPU compute specification

Maintainer-only harness. End users consume vyre + vyre-reference + a backend (e.g. vyre-wgpu). This crate proves that any vyre backend produces byte-identical output to the CPU reference for every operation, every input, every time.

Public surface — exactly ten items:

certify, Certificate, Violation, VyreBackend, Finding, EnforceGate,
Oracle, Archetype, MutationClass, {Category, AlgebraicLaw, OpSpec}

Everything else is implementation detail.

Structs

Certificate

Structured proof document for a backend conformance run.

OpSpec

Complete executable specification for one vyre operation.

Violation

A single conformance failure emitted while certifying a backend.

Enums

AlgebraicLaw

An algebraic law that an operation must satisfy in the frozen data contract.

Category

vyre operation category in the frozen data contract.

MutationClass

Families of mutations an operation is expected to detect.

Traits

Archetype

A generator of test inputs for a specific operation shape or IR pattern.

EnforceGate

One conformance enforcement unit.

Finding

A structured violation. Every gate, oracle, and verifier produces findings via this common interface. Presence of ANY finding = FAIL. No severity field: at internet scale, all findings are critical.

Oracle

Independent proof source for expected conformance output.

VyreBackend

The frozen contract between vyre and every execution backend.

Functions

certify

Run parity and algebra checks and return a conformance certificate.