BLOCKED
Routes that close the goal only by presupposing it. Do not attack these as doors.
Routes that close the goal only by presupposing it. Do not attack these as doors.
WALL BANK
Failed formulations with extracted constraints. Negative knowledge is first-class product content.
Failed formulations with extracted constraints. Negative knowledge is first-class product content.
KILLED
Formulations subtracted from the cut-set. Survivors are the live residuals that inherit the constraint.
Formulations subtracted from the cut-set. Survivors are the live residuals that inherit the constraint.
GRAPH ROSTER
All registered CERT_GRAPH nodes. Status is registered state, not a live lake probe.
All registered CERT_GRAPH nodes. Status is registered state, not a live lake probe.