A completed result has reached a fixed point; exhaustion retains only a
resumable residual and never claims it is a normal form. Counts are rounds,
not node visits or wall-clock work.
The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.