Repository navigation
Expand file tree
/
Copy pathMANIFEST.sha256
More file actions
362 lines (362 loc) · 41.3 KB
/
Copy pathMANIFEST.sha256
File metadata and controls
362 lines (362 loc) · 41.3 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
49ef9a87caececafead2f52d4e27b953f6126455a38862b33b12bbe15ec0a377 .gitattributes
1b43441171500954758bc3f698b4fd1619f048ad8d2143c0c6384e253e6fc640 .github/workflows/docker-demo.yml
bbe1712d2abaa0b05abc91f7e5f2c27e5b758ecb03bbee27700e638ead391867 .github/workflows/host-checks.yml
f92a69b784699d81bb9272ce6cc9eaf2e094e2a04a1447102020713d3739329d .gitignore
f49b1e84e764a2e0258f14cd91a8da0d22e08c686f592474341d66156df635e6 CHANGELOG.md
659fc6a57168461fa744af167f894262e7fc752785820d53e00676a09f72ee34 CITATION.cff
6d752644eed8597f6019b816c1e0bf52cd1c3383bc50ee314b2a5bbd2e64b6de CONTRIBUTING.md
9f84cfc588b15d6a404d32fcaca94f661937ee20fb20e9c38e1fb026faed7362 LICENSE
9ba9550ad48438d0836ddab3da480b3b69ffa0aac7b7878b5a0039e7ab429411 LICENSE-docs
fa110801cfc8ac6d88a85fb55001223130491b35a69972e80512f80c816c9a54 LICENSES.md
44f28ba123d928cfd549a8fa10497596682ad497c92752d1b31f3aecf0fc675f README.en.md
c042893f28dae8ef96165e00cd651a4e637e27787c509180ec17570dd08660c2 README.md
d3f3ce348c6fb383a4d3f217dc869fc2e1f4f755ec8c9612f67ef838362fbf82 docs/ARCHITECTURE.md
3c1d481a0a07aef971ec0afaedc7c22ea3c17b28fe414d3e09cfbbec36ec7fe9 docs/EXTENDING.md
bbdec7cb79c494aed9fba67e1d5b524ea903b816c49e9b1675b886d9be75ee08 docs/INDEX.md
f574095d999de081d29a27da625ef89ded3fdb646cae6403c747a651c77f7f4b docs/REPRODUCE.md
aa50871c71094c001b10ab88f052d804fdcb8768d6a3f3a1e016e657ecc74507 docs/STATUS-AND-LIMITATIONS.md
043699d16d738b0d2635c1b6a848dba873228633151027369b11b40e1a8029bf docs/defense-topic1-microkit-mission-shell.pptx
efad34c9e7c8c208e4529298a42f5e57d511ad59fb2a6a2b775efd4638ac87b9 docs/examples/m9-zero-level-enable.patch
77c8f7629cd334c4ff7d4bacf931bf8d2544bb8dcf99c4d21f0fa73e8cb53e75 docs/experiment-design/controlled-experiment-design.md
c2509e2397aecc339e98f0ce79b7ab6052fe54ba30d6caed96d0a8dd85562e42 docs/figs/fig-arch-detail.png
a8c8de67e046b10effe1c94803cc957df73ad42cc27700fd34afdf879399e689 docs/lifecycle/00-README.md
23b3487e1a85e203fc1b3fed60f039c8197f3be03773879956c8319c28b936ed docs/lifecycle/01-SRS.md
d05f1ec1a476008d467a1360b112363ee00bd9ad5322abd6dfab14e4ce38ba1c docs/lifecycle/02-SDD.md
27b007b1d5e98531faf14260c06c16a4f9663a20a186f7b0aafbe1f17dc583c9 docs/lifecycle/03-implementation.md
51a3e0c5aa3dfa826c0b6755becd5a2bb695b532d8e04e0a7ee84dba9a3624ae docs/lifecycle/04-test-plan.md
5b696b004f9b1331cf3f759892ae797106caf2df2beee883e05c4d873f0123c6 docs/lifecycle/05-test-report-full.md
abd540ce9bcae6966095ab991f4c8d183a27e263915ad928bcc86a9289e69585 docs/lifecycle/06-release-repro.md
8a46a57e0aa21e3b672c7da2505c9852161a4fc37bee511928f7ef3dfb3e071c docs/lifecycle/07-traceability.md
84b5a233beb13bef09b4f52e851162f5614846136e58bd8a8966e65d456b940c docs/lifecycle/08-config-change.md
2fe58142589d75a63453b7532c26d1d4fbbf9d0ead2a060b55fe6cf2c1002d6f docs/lifecycle/09-lifecycle-overview.md
b1c57ca5abdd810f2cd4733663576dfe246e85af060c9878f1b4d6b076a1e669 docs/pu-boundary.md
746fe08ed5ad2ba393ddce24b98e8e7c7860ebb7d2c6790b9ed3b7b26e6f6ca7 docs/report/README.md
4ce0a29c83967dcad3760ac069441a95bc2d5a8c6d237117aff97ce7440782af docs/report/figs/draw_arch_detail.py
41652c739206ad5cf72c4cb2152f6bb00fcc7a839c1c4c7615199025027146bc docs/report/figs/draw_enriched.py
88b0cbe6024ee1e2d3e1ca35132b1d1db3cecb1563ec506f29209f61526a5f25 docs/report/figs/draw_scenario_map.py
c2509e2397aecc339e98f0ce79b7ab6052fe54ba30d6caed96d0a8dd85562e42 docs/report/figs/fig-arch-detail.png
918d8f78dabf283f22b421550326b329147118ac005cb9ad85fd120889f447a1 docs/report/figs/fig1-1_scenario_map.png
0f862563344c673af251d84da9becb27710c5448633bfc781a632ecf0c1caf3f docs/report/figs/fig3-1_overlay.png
1ed7119ef4fc20d47a6a331dc56b6aa95270789070bc4d2b482aa922b8a57ee2 docs/report/figs/fig4-2_cosign.png
31254b0f5adfc6f630030523854f362d39fd84303b1a3800e0ab5fb7685f1de9 docs/report/figs/fig4-3_evidence_chain.png
3bf0aa2e9f5c62c9fad2e4046f4b224afb9f65f61318afa39a5985f1b378c882 docs/report/figs/fig6-1_field_decision.png
5784092024b8538d25227cde112a3fafdf64fe84138ca501be40bb38e2a4e164 docs/report/figs/fig6-2_pipeline.png
3f2e0cf1c26ab07e203216cc6e735a91a34f5f9373f858a2da11835bcbb4d886 docs/report/figs/fig7-1_fnr.png
c31856d51ce5b2442a1ee1aa987a5587923c34b07a6ada1a3677a73fa3c5d678 docs/report/figs/fig7-2_ablation.png
cc51f7e6dcc33908d2f44edaa3d2da8895e5e51da9cadf8507556b99df78920b docs/report/figs/fig7-3_tamper.png
bd16534282f087b1594c4f840749fb1e4c9a49f48f9a4d41bc57d17083643729 docs/report/figs/fig7-4_falsification.png
f4280a32cead679e0b016223dc09c0f2e3ed4753f5a19e725d93772ce1a104c8 docs/report/make_figs.py
7a4cce41600653f19783811e46ee8985e4a8bc1b1041668063836212d7ae0d52 docs/report/mission-se-integrated-report.md
203553c6dd196d811fac19eb0fc3550f44c4c63b8424f3438b184bfa7c44832c docs/s0-sel4test-guide.md
2ed3cd05d5e18c0c8b8ac2545bbe81c29b61e4c0abf568bc254be8e21b1021eb docs/survey/mission-se-related-work.md
5e2af6a41e6e5305ba3c34d1ef213b188d5f91de29d37f73c00a6265db7a3998 docs/traditional-se-embedded.md
10b77d6654d4c8890a24ee34f2ca42d21ee8d82c306fd774ab8ec5f8ab86cde7 docs/verification/box-verification-2026-10-10.md
203c74537696cd0a4fa279c281e493c7ee7722d7e8d3f126216f67327e9427cd mission-shell/Makefile
79155179b27a913f6b08c34b719637465c53c6f3da490b856d52f795289071af mission-shell/README.md
b5c40f9d7aaa88cdb6abef27ace50a6e1e7edac1c0acea5cee8b4a9f5c958d9d mission-shell/client.c
6f31ceb3e9e522a1a0e302e6dc9a980d5ca40d3cea01c3fb27f2d63c3dcff054 mission-shell/docker_build_run.sh
776566e57c838bc6bf7553d4150c0117c9cb38e4e107bdbfc7884bc125a346aa mission-shell/docker_corpus_run.sh
a8c8de67e046b10effe1c94803cc957df73ad42cc27700fd34afdf879399e689 mission-shell/docs/LIFECYCLE-PACK-INDEX.md
842d610507944bd0a186421f50c1c7e76b72e330faed4a7b91acd639a3ae1579 mission-shell/docs/PU_BOUNDARY.md
5e2af6a41e6e5305ba3c34d1ef213b188d5f91de29d37f73c00a6265db7a3998 mission-shell/docs/traditional-SE-embedded-in-mission-shell.md
4b88b594af8245769328f317e04be53c6476bae2ffe3a6e6e393d21d42c45380 mission-shell/experiment/README.md
7c65441ed3367fc92847f6611b01664ca680fcee80a2da4ea86abd2d361ff0ae mission-shell/experiment/analysis/analyze.py
12983e2cafa0ea6a4e7dd91057d18f3fd5213bf708ec6c0a4b82eddb6a5dd182 mission-shell/experiment/analysis/loc_count.py
a4be520fc52109031d64be09a34b8d010c8cf7b837271fb9155f84f7db992541 mission-shell/experiment/analysis/parse_serial.py
642d5821aa0b7be1ab1c408110a758bd16323aaa1a088472c3290af600cb2a74 mission-shell/experiment/analysis/stats_exact.py
5fb63e28cc276f2a7654b873f30ae5445514189bcab52acd0aa550cfd3d442d3 mission-shell/experiment/client_corpus.c
a0990950ae00f9e2ee455b7300f2e30be94130c56a3fb7eaabcd35d12a2faf28 mission-shell/experiment/corpus/corpus_c.py
1412203e37bd798dacb83d07deca7e6adf865cd191a1d851c2fc6ea19e2cf502 mission-shell/experiment/corpus/entrustments.json
06ccc61060d3a2df6c99fcfeb9e4a73eeebda9311403677fc132c8cfcc961391 mission-shell/experiment/corpus/gen_corpus.py
dc04ab825d767364aeddcb71a833128940f4db9146b6a4c41dba3f2e467e2a6b mission-shell/experiment/corpus/holdout_draft.py
9fcc3d172312fcc316a37d84e2555a524f7ef88cbfce1da770d5e02083061374 mission-shell/experiment/corpus/out/SHA256SUMS
b53268fc3f5b09989414cf5941ebbd22a062d154c52801acda4403044fc9dba2 mission-shell/experiment/corpus/out/corpus_20261007.h
7cf3a6807a0e29aee5dc480ff929531348086e32d72393ec410a45ad40696555 mission-shell/experiment/corpus/out/corpus_20261007.json
33ebc6fcec0c33d29bdb6515a751dd580418e8aab0abef47d181e18522e89061 mission-shell/experiment/corpus/out/corpus_20261008.h
bdd8e521f72521b922ce4c2cbf44488f9346a70ff09ef1171eb99f9e76d51cba mission-shell/experiment/corpus/out/corpus_20261008.json
a39e4dd7de9e43db5819cffb8882a2edd366dfb02990320ae024a7fe00a38931 mission-shell/experiment/corpus/out/corpus_20261009.h
ea7f767c4285b869ee94f0b7fde7901278c0be77408bfc36909dcd80095c0eed mission-shell/experiment/corpus/out/corpus_20261009.json
3e5ee7a1fa2843452c91cf3ec5bcf403346af855c89c7ae7b2818a4e7c63a372 mission-shell/experiment/corpus/out/corpus_20261010.h
72a1db5157c5b0b323a529d9c7244dd43c6a8054c892f3035f6859a642746d1b mission-shell/experiment/corpus/out/corpus_20261010.json
cbdfab94000a4bc3989db769a057005280b7612587ab012a3a0f30859945d1df mission-shell/experiment/corpus/out/corpus_20261011.h
389140c3c1b09bff778226df3b9463d57d2a0137c583c4a7693498634ab623ed mission-shell/experiment/corpus/out/corpus_20261011.json
db1cac91fa80722762acfbcd58023700b907309179f4f3eb480deea819ba1dab mission-shell/experiment/corpus/out/holdout_draft.h
7bf427a3eddaa90890fedda7da0f36ec5ec9bc46b8bd0121037c285a24cd0fed mission-shell/experiment/corpus/out/holdout_draft.json
0cd8573e5cb4fd1d4cab34941627fb9f040f5c2c3e11859805dd64da235eecd5 mission-shell/experiment/deviations.md
f82f6e1c4c6c3549f07a95a6d1e6de0d884a050cd701bf0f03bad010c4413da3 mission-shell/experiment/gatekeeper_field.c
c74a562b0d84898df51c7f64ad7060e44ba785470839272e29ad2e2f4331574c mission-shell/experiment/gen/entrustments_gen.h
8038eca72d6b57461502434814987717efb3bd97de32965cadfd8c3f9973c272 mission-shell/experiment/hostsim/hostsim.c
356e78fc6ff582ec6a50594545291aa79de70131221c9587138f7ebb0b2c1efb mission-shell/experiment/hostsim/microkit.h
ea52d72eaa2d88f3e11fdabf6975cb9d162cdceb7b910037777587f6738cd8f0 mission-shell/experiment/hostsim/run_hostsim.sh
2807ce0949c60fc08cdc5ab19f168273d17ec44763565b56bb9107510c64f189 mission-shell/experiment/oracle/kappa.py
700f447f3f05743dbb79bb7c9225361e14a99909a583d68337421e82ed75e066 mission-shell/experiment/oracle/oracle.py
3e3db835261ad71a96322b1b6f2f317baae4ecb37499fadf05be7ca09285379d mission-shell/experiment/oracle/rules_spec.md
a9bc7672207b5567a5a6c7534290b6eb39de259e401c894c940165a219a8356d mission-shell/experiment/prereg.md
b62086ca3e40dbf50d9751dfc5231acfdb3f8f20d18d7d0345a087fb92e97730 mission-shell/experiment/proto_fields.h
67f0fa00714702b35b92090ca96ac9bf92181952864645e7fc984b67ff1fa927 mission-shell/experiment/reports/box-qemu/confusion/B_20261007.csv
ed6cbf7595e044f50b8383be277dc4b74dc0c8f84bf68d68b1b8c342824748e3 mission-shell/experiment/reports/box-qemu/confusion/B_20261008.csv
8a7a6b7aa2b4f1f9ea7c8a117c268fb6d6c6712866ec02a03c7e666c78886958 mission-shell/experiment/reports/box-qemu/confusion/B_20261009.csv
3f6c10b4c2b303d74df0a0999474821523667baa3339af14bbdfeb774b086083 mission-shell/experiment/reports/box-qemu/confusion/B_20261010.csv
d95f4ed477407d9798920bd8baa0a6ab4bfd7f94a3cb10c2ac1de2538cc2adc2 mission-shell/experiment/reports/box-qemu/confusion/B_20261011.csv
a373305efab34d1bd3d1ededa91bdbc8500b53b42df750cbf88a78612ef091a0 mission-shell/experiment/reports/box-qemu/confusion/B_holdout_draft.csv
af7b2ff26247b99ee7237ce392feaa797b269d8a4907eecb08e11a693299b981 mission-shell/experiment/reports/box-qemu/confusion/Bplus_20261007.csv
0822ffe8720abaac8dec0809e7a8cf5a78eea386d1aa4b1595304883948a0527 mission-shell/experiment/reports/box-qemu/confusion/Bplus_holdout_draft.csv
b172a7cd1d79508a9fa077ac7f76c1a847f8428f9d85351e9dfd10a447dc1663 mission-shell/experiment/reports/box-qemu/confusion/M-U_20261007.csv
e653cc837463d2aee620f7e815ac5e7f1979d653f7a09e30302ea5bf36baf436 mission-shell/experiment/reports/box-qemu/confusion/M-align_20261007.csv
4a7d0d7b5d7aac060500a7bface7d82723daefc22234f7680e2789eb022c9392 mission-shell/experiment/reports/box-qemu/confusion/M-cosign_20261007.csv
4b56d8c8ed9dc97dee446df95a777bf3c22737e978f0414b97c596401af49df2 mission-shell/experiment/reports/box-qemu/confusion/M-prov_20261007.csv
5bca09694c9d08fab8289e2da456540b9cb3126b6064469f0baa0b20b1ddddc4 mission-shell/experiment/reports/box-qemu/confusion/M_20261007.csv
e0cd97def0c028a2a0ee66ddeec5ad51dd6ac8aa2a1021be033cb4ecb3c2f348 mission-shell/experiment/reports/box-qemu/confusion/M_20261008.csv
0bae1b39f6f4bc3b298e995af6a67bbfc4605f2ac2dcd651ff116248d8f32d64 mission-shell/experiment/reports/box-qemu/confusion/M_20261009.csv
0defb0920d5a845fd05b3e822221b611ab5958977fac3c9e3a932b47e24f9a5c mission-shell/experiment/reports/box-qemu/confusion/M_20261010.csv
12342a1a175cc49f78caec39c1e9b925290950779d7dbc0b32aaf7d2ee51842c mission-shell/experiment/reports/box-qemu/confusion/M_20261011.csv
3f0452e476981bcda82250d92842da820d50cea5c64a748ea1df3028571990f0 mission-shell/experiment/reports/box-qemu/confusion/M_holdout_draft.csv
42c119a49bd2d2a0867de934862e8ae980d160ec1b40bf4a4d6f86ee8993eaf7 mission-shell/experiment/reports/box-qemu/falsification_checklist.md
0e4d1b953284db46c3ef49313c54f34f4bb197b00fd900929649cb1dad3462f6 mission-shell/experiment/reports/box-qemu/noninferiority.csv
223b43c9d5a7d136def3fda66dd971c3b1cb5fec4a6f3c27c5261ca8d6acf5b3 mission-shell/experiment/reports/box-qemu/oracle_vs_M.md
b23fee829c9be75091d7ff227d624271cb2d5a662a9a112c718082c790b2a0f6 mission-shell/experiment/reports/box-qemu/paired.csv
6c6975dfa2a78d2c1225bc23d5cf43d943787ebe1057e2ba29701b5e5a00b199 mission-shell/experiment/reports/box-qemu/rates.csv
80a4b40dc0e65458a91b83d3e1e9c8aa8e78ccdcc3ba62e42d85b82f815b1f0d mission-shell/experiment/reports/box-qemu/report.md
680c262a383775b7c230c3a6e45e8ef48ba3ea54fb6ebcce0e30baebc70e526c mission-shell/experiment/reports/box-qemu/results/B_20261007.csv
15a588b240dbd7344d76e0d5e79e74f70fc1044e11489f2af9dcd3533a4ce223 mission-shell/experiment/reports/box-qemu/results/B_20261008.csv
883f72844f727b528631a62db2c5a1077854bc2ada9b692125ca71b03ae9cad6 mission-shell/experiment/reports/box-qemu/results/B_20261009.csv
5e93c0fe131b5c9ca84ca4b8998df71f457186a996304502500402773d5bd6f5 mission-shell/experiment/reports/box-qemu/results/B_20261010.csv
51f4c885123307afdf5b1b9149ba1acc848e6fe71f147f10f4877e782b81241e mission-shell/experiment/reports/box-qemu/results/B_20261011.csv
2a67ecd533deb784abf2f0d6f358c20602af1af68bae704b84c253c614b387a0 mission-shell/experiment/reports/box-qemu/results/B_holdout_draft.csv
26632ed34bab94879109b29893dd6f731ef63340122d22b9c75e959f8574615b mission-shell/experiment/reports/box-qemu/results/Bplus_20261007.csv
6d4557b789fcb9ede72b3f70ba3c8369935fd5b38239744631560aa44f074f6e mission-shell/experiment/reports/box-qemu/results/Bplus_holdout_draft.csv
c9a96be22ec344c6975dc74c9c2c5e7b03261573a027015ca612dcf0c237f2e1 mission-shell/experiment/reports/box-qemu/results/M-U_20261007.csv
64229eaf9d3d0a011b4edf169b64602c0e93f9c4788913ac3bdb8c12ec9ed3ee mission-shell/experiment/reports/box-qemu/results/M-align_20261007.csv
3cc0d4536ea1d218ccf65a420683c89a75af1d62b589151b9c0c8f8f41dc95ad mission-shell/experiment/reports/box-qemu/results/M-cosign_20261007.csv
173dea1eadda6681f353d2868f3ab720eccd61f483d2e2f148c0b2859d4fc4e2 mission-shell/experiment/reports/box-qemu/results/M-prov_20261007.csv
9dfab23557c91ce5ef24740b0b11c701972bef2f78107cf65f07a3a4934e577f mission-shell/experiment/reports/box-qemu/results/M_20261007.csv
9875334bf815dd3d6cac3fb549edc5bd430f20d29a8d72b1e4bb8a3d12b3c340 mission-shell/experiment/reports/box-qemu/results/M_20261008.csv
3c3d87b54c9e436adcf83f624d9a72bc8685d1b304bed0d83410ffd6b6bf4886 mission-shell/experiment/reports/box-qemu/results/M_20261009.csv
0dbf0f5de959bf928b9f745c5c48d35a235422a4d0688d920a348363afdc84ef mission-shell/experiment/reports/box-qemu/results/M_20261010.csv
55953a5a6fcb30377b50767d65e900d326b5df92dc49a0247eea490f87f1f9ca mission-shell/experiment/reports/box-qemu/results/M_20261011.csv
32d4db69f985c4e1e62da8fef0509652b580f1253b5e722f5a326a342544d8b9 mission-shell/experiment/reports/box-qemu/results/M_holdout_draft.csv
756d726a3600f3b043d0045bc95eea007349a828c6e65af73aad991e737101ac mission-shell/experiment/reports/box-qemu/tamper.csv
67f0fa00714702b35b92090ca96ac9bf92181952864645e7fc984b67ff1fa927 mission-shell/experiment/reports/hostsim/confusion/B_20261007.csv
ed6cbf7595e044f50b8383be277dc4b74dc0c8f84bf68d68b1b8c342824748e3 mission-shell/experiment/reports/hostsim/confusion/B_20261008.csv
8a7a6b7aa2b4f1f9ea7c8a117c268fb6d6c6712866ec02a03c7e666c78886958 mission-shell/experiment/reports/hostsim/confusion/B_20261009.csv
3f6c10b4c2b303d74df0a0999474821523667baa3339af14bbdfeb774b086083 mission-shell/experiment/reports/hostsim/confusion/B_20261010.csv
d95f4ed477407d9798920bd8baa0a6ab4bfd7f94a3cb10c2ac1de2538cc2adc2 mission-shell/experiment/reports/hostsim/confusion/B_20261011.csv
a373305efab34d1bd3d1ededa91bdbc8500b53b42df750cbf88a78612ef091a0 mission-shell/experiment/reports/hostsim/confusion/B_holdout_draft.csv
af7b2ff26247b99ee7237ce392feaa797b269d8a4907eecb08e11a693299b981 mission-shell/experiment/reports/hostsim/confusion/Bplus_20261007.csv
0822ffe8720abaac8dec0809e7a8cf5a78eea386d1aa4b1595304883948a0527 mission-shell/experiment/reports/hostsim/confusion/Bplus_holdout_draft.csv
b172a7cd1d79508a9fa077ac7f76c1a847f8428f9d85351e9dfd10a447dc1663 mission-shell/experiment/reports/hostsim/confusion/M-U_20261007.csv
e653cc837463d2aee620f7e815ac5e7f1979d653f7a09e30302ea5bf36baf436 mission-shell/experiment/reports/hostsim/confusion/M-align_20261007.csv
4a7d0d7b5d7aac060500a7bface7d82723daefc22234f7680e2789eb022c9392 mission-shell/experiment/reports/hostsim/confusion/M-cosign_20261007.csv
4b56d8c8ed9dc97dee446df95a777bf3c22737e978f0414b97c596401af49df2 mission-shell/experiment/reports/hostsim/confusion/M-prov_20261007.csv
5bca09694c9d08fab8289e2da456540b9cb3126b6064469f0baa0b20b1ddddc4 mission-shell/experiment/reports/hostsim/confusion/M_20261007.csv
e0cd97def0c028a2a0ee66ddeec5ad51dd6ac8aa2a1021be033cb4ecb3c2f348 mission-shell/experiment/reports/hostsim/confusion/M_20261008.csv
0bae1b39f6f4bc3b298e995af6a67bbfc4605f2ac2dcd651ff116248d8f32d64 mission-shell/experiment/reports/hostsim/confusion/M_20261009.csv
0defb0920d5a845fd05b3e822221b611ab5958977fac3c9e3a932b47e24f9a5c mission-shell/experiment/reports/hostsim/confusion/M_20261010.csv
12342a1a175cc49f78caec39c1e9b925290950779d7dbc0b32aaf7d2ee51842c mission-shell/experiment/reports/hostsim/confusion/M_20261011.csv
3f0452e476981bcda82250d92842da820d50cea5c64a748ea1df3028571990f0 mission-shell/experiment/reports/hostsim/confusion/M_holdout_draft.csv
89bc558aa4d9660c4755b9621bb68ec6e5f2f8cbd2b63b17c1e8383ad5b7442f mission-shell/experiment/reports/hostsim/falsification_checklist.md
0e4d1b953284db46c3ef49313c54f34f4bb197b00fd900929649cb1dad3462f6 mission-shell/experiment/reports/hostsim/noninferiority.csv
223b43c9d5a7d136def3fda66dd971c3b1cb5fec4a6f3c27c5261ca8d6acf5b3 mission-shell/experiment/reports/hostsim/oracle_vs_M.md
b23fee829c9be75091d7ff227d624271cb2d5a662a9a112c718082c790b2a0f6 mission-shell/experiment/reports/hostsim/paired.csv
6c6975dfa2a78d2c1225bc23d5cf43d943787ebe1057e2ba29701b5e5a00b199 mission-shell/experiment/reports/hostsim/rates.csv
f145fbad128d5cbcae75d5d2cd2ac8b4b5a116a273e8480cbb6cc4a002965872 mission-shell/experiment/reports/hostsim/report.md
2759ce62c48fcf75277af9110021f12f35130cc22f45be1b61fbeedca2b26d43 mission-shell/experiment/reports/hostsim/results/B_20261007.csv
03595e99d437eecd04e9d9bc1e8f704c297a84a642391ee927f355f6c2e97f91 mission-shell/experiment/reports/hostsim/results/B_20261008.csv
77a59e82b892b0e450ad169ad8c6e014168886688e466092174b47895d32597f mission-shell/experiment/reports/hostsim/results/B_20261009.csv
55c69a19caab8d10e53cbc5be6875dcbfeba89ba4c1b5436f408d2bbbb969997 mission-shell/experiment/reports/hostsim/results/B_20261010.csv
39df78262d63bdc3302c1834d75636f63dc695735491a2db63e7bc62c9d07453 mission-shell/experiment/reports/hostsim/results/B_20261011.csv
e6eb72363db6ea0ee75ca5808294652de74d92ee1fb2b65e8fb340c902e1e528 mission-shell/experiment/reports/hostsim/results/B_holdout_draft.csv
a12d5e4249f8af61bd2148e2b5d5134725d15495f5df4444072691c9fbbb47a0 mission-shell/experiment/reports/hostsim/results/Bplus_20261007.csv
feb2ffca8deeee0652a00d43d0b74ad650e5f1368680b13183d6f8825a1095e1 mission-shell/experiment/reports/hostsim/results/Bplus_holdout_draft.csv
ebfc8b9ae8ad9b0f6e21b7bf4f81ebda96201d10f8cce5bb908bbd47f63a5315 mission-shell/experiment/reports/hostsim/results/M-U_20261007.csv
d008b398d2b6c8bf6415f0c282b93dd56c44e4df5ef0e388cf00a3a63d54c0a8 mission-shell/experiment/reports/hostsim/results/M-align_20261007.csv
618f9e65d0ecdfa592fb553402e48337655a4aab46589f09ac5ef67eb1c83603 mission-shell/experiment/reports/hostsim/results/M-cosign_20261007.csv
50b7f49425256f3a68fa636267e5b6127e4a4e6344c7c40c27a7b5f278643a7c mission-shell/experiment/reports/hostsim/results/M-prov_20261007.csv
847fbba46693e02dce48072eab65e741ded8d87cf5de340eb65056ee1e601938 mission-shell/experiment/reports/hostsim/results/M_20261007.csv
cb4983a476c7bdfac1c004ef475f245b946717a8fb6b5c4605b23a4285f4be06 mission-shell/experiment/reports/hostsim/results/M_20261008.csv
36ce34e33d9675680fdc105a66273a786dac803335016fea13b1349554618a9e mission-shell/experiment/reports/hostsim/results/M_20261009.csv
ada3b51286739dd339cbb084930836ec8719183c89c7ab59721cf1665091ab25 mission-shell/experiment/reports/hostsim/results/M_20261010.csv
01865313a2f55af79666e550fe2e1f86623dde5c7e810ec581308c58ead1fc92 mission-shell/experiment/reports/hostsim/results/M_20261011.csv
64a072fec6b24fb80c3d0db9947f68b7fc8117e49491213b4e366a8116a069ad mission-shell/experiment/reports/hostsim/results/M_holdout_draft.csv
756d726a3600f3b043d0045bc95eea007349a828c6e65af73aad991e737101ac mission-shell/experiment/reports/hostsim/tamper.csv
761020599ff8e2e76cddd39da26becbbb8766b80147f71d6452d013df80b4e9c mission-shell/experiment/run_matrix.sh
baa83034602447edff79f65504d6257e057474ce797daa05042b6a24f5356b65 mission-shell/experiment/runs/box-qemu/B/20261007/build_r1.txt
baa83034602447edff79f65504d6257e057474ce797daa05042b6a24f5356b65 mission-shell/experiment/runs/box-qemu/B/20261007/build_r2.txt
baa83034602447edff79f65504d6257e057474ce797daa05042b6a24f5356b65 mission-shell/experiment/runs/box-qemu/B/20261007/build_r3.txt
0cb6f6ad38ab449397bcc49428e686f37a050dbfe1e45bace48cb4ee73efda40 mission-shell/experiment/runs/box-qemu/B/20261007/r1.log
e9d35edfe44c0d3b0bcf9bd1c80c27f8f489c4f8783a5d8243a7fdc0a1280fb9 mission-shell/experiment/runs/box-qemu/B/20261007/r2.log
4a229391f2be687220916f01f5dc93ac4c86a972568ce3612fb92ae444afd882 mission-shell/experiment/runs/box-qemu/B/20261007/r3.log
ec02358c13fbe84dce2f18d5e6301ea07fd82ce42cb0ebe3066e6819c00ca2ba mission-shell/experiment/runs/box-qemu/B/20261008/build_r1.txt
ec02358c13fbe84dce2f18d5e6301ea07fd82ce42cb0ebe3066e6819c00ca2ba mission-shell/experiment/runs/box-qemu/B/20261008/build_r2.txt
ec02358c13fbe84dce2f18d5e6301ea07fd82ce42cb0ebe3066e6819c00ca2ba mission-shell/experiment/runs/box-qemu/B/20261008/build_r3.txt
6cd6e4e30b81d8fbf683adf17a9b92626c6234a4aee4b462ce793b8008951831 mission-shell/experiment/runs/box-qemu/B/20261008/r1.log
8858b379ddc9bdb47b284d7aa8974e8d5e852a59b946cb1a16a185676c8ced49 mission-shell/experiment/runs/box-qemu/B/20261008/r2.log
e5d12b8d898f31d4ab90fbbdb0db9a651a356969df3ef8c0e96a76895215a1f6 mission-shell/experiment/runs/box-qemu/B/20261008/r3.log
92864793620efeae50b5ad9a3be26e304892e3ff6f367959726e801e5bfd2aa3 mission-shell/experiment/runs/box-qemu/B/20261009/build_r1.txt
92864793620efeae50b5ad9a3be26e304892e3ff6f367959726e801e5bfd2aa3 mission-shell/experiment/runs/box-qemu/B/20261009/build_r2.txt
92864793620efeae50b5ad9a3be26e304892e3ff6f367959726e801e5bfd2aa3 mission-shell/experiment/runs/box-qemu/B/20261009/build_r3.txt
3479ff45ab5e86e004cf0a7233c209143b11ff7c4f7b5627b45ff0eb6ff2500c mission-shell/experiment/runs/box-qemu/B/20261009/r1.log
a077e162b1136f4dcc7a5c12c5b672d38da92e80d7bb317ef7fef2c0353f909a mission-shell/experiment/runs/box-qemu/B/20261009/r2.log
608bc46f0fe0689e546b5a740c649dbfc201f71a77047ddcbeae1eddc9719789 mission-shell/experiment/runs/box-qemu/B/20261009/r3.log
af9cd517abdce78dd1de4de3607af91a61192085a222cf1d1abd52e191a43510 mission-shell/experiment/runs/box-qemu/B/20261010/build_r1.txt
af9cd517abdce78dd1de4de3607af91a61192085a222cf1d1abd52e191a43510 mission-shell/experiment/runs/box-qemu/B/20261010/build_r2.txt
af9cd517abdce78dd1de4de3607af91a61192085a222cf1d1abd52e191a43510 mission-shell/experiment/runs/box-qemu/B/20261010/build_r3.txt
9be76dca8eeeaffebd876e927c3ad1619fcf05a5eeac74c3b96c1b69057c7396 mission-shell/experiment/runs/box-qemu/B/20261010/r1.log
32e8f15c9edc03e8a251555548bb0d26c847752b6789a72f792d4396920a8268 mission-shell/experiment/runs/box-qemu/B/20261010/r2.log
dd4ef0edfb81bf519dab3fa834576868fd2f69aeae8c58fa12923d4acf6432b1 mission-shell/experiment/runs/box-qemu/B/20261010/r3.log
c0020e1a054532bfaaa96af671a7ce349872cc4855a0cea540470d0b60b1a695 mission-shell/experiment/runs/box-qemu/B/20261011/build_r1.txt
c0020e1a054532bfaaa96af671a7ce349872cc4855a0cea540470d0b60b1a695 mission-shell/experiment/runs/box-qemu/B/20261011/build_r2.txt
c0020e1a054532bfaaa96af671a7ce349872cc4855a0cea540470d0b60b1a695 mission-shell/experiment/runs/box-qemu/B/20261011/build_r3.txt
14f55b0ab71c7d5022aa075dffd32db26c82d558dda1cdd418cc0004ead1b8b2 mission-shell/experiment/runs/box-qemu/B/20261011/r1.log
1d202dfdecaf7ae7750d519258a37050adb0bb71f12d31a2c239a670428a4265 mission-shell/experiment/runs/box-qemu/B/20261011/r2.log
137f6852144caf8c75fb136b0c701f537385803518b45947a3b600cbd49a0070 mission-shell/experiment/runs/box-qemu/B/20261011/r3.log
efac9c453aafe03273b1d807e716a7370d7e1744ead6678407531293fb1477be mission-shell/experiment/runs/box-qemu/B/holdout_draft/build_r1.txt
efac9c453aafe03273b1d807e716a7370d7e1744ead6678407531293fb1477be mission-shell/experiment/runs/box-qemu/B/holdout_draft/build_r2.txt
efac9c453aafe03273b1d807e716a7370d7e1744ead6678407531293fb1477be mission-shell/experiment/runs/box-qemu/B/holdout_draft/build_r3.txt
365e8c69b025507e5d2932d2ab068073c2902860636ae95bcb0390ddbfec3353 mission-shell/experiment/runs/box-qemu/B/holdout_draft/r1.log
5d03763b90f744a31741dbaa3ee7e0da7c05c0ccea4396d6afd4c8e39734d2d5 mission-shell/experiment/runs/box-qemu/B/holdout_draft/r2.log
b6c32d9f5d0856bfa318fab6de6489095a814ae4fc578d326f1ba78476d242f1 mission-shell/experiment/runs/box-qemu/B/holdout_draft/r3.log
8b5614fad7304e3590c3f2d5ffec807d0feca7e83985f0c4be145e1711ac15f5 mission-shell/experiment/runs/box-qemu/Bplus/20261007/build_r1.txt
75cdc0b3a53e54007bab94bb41606707b73ba9f49881654de2cca9a4e5e68446 mission-shell/experiment/runs/box-qemu/Bplus/20261007/r1.log
694ca46e06df8b813569de755db120df37f249dfb6865feb9ad7f1e583374b57 mission-shell/experiment/runs/box-qemu/Bplus/holdout_draft/build_r1.txt
8e6598d625132cbad930020e1a91ee37ded0521d4d0e3025ad3a3a4c40046bee mission-shell/experiment/runs/box-qemu/Bplus/holdout_draft/r1.log
7093120c60f1168f58deae458e5ced5dfc06d991a8744d7f5bbae7829dca8a4e mission-shell/experiment/runs/box-qemu/M-U/20261007/build_r1.txt
fc15e8865df195f08197a5c745121b010309e3eb799e2c56609af63d31805dcb mission-shell/experiment/runs/box-qemu/M-U/20261007/r1.log
2558a6f41208023d42111fc9447ce37f0be0ea633f47fa437a2df7b59b500e0e mission-shell/experiment/runs/box-qemu/M-align/20261007/build_r1.txt
3860121cddfe4afa9567eee87838ad81fecfe25681b25befa7f3c29f862592e2 mission-shell/experiment/runs/box-qemu/M-align/20261007/r1.log
f7c1d37826241c9ec36891f07788e67c1e6d50e29fe4d2a58645a85431f48f4c mission-shell/experiment/runs/box-qemu/M-cosign/20261007/build_r1.txt
a3d5435b9b7bfb081927176e6884b6f73cd2d229da42c62a32d472bb47043c14 mission-shell/experiment/runs/box-qemu/M-cosign/20261007/r1.log
2e8539eec3c1dee244d7921f2e9cfe1fdc5b2a9a59a76b02d547a40015db604e mission-shell/experiment/runs/box-qemu/M-prov/20261007/build_r1.txt
a9e8e7597c17c08abbc51d7a1596381ed169806b1204a86665e86076e1fe7861 mission-shell/experiment/runs/box-qemu/M-prov/20261007/r1.log
44b53c7328d5bfe8ea1df3990dde55c171ce74df89445add9507d1f6dc413427 mission-shell/experiment/runs/box-qemu/M/20261007/build_r1.txt
44b53c7328d5bfe8ea1df3990dde55c171ce74df89445add9507d1f6dc413427 mission-shell/experiment/runs/box-qemu/M/20261007/build_r2.txt
44b53c7328d5bfe8ea1df3990dde55c171ce74df89445add9507d1f6dc413427 mission-shell/experiment/runs/box-qemu/M/20261007/build_r3.txt
d197e65430dd8b2dbd8395616317e1e8eea1c8607764bdd964f5bf19ec13f578 mission-shell/experiment/runs/box-qemu/M/20261007/r1.log
6d81bd6595ae137295c2377c448fca4f26559d5628bfcf7a4f6c98a401cde5c6 mission-shell/experiment/runs/box-qemu/M/20261007/r2.log
25e905e4510124d0f0f15b2e0ffa27b1a081f47151bf0f148d21a4430a4feb50 mission-shell/experiment/runs/box-qemu/M/20261007/r3.log
7f859c31c9fdf4ddfffba0ce0e1730723fce13021ab9b79af6d518a56f5c0e1d mission-shell/experiment/runs/box-qemu/M/20261008/build_r1.txt
7f859c31c9fdf4ddfffba0ce0e1730723fce13021ab9b79af6d518a56f5c0e1d mission-shell/experiment/runs/box-qemu/M/20261008/build_r2.txt
7f859c31c9fdf4ddfffba0ce0e1730723fce13021ab9b79af6d518a56f5c0e1d mission-shell/experiment/runs/box-qemu/M/20261008/build_r3.txt
9039540a253daa0ccf4d4f32d2fa471e8f8f730881db948dc9f6788ce0b16bd8 mission-shell/experiment/runs/box-qemu/M/20261008/r1.log
f43b22e30826942e00d105520eee78d92ab1ae2fc2602a2328e9cfbac43485d1 mission-shell/experiment/runs/box-qemu/M/20261008/r2.log
355b9c9e02fdc4f9cb9bf1dc9372a790cb3d6f149bcb8cc28b3a11c628e95ae5 mission-shell/experiment/runs/box-qemu/M/20261008/r3.log
edeb2bd2095a561a60e39a1978eb4ee12eedf4624cf25598fa85b640f563f847 mission-shell/experiment/runs/box-qemu/M/20261009/build_r1.txt
edeb2bd2095a561a60e39a1978eb4ee12eedf4624cf25598fa85b640f563f847 mission-shell/experiment/runs/box-qemu/M/20261009/build_r2.txt
edeb2bd2095a561a60e39a1978eb4ee12eedf4624cf25598fa85b640f563f847 mission-shell/experiment/runs/box-qemu/M/20261009/build_r3.txt
a3c4cf3c56b16259cc019d826b9f704073c348d67d0e68958a489e47936fd277 mission-shell/experiment/runs/box-qemu/M/20261009/r1.log
857f7db951f63f7e53eed794b412b1c4cbdf6fece13cefd0f35f28d2b48109e8 mission-shell/experiment/runs/box-qemu/M/20261009/r2.log
dac302f55afcf3b00da441326298cb8e0856481d53ea470922f1c4da32bdcdd4 mission-shell/experiment/runs/box-qemu/M/20261009/r3.log
d470fb1b13d3966cee82a5655df736e3f210cd4b45497924a3fa605920d49059 mission-shell/experiment/runs/box-qemu/M/20261010/build_r1.txt
d470fb1b13d3966cee82a5655df736e3f210cd4b45497924a3fa605920d49059 mission-shell/experiment/runs/box-qemu/M/20261010/build_r2.txt
d470fb1b13d3966cee82a5655df736e3f210cd4b45497924a3fa605920d49059 mission-shell/experiment/runs/box-qemu/M/20261010/build_r3.txt
7c688c319532e3530cf83b28e407a47b6dbdcdfc2b2d05ecabee3106b5840fcf mission-shell/experiment/runs/box-qemu/M/20261010/r1.log
7b11d92e35c337bbf88ca22ad0f5639a8d8c90d66146f9bc6b05e18bd82b8680 mission-shell/experiment/runs/box-qemu/M/20261010/r2.log
1b69326571f5b0c9bae3e7a56b2b05c008ddbfa711c5fd6c56f05c1a144cae95 mission-shell/experiment/runs/box-qemu/M/20261010/r3.log
60c8ff899e743be63000d4120d2a5cd00210a79b8c8734583f046dd59935fa0f mission-shell/experiment/runs/box-qemu/M/20261011/build_r1.txt
60c8ff899e743be63000d4120d2a5cd00210a79b8c8734583f046dd59935fa0f mission-shell/experiment/runs/box-qemu/M/20261011/build_r2.txt
60c8ff899e743be63000d4120d2a5cd00210a79b8c8734583f046dd59935fa0f mission-shell/experiment/runs/box-qemu/M/20261011/build_r3.txt
3d378084cbc2e7679aca992892bc551ae180fbd09f65e4c9030f0a8abf2e42f2 mission-shell/experiment/runs/box-qemu/M/20261011/r1.log
1551557fdcad6a6289b97a0ac9625fa77331465c5774179b5cf95a1d6fbb1c41 mission-shell/experiment/runs/box-qemu/M/20261011/r2.log
0f2cc0f4c67134b2b3ec3c594c67faa6ea1802c895af649e2df436485b557b44 mission-shell/experiment/runs/box-qemu/M/20261011/r3.log
5eeefa11795d2804c4144afcccb0fb7082cc421ca7fd5437d7423b6b197ca442 mission-shell/experiment/runs/box-qemu/M/holdout_draft/build_r1.txt
5eeefa11795d2804c4144afcccb0fb7082cc421ca7fd5437d7423b6b197ca442 mission-shell/experiment/runs/box-qemu/M/holdout_draft/build_r2.txt
5eeefa11795d2804c4144afcccb0fb7082cc421ca7fd5437d7423b6b197ca442 mission-shell/experiment/runs/box-qemu/M/holdout_draft/build_r3.txt
b0b668331f61cc9a4ef46d2c99e5fa0e6036c70591d1aad57b494008877b0fc8 mission-shell/experiment/runs/box-qemu/M/holdout_draft/r1.log
45e20be83d978bae672004ebb0e4590bfab8873a9f96b857907edca1124bf48b mission-shell/experiment/runs/box-qemu/M/holdout_draft/r2.log
90cdb9c1e5d3705aef766d27996a31f67a7c762ee73f3f1fdf4b8e85dadd4134 mission-shell/experiment/runs/box-qemu/M/holdout_draft/r3.log
a930a42347a75fd9273b7ab9ffd262dde8b45626bb552f1f9d6df7d6bbbba51f mission-shell/experiment/runs/box-qemu/legacy_full/build_r1.txt
0e40bf2fe65616410d76220e5ad6000dd55858449a32de97a3cce91a1da86679 mission-shell/experiment/runs/box-qemu/legacy_full/r1.log
a28c07c4fb8b74d1b2452e18ef35832058fa69b02f7af747a3f324755375bda9 mission-shell/experiment/runs/hostsim/B/20261007/r1.log
56868d6840526a549872636225c960310fd7a015261234e15acb5153f4887c40 mission-shell/experiment/runs/hostsim/B/20261008/r1.log
4afd58e08edfc53818db16ef0cad94590e6d8e7dc0527361f4dcee709fc9b974 mission-shell/experiment/runs/hostsim/B/20261009/r1.log
780bcdb01320cb164787cf0dfcea4d08fdb517fec49c31edc4bd063c6e05527c mission-shell/experiment/runs/hostsim/B/20261010/r1.log
fcd6e8ae13c79ce8f5dc4775feefa6031f4d957ca4a780134ad15dcb2bcfe1ff mission-shell/experiment/runs/hostsim/B/20261011/r1.log
144d65ddb0befbf42f0a308448648083efffec74fb9a62a40e5b1547ae41a782 mission-shell/experiment/runs/hostsim/B/holdout_draft/r1.log
40f4749c33a369bde4fcbb8225427632048b84a3e9ddfd60ef98f7758c35c55b mission-shell/experiment/runs/hostsim/Bplus/20261007/r1.log
fa1bb5bfc6e8c9b3c504a859161da2624605cea24f8dcb218a9c625c177f26b0 mission-shell/experiment/runs/hostsim/Bplus/holdout_draft/r1.log
41e71f0774caff66105ba519988d353306ed998ac296f2ba13f8c9af7ae8348f mission-shell/experiment/runs/hostsim/M-U/20261007/r1.log
3de08d50f40a2d5026b68e0101ebf84dc63d6ab13e018a64f6638423569425f0 mission-shell/experiment/runs/hostsim/M-align/20261007/r1.log
7f13d9ffcbc1597f53f321c56f81a0a00db78e4f783a9309ec0ac99e4457f9f2 mission-shell/experiment/runs/hostsim/M-cosign/20261007/r1.log
6898e284a48f352cac458531310397ab8dbb811b3d4d27be8c5d60cf754fca9b mission-shell/experiment/runs/hostsim/M-prov/20261007/r1.log
83f47c88d023872b225b81acf7fe309a52289c060e6e41497b856298b30b718e mission-shell/experiment/runs/hostsim/M/20261007/r1.log
6c2b23faeb92064ec4242aac1daeda09842e2bab6c4b9eed27bbea7b86c4e15f mission-shell/experiment/runs/hostsim/M/20261008/r1.log
de6657a7eeeab97355e5ec6e2c688b6422350e7eae06f39fbca86e003de0b76c mission-shell/experiment/runs/hostsim/M/20261009/r1.log
c182871855291e3746f2e318b6b370cc5c82eaa2a2b8f16178f0a1c59b13d3e9 mission-shell/experiment/runs/hostsim/M/20261010/r1.log
67554ad7dfef5004f5999bdb38d9e3376876860d31491c9fe88d62704ef737ad mission-shell/experiment/runs/hostsim/M/20261011/r1.log
99543ca83d809213b541780aa3d0275bf3795935b83099f9d2c7409375219cf3 mission-shell/experiment/runs/hostsim/M/holdout_draft/r1.log
96f7114e71357e2bffca80ad3ab16847c5fdaa74eb16e13774a4442ef83136eb mission-shell/experiment/tamper/expectations.json
7c8663a2ee8c4ca13954e602c2a131454dcdcca61b3bf9350176e4ee44f61673 mission-shell/experiment/tamper/run_tamper.py
d74d9755f20e1a940d18d8fa672634e9f853dd58e45591a669a7184740de6cdf mission-shell/experiment/tamper/tamper.py
f8da14556f62e76939120bf5ff74073117f068db45dd7c804f65935f69c3ccac mission-shell/experiment/tests/run_unit_tests.py
df6fcd32eab733aaf5fcc8dd64d8621e95df1263e253a7d38f77c0b02ae07acc mission-shell/experiment/windows/run_all_docker.bat
f5ef828c2570eb98f089465592b7e0e9801d3af4ad0388220663a4278db35c70 mission-shell/gatekeeper.c
4fdf13741460996c9a1677a4601e0e695bd38d53821bf0538d11123f0aa86980 mission-shell/mission.system
4536c186b3bce0a2ed50c09fa44fda46e1852a52eb2a8b852b08ae15b53962a9 mission-shell/mission_proto.h
8c0f64d326bac84687d8b0433ccc33ea8f8a96bc604f0610ff019c1672afae73 mission-shell/run_qemu.sh
e555cdc9e6752f8b0638cc8cf019b342d5a3ee9d58aafd3bae97e1826ea28fec mission-shell/scenarios/client_cosign_only.c
38c5d811ce1b12cd8a94887516dba2afea019c503d0edda366fb598ad36760bd mission-shell/scenarios/client_false_only.c
b5c40f9d7aaa88cdb6abef27ace50a6e1e7edac1c0acea5cee8b4a9f5c958d9d mission-shell/scenarios/client_full.c
c2eeab0f7bad5ec886674812588619b312be44d7f6eb5d02839f1974e7d64159 scripts/analyze.sh
b0158557b9dbd99069f6fab00b9635ab69ac514941aaeb8efc0de7afaac692e5 scripts/check_demo_log.py
97174d8f354a0522162ea387bca7d84653188f48a3c27a4cdc55e46a43cf2f93 scripts/check_host.sh
14e22036fd6c448e31603c4a901282412b17c67eebfba2fc32243057191c90c1 scripts/check_links.py
891a47ca73091588e5bc46da0ad4fdd4dbb6a0e3bea24b4f51467629c3d96bc8 scripts/common.sh
7ba8a5d14d813e46071fc841ffb3c886ff7d04cc7a45f2d91aa47e040f88489b scripts/compare_runs.sh
d6b3a8f07fac0599203058b21c0fe3c467e2599321027e1ec48d5d1490499c8e scripts/run_demo.sh
c11ccf00342b7a359e15f97105eca20bd01faed14e215228555b08cba6b5757e scripts/run_experiment.sh
512fd4a98aeb7785e7c24efb1ca45ddd70b9c81f2b775318094bc58259ebd518 scripts/setup_sdk.sh
19b406c1d068f2010ff38743dc3dd17171d06cce991f41d47cede837f352a2f0 scripts/verify_repo.sh
6cc218a8dc91b8305fb44110f1714a680f447356ab56a54666ec26c44e1acb2b scripts/windows/_env.bat
fb56c31a6b2c06cca45453529d1415e4e92133338f382f7d536aad41fdc0521f scripts/windows/analyze.bat
6701fbef8b35b677785cac4c04fbc98ef572e39a27468a42700bf735dd397026 scripts/windows/check_host.bat
5045bd1556e18fc1ececa8d29b876264f31135f5f11c6d1efc02ced9d43dc4b1 scripts/windows/run_demo.bat
ff449f71f834bb5c55b4020d67c093aa023ea6d6f73ca16a7794421ae00658c5 scripts/windows/run_experiment.bat
64424280d1bb7698ae87af05d716c35813dcd3d777c9e75aacc391834fb0ec27 scripts/windows/setup_sdk.bat
77d10fb400252e8fe433303151f81a9dbd3d736fe9b117846a0b1c338ff596c6 scripts/windows/verify_repo.bat
8c2d2afb0ac4df15f0519e8aa3a5abad03a29d46738af1b5a47c9ef8a4bba428 thesis/README.md
a9fac8e10dd5e6b3d299a7bf0815fef0f3248934db1dc17fae2dcce8aaec47b9 thesis/figs/draw_figs.py
5160ef037c9a19c8479ca1eaffab141bd4416f8eb355c7ff64a7c4d1f4335a4d thesis/figs/gp-fig1-gantt-v2.png
59c3cb859399a7b1de09ccdbcd731548880ff72532e1901352e7fdd88431e35d thesis/figs/gp-fig2-toolchain.png
79f2828c1321e994f5c7cbff590f4d59a54f218ea7573aaddad75b521985d351 thesis/figs/gp-fig3-spv-matrix.png
00c15635c0480ce19a4c11af94c5326fa977e6dfe93ad4c53b9ccb76d6c16d69 thesis/graduation-project-spec.md
b035f06a915ee09aa287935fbebaa57556962d2515178fe3e23daa1340bd0e79 thesis/prototype/README.md
52a56933c3ac69ab2af35b85b62a32466c457f2bfbef6722541f53aec8be6883 thesis/prototype/entrustment_records_v0.example.json
4e8aa14ebe95d05e1b317a247b6bf74f87f7cab5f229a56bdb308f07ae4cc12f thesis/prototype/er_schema.py
04aa524b072a98f212849f1b676432634da7bac684e97c54f3fb6e082f34832d thesis/prototype/out/runs/B/spv_1/r1.log
c8813e0e2f809b7a30538d3a4d0f2c6a4975f54936bf2cc4e56fda5fae561154 thesis/prototype/out/runs/Bplus/spv_1/r1.log
296ce35346358067f2964e1a00d1f6f301964699860d41efb9790aa966e6b862 thesis/prototype/out/runs/M-U/spv_1/r1.log
4464778bb8c9ef2eaa7e111246ee304beb7eebeff7eca0f30847e5f7ed865e11 thesis/prototype/out/runs/M-align/spv_1/r1.log
67a6fa504d47055756376a6b0623d08e8e37b114df448c6809d223453c9d0d01 thesis/prototype/out/runs/M-cosign/spv_1/r1.log
e2d7a6a94f4a6929e9d7ed81ab5e03963aa0ec5148da5844b9c73f9e47c61bcc thesis/prototype/out/runs/M-prov/spv_1/r1.log
da753badb6f8213edaa0e6154dbc91568e70a5312b8085cfb1c201abe52d8e04 thesis/prototype/out/runs/M/spv_1/r1.log
f10a419278c650d14ee66a938eb0c9c4fc7ffd459c8083a8efc76c58e0c41c2f thesis/prototype/out/runs/mut-action_scope/spv_1/r1.log
4024871415fab26eea355dc5f54426d8c35f83cb8c73e7760cd87f1297675156 thesis/prototype/out/runs/mut-enable_u_skip/spv_1/r1.log
a69000ecb59f2411b8dc9a0d134d95f05e414e9100afab13506b0647a80660d5 thesis/prototype/out/runs/mut-level_ge/spv_1/r1.log
aeed164a0804a24c269365a57bca53b7e0d26cb2cf01817136da980027bdc141 thesis/prototype/out/runs/mut-no_binding/spv_1/r1.log
8824694d57da8a4a53135ff6784aa60c7f40e9cb0bf0985add1bf3437fbb21a1 thesis/prototype/out/runs/mut-no_forbidden/spv_1/r1.log
4211430424c319dd63a697ffa7fee19fff5680241aacd5690661b61d871960ea thesis/prototype/out/runs/mut-no_origin/spv_1/r1.log
c476dc43300a3ee3221b3b8f65046b78675f263a2f5fba2807d52fcd52c28f47 thesis/prototype/out/runs/mut-no_superseded/spv_1/r1.log
39e0ba56d07b553021ff1964a458ef2624121d83e6472342fd885a8a861779aa thesis/prototype/out/runs/mut-t_end_open/spv_1/r1.log
3bb11e57dfde4c41a801616ed8f655325ece965bb79b3bf5e8da6b037ff917a9 thesis/prototype/out/runs/mut-t_start_open/spv_1/r1.log
ce4fcdb0ee3e57e8e7df221094c5fb7f850747abaab0980a3ca26539da3a13fa thesis/prototype/out/scored/B.csv
9491550006cc92cf4fd43017dc1c02713de791ee25fd49a2fbe6d89b6c3a7117 thesis/prototype/out/scored/Bplus.csv
7a236fa3f5f1ff7cf2bce275782dfe26ebc946d8474c8857bc4462a4054e0129 thesis/prototype/out/scored/M-U.csv
08d7f929cf7791c8b6eea8a07f8ce1b725fb2841e04666ca93b36636b7e2895f thesis/prototype/out/scored/M-align.csv
beb46f6e4ca66c81bbff06f7a62e15b5343ac00db8399b1a31d9c81657f8de52 thesis/prototype/out/scored/M-cosign.csv
fc130c212da127b1c0b2ee98b1035ffac4870b5dd3e8cfbd5f690a753b997aee thesis/prototype/out/scored/M-prov.csv
59d17ab7011e271af7aa212324ed00817d4217f2f282d63957cb471bba111d12 thesis/prototype/out/scored/M.csv
afce5281b73e6fbf853df4ca4ad130764bf4df9f16848a014f5d90d188f32bde thesis/prototype/out/scored/mut-action_scope.csv
976fb70cc2c44f54127cde40b4219cc0113aa6fff23973598525e5718bde60dc thesis/prototype/out/scored/mut-enable_u_skip.csv
dbc59fe27d985f8fa9d61df51468280116c709b79a6daef1c2f3c1077bb51727 thesis/prototype/out/scored/mut-level_ge.csv
4d795e0ef9367e0cde223347bd12d7920d3d5317acd058e97a2a3c6be6872426 thesis/prototype/out/scored/mut-no_binding.csv
0e8e253b0b54c985c087b2ad167d6b54cf5750db61fc984dab76ea631919bbc9 thesis/prototype/out/scored/mut-no_forbidden.csv
fc130c212da127b1c0b2ee98b1035ffac4870b5dd3e8cfbd5f690a753b997aee thesis/prototype/out/scored/mut-no_origin.csv
36b75cd119e0cf3e516e56b0444db62028d3dda6b606592ff11c975bf3570372 thesis/prototype/out/scored/mut-no_superseded.csv
308bb93762bf0dc9faed8c65799b3fd3d7284702e45989a149bb9523490ac545 thesis/prototype/out/scored/mut-t_end_open.csv
a4c992b7167fb40c5bf071e91a03fe8c7790f108bf202e1cbb097a6fa36dc4ed thesis/prototype/out/scored/mut-t_start_open.csv
000626d0361e97035d366f524bf339d31cb03f9765f71c0d6c4edb41289f9458 thesis/prototype/out/spv_1.h
cf7175631d5615a32b2f946da9f1f6672bfd3dd3f44e3aca82c1c2deb5e49839 thesis/prototype/out/spv_1.json
aafc34486892bbc272eb2681dce340d42d1c9aebacf2f2cf2438417f51306d58 thesis/prototype/out/summary.txt
fa56fabbf06fbc2f6fa0f1f28dcd1603bbef3676121e79e8e83120809bf2f532 thesis/prototype/run_proto_hostsim.sh
8220b88a99a2c1859b0edc4518a32cb455e61892ad94241453b8b33818800732 thesis/prototype/spv_gen.py
eab77e7f54c080f0b3306ea44bfb3997d483326a66788e43472ef9a97f4e3f41 thesis/prototype/summarize.py