A CONCEPT · PROJECTED FROM THE VINDEX KNOWLEDGE GRAPH
CAUSAL CONTROLS
mutate the fact, watch execution
The proof that the persisted IR is in charge: mutate a stored fact — a scale, a layer policy, a judged semantic — and the computation must change or refuse; where mutation changes nothing, a default was hiding.
Three controls, each touching only the persisted graph: a scalar authority control (change the query scale, diverge from layer zero), a layer-policy control (flip one layer's position policy, only that layer diverges), and an op-semantic control (remove a judged gate, refusal names the primitive). They are the search for hidden defaults — and they found none. Closure proves the program is complete; parity proves it is correct; the controls prove the IR is in charge.
IN THE GRAPH
causal controls— completes →operand closure
causal controls— proves →the deletion invariant