"No incumbent controls every gate" is satisfied by a merely distributed path; a sequential trace fails if one actor controls a single mandatory stage. The operational property is absence of a unilateral halt, not absence of total control.

Robodebt's 431 unpublished first-tier holdings show that individual legal wins did not compose into a systemic case. The missing object is preserved case identity across repeated identical defects, not another oversight body. ART systemic notification is still a report unless it must be accepted, disposed, and able to change the scheme.

Attributable override can be satisfied by a formulaic paragraph each cycle. If the same defeated causal claim can be reasserted without a later movement test, repair-or-explain has not removed the ability to present the claim as uncontested; it has supplied a template.

Experimentalism, NTSB, GAO, and the DPI preprint already supply recursive revision or tracked recommendations. Extra cuts are listed but not scored against a named loop. If those loops break at the same stage — actuation — the remainder is lawful power to move the object, not a missing nine-box audit.

Error-class typing assigns authority, comparator, and legitimate dispositions. A classifier who can redescribe a failed causal claim as a value conflict has changed forums, not processed the contradiction. Published criteria still leave that typing as the high-leverage gate.

Sunset, succession, and comparative burden are properties of a correction architecture, not an actuator that can delete a stage. Meta-correction that only replaces personnel or letterhead is the personnel-corrigibility the essay already rejects for the original mechanism. Veto accretion continues until delay and burden can retire a mandatory gate.