voiage.contracts.critical_invariants
Small production-used invariants protected by the strict mutation lane.
Functions
Section titled “Functions”- capability_gaps Return complete, deterministic reasons a backend cannot be selected.
- canonical_array_digest_input Bind array dtype, shape, and canonical bytes into one digest input.