57def bobCheckpointSchema : (family BobCheckpointTransportSchema) =
58 (record
59 BobCheckpointTransportSchema
60 (bobCheckpointSchemaIdentity = b"bob-raw-pmv-f32-v1")
61 (bobCheckpointParameterCount = bobParameterCount)
62 (bobCheckpointPlaneCount = bobCheckpointPlaneCount)
63 (bobCheckpointBytesPerScalar = bobCheckpointBytesPerScalar)
64 (bobCheckpointPayloadBytes = bobCheckpointPayloadBytes)
65 (bobCheckpointOrderingIdentity = b"parameter-order:p-then-m-then-v")
66 (bobCheckpointInBandStepMetadata = 1)
67 (bobCheckpointExternalStepReceiptRequired = 0))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.