ddflow_gate_verify
Verify a gate actually fails on mutated input by applying each registered mutation, requiring a non-zero exit, and restoring the file. Catches vacuous passes that report success on every change.
Instructions
Break what a gate guards and require it to NOTICE. Applies each mutation registered on the gate, runs it, requires a non-zero exit, and restores the file.
This is the anti-vacuous-pass check turned on the checks themselves. A gate that cannot fail is worse than no gate: it reports success on every change and everyone downstream reads that as evidence. Exit 1 means the gate did NOT catch its mutation — or that nobody has registered one, which is the same problem earlier.
A mutation whose old text is absent or ambiguous is a FAILURE, not a skip: the edit never happened, so the gate ran on pristine source and passing proves the opposite of what it claims.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | Item whose worktree to mutate in. | |
| gate | Yes | Gate id. Must be a command gate. |