Time remains unacquired. An explicit source context is distinct from an
inferred runtime span or a clock correlation.
596def telemetryEventRecordAtContext =
597 (lambda unrestricted context : Bytes .
598 (lambda unrestricted schema : Bytes .
599 (lambda unrestricted recordClass : Bytes .
600 (lambda unrestricted policy : Bytes .
601 (lambda unrestricted origin : Bytes .
602 (lambda unrestricted method : Bytes .
603 (lambda unrestricted payload : (family TelemetryCaptureValue) .
604 (aosChoose
605 (family TelemetryRecordParts)
606 (naturalEqual (telemetryRecordValueRole payload) 2)
607 (telemetryRecordAppend
608 (telemetryRecordLiteral
609 b"{\"format\":\"AOS-JSON/1\",\"type\":\"event\",\"aos_version\":\"1.0\",\"event_id\":{\"attempt_id\":")
610 (telemetryRecordAppend
611 (telemetryRecordHexPart
612 1
613 (telemetryIdentityOffset telemetryAttemptIdentityIndex)
614 telemetryIdentityBytes
615 0
616 1)
617 (telemetryRecordAppend
618 (telemetryRecordLiteral b",\"producer_id\":")
619 (telemetryRecordAppend
620 (telemetryRecordHexPart
621 1
622 (telemetryIdentityOffset telemetryProducerIdentityIndex)
623 telemetryIdentityBytes
624 0
625 1)
626 (telemetryRecordAppend
627 (telemetryRecordLiteral b",\"producer_epoch\":")
628 (telemetryRecordAppend
629 (telemetryRecordHexPart
630 1
631 (telemetryIdentityOffset telemetryProducerEpochIndex)
632 telemetryIdentityBytes
633 0
634 1)
635 (telemetryRecordAppend
636 (telemetryRecordLiteral b",\"sequence\":")
637 (constructor
638 TelemetryRecordParts
639 TelemetryRecordDecimal
640 0
641 captureSequenceAt
642 (telemetryRecordAppend
643 (telemetryRecordLiteral b"},\"schema_id\":")
644 (telemetryRecordAppend
645 (telemetryRecordLiteral (telemetryRecordString schema))
646 (telemetryRecordAppend
647 (telemetryRecordLiteral b",\"record_class\":")
648 (telemetryRecordAppend
649 (telemetryRecordLiteral (telemetryRecordString recordClass))
650 (telemetryRecordAppend
651 (telemetryRecordLiteral b",\"policy_id\":")
652 (telemetryRecordAppend
653 (telemetryRecordLiteral (telemetryRecordString policy))
654 (telemetryRecordAppend
655 (telemetryRecordLiteral b",\"origin\":{\"kind\":")
656 (telemetryRecordAppend
657 (telemetryRecordLiteral (telemetryRecordString origin))
658 (telemetryRecordAppend
659 (telemetryRecordLiteral b",\"method\":")
660 (telemetryRecordAppend
661 (telemetryRecordLiteral (telemetryRecordString method))
662 (telemetryRecordAppend
663 (telemetryRecordLiteral
664 (bytes-append
665 b"},\"time\":{\"state\":\"not_recorded\",\"reason\":{\"code\":\"native-capture-clock-not-acquired\"}},\"context\":"
666 (bytes-append
667 (telemetryRecordContextBytes context)
668 b",\"payload\":{")))
669 (telemetryRecordAppend
670 (telemetryRecordValue payload)
671 (telemetryRecordAppend
672 (telemetryRecordLiteral
673 b"},\"extensions\":[],\"required_extensions\":[]}")
674 (constructor TelemetryRecordParts TelemetryRecordEnd))))))))))))))))))))))
675 (constructor TelemetryRecordParts TelemetryRecordEnd)))))))))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.