---- 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.
638def coppeliusNativeHostELF =
639 (lambda unrestricted hostWriter : (pi unrestricted program : (family NativePhysicalProgram) . Bytes) .
640 (lambda unrestricted hostTarget : (family CoppeliusHostTarget) .
641 (lambda unrestricted productIdentity : Bytes .
642 (lambda unrestricted programIdentity : Bytes .
643 (lambda unrestricted qmdIdentity : Bytes .
644 (lambda unrestricted pushIdentity : Bytes .
645 (lambda unrestricted gpfifoIdentity : Bytes .
646 (lambda unrestricted programLength : Nat .
647 (lambda unrestricted qmdLength : Nat .
648 (lambda unrestricted pushLength : Nat .
649 (lambda unrestricted gpfifoLength : Nat .
650 (lambda unrestricted qmdExpanded : Nat .
651 (lambda unrestricted pushExpanded : Nat .
652 (lambda unrestricted realized : (family CoppeliusRealizedTables) .
653 (nat-eliminate
654 (lambda unrestricted admitted : Nat . Bytes)
655 b""
656 (lambda unrestricted predecessor : Nat .
657 (lambda unrestricted induction : Bytes .
658 (hostWriter (nvidiaPlanHostProgram productIdentity
659 (nvidiaPlanHostRequestCommands (coppeliusHostLayoutFor hostTarget pushExpanded productIdentity)
660 productIdentity programIdentity qmdIdentity pushIdentity gpfifoIdentity
661 programLength qmdLength pushLength gpfifoLength
662 coppeliusRunSubmissionCount (constructor NvidiaPlanHostInputContract NvidiaPlanHostInputStream) coppeliusCheckpointContract
663 (coppeliusRecipeFills qmdExpanded pushExpanded)
664 (coppeliusHostLearner pushExpanded (coppeliusRealizedAddresses realized))
665 (coppeliusHostStepsOf pushExpanded realized))))))
666 (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.