9aedc80abdfbd9dd7a181b87c7a26d115e9ee6f6201c5d236e7b19289abed801  .gitattributes
9a6b178978ed8cbf9c2d6141b7b66a439f8b6cb0312d498d6c6039da67a04b83  .gitignore
db82937e1f1830581a9553c7814f5c5fcacb6dfdef8310b43e9a812c887acaf5  .python-version
f21380a303670259a58476d46aef9f89233f7d6ee441c5b435734317600138da  BUILD_ENVIRONMENT.txt
62a4eb22eb1624af6df7745f9dfb2b3a80d494c6d762db8d9d716205233c1eae  CITATION.cff
4fb752c291203f53477c34a7c12df8f352ce9da4781fad3a6a637dd5fd9761a0  FINAL_HOSTILE_REVIEW.md
a923b73c95db8b6a1f87cf41387701bdcd4e3708f4c0aa5f0a9e482cf166d227  README.md
00ffa46784133cf55af572172d46bace6a385e87a6dd09964a9c847c619590aa  SOL_PRO_MERGE_REVIEW.md
a8c9814bd171e30f2299adab295c1de6a7b19d13fd2a90608dbf73e1bf281e1b  SOURCE_ATTACHMENTS_SHA256.txt
1c2c663ded5b31c73aecabc68fce618cb436cd9e340f2f045474c9ac89c1aac3  VERIFICATION_REPORT.txt
a2c2280c5b5e786c4749051712f5ce9402972389c2f063d52866802152334f4b  article/freudenthal_k4_edge_star_proof.pdf
b2b0d8e3517112b6582282d207da59c91cc3704b92537656f35f61ae991bd6fe  article/freudenthal_k4_edge_star_proof.tex
16bf8c76b1505a7babcc6f476dc60afdf5dd0c9fa6789fecbeae03960b45eabc  build_article.sh
389e43c93be8a255b54d3ba2c9da67eb70bc6965e3f4965c9a95e35481c35aa2  catalogue/edge_star_configuration_catalog.csv
dff36d7b295ce13cb7a1516c4cefe9a1d665531a5d85b306a462b900b0873dfc  catalogue/edge_star_type_summary.csv
f14caddc60c75542c2d426a0f871be2adf2a8dfd6f966317f40bdfd2958931f3  certificates/all_edge_star_certificates.json
af169660100ffcb3b3981c199edf82b3137455f4376cd4c4206c5c1637a6327e  certificates/all_edge_star_norm_bounds.json
5b4b8d0b386590f0e9a00f78a10d2d1629626109664175aa5928b6909e0c4aba  certificates/p4_macro_patch_certificate.json
b843fc19493deba803d50e2c1ea0d01a37f7e8859a5ee0190343c9444f677358  generation/generate_all_edge_star_certificates.py
b1404366c00c831c4e3a2a761768ba6c04c7e1d8f25db3c39f04ba3b878cd61b  generation/generate_edge_star_certificates.py
46c9d8ec25fe06afb037bde5dfeff836361c74a73635732b5e05db4365a45f31  generation/generate_final_lean_catalog.py
632e7684c09e11821f79acb78cb4c319e6f62df74b9804b9dc077568908e3290  generation/generate_final_lean_edge_data.py
3a17f76fabaa1ccfbec8a2952fbb7c9b6cab3691559f3a19271331d4409791a6  generation/generate_final_lean_macro.py
16edfe5017879c6c0899891d3ceacb2f9bda778109ef50f0d80a6a42ac4ef78c  generation/generate_final_lean_norms.py
e26ba030ac055f11e7d8e601483729c9287125de171062569a1e5299ba441430  generation/generate_lean_norm_factors.py
e16b56599d0761e147ce2d600096cb3cae390362e788281f7682bcdab6c1f806  generation/make_configuration_catalog.py
4096319846d196a067098c7feced38b4ea6a9156dcd1df83e12fd0a2f28a021e  generation/make_edge_star_summary.py
fa5e7d3f3cd17162caaa709882c6e1c1608e3fae009c1be88ddead6833a155c5  generation/make_release_manifest.py
6e0bf2943c2d9228d46ac025d863f8601446f995d748619a3d86a17dab14b746  lean/freudenthal_k4_edge_star_lean/AXIOM_REPORT.txt
7e4bc6616276847876f528bd8ca368d58225e2228055abd44e544f545854f044  lean/freudenthal_k4_edge_star_lean/FORMALIZATION_SCOPE.md
8a08c2ce9f35a8b0512160afedf2a5ef341e10d8fc596efcc702889d10f9d992  lean/freudenthal_k4_edge_star_lean/Freudenthal.lean
9596b4060274da2f2f7082f3dc953d363fd0a4fec8905784fa202e8fda476c9d  lean/freudenthal_k4_edge_star_lean/Freudenthal/Assembly.lean
00ae3808ab6e160091c19759b109e3f50b2ef95ed6bddf1b64a87bbe74d94fd5  lean/freudenthal_k4_edge_star_lean/Freudenthal/AxiomCheck.lean
786eed0551cdc86df21ba7e2b66c9a25d7352eb40a0baa17240baea11322db17  lean/freudenthal_k4_edge_star_lean/Freudenthal/Basic.lean
d3726bdb266f47252ec6c203d73945b629d238db39c508e7235cc8311c85501a  lean/freudenthal_k4_edge_star_lean/Freudenthal/Catalog.lean
9fc39c8b48341c7309ea3439e2b923ba5bb0fa29bc1e82ec01603e1428918b55  lean/freudenthal_k4_edge_star_lean/Freudenthal/Certificate.lean
da091fad763bfdc9af88bca6ec0f6a4ba82e0de51a1870e8df47c4a0a90fffc5  lean/freudenthal_k4_edge_star_lean/Freudenthal/CertificateChunks.lean
82d639b7f513bd4e2290fb829923c591687b48c7cb5dea5509d28ae8debd250d  lean/freudenthal_k4_edge_star_lean/Freudenthal/EdgeStarData.lean
233339416c622bb41ee986ae8ca185adff880bfe25833f70270783e116573f1a  lean/freudenthal_k4_edge_star_lean/Freudenthal/MacroPatch.lean
694c00b45c3c52635d3489c864243df3d55c59876a2c509882a44f924eee8f65  lean/freudenthal_k4_edge_star_lean/Freudenthal/NormBounds.lean
a6ee601c4bad31da8d68231a6a0477ec46c95745e1eb25a4556da836f1441156  lean/freudenthal_k4_edge_star_lean/Freudenthal/NormFactors.lean
ef63c726ab3639b3f2123658917dc6c794ce2e4813bdf517ab8ce7073ee62b72  lean/freudenthal_k4_edge_star_lean/Freudenthal/RawEdgeStar.lean
2f471edfde8ae227312f11146172ced41f026bfaede8049a5534092e009080fc  lean/freudenthal_k4_edge_star_lean/KERNEL_REPLAY.txt
b2279fdd92feacf0fa84adea78084ed444f233364702074b4c460e7eca5cad23  lean/freudenthal_k4_edge_star_lean/Main.lean
1d2fe1d1da8fa6462ac9e3e72cb641faa0c2d4ff549cf2808bc269beeaa0a3f4  lean/freudenthal_k4_edge_star_lean/README.md
11bc59d994ddb2fda1cf39383d50ce234e8bee73c1f290c67859b63d6eed3042  lean/freudenthal_k4_edge_star_lean/lake-manifest.json
5a20f8f5a177ac00f535db6e985fe1c8ab793699f7eab3992f95102d302d62a9  lean/freudenthal_k4_edge_star_lean/lakefile.lean
54727eec5cba149c18842e6deb5c41b369d66455c93ce135d7d5347c782b2325  lean/freudenthal_k4_edge_star_lean/lean-toolchain
59acbec5c951a4c1b548a93f64420b81ad44f73d24ee745e2ad17cfe59bcb6be  pyproject.toml
0ab560474f9d7eaa3b68a7cafa8398808f601751906cedd8a6cbca2425a1f5f8  references/henry2026-certificates/CITATION.cff
f9758105b905d4ff2e40a6e1929f6c23821004400c87e8a27bdc88ffb81eb290  references/henry2026-certificates/README.md
2757c1819ef7f6f61e8924119cbc158b9fff769c8054f1e5fcb60eeb6e40a16c  references/henry2026-certificates/SHA256SUMS.txt
dad20692fd782a89c2b9d848087f454b95128e6f306ca58ae6c67b5976859d94  references/henry2026-certificates/certificate_output.txt
199b9e1ba0d6356bb759e1853dcea1a5aa601e93440eaa7f236d4809a28d0bac  references/henry2026-certificates/fraction_output.txt
b57935df5bd31aecae8572156bae474f07cd6703a2541d4833c53b7839ce65c5  references/henry2026-certificates/freudenthal_sv_rank_certificate.py
64c3cd4d29a9c77f572b16c7402807d0e36f88a66cb61565c397f061aad9de07  references/henry2026-certificates/modular_output.txt
25f9f1fb1988b230147a1d3092d34e09c069eb7a6c6d6df46b3973b9f2d36efc  references/henry2026-certificates/requirements.txt
3ef343a46b37de57b99bfcfc18c4dccc9a27ad249e21592e0670ce09dff665b8  references/henry2026-certificates/verify_freudenthal_ranks_fraction.py
eb4eda5027e6b82057f1e1e2936dbc22dcfb6ce766080dae8bb93a0246f37505  references/henry2026-certificates/verify_freudenthal_ranks_modp.py
4d56c06cf801d07955774aa646000c8386ced1975c30001a45155d37c8325dfb  references/zhang2011.pdf
393a2ee6f250106dc7222f126b0cec84ae3be7e8726e9dd3119489b730db5f69  references/zhang2011.txt
0d3f681fb3af8748c687a306cdd38a9bbf88d4f6b8aa4fe24b32e2103050e086  reproduce.sh
47fd19021144e071cc43b6e265aafada0056abe89724ad95bd6e3a8e37995b94  requirements.txt
ef57d355f4e867274f1a2a5d5564c7864992988fbdbb68bf809efa043e802f24  tests/test_release_integrity.py
d8d7cbb5d7ef6ee865e7f05c878b03bcdefd480ec0760dfa545afafd310fd1f6  uv.lock
c59d631c01d2ad06b96f27fdbc76685db401e60218bbd141fe478605aabf9f8f  verification/bernstein_exact.py
5b50f921c42f65aa1752b2d9b4513e5d678fe99c4da0f5c8f2a36cb4449aeeb2  verification/compute_all_edge_star_norm_bounds.py
2e7fe668f9f6cb625f35c0397dbebafdabfcc96b6a23a432ae53e166ceaf926b  verification/edge_star_search.py
9a9bc28ba156da090daca200aea9214068d9619be5214ee02a8e226a41102c4f  verification/independent_symbolic_check.py
16ec0cbea51b5cd2b8f0d2e37378aaf36d3dacb51308b30c20850b38157a3468  verification/static_audit_lean_sources.py
7062a7a57abf6822a86cb1eb9c4781d9dd7c1a58523e74c6911e4ef8a3885d94  verification/verify_all_edge_star_certificates.py
ea3d9deda3d293a9387c5329ed373fa5d26e5e6dbfffbb64eccb9e5ef2a2ac8c  verification/verify_all_edge_star_certificates_independent.py
e044215cbe8cdcc85c8b9cffdab4dec2053a0bcacc85d1a0e161ad56e36d7f4f  verification/verify_all_edge_star_norm_bounds.py
2ad37f9d06394dd53c3bd81735796977b585a4aa9bfba18ad7e03c0aeade31a2  verification/verify_all_edge_star_norm_bounds_independent.py
aba226cac8950aab3d8cb0ba8444d60f37cb8602b0d01fded618fef855b8ac9a  verification/verify_boundary_decorated_source_envelopes.py
05e39475dcd73bb863be957900c7e76305de2bc056486d3a44d41aaa4e1bd67e  verification/verify_complete_edge_star_catalogue.py
b964830fccd10c2d2137c13a4429cbe3773427070f69d77e4185b0b56725f494  verification/verify_full_package.py
64062536395adc963fe4e93eb598fbc1cfde384746a298c43dce07446c445b80  verification/verify_lean_axiom_report.py
a514b1c2d07e254d788521bb05f9a6fe27c9cfebc6ee59b1ed3b58653da9c5c5  verification/verify_p4_macro_patch.py
efc8f24db984c6229a6d344682ffe35c92f4ef8d7d559f832eeb8e52fcb5224c  verification/verify_release_manifest.py
