Target products supply only their identity, output name and evidence lane.
Everything else is shared by the system-to-SM86 binding.
37def coppeliusSM86BuildPlanEntries =
38 (lambda unrestricted targetIdentity : Bytes .
39 (lambda unrestricted capabilityEvidence : Bytes .
40 (lambda unrestricted finalELF : Bytes .
41 (lambda unrestricted evidencePath : Bytes .
42 (lambda unrestricted physicalLane : Bytes .
43 (buildPlanCons
44 b"system"
45 b"coppelius"
46 (buildPlanCons
47 b"model"
48 b"dense-transformer-60m"
49 (buildPlanCons
50 b"objective"
51 coppeliusObjectiveIdentity
52 (buildPlanCons
53 b"learner"
54 coppeliusLearnerIdentity
55 (buildPlanCons
56 b"target"
57 targetIdentity
58 (buildPlanCons
59 b"requirements"
60 coppeliusSM86CompatProfileIdentity
61 (buildPlanCons
62 b"capability-evidence"
63 capabilityEvidence
64 (buildPlanCons
65 b"schedule"
66 b"sm86-qmd-pushbuffer-gpfifo-v1"
67 (buildPlanCons
68 b"memory"
69 b"coppelius-sm86-static-arena-1280-mib"
70 (buildPlanCons
71 b"host-emitter"
72 b"alpha-x86_64-host-emitter"
73 (buildPlanCons
74 b"final-host-elf"
75 finalELF
76 (buildPlanCons
77 b"device-image"
78 b"embedded-sm86-program-table"
79 (buildPlanCons
80 b"qmd"
81 b"embedded-sm86-qmd-table"
82 (buildPlanCons
83 b"pushbuffer"
84 b"embedded-sm86-pushbuffer"
85 (buildPlanCons
86 b"gpfifo"
87 b"embedded-sm86-gpfifo"
88 (buildPlanCons
89 b"checkpoint"
90 coppeliusRawCheckpointSchemaIdentity
91 (buildPlanCons
92 b"evidence"
93 evidencePath
94 (buildPlanCons b"physical-lane" physicalLane buildPlanEmpty)))))))))))))))))))))))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.