PAG Handoff Gate
Kind: algorithm
Record: algorithms:pag-validation-gate
Canonical: Algorithms
Closure: Dependencies in load order
Close every node with a handoff gate of three-to-five checks, each a claim about the output with the evidence that settles it and the population it was measured over, a refusal condition named before any irreversible write, the standing of the read set beside the verdict, and a result line that routes pass to the next node, each failure to the earliest node that owns its repair, and unknown to blocked.
Listed in Algorithm contracts, after PAG Node Decomposition and before PAG Explicit Control Flow.