b8bbcb6f463c2d43b850d051cf81f441e6d1565758efce00662c21ed88243821  Infinity_One_Zero_Lift.md
7f642af58c0c5a4375d1826e30477c815d26c2fdf4b08fbba67f3a287f25b1fa  Infinity_One_Zero_Lift.pdf
01e35a9d483e4dc1734825f7d8020bed9c4b6d793b79900baa33fc5b3d21e617  Infinity_One_Zero_Lift.tex
feb0801ad9999233f00b4e47ae9d55a07056dc530ff68333d0d8c77b09fc2a9b  README.md
3fb4599f3b561563e668dc7e15bb85963e1320805ea8e6997bd36a9fe4232140  assets/cover.pdf
fb588415acc26c53b6745fef4a4a68a3b88646dcfdef7ce7cdebed47224a735f  assets/cover.png
f7709382feb0f18975d96de4bd563ab8e93dae7dacbd9ae9bdf05219071ab3d6  assets/cover.svg
c841d9fd52585a6ad97da6c485a66348eabbc893f39abc863d4e7bd83b8440f2  assets/incidence.pdf
7823ef138f2bf8d69e3d10ee51aa554965e86b21af7956c96aa102002ebcc97c  assets/incidence.svg
5fccbed112630f15f120758d6af29f48efdfe7235e0f2e59072fc536841d0f22  build_cover.py
39c69a898a6e1f3e229ec36311b430d3b0c6f9a525bf2dd45041f768f445c0cb  provenance/composition_receipt.json
ac0c6c1364351d3c5bd1b907a87230efd13c9255195600dc103c70f2a1ff3b75  provenance/geometry_audit_original.zip
bd934e3f882227924a11c7ea4e10d8b46e6da64be854961fd16654578a3c5c41  provenance/lean_execution_receipt.json
b4b03e71327f0d9f3ef483e31d78aa61d8cbe779c2527e8ec3dbf27edbd0a419  provenance/original_geometry_SHA256SUMS.txt
9db10da7087018379872161cb5ae2e8b6cf3e3925016943618a3d31aa206b56f  provenance/pdf_preflight.json
27bb02e7a27e5f647d82159b6b680ac594b20685be2e13682b4cb72bc0422fe3  requirements.txt
c26e6948eb26e0f3081ab37b35732f029c33a37acc4eb02090cfcf6203f320b2  verification/ProjectiveReturn.lean
c508b46b1baeb36d1660d22cef635406b4419a273775416fdb0ec6d5138658ac  verification/geometry_audit/AUDIT.md
cca541de2294366cf1e9790d3a465be81d1ee2bd08d153d5990950eaffa03a6b  verification/geometry_audit/COPPALINI_COVER_FRAME.svg
0d3eeabe76c1db3a18b73c72cfebccdf908f70452b2fa0cb85443696a6565966  verification/geometry_audit/COPPALINI_COVER_STYLE_LOCK.json
117476ad53c353dbfdee4b8b86646bf0fc4ae7ffa6cc2da3d18e31d1b33411d6  verification/geometry_audit/COPPALINI_COVER_STYLE_REFERENCE.md
2a2e2d969a6cb81f032a732e1cb03e8ef5b2c8a611e104860efdf9a930a9ac3c  verification/geometry_audit/README.md
b46d33aba953c4adbfe58310bcfc3d6138e20d90c7fc62609f5f62e375dc9aaa  verification/geometry_audit/build_graph.py
00acfd78fc805f4112026f528dade1f8f738496672f7ec1c99f12508965375b5  verification/geometry_audit/edge_ledger.csv
593cfd43d13abd6f3a9f661836ecc890ceedf499c9ff0ecb9d14b8c254868b91  verification/geometry_audit/graph_coordinates.json
61f624f8a8d50895d2813d480708fad3f8b044d4d89a24c407bc36cf0e31502d  verification/geometry_audit/incidence_reader.html
b80882d4ff92c469b439f79f36fe1e05d230a824736a4a45e197faeba8ffed40  verification/geometry_audit/linear_infinity_28_seam_graph.pdf
262dc5694841233794af7ad966efeb8910347cf67f78830391a85e04e7993ddb  verification/geometry_audit/linear_infinity_28_seam_graph.png
de5f7ed4b85a9b44785916fa2f8349baf4be4390ce6b45b944bbac61d4bf5139  verification/geometry_audit/linear_infinity_28_seam_graph.svg
dc1f0f07e821db30a34d76d685cb9b8bc0f1f554b3a7d69bdc36d86625204834  verification/geometry_audit/references/complete-operator-algebra(2).svg
a71009b00728fab6782b02a198bccb0b223dce1bbf1a00b3eb5ac3fc3daddbe6  verification/geometry_audit/references/four-phase-eight-state(2).svg
a6dc275164a5c96024fb504d25c224d3846ded04fa14092c10eec0a29be674d9  verification/geometry_audit/references/independent-tunability(2).svg
c6e6a843a7ab07d24781dd44ac36f9a0f8fd502ca4919a929f3878a09685186d  verification/geometry_audit/references/mirror-recognition(2).svg
d8d6be1cc831e4d49d72d87d075f2ce40c57cd59b7ef1735fe3b36cbbcb05ca7  verification/geometry_audit/references/the-exact-reader(2).svg
1e8b59e6ba0badfff871e9b09bb677099e772d8d533d08db00f371f50e7d29d6  verification/geometry_audit/render_receipt.json
cd0e99fc56571a5b31be812561f841058a54fd193783b56849dd46dfad2a0c89  verification/geometry_audit/requirements.txt
b2c3125399d29ef6560d0cf7ea46a4ae0383231a7adbc8b63ea9f5aba18e2366  verification/geometry_audit/source_custody.json
a7ddb1f483cf7fbad1a150696e7f1fb28d05c8cb9cf8f8897c515bb2eacf6541  verification/geometry_audit/style_measurements.json
9360775522897c50c6a8da971bab240de92430303310a44639bae679231932bc  verification/geometry_audit/verification.json
98061e51b87bdfb9769911d4f50caa502b3f056d4e88be502d07d64b93287971  verification/geometry_audit/verification.txt
9be5236dbf03a45cd5f078b08bf66ccba78158ee67e2bc9b5f2d6852237d3965  verification/geometry_audit/verify_graph.py
675705d8f81e7e0afc55d3ce0b2811936c28cb3e4aaf7563dc1888577875ae1b  verification/manuscript_checks.json
78afd6de825095f3976156038c131e1886c0cbeaa499e2bac3942b77a21ef9bc  verification/manuscript_checks.txt
d35dbc95a5e968cd365330f9f1f7d2f254e9294cdf0c56ace3f7ab6a52e83b2b  verification/verify_manuscript.py