This realization compiles separately owned state transitions, one per
observation row of the system: owners 0..n-1 over a star. There is no
per-step collective because the admitted transition reads only local state
and immutable local inputs. The final capture joins every authority at
owner 0 (Checkpoint.NativePeerPublication); a missing or differently
advanced owner cannot publish a logical checkpoint.
Execution is selected explicitly: target callbacks supply local state work,
while this owner supplies versions, transport and durable publication.
47family NativeIndependentLayout : Type 0
48constructor NativeIndependentLayoutOf
49field unrestricted independentCaptureFrame : (family RegionFrameLayout)
50field unrestricted independentCommittedFrame : (family RegionFrameLayout)
51field unrestricted independentCheckpointPlan : (family NativeRegionCheckpoint)
52field unrestricted independentHostScratchWords : Nat
53-- the system identity's digest, computed once per artifact: every frame
54-- identity of the owner names it
55field unrestricted independentDigest : BytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.