96def nativeObservedJournalForCapacities =
97 (lambda unrestricted applicationBytes : Nat .
98 (lambda unrestricted ordinary : Nat .
99 (lambda unrestricted reserved : Nat .
100 (lambda unrestricted pathAt : Nat .
101 (lambda unrestricted fileSlot : Nat .
102 (lambda unrestricted directorySlot : Nat .
103 (lambda unrestricted workSlot : Nat .
104 (lambda unrestricted identity : Bytes .
105 (lambda unrestricted tail : (family NativePhysicalCommands) .
106 (nativeLaunchRecipeCommand
107 (constructor
108 NativePhysicalOperation
109 NativePhysicalMachineRoutine
110 (nativeTelemetryHexCellRoutine telemetryIdentityBytes 0)
111 (nativeLaunchRecipeArguments
112 (nativeTelemetryPolicyState
113 (naturalAdd
114 (captureIdentityAt applicationBytes ordinary reserved)
115 (telemetryIdentityOffset telemetryProducerEpochIndex)))
116 (nativeTelemetryPolicyState pathAt)
117 (nativeLaunchRecipeImmediate telemetryIdentityBytes)
118 (nativeLaunchRecipeImmediate
119 (telemetryHexCellBytes telemetryIdentityBytes)))
120 (nativeLaunchRecipeStore workSlot))
121 identity
122 (nativeLaunchRecipeAssertEqual
123 (nativeLaunchRecipeSlotValue workSlot)
124 (nativeLaunchRecipeImmediate 0)
125 b"telemetry:journal-name-refused"
126 (nativeLaunchRecipeCommand
127 (constructor
128 NativePhysicalOperation
129 NativePhysicalCopyPayloadToState
130 (modelWord64FromNaturalTruncated
131 (naturalAdd
132 pathAt
133 (naturalSaturatingSubtract
134 (telemetryHexCellBytes telemetryIdentityBytes)
135 1)))
136 (modelWord64FromNaturalTruncated
137 (bytes-length nativeObservedJournalSuffix))
138 nativeObservedJournalSuffix)
139 identity
140 (nativeObservedJournalCall
141 257
142 (nativeLaunchRecipeArguments
143 (nativeLaunchRecipeImmediate 18446744073709551516)
144 (constructor
145 NativePhysicalOperand
146 NativePhysicalPayloadAddress
147 modelWord64Zero)
148 (nativeLaunchRecipeImmediate 65536)
149 (nativeLaunchRecipeImmediate 0))
150 b".\x00"
151 directorySlot
152 identity
153 (nativeObservedJournalCheckDescriptor
154 directorySlot
155 pathAt
156 workSlot
157 b"telemetry:journal-directory-open"
158 (nativeObservedJournalCall
159 257
160 (nativeLaunchRecipeArguments
161 (nativeLaunchRecipeSlotValue directorySlot)
162 (nativeTelemetryPolicyState (succ pathAt))
163 (nativeLaunchRecipeImmediate 1217)
164 (nativeLaunchRecipeImmediate 384))
165 b""
166 fileSlot
167 identity
168 (nativeObservedJournalCheckDescriptor
169 fileSlot
170 pathAt
171 workSlot
172 b"telemetry:journal-open"
173 tail))))))))))))))))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.