-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCHECKSUMS.txt
More file actions
439 lines (439 loc) · 42.4 KB
/
CHECKSUMS.txt
File metadata and controls
439 lines (439 loc) · 42.4 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
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
5e48731405c3d76391243bd996c5380d259ce0513bbf0539af6c7971227f7054 .devcontainer/devcontainer.json
dfc1b8ae018aa8c5a4fe7a177148aa29ccbcb86466ebc52c71f0e7379f7ff919 .devcontainer/postCreate.sh
073e9cc3f6e1838cd13cec6ca650ee1c9a3e5f7e64b2bedfaa93c99e8c626cc9 .github/workflows/ci.yml
1e78cd76add4ccff13ad4eb771c2ecb5b3a93a703438f93af92b8820313ab69d .github/workflows/cosign.yml
4bdc49d636be45587cf195204e0750067fb69718ea72f69730b5e6777f2438ca .github/workflows/docker.yml
f38ea70ba8a09bdc6b6323e15896be8ec13a541b32807b0aa67bfdb5bd96eb7a .github/workflows/external-monitor.yml
b2bcda5805c486fda84231db5f2527d4771fefd75f9c6d604fa63245eaef28fa .github/workflows/lean_and_certs.yml
34b91bca4b9bf0825fdc2862f6b4ffed63ef9100d649d88d0134b4984da8f6bb .github/workflows/lean_container.yml
53a9febc1299de30591a2b161602371d2a3bd309c16c11d6ac60b4efa7b119ea .github/workflows/lean_unified.yml
3cb53fcf33129a12927ea2171792f385cc953265138779c7df595ebc1ce98c96 .github/workflows/lean-attest.yml
261540998190487498facb67afe7bb454faa4382cebd2d01fcb7e21990a4d9ad .github/workflows/lean-ci.yml
917ba979175c7ffe385d4c6f21e197d018a4014134a677e03e7f54b593cfb7be .github/workflows/lean-repro.yml
c5cca54e209aa6b38038878695713807321dd0001dee8e8b60a4cc548027ba30 .github/workflows/lean.yml
f1a74f7b732f3d60c611701809bb69258736b0dbc0e095f74b2941dc6e9be0c2 .github/workflows/meta-dag.yml
b1e2d631bb9ddf72a989bb53f6096ca86464c49e0766b014472ff3290bc52030 .github/workflows/meta-pipeline.yml
70c21b2183e853aca2009c0702c3f461662e64e2a8ed0a167cd62694bc965d68 .github/workflows/policy-selftest.yml
9a8eb3ec965954cf0925659dd4d148a740048ef1dccba03086fc928c58cb553d .github/workflows/provenance-assert.yml
8bb2bedce5939de2f48cf97dfa0a10c26bdcedc1899f4947d72683b7e8380634 .github/workflows/provenance.yml
6ddd78c74009605d6a79af208176302606532fc76fa44f07fa5f1703160a60ae .github/workflows/release-gate.yml
52dd1b30e3e4c4e5a4b34fa768598dea7487d06cf7808d3904845b43d315b6a6 .github/workflows/repro-check.yml
582ad4f703b906f7f142b3925908f71e1d920d7013a23830d68efc2d3332e6fe .github/workflows/sbom.yml
02a8eaac0205c92a4c121f6770251b5dd0034686f39bc0c69510c8623a9bd65e .github/workflows/slsa-verify.yml
6413bccb6c76aa856f145c0715aae40e446323b519a69692cfe51fa74af86368 .github/workflows/tag-signature.yml
861df4c889f2dd4972dc238325c1da0fdab149c4516ef3b41813450ad94cc571 .github/workflows/tu-nightly.yml
033215a7ec0d5fa96b2c66d71311a49be2e966a05a4c3cb1ff8da06d18724f13 .github/workflows/tuple.yml
86b07503d83f8b9951734d991fd3779b6a7b746bea753768670436aaf4dcff02 .github/workflows/verify-lean-and-certs.yml
0882b56c13267d2461d8f91b5c43e0d08029a5f48486e2209b369ffba53413ca .github/workflows/verify-tu-tv.yml
4885191ee267406a4e9f8bc29dce04cc4cada766d6252b3aee8f81ad4ce84228 .github/workflows/zloop_hs_check.yml
528acdaed6159cb72bd65ed58469564ef4a52f9e7e58443beb1a455e97cf19a8 .gitignore
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 archimedean-kernel-rigidity/.FROZEN
efed0cba59443b71dfb55206d93171490c35e9453b2c26943ff0eadcf60b0032 archimedean-kernel-rigidity/akr_density_coercivity.tex
a18e493ab6ab99eeeb636dc116b589f314d9f6d2c976f2b9c8188a5ba7e013ee atlas/counterexamples/ATLAS.001.md
3351505a7bac1ba39ef76728c182e53088308ed1030225988178a5660c97e206 atlas/counterexamples/ATLAS.002.md
9a1830f045241fd470823b2c9437c83d3b4a098e8017ad5ddae747443bc3d1fc atlas/counterexamples/ATLAS.003.md
26d1c40ebd685d7627e65fdb4e05faf57c791bb4e7499e17ea12e2b560f40286 atlas/index.yaml
c9b0e848b4b9cdc9168c6ff738f8b042303d481b084475d075654d85c4adc629 atlas/README.md
a5b55f63d9a1fd9e412bbbbaad7078dd04b446134a91b419dbc6f28949b01413 ATTEST_TU_STACK_v1.txt
cceb56d9bc1c19af93b1d4b9357450815b5a8378aa9a23c6876ac8759ccff478 ATTESTATION_SUBJECT.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 bsd-spectral-leap/.FROZEN
f346ac8f3ea5ccf42b6ef4c277bda73b3c5fcb033f59e7a36d144d7a0e2c03d3 bsd-spectral-leap/le_curvewise_gap.tex
240f91c4af3f874dad4ad5822907d824696d9a14f4f177a3a7d00a115cc87a50 chronos_cert_verify.py
8b5eaee716f5ae481a4c72580b3664c5c10a1aec8b0d3b53fa438cc0854be422 CLAIMS.md
f646faa2e703283c42e0f1eef5c35a6410c27535e7b50ac310fe70ed8b033116 DEPENDENCIES.md
627511e867104cca3bdb2b17bdb1497ca2a0473aff6caa2bb6f3f2cc38ed9f91 Dockerfile
964659ff567646ad742a6cc75929bc9c6f40600c7cb969f59955ab59616df80e Dockerfile.ci
aaae00b493b7457c1f2480ea2d6a66b49fd1603d1d10e32671d72fac6c11dfd6 DOCS_TU_STACK_FREEZE_v1.txt
92c6db2a1aef98c064e8e3287ea6770e6d7a525c27915f97a576fdafc3baf11d docs/chronos_cert/ADMISSIBILITY_MI_CEILING.md
7154999a4a2f355a0d03ce3808a3d6237fe0e5d0ce8d913f32d933870c0a5585 docs/chronos_cert/CORE_INEQUALITY.md
73fe7d11e0861d15c7a27c5e063fc2787abd865e064c7e1e96a6f9bfacb54484 docs/chronos_cert/HANF_BOUND.md
e12df75cb09542eb196285cc0b394fa6e1c566cf9ec60c992beb13468fd11d3a docs/chronos_cert/MI_TO_ENTROPY_DROP_EQUIV.md
ef4d4b40c668bfd9e3a4d67af8608dc77090cde5844844f0022f22a963737280 docs/chronos_cert/XOR_BLOCK_REVEAL.md
77c7a1821e0cae78934e91ead21ff0ddea942fa3fe131079f9079531b34ba4c8 docs/CI_TRANSCRIPT_MODEL.md
e072bb4df38fd9df57c5418ab861efdfbd7a9e8766067662322a35a4457910c9 docs/example_cert.json
a09cda5d96038d9aed515ce478b4699718d8cad25fab35a44498691eff45b97c docs/example_cert.sha256
679bee5f48fee10f5da6858fcb42027fb9db52d4eefb092871b96833a6c91820 docs/governance/REPO_LATTICE.md
4da13822f9f859dcfbdb61bbc294a0e4a519fb0ba69aa002d9c6a92ba8f79870 docs/invariants/Invariant_Index.md
fc0a053b70d7d1814b6ba0a8738448e54b1185acae735e178a0cdea58066d560 docs/mathlib/SIGNEDMEASURE_TV_LEMMAS.txt
9f6781db4ba33ad82476eee42ded41c90667bc28fe9d3a79aa8c5357f13a8bde docs/normalization/AC0-CSP-Separation.md
e1c6297d16223e2054ad837ab14b7c9b76f1643f3f9762109bce73a14fc31585 docs/normalization/AC0-CSP.md
fdce64a4ced9958191db1181ab4a4b34db25765a10bde2fcfcb8b55f75137943 docs/normalization/Appendix-AC0-CSP-Map.tex
5c2e720acecfdca882e36bf15947c513f4fff6c1ef7458c4ce01670855c303d9 docs/normalization/Axiom-A-counterexample.md
bd650a5cb52c7d7ad1b33557336833773f23dd881ed7964581825dfb28358bd2 docs/normalization/Axiom-A.md
d0387e76a1d746352534f89630259d0b2db0ae1f9b20c09be6b1398bf7e60bdf docs/normalization/Axiom-B-oblivious-RAM.md
dd34127c5eb6cfcfe2f6c152fd1bc2f4e5df951cea62f93a03b45e5e57a94ed8 docs/normalization/Axiom-B.md
4708f6b88b8ac27b17f950fa0671b5653613fdb459ac57181165b7c9cde25ba5 docs/normalization/Bounded-Rank-Logic.md
1ec7c8e66d257ecc1a9abfdc757d0178fa4ed32d4a13d88ab90f625a2412d65d docs/normalization/Bstarstar-AC0-proof.md
3b48753c9d010cefb675928684a88e55041271a43e2b5159fe281d3d34223ec5 docs/normalization/Bstarstar-AC0.md
da2eea4c13c4fe9ee942f5e6fb33b15d7c35dec878cc7dad41208d701a7f7eee docs/normalization/Control-Information-Coupling.md
dfc24a5ed637fc3acfb39ddb52cf35451aa27687eaebdea49a03f44282b2787f docs/normalization/Lift-Bounded-Aggregation.tex
fb3172182b7738ba48cb0491f3117e34f9c0bf8433cfbd4e6840216d1a39406a docs/normalization/Main-Theorem-AC0-CSP.tex
23eb7c7b37588124d04dadb73831df108ae63d42c7d9ad3ac718490fad278f7f docs/normalization/Referee-Checklist.md
3edd78ec72434a4294d31ef708317195f3dc0bf21459bbff14c606e0a9f61f25 docs/normalization/STATUS.md
afe8bbdce5f4ae4b56c8a61e059a4d4e5c3d29d65813e8a6757e4083bf6a0102 docs/normalization/Submission-Status.tex
252e361182f8b16d25295b19aa5e4706273e3516c8ac621e33566eb256bc0414 docs/normalization/TRAP.md
861c4cd89afffe44314129c68aca496427713b8ef64eadb621e214a9f863d39e docs/notes/day-in-infinity.md
c155e78bf1dc002748f25a0bc66c204b04363636912c06982d82d6c32c95cd85 docs/notes/glossary.md
1b22babcdef980105948e4338f96e28ebb81c7ca09969ffaf86ae75523051f89 docs/referee/ACCEPTANCE_SCOPE.md
baf8d029993943c0724f9ba2978c060595e367f0ce650ec92df18aac8ce2d7cc docs/referee/CITATION.md
9e8f0d4f18debdaf39e3dd954d9ef9181c21a95a501363bc15bad3cd3359723b docs/referee/CONDITIONAL_RESULTS.md
cd6703b2cd0b59209fba5865cafb861a0439809218066e80b8623f63a785a821 docs/referee/FROZEN.md
f03e068ef4e5a3e4e4450ed44729a8120b7bc258199a2319287d806a626f1748 docs/referee/PROVEN_RESULTS.md
f829eab569e50dee4adde4975261c8a3cd8d19ae31361ab1a2d8afe4942b5c41 docs/referee/README.md
4d184ce946ce081464b5c49b5690a8b46ed0a9bd8ee40e7c49c13c65a42d2102 docs/referee/REFEREE_MAP.md
bdd67b02f7d4e83c1da22e1d8d633d951b138cee2b72eb99d39d8e7926cef666 docs/spine/infinity-wall.md
d9683af90045d1f3ead943d1846ce6df76ac1c0023d006755e962535214143b0 docs/spine/papers/infinity-wall/infinity-wall.tex
be3d8a27ab932481a725a941648e689be09cacdcfca75e9f47d30bb4c40cc38b docs/spine/URF_Spine.aux
0f12bea7e72b89e1965cd921cc83f3f3e49c5cbea364f3a5ac4a0be72bccb645 docs/spine/URF_Spine.log
90b1236a0fa6877d22e71919b7a29743b177af5ad800b798d9ad846c98df01c4 docs/spine/URF_Spine.pdf
2fc4af820acc36aceaadf615ddd519a0be46982d1bc3b990d53f9fb2e1283238 docs/spine/URF_Spine.tex
f1ca7eb4e64d5a6c949ede1db733db91782541f20979af136da675129def9858 docs/urf-sg-base-2.json
449f6df37525e54e588d43fa7b5d66a25f8898642fed6e338ff423b4ddbcae24 docs/urf-sg-schema.json
ae9ddeb9e91c07b019383174c1073b8c2ec990b7f8f5d350878b444e32c0cebe docs/urf-sg-wall.md
1d745ad41d1ce007a6aaffc53a163b634cdd6a037117fddb08ecac641c0a0bbc docs/urfc/CERT_SOUNDNESS.md
04645f32ccc71e56d01c11ab868e0b859b57f11282ac01a59090382e1d5a80d7 docs/verification/TU_SEYMOUR_VERIFIER_USAGE.md
4033a29f3b4160a337b19dfa3869eea45e10a63fa977b8dd0142afa510bee6b2 examples/demo-cert/cert.json
e57773985135f44ab96d895c7d3bda97eb63d3b91faa36f6cb55266f396cefc0 examples/demo-cert/README.md
e61fa6d4da7f6f5cdaddc43d3dbb6c9b36787f8ce1d1df6660c988c52acfc2f5 FINAL_WALL.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 final-wall-fo-k-locality/.FROZEN
67a30044d4a8de0c6568d77d24e2c5a533042eac9fd61e263ad2ecfe7be4fab9 final-wall-fo-k-locality/.gitignore
ae48487377af29d8d61e4f2cf245a1d2a54b22af83b683f0eae52364b900d77e final-wall-fo-k-locality/clr/clr_cycle_orbit_splitting.tex
8a3b9acae5bfb94748d611fe8329e09a28b22ba24d95bc4a02552180f8756255 final-wall-fo-k-locality/clr/clr_ef_game_constants.tex
c3ed2fe11fe0ae928e12291b756ff86d0beabe03853fa12c905b40ec5a72af3a FORWARD.md
df21ef9341daafb7da82db2a88b58cf7bd9c7a9d556da74aa3e1b4de9dac7cef hardening/v2/PLAN.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 hodge-rigidity/.FROZEN
0d1fcb4bb6133d3e193abc32df4499633921020790bf8389338ae45ce5713563 hodge-rigidity/mixed_fixed_part_admissible.tex
cc26a50557cbe800f84ff18b20071470ebfcaaaed91e1b0f8530445fefbbb64c index.md
51e2e3a2da021a0ee79d105106a1a4803a43af3140b0a88a6fcbb1f1ece2d240 instances/EXT-1-Heisenberg.json
96fc5124957a0b91821563585ab18fd738e54eecbacfa2fa963dcc1a5f777804 instances/EXT-2-Ornstein-Uhlenbeck.json
2c8a58fb2d11ac0e1eb04fb2f72afba0df5c660f2f1ecf2a0c7215a101299181 instances/standards/URF-SG.json
fb6f4c745925afeaa542f81455874f213029edd3f484cf78d82b1ada0d087721 lake-manifest.json
35a2dd9331fbabcd01f64c06d39b8ff90747ba8de73023c6868e117ceb842f21 lakefile.lean
c5c0bf3c2922f4bf3ca4144dad894083ffc027b90463b6c88f32769a40639cad lean-attest/LEAN_BUILD_ATTEST.sha256
372bbc5301b6a863686243ca07d6bf850cfb6c718aac84c4570d3916f472e0ec lean-attest/LEAN_BUILD_ATTEST.txt
d55ca0039a5479db5b38919d005b2c427b89b3be4f0184a20f2f4eae931f5bdb lean-toolchain
944f71062a0de9c7220e0f61ffee2b4837d764c1f3be8a5fd1b15d5765804f05 lean/chronos_cert/ChronosCert.lean
755b4621684bd93274f7f0a77b56202bf3be2bc7fde0fc7092259bcb1069c2eb lemmas/adelic-euler-gram/LE_coercivity_lemma.tex
70aa2f1ae4c9ea3959a2d5b7a0871d7e31b661926deb06c10b3c33d918c30c63 lemmas/adelic-euler-gram/LE_compactness.tex
694f9a4a0de10c55e12ff68f1ff19c9aeb656390ea4ef7f5bffe932c8028d6ed lemmas/adelic-euler-gram/LE_definition.tex
5d3c1ed14ca010c3c1c315b403862d3f456613b6895055e13dad708628745300 lemmas/adelic-euler-gram/LE_gap_from_coercivity.tex
8fb5d598c41a1dc490abef497019e0decd728df55510477993245aa2d76d3968 lemmas/adelic-euler-gram/LE_global_lower_bound.tex
f18122faa5a3d1bf4e8853b7012945dad75f908639d5d30e272d77a865416da3 lemmas/adelic-euler-gram/LE_open_problem.tex
40bca66e5cbabd4bf3c58f73dbb989d1fd6a06277e92284148ce315edc8d4e07 lemmas/adelic-euler-gram/LE_proof_plan.tex
2d8f03d0bebce7a6bc1ed199a5302a98738d920735b52cefed29e6ef11806f9c lemmas/adelic-euler-gram/LE_spectral_leap.tex
649989700def7b6eb93341fc1cd2a3fa911607e2f21dd202229bbd9f9bd6b7e9 lemmas/tori-flip/flip_definition.tex
6457caf63b611694101577e58a296628e41ae03ac7354724d3ce46153d0f3fab lemmas/tori-flip/flip_horizontal.tex
7cf47673ea4e3f028fb214f729b65441167ee40c4af234532695caafe7f7e434 lemmas/tori-flip/flip_mixed_hodge.tex
a5ced4e8c63d546962b6ac1bf9bcfcc82ed210062236a17a94a56b6a102c7a70 LICENSE
dc1546313ff766b03624a65df4e7b27ee0dd9ceb5625c87f09ae04671e1a4189 main.tex
52d62cbb3357a759537fd649c498dc98110f5a8b32a60cf6eedd986df6220373 Makefile
cf6e07474a5da6520afa9bd99df47334d43a00eb9cca3361b4e125e5a805c5e9 meta/atlas_stats.md
2e22cdce42f008e7124f794edfb4f6f742b7dd2f96a334069f5eaeeaf3b1a6e5 meta/atlas_stats.yaml
6b71dc90bf4f2b73d360b4c14c3153c5e148469df176d59c738bc97a897a7282 meta/constants.schema.yaml
9791444fab49ffce66626659b961119729d7b40a1b33a265a17a5c862ce58cbf meta/constants.yaml
7ab514a9d044212d9d3b500584f3055375d64e0fb2e4fd11d4e47a6c212df1ef meta/dag.json
e61f830c4d34da2098181951913605f5d49a2e3bb5abd9bb44f1553810527701 meta/dag.schema.json
ca38226b63f226a0bcd02febea2257b077cdc2eb05eec0863748652a118c7a00 meta/dag.sha256
ec74c5dd5517295fd344b0d9aa6b48c4f31d41f2a410aaff5fbdd911b56970ce meta/deps.schema.yaml
6581f6ee8a10bb85a5ca8730bc879fa3bbb6f06a922ff3929d22a350fcac229d meta/deps.yaml
4d08ddd6b5e340e5bce623354020684b3bee4aaf82f094a6637ce1208644e63b meta/deps/DEPENDENCY_GRAPH.json
a72addc54da5949d6bc566861115c30c46ce0df7c913019df1e688f24e282fe8 meta/federation_consistency_verifier.md
35793f664f8005d7c5e28288e93636d4270950d34c690099e782f80af38c6ece meta/global_lemma_hash_registry.md
972f39f8c0a131c48f88acb07824b7c07c910b96252773ff1f97fb00f28d4e27 meta/global_lemma_namespace.md
219fb1bf431db8e67f534d735be38216934521c9c5646ce30d6caaa7b488686f meta/lab_machine_bootstrap.md
242312dd0158025beb4d53849c851acfc8dacf491f94e587252ece14990e217c meta/lemma_hash_HL.md
71da08df3b69c5d0eaa2a7a2701394076cb99fc2c2cbc64ae3ac138cdf999617 meta/lemma_transparency_log.md
51eda4cffdb0bd3d2b75a51e2ec0a4ac8712737720f4842a5ade6d074ab48bf3 meta/lemmas.schema.yaml
bb87e33668823aa0b572332e43cb0d6d4127664c733778f0228ce4bd609ffa6e meta/lemmas.yaml
3fb75148c780c4a97679392ef954addf565cfe5a46e3c35daf258c7829789b48 meta/MANIFEST.sha256
d9e575bce25d26e6111a34f01248d7757bee5681212360cdb4aeba8cb28b821b meta/obstructions/TV_CRI.md
b203af90fe80311013d60c736e8dcab4735df750d24e6b172f4f20780dea6128 meta/pipeline_version.txt
cb4715f093b147435c8979f0e8b7014db7451969291e4a7a839c3f973625e336 meta/referee/REFEREE_TUPLE.json
8106f04cf425e196b77af11e8c2103a6c2a62819d5f821f26193d6dfdbfc0f2d meta/regime.schema.yaml
8b5d6fb301d0e4f15572d58d2eebb9cd06b648bdc2ec2d7e9c6a197825764474 meta/regime.yaml
752580932f54de4a6de7d7723be06c16f761b9b573653b54e3c4b75524ffd0e5 meta/replication/REPLICATION_TARGETS.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 meta/replication/TPR_LOG.jsonl
9048ba85e5e538532fea89b68e16e2bcf3ad5f93292445fa11b64276d60af1cb meta/tlg_composition.md
b947e66b8f2c5afdc3d1639a171d3563537e91f0370be3c9c1e31b44e47de35c meta/tlg_instances.schema.yaml
3207b8b3ddd0722773f62590040f62d41b5d98fda96567e22e67aba1ef3a352f meta/tlg_instances.yaml
df382c86aba4620ba89fab74e0246f998bf592ec71ac8808f5e5da2579586eb0 meta/tlg_template.md
493d554a0f52a4c20519d391450be077c46eaf64dda0f7a13f027d1e346f0e4f notes/analysis/schur_dual_stability_and_ot_equalities.md
df48d25f1ee698c648b70affa0f37130d02cc9271f6cdfe81714b3a4b8b03e88 overview.pdf
90b018a80030910bf27194c5ead3773b1fa43945a3bbaef052521c1624c2eb89 papers/ac0-csp/ABSTRACT.txt
0956ce6813cc4ea8b2eb98f4c5121ac08920cb36633d9a63cf68592de71c0865 papers/ac0-csp/ac0-csp-separation.pdf
65a539eee32e63aa48b5f220a188a676ab1375e8ea4a1ea4e2c4e853d977baf9 papers/ac0-csp/ac0-csp-separation.tex
c7d36f568ea9606e3090205ceb50c7adb19d106acc7c5137050ae4dba406ecab papers/ac0-csp/bounded-aggregation-note.md
c8686c473dc59ec7ec7f54b36b5e6c94a0dbda2cb4e41856e9d7071ec7846d5a papers/ac0-csp/example-linear-EDA.md
255eca3d5d32201789960dae9363ce126f31c165458bf8160bb421bb1a091604 papers/ac0-csp/README.md
023ee6109ea859479b82fefbd47eca6802d0276f74af82f3c3bc2aa055c9deae papers/ac0-csp/REFEREE-MAP.md
3f236b017e134f4c5ac45ebacba6eff7e5ef21e7d2f88257cea06d8e7f76ee67 papers/ac0-csp/STATUS.md
7ca746da44d694162a26c678f85f1934eb24cbad059db312cd1d006b40c5e395 papers/dihedral_terminal_obstruction.pdf
d3455acc4e0ac1d52c2755d61555b2302cea666198eace4eda1b139f283aa493 papers/dihedral_terminal_obstruction.tex
3ea1173ecbac2f78b1541173c7b135123c894ed0adc1d76e220cf3eae4eaae13 PROOF_INFRASTRUCTURE.md
2e9f3f96ccea72921f5310d789b128bb96ffbbf98bee81eda46822c5f718a0c0 PROVENANCE_TU_STACK_v1.txt
0a776622f76cd2d511d314fe59419259c639a72be4cdbbba906fda617429123b PROVENANCE.json
bd55cf3e41048bf1266596381e9edbddaee9ce0241a7d99c9dd287f4b90a9fdc pyproject.toml
ffd585a1cf36f2bb6693b3e3654caee4278a706d7b0632ed34b1d371fbfa4b6e pytest.ini
f0b59354f5a1bb6e6a8aa10da91fd650cf6f6b16dfb5069b3a1337541d427a92 QUICKSTART.md
ef651b162d6e6cc37bbf271bb5ae830a0f479bb54ddebce4f5df593ffd248eaa REFEREE.md
38acb15d02d5ac0f2a2789602e9df950c380d2799b4bdb59394e4eeabdd3a662 RELEASE_BUNDLE_HASH.txt
fe56dd88be77c8747a791aa3ff8a89c561d70100930152d7b75df14dccb184a0 RELEASE_TU_STACK_v1.md
c6504145dcfd2184dae35996bfd24c2bc168531bdb8852ea3814319fe1d9b4fa RELEASE.md
720ac502927130696bdc7ee4d3ab1e99a93e1ec561aacc0dc5350cd2deed9e8d requirements.txt
a5c22b49502cb33cef6b48b1de096369031f460da8351bb70722d7c8af5418f7 sbom/sbom.cdx.bundle.json
fe33bfde54282ce21090f9aa1bcb8f82e125f467bff711fd8be149da0505361d sbom/sbom.cdx.json
e42a5080b7ec476931b2bbfe337968aa3a07d0c4be2c020b578fdd24cbb85590 sbom/sbom.spdx.bundle.json
43ad528f97dd6a041cb8b5636d613810fc2da28b72a90d7a16c4fc23a978f273 sbom/sbom.spdx.json
4c7369d9305e4bdbe128ae635f50bb525455d96c867c152e7b5478c79b543b14 schema/urf_regression_ae.schema.json
ca2ec3caf8827ac9c3c26fdf9b897bb0f02bdf8eabc7e423eef2e59ca657f01e scripts/build-merkle.sh
cb2275a31c1d005462d23cfaf022ec56ab438c1aa680e81156f60d92837567b4 scripts/check-lean-toolchain.sh
13750832e4e3583cfccb7a09714a74efcba6d21611758ce9cc7e3762d78368c5 scripts/lean-attest.sh
359e89cf23cd7e9ad630752b71320e16d08e1f2dbe608bc39f8635725cd458dd scripts/make-offline-bundle.sh
37e4553c52f10754105f4805593da3fc118051d0cee33100400be0ef15c55747 scripts/transparency-append.sh
064aa0c84379a802f96d864f8ecc7406bc0f716b128e0eac92da680f9bb5cbf2 scripts/tsa-stamp.sh
23fabcbd57f39317cd127b341cb92ce737f5e4456dd86c485669826bc52a7199 scripts/urf
c904f61666d50b77ad0d28bdaf278600537bcb4733c028fa5f07d47bccf2649d security/policy/RELEASE_SECURITY_SPEC.md
1dd5a2b0e8029efb8117d2766e7e1a9cce42f6d630e4f7b157c304fd8524eb83 security/policy/SECURITY_BASELINE_v1.md
4d214a83c813073c0d9aca7260cebfbbb5ff9004d0b4e1c7e02d2c4b870f1028 SHA256SUMS
3743213e3e2f0002d6f001249ea887109dcd7bce96d189d474220b45cbe816b6 SLSA_PREDICATE.json
f24ff3eb4fe2cfd2af9d917ff8050344f7a91a6ac5be235f5383daa35f0b4531 spine/lean/Certificates/CertificateCategory.lean
78ac62d680e9d5f8eb74bb54aecbe338317b65930cb01600b70b48b96f30af9e spine/lean/Certificates/CertificateSoundness.lean
6a341577703611497edd1dbbbc64840fa3c7c023a9b204bd2fa1a53095a04986 spine/lean/MeasureDuality/SignedMeasureDualBound.lean
c468b81d2850883541c4951985ebaaab10f3d01b9fa1beba36c72a055954735b spine/lean/MeasureDuality/SignedMeasureDualBoundConstructive.lean
65e31dbf55383738dd8343870f1dbd9c7e8602e4ac904fe5ebc5ab0b772f9fe2 spine/lean/MeasureDuality/SignedMeasureDualBoundSimple.lean
5f88dc2f5cbba7991828282e29299f9488a76798a8276fd4b0f3e42bd5188987 spine/lean/TVDuality/TVDuality.lean
33fa6e33f45bb2d61f06ed41193ad92c44d93c682ea8c801d8d4b2baafaffe07 src/Main.lean
d4316657516edbf1958848b3b72d001c932c9eeeb5188062a76de43c66f7caad src/UrfCore/AKR.lean
85e6a68156165ef53caaa164cec1915c0a9f42250ac36177e318306887c1c57e src/UrfCore/BSD.lean
536a9de20a90b8bc22a3c72c9b7b2974393b104c39178111a49dfa8a4e0ee302 src/UrfCore/CLR.lean
2755f6b03ec0a3f74f927d4a7b3ee7d99d6931859954a1c9ce22c9d27b470749 src/UrfCore/Core.lean
a63ef31c6d8c8627ef5f64f679f02ba1943df08a9e80bfdcb3752a5983553b86 src/UrfCore/Hodge.lean
b7289df5d924b8843fef1f1bb761981ab5e9484d9a6b3fc53aa05efdc83b8cdd src/UrfCore/Prelude.lean
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 standards/__init__.py
3bec7f9779c35e5cf1c5a0835ad6ed3f6b115c6f1c2b9b7db4c842e5fd6876bb standards/index.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 standards/urf_sg_base_1/__init__.py
5cc8f71698fd77034d2c69a7fb240ce52cf4edf6d5bc32e4366db963c91d172f standards/urf_sg_base_1/certificate.json
1a56d6e36de4583a8440f26d86f4d7c85d75d9e32836d9542e56dd8bc6881fe6 standards/urf_sg_base_1/certificate.sha256
966f77bc1af91e359340c6c4b062e34f368aa4b226f137ad0fea3987e9ba7078 standards/urf_sg_base_1/check_gap.py
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 standards/urf_sg_base_1/pca/__init__.py
341622be20ca1d86ade14dad533ce7013920df8751109881c3b514ea2b8009c9 standards/urf_sg_base_1/pca/rank1.py
f6d17f796292f6a830997990a8b35765a4805c00b004d71d011d197407c421f7 standards/urf_sg_base_1/SPEC.md
ceb8df8b07efdb232bb29b99576b853bc6ad1e5c186063404bde06d5898ad754 standards/URF-Block-Exact/README.md
0320f194ab20d16b4778adbce691eb5482aecdd9eda78e279c42d51b941b2e70 standards/URF-Block-Exact/standard.json
5cc8f71698fd77034d2c69a7fb240ce52cf4edf6d5bc32e4366db963c91d172f standards/urf-sg-base-1/certificate.json
1a56d6e36de4583a8440f26d86f4d7c85d75d9e32836d9542e56dd8bc6881fe6 standards/urf-sg-base-1/certificate.sha256
966f77bc1af91e359340c6c4b062e34f368aa4b226f137ad0fea3987e9ba7078 standards/urf-sg-base-1/check_gap.py
f6d17f796292f6a830997990a8b35765a4805c00b004d71d011d197407c421f7 standards/urf-sg-base-1/SPEC.md
b8103fa76a532ed517faa8527032ab213456c7f268ef053f11d5baa45ead0e5a standards/URF-SG.json
d2cdb3bc9a8b6cfe5683fdf1476006fcd04c89cf89d7e1731846d88df8a4ff91 standards/URF-SG/example.json
f261bcb252b4050f7fd1affabbecc6078e4852ba5cbce336dcb64ec318ed0dae standards/URF-SG/example2.json
043d65de54715de78326e5f32d10c492d672bc707b9a1099f18b886c62cd199c standards/URF-SG/examples/example.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 standards/URF-SG/examples/EXT-1-Heisenberg.tex
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 standards/URF-SG/examples/EXT-2-OrnsteinUhlenbeck.tex
3547c1ccce8a9b444830a18c73d8e23e4c3919c4d2da4ae8db654e040034179b standards/URF-SG/examples/URF-SG-BASE-1.json
29f43075b1c74f9cdef4aef545695f8601f772d1d1cfe92d59d15862cb641c4d standards/URF-SG/examples/URF-SG-BASE-2.json
2e5b013621a0d2fc1899609c06686278c7f88111e9ca29994c3ddba0569c40e0 standards/URF-SG/README.md
9adf1495ae4d3e63eabffc7781e2cbf9c4d961c8d850f6adbaf412778277d289 standards/URF-SG/schema_law3.json
6d8abe728fea89d06943d3ef47e53f1da79253ad2c84eca9152f1da57675492a standards/URF-SG/schema.json
93d6bcc2b9fb096b92c0507088cc4fbbf4b0567efbc345bf27cce057858e6c4b standards/URF-SG/schema/urf-sg-v1.0.schema.json
7fff91909c94e99c9c79a54e396353b0cfce59d5f5527e07594550f67c0fb680 standards/URF-SG/URF_LAW3_CHECKLIST.md
471d7758b523b0b3017ad2fdad67c8b8ffcba4ff9268e4e0b252c3d9f4338397 standards/URF-SG/URF_LAW3_TERMINAL_WALL.md
7166009c019ea10699aa115e08eb25e6b39a48e803b5af7d955f6f5e92f7a65a standards/URF-SG/URF_LAW3_TERMINAL_WALL.tex
aa1978a5fc9332b1666f7732c1696f4ccb83d4e64f03f7f9e3fa5fd67e97b7d7 standards/URF-SG/URF_Spectral_Gap_Rigidity_Wall.aux
91993ea464cd93c905057077f4ed9e909b75e2ccb5d34e8921cb7ec042581081 standards/URF-SG/URF_Spectral_Gap_Rigidity_Wall.log
33414a3665a5bc0f6893a516c5ddec2dea1b093594a900aa8e43378898552239 standards/URF-SG/URF_Spectral_Gap_Rigidity_Wall.out
8d242f886296d6a195b0c741ef24b091323d800abe4fb8571fd81ce8f5c6fe4e standards/URF-SG/URF_Spectral_Gap_Rigidity_Wall.pdf
408ec32feef477ef555a492571bcd34f73cfca3bd3543b49081c6e0a9692310b standards/URF-SG/URF_Spectral_Gap_Rigidity_Wall.tex
fbabe80c887f95a1ede6847f22dd91b380bda9d17ae8bfaa72e1741b16aa41e9 standards/URF-SG/URF-SG.aux
dfbc2d665c32917500b90a739800f875c98583d284936502fe131d84932dc56a standards/URF-SG/URF-SG.log
0a47b075fd6d688e184d535ce52a6e99207e9328d29813c47e768441f0ae1e4a standards/URF-SG/URF-SG.md
b089e31748bea23d03b04c36b6e9fac8cea5a812af9cc85e2f03cbcdc9f3cea0 standards/URF-SG/URF-SG.pdf
5d95c9c442fe66d5af215abf5d26265d6545c13047e888f5fd04740922e8b3f1 standards/URF-SG/URF-SG.tex
58d55cdcb5f207fa8f0365a431d8b28550ff0e1665cf167cdc5c77956b901b81 standards/URF-SG/verify.py
ae9ddeb9e91c07b019383174c1073b8c2ec990b7f8f5d350878b444e32c0cebe standards/URF-SG/WALL.md
e7ab8a672dd50d94a7c71ffceb2b805bb90479a1533527abab521213036a8ae8 STATUS.md
67a30044d4a8de0c6568d77d24e2c5a533042eac9fd61e263ad2ecfe7be4fab9 templates/urf_global_gitignore
9ebd4dbb9dfa8c023370501bbdc1ad6165117e1d5c12d1dcc4f0491ddbcc1da3 tests/standards/urf_sg_base_1/pca/rank1.py
c4fd5c4e5d9d5957532d911029bddd24e9aa8105d5b116f99f9fb0ed7535d85a tests/test_pca_rank1.py
315407c6f5c00e1a52bad0468bd13179c6a2d4b43d09d1bf7c1807003020d0a7 toolkit/URF-Core/final-wall-fo-k-locality/lemmas/cycle_fan_predicate.tex
08aee5995e8f3c08c3fd372f7f8412b764dcfc17005dbf9dd9cd39d349ce941b toolkit/URF-Core/final-wall-fo-k-locality/lemmas/cycle_orbit_splitting.tex
0baf036acfb3591a001bf86e7f1f4f829de895a9151fe0bb713bfc8eba7f8435 toolkit/URF-Core/final-wall-fo-k-locality/lemmas/ef_cycle_trap.tex
1cec76f044092d5600cee3d3844b002c8f1aa8fe1dc6605d9dbd542c1bcc89ed toolkit/URF-Core/URF-Core-EX-LG.tex
5b6774f92032b6bfcf29b8cae21a66b04d23d23ed38790c0e6a2eeb8dfd81f65 toolkit/URF-Core/URF-Core-LG-BTW-VALIDATION.tex
c4dc480c1560ab493a87b2fe56f4ead9b376b3295a4092e670e5efb0f737af87 toolkit/URF-Core/URF-Core-LG-BTW.tex
da1b086314c967050f95a89a1159377a9266641671cae90ce93128fc9d73bda5 toolkit/URF-Core/URF-Core-Obstruction-Set.tex
d6818b0fb0d49751f1d941e0333589adb7b7be866044985a8f192b8fe3903290 tools/check_crossrepo_schema.sh
86ad7bd55560da7aeaf3b24f96c6c4733a790bf6cf8ae1638cb2304d26d2b68c tools/check_dag_clean.sh
df222f74a8f3b20e1da50e62795a52943d0ae3d847cb60163dda87e424282a96 tools/check_repo_hygiene.sh
b75957973e1eeef15a5e2a683fc53932d9e135c62ccce2e70e915112b5f12cd3 tools/chronos_cert/cert_schema.json
db6eb748bbc8c7fd0323796528e6c8d5c8d4d524d48cc07735590a5534f31f87 tools/chronos_cert/chronos_cert_verify.py
857008f4bf2121a7ed27c1a8775f59015450db693d94e082578ea28d0da062b0 tools/chronos_cert/entropy_utils.py
f55649d32f33cc84ab60084ee5845d9f3e9aa1599ab74058887ebad77c9d347b tools/chronos_cert/examples/toy_uniform_bit_reveal/CERT.json
5f4010b80bb3765108d04f584234b91d76c746003a8063b62234ee5f5378c3de tools/chronos_cert/examples/unsat_enum/CERT.json
2262019123dbe1c0b302a9951f61fe9f26483d8cf1db2531a6fda275b10bd7b8 tools/chronos_cert/examples/xor_2bit_reveal/CERT.json
f2b577430e2c415699bac2b11e24b7d20e0516136087f194fe1b7d22defa06c2 tools/chronos_cert/examples/xor_enum_3vars/CERT.json
9d48abb905cff61d0d7dcbbbff520ffb63aa5a024a027a74b7991b07fd16d989 tools/chronos_cert/Makefile
87f85d866cad7298878a2d1ef2c07117558902da32b2a48b5d4f65f70687a22c tools/chronos_cert/tests/run_all.sh
a0249f6da010cb051ac9bc7ccc02a27ceb1b3c154467bce952c7cf204a8e4454 tools/chronos_cert/tests/run_schema_validation.sh
7ff3dd8bcf506ef5b809e2196488a74834999e569f1d9c6fcd0aa99c31a94ea9 tools/chronos_cert/tests/run_toy_cert.sh
475e62b884249d74ef5c887ad6c382d828e048bb1efcc7bd034f6eb8db59e0a4 tools/chronos_cert/tests/run_xor_cert.sh
3c7ca7633015e2e440422c57a4f0008358c1651f2acb31467e7e94527fae4d8c tools/chronos_cert/unsat_small/unsat_enum_verify.py
c90030357cd5383756020893180c462a809fd3bef128be116fb3c596d80adc61 tools/chronos_cert/validate_cert.py
ea328f70f39aaf898d8d9cb0eb5d9cd8a5ae33d1fe3fbd1f7f7f4cc581dbdce7 tools/chronos_cert/xor_enum/generate_xor_cert.py
e940e58dfe6fadc738b31ab6799e220af5388d70b6bd1d3acf7fe661264f2cd8 tools/ci/append_env_to_transparency.sh
ac085a6859e125c2f77bbad68fa8ff240fd214f7a3499b379c29842e349e69ae tools/ci/assert_lake.sh
e9964605e41f1f5c0d9e1c55a8cc4bdfb3a4ca78677edf3dcd44e27e59a98e2c tools/ci/assert_path.sh
6438f8f1f3c3cf61f598ed15a821c9146af81659e445a28274e5e21e6162a28a tools/ci/build_root.sh
191361d4c374246a1ef0e82a42d13fe996c0b247f0c92cada01c6d424b0c5aef tools/ci/capture_env.sh
5aac6e02875ccc996c747c08a592fa246d075d4988cc14e3a07d9848315f3246 tools/ci/double_build_check.sh
261026994e6db9d8603c21a8500401190c153128c6cad9abdd0acbe9d9b54f30 tools/ci/gen_provenance_constants_lean.sh
a2e53eba0efb16663acb6a5e1cf2d048171235ef91d51480c29e0741b8f18fcf tools/ci/install_lean.sh
7ab3fb8e3c77e05c93c6b86edd9bf92d3b4877a947332fd77db7b08e7d0362b6 tools/ci/probe_ci_capabilities.sh
924b00d2ecb3e783a000bff65557e142ba04af93192850b86b0e859c51229de2 tools/ci/probe_lake_execs.sh
186b6eb4d3afd958e9442d822f3a1a01828a712b932407b4467699c22cc7f5ee tools/ci/rolecheck_show.sh
8a0b605fe02a84382be2da08c01ee32903c18ec1b66343fbfac9def608ac2e49 tools/ci/verify_toolchain.sh
e310de1aee8364f11d5f4a233b7b0a707049e927b2f20aef2ab3e5af8fbf5a1e tools/ci/write_capabilities_lean.sh
fb19486efeba7157e7fbbbae56fc62e436028c265add8729d634a8819fca3cbb tools/compile_dag.py
48d443a459e48cc58851bcccd678874485dd40a18db59de1a44d311a40238070 tools/json/canon.py
f30409ea849c044b3025da62fb992c2dcb43528ec377347ec1795fd706d1fb01 tools/lake-cache-tool/CacheMain.lean
bf7b36d454ca626ad4b28576b9abe291168f6b7c840bcc81c6050fba98829ebc tools/lake-cache-tool/CacheTool/Main.lean
cf75c2f6645b478b27d37974ad8df1c125e008ec2b9b4fc2ff8dd7ded9918893 tools/lake-cache-tool/lakefile.lean
4f399b2989f25a6d2ffc538b278239ce1583775f4933a3443eeeb1475638c34e tools/mathlib_index/index_signedmeasure_tv.sh
732838a7925dd75d82d3717efd9847d4392e64c2e336fa34092a0c132af103cf tools/referee_bundle/verify_referee_bundle.py
35df31dd82cfed709e269790257fd1bfd45776d6cd8a926feafc0e5ba2e54c50 tools/replication/audit_append.py
01e08410080741c1f164e3b7459ea15db5966cef6629bfeb2691175f269efd00 tools/requirements.txt
b66aedd791880cdc5171754899e60c100255cf858a4c0614680b3b3d20e22431 tools/rolecheck/rolecheck.py
4e6c50ea0382e9cfcf0295abf3a469d08cad5a04a3c2c417bc044bf68f16761f tools/tu/provenance/ALLOWED_TAG_KEYS.txt
e31c64d56435ced0090103e30568a70768beba2f5306cb24fec64f89ba6687e7 tools/tu/provenance/build_provenance_json.sh
2ddad670b16413d65d3477bf88fba6510db185d33fa373921399839d6420ad3f tools/tu/provenance/probe_lake_capabilities.sh
0f30a8f6c8e88215a01ce535e1be2edf5cff209d1fff580313aef8f62d4ec4bd tools/tu/provenance/verify_attestation_bijection.sh
bf487f70d1708a4b6f4774bbb27dc8c16da5bc8406b63a1a03edc9aec3440667 tools/tu/provenance/verify_provenance.py
2829cf3c1fface08841409868f738619093f2f3cb17bd1e8639a55fb53080543 tools/tu/provenance/verify_slsa_signature.sh
3aff27282825cc13c4bcd098fcd8ca45139443012ff035eddedb1de6c9af456a tools/tu/provenance/verify_tu_tags_signed.sh
43628ab2a68e7d12a976849c48268c1f7823de133e5f3bc6f86c09539ce2e167 tools/tu/testdata/network_minimal_CERT.json
786d9af81c3e1da726e7b3dfe11b89c69359a45820fbddef3710b9c349d2a2e5 tools/tu/tests/network_minimal_2x1.json
60b2a2400a1f81eb422b84451dc4e57fc7e827b11f8dd69d2944cc8865fc8024 tools/tu/tests/run_all_tests.sh
e2edbea9e30d38b9a4d712d8920c1e6115297dc65462b7eb3025b737791298c1 tools/tu/tu_seymour_verify.py
3f13d5016a75d82deaed2171f7e1edc3ac35034e8d7539e36bfda818b88d5f57 tools/tv_cert/generate_tv_finite_cert.py
509c475e0824c21fd1ecf9245fd7f2c66ef6ab26716325fa760c3baa49f58508 tools/tv_cert/testdata/tv_finite_n8_CERT.json
86227fa674a78a28970731285475379c2f2f5d9f183fa59ea430619e8ff6e020 tools/tv_cert/verify_tv_finite_cert.py
440daf1abdc5a1ae0a3a555a6af5d709b0fe01a0cb7db0b782d92e3ed817a57c tools/tv_step_cert/generate_tv_step_cert.py
91919b47cc71f39705143dfe83b39b44d3b3b82177b98bf1852f6d2709d4f7de tools/tv_step_cert/testdata/tv_step_n10_CERT.json
751d891cae0bedf5b84def1475064609685d274915e3c6c0e65fac485e1bf6f3 tools/tv_step_cert/tightness_tv_step_cert.py
761ea64fc9077c1b44867e98732192b85c441ee8f77c525d84942aa86037288b tools/tv_step_cert/verify_tv_step_cert.py
56a302f1bb042c47521f762ae503a9ef20e25a863555845b94c8e2aeda056027 tools/update_manifest.sh
ed874cf096321f867d69b40502c36b6d6ae3d62d725c89b2dce43c2f92337812 tools/verify_dag.py
d37a2ea1b972d7f7f16c66562de312426ff270ee1de4298b1807c1d90ccf1eb6 tools/verify_manifest.py
1f7078b119ff47843f7fb4da726f5d66ce038506551148687da2816315060552 transparency/files.sha256
51aa7a21410f48c3c05e4a91edda6a586b0f77270d9b2103d7579acca2d14b02 transparency/log/SECURITY_BASELINE_v1.entry
757e56536d403f093a1888de069e92cc59a443b3d2fa5f4140b736cbf30e5f0b transparency/merkle.root
710744fd201704e030d07c3be649365b65d0efdf4079c06bbe2b8b694957eab4 tuple/ARTIFACTS.sha256
4d3ff129cf21e319272df7d8b938383ec6909b361809f97a0cb66cd68bf29e40 tuple/MAKE_TUPLE.sh
346a0bbc9672d2c8f81523830bb277933a8768235e04ac20a7d2b29c58dfc866 tuple/TUPLE_v-policy-fail-gpg-1.txt
5b5fe2a7e6919c6e133ee3166865b7dc15deb6e922789c874459d1e6233daded urf_law3.lean
33ebda893ad28ff6e3e3e4ec09b5570121e40be8e689b4d0f5db6ebeb9cd4217 urf_regression_ae.json
27a94b686048af6c029a211d5bfb52deb634f2c732c3dcab886557444b913cf5 URF-AUDIT.md
76dd29014c9fca534fdc5e23b5d1c2cf51c9fa47272f4583045992b049f7dc06 URF-Axioms-Core.aux
83291c2e1334a5e6f39544f370fe0aaf2d36febdf22184f67b6bb463410f3c29 URF-Axioms-Core.log
b59ea34abb6ac4f4b657e62119b8b80b184dee087f3729106f159a5814fbc1b4 URF-Axioms-Core.pdf
1537dfe03193f446ced5c5514c7bff48dd56fdd8acbe7091c48ecda3faea4229 URF-Axioms-Core.tex
8c1237839b774ce02f2ca5cc1a71197e0e269713db00fdb49e507a9f1b0fcff2 urf-cli/LICENSE
fbe4cd2a53bbeb98cacca2bc9b8dae9cb7c98d21fccf4b57b09be2e2f09352bf urf-cli/pyproject.toml
ad8111b923ff2edd57a62a5e6fc475ff9389852bd064cedac7fcbb72f1b8a366 urf-cli/README.md
f316da8c84e3cb123ccc8ce66794475f1437efd165fd487be93a16de273a0a3a urf-cli/src/urf_cli/__main__.py
fc9d8637653fb2f09eacfe9cd54390e8e20a89f34a52c08f1aeedb3b658aaf43 urf-cli/src/urf_cli/__pycache__/__main__.cpython-314.pyc
93d6bcc2b9fb096b92c0507088cc4fbbf4b0567efbc345bf27cce057858e6c4b urf-cli/src/urf_cli/schema/urf-sg-v1.0.schema.json
8b7d2a45620d57cf027bc833e4c8613e0f7c1420cbc3874cb47c0412b7f5e740 urf-cli/standards/URF-SG/index.json
3547c1ccce8a9b444830a18c73d8e23e4c3919c4d2da4ae8db654e040034179b urf-cli/URF-SG-BASE-1.json
1979c31f0a6a31705a05725bef57a51d66dec9df4ce0dfca97ffdd5020ad7b26 urf-sg-admissible-V.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 URF-SG-AUTO-5.sha256
dc17d92ce56df44c0833718d9471449ec00b8b9afd973ee43d65bf4ee5c5c6ca urf-sg-Cn-analysis.md
56eaf36b266a55f501b431c44e53501259e193b4558b2e21d353553e17310468 urf-sg-Cn-theorem.md
82935749a8019b51aaf139ae354efbdb28c698e4530422c6de181731acce6edd urf-sg-representation.md
a1b647ee1a4cd521e12f7e5d266a9870cd010cf141b78204d50d326f3a6978b4 urf-sg-torus-chords-eigenspaces.md
ae013c134f6e3d23628e53503ce7d67cd5dc36667dab6550f88f072d2ae229bc urf-sg-torus-chords-symmetry.md
e832c43472cfa554f5cba2c8ce77fac25954d3b27b58292aecd681a4fc2622a8 urf-sg-torus-chords.md
b2b476db9804ea448722ad8741d4e7a5f2ad79cc8b0240742e3a9eb529c4ae89 urf-sg-wall.md
d0ebd718b284e81f882990586cc8f5e31e99750f4012d0a86f3f5c60d5af55ca URF/Lifts/Permutation.lean
a965d9673ce2eac923a7dd5b8c75e39dd14f12ff6200369ed18d259e6da69903 URF/Lifts/Spec.lean
865c61454b74c7e239fa248a753a627b61b0c193266c8d5b15b290ad9cd37734 URF/ND/TypeBound.lean
2cb40da5a91cb71278caa11c004944f8e669f37b572c1b1d2c7498541636442a URF/Regression/PermutationF.lean
7760e0f56317d0ffdc584c975a0ec7ee76b03d12914483de6065d4c5d3d07dc8 URF/Regression/Tests.lean
c091502374037a6780e71ce400ab83d677024620c17efcd48c5c0b178aeeb7ba URF/URF_LG_BTW.lean
986d5808bc083dd3b6898509ec230a3e99480c3c830286fcf761a4a0b7f961a4 URF/URF_SG_BASE_1.lean
088f485f0a853682d5a223e5a03629e1cd621e505a3fa9e16c08e016b0772d76 URF/URF_SG_WALL.lean
dbb71bf77f5130291938b0b053da65f850f754e1202d2ed0f676ea18e5488d43 URF/XOR/ChronosK4Rows.lean
526e63f26c5e5a6a4927520bfe61ba2ec98d1b0a5b9aa97d78b7b3adcf742bf8 URF/XOR/K4.lean
94a0309954113f2adb8f5621785509a83da91a50a5e7b8580ad6ab96a786b1fd URFCore.lean
538e663561b91f56d3a9d0482ba38f68796574ea0d9e068acbb699e47c1335e5 URFCore/AttestationEquiv.lean
ffe9b1401538bf879e81858a7586be758673b0ecd4f4e77cb5ff934a0f3a9216 URFCore/BuildInvariant.lean
36dee9e6266a8b4a25d043fb43322ec6d819ba51e0e9a018620e741f42eda90c URFCore/CanonJSON.lean
9078847097c80a7aec36362683adaa4fca94d4931c69dedda4a98d08448ca921 URFCore/CIBuildDeterminism.lean
693ac63c7ff72b2aca20420f9b8ce1d70789be335512f0536ad4304d3f26ffc5 URFCore/CICapabilities.lean
829c1b0ba125f0b6a1a27ee753b52848c15477ab1076086e16fd7845d624435e URFCore/CIIdempotence.lean
ae0cf4bd29c9d08e4321d9fbbd34ea242af2d5ad3a89f1f5407e9b74e6f11d78 URFCore/Provenance.lean
18cf174f1421434560273c6a1ecbe5681ad285e96be1be5daa4065f5e6afc55d URFCore/ProvenanceConstants.lean
7b4cc7d77ef11cc4a2349a0481c18ac2f3e12823c8f426e0d638df97ca8f4b50 URFCore/Reproducibility.lean
752f4b73870c182067832abe144d67f2b6b2bb66bf29ac7d894867e558d7919e verification/certs/build_hodge_truncation.py
eb978b77845cba2e9511c69795c4e75e0b2fff8f73fe4fdb4184ae8ea6303332 verification/certs/CERTIFICATE-MANIFEST.sha256
bcc32cd218f6671b6f316c5f9dea06c06212bf8f855786af79f7fcb89558cd22 verification/certs/URF-SG-12-500-Pprime.json
18b1177a48c24712be703d140d6cb9bc60b0e0189a695079713998ff2ddc28a2 verification/certs/URF-SG-12-500.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 verification/certs/URF-SG-AUTO-5.sha256
d63652cf7576a9e363e87c73cd7ca8a7e70320f132e65020b0d8ffe4ca5275fb verification/certs/URF-SG-BASE-2.json
910967895686a0f0ba4352722d2b35801e8d04c408dcc78e2faa840f856469e9 verification/certs/URF-SG-BASE-2.sha256
d2b9677a71a6f4dff50f409400ef1d3db0664643ec19a01995691df2c02cc277 verification/certs/URF-SG-NUM-16-0p5.json
c584d3629548a6a890ebc2c07fc250fc2d8f483e12c62580fee42abe4a0035d4 verification/certs/URF-SG-NUM-16-1p0.json
7381d406c04d3f9caba685a6da29e91160fc007cac3fa5ebea9d617bacd28409 verification/certs/URF-SG-NUM-16-2p0.json
be77210f1648cbcb6fde32d4bcdd564d2fae3aa4c3583c6b1219bce0f7b312c1 verification/certs/URF-SG-NUM-4-0p5.json
7028689dbec7be153a1b32eb850d387e4b72b3fcaf9d8ae79721fcb44f9c5c39 verification/certs/URF-SG-NUM-4-1p0.json
a8a451816c1c84831a1fe46b8bcc538a8117861467a11061d88d46b774d7f454 verification/certs/URF-SG-NUM-4-2p0.json
f0c730536c9388c04cfba7e100320a1cc6f5da8e2f9ac56a359f194936f864cc verification/certs/URF-SG-NUM-8-0p5.json
01b73e779b59dcdc04afa64f8a3841364ab5f294947283a4aa2e27f0c0c7a0ef verification/certs/URF-SG-NUM-8-1p0.json
e3d19b3fc415038154f46279e6caf40133d6c61d93571cb31a93b01cb58a6a5e verification/certs/URF-SG-NUM-8-2p0.json
12040dd08fc8564a51a51fc10ce6e8a53dd26cb4368edc36089ef9279151703f verification/certs/URF-SG-REAL-1.json
0174c44a273a7eedb7d830d5480ca5d3767fb63f702a88cf28331e20644415b2 verification/certs/URF-SG-REAL-1.sha256
c97d0353b2293bf311c2a81ae473e2194c3464b561cea23d26957d605e7bc505 verification/certs/URF-SG-REAL-HODGE-1.json
d30d8722d0edd342ee1f3e98836114113455571e520c85a9982ffca9aeca60ca verification/certs/URF-SG-REAL-HODGE-1.sha256
1c11df60c848df96f8cb3af686c01702c81c9234815178f5646b747539fdd2dc verification/certs/URF-SG-STRESS-T2-L-1.json
954b04c3240b8e9004a69bd0c6ff88d95f4af79dc018f537437b82f1030c11d9 verification/certs/URF-SG-STRESS-T2-L-16.json
f48c6b1a54de2293eedcd1b9de4d7969fff9b928a97599bc78252bd982d02207 verification/certs/URF-SG-STRESS-T2-L-2.json
d2d1fbd46ef7049c514f83f043bc4e0e8dd20246f100652487ba8d2d093104e4 verification/certs/URF-SG-STRESS-T2-L-32.json
b65002a6b65956e42f1528fb58be1847a20629a2333c86764d8af16f5953438c verification/certs/URF-SG-STRESS-T2-L-4.json
2b7f25b7d36cd0ce85c379d765504d4da4e6e35872dc1959cbea7e47bc4783c9 verification/certs/URF-SG-STRESS-T2-L-8.json
49fb10e5e03fe3fb2c5ed7f381e17bd2fc8f718854068f543b4cdb1608e7aae4 verification/certs/URF-SG-URF-SG-8-500.json
a83ee33c7c1206f6e4353929368800643daee1668971dd23ac1f7d9c94b671aa verification/certs/URF-SG-URF-SG-8-500.sha256
442d43968b6c53192effb6b813e18631489a6c3bbbd1c432a5da8876c5e7ebc3 verification/checkers/verify_spectral_gap.py
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 verification/enumerators/banded_operators.py
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 verification/enumerators/finite_local_blocks.py
2e6c0a17e1e3fa93d2966c99d3790f3f79b1c57ee0395ed5a5cec7b96cbc1b6c verification/enumerators/gen_numeric.py
fc0562f2af66651fbaa2b39b2c6cc99191c3c61e24a79d2dc3ba2973ca0b0ff7 verification/enumerators/hodge/d1.npy
27a86200294320cfb7efaf97cd866f0f10bd8208b8fbef77b6b22146d9f21ea2 verification/enumerators/hodge/d2.npy
752f4b73870c182067832abe144d67f2b6b2bb66bf29ac7d894867e558d7919e verification/enumerators/hodge/gen_hodge_truncation.py
071e6622c264bbd5d86366577e0ac8a4c2c63d4b6800cd5fa367b28a59ffa851 verification/enumerators/hodge/L.npy
950a46402ef1d17ae64412b977b9a7c0a9bc9f2acbacdf912689936c1bc64760 verification/enumerators/hodge/meta.json
caf42acb0d4f4402f10fd5357ed170acc8a7fba0d27c9f8b176c77961cc616b1 verification/enumerators/hodge/P.npy
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 verification/enumerators/spectral_gap_check.py
a3dd9fff9c38b67c592a271d755b5be923905d1fe6818667962b312f50d17cb6 verification/generators/gen_spectral_cert.py
7c801eccae092a0f3581d464a334cded10881051af3ab003c17722dc9e8bdbb1 verification/MANIFEST.sha256
b982ed75fcff88736695815f7e1e200735519670561c6239125436a632e359d1 verification/README.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 verification/run.py
2ada8b29e593152f4313b4e6b1440e0e1aa8cb91dcc0f86d496208d01a49cda0 verification/schema/json/urf_spectral_gap_cert.schema.json
15be26d2e8e1ee5c8fd36682829f5afd13cb8522c4ba394c6afe00446b07ef34 verification/verify.py
c4e76e4d43d68518071ed58a55a1b95ed28c92f6d73f5fb44ed677fddbda8e53 verify/auditor/audit.sh
5ecbca2a7cc842a20ba217e69f37eb66390facc674b225f08f80cc8327f84705 verify/auditor/README_AUDITOR.md
0c49d8fdd627ef4ceab16f6bb33a1fc07ff92f86579df0936d0fb8fe3d321cbf verify/offline/VERIFY_OFFLINE.md
1dc24e6b921803837d2462f11c43780371df84d211693110d421a243bd9786d9 zloop/certs/frozen/README.txt
ccd003735525915d21c86fc514d3e89aa12426bb26cf2e9bb616ce251fcb9e80 zloop/docs/example_run.txt
5c9035d1ed869c9a580a6a937940423f6d48341f9206efd8a8438ffe3c10ed72 zloop/docs/interval_run.txt
2ab990fe7461742f5d36839ed3e7121454da3458d984ce553f13126e449a5615 zloop/docs/run_instructions.txt
4bfe37f8bc85eb648caea126cd64882565fbdd60dd3abcae89e0e0fd774eef67 zloop/docs/zloop_citation.txt
68d2a0ff43ce6ff7a99dbd892c41a2d975b5046e9276aada9f55dc681626ac0c zloop/README.md
200a2ebfd5e3ecdcdabd38e2250ad35399b43d7c119bb4968f68680211bc524c zloop/scripts/compute_hatw_interval.py
0f3478a6e38a5cf9a400311b2d8265c78f95c08afb7dbec6313b689f1246883d zloop/scripts/compute_hatw.py
9ec22ec353de5d08e6be0d325f8db187ab60eac80f8a9bc57b11b180bc37eca0 zloop/scripts/compute_shs_interval.py
ec47d8821406f03dcd60f07be3c3660d22ebc07946b77bcc5264c091adc2c620 zloop/scripts/compute_shs.py
f2b3678edd40fb65bd5fa595679c48e694c9a04330805b960cccb18d645ea059 zloop/scripts/compute_tail_interval.py
9589c02524d374cd5db254bb754befaf9a2fc2b8cbc442252b2a8d4e2a6f92c6 zloop/scripts/compute_tail.py
69c7b289819991c23c48cab820dea6d5820ecb095be10246305790cc2c2d9c0c zloop/scripts/run_certificate_interval.py
b7783e1b0a41778fe80d6dee1ce9814b01f82878feb8d5b5b6093861b077c78c zloop/scripts/run_certificate.py
ff619b93a2228e29c34e0df6eada8521a5d01d7827f49758e1918fdd940fb8b3 zloop/spec/zloop_hs_spec.txt