255def nativePhysicalErrorCodeBytes =
256 (lambda unrestricted code : (family NativePhysicalErrorCode) .
257 (eliminate
258 NativePhysicalErrorCode
259 (lambda unrestricted current : (family NativePhysicalErrorCode) . Bytes)
260 code
261 (branch NativePhysicalIdentityInvalid . b"ALPHA-PHYS-001")
262 (branch NativePhysicalFallbackObserved . b"ALPHA-PHYS-002")
263 (branch
264 NativePhysicalCommandCountMismatch
265 .
266 b"ALPHA-PHYS-003")
267 (branch NativePhysicalStateExtentZero . b"ALPHA-PHYS-004")
268 (branch NativePhysicalCopyPayloadEmpty . b"ALPHA-PHYS-005")
269 (branch NativePhysicalCopyExtentZero . b"ALPHA-PHYS-006")
270 (branch NativePhysicalMachineCodeEmpty . b"ALPHA-PHYS-007")
271 (branch NativePhysicalFencePollCountZero . b"ALPHA-PHYS-008")
272 (branch NativePhysicalTelemetryPathEmpty . b"ALPHA-PHYS-009")
273 (branch
274 NativePhysicalTelemetryRecordEmpty
275 .
276 b"ALPHA-PHYS-010")
277 (branch
278 NativePhysicalResultSlotUnavailable
279 .
280 b"ALPHA-PHYS-011")
281 (branch
282 NativePhysicalExecutionAssertionFailed
283 .
284 b"ALPHA-PHYS-012")
285 (branch NativePhysicalRepeatCountZero . b"ALPHA-PHYS-013")
286 (branch NativePhysicalRepeatUnbalanced . b"ALPHA-PHYS-014")
287 (branch NativePhysicalFenceWaitCountZero . b"ALPHA-PHYS-015")
288 (branch NativePhysicalFenceWaitIntervalInvalid . b"ALPHA-PHYS-016")))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.