Final projection used by whole-program artifact roots. Failure stays
fail-closed: the compiler's direct artifact writer rejects the empty value
as a non-ELF instead of executing a generated emitter to discover it later.
531def nativePhysicalNativeELFResultBytes =
532 (lambda unrestricted result : (family NativePhysicalNativeELFResult) .
533 (eliminate
534 NativePhysicalNativeELFResult
535 (lambda unrestricted current : (family NativePhysicalNativeELFResult) . Bytes)
536 result
537 (branch
538 NativePhysicalNativeELFGenerated
539 artifact
540 successTelemetry
541 .
542 (eliminate
543 NativePhysicalNativeELFArtifact
544 (lambda unrestricted current : (family NativePhysicalNativeELFArtifact) . Bytes)
545 artifact
546 (branch
547 NativePhysicalNativeELFArtifactValue
548 elfBytes
549 codeBytes
550 imageBytes
551 machineBytes
552 identity
553 codeSHA
554 imageSHA
555 machineSHA
556 elfSHA
557 commandCount
558 telemetry
559 .
560 elfBytes)))
561 (branch NativePhysicalNativeELFGenerationFailed error telemetry . b"")))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.