A compiled drain plan, not a proof token. Construct it with
(compile-time (telemetryRecordPlan declaration)); the Alpha kernel
validates the complete closed declaration once and materializes bounded
first-order plan data. Rejected plans cannot lower into executable code.
As with AosLineValid, clients must use its owning validator rather than
manufacture a Ready value. Reader admission independently validates output.
98family TelemetryRecordPlan : Type 0
99constructor TelemetryRecordReady
100field unrestricted telemetryRecordPlanParts : (family TelemetryRecordParts)
101field unrestricted telemetryRecordPlanTemplate : Bytes
102constructor TelemetryRecordRefused
103field unrestricted telemetryRecordPlanReason : BytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.