pub fn gate_a_shape(metadata: &AdapterMetadata) -> Result<(), GateFailure>Expand description
Gate A’s shape half: what can be checked before any transcript exists (SP4 design §5.2).
The transcript clauses are deliberately absent. They assert files the probe run produces, and the probe run happens after the phase that adds this function, so asserting them here would leave the branch red for three adapters with no artefact able to make it green.