A source-declared, fixed-shape drain recipe. Acquisition still records its
original sequence and eight binary words. No learning convention is inferred
from their positions. A program chooses the typed projection it actually
captured; the shared renderer derives every destination offset.
18family TelemetryRecordParts : Type 0
19constructor TelemetryRecordEnd
20constructor TelemetryRecordLiteral
21field unrestricted telemetryRecordLiteralBytes : Bytes
22recursive unrestricted telemetryRecordLiteralTail
23constructor TelemetryRecordDecimal
24field unrestricted telemetryRecordDecimalSigned : Nat
25field unrestricted telemetryRecordDecimalOffset : Nat
26recursive unrestricted telemetryRecordDecimalTail
27constructor TelemetryRecordHex
28field unrestricted telemetryRecordHexSource : Nat
29field unrestricted telemetryRecordHexOffset : Nat
30field unrestricted telemetryRecordHexWidth : Nat
31field unrestricted telemetryRecordHexReverse : Nat
32field unrestricted telemetryRecordHexNonzero : Nat
33recursive unrestricted telemetryRecordHexTailThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.