/cut

/cut is the outside-in evidence phase between Mold and Cook. It proves that an approved observable behavior is GREEN in the current project, then fails at the declared outer seam for the declared witness. It never implements the behavior. The receipt is the durable boundary; the test and fixture files named by that receipt are protected from production edits.

Contract

cut(spec_ref, reproduction? = null, auto = false) -> GateReceipt

Resolve every validator invocation through references/gate-workflow.md § Packaged command resolution. A bare red-gate binary is not installed.