270def nativePhysicalErrorCodeBytes =
271 (lambda unrestricted code : (family NativePhysicalErrorCode) .
272 (eliminate
273 NativePhysicalErrorCode
274 (lambda unrestricted current : (family NativePhysicalErrorCode) . Bytes)
275 code
276 (branch NativePhysicalIdentityInvalid . b"ALPHA-PHYS-001")
277 (branch NativePhysicalFallbackObserved . b"ALPHA-PHYS-002")
278 (branch NativePhysicalCommandCountMismatch . b"ALPHA-PHYS-003")
279 (branch NativePhysicalStateExtentZero . b"ALPHA-PHYS-004")
280 (branch NativePhysicalCopyPayloadEmpty . b"ALPHA-PHYS-005")
281 (branch NativePhysicalCopyExtentZero . b"ALPHA-PHYS-006")
282 (branch NativePhysicalMachineCodeEmpty . b"ALPHA-PHYS-007")
283 (branch NativePhysicalFencePollCountZero . b"ALPHA-PHYS-008")
284 (branch NativePhysicalTelemetryPathEmpty . b"ALPHA-PHYS-009")
285 (branch NativePhysicalTelemetryRecordEmpty . b"ALPHA-PHYS-010")
286 (branch NativePhysicalResultSlotUnavailable . b"ALPHA-PHYS-011")
287 (branch NativePhysicalExecutionAssertionFailed . b"ALPHA-PHYS-012")
288 (branch NativePhysicalRepeatCountZero . b"ALPHA-PHYS-013")
289 (branch NativePhysicalRepeatUnbalanced . b"ALPHA-PHYS-014")
290 (branch NativePhysicalFenceWaitCountZero . b"ALPHA-PHYS-015")
291 (branch NativePhysicalFenceWaitIntervalInvalid . b"ALPHA-PHYS-016")
292 (branch NativePhysicalBranchTargetInvalid . b"ALPHA-PHYS-017")
293 (branch NativePhysicalMemoryExtentInvalid . b"ALPHA-PHYS-018")))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.