vyre-spec is the machine-checkable specification for the vyre GPU compute IR.
Any backend may depend on vyre-spec alone to prove conformance without
depending on vyre itself.
The crate contains only pure specification data: IR scalar and operation
types, algebraic laws, conformance categories, verification evidence, and the
I1..I15 engine invariant catalog.