Preparation follows initial-state/checkpoint validation. A target uploads
that state once, executes its own local steps, and captures its authoritative
values before publication. The publisher never observes stale host shadows.
671def niCommandsWith =
672 (lambda unrestricted slots : Nat .
673 (lambda unrestricted system : (family IndependentStateSystem slots) .
674 (lambda unrestricted layout : (family NativeIndependentLayout) .
675 (lambda unrestricted owner : Nat .
676 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
677 (lambda unrestricted resume : Nat .
678 (lambda unrestricted steps : Nat .
679 (lambda unrestricted extent : Nat .
680 (lambda unrestricted prepare : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
681 (lambda unrestricted step : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
682 (lambda unrestricted capture : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
683 (lambda unrestricted finish : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
684 (stdResultBind
685 (family NativeCheckpointFailure)
686 (family NativePhysicalCommands)
687 (family NativePhysicalCommands)
688 (planNativePeerRegionPublish
689 (niPublication slots system layout resume edges)
690 extent
691 owner
692 (nativePeerEdgesFold
693 edges
694 (lambda unrestricted index : Nat .
695 (lambda unrestricted edge : (family NativePeerEdge) .
696 (nativeSocketCloseChecked
697 (nativeLaunchRecipeSlotValue
698 (nativePeerEdgeConnectionSlot index))
699 nativePeerScratchSlot)))
700 (niOutput
701 (niStateAt layout)
702 (niCaptureBytes slots system)
703 (finish niHalt))))
704 (lambda unrestricted published : (family NativePhysicalCommands) .
705 (stdResultBind
706 (family NativeCheckpointFailure)
707 (family NativePhysicalCommands)
708 (family NativePhysicalCommands)
709 (niStart
710 slots
711 system
712 layout
713 owner
714 extent
715 resume
716 (niFinite
717 (niValuesAt layout)
718 slots
719 (nativePeerEdgeSetup
720 owner
721 edges
722 (niEndpoint slots system layout)
723 (prepare (niRoundsWith layout steps step (capture published))))))
724 (lambda unrestricted commands : (family NativePhysicalCommands) .
725 (constructor
726 StdResult
727 StdSuccess
728 (family NativeCheckpointFailure)
729 (family NativePhysicalCommands)
730 (niInitialize slots system layout owner commands))))))))))))))))))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.