Replaces version/length/padding in a prepared snapshot. The shared
algorithm checks the exact arena before access and clears accessible
readiness on refusal. This byte mechanism does not validate JSON meaning.
165def nativeTelemetryPublicationTypedPaddingRoutineForBody =
166 (lambda unrestricted bodyBytes : Nat .
167 (aosChoose
168 Bytes
169 (naturalAnd
170 (naturalLessOrEqual publicationPayloadRecordsAt bodyBytes)
171 (naturalLessOrEqual (publicationRecordBytes bodyBytes) publicationMaximumFrameBytes))
172 (nativeTelemetryPublicationRoutineFor
173 (constructor
174 TelemetryPublicationRoutineKind
175 TelemetryPublicationTypedPaddingRoutine
176 bodyBytes))
177 b""))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.