1045def checkpointPredictionArtifactFor =
1046 (lambda unrestricted contract : (family CheckpointEnvelopeContract) .
1047 (eliminate
1048 StdResult
1049 (lambda unrestricted r : (family StdResult (family NativeCheckpointFailure) (family NativeCheckpointLayout)) .
1050 Bytes)
1051 (planNativeCheckpoint contract 0 peerWordBytes (naturalMultiply 2 peerWordBytes) 1048576)
1052 (branch StdFailure error . b"")
1053 (branch
1054 StdSuccess
1055 checkpoint
1056 .
1057 (nativePhysicalGenerateNativeELFBytesDirect
1058 (peerProgram
1059 peerEndpointSlots
1060 (nativeCheckpointEnd checkpoint)
1061 (nativeCheckpointRestore
1062 checkpoint
1063 (peerArgument 1)
1064 peerListenerSlot
1065 peerScratchSlot
1066 (nativeLaunchRecipeAssertEqual
1067 (frameNativeLoad (nativeCheckpointUpdatesAt checkpoint))
1068 (frameNativeLoad (nativeCheckpointInvocationsAt checkpoint))
1069 b"peer-batch-position"
1070 (peerNatural
1071 (nativeCheckpointSourcePointerAt checkpoint)
1072 2
1073 (peerBinary
1074 peerMultiply
1075 (nativeCheckpointPayloadAt checkpoint)
1076 (nativeCheckpointPayloadAt checkpoint)
1077 (nativeCheckpointSourcePointerAt checkpoint)
1078 (nativeFileCall
1079 1
1080 (nativeLaunchRecipeArguments
1081 (nativeLaunchRecipeImmediate 1)
1082 (nativeMemoryState (nativeCheckpointPayloadAt checkpoint))
1083 (nativeLaunchRecipeImmediate peerWordBytes)
1084 (nativeLaunchRecipeImmediate 0))
1085 peerScratchSlot
1086 peerWordBytes
1087 b"peer-prediction"
1088 peerHalt))))))))))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.