5643357de1e3cec35b057b807485850b25ac2b51a9272210f208320dd4e8f753  canon/obstructions/O-0176-uniform-interior-certificates-cannot-prove-rh.md
a8deb534645eeafb70a9f26d577146c609bbb55713deca0f71f9672117ed9881  canon/witnesses/O-0176/HeatBoundary.lean
1d72fc7daad985acc07553c8fbb50646c2f8c229a363662d7b094caefd6bd4a8  canon/witnesses/O-0176/PIN.md
73bd4b0725002f57bfcc7f7a13f6ebf522f3ea7067dadcd4a7af2984c36e0ddf  canon/witnesses/O-0176/membership.json
25bfea1159239213a60fa46382493bc51d23245eef7e0e4417db70389cece429  canon/witnesses/O-0176/verify.py
b82b52ddc8032505ef9fe76916416955122236711d3cf04d1b8a926541cb37b2  lean/README.md
a88fef4d3efa63c9f9f5c948dd5ba1de3ea09d828ce8388ee83fa3d039e734a4  lean/RHResearch/Basic.lean
d50ede9a0f389b9c1beb0a5d20c88a76b341058a237638ee643ff3d00c016f4f  lean/RHResearch/Cayley.lean
fe7a023b143810e2b6293401738c5cc48bf845963bde4506d95d9d5cc86db4d5  lean/RHResearch/Curvature.lean
a8deb534645eeafb70a9f26d577146c609bbb55713deca0f71f9672117ed9881  lean/RHResearch/HeatBoundary.lean
69603d6226445a41add3b942e0162ab19603fb72eed20ca20ae4451e74f8e7a7  lean/RHResearch.lean
4d1450c5cf2e6418abb44f584203e6a3486cd12b2099337d0760bee26ff54e4f  lean/lake-manifest.json
be69364375acf009028d73a11866a8d4d36e43a9a7a29dfa504a4a4e9fe6066c  lean/lakefile.toml
efac0b94923b2d8b6840cd35be9177ad0fc5ab2332f4f4311c98712cee92fdee  lean/lean-toolchain
9b345c7fd65d6e597e4e8af2d73a6b983d8b9b9a9b773936696b7650cd2e3791  literature/2026-07-19-uniform-interior-certificate-barrier-primary-sources.md
c58ae2655b8506640fc05efca6f799316ae206b5cf933780656dabb9a69eb6b4  scratch/proof-system--o0176-field-redirecting-manuscript/HOSTILE_AUDIT.md
6d051ce9b459ddabed0d071749e95e2738860ca3620db4243f52d1682b2aa578  scratch/proof-system--o0176-field-redirecting-manuscript/README.md
a6c40c733f34f127b3b072f38f9217de5cc257acb6f68ca0e2c9077e25b9e76a  scratch/proof-system--o0176-field-redirecting-manuscript/REFEREE_AUDIT.md
9b345c7fd65d6e597e4e8af2d73a6b983d8b9b9a9b773936696b7650cd2e3791  scratch/proof-system--o0176-field-redirecting-manuscript/SOURCE_DOSSIERS.md
de4aea584608028113b4219710914d3ca4453a65d2358f82892bb3b92f3d7e0e  scratch/proof-system--o0176-field-redirecting-manuscript/author-block.tex
423ba21155f4100248faa84b5676683eb0ea4bf1990acfc5a5f55e74b06e03be  scratch/proof-system--o0176-field-redirecting-manuscript/build_package.py
1389a8261f740ef428607c8f2fe05f3bad7bf201c140b1a59287ede6b4c23bf0  scratch/proof-system--o0176-field-redirecting-manuscript/dossiers.json
0d606f597ba291f4bf79509b3ef58a572bc00d1d7b817ae76e8850c92740ba1f  scratch/proof-system--o0176-field-redirecting-manuscript/manuscript.tex
301e2ad318962072f3492eca7299aa881fe82b4f52148ede2d488f735cc69105  scratch/proof-system--o0176-field-redirecting-manuscript/source_manifest.json
3ce4aff466443c71094affc1f8b6f5f0dd36cb4377dc5d2ceddbd2537c1d1819  scratch/proof-system--o0176-field-redirecting-manuscript/sources/baez-duarte-math0202141.pdf
8c5c30185ec9e6ffe8c12fc17392ebc3c86dbb7e057a86e24a740fcfa6d17449  scratch/proof-system--o0176-field-redirecting-manuscript/sources/baez-duarte-math0202141.txt
e707a1cfc2d7947569e6604923016e9fdb8a758c89850c5be0dfed65ed8a9a71  scratch/proof-system--o0176-field-redirecting-manuscript/sources/bombieri-lagarias-li.pdf
e1503c3565ed46cd60a78554a440879734070393a9b24dad138020a817195dac  scratch/proof-system--o0176-field-redirecting-manuscript/sources/bombieri-lagarias-li.ps
f08143e808ce7df8b140a32f8f75e30ae796a4f4f6183022b9a2fca01b26b91c  scratch/proof-system--o0176-field-redirecting-manuscript/sources/bombieri-lagarias-li.txt
20bd544fc5297766966630092aba4c1e10c6a7e663d14be89bbe1d0c8220b7fd  scratch/proof-system--o0176-field-redirecting-manuscript/sources/bombieri-weil-I-2000.pdf
2041800bfc117a8866aae865a1bb09ca388f11cbfed2b20879514673519cd6f1  scratch/proof-system--o0176-field-redirecting-manuscript/sources/bombieri-weil-I-2000.txt
bdb68ede69e41939be0c2b740cbe1955da8b24940e30eb8c8f4554878dfb4568  scratch/proof-system--o0176-field-redirecting-manuscript/sources/conrey-li-math9812166.pdf
1112f271374f3f6e02a920d6021a41e0549492c8af116109da21fc1bd3e83cb5  scratch/proof-system--o0176-field-redirecting-manuscript/sources/conrey-li-math9812166.txt
b1409f508044835852fc675736fcec42c25c2540472c448d87fdf59be3c62b54  scratch/proof-system--o0176-field-redirecting-manuscript/sources/csordas-norfolk-varga-1986.pdf
c3af93ec81b40467fe3d4290ed4fdd81f9da3ab3de3b439eab58033d046f6c37  scratch/proof-system--o0176-field-redirecting-manuscript/sources/csordas-norfolk-varga-1986.txt
96d65c17c455da8ac24c943b38123a692cc2166b6f7fc99bb2449a31eced975c  scratch/proof-system--o0176-field-redirecting-manuscript/sources/csordas-vishnyakova-2013.pdf
3964fcaa00b4a21930fd97c901e7bd7169d7376d253d45738351f924d6dc2748  scratch/proof-system--o0176-field-redirecting-manuscript/sources/csordas-vishnyakova-2013.txt
09c723d957e50ff8c2681a7be1e587a4fd0ae316c953a6ab99d7361069f66793  scratch/proof-system--o0176-field-redirecting-manuscript/sources/debruijn-1950.pdf
f804641a35e4cb566b23e92d115ba7744a40218bc04bd00ff137f92080ee0011  scratch/proof-system--o0176-field-redirecting-manuscript/sources/debruijn-1950.txt
ad0d55077ad04234a4358898db7a3938306fe6961bbc5208912ad42d16567fca  scratch/proof-system--o0176-field-redirecting-manuscript/sources/farmer-2008.07206.pdf
10a882b9935248633eb9618f84fb9fbff4f0349caeee5677b722b941f70e6de1  scratch/proof-system--o0176-field-redirecting-manuscript/sources/farmer-2008.07206.txt
e3cac568f996d050786c1e5cfc1420483db581de1fdf98fef4d5f1b73a9908fd  scratch/proof-system--o0176-field-redirecting-manuscript/sources/griffin-ono-rolen-zagier-1902.07321.pdf
7729dd9346644461b41d7edea2d5ee4a533bd2b04ea61d8253e57f1bb0577c6d  scratch/proof-system--o0176-field-redirecting-manuscript/sources/griffin-ono-rolen-zagier-1902.07321.txt
e610f7a0de324a610fd24ee9fafa4356e5005a9af811245f016d6c0d791ed3a2  scratch/proof-system--o0176-field-redirecting-manuscript/sources/grochenig-2007.12889.pdf
9a03b2edd118cc78ade542934fd9482600cf1e0e73ca25d508d6a7a9713b4e8f  scratch/proof-system--o0176-field-redirecting-manuscript/sources/grochenig-2007.12889.txt
a3fe3825939afe4d6f675a2be687e30bcffb810d40f412c755e0e61eae7a5de0  scratch/proof-system--o0176-field-redirecting-manuscript/sources/osullivan-2007.13582.pdf
f4250ead1caec9eecc5813ef60e30b37d0d9cb0069473c182b96a91c2e1ae9a3  scratch/proof-system--o0176-field-redirecting-manuscript/sources/osullivan-2007.13582.txt
376bb2c1ab941cd5b035546835c5481f2d026767b8e830a48cd5565114a1ec91  scratch/proof-system--o0176-field-redirecting-manuscript/sources/rodgers-tao-1801.05914.pdf
9b22e0f48aa23bdbbb1ccd5ccccc4b40592c81796c443f39a5c6496301f1a246  scratch/proof-system--o0176-field-redirecting-manuscript/sources/rodgers-tao-1801.05914.txt
2c4cf2aa7a5bca731e0f1ac356deaa082eb6137a07c465fdfe09198acc82ef38  scratch/proof-system--o0176-field-redirecting-manuscript/sources/suzuki-canonical-1204.1827.pdf
854fbe11a311bea0114d5b2e93084b77a6120a6f637ea5e20bb0365d21d91db4  scratch/proof-system--o0176-field-redirecting-manuscript/sources/suzuki-canonical-1204.1827.txt
06e2abeb778d9414f98589d8654ecf06a7f6d9d0b9914961e88365a6b48b91b2  scratch/proof-system--o0176-field-redirecting-manuscript/sources/suzuki-weil-2606.09096.pdf
8f0a6f9709f48b15f29324b3b83787987a494af0725f8f6e15466b275fb32398  scratch/proof-system--o0176-field-redirecting-manuscript/sources/suzuki-weil-2606.09096.txt
da686c616a5abe2425bffa603927aeb6432afdacad8d61f9ae664c081560721c  scratch/proof-system--o0176-field-redirecting-manuscript/verify.py
8ed9aa6cae26572b46e48b5361cabc27d6aff4db901e54b4e9a73f92b96293a0  scratch/proof-system--o0176-field-redirecting-manuscript/verify_manuscript.py
