The physical transport is raw contiguous FP32 P/M/V. The optimizer step
remains an external receipt, matching the currently qualified native path.
16family BobCheckpointTransportSchema : Type 0
17constructor BobCheckpointTransportSchemaValue
18field unrestricted bobCheckpointSchemaIdentity : Bytes
19field unrestricted bobCheckpointParameterCount : Nat
20field unrestricted bobCheckpointPlaneCount : Nat
21field unrestricted bobCheckpointBytesPerScalar : Nat
22field unrestricted bobCheckpointPayloadBytes : Nat
23field unrestricted bobCheckpointOrderingIdentity : Bytes
24field unrestricted bobCheckpointInBandStepMetadata : Nat
25field unrestricted bobCheckpointExternalStepReceiptRequired : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.