Recursion Control
Kind: algorithm
Record: algorithms:recursion-control
Canonical: Algorithms
Closure: Dependencies in load order
Increment depth on recursive entry, compare against maximum depth, reject excessive recursion, and unwind depth on completion.
Listed in Algorithm contracts, after Safe Arithmetic Contract and before Recursive Self-Verification.