71def bobSM86BuildPlanEntries =
72 (lambda unrestricted targetIdentity : Bytes .
73 (lambda unrestricted capabilityEvidence : Bytes .
74 (lambda unrestricted finalELF : Bytes .
75 (buildPlanCons
76 b"system"
77 b"bob"
78 (buildPlanCons
79 b"model"
80 b"raw-byte-bigram-256x256-f32"
81 (buildPlanCons
82 b"objective"
83 bobObjectiveIdentity
84 (buildPlanCons
85 b"learner"
86 bobLearnerIdentity
87 (buildPlanCons
88 b"target"
89 targetIdentity
90 (buildPlanCons
91 b"requirements"
92 bobSM86ProfileIdentity
93 (buildPlanCons
94 b"capability-evidence"
95 capabilityEvidence
96 (buildPlanCons
97 b"schedule"
98 b"row-gather-ece256-adamw-greedy"
99 (buildPlanCons
100 b"memory"
101 b"bob-sm86-static-arena-16-mib"
102 (buildPlanCons
103 b"host-emitter"
104 b"alpha-x86_64-host-emitter"
105 (buildPlanCons
106 b"final-host-elf"
107 finalELF
108 (buildPlanCons
109 b"device-image"
110 b"embedded-sm86-bob-program-table"
111 (buildPlanCons
112 b"qmd"
113 b"embedded-sm86-qmd-table"
114 (buildPlanCons
115 b"pushbuffer"
116 b"embedded-sm86-pushbuffer"
117 (buildPlanCons
118 b"gpfifo"
119 b"embedded-sm86-gpfifo"
120 (buildPlanCons
121 b"checkpoint"
122 b"bob-raw-pmv-f32-v1"
123 (buildPlanCons
124 b"request-protocol"
125 b"alpha-text-artifact-request-v1"
126 (buildPlanCons
127 b"evidence"
128 b"r6-qualification-pending"
129 (buildPlanCons
130 b"physical-lane"
131 b"r6-qualification-pending"
132 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.