488b4f14e704195cb1febdb01f26831d820e0fa973e48ebcfd49ef027973fb86  lean/.gitignore
47fbea5acf441af553eed43c37e67f84c2796823e8f071d16976e7600f62335b  lean/Kourovka/Ambient/Bilinear.lean
00186ef3f0df5c799fd827b1e0db4bd62ed5718e862ae6450a5f5e465db0ee40  lean/Kourovka/Ambient/Checks/Chunk00.lean
cdfe27b093b16aa67a96138c66fe18a0e39b6ec2be277c3f12ab833ec83aa4e6  lean/Kourovka/Ambient/Checks/Chunk01.lean
243212707811b846360b6c77760e6db6fdf0b273698b74fa92e8195c3fd55e8f  lean/Kourovka/Ambient/Checks/Chunk02.lean
773a61bb5e6981321f2d1d934937ea799989ca5b12c7f9745ccd6ffc1788e48b  lean/Kourovka/Ambient/Checks/Chunk03.lean
ec05b6a250c09946bc8efacab2c9627c3c89caac5eb858119af6d714acd58fe2  lean/Kourovka/Ambient/Checks/Chunk04.lean
f99bae8f6012dbd659c2c9812179e9fa49a105bb32d447cc53754f44dd991a53  lean/Kourovka/Ambient/Checks/Chunk05.lean
25d3871c1efc983938bc343bf6736aaf23cf75d3dc2e123b20e0d7832486d1fc  lean/Kourovka/Ambient/Checks/Chunk06.lean
9dd1223ecf6806e88d9bb23e057254833d939cf1e18131352ff0708345ba3649  lean/Kourovka/Ambient/Checks/Chunk07.lean
a80fb3585209c49f1fe1e2cee446560385fb49ffb866f6fa071a694a02e57899  lean/Kourovka/Ambient/Checks/Chunk08.lean
4f761ca6a973de34f052145ae836f0fcff6093f1852014b4e9cf2157dbbce66b  lean/Kourovka/Ambient/Checks/Chunk09.lean
e9d6f78837964473af27114a0a59fe12754223c5fac6f74a142f88e79b16b47a  lean/Kourovka/Ambient/Checks/Chunk10.lean
e8875f6d18e0a16e0bfadead1fea3459280e20a8a8e84168b3bfe01bf1d336bb  lean/Kourovka/Ambient/Checks/Chunk11.lean
6ed6f16d9babee55d035375c566c289038a5d2bbd39b803cd1b928a52e47c050  lean/Kourovka/Ambient/Checks/Chunk12.lean
2b227668a5b0118188c780ed3fd44646c537c2b6ac029a891778ed4cf60ff0d2  lean/Kourovka/Ambient/Checks/Chunk13.lean
6039588d3cebd474841cdd00ce8823d581ab69eaadddb516190dccf88c4ad06c  lean/Kourovka/Ambient/Checks/Chunk14.lean
122c69002b3b9f29315e7f38962e550878d17bad23e3cb998f4a6043dbff7260  lean/Kourovka/Ambient/Checks/Chunk15.lean
9c47dd3e2dc2d24a1dee2df330d9f9ea1f70e4f397448cf78de5f977bd64a522  lean/Kourovka/Ambient/Checks/Chunk16.lean
a7c010d6cf257028b4abcf908ff81aa959bbf85c209699f63eb9190ce5f8d7d7  lean/Kourovka/Ambient/Checks/Chunk17.lean
9a32ee0b21b069866eff734eac206643aa8d7f0696ffeca2c580aa2ebce23eb1  lean/Kourovka/Ambient/Checks/Chunk18.lean
391198b556be5d38ad56f6c77d4067763d13697bdf90ec8bd8c9fa4c275839a3  lean/Kourovka/Ambient/Checks/Chunk19.lean
4ea28f91079a7f555bb6fd80978f2461c25601447dcd0d1aed1582a5948551f9  lean/Kourovka/Ambient/Checks/Chunk20.lean
ab1044c7827d7524587459ea9ec45b1250fd605995ac64a121d50ebdfd6c36e9  lean/Kourovka/Ambient/Checks/Chunk21.lean
4af4849bec90bf16b3daaf0be4fdd4d0341fefc6ab348ca4c97cdc62ad16bd86  lean/Kourovka/Ambient/Checks/Chunk22.lean
0400c26205a14d7899cf4a8c96971b68e171e0e072df0db1e39c41422f513179  lean/Kourovka/Ambient/Checks/Chunk23.lean
0328b45f7bfc712cb4e7e0566cccd2a5265b7afc0c7b0746170481937cbebc44  lean/Kourovka/Ambient/Checks/Chunk24.lean
f1bb8fa418b439c04cf3341e4472424e54b99757cc1a5aa970c9e4105bea0802  lean/Kourovka/Ambient/Checks/Chunk25.lean
9a1c434f59a8d8a91426d2b74a17892f5dba79a1e3212860f1f47a093bf418a4  lean/Kourovka/Ambient/Checks/Chunk26.lean
7abdf692c0426be59b207722e2021aaa1ab4d6718080390467ff23a92f005ef6  lean/Kourovka/Ambient/Checks/Chunk27.lean
bef886d701a2ea93f6e1b863d8841418c51cfbed5984b4dab35ea5b489dba4b4  lean/Kourovka/Ambient/Checks/Chunk28.lean
168c459270cc3fb483d2169570680bc1ca1a100ed7df87b8647722bfe79ed3d0  lean/Kourovka/Ambient/Checks/Chunk29.lean
9bddb63cd6c5fce8e201994ca719838eaf55c3b7a65027c2f502ce318984f0bd  lean/Kourovka/Ambient/Checks/Chunk30.lean
53d7861d0a22222c75472cef995d88fbf600f6a3a623ce2e8b5fea67a5aa3c4a  lean/Kourovka/Ambient/FastBasis.lean
8fb2765dae38b5dec03932793463a208b4d3068cdf0a86c2911d10a4e531adf4  lean/Kourovka/Ambient/IntData.lean
9ed6faa9b48568a2e5232dc44d71614aed6036e0beb6052e6471ba57c0efa21e  lean/Kourovka/Ambient/Lie.lean
3c86327eb006aa5c3dc4b046f6e56e5e9930278ea9ddb3322799d50d2b37707c  lean/Kourovka/Analytic/NilpotentUnit.lean
002192ad25083e6d7b546ba1ddf985042deb52eb885f5c3745cdf3eff980566a  lean/Kourovka/Analytic/TensorAction.lean
0aa48d13d08fea2a8ffb9638259f9916c710680a98d11bf8b52aff1989f0ef67  lean/Kourovka/BCH/CoefficientSoundness.lean
e6ffb94aa31e0d02ea07b3e79aedb35492e80ab299a41607af6e264d679fff68  lean/Kourovka/BCH/Dynkin.lean
516ddb53cd42a51ed5720c31a683d9e3b0a54f1a1718fbdc58cdcac4b319852b  lean/Kourovka/Bracket.lean
5aa1191844804f7908afbff794865721adf4a41f17f0283d834588dc988be80f  lean/Kourovka/Certificates/DerivationMatrix.lean
ed977eaa465e8f93502c308eda019d975556eef26a75e765e3604a5dd694ba55  lean/Kourovka/Certificates/DiagonalKernel.lean
8dc33a357ffca81aee1d50580a51f51985b739b021a33f3c68a5296616c8a022  lean/Kourovka/Certificates/Elementary.lean
0efdba3e54d6c00aaacd17289c1357cc8f0ccc124cf4bc137f9702ed783ba73d  lean/Kourovka/Certificates/Indexing.lean
e4566d81274151a1f38c5f854b97be400c58d28a5b9b8e6a7a24af6e58cd9438  lean/Kourovka/Certificates/InnerChecks/Row00.lean
faf019de733f0fa229eee77fb5bcc3b455a6d17d59474039042b0801f9f55d42  lean/Kourovka/Certificates/InnerChecks/Row01.lean
08d3664e867c80024f53f14bf646ef269e4eea21068a92c3961fa9cf0aa109b7  lean/Kourovka/Certificates/InnerChecks/Row02.lean
e5e4c7f99e6e1f8b916a89cdda9d27d3198f2bfe09789d13bf0a638e714de8d4  lean/Kourovka/Certificates/InnerChecks/Row03.lean
3569f3bcd6cec35a040b837b7bb130afbfa9c006df33f5b9e1a722315a488da1  lean/Kourovka/Certificates/InnerChecks/Row04.lean
6b3a5d35c564c8a72dd1f0138be9fc0d3021c9881dc02b94527f6cd8e3814ded  lean/Kourovka/Certificates/InnerChecks/Row05.lean
379671351c3cdf32d364b5782a0e5ec5fd4c96443d2d4dc8745d103a98813e96  lean/Kourovka/Certificates/InnerChecks/Row06.lean
20163259e778e5c26679ab005729f27765ceda5c97f3b99b53f8f7b13adcbfd7  lean/Kourovka/Certificates/InnerChecks/Row07.lean
fd1a9d602c42d203bf7ed9064838cf8189a8070566df72f52c857329b3082228  lean/Kourovka/Certificates/InnerChecks/Row08.lean
60bac143f1b398f89c2a85b5b508dd3b4b764bbea5036bdd6c7e962a95183d5a  lean/Kourovka/Certificates/InnerChecks/Row09.lean
e442ee369ad939619f0b464ec2b9d51d854f1aa881f76072dbb9f40a79996e92  lean/Kourovka/Certificates/InnerChecks/Row10.lean
568a16fe8e85cd92e44d5ec5192272b3ca8d90ec286029b79137401e6b182eed  lean/Kourovka/Certificates/InnerChecks/Row11.lean
544299344cdc67745d74d2baab3906199d9d26cf77e072c04fb416ea60f57f8c  lean/Kourovka/Certificates/InnerChecks/Row12.lean
30f23d2d521fcb1fcf2ae04a5e15a68496da7f608e7e46a40c3e650b6615acbe  lean/Kourovka/Certificates/InnerChecks/Row13.lean
417b2c925a8627c9ae1d0e286fb5879430363fd334db97d3f90e65e363dba83a  lean/Kourovka/Certificates/InnerChecks/Row14.lean
4f0276a0f0f489d58535d7015c2c974d03a0a8db8f9ac884cfe1bba3f812776d  lean/Kourovka/Certificates/InnerChecks/Row15.lean
edf83a49198bc437e44ca373219fcb3e16e8adc9e0a2efa860578ed63cadc848  lean/Kourovka/Certificates/InnerChecks/Row16.lean
9ab49c6c241333f754ee1c783c3b70afc4698f9300d824c6ca55ff8aea309739  lean/Kourovka/Certificates/InnerChecks/Row17.lean
b9fbfaf97d3f5ff010154a38691dbc530a0e26eede5fb25b7a67d07836fe9b1b  lean/Kourovka/Certificates/InnerChecks/Row18.lean
0d223fd874ec171ead30ac6a176e5a0d0a11ce6e786354a54a9719b3ceff76b4  lean/Kourovka/Certificates/InnerChecks/Row19.lean
0ca4bb7484d7c4c86b2ec28b4635d3946e6a39ba6f89d08dbe361ac54afe35d2  lean/Kourovka/Certificates/InnerChecks/Row20.lean
6d1e28314204b6e0ca820be96f5aed0f11cbd3dff091f5e95ce4fc064b7b1b39  lean/Kourovka/Certificates/InnerChecks/Row21.lean
2eef0a791c0d34abf9db27e5254e4e2b3337788c906f7e29008d6fc340bd3058  lean/Kourovka/Certificates/InnerChecks/Row22.lean
c4f0c46d49310ea81ffb30d2ba6a15e9f873c72e50b11c597c1eddd5baece3ba  lean/Kourovka/Certificates/InnerChecks/Row23.lean
200287ea10e9a2284ac30c844fee0dbaf7f8a2df7b66edbed13f9653de01ba1e  lean/Kourovka/Certificates/InnerChecks/Row24.lean
34185d371475a2d08341760d22278803d9e384c71f025f0f0f32e615b4c4aabf  lean/Kourovka/Certificates/InnerChecks/Row25.lean
5a3b1a09e212a818c5ffef0083d5d500015fff14722ad7fbf6705d6e53863b52  lean/Kourovka/Certificates/InnerChecks/Row26.lean
160b65be0bd83a1d7c0a077f510e944eb62c151fc47b319d89f30407456e594d  lean/Kourovka/Certificates/InnerChecks/Row27.lean
2ca68cdcddb8ad99b5db510364495fb063b2ced95251f961d01cdcbca7430f54  lean/Kourovka/Certificates/InnerChecks/Row28.lean
b968efb89265ddec4bddb508e808da9b89754bdb5f3e93ca2075b3f9b19be5dd  lean/Kourovka/Certificates/InnerChecks/Row29.lean
1395ee4ed83ee5947011e92af566ad1778c2bda06cb3e83bde6fd87bdd9eb45a  lean/Kourovka/Certificates/InnerRank.lean
771ccdf9e06e356d35db898b25de605a2052a1d1cfb6e3e36a97031072ff4b1c  lean/Kourovka/Certificates/InnerScalarExtension.lean
3a54b465af01983cfabbaf2ec0edf55a1fd8c94f503575a15cebbb8aecca9a0f  lean/Kourovka/Certificates/InnerScalarWitness.lean
c23422f043d10a4cb3a853be8bfa464bf27d949d5c07f2852b5d43b0d5e29cb7  lean/Kourovka/Certificates/InnerWitness.lean
e6413e97fcca3d4c4f70764cd931a5234290669602cff78194a9138bfebe567d  lean/Kourovka/Certificates/InnerWitnessData.lean
eac583ddd480fba5b7b58be174c8c0a65603b159f6a7f491be52e4ebddf31ec8  lean/Kourovka/Certificates/KernelTransport.lean
1d7b926b3ff007722b7d2694cf0cbafc2ac7df593d712b804f954b94b78fa477  lean/Kourovka/Certificates/ScalarKernel.lean
af058420b565f1d9f24448ce36fc9b9a3b7839673e443409bce879db73cb7205  lean/Kourovka/Challenge.lean
c9bf685449b4da978c70979c702488966867898947b8b50c067eece4088accfb  lean/Kourovka/ExportedData.lean
bbf2c376af4b94d4c09c47003c2dfa9952aff84368a992f217491567d69a25ed  lean/Kourovka/Finite/AdditiveLinear.lean
19b6acbe2d36c10650b9a34f5bb506196afb9a9f235ef6609218a64ea4839bfb  lean/Kourovka/Finite/BracketTrees.lean
fc138c37cf67e2ff61de6218596cf7602da30e4333af6b42646aa0a773b83286  lean/Kourovka/Finite/Coordinates.lean
5010b32af93d32e82ac0fcd4e5fea7f31e83bc341f3e53b74cac87cbbb430a23  lean/Kourovka/Finite/LieAutomorphisms.lean
fb4b6a914d41e7da2929e494c97cea938ec372a2d8dd18e3bd22e946a5ed773c  lean/Kourovka/Finite/Nilpotency.lean
33c6059e685c87a5d9dbc332804848277582dcfeafadd3bd7bd33420b56cec0a  lean/Kourovka/Finite/PadicQuotient.lean
bf3bfd86541caa21f939d1c45498d31c91399641ec52ad26e8c0597153d2f412  lean/Kourovka/Flag/Concrete.lean
0c93f7f08191a8490f540143e5795404547e3c34cb01b6ea4b7eb84116011f33  lean/Kourovka/Flag/Generation.lean
2cf97f53a7af3cb20ad8a5f9ab16395886caaf430d70427772fe2926d25c8bd9  lean/Kourovka/Flag/Rigidity.lean
ae81d5e5a4078b1b5ce208e010f0f78b712be0fa3c288672c36ab9388d0ebe5f  lean/Kourovka/FlagScalars.lean
0980999013aea778c055b612e979d95383fa8ef71c8c274f3bef86a6d736945f  lean/Kourovka/Lattice/AdaptedBasis.lean
e9af997db764ab95c5cb4793c2d1bfa7a2effe721287a8ea1b45a254f1118e69  lean/Kourovka/Lattice/Checks/Chunk00.lean
e2ec5b514ec68197dfb314d07720e4cf3c88b65f44762dd92fbbb988ef1ec6fc  lean/Kourovka/Lattice/Checks/Chunk01.lean
bc51c76ca6331e0a0c0908cc70cbfe5ecfde0e2d2a582b7c5ba16dfe158b43ae  lean/Kourovka/Lattice/Checks/Chunk02.lean
9b21f2e04d1da9d9a28ce4b872da044383f2e17383144466457aad4f8e7ae482  lean/Kourovka/Lattice/Checks/Chunk03.lean
c8038fce1cebc90d3a8a079935f6f55de0be501aec2b11d533c54c5fcefad20c  lean/Kourovka/Lattice/Checks/Chunk04.lean
45b01412e8f9b528aea4c66730ee64e5f8b4ff5a93f69eb8e23dd13711c7e2f0  lean/Kourovka/Lattice/Checks/Chunk05.lean
731c6a38bed8c1e1618701366a00f01ff9392bb6c2ef562c36478b272fa9eaee  lean/Kourovka/Lattice/Checks/Chunk06.lean
404f6f946052d2f2c01025c3d9051d10c3447d380d2c1f5097cef6816762457e  lean/Kourovka/Lattice/Checks/Chunk07.lean
59039c6e550fcd1b7aba7f8c7e04824cc811b37780d8a14d15e0cca26f12eb51  lean/Kourovka/Lattice/Checks/Chunk08.lean
40a09d251d5f6ce967c50bc0a5d6fe3e0c4d7132ccb8f1b074deb8ff0c19abca  lean/Kourovka/Lattice/Checks/Chunk09.lean
05772fff6a4692a619f82fd9084587da354a36275f53a8b7eaa59a6ab4431f04  lean/Kourovka/Lattice/Checks/Chunk10.lean
c41d2daef9ee4d7a38eca1b1b44edc7f6cdd583f3b5aca06337902d9e238fd53  lean/Kourovka/Lattice/Checks/Chunk11.lean
dfdf0f55e4324ca80ef45de4a29582fb026e0e686b88873b254fad955abab354  lean/Kourovka/Lattice/Checks/Chunk12.lean
8879d69add4c6edf658192206a6de47fb53b956fc4938872466902f60d270758  lean/Kourovka/Lattice/Checks/Chunk13.lean
30ddfd027f4737c5137ab46eb540a208b77609576aaa3cd08a880f5c24f2354c  lean/Kourovka/Lattice/Checks/Chunk14.lean
7efc1634491bdae3c5655783b48b8e42176dcf84c84cc59a73542483cccd4d9c  lean/Kourovka/Lattice/Checks/Chunk15.lean
bafbbe833113d26a7d9873b0973475d81c2c2bc64b79ef7cd389a6cc3163435b  lean/Kourovka/Lattice/Checks/Chunk16.lean
6255d58ec42ff3ca55d57e5ecaf8ef246f2e2c9fe09e8caa749644ca9ff06b8a  lean/Kourovka/Lattice/Checks/Chunk17.lean
846337d0d2897c3352e1c139993ef7d813bb1f5e6d4d3105c566d134bab0445b  lean/Kourovka/Lattice/Checks/Chunk18.lean
c1df7e6e5ffd854c676ef3f8c6fa9b2fcf174b1c58832013e9d5d8c89d3c6809  lean/Kourovka/Lattice/Checks/Chunk19.lean
11e3290165b341b3b050fba1c6e3c69ca0c47c195e1f673ff8514e25075351d1  lean/Kourovka/Lattice/Checks/Chunk20.lean
e0716e84734d374e67d5f5080a6c3ccea78bd1bda97bfcb5931323384c0d4e01  lean/Kourovka/Lattice/Checks/Chunk21.lean
1c61fa4e45de4d8e0f23f0c226285b77612e3f580ca16860b763c798d84a4372  lean/Kourovka/Lattice/Checks/Chunk22.lean
0fa991a73a33fc6b90e65ff044c4627bb3782404677b128e37d6be4119493fe6  lean/Kourovka/Lattice/Checks/Chunk23.lean
e51e38365a52e6a6c8eca6cf3c9db2d6885cea9f4e0aa53e318d757b43206521  lean/Kourovka/Lattice/Checks/Chunk24.lean
64bea5d5d3e9fe8794e61b45394d87bf2750611ef5eb830799aebd46291b4dab  lean/Kourovka/Lattice/Checks/Chunk25.lean
d71dde0777a9126e51454e13adbf5db04020fc50b05acdbb635fab13c61280fc  lean/Kourovka/Lattice/Checks/Chunk26.lean
3edd46bc1f932df6adc70a47c78757bce32fed7f6c32cddd886d4810d4f12a93  lean/Kourovka/Lattice/Checks/Chunk27.lean
02ebadb5adf234ed0cdc4871be65681040ee405a7e92a06c6d07bcdb7b34565f  lean/Kourovka/Lattice/Checks/Chunk28.lean
e3f80378a30700dcf86502da94f3c78aba88650144698eed40f049f06932b088  lean/Kourovka/Lattice/Checks/Chunk29.lean
0f0d03a561e40e7a1e12706da221c8ee101a5fd0db444be31a9e1675d57fe575  lean/Kourovka/Lattice/Checks/Chunk30.lean
02e548e5388801464272360d8026c1da65dee28c2ef23255cb3a17e7ef9dede9  lean/Kourovka/Lattice/EmbeddingBasis.lean
b4f0591f6296cf4a3645f16e1549cac7a2180c4f20020c37d14c0f23a34ea0d4  lean/Kourovka/Lattice/Expressions.lean
e5364a2f46b3d1f7143bc02b71af4f459cf815bc3132f4b53c19c19c62e5df9c  lean/Kourovka/Lattice/Integral.lean
4e9956ac4a30c035f85ea52b6ef84537041b2d89988d8e9a51a5df45810f1369  lean/Kourovka/Lattice/IntegralGeneration.lean
0d47eede2fc8fd4696316c21727846be301ebb9a71b4975555fc3605f6c56a7e  lean/Kourovka/Lattice/IntegralWords.lean
caa687377883ee45b732747ea3cfe0ec1202b9dcb299783edeb9ec1893dca2af  lean/Kourovka/Lattice/NearIdentity.lean
1ceda4ef725b4ce206d5559037cb469595612a211a71c32e7956413fe6d8a91a  lean/Kourovka/Lattice/Precision.lean
2188b4f2578b3c27c3db41aaec2f0a98edacadadcbfce17fefe638fd9b4bfa2d  lean/Kourovka/Lattice/ScaledData.lean
454c025ebc5cfeff5a051fee2fa72b48f527e6324d7077ddce3910ba3fb087a8  lean/Kourovka/Lattice/WeightedFlags.lean
f6af96af75c023fc2ac96d9370449d82272e2289ceddd9c8e000ec37d5258132  lean/Kourovka/Linear/Basis.lean
d42861a1a481584cbef7ed9d0bbf90736917b579fab3c4193775c7d4e806fd1f  lean/Kourovka/Linear/BilinearOps.lean
61efb2e9dfecacae3e62156654692e63a28cbadaf5df4f496ceedc659240ca37  lean/Kourovka/Linear/EndomorphismCoordinates.lean
51233f49d2214b12b5118ce4defcf295a9485fb67cd3a6e1fc85ee796911f3da  lean/Kourovka/Parameters.lean
2ea735d6f7e07512a8b08bb4e29b47904c14560b3fab474036bc224eebffcf48  lean/Kourovka/RawCoefficients.lean
0aba7577cb2fe64771195799050fca6bfabc008bf2b9c5d9c756a4633d541d4b  lean/Kourovka/TableCertificate.lean
d2c466087cce08db85c6c32bba6b3a13572dc6e24f6e8b24804f818de2e6926f  lean/Kourovka/Words.lean
2f7750afb6f82c46d6e1e7e3bc91c2e5abfffdf429928f1cc42aa49004d60906  lean/Kourovka.lean
359b63b790619b4034bf92ab4efec16b1281d772127a859242554eb663e64a25  lean/README.md
ac4f518d9370883c2d30a065798130921d18768e171bc5fbd5ec1ef9be806654  lean/SESSION_REPORT.md
193b7e7593b71a871396f705482007c695020209b20dea9e748c0e43aefde8a9  lean/SHA256SUMS
7b63116b884bf8df7dfbb6c59fb564ac5a6a677413c81e8800d28e984ae6b34c  lean/STATEMENT_CONTRACT.md
8585d46c8087020783396e6692a2eae1ad5e275ccfb43f9008200a313247eaad  lean/data/generation_dag.json
d060acc6eb31c106ab31f64b139c07c9eb1ef978c648cdbbc5d1ee1a9987e22e  lean/data/group_lie_presentation.json
372272a140795ee66bc8a9e849b6f99175c05bda3ed03b8a8b04b6bdecc40851  lean/data/inner_left_inverse.json
db3d230587113604d473036f3493efef0dcbbeef54a61aa15f76e9bff1fece25  lean/data/integral_generation_certificate.json
b07bac9121d4accc4161355f3b4fe56776156a8f30c61905e636290f3e2127aa  lean/data/lie31_brackets.json
679c9615a8b0ea61e22e0a5067b34caaf901b984f0cd900a4e87ceedf3131e12  lean/data/smith_pivot_plan.json
e4ba889f433bb0956b2ae5d6f0e94542d84b4de6ace758fe06f8de3776e5ee6c  lean/data/smith_pivot_plan.txt
5f256540c9ea29945d322463e6ef058d37c6ae43c02eed3f06429d6b0d7e0aad  lean/docs/API_LEDGER.md
1c5db3303c42c6a457e5155ca4eb846a97d70e698d354ca864ab5ee7d545c184  lean/docs/DECLARATION_MAP.md
02ddf5dd0982651ab1a97868c0b9d56614273bb442456de27cdf094c81965623  lean/docs/DEPENDENCIES.md
11b525649263fae3be633b35d3b4d58ec230606e773b7d31c2b745ae2a4889eb  lean/docs/DIRECT_FLAG_RIGIDITY.md
a50b718fc9f3d3af5bb8f7746ecfa67039ba35acc46dc11ebf5daa0f36760fd3  lean/docs/OFFLINE_GUIDE.md
bc97fd630fd3af9ec95ee567328a810aae50e5e04bd7edfc979dc24a2fa24693  lean/docs/REMAINING_OBLIGATIONS.md
29ec1b206cc9a802b1accadf34aeea27019b48bc6c3a206a76cef545af89b7ae  lean/docs/REVIEWER_GUIDE.md
4fe2913bc4df831567ccdb416dd717142347973add94d8cffde0ff2ce709a478  lean/docs/TRUST_REPORT.md
a145466c9d46a7808e1670d2b72cafdd52ef9381c884783d839f845a1e14c3b4  lean/lake-manifest.json
608ad71fdf3eb59e6fdf8e648860060913e9a9ead652ffdc96d3d87fb55b0adb  lean/lakefile.toml
55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea  lean/lean-toolchain
3021bf83587872b1ab19ad3f7b2a1a80529d2e53ee2762ef836491559214a89c  lean/logs/README.md
64adbebd1378d61ebdac059e3556fe83865fbbf200da21e5f95474deb3fd8da7  lean/logs/connector_setup_failures.json
75acea0b966beb842a807a5658ca07861ca98d2468fa6cd9bc8e5534bcc47aa4  lean/logs/direct_flag.json
cc11be3f7d60cfd10b26a60b864610b94ed9c6624be2e95b8da91dfb6612a38e  lean/logs/direct_flag_final_check.log
152da82264ff30251cc59ae463d9ca80b96a42f46dac2e2709a0bd040054b637  lean/logs/direct_flag_run.log
102a608227ffe28f06d296dc8a1d7123438f2b8b8be5c492a55caacd94932767  lean/logs/direct_flag_stored_check.log
9620445b430da18cf6f254b6095583211582346db1f33ded92fdb66b36800903  lean/logs/environment_probe.json
9620445b430da18cf6f254b6095583211582346db1f33ded92fdb66b36800903  lean/logs/environment_probe_run.log
44885409656d55e27f0e3ef5adc50d68a7d02185250bcfb89755ec4cf740c124  lean/logs/export_literal_check.log
c2191f43f0a2436ba727d6c064ab7eec8840e60ebd60910e18c47285f93a68b1  lean/logs/final_gate.json
c2191f43f0a2436ba727d6c064ab7eec8840e60ebd60910e18c47285f93a68b1  lean/logs/final_gate.log
9a7fde3a301bb503b8e436ff6bd725ea013e5c8f28c50bc20054a33638af848f  lean/logs/fresh_original_verifier.log
c1ae4f27043dd940f90e6b63f8f29ffef0794d392bb494d5f90294e9ed8ddf00  lean/logs/harness_tests.log
0b4c060db9ae12af946ac4f30630c5638fca3e06fe55fed1d3d862c091f8825f  lean/logs/last_check.json
cbc1d02a6349c2b2ab009705110a1f08e825224bf5b1be96038f6de5e6075b83  lean/logs/latest_source_check.json
0b4c060db9ae12af946ac4f30630c5638fca3e06fe55fed1d3d862c091f8825f  lean/logs/milestone_gate.json
0b4c060db9ae12af946ac4f30630c5638fca3e06fe55fed1d3d862c091f8825f  lean/logs/milestone_gate.log
35303375482c79285fff082996acd03b38a67b262bd536a119964e8cd9e29390  lean/logs/runs/20260917T142746.228400Z/result.json
9d255ffa02f5a64baf3f9b43617672c5b790222cf53686fbe9255371674ed695  lean/logs/runs/20260917T142758.282633Z/result.json
40c2114bf9c4373579beec163546f14997a445f6a3398dae065e543edd502cf6  lean/logs/runs/20260917T143027.070184Z/result.json
d9a292db786811ce9f55436920ca79ebc1398b24977c79946f534eedad71ecaf  lean/logs/runs/20260917T143031.112724Z/result.json
fc8cdb695ddc6990d602ef972206eef49d42ce93a277bc71d40c0f63f396f846  lean/logs/runs/20260917T143202.609487Z/result.json
cf79352321bb64fcc4d989223fc7ece802f55fc514ff4cc13595641ec6a5c94d  lean/logs/runs/20260917T143456.572140Z/result.json
a7487d51332ee1c03bfc9fd06bd50e8d84a698be8a41276fcefc75fa65f2e6fc  lean/logs/runs/20260917T143629.366650Z/result.json
6ea937e135fb5a53a28011ad2d325449df8481b401b69c2863c477d832c8235f  lean/logs/runs/20260917T144523.019255Z/result.json
cf841009f0a4041bcb853dfe2455427e17a36944ebb5917abf4486397e75cdc1  lean/logs/runs/20260917T144526.436927Z/result.json
7807ed6733faa976ffeb9777efe9c9d83444c35e0f6d8017c7d528d4f775d2e8  lean/logs/runs/20260917T144534.794953Z/result.json
95244c91f2534f9d30db36adaa143bca1731989805c85fdfdbc83491c7c5c643  lean/logs/runs/20260919T045135.558392Z/result.json
b31794f71f1a4380cd6e730d9c0a05fefeefa62ebfb5cc9c6a53157ab40d2dc1  lean/logs/runs/20260919T045141.724341Z/001_lean_version.log
dfb48df091ee0aa057f9ebc8344343a95e791b3f50fd50c65306396ba0bf845d  lean/logs/runs/20260919T045141.724341Z/002_existing_pin_plausible.log
0a5bb31b673b8a92c0da31ed6a4b80c87d9135463858b6e0c5a37e1ad75c3670  lean/logs/runs/20260919T045141.724341Z/003_clean_plausible.log
e9ec5f6de44aa6f951463a2b8f25498cbd362c035c9a5c3d70b2084fc7075c09  lean/logs/runs/20260919T045141.724341Z/004_source_shadow_plausible.log
240a2f393c46fb9b48fb0c98d657adb95b19a2746905eb03c5f9780923b66a7b  lean/logs/runs/20260919T045141.724341Z/005_existing_pin_LeanSearchClient.log
53f0ef17a56be22ffea0db36ce7d71aa3431d52f733cf295f67dac88dc4bcf22  lean/logs/runs/20260919T045141.724341Z/006_clean_LeanSearchClient.log
0f4ebc4b16c65f37b4b0d2b95f5390058a652eafa8cea626e466f6747148e652  lean/logs/runs/20260919T045141.724341Z/007_source_shadow_LeanSearchClient.log
3d4c0f4bc7c92a8f47a2af9a380096090f0f0dab5c3348c51c97193428a742bb  lean/logs/runs/20260919T045141.724341Z/008_existing_pin_importGraph.log
0ae9d0607995dbbf82cefd642827f1921c621eeb4bdedea3bba7b249009e6f76  lean/logs/runs/20260919T045141.724341Z/009_clean_importGraph.log
61e8aa60dea669d00650d486ef79a08b237541a27c446318ee914acf01180fb7  lean/logs/runs/20260919T045141.724341Z/010_source_shadow_importGraph.log
11534c4c09d094687671c8e09f8feac1e135bc2cb2d78261860f9d91fce31fd2  lean/logs/runs/20260919T045141.724341Z/011_existing_pin_proofwidgets.log
532982655f68835271d7ed78e91095a2c31bf888ce4750ec9fad90712da3f092  lean/logs/runs/20260919T045141.724341Z/012_clean_proofwidgets.log
31f9f947d49a3b3f584164cdaf74b3b78c4179032da046adc6a0671c4e4c1a1f  lean/logs/runs/20260919T045141.724341Z/013_source_shadow_proofwidgets.log
94dc5c33719f25b8dcad2f135d7dcc41f2b586bb99d5c8f6980ad26484b3da8b  lean/logs/runs/20260919T045141.724341Z/014_existing_pin_aesop.log
dd576e2f7892c6881a4a092d896fd97478cc257bda9d3510ad930db8557f7728  lean/logs/runs/20260919T045141.724341Z/015_clean_aesop.log
48c134e8d54436dc57c3bac6381eb6e7d85e6a25c1c062bb743dadaea65b2725  lean/logs/runs/20260919T045141.724341Z/016_source_shadow_aesop.log
b3d2e48bd67149fb426671aa2fdca0cff3de32e4c0bf2469dd998b9f7b776d88  lean/logs/runs/20260919T045141.724341Z/017_existing_pin_Qq.log
b7ff9a290d1889ed99c20a066bee39a0d0330307192dfb6bfa49e876610fb5fb  lean/logs/runs/20260919T045141.724341Z/018_clean_Qq.log
a977da4247390812c78d126344a19a74b276bb54d427cb621dd2d53986734775  lean/logs/runs/20260919T045141.724341Z/019_source_shadow_Qq.log
d7e0ccefe24e37a61d9471afafc3ecc1a5e045cc0194cc1ea4b4361e9962b131  lean/logs/runs/20260919T045141.724341Z/020_existing_pin_batteries.log
810fe04f46006e9672f417c3b7eeb41bb0446f9d828655e7022b0f8020357d33  lean/logs/runs/20260919T045141.724341Z/021_clean_batteries.log
71001f58f27826a179a9d95bbc9d1522b05509c0d7bf5e3efeeccdbea27d0cc9  lean/logs/runs/20260919T045141.724341Z/022_source_shadow_batteries.log
1cdfbf0aa1462435bdbd1980e7f4e7e9dd128bb520a043cbc09adbf8fdddc966  lean/logs/runs/20260919T045141.724341Z/023_existing_pin_Cli.log
73eac2f9d5dbbc38165190b87fcbfd3e26c1a828125012fa08199cc57163382e  lean/logs/runs/20260919T045141.724341Z/024_clean_Cli.log
93f0a1982f4ee3cbe940b4a019893c98f4571ced4aeb125fa1f91dc2d82ad030  lean/logs/runs/20260919T045141.724341Z/025_source_shadow_Cli.log
53fa3293a778e0f3cf108fb5eac336bd5b84919042d9010199c0b6054ebb4cf8  lean/logs/runs/20260919T045141.724341Z/026_existing_pin_mathlib.log
d39d3e006c4cfad4979e3327c1794a170ccbecb81a1d8d96daa0a6542ab992c0  lean/logs/runs/20260919T045141.724341Z/027_clean_mathlib.log
cf1793baee927329696f998743e49894b5ec5eaedb9fa72d5a24502d6876efcd  lean/logs/runs/20260919T045141.724341Z/028_source_shadow_mathlib.log
40990455c9684cc7a8383d0f1f87842c4fdbbec9726c50582f6d29b89b69fd9c  lean/logs/runs/20260919T045141.724341Z/029_accepted_object_axioms.log
ab67bdd1e10b5860c66a8e34c8269315f4a78ee07b79abd30700487907d4a7b1  lean/logs/runs/20260919T045141.724341Z/030_accepted_object_statements.log
46e64a7dca532e44e4981a97e87eaf824b8b3e6871463461a603b57a772a33ee  lean/logs/runs/20260919T045141.724341Z/031_existing_pin_plausible.log
a71168156a144507c64e36ed326a7121366ed0985621b5f2a87452a4261c98fc  lean/logs/runs/20260919T045141.724341Z/032_clean_plausible.log
4fd656e02e72fe68220a1daf2d3910de9d22940b2d92b074934c4df59da25148  lean/logs/runs/20260919T045141.724341Z/033_source_shadow_plausible.log
3cc3ce728bc3236ad93f3ce92414a6a49cf719f45933d9214e66238aeb25d02a  lean/logs/runs/20260919T045141.724341Z/034_existing_pin_LeanSearchClient.log
856e5023b4129c81dab8aa6c6e81e954bb5cfe26968e3ca8927a925dcce3e2a6  lean/logs/runs/20260919T045141.724341Z/035_clean_LeanSearchClient.log
17e6904c22bf39306f5a8ff1a6ff2cf10113eae439964d353e9ba573e2d8ee64  lean/logs/runs/20260919T045141.724341Z/036_source_shadow_LeanSearchClient.log
d99dc7b947a85fdf48008882ff037e4ac4c55baed88266129ec42245189fc2f9  lean/logs/runs/20260919T045141.724341Z/037_existing_pin_importGraph.log
05c5e3512cd706922752219aec6db9bb5e46da01a54f80787c0cb3320641330e  lean/logs/runs/20260919T045141.724341Z/038_clean_importGraph.log
0e1eafc304ac40e23eda1db7abb53583ebdcf3c9624f44f0a9cbd45990a58ce5  lean/logs/runs/20260919T045141.724341Z/039_source_shadow_importGraph.log
da76248776fe8d28e157b9ebb4971e1a85101b1ee14ef8c396fd553ae42f8f1b  lean/logs/runs/20260919T045141.724341Z/040_existing_pin_proofwidgets.log
1d855fafe3a91977fc8aa9719ffb13dbda029b198bced27a5dc5382a6500983a  lean/logs/runs/20260919T045141.724341Z/041_clean_proofwidgets.log
43a3642c98c51fa02721be1d0be439fcafa27e89ec52108526fc7aa7f14593a3  lean/logs/runs/20260919T045141.724341Z/042_source_shadow_proofwidgets.log
e9c2929a37f0d783398d2bb5607af509e155e84d0fc5c9967235c5c6005b3b80  lean/logs/runs/20260919T045141.724341Z/043_existing_pin_aesop.log
ecc0de899291366d4a46ef4f6a598dab64e6dc4e9233dd85ecc423d73ff7cb12  lean/logs/runs/20260919T045141.724341Z/044_clean_aesop.log
37c432bfc4df795c9d0254d9bce5adfa55f31e3edc11b212f1a5f123e00f1dd1  lean/logs/runs/20260919T045141.724341Z/045_source_shadow_aesop.log
6655bc6f93bc12b79c23109d68e6b7c33ab585db68da3cabc483fe55680d3cbc  lean/logs/runs/20260919T045141.724341Z/046_existing_pin_Qq.log
b32253c113d9e65272287469d4328e83c6b31b7e2bf560754a1a6c4bb25737d5  lean/logs/runs/20260919T045141.724341Z/047_clean_Qq.log
c885e8100685328770c8840ded55459db3bb519d89de206d6b131a818c29310f  lean/logs/runs/20260919T045141.724341Z/048_source_shadow_Qq.log
3bf84b2d78bc60804b20013ce92b8a6462539eea36df5a8e7c2c82ea291d8c33  lean/logs/runs/20260919T045141.724341Z/049_existing_pin_batteries.log
4a427715d5b14761bc92e7542ad637c3dccc73ab4edd2112c24985703249374c  lean/logs/runs/20260919T045141.724341Z/050_clean_batteries.log
032434280ac5c0f9223288982c1cfcf491922c9cf9680f890ea7ec6c9b9cdb63  lean/logs/runs/20260919T045141.724341Z/051_source_shadow_batteries.log
663dc65372b70a07d5feced8c182e49715299043072514e70160eb0a32ccb4cd  lean/logs/runs/20260919T045141.724341Z/052_existing_pin_Cli.log
0b6ee1a3c710d6cc74d29e45fe2f5e75cce2df5467dcf26bfcc88ba1a34a68c3  lean/logs/runs/20260919T045141.724341Z/053_clean_Cli.log
9e90e377569cb43b60abe35b2957da2da0fd999ba3f3aace6aeef284dfd7c919  lean/logs/runs/20260919T045141.724341Z/054_source_shadow_Cli.log
cf816c735f86f3c717a8f6d7ffe6cf5d9736ab069f6edf6a7f3425f45f16a2c4  lean/logs/runs/20260919T045141.724341Z/055_existing_pin_mathlib.log
38700e7a79e7415440b192ca75777b21f2bd0b7346b120c6a8f9b2107958b13b  lean/logs/runs/20260919T045141.724341Z/056_clean_mathlib.log
e4fc37b0f3b807744f8d0a93bea373e1ec13db3d66d0376f34a0a223ba35c540  lean/logs/runs/20260919T045141.724341Z/057_source_shadow_mathlib.log
cbc1d02a6349c2b2ab009705110a1f08e825224bf5b1be96038f6de5e6075b83  lean/logs/runs/20260919T045431.429075Z/result.json
396bca086b83b60424a9c76e236d57c403ba0a69de0d0f25f4b4bead82cd98b3  lean/logs/source_acquisition.json
396bca086b83b60424a9c76e236d57c403ba0a69de0d0f25f4b4bead82cd98b3  lean/logs/source_acquisition_run.log
e1ae11d2073105fd6a23892c8e13ae8c1717a3789febeb1f872b5d51298026b5  lean/logs/source_expansion_2026-09-17/direct_flag.json
9b1bdc9d32f3aad5d378db6087aed20bebec5b6f7fadb224ee9014362b770706  lean/logs/source_expansion_2026-09-17/external_evidence.json
52c76f7060f5cebae300445db163fc51f8e74a5086da7b9e447081efa46e46bf  lean/logs/source_expansion_2026-09-17/final_gate.json
0a044f63925c1e555a2ed8186714450f74bdded1aa6915f8b7352b1638613bab  lean/logs/source_expansion_2026-09-17/original_input_integrity.json
44885409656d55e27f0e3ef5adc50d68a7d02185250bcfb89755ec4cf740c124  lean/logs/source_expansion_2026-09-17/original_literal_check.log
e46dbc669715ff7543e6e206c3515e197abb799a667d8a2def0073e306825d0f  lean/logs/source_expansion_2026-09-17/prepared_inventory.json
6adf6f15c950a63cc15ea0113b278f67158821817b3ef33313dffdf81bf44b28  lean/logs/source_expansion_2026-09-17/runner_controls.json
f21281c8df2e70decda7e41ff0a283e79ed84b0484288ac1e97bb163bf0242e0  lean/logs/source_expansion_2026-09-17/static_scan.json
7efe9297294c2efbe5eeaa9c7395c17d5e95728a9e855fb5307e6ffc2dd2cd33  lean/logs/source_expansion_2026-09-17/witness_regeneration.json
242e9d2c531a37968eea323f36cd7c34a4cbc91ec7cc27ea507f0249b69b1888  lean/logs/static_scan.log
be8ce32b2df3d2c09ab2a74d8cb108a7a21b7859e9e580266694bc1d315985f6  lean/progress.json
251c9ccd2c6faadc5fb2a3a01db9270efae6aaf40c40323c2004a97db675dbed  lean/reference/README_original_2026-09-17.md
ad202437992b4657de982b01dc57368b2e6fe7cfbcb802bd58bf71b16ced5acb  lean/reference/assignment.txt
5c6421b650bc87a2427a892a39e5522dc44543ca4ac1bd6e9f08d536c044a752  lean/reference/mathlib_lake_manifest_upstream.json
404f0f4d94d5169f0a270b4ca40eec352078ca52bb4c398799a7a7ed71b0daf7  lean/reference/original_SESSION_REPORT_2026-09-17.md
ee578c84fbcbe8c57c5c75923b13f145ccf1527347a0adabd5769b7dfa3cb65a  lean/reference/original_SHA256SUMS_2026-09-17
858ce6f0751f19e9d069e678428d0f7d72d41eb8630130ccb36b4d07edc0acd5  lean/reference/original_docs_DECLARATION_MAP_2026-09-17.md
c7ca28451b8fdfcfe3ec340433ffe5935f33a2534a0a20289d7ad0808fcc65c0  lean/reference/original_docs_DEPENDENCIES_2026-09-17.md
7d903897f066060c82cfb397904c1a5127daf7840b5a1951a682bdee13b55789  lean/reference/original_docs_REMAINING_OBLIGATIONS_2026-09-17.md
062afac1b877ad2aba78b96267c3b826981f1b447307e29d55654e4ff639e91a  lean/reference/original_logs_README_2026-09-17.md
48eff5e789dcad564d84a3fbc5588bbc529cb6bcacfc402fce220d262664566a  lean/reference/original_progress_2026-09-17.json
da744da6f3bb3886dadac2382fe65d97acd8ee4f9afc9fac1b0fb733c2a5273e  lean/reference/original_report_20260914.pdf
c007b1153a492619b69d5f3441799595dc3ea673adc85738b02d8b454d0aeed2  lean/reference/original_report_20260914.tex
7f26df24672cb99158a6d7df1e65005137a06dda411784b874c86f35aa247d31  lean/reference/original_verification_bundle.zip
0b6eb6c285fe24d45cd27e1849fd0ed2c05775ebd01a5f75cbe295211a2ebd13  lean/reference/previous_progress_2026-09-16.json
c66ec188690024220fb5144ef12702104a438208935cf0455894c10c8c82ba9a  lean/reference/provenance.json
9fbbd9dc3fa73749cfd2972cc63a4fac840390fb1cafef39e55a88d474b34986  lean/reference/source_inventory.json
aca88c589ad6d756cc2cd0eb94531193040a0ec36fcc5988e31dbf25c1225b9c  lean/reference/source_only_instruction.txt
5e48ba4b2599e26ded88841c76bc3e79d1d035fb98b9e06b5f39219ea1968805  lean/reference/source_only_session.json
a07b2c05cf93b8a8ad6c1bc9b846e2d7f0a2186c6efd2deab8886bb828409b1d  lean/scripts/audit_support.py
7bac6b9c58c56e39bb013b1d63ebaa4be3f8ec43b8a993589568a1979ca2d2e6  lean/scripts/build_serial.py
9d8903352cfd876b863dec50a93e80f9aef346e019f440d6ba48091682574a60  lean/scripts/check.py
8605f883207a67a0d0d904c4b845f2fe623c56e6fa523e05c3fcf7f1e84b8afc  lean/scripts/direct_flag.py
c0d79ef70930c150c658a8250d9c8bcfa32d6e426a42293ea2f2f9b4c028f158  lean/scripts/environment_probe.py
76ce336a755fa2cb137db008bf96dafadd25759e53773b7948a5ba1d5743de87  lean/scripts/export_lean.py
90ee10cafbed8ddffe3e0ab81d69a0f514f82f834b91b227bcbc7511a56512ef  lean/scripts/fetch_frozen_source.py
2e7904c96147d47b092a8aa973575ced3313c71a9bb41d9a790254ac3d4cf3a7  lean/scripts/generate_certificates.py
c145be6822284b69d4c136a718007cb2e448b65aa154930d6e4d2ec22a24bcac  lean/scripts/source_evidence.py
60050cc779d98165dcfc35d92699e9fffdba87c2676940f4143c9aeeb1c939f4  lean/validation/AxiomAudit.lean
64e36f87dc67b7daf8fd6d881539114c2ca549170683aa787411bed9276b70d9  lean/validation/Statements.lean
6f0dc756ba16168389bbeb9cbccd62fab6ad7471d41cac6e5a685512429571c9  audit/AbstractAutomorphismConstructor.lean
2d549705bb570a290578036e300257a0f5a98af1667e6e06fe254e9c2e5916e6  audit/AnalyticBCHAxioms.lean
7ac6ff977a55618e656ebfc2965eef67beb1f076b1bd2da52bc3eeb8e3b13047  audit/CertificateAxioms.lean
c1f85de1969a71bcd674ccc6a774f44a7ac9e33c4d4fac81924926e9343d851f  audit/CoordinatesCheck.lean
5f5f397057d0c4d90392750983b457d8a30e4f91a32495c787a528441a32ea16  audit/FastBasisShard30.lean
affd3e79670f362620452f2b7ac0ac0e782b71ac5cb5996776e38a5b0c71df86  audit/FiniteGenericCheck.lean
6f6b830f498133066f6a921d72d68ba6e956a34d74e4ef93ef4e01b8814f78cc  audit/InnerWitnessGenericCheck.lean
510045769c490149b62f62c47e85909e59e1cfbcce6682d1fa29ced2855cc0fa  audit/KeyStatements.lean
f605f74c51d3e4c631035fb1d345a8087cdeb9532eeafe5b340582d94971edac  audit/LieAutDiagnostic.lean
5cd45595655ce5d0b7116d18d95dc417dd3f6da0d71f3066926b2f553e881790  audit/LieAutomorphismsCheck.lean
53c4d41b10b7e79ecf1423af826fe317212c5da0dfee1e8d555291faa2d7e8d6  audit/NaturalPowersCheck.lean
8583062766ab02b720abcb5c9f8892e73a3e22f21bdba3090caaeb4bd1259b8b  audit/PadicQuotientCheck.lean
540e05b3ea2534cc7bad2a2b45cb399ba9e6ab5ea71bfa28744c7a24926b7976  audit/README.md
48c4abb03525a0f0d146775afa6337f1909c666681c114da66c84d1a6a58778d  audit/RESEARCH_LOG.md
f564440576ceb9f9df76edc39eda3d65bb710cc6f5ff3ebd17101e5900c77537  audit/RankGenericCheck.lean
cbcf46769cffcd6d2a7643f8f125d6b78a48ea20663ac2c282c2b0cf86b928f6  audit/TableCertificateAxioms.lean
f8cc537b7653667c25554f8603d4cbbbc934710a68afbba1be64b2a9769dbb7d  audit/VERIFICATION_REPORT.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/abstract_constructor.log
e37856b85827bd4e34d95dbd1507e2f9efdfe5588fb86ea48fac554fac02c72a  audit/accepted_object_audits/20260919T045135.753700Z/manifest.json
8c2d960b402bd40dc36a3d5d61f1e9476583ce595f70ccfef4569d86978a533a  audit/accepted_object_audits/20260919T045141.564977Z/manifest.json
60050cc779d98165dcfc35d92699e9fffdba87c2676940f4143c9aeeb1c939f4  audit/accepted_object_audits/20260919T045141.564977Z/queries/AxiomAudit.lean
64e36f87dc67b7daf8fd6d881539114c2ca549170683aa787411bed9276b70d9  audit/accepted_object_audits/20260919T045141.564977Z/queries/Statements.lean
5e0d7a1f94f063dbce14d65c7aedb9c70787ebfb6be044edeec4f2c39ebf289b  audit/accepted_object_controls.json
7dc243be15934213a1945855766bbd1cc30b244bb15b30965e394dc0ee1552d7  audit/ambient_benchmark.log
fb524effcf32d093c0eadc98047f2d42a57eb7e6e67ccfde91297691e5a1c7df  audit/ambient_chunk00_final.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/ambient_chunk00_final.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/ambient_chunks/01.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/ambient_chunks/02.log
416fba9f505523eeada0f17392a3112979dc1931b7b3ecd0095f902ccc3627de  audit/ambient_kernel_benchmark.log
578855aa63415b30a3c0bf453a800114d1727fd3d789821f86f0bfa1ea61c6df  audit/ambient_lie_build.json
90f3fa9c07138b5ca1a34e5adbc66d4e0084a4fb9bb1dadbfed09a48e5cf4fa0  audit/ambient_lie_build.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/ambient_lie_final.log
90f3fa9c07138b5ca1a34e5adbc66d4e0084a4fb9bb1dadbfed09a48e5cf4fa0  audit/ambient_lie_repair.log
7e5cee0d098cb1deac20972b8745bdac5856f5a44f9bd520f985f8752145f085  audit/ambient_lie_repair2.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/ambient_split_benchmark.log
89ea66c3bfdf5b291aac6415a3b11e2b694490e20849924f9efdff1388418c5e  audit/ambient_split_chunks/01.json
1ba3cb01623d3f54c2a1a74c131b33a815d0fb28e91cd14888a28dd5981542e1  audit/ambient_split_chunks/01.log
9bf0814919200b9c0fac5c6945f4e72b8b36c89151d0c68dcec89faa8f0250c3  audit/ambient_split_chunks/02.json
3abf501191b3a3d395c1ca5ceeb8d2b0859ac00026c6faad124e08a94317251d  audit/ambient_split_chunks/02.log
cd62b382d9c68d305a0871cc88e7cb52dbbb257456f417602bf972d5b8119d6a  audit/ambient_split_chunks/03.json
e350a3d464716372346f6e0bb1e4a4504d6f3702dc91c5f308f18fb24c169186  audit/ambient_split_chunks/03.log
509da079f1b01632ab610b4a8f00126db5c1af1cb6b56084b713046fabd4a952  audit/ambient_split_chunks/04.json
cff27b19939a8e3d45ce72fa3a25e9dcccd9df3ed0333371d1d2b118e1b8c587  audit/ambient_split_chunks/04.log
a5b341855e88e1d327615a89efe1608a793167e7d935d98c0a59b57d0bd8344f  audit/ambient_split_chunks/05.json
d13a8666029b0e256ffc8ff4a83fd492002c01c4567a4e422e7869566072ce1d  audit/ambient_split_chunks/05.log
1e35d607bb91f95e9a16855d634fbf9e279a29e32c9501daa2f85890ffcd8295  audit/ambient_split_chunks/06.json
3f39b415b85dd5be95fdc9cd3f95818c9f24d7eef04038cc8534daaea55c60e8  audit/ambient_split_chunks/06.log
85c4c72686ce9726864b602f037a179bf7e1d82511ee8938c92b4a72dcee0e91  audit/ambient_split_chunks/07.json
6236bfea4b8624888936334ef5c657aceaa8f26b7d7bec72a763ac04fcba7403  audit/ambient_split_chunks/07.log
c0d93319f82cb37d6d0f976481c13fed0c5f91ee21b6396aadd20af9bca251f1  audit/ambient_split_chunks/08.json
0501c1eb6b780bc6b0983d046d1942bf9d955515114c88bedf0b0bfe36c76deb  audit/ambient_split_chunks/08.log
c23f37910eb383f4d7a8c5383ed266be372e493d6b11a59fe20cc52ba8bb4adc  audit/ambient_split_chunks/09.json
ffca9c66eae0d1b2342855e055c408c95723a9e18b1311a0422fceac8b4832d4  audit/ambient_split_chunks/09.log
75c33184551ceaa821ef6f941310759d57c8ca9b5ace0f813ae50a2ddae2e422  audit/ambient_split_chunks/10.json
9572c4c004a913586eb994eba1dd738ad03bb5351382347eaeb6ee99619c9144  audit/ambient_split_chunks/10.log
bc787092be1df0805dfbdb78b6741d25db456516f5317154db82f0fb8415c46d  audit/ambient_split_chunks/11.json
9c9715152dc036f8ce5e90bee1cdaed6ac47a39d480925cb329fdd7ce8640a06  audit/ambient_split_chunks/11.log
b6a475046c48d428957f31cbc05c30e257116150ae99cb55f071ba8fda3ca2fd  audit/ambient_split_chunks/12.json
bad30f6ede22fdc8318cc4ed3e8a194ce0a43357168974370d481eaf3bc5b73b  audit/ambient_split_chunks/12.log
809b83f6e517ccbdf18862917298fd726e73871e9265063f127cf78557d2fd4d  audit/ambient_split_chunks/13.json
09a6939a1e590e8ba82f13a92717dc012963ae23a1420237175cbc0b5c1010c4  audit/ambient_split_chunks/13.log
9a6c96b248894f98e9632f51bc084e4ba61ce0684b7329a08eafae3a5cc30c7e  audit/ambient_split_chunks/14.json
09a6939a1e590e8ba82f13a92717dc012963ae23a1420237175cbc0b5c1010c4  audit/ambient_split_chunks/14.log
12e88d965ae1bc88891002ac99d5ade635bc31c927e264faeabd79556095cb74  audit/ambient_split_chunks/15.json
21e2d62d35eb77fc99ef0832ca9184865aa122aa02c9e4371c43584c9202e376  audit/ambient_split_chunks/15.log
df3c09cf3c9e6f9362c50a530b55be5e4b301755083bac588e9b3285a94bfcaa  audit/ambient_split_chunks/16.json
9f3ef834d0f50e1e91ac9ba82e595d6a6208cd805526184184bd52bc0af9ad5e  audit/ambient_split_chunks/16.log
a4dbc2b182ac3fb667c7450f7fa93623ac9982d9865a601244ebe3e764d41dd7  audit/ambient_split_chunks/17.json
0a2c3bb254a31b158f1c0233fd65a4271e8d76668d00dce238fbe8ed6dbd145a  audit/ambient_split_chunks/17.log
03ca042965d153aa7f76d712e26cbc2817b583e348d79ec9bc82583ad82f143b  audit/ambient_split_chunks/18.json
64485d19769848340abf0084c03a19d67d489ba97af80713f5789746ab7e7277  audit/ambient_split_chunks/18.log
be6893374e8780d6c41b2b419a29bb088c488bb357d8ed096cd9c3bae4169d8c  audit/ambient_split_chunks/19.json
574e623758a5fdc53cf64e83c3f2cf500fbe1b0132caef746f2062a7191d2114  audit/ambient_split_chunks/19.log
91bd91ed30637ce381c1461f3f70170ee9ccbb5d206bc86ebbc312be28575aae  audit/ambient_split_chunks/20.json
63345869e90845c7e20549baf4bb7ae25188a7600efab146bce6bd35145daf3a  audit/ambient_split_chunks/20.log
16bb3abb978199dc5351e9396223e0c41d6192119c550b2866be75ab07a34c3b  audit/ambient_split_chunks/21.json
8be682a119db516fdbfbe88c140e98d53f3591b9a72f36f978b795af5a9e7950  audit/ambient_split_chunks/21.log
da55bbdefb8d49fb24dd158c76ca53627742471e8ed777261e17edb452bfe392  audit/ambient_split_chunks/22.json
8be682a119db516fdbfbe88c140e98d53f3591b9a72f36f978b795af5a9e7950  audit/ambient_split_chunks/22.log
20da0ab32028a0f32952a79beef9b7bf4a222ba85329c15f4168e232defbf728  audit/ambient_split_chunks/23.json
f1dfd4ab1d905db16cf2e91259b45a2fb027b507e3e746e843818940707ffd8a  audit/ambient_split_chunks/23.log
bcde11e24efc3b8f35a5ef3c44ed33f2832ba17922f26edfeba3e7425cd8b70a  audit/ambient_split_chunks/24.json
12da5aa48c452d598c05efc0323d64590e1f60730e8ac713b79e32b0ebd19129  audit/ambient_split_chunks/24.log
deab58dc79a27f804de879e39d3cfae8eca2909614f5e7aab4af64d605b3569a  audit/ambient_split_chunks/25.json
e87531aa3c713405ddfb730acefb70dc804108780c84ec92d6f77cc585cf3d38  audit/ambient_split_chunks/25.log
3ade5a99ebc007ce737d113057f7338bc1c995ca8a1700ccd514097c383ff062  audit/ambient_split_chunks/26.json
5473d71d2f332f5676f8c3d6243fd0f0497de6b506d6a96740c5241898a28f77  audit/ambient_split_chunks/26.log
05f38be9818fb6baa29d751faf74dbcc2969904b216a45af56713930cbff21cc  audit/ambient_split_chunks/27.json
49b6edde41e715523ddf9e8f9d680b61bb1efc21f001c3da172be557c6f4e027  audit/ambient_split_chunks/27.log
b1e3511ee7834cacbfa85b96446dfa5eef1b675058bcb650dc892f1ec3088237  audit/ambient_split_chunks/28.json
ebbef23fb31d2119415a5bd68a6a6315e1083ac8fcb8d384535fb033eb10104a  audit/ambient_split_chunks/28.log
4a9078ac5248fb7081bf2cbfcb543c03cf4209b7640636d48b09aed1f0107cc1  audit/ambient_split_chunks/29.json
5ed0954714d81f13da7582903a215b5e9a78520a9a11b4689ca73c764202d4f1  audit/ambient_split_chunks/29.log
baa079cc0e07ed76dd3d8ca82b285160f292a002ea8bf623986fcac7731afe30  audit/ambient_split_chunks/30.json
d5ad82b7b8fad6077b734aad65e654543a42f167c876a131edb21c0a679f63a3  audit/ambient_split_chunks/30.log
df8f8588e976b0a0597280e8257c96177ddc6dd9d7b760b1e9b3c4748d482890  audit/ambient_split_chunks/summary.json
ce6aa8f40cff6fa181932634c13788625fe9b8c8571e8fcd2e6949bec912f172  audit/ambient_split_success/01.json
58864229bdcbdc4cd277ecf5a5c36e8e7e60963a0d97ac6436aeffffa3bc7691  audit/ambient_split_success/01.log
d3f8a1b9c8931ef4353a3d391da6e1021e236ab7a1cc818f23901a10bc606afb  audit/ambient_split_success/02.json
3aa519dcce8b4b7750bfa3f0eb18440a2812d1c7e9e50cf35086db09f93ae182  audit/ambient_split_success/02.log
abb4c5f71a8b50fed09a5bc5abb7b546ace979d60546013ce1adb9fc167fc9ba  audit/ambient_split_success/03.json
cd685d92858d4fe061afa0201e7f49adbfeedd8e976d1dd864955d4b59a37886  audit/ambient_split_success/03.log
aa36ec218a5fc28c407c5886eda55a93c958c82098c8fb7837d83d31d5e39ec9  audit/ambient_split_success/04.json
b67eb44357d6bcb1c44ca6b48bfc206a99c8abc5379cc0cefcb30671f2f9b75d  audit/ambient_split_success/04.log
ceccac99b9f9456a28ab5249348b23b57ae4982e6da389e0f2b98c5e5bb36ea1  audit/ambient_split_success/05.json
1bccdc67a632cddc54169e153725dc9451b0cd1e3f75e1c85a9dfea0f128cb65  audit/ambient_split_success/05.log
1f2a9154386194d70434fb691eed383a3832b50eb414293271eb998e29d52c40  audit/ambient_split_success/06.json
eef848a43303bba863bb1864a87e7881d37bfa6a400b6c3de146052f37464b2a  audit/ambient_split_success/06.log
7d4c59f78a8a02730ff9dada860b685fba7570023a7c0f98acaba081d12d68cc  audit/ambient_split_success/07.json
2b7f432d6d06345da035148b9dc23bdb1f4cae4984bd78e79f78122c4b9779f3  audit/ambient_split_success/07.log
60ed72ad1ebf6bf1c2f4f367ef9d241b66de2c1b006f1ef784b71eac7be16f1f  audit/ambient_split_success/08.json
30b864f3faae6edc11f579b8a230e19c6a4aa4a5ed21a656bb4098e17c489c39  audit/ambient_split_success/08.log
c2f1f8b9334d97b548364ac5cbf417389dc20ca2f929c5f6b026af007d21e71a  audit/ambient_split_success/09.json
a3307d5d5072025e51a46ade3ce4d9fa04df7386d9dd43b9f1d94c96c29ccc93  audit/ambient_split_success/09.log
d5d22d0376006e043e5aa85e5f94c15205eb8b9dced51a9ecb34639ff9e53a95  audit/ambient_split_success/10.json
455338e83c9041a4001dfe2f156629b366894612efbf4ce75529adacfba63555  audit/ambient_split_success/10.log
a2cd216474d2e61594b50da2460718c0c7f4f1b0c0c5939920ddd78a01df5394  audit/ambient_split_success/11.json
c2f18b3f0e6683d15eb587327358453d5643b8b966033508b3954c6d83d33cf1  audit/ambient_split_success/11.log
0ae2359b58872b87279d4dfe83e1faca95684d46bdca88377ca799297d9a4d0c  audit/ambient_split_success/12.json
99a4c0b9d3f2bdf34606120fcd632e101a13d3f8fde3c5467ca8471f706bfd54  audit/ambient_split_success/12.log
561b74d068938abe7c6bd5739748dfbeb5904a1194a54bbae25e2a35b2767c80  audit/ambient_split_success/13.json
dda49a214b1bfa076af9ff0be18b9e06029ef940835009758c77b83703394b65  audit/ambient_split_success/13.log
45f1c0b8768793a8215013a7ee3d39090542e1a09767c7c4ee26ea406137be20  audit/ambient_split_success/14.json
cdef9bf99bac58c56c640ea5b2a94bef650bc7a8023d1e74370805fb86e7d062  audit/ambient_split_success/14.log
bcb8d2bfff4cf94e34b51f3c6af91aea998004075b8cfe638d5dda61ba5839d6  audit/ambient_split_success/15.json
b910d9ab8b7b1c914b5b526acdb9b6cf0989d406005234d3e20b430a57b4fc61  audit/ambient_split_success/15.log
2709000db1eac9c3b22dc13b0e9bb4949db0764c0dcf623a7f7f2cdf9a7b13ab  audit/ambient_split_success/16.json
96c04e2dd3daeb5c3e2438ed4433b12144c267d9a0f22b02820e0e1988343b30  audit/ambient_split_success/16.log
027f8606d9bfae1ac7a9fcec12ba481bc7e37ac30204af4b1cd5f5633d41c0ee  audit/ambient_split_success/17.json
e5c090ba5150678b6c2c11d9dbac8647450147cb6bae1e91048c8f79ebd502fb  audit/ambient_split_success/17.log
6844520a66b5258012c0b1c9ca4fc76ebcdc2cd0d1cf2508bf1d2b26862addc7  audit/ambient_split_success/18.json
07da83efe6f990f1b02c580cd73ade7d02e8847cd81518b0613e5fd1488c2c52  audit/ambient_split_success/18.log
3661b4242421125221101814bc3c14897442c1741b227d305e2ff76f811fec80  audit/ambient_split_success/19.json
b63d5038986ff0aed31aa88699b05e280522070a5967bdbf10767043bd7ea7f8  audit/ambient_split_success/19.log
904b4c766bb1c301af85c4498c3b1387ac4d9e47065c4aa0b4c3ddfae332d96f  audit/ambient_split_success/20.json
5507d6fea766f5d8085ad41760138398ae4666c756e72679390d398e3119123e  audit/ambient_split_success/20.log
ea37d5af81ea3f24ee3f32c4e84bda5e47214be5ae94d63845d1a56e2d72066a  audit/ambient_split_success/21.json
8a3a7c79267b1bc0ed4db9cf3a222d0a552a241e974218ab7890a16769d46f72  audit/ambient_split_success/21.log
241e8f21e65bcaeced0f166017d82b80e155158dc418dc20f3ff6958ebccf734  audit/ambient_split_success/22.json
37777e532464d21a62823a28beb9379f2ddb7ce8edefaa657bc3c1eb245bfd14  audit/ambient_split_success/22.log
8a49359f2c66bf11a98527ec2d3be86a96a7f726d6f22556e5296489c28cee87  audit/ambient_split_success/23.json
2aab12be4b94dd177d3427bdc8bb30e078d1d45b9783976147a5ac0420098f1a  audit/ambient_split_success/23.log
504445639443fda73d0e3422d3b791253131e542487d259b860f168712afa92b  audit/ambient_split_success/24.json
e6c9d9a5f84a54b13e741084accba2d844338958677b48d618ed193f6d99108d  audit/ambient_split_success/24.log
af06dfb0680603abc4923b6f33dca9a28c580cb414be63bf8a892ad4145e3386  audit/ambient_split_success/25.json
9e00164d4f3d6530da8592a8ce4b133eb7efc18a607d514a6a8d50a3e7b277a9  audit/ambient_split_success/25.log
46d2b7ab0d579cae6c087cdb9fa8ac6fe4047abbea3ec5da4f96444471929087  audit/ambient_split_success/26.json
145e9a1833b7e21b9d56b3ead7b2a6a7b21bca9d4037a4edf422ef42d20fffbd  audit/ambient_split_success/26.log
fa4465e0126e20d702fd66534478f7c1e47aa13b0a86e9b09a84f95a6ca66093  audit/ambient_split_success/27.json
00f050c1734e0cdf56e3e128e7ca33293b7adce1b0a4a637799a8877d6bdd1f1  audit/ambient_split_success/27.log
a53c0e77b07073e2a5d0393729b3e758dafbae9a53d4d3e71309fa1ba32c1908  audit/ambient_split_success/28.json
b21b0cbc375c1e33482d571343e998e87e783dea10c631858e3e6729775c05e2  audit/ambient_split_success/28.log
23e48e544f90f9a50e7a71e86018224386a4d5d47c9218efc96f4dc2a1a0ad30  audit/ambient_split_success/29.json
32226b7963c5346772169793d54792a1ac348364ef13c803afe159ef9fbd2ebb  audit/ambient_split_success/29.log
053b26cd09d52dc510a944cafa034ba41ce21ad0fe0f517fe64a7a1064cdb9e5  audit/ambient_split_success/30.json
ca73d2b0e5d8f83cdacddf849ce6e62eb7971f90f66dc412101b4fe7f750f101  audit/ambient_split_success/30.log
4f79c5613edca9c1f2b426e9596d3df667797183defedc656b4dba9e78089b32  audit/ambient_split_success/summary.json
b9351f10707f73487193b46488f9c78f6f0dbfe5e1b9d8eb11e1737085354509  audit/analytic_axioms.log
73eeaaed65162bab71003bf9d9f68ecc18f3e36fc879f94f631a1d8bf8f632df  audit/analytic_declaration_integrity.json
96d179b665ae57b70b733b3a35d3f5646c7d93afc3fb0fdd77be0f8b1b5ee2ff  audit/analytic_repair.md
39d6dc168be5a6ae4140739f915feb25ced5108c18f004c8560af121b12c61c4  audit/analytic_repairs.diff
6692942a803fbd9d0119f0ccf6f83249bd10c0c8589836175a6456d2abe64301  audit/audit_accepted_objects.py
c2433b80c6350054bbef6cb21fad6d082c49f18b86e1225c8cd83e5206ce5a1a  audit/base_repair.log
f7d58aa2304d2991131dc24bc3cfae35080be3799619d2dd19dafa29dbdbc1ac  audit/base_repair2.log
9c0f7ac0426aa47b987a66fb09561ee9af4f536d354a4852b980ba771502723c  audit/base_repair3.log
3260ececd5debfb4973296b75e718b9f3e381cc30e16ae4bc480e82d3f297d36  audit/build_download.py
13de99891664171221dfc0bcc7eaf478f0c692e6bf69204deaf2d351ca536848  audit/certificate_axioms.log
4897bf466aedcdc9b7bcf19fd235912053c40a9d329e88452b249c083035bfb8  audit/certificate_compilation_inventory.json
f60fe1cd465b809132a3bd059084d62b58aeb359c2040259eb4b789556a85abe  audit/certificate_data_integrity.json
22aa7e7a9267271034353f934041af4324f179b34bc7f5ffc6c9b18fa9b8f7a5  audit/certificate_repair.md
641b5b2bd6834758a26f7515f997fe3052e18f945f5f872a952ac904e72c3915  audit/check_finite_modules.py
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/chunk00_build.log
6379bc1cab2c88e5f7872c74b6a336f989a26c73e55fbe7da836836e7497028b  audit/data_integrity.json
902508eb846b9fbe9c8d516eed076153e6a4ae05ba42c42f91a1a38a2102ecb9  audit/default_final_gate.json
03991aebd12b0fdff1a94b0ef28f3c9f85447ddb92209be499e236ab9c14d34d  audit/direct_flag_final.json
acd1be5f556c1cdd8061cdf8214234bf863644f56a5ed8302142bdb003c76204  audit/embedding_rows/Chunk02.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk02.log
d0cc0b45729e9634074596ac90b628eab627cfa0817972cf0e15e121885e2e00  audit/embedding_rows/Chunk03.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk03.log
68b41a92d16ef431d86c71f7d1335607718bf380fb237b85c57c1386ec78a430  audit/embedding_rows/Chunk04.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk04.log
6dcb6f102466f6704b96e28cc5ad4f89d6b1beae20f04c5ec5c99ffe47dbc149  audit/embedding_rows/Chunk05.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk05.log
65feedb55bd6578f754e3d0051d7af3834ff72be89c7185142499ada6daa9a55  audit/embedding_rows/Chunk06.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk06.log
e2937b1ed69b10bc0e0825116c0ce7168c6e07d0e8338f8276585703eabd1ae8  audit/embedding_rows/Chunk07.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk07.log
3d1d21dba7104020cc02c88df30d8fba059cdb07163d1dae2fcce86c5e8dbfe7  audit/embedding_rows/Chunk08.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk08.log
c982f2d1e782efb504c3f6ce5f1f2c69cb35db75c65438504705ba21380b3a00  audit/embedding_rows/Chunk09.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk09.log
370cf006df5917d381cf5149e1a57969342aa18ffb660bd6a924688cf415dfa5  audit/embedding_rows/Chunk10.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk10.log
e202cb2c2f21cd467b05ff3ac24e9bb622b1806f9f1cc5f193ac624fb660ad0d  audit/embedding_rows/Chunk11.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk11.log
a011a67ffe73f368a12a079bc730b2214d9f2a2d293aefb20fef887f012f9fab  audit/embedding_rows/Chunk12.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk12.log
2437757d4ed00d9b629b8d60e9cb43f7c5bb795cd534258857864371a14f1018  audit/embedding_rows/Chunk13.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk13.log
de49845a944a6982325f31c4459fd580b4c40d42f023978b94174e380871cbac  audit/embedding_rows/Chunk14.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk14.log
17ff523f71abb24ca726a84b4d30e2d91e2d06b4d4f65bb29170584e1dae91f0  audit/embedding_rows/Chunk15.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk15.log
872d3dc7e192bf0b629706e03dc8a34b4fc5e9ed01108a7c4937a00e201b921e  audit/embedding_rows/Chunk16.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk16.log
efbb39d094b911d9537b52c08d371f73334e188851fff93a2ed6adcf628ca361  audit/embedding_rows/Chunk17.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk17.log
a5974cdd24d1035377228776e6b21a960468da9f2d0225a1af6fba562b66b95c  audit/embedding_rows/Chunk18.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk18.log
8549555d61a9ae16ea0193289bfec447f510dc25f6ae94cdbeed3d0e22d071e7  audit/embedding_rows/Chunk19.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk19.log
214c71526e2e7658473020410c4e9401130c6a93bbb89833efd03907637756c5  audit/embedding_rows/Chunk20.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk20.log
24a2debe94615150e8fd899d60b8d8590d153352ebde8ec04294d2ce08ef6508  audit/embedding_rows/Chunk21.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk21.log
a9d78572edd0ae30f795ad13de0c4df5adc11cc95d588abb6e8f94bf3931c4dc  audit/embedding_rows/Chunk22.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk22.log
3676c95c0dba2b921c6b0ec8982434749045bdf470ee95f9ce95145f196129bd  audit/embedding_rows/Chunk23.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk23.log
560391eabc952cad3cd581a3a8c2d3674c955341d0ecdaffe35919d381808054  audit/embedding_rows/Chunk24.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk24.log
a589d1e60fcf55a5affac779958cf606c842e44e34a3c117bf640bc2545bab1f  audit/embedding_rows/Chunk25.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk25.log
9eb03aa81c8425f95105f51bb21fbed706b16810782dfe7753692c87d7d3cef0  audit/embedding_rows/Chunk26.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk26.log
af32f46f33540227a95017aa7d098c51cafc14e6bcbbdf3eccf636229a10bc1b  audit/embedding_rows/Chunk27.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk27.log
72b99c4f73e87d54aa2f7587c3feb6b014db7f255daa2c07553e23bb5d81ee9f  audit/embedding_rows/Chunk28.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk28.log
474c0c086e8624a1910aa30682e8f78ab83b3d78b17cdb6af04c92682e035b22  audit/embedding_rows/Chunk29.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk29.log
85a254687d542b3c7cb9b3c3ca793be5d82493105b46d5970db98df89f468308  audit/embedding_rows/Chunk30.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/embedding_rows/Chunk30.log
7a06511f1d4d45be7c26433d207193baba37bfe7f9f6aaa6519e9939980c54a7  audit/embedding_rows/summary.json
6a855005b1b7c29e152f9d74a348e1bed870fc691550412a1c7f10a5c8a9461e  audit/environment.json
a33c5d71d4ba80c86a80bcd5a352c68e909ef38bee635e9586a4384c87174477  audit/external_evidence_final.json
fddbd8ece27b75fbf4c5dbcc6c24cd875a33549e57dcd02984a3298ca3889104  audit/fast_basis_report.md
0857c5480027a205bf7ae322610781fe8b16a7b141465ba855f441a342fcc70e  audit/fast_basis_shard30.log
16193bcfd8d0d102efb6023fabde3f2ee3f1c108a3209b96f7d2c20a5b6553d6  audit/final_dependent_repairs.diff
3f443f55abc03263fb95acd3b7b4d334495b50d082c955219bcc7892af682f68  audit/final_evidence_method_review.md
2585cc4d5c16ba49395a7703460db55b6b4fb3b6bbc4e4e7a425ae56e53328bd  audit/final_finite_repairs.diff
902b05c15f8fa4a6d49cd3c7477dfd5ebb09fea2ecf8970b1af6314dd9db22b8  audit/final_mathematical_repairs.diff
1d22b1f7ddc2dc159cd7e3fee08232d33377be1c5f6be821a6932aa5f1857222  audit/final_query_summary.json
ed375477fb41a0e904fc080acc76cda459417b041c3842274d88e0c2be4a8e62  audit/final_semantic_source_snapshot.json
1b6d610ada8c34255539bff1cec117b123d1395fb8de2e37a381abf662dae3ce  audit/final_source_trust_scan.json
b922c1c45887c416b6b1f777d6949827f42118c8bb93690b284ef42486cf5a82  audit/final_statement_comparison.json
8c7d6d5a141207551a4671c6847842caf78b02e16834cdc9c1453d72a62fdcef  audit/finalize_metadata.py
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/finite_AdditiveLinear.log
bbb457526fb9b1e5d6f6bf54d41af7901a40e732b9edfa81586330d7101ece13  audit/finite_BracketTrees.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/finite_Coordinates.log
ce4bfddeb250a540b195ed67a6455054581d7eb17213638e5aeb0801679607eb  audit/finite_LieAutomorphisms.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/finite_LieAutomorphisms_final.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/finite_NearIdentity_final.log
61669c141290e3e26bc5344542436f972ef7a3ad8ca48319a2e08e27949ee53a  audit/finite_NearIdentity_initial.log
d2b088cb29914850e1c708158614e561ed07c059cb80da15e3fec31d171cd4bb  audit/finite_Nilpotency_cast_failure.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/finite_Nilpotency_final.log
3b31ba47770fb23b7d53ce368aac7cfa49b8f82fe79b0dcd9774d4099eac68ac  audit/finite_Nilpotency_initial.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/finite_PadicQuotient_final.log
bbadd0967d9dd1b91908366d906cb614a9e22aea408a77918fda121b8b04f8c3  audit/finite_compile_results.json
b8ae582b09216fb6b3d5c6229aa4c5fe92ca226aabf7b9f17083ee43071bcc18  audit/finite_final_results.json
40241a573d5550a307331947796611cc3b4ad6a3f7c7767890ff7a7cb0142ddf  audit/finite_parent_final_results.json
0b1269d54e72633f76b32730184f93387243a221a20a2575e1047888935e7b5d  audit/finite_repair.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/flag_concrete_build.log
0005e17f9347debdd68e6631d7068799d7d6b705e9c6397b783edaeccf94be83  audit/flag_generation_build.log
b978b096b7f2213d9ec2483ccf85a4f4b99727bab7ed691afdcbd984fa5f0066  audit/flag_lattice_final_inventory.json
fd6cbe0e9491df2af1835c348220dae16806b8f2cea6f4785b467dcb0db468cf  audit/flag_lattice_repair.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/flag_rigidity_build.log
090cac5d6c6f9fcd8fabe03ad28f40a9d314b0cfa86bc8a1b8e2c264cd9652a8  audit/flag_rigidity_repair.md
0e57eaee5bb5d7087e6bda34ce67acbf2ef713df7737b7426c1458cc5e92d90f  audit/flag_rigidity_repairs.diff
e0f965ca980a4cabd7432d83134cdd246506c3e0d0013ecc8778d897f9107720  audit/frozen_data_integrity.json
f1f231e76d63ded3046e4b5ab098b54eb5ec116ca6640c05e63dc91845b246be  audit/frozen_repair_diff.txt
c7cb0830aac0a258fd1390e7844746e0342763c36c08b13f896797044cae2e24  audit/frozen_semantic_review.md
85d405cde84946cd9d51507251d015f7ef98cceaaa4b8b2ecf82a71d7c09dbe5  audit/frozen_semantics_drift.json
deb7d9ab57b8eb9d161f14b1960f392351cb064e68ae452a60a44be37428371c  audit/frozen_semantics_snapshot.json
ebc248e79d3493e82e9ae2745152d77cdaf730127c6354dda599f16e834ca307  audit/frozen_source_trust_scan.json
b9f26591954dd950ca331d8d5c622d8be57dd576f4e93a77b529b3b304937dac  audit/frozen_statement_comparison.json
67dca45ee41f3017449545bf35d515357619bcdf808950eba89f19ccdb945748  audit/independent_scope_audit.md
e649e60e2f82e49cb05583a2719f3c94c13c7ff64ce720aa9c10d5bb059fbe43  audit/initial_build.log
17bf152fb654546ddbf08357c99b2d281679916716939df80889306a92367189  audit/inner_rows/Row00.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row00.log
f7794f83fa169bcf87d9cd11e3a781488a2c5512081211dc161f2ce3dd8f5b9c  audit/inner_rows/Row01.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row01.log
86dbeff03d2406f47c0599ff5158836747e5a6e3384b9e4ace9cfe73e752f16d  audit/inner_rows/Row02.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row02.log
69a441f3aa0d1fa3ea4d4c94df932ca5bdb3795f32b094c2646cd4221f90d837  audit/inner_rows/Row03.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row03.log
39fbb62c52523718f928ebe3d9ca9664ac5ff081118d6a4ff09d6a9820393cf4  audit/inner_rows/Row04.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row04.log
e7357a441fda0c7faf1b22c13bcb04bb05a65e0620caf696d7312f7b5042ca2c  audit/inner_rows/Row05.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row05.log
440da2cb456a7e65762481eac91d87c931e7db9eea7f98cd6d38db3d27edd5f9  audit/inner_rows/Row06.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row06.log
2fb3a3dc4680e95f8cb603aa580c392906836b87bbb5f94d4763c88184f9e3ea  audit/inner_rows/Row07.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row07.log
439e6c13b8b98b913c02b0e85db418bb48e4e64c9eed142c6f729679aee3943c  audit/inner_rows/Row08.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row08.log
6397be86c5c26ce89aba70aea11c7f96cf2ff38c4770183b0fb195b023523fe1  audit/inner_rows/Row09.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row09.log
ac727e0444b4f83fe5c165ccdab472c0e991e9ed28f3c9d5e5fce2bcef883046  audit/inner_rows/Row10.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row10.log
007aced2a97bc348e2745228aeb171aba2a6e3a0c7ed29de82410b26749de9ea  audit/inner_rows/Row11.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row11.log
eeb9f7cc376f54d1b60148937ebd077c12beb3139c802b20e10540a873d208df  audit/inner_rows/Row12.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row12.log
9499b87da483fe94566212fe67d99d22d9efaf672c92e691a069a01d16f35de2  audit/inner_rows/Row13.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row13.log
117fa497449f8ebc08b0bf1bed432ba3f622d630a3a4e9f075af300373c8b7e9  audit/inner_rows/Row14.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row14.log
efddacd272978c64da57597237f1932123a58add5e6c386a6023b763cfc69156  audit/inner_rows/Row15.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row15.log
a0919275ea24da0e9ec0d58be047ddfbac2f3d820265a88eb3c6778620251f1e  audit/inner_rows/Row16.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row16.log
c096f7318a216ba2e2ac6f33e8cd68cb5b9af97318982a8559511340e9253525  audit/inner_rows/Row17.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row17.log
edb8d8dbbfca9685841ab2eca4c86f208f14410c4aa582c198eddf8541ef6875  audit/inner_rows/Row18.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row18.log
f004524a4b41dad1e3e66a5cf45f31bd22c997873a2ee548ef17f0010d7aefe6  audit/inner_rows/Row19.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row19.log
f37bde353ee6b34b104efcc2fb5540737ca47fb977ab322fa21dca5e3be1e521  audit/inner_rows/Row20.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row20.log
423d8371eb8c5236c0517d5b6baded53bcc6961c252e5cb5e915ef3be04eb00d  audit/inner_rows/Row21.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row21.log
a50b806122d52c1859b04a20870394397fb43b39d0b05d47fb724e7ce6b27207  audit/inner_rows/Row22.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row22.log
01b036b587cbd82aad306927e9504b7b639b639c0c4c6b64654d4c53f094c77d  audit/inner_rows/Row23.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row23.log
d1d991a62e283d40d696cae86a92ce32ba0640662a024160eb1c865170ce02cf  audit/inner_rows/Row24.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row24.log
6165eebbbaf696bd89d6679af2854e79b3a4afa851aff020503792af7a50e7f7  audit/inner_rows/Row25.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row25.log
fef7010db2eced70e9a6ac5bc521976f452dd15065a6f1aa80a57d88a31460a8  audit/inner_rows/Row26.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row26.log
12b3c340655b5f26d4d09d19293a1445a10d17e8d8c778713249377f7821dad4  audit/inner_rows/Row27.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row27.log
137724e27fb798fcffb3b4ef4b3b567fb5c8cc66e34595a00f145cfd72659046  audit/inner_rows/Row28.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row28.log
556e19c858f9e1f6c02ef7e85d4c2e86e308c72b63c54ab99389a439223b25e3  audit/inner_rows/Row29.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/inner_rows/Row29.log
d8e7581ebed583724a446a7bf9e042f25c0129057dd0c1c68fe8a6a893044285  audit/inner_rows/summary.json
7a6b5069d67cdbd13238da12fffa09acf245c0a9740df4b000eea00baa5bf726  audit/intake.json
dbcc3957031bc0a9840caea0fcd7b15c97688851f6a5d1bdc17c9d2894efd92e  audit/intdata_build.log
753ad43344c25e91b20bfe750eba083a40bd6b95932506532906d2620ed3e586  audit/integral_generation_build.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/integral_words_build.log
9ec441c881ab83817d3933ea34f05b8f5997918dd4028fbfffb2c99c8f9c2faf  audit/key_statements.log
8c2d960b402bd40dc36a3d5d61f1e9476583ce595f70ccfef4569d86978a533a  audit/latest_accepted_object_audit.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/lattice_chunk00_build.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/lattice_chunk01_fast_build.log
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/lattice_integral_build.log
44885409656d55e27f0e3ef5adc50d68a7d02185250bcfb89755ec4cf740c124  audit/literal_export_final.log
0dc54df0fd0a2dd716883dce7fc50e684c7c6a15e9ffdaf56eeba1fc6df84edf  audit/original_source_hashes.json
0aa4451cf35b592eecbbc386946bb079efc4efc877a9bd7725842b174d84e349  audit/paper_asset_integrity.json
18828c03104318f2a38cdc6f6766d4ec258300e2357d5efcc285ec3f518da0c1  audit/prepare_audit_final.json
0c9e4e53d4ea33ef2eea0b0d0a83449e9833583cdc35f2589c2a34a628c28e38  audit/repair_semantics_review.md
dad751fe70b35c043d1ddf13c40ab88c3d94a651768c1ca282f6993b53b43a07  audit/repair_semantics_snapshot.json
7e81393513fa2742fc667706b3bd976f9331a6b7b07a372c8623b0cf0fe85852  audit/repair_shard_integrity.json
540b8c28b98797956a1172233f20c30477125024459ace2d25b528e10636b185  audit/root_build_final.json
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/root_build_final.log
944457dda57340f4cca787d1c5530839f686080b7aa4595ec6cb66677c5a4b3b  audit/run_embedding_rows.py
024442f429f899bf0e4f83422e5cf9df5b45dad5f61dd0578d884493cb9bf6a6  audit/run_inner_rows.py
6adf6f15c950a63cc15ea0113b278f67158821817b3ef33313dffdf81bf44b28  audit/runner_controls_final.json
60c4071714871bc26c20528ff07e50f02f63aa38bd5d8ae443844687c16d049a  audit/runner_integration_controls.json
e0a52f68c5abbfae52ce55d4d763ebd1f00102291a05fb9d2f9cc687362c48ea  audit/runner_negative_controls.json
fe5e7ab970e857e7e9287e4ab6d6624b4eff4a54dac9a03ef6075be3af25b20c  audit/runner_repair.md
c4f69dfe06e4336655ff9b7618407f73c6bfeae6c2f3eac2731646357ba08237  audit/runner_repair_sources.json
73d9c30b91e1f9c14a2210f388599307d15c5bd1ab3272c913ba08933552c8f7  audit/semantic_integral_generation.diff
2c580dbc2f734f4ea1def2d2949f76cb93c770c8f8237a7c094c88fb3a255006  audit/semantic_small_diff.txt
2a081557ccb535c3a3232b066d45829cdf0162bfc8b492a8402e3b31aa285830  audit/table_certificate_axioms.log
3fd16dd56b67be16d6661220ddd446b8473b3f3d1c9c0bae2dcfeb1ea736c1bd  audit/table_certificate_build.json
ddf4e392e7850f867fd9f8d53ed5bf36e0fe9bb5113d564f87ee23df83b896d7  audit/table_repair.md
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  audit/tensor_action_build.log
7efe9297294c2efbe5eeaa9c7395c17d5e95728a9e855fb5307e6ffc2dd2cd33  audit/witness_regeneration_final.json
b674801e0f8f3dbe9edd2d15c5c76156d42003ba62e023aacab0b03584b21b7f  README.md
