Header identities are immutable for a planned layout. Keep their derived
bytes in that layout so preparation, validation and command inspection
share the SHA computations. A suspended constructor field leaves bounds
admission cheap when no executable consumes the header. This is the same
canonical envelope, not a saved hash or a second digest implementation.
158def nativeCheckpointHeaderFor =
159 (lambda unrestricted contract : (family CheckpointEnvelopeContract) .
160 (bytes-append
161 (checkpointEnvelopeFixed contract)
162 (bytes-append
163 (dataBytesRepeatByte (byte 0) (naturalMultiply 2 nativeCheckpointWordBytes))
164 (bytes-append
165 (checkpointEnvelopeIdentityDigests contract)
166 (dataBytesRepeatByte
167 (byte 0)
168 (naturalSaturatingSubtract
169 (checkpointEnvelopeHeaderBytes contract)
170 checkpointEnvelopeDigestsAt))))))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.