---- the host ELF ----
`productIdentity` is the pairing's padded card name: the host payload's
identity in the envelope and the name the card must report.
`hostWriter` makes the host program an executable for the pairing's host:
Runtime.NativePhysicalNativeELF's direct writer for x86-64, Platform.
AArch64.HostLowering's for the DGX Spark.
647def coppeliusNativeHostELF =
648 (lambda unrestricted hostWriter : (pi unrestricted program : (family NativePhysicalProgram) . Bytes) .
649 (lambda unrestricted hostTarget : (family CoppeliusHostTarget) .
650 (lambda unrestricted productIdentity : Bytes .
651 (lambda unrestricted programIdentity : Bytes .
652 (lambda unrestricted qmdIdentity : Bytes .
653 (lambda unrestricted pushIdentity : Bytes .
654 (lambda unrestricted gpfifoIdentity : Bytes .
655 (lambda unrestricted programLength : Nat .
656 (lambda unrestricted qmdLength : Nat .
657 (lambda unrestricted pushLength : Nat .
658 (lambda unrestricted gpfifoLength : Nat .
659 (lambda unrestricted qmdExpanded : Nat .
660 (lambda unrestricted pushExpanded : Nat .
661 (lambda unrestricted realized : (family CoppeliusRealizedTables) .
662 (nat-eliminate
663 (lambda unrestricted admitted : Nat . Bytes)
664 b""
665 (lambda unrestricted predecessor : Nat .
666 (lambda unrestricted induction : Bytes .
667 (hostWriter (nvidiaPlanHostProgram productIdentity
668 (nvidiaPlanHostRequestCommands (coppeliusHostLayoutFor hostTarget pushExpanded productIdentity)
669 productIdentity programIdentity qmdIdentity pushIdentity gpfifoIdentity
670 programLength qmdLength pushLength gpfifoLength
671 coppeliusRunSubmissionCount (constructor NvidiaPlanHostInputContract NvidiaPlanHostInputStream) coppeliusCheckpointContract
672 (coppeliusRecipeFills qmdExpanded pushExpanded)
673 (coppeliusHostLearner pushExpanded (coppeliusRealizedAddresses realized))
674 (coppeliusHostStepsOf pushExpanded realized))))))
675 (coppeliusHostAdmitted qmdExpanded pushExpanded realized))))))))))))))))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.