Word indices refer to the captured values, excluding the sequence. Ref128
consumes two consecutive words. Absence is an explicit slot, not a zero.
Lists/maps remain the existing tagged AOS structures. Their member/item
chains are internal roles: whole-event admission rejects misuse of a chain,
duplicate object keys, invalid constants or absence nested as a tagged value.
42family TelemetryCaptureValue : Type 0
43constructor TelemetryConstant
44field unrestricted telemetryConstantValue : (family AosValue)
45constructor TelemetryUnsigned
46field unrestricted telemetryUnsignedWord : Nat
47constructor TelemetrySigned
48field unrestricted telemetrySignedWord : Nat
49constructor TelemetryFloat32
50field unrestricted telemetryFloat32Word : Nat
51constructor TelemetryFloat64
52field unrestricted telemetryFloat64Word : Nat
53constructor TelemetryReference
54field unrestricted telemetryReferenceKind : Bytes
55field unrestricted telemetryReferenceWord : Nat
56constructor TelemetryBytes
57field unrestricted telemetryBytesWord : Nat
58field unrestricted telemetryBytesWidth : Nat
59constructor TelemetryUnavailable
60field unrestricted telemetryUnavailableState : Bytes
61field unrestricted telemetryUnavailableReason : Bytes
62constructor TelemetryList
63recursive unrestricted telemetryListItems
64constructor TelemetryItemsEnd
65constructor TelemetryItemsNext
66recursive unrestricted telemetryItemsHead
67recursive unrestricted telemetryItemsTail
68constructor TelemetryMap
69recursive unrestricted telemetryMapMembers
70constructor TelemetryMembersEnd
71constructor TelemetryMembersNext
72field unrestricted telemetryMembersKey : Bytes
73recursive unrestricted telemetryMembersHead
74recursive unrestricted telemetryMembersTailThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.