A native source program with declared observation effects, lowered before
NativePhysicalProgram serialization/target emission. Capture nodes are safe
boundaries explicitly placed by the owning run policy, not discovered from
payload words or injected into arbitrary instructions. Their continuation
cannot run between pending capture, drain and retry of frozen source values.
48constructor NativeObservedFinishThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.