cutlisted

# /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 ```text cut(spec_ref, reproduction? = null, auto = false) -> GateReceipt ``` Resolve every validator invocation through [`references/gate-workflow.md`](references/gate-workflow.md) § Packaged command resolution. A bare `red-gate` binary is not installed. Trigger Cut explicitly, from Mold's approved `red-required` handoff, or from a Cook preflight that has no valid receipt. Read the durable spec and its gate metadata; do not infer applicability from prose. A behavior item must have at least one Test Contract. A legacy spec without the table may proceed without a new approval, but Cut must stamp every resulting contract `contract_source: inferred` in the evidence. Cut owns only test-side files: outer tracers, mechanically justified contract-matrix cases, fixtures, and test-only harness support. It may adopt a qualifying user/Pasteurize reproduction after normalizing it to the approved seam, argv, cwd, and witness. Adopted cases carry `producer: cut` and `origin: adopted`; generated cases carry `origin: generated`. ## Flow 1. **Resolve and classify.** Read the spec, then run `red-gate contracts