Source/Packages

Runtime.NativeObservedProgram

packages/execution/src/Runtime/NativeObservedProgram.alpha

724 lines44 declarations33.5 KiBSHA-256 96fd2004b3de

field · lines 42–42

nativeObservedCaptureTag

Full file
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.
42field unrestricted nativeObservedCaptureTag : Nat

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.