pub fn gate_b(metadata: &AdapterMetadata) -> Result<(), GateFailure>Expand description
Gate B: every basis carries a provenance prefix, no newline, and unmeasured: exactly when Unknown.
The biconditional is what makes D7 mechanical. Without it an implementer reaches Proven by writing
NotGuaranteed with an unmeasured: basis, and every other gate still passes.