Record shape is validated by the maintained AOS owner, not a second parser.
Cross-record schema/sequence/capture admission is the publisher's job.
488def telemetryRecordBytesAdmission : (pi unrestricted bytes : Bytes . Nat) =
489 (lambda unrestricted bytes : Bytes .
490 (naturalAnd
491 (naturalLessOrEqual (bytes-length bytes) 65536)
492 (naturalAnd
493 (naturalIsZero (aosAnyByte (lambda unrestricted b : Byte . (byte-equal b (byte 10))) bytes))
494 (naturalIsZero (aosLineCode bytes)))))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.