Skip to main content

Module dual

Module dual 

Source
Expand description

Dual-reference trait and registry types. Dual-dispatch resolver for the parity engine.

Every operation that claims conformance must produce byte-identical output on two independently-written CPU references. The dual-reference registry picks which pair runs for a given op ID, and the conform gate rejects any backend that diverges from either reference on any witnessed input.

Traits§

DualReference
Two independently-written CPU references for one operation.

Type Aliases§

ReferenceFn
CPU reference function type used by the dual-reference registry.