d15edd0523091d5b6f2f198debe689063412d684480eda432a10c84e3c7d959b  bound_sha.py
b858c68a299a5726625d1b7305f5bef4fcec8f08f6af666ebe021958731c0230  DISTRIBUTION-TRANSFORMATIONS.json
66f31c3e74d7151c16c2dab8f6860fc6666cf3061de5ab0f4973a399f40eeee5  manuscript.de.md
d2032d60a86901f33e7a37f521fcc84ecd9b1445ccea2bcd1bf47cbe7dc9f33a  manuscript.md
bc16a5e13f12e528b3c513cca27dae3a35bd85ac46420a854e26616fde8c18fc  manuscript.zh.md
ef04fd074f526a520c61070a083cf50e9da8aa9cf82a5ea80eda4476b37c3f61  OMITTED-PROVENANCE-HASHES.json
770221a1aa920971779b7b53b8dfe7b2ae0cdb71a544decf213666463cadba15  PACKAGE-MANIFEST.json
0dd02146ed3176de6fd12cc40255370c603c50d4edfbc9f6285027ec488de287  portable_lean_build.py
20996aab651a07dda9e685698b3695ba81bd075a4f0ccea9c62fb9ae8250233e  README.md
3eec37728f84b9462617615163880a0ba8a04e451cf9edf4831ec55000a75685  research-audits/graceful-beyond-five-sixths-block-principle-2026-10-09-a/data.json
493d49feeb015cf8b776cbf2c9e9443f98431fed6018f0122d2e47831c15239d  research-audits/graceful-beyond-five-sixths-block-principle-2026-10-09-a/manifest.json
680c39948d7562214de814052eda2bf0bf1b59fa642a757e33c7a4cd82a4014e  research-audits/graceful-beyond-five-sixths-block-principle-2026-10-09-a/report.md
4905f31c66a9589a27913f644f07772ff5c6cc041efc62ca3c22d38ec6b248a0  research-audits/graceful-compatible-prefix-independent-2026-10-09-a/manifest.json
cbe6a157d5bd9514f15df9fba590cff1e1bcda9887394c94f49cec6dd2fb4027  research-audits/graceful-compatible-seed-prefix-2026-10-09-a/gadget30.json
d0aa0abaef3534845b4ac97dc1d5b039c177df574c795802a28416dd01f0b3ad  research-audits/graceful-compatible-seed-prefix-2026-10-09-a/manifest.json
fb5389508dcd92372ba546be1dceb1f7d59c31391363a1a8984e9a7e05f846bf  research-audits/graceful-compatible-seed-prefix-2026-10-09-a/old-data.json
650d283ca90509c6c1f145c38335ac64ce0b6414b330e260c14de801ef6bfe40  research-audits/graceful-compatible-seed-prefix-2026-10-09-a/report.md
8ae0c7df38ef482cb9f41e3cd4b26a64f03f7643d3e352207a1d3358f403cb31  research-audits/graceful-compatible-seed-prefix-2026-10-09-a/seeds.json
8038056f90c2d02226ff6cf962030a879734f4553990623a0043a04c541495dd  research-audits/graceful-compatible-seed-prefix-2026-10-09-a/small-seeds.json
1ca4b9c2c8efb552274a0a928fa14ae1ac60bf39a0f8bd1663dcba95dcec0dba  research-audits/graceful-d8-gap-fill-primary-addendum-2026-10-09-a/report.md
34935d2f44e14eaaaecf992fc5b94e2cfdcee2df8133390d555037cd91bff54e  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/check.py
1d405b33c57dac78104f47951d04c9322b6bc7ac6b8f8f73dbe01c5f59aadc88  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/context.json
4f3919bacef8832bfd8f21633e7b6c31d450b22373f68338f4fc78ede435b18a  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/inputs.json
ce41485e485b6dd86c92092923326fdaa47095fa8243eb4d733c4531d5d5b685  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/manifest.json
c75580b48588b48cbf41d9631b0f3a0028c2c0d7cbeb4729fb79022b3f8dddf7  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/recipes.json
3150df1b1f6296c580eebf5c2bc4b7bba9b6ae97436b0ebfbb821f70c41658a6  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/report.md
ae988ac1c5df4d2b284fdaf3ba6beb3d6083cca2efa494c9b7097799d57aceba  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/seeds.json
4ad9b776c0160c56ae06d0286ca28ffeb9906ee27c7b81fa58195593277022f5  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/verification-normal.json
4ad9b776c0160c56ae06d0286ca28ffeb9906ee27c7b81fa58195593277022f5  research-audits/graceful-q10-gap-fill-beyond-d7-2026-10-09-a/verification-optimized.json
917918a87fc763eb5f6f0d67e0d37d9dc715a52230fc1e07a2996cffb9ad1a5a  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/AllLengthsDepth.lean
1d5c692f3049c698e7670e170409d0ed626884735e524fe5aea7a023420f7221  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/AllOddAsymptotic.lean
2ab7f7e015ded6ebfbd9a1cd5c428713b1c8b7f673e55e1da4795733d3c20737  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/AllOddDepth.lean
dfebe65ba373ee85cd9b45be0a770e9b0a6050e93560df908a43084e6c35fa61  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/AllOddRootedGraft.lean
85c8372ceec727958b7bc7d6132ca54111e51ffb7982891440b370fbdd7b24b9  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/AllOddSeeds.lean
2fed1c2d0332804a17a2ce68710681850ddd0f7d0a6a2ca8cb8ea27ab5c45cb1  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Amalgamation.lean
93ea9e787676dd65a6b03cfc12a678f71601fbc2aa2930d263c9b82ec1a356e6  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/axiom-inventory.json
4f12c070655d7313b734df25fc05fc6255ae87190ace857f8bbd81d6626cbb81  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Boundary.lean
128d1abb69fe62902536a5973949fea95a42287d44ef2ad629dd53ced046fe55  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Certificates.lean
6e35ba70b826e1360cdcd3f3fbad85dc44e67f75bc49ad29385ff5ae4dbb6d3e  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/CompatibleAsymptotic.lean
8233f0c1b18b8a18015961fd1b0dba7826d9f9d40507fd9e68fb2d62fa425e13  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/CompatibleDepth.lean
1537030e8cd2716fd903da068141b880b85ea1331eaa28ed7d69028a0d0891a6  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/CompatibleSeeds.lean
73daf353d3edd1e46b363bc1465bbbd0457bbef039ab51e22dd18dd992e319e6  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/CoreConcat.lean
50321efdda6e35ced8f165c3ff435861e6e1777740fe0deadb5a9fb4da48196b  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/EvenIdentification.lean
6f113bee4b01b29d2ad6f289f2cb50ec79e11c12bab6368bee2f840cdfba2d61  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/EvenResidual.lean
998d603c2e83742c1b09b1947d1c55fba0f9998bc7d18a01814cddbcf956be8c  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/EvenShell.lean
45b938c422db474e6eae64d25d77b3709652dae16672b49d51eb7bc297a6c958  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/EvenTransfer.lean
33121c7e24cc3b0cb87e0e870918cc40dad9c6cf9af0e7e35fff2ec1f4b1f63a  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/EventualDepth.lean
38f19ba1dca1fd9dcccd09b2675422e6bb5cc983dbf31b2ed407acc397b3ce56  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/FiniteAlphaTransfer.lean
fc9baa48974a8dfaf89c2c497aae186788d9fd1a787f12d57990b6dad4f9dddf  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/FixedDepthSeeds.lean
dffb41f1faf3b2bae4e6ddf35022bb4ae341cb0c5146e28315eb0a24f1a43ae8  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/GapAudit.lean
125af13a73baa7140a2d04952e42c1bb200e130c9ee6b468a6ff6f0209591707  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/GapDepth.lean
088dcb1e23098247dce8d9a2efc3a75d309d3bbf4ac581f4c63d6875596ba7c0  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/GapRecipes.lean
0c4a1a20950a2af6c182766fc89d1a273b3c8393a4f0314cd12a0f33dc3b0922  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Graft.lean
29889f2da7ec03b0ea58664cc0773ba1e124f61216a639370dd3ee6a9eeb4967  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Identification.lean
8f768b3d1835119887c7494ae8d590980ca5cd7dad62c7857a4077b94d844a35  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Interfaces.lean
b383349188a97715847807a4dcd977338de19e279549b70fcf3604c590413f74  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/module-order.json
d575b79a9a523c6fc01c471510fbd69de692ce7a98d7ef0eec54f976796dd7c5  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/PathGraph.lean
69a6e4ffc1a63b6cb17ff292b4dd5a9f885045e5e2a451d571227e6b306b6312  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/principal-theorems.json
27350b6c76917761bc1d654b7f900d0308bcd0334cb0445191316f910da861a8  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q10Core.lean
86e783976e53650d47f1d135e55354a0c50e33425a9e622d70d65235e88d8334  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q10Gadget.lean
bd62a13b2342b99243d15b507865211a5b4fb9e14e3a7ef779e991186fdcde4d  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q10Tracking.lean
0e5020b409b133e67115149342ccf0ae070c53df32a17172e09aa6bb30b20f72  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q11Core.lean
48b44ad89b65eeea3ae39b41d0ac6f61ad2b0042f1d83bb1351d1512aa0b6e94  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q11Depth.lean
9672e3035970534a8bf5766a8d9ab48505939b24685e7ca0631eb19625db7384  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q11Gadget.lean
a1949821bec24e273f5dd60c2c46d7128a6283f8211860665e9fd84f52957b4d  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q11Prefix.lean
8731a64a2a32dc2c154a24a701a136419ba60b65a2c49e53de52cccac92e708f  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q11Recipes.lean
ddc968a88088a20a151d35cab0cb992331408cb1b9ee43a6826f17acbe1590b9  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q11Tracking.lean
52c2a85659a2fccd3eb86e32c4b17b82584857414edb58843b6a7b0d55e76468  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q18Core.lean
43ae5fb91bfa5a04bc653f9093fc7ac7cc03f836278faeda66910033e29ef20b  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q18Gadget.lean
4ff25d7d46b943218a84135741ac5e15c3a8a0d905cc03e1cbcde1b5b964abc5  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Q18Interval.lean
7699ba38d1a583268ee47ed7dfe75730159b49417e40e513ce25cab23b4c4768  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/recipe-identities.json
c34f84ec24fb23b74dac62411843d710d56c8b9e1df5ca20a29150d6473e1856  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Recurrence.lean
2b64ceb508e9fa60bb8094c1f0689bea7c63f2d8d56dba9d82d0aaf03286d2da  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/report.md
1759d7a7cc949a36f298a215d82a0e0947b94d125939aceb75270057b52788bf  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Residual.lean
3592a23a9f0c5a741d17664b76e63b0b17e91a8862cd03531fd71879d299d3f1  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ReverseCore.lean
d9fb976144bd8c8489b73cba31b19dbdcf4ea2b7d41c48265a9006459884717d  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ReverseDepth.lean
76b5ba0bd0f54792855593be4850c6acadd26ea9e4e402c8afcd3fbf68832324  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ReverseSeeds.lean
84c5f98409100604720d01eb9e4ffff961d18db0ca5cef50238ab80840aee07b  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ReverseTracking.lean
a80e35ae8cb194a341eecd681aac8caa2a3de1337dca898f138f6fca72e1a651  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/SecondRecurrence.lean
1877ebf949dea5994d749c3b0ae2f64b107ad5bab3e03ac0f0ea9637a1695530  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/SecondShell.lean
d282970e9e17a9369d2eb0df8dbd147135bcfb84f1a543dc718d043af5ddae71  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/SecondSpider.lean
c1d346c6148942a0eae8eb272aee4be47bbaea5145ba35314a607c31cc7bef02  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/Shell.lean
b99a65c770784002245b498ab0a80bb4be7507a402f6e1ae3bf3ab332505b339  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/source-hashes.json
107285eaea8983657f7c889888e92f6d34defb10507e52aa8abf23896da4bdac  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/SpiderTheorem.lean
3aab9082963b43db7df85458470e9ef58d4c966d8e874a5f4899be49845001c9  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/theorem-inventory.json
b0f51ecc60f1ef116aa7f83375a47a803a3ab47906968f18c7bec8615449fcf3  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ThirdRecurrence.lean
d0fbb2692307f680897122c86458d49f798604b8a166ef5824bf5a30e242c823  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ThirdShell.lean
5f85b3c77a29fbb7c7309fcb199ea6ef61d02f5266931ecc61c743608c713dd9  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/ThirdSpider.lean
7c786a4432b0381e2b1983b4d59b02f01464de2e5c2691f04036ae9e9c856182  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/VariableCore.lean
21a3a1fe461478083dec528b019d1b1284cbbfb63c2b016ce2b259d585c15065  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/VariableGadget.lean
5e714096c019840863c349a1add85915b84da6aff66a74c1558f0fc7015c2ca2  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/VariableIdentification.lean
4d4074d1a2ac654a7c6988a24d965c89b9985f7361f909dacd8475664400723e  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/VariableInterval.lean
17f6a0dc33f6c080a2f6dce2c9718a7b78287ac1a46e04d118a149535a44daeb  research-audits/graceful-q10-gap-fill-formal-2026-10-09-a/VariableSpider.lean
1d44d43feaf33b093bbd85c518cbb30705b54ed290a98379e5881999204bc2b1  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/audit.py
0268facd54ffcc51f67ba572383001ca10a8da871b0b03e81c6e843a57bdcbc2  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/core_graph.py
a11fe8e2ab1237c026a320a7db5ed21915e2a94050566926c3cb25e5b1260941  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/freeze.py
42e6eb15ccb557b6f81b5addd1db2cd69ee5c394d42b50356a66422e5272e262  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/manifest.json
a8fa4db67dce77f5dbe40e2f909524e9042276a3f2dbfe382a205f0c7591c306  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/normal-results.json
a8fa4db67dce77f5dbe40e2f909524e9042276a3f2dbfe382a205f0c7591c306  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/optimized-results.json
b9886f996b045aea344b4f62d3f6344801fa481024d943283b2fe5a7456f5c15  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/report.md
017556816b24c607bc2ad39c00d02ed87785d988fd25ca8e99bcddfcb212dfbe  research-audits/graceful-q10-gap-fill-independent-2026-10-09-a/source-inputs.json
692f33bc1a14ebc237d246f5fc1bd8bc63e46d97e5e5a042c0469b3475e46dbd  research-audits/graceful-q10-gap-fill-lean-replay-2026-10-09-a/audit-report.md
93ea9e787676dd65a6b03cfc12a678f71601fbc2aa2930d263c9b82ec1a356e6  research-audits/graceful-q10-gap-fill-lean-replay-2026-10-09-a/recomputed-axioms.json
3aab9082963b43db7df85458470e9ef58d4c966d8e874a5f4899be49845001c9  research-audits/graceful-q10-gap-fill-lean-replay-2026-10-09-a/recomputed-theorems.json
00bde290bd400619849c1a907bf0ad9b10972c2256fe575a0cb6fb8c11fab0af  research-audits/graceful-q10-q11-p2-frontier-private-2026-10-09/manifest.json
b6afd14b14d05344830fae350a0b170d6e6bfc1b2c341de57141d82d24465666  research-audits/graceful-q10-q11-p2-frontier-private-2026-10-09/report.md
48d53a24b6bcec3b8d98b3f75caf51a0dbc86d2cae8dfcf43f9898beedf9105f  research-audits/graceful-q10-q11-p2-frontier-private-2026-10-09/results.json
720ef06b23bf2a7a5cc39dd02d260f519ac0939ad58e69be73f747ebe1ef4afd  research-audits/graceful-q10-q11-positive-independent-2026-10-09-a/manifest.json
f90b3ef57a1f9d9f762f99a2db7b68eef8d88c1862e35809794122e54be33a44  research-audits/graceful-q10-q11-positive-independent-2026-10-09-a/report.md
9ed595d251da038abb9544ae1e0387580ed1df3d334c992d2368989e23a0ef54  research-audits/graceful-reverse-complement-independent-2026-10-09-a/manifest.json
d018ad8ffba50cf53a6d1f78e34df406285985a9b4c58098f485773a9ed4c7d6  research-audits/graceful-reverse-complement-independent-2026-10-09-a/report.md
917918a87fc763eb5f6f0d67e0d37d9dc715a52230fc1e07a2996cffb9ad1a5a  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/AllLengthsDepth.lean
1d5c692f3049c698e7670e170409d0ed626884735e524fe5aea7a023420f7221  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/AllOddAsymptotic.lean
2ab7f7e015ded6ebfbd9a1cd5c428713b1c8b7f673e55e1da4795733d3c20737  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/AllOddDepth.lean
dfebe65ba373ee85cd9b45be0a770e9b0a6050e93560df908a43084e6c35fa61  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/AllOddRootedGraft.lean
85c8372ceec727958b7bc7d6132ca54111e51ffb7982891440b370fbdd7b24b9  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/AllOddSeeds.lean
2fed1c2d0332804a17a2ce68710681850ddd0f7d0a6a2ca8cb8ea27ab5c45cb1  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Amalgamation.lean
61a6478f21c0ab0bc6a7ab6a717c8f5e11dfe41a051caf4a085adc3a52b786bc  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/axiom-inventory.json
4f12c070655d7313b734df25fc05fc6255ae87190ace857f8bbd81d6626cbb81  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Boundary.lean
128d1abb69fe62902536a5973949fea95a42287d44ef2ad629dd53ced046fe55  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Certificates.lean
6e35ba70b826e1360cdcd3f3fbad85dc44e67f75bc49ad29385ff5ae4dbb6d3e  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/CompatibleAsymptotic.lean
8233f0c1b18b8a18015961fd1b0dba7826d9f9d40507fd9e68fb2d62fa425e13  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/CompatibleDepth.lean
1537030e8cd2716fd903da068141b880b85ea1331eaa28ed7d69028a0d0891a6  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/CompatibleSeeds.lean
73daf353d3edd1e46b363bc1465bbbd0457bbef039ab51e22dd18dd992e319e6  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/CoreConcat.lean
50321efdda6e35ced8f165c3ff435861e6e1777740fe0deadb5a9fb4da48196b  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/EvenIdentification.lean
6f113bee4b01b29d2ad6f289f2cb50ec79e11c12bab6368bee2f840cdfba2d61  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/EvenResidual.lean
998d603c2e83742c1b09b1947d1c55fba0f9998bc7d18a01814cddbcf956be8c  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/EvenShell.lean
45b938c422db474e6eae64d25d77b3709652dae16672b49d51eb7bc297a6c958  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/EvenTransfer.lean
33121c7e24cc3b0cb87e0e870918cc40dad9c6cf9af0e7e35fff2ec1f4b1f63a  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/EventualDepth.lean
38f19ba1dca1fd9dcccd09b2675422e6bb5cc983dbf31b2ed407acc397b3ce56  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/FiniteAlphaTransfer.lean
fc9baa48974a8dfaf89c2c497aae186788d9fd1a787f12d57990b6dad4f9dddf  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/FixedDepthSeeds.lean
0c4a1a20950a2af6c182766fc89d1a273b3c8393a4f0314cd12a0f33dc3b0922  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Graft.lean
29889f2da7ec03b0ea58664cc0773ba1e124f61216a639370dd3ee6a9eeb4967  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Identification.lean
8f768b3d1835119887c7494ae8d590980ca5cd7dad62c7857a4077b94d844a35  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Interfaces.lean
3d0e94622f2e0c7292b8117898c20fa3d999718b0ef1b6b77aadf9a7fee60f13  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/module-order.json
d575b79a9a523c6fc01c471510fbd69de692ce7a98d7ef0eec54f976796dd7c5  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/PathGraph.lean
2a229197c31f8ca8a3d2e7fee63b818348350fad163c29ab18dea2f9fb8e45af  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/principal-theorems.json
ab800475577031463b34e62bc75cbdd9f83fddabc82492426d0ace344bf553db  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Audit.lean
0e5020b409b133e67115149342ccf0ae070c53df32a17172e09aa6bb30b20f72  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Core.lean
48b44ad89b65eeea3ae39b41d0ac6f61ad2b0042f1d83bb1351d1512aa0b6e94  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Depth.lean
9672e3035970534a8bf5766a8d9ab48505939b24685e7ca0631eb19625db7384  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Gadget.lean
a1949821bec24e273f5dd60c2c46d7128a6283f8211860665e9fd84f52957b4d  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Prefix.lean
8731a64a2a32dc2c154a24a701a136419ba60b65a2c49e53de52cccac92e708f  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Recipes.lean
ddc968a88088a20a151d35cab0cb992331408cb1b9ee43a6826f17acbe1590b9  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q11Tracking.lean
52c2a85659a2fccd3eb86e32c4b17b82584857414edb58843b6a7b0d55e76468  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q18Core.lean
43ae5fb91bfa5a04bc653f9093fc7ac7cc03f836278faeda66910033e29ef20b  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q18Gadget.lean
4ff25d7d46b943218a84135741ac5e15c3a8a0d905cc03e1cbcde1b5b964abc5  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Q18Interval.lean
2b6c7a6e4aa3b91fbb7d2e7259cff9943407de60afdc913c4250be277b712269  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/recipe-identities.json
c34f84ec24fb23b74dac62411843d710d56c8b9e1df5ca20a29150d6473e1856  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Recurrence.lean
8217316adc5e4174eebb6a145cbfe98795c84433957a1d9ee5a824cdba33b283  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/report.md
1759d7a7cc949a36f298a215d82a0e0947b94d125939aceb75270057b52788bf  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Residual.lean
3592a23a9f0c5a741d17664b76e63b0b17e91a8862cd03531fd71879d299d3f1  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ReverseCore.lean
d9fb976144bd8c8489b73cba31b19dbdcf4ea2b7d41c48265a9006459884717d  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ReverseDepth.lean
76b5ba0bd0f54792855593be4850c6acadd26ea9e4e402c8afcd3fbf68832324  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ReverseSeeds.lean
84c5f98409100604720d01eb9e4ffff961d18db0ca5cef50238ab80840aee07b  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ReverseTracking.lean
a80e35ae8cb194a341eecd681aac8caa2a3de1337dca898f138f6fca72e1a651  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/SecondRecurrence.lean
1877ebf949dea5994d749c3b0ae2f64b107ad5bab3e03ac0f0ea9637a1695530  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/SecondShell.lean
d282970e9e17a9369d2eb0df8dbd147135bcfb84f1a543dc718d043af5ddae71  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/SecondSpider.lean
c1d346c6148942a0eae8eb272aee4be47bbaea5145ba35314a607c31cc7bef02  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/Shell.lean
a55e052844b363f3daeb5e12c7cb79b5d5cd9cfc8aa3f5ac62b4b6716b19a1fd  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/source-hashes.json
107285eaea8983657f7c889888e92f6d34defb10507e52aa8abf23896da4bdac  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/SpiderTheorem.lean
05d088e5dbc9be46c8a5f944a8e12229f08d3de8beef7fc2bae085c0c241f67a  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/theorem-inventory.json
b0f51ecc60f1ef116aa7f83375a47a803a3ab47906968f18c7bec8615449fcf3  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ThirdRecurrence.lean
d0fbb2692307f680897122c86458d49f798604b8a166ef5824bf5a30e242c823  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ThirdShell.lean
5f85b3c77a29fbb7c7309fcb199ea6ef61d02f5266931ecc61c743608c713dd9  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/ThirdSpider.lean
7c786a4432b0381e2b1983b4d59b02f01464de2e5c2691f04036ae9e9c856182  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/VariableCore.lean
21a3a1fe461478083dec528b019d1b1284cbbfb63c2b016ce2b259d585c15065  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/VariableGadget.lean
5e714096c019840863c349a1add85915b84da6aff66a74c1558f0fc7015c2ca2  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/VariableIdentification.lean
4d4074d1a2ac654a7c6988a24d965c89b9985f7361f909dacd8475664400723e  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/VariableInterval.lean
17f6a0dc33f6c080a2f6dce2c9718a7b78287ac1a46e04d118a149535a44daeb  research-audits/graceful-ten-elevenths-formal-2026-10-09-a/VariableSpider.lean
93fefa9ee09ec9542735e369339918c277bf2fcd7ca78662b14a3f74aa6e7ae7  research-audits/graceful-ten-elevenths-global-2026-10-09-a/inputs.json
419634baa520139e83395fb2014478710317d8bf72f83c4c7c54e31083be739d  research-audits/graceful-ten-elevenths-global-2026-10-09-a/manifest.json
bf7eec616fa42a5465703e4f90d296f02dcb35a0b91c5c6c82bdfcf5208f9249  research-audits/graceful-ten-elevenths-global-2026-10-09-a/report.md
6db0bde1239507283c1ac4eeb4b21a6ca0b6331cd5f956daadabb1276853317b  research-audits/graceful-ten-elevenths-global-2026-10-09-a/verification-normal.json
6db0bde1239507283c1ac4eeb4b21a6ca0b6331cd5f956daadabb1276853317b  research-audits/graceful-ten-elevenths-global-2026-10-09-a/verification-optimized.json
8d3e1321bdbbf1477d86b8fa0ad4816555dd9897735fbefec82024347b2c38d2  research-audits/graceful-ten-elevenths-global-2026-10-09-a/verify.py
f690c42a037ac804cc4a6c9d1bb482de2d9c89a996b693688d250f53050ad501  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/audit-normal.json
f690c42a037ac804cc4a6c9d1bb482de2d9c89a996b693688d250f53050ad501  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/audit-optimized.json
7a87c5e1483cd72ee3178d4f46652381defe58d19417339c3d4c245c28ca7e84  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/audit.py
827047a485afa92f3f6dbb4e5a90df64ca17ec67a165f30d4f513005857609f0  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/author-normal.json
827047a485afa92f3f6dbb4e5a90df64ca17ec67a165f30d4f513005857609f0  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/author-optimized.json
33a862a745b2bec87313e8522db3794ed50955315ec4f774b78b381be754007a  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/base-certificates.json
c7386e1b08cef4abc98573c37c0499cd5442b4689eea2618936eaa6b963b119f  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/check_author.py
0268facd54ffcc51f67ba572383001ca10a8da871b0b03e81c6e843a57bdcbc2  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/core_graph.py
237ce43e3125e28fd12dcb28c74cf36fbbc83de97618faffc8f8108cba7b6fd8  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/freeze.py
4fd38e5e2b60ed6873105ffa751b5922a87a6a12f137956abf19e289f343c24a  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/manifest.json
60a958449111a6f875be84a05d419c94c474db0cb770b3c07af799f57633c1cf  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/report.md
644c4b192a9adc45a4c2b5299fb4f065eb4d201a706193fbebb1fa41482bbbe5  research-audits/graceful-ten-elevenths-independent-2026-10-09-a/source-inputs.json
8d5bfa6d79328bd2c253fbdf5f1f49c053438d56d12936ae07b7b1f810e55e25  research-audits/graceful-ten-elevenths-lean-replay-2026-10-09-a/audit-report.md
61a6478f21c0ab0bc6a7ab6a717c8f5e11dfe41a051caf4a085adc3a52b786bc  research-audits/graceful-ten-elevenths-lean-replay-2026-10-09-a/recomputed-axioms.json
05d088e5dbc9be46c8a5f944a8e12229f08d3de8beef7fc2bae085c0c241f67a  research-audits/graceful-ten-elevenths-lean-replay-2026-10-09-a/recomputed-theorems.json
bec4e390cfc0fe47820860007d029eada5ee30beb0dc9b1520ee68061d2cb70c  run_math.py
83a169208fd16cbaa7f2b1bd616a7cb793d13ee798d62664c19a247d25aa379b  verification-scope.md
19fa3671cc311e9da23c1e6b32a043eb753672df0c4161e5abf8d7bd182a122c  verify_package.py
