PAG Explicit Control Flow
Kind: algorithm
Record: algorithms:pag-explicit-control-flow
Canonical: Algorithms
Closure: Dependencies in load order
Express branching with IF / ELSE IF / ELSE, iteration with FOR EACH over a collection (never a bare FOR), and failure handling with TRY / CATCH, every conditional colon-terminated and every branch a complete directive sequence.
Listed in Algorithm contracts, after PAG Handoff Gate and before PAG Invariant Record.