Invocation Join
Kind: algorithm
Record: algorithms:invocation-join
Canonical: Algorithms
Closure: Dependencies in load order
Decide for each caller whether a live run already answers its question, joining by reading when one does and starting by declare-then-read ordering when none does.
Listed in Algorithm contracts, after Convergence Walk and before Duplicate Disposition Walk.