2eb77b7405b6269a772ff119127cd0027df69030101e898819d38ef73849b8e0  Infinity_One_Zero_Lift.md
48e8d5147b688d9e2b5b8dd5e6305909d86358f9739c2ef6fe734fe9a82cac0e  Infinity_One_Zero_Lift.pdf
16ef90e52b361799bcc10681f223e5c881ecabeacbce3eadcd11973c6f31eef9  Infinity_One_Zero_Lift.tex
ca1af504d37a58d0fbf956fb52746a119dc39318c4d4ce0af1d4c6984d7f20fc  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
266ae1f9ede084f64f394e984dfbf6400bd9b6bfec013fa0687cfd74bcef9d59  provenance/citation_edition_v0_2_receipt.json
39c69a898a6e1f3e229ec36311b430d3b0c6f9a525bf2dd45041f768f445c0cb  provenance/composition_receipt.json
fc3f33416383a48a5057b3e2878396b235e80e33196833a6cd6740f60dcae87b  provenance/edition_0_1_SHA256SUMS.txt
ac0c6c1364351d3c5bd1b907a87230efd13c9255195600dc103c70f2a1ff3b75  provenance/geometry_audit_original.zip
bd934e3f882227924a11c7ea4e10d8b46e6da64be854961fd16654578a3c5c41  provenance/lean_execution_receipt.json
b4b03e71327f0d9f3ef483e31d78aa61d8cbe779c2527e8ec3dbf27edbd0a419  provenance/original_geometry_SHA256SUMS.txt
9db10da7087018379872161cb5ae2e8b6cf3e3925016943618a3d31aa206b56f  provenance/pdf_preflight.json
e17eaade95a3b68ad33cc56dc0c8d196e10674c4c26002a32a2a484db1eb97e5  provenance/pdf_preflight_v0_2.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
