[{"work":"paper-i","title":"Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"cbc9b70e1e44ab704380eac7d7910f67f725dd74","mode":"100644","path":"LICENSE.md","sha256":"cf0fc2875b5e18cdd37835c5a940afa1c2299b0b2ae704e35dcce72ec7eaee88","size":1879,"repository_path":"papers/paper-i/current/LICENSE.md"},{"git_blob_sha1":"b564f8ed223a8f7516cda158d70d7008fba13331","mode":"100644","path":"README.md","sha256":"0572ca1cca58dd2111db86ae88eb0d00e8edf83adf4a35e954b4585565e50bdc","size":3652,"repository_path":"papers/paper-i/current/README.md"},{"git_blob_sha1":"200ef0550ac0620201f136b58fd3a84a0944aa9e","mode":"100644","path":"editable/traditional/Paper_I_Monograph.tex","sha256":"70f712127d7ebad7cfde430f563cfacd4454656dbb99a43c2eee5d0416715f87","size":11394,"repository_path":"papers/paper-i/current/editable/traditional/Paper_I_Monograph.tex"},{"git_blob_sha1":"172d5705a9f1603cbd34c83e676da768e49dfb37","mode":"100644","path":"formal/README.txt","sha256":"031fc7f7d91230e4551f4da3bd8d620afa7b22f00abbca0f8dfc1bb061126971","size":4266,"repository_path":"papers/paper-i/current/formal/README.txt"},{"git_blob_sha1":"6779ab664690a1ff6eb7cfadb3057db201155400","mode":"100644","path":"formal/coverage/COVERAGE_108.json","sha256":"655c8a91b4f727d415eeddb1d188b766a88544a3d60883157b0b180607e71d55","size":329831,"repository_path":"papers/paper-i/current/formal/coverage/COVERAGE_108.json"},{"git_blob_sha1":"9d72e700f89e4141d608bc023a318474d0899d0a","mode":"100644","path":"formal/runtime_specification/LICENSE","sha256":"719c60e960515ab9d9d95be0bcac1731efcc7c0184966fb83528c83eae7a6dab","size":1269,"repository_path":"papers/paper-i/current/formal/runtime_specification/LICENSE"},{"git_blob_sha1":"290be3bb0e9a5a1d64eeeddfc66a8c675e30e1b9","mode":"100644","path":"papers/Paper_I_Lean_Guide_Final.pdf","sha256":"cc516c7a40b78121d07dccf7aec258920c499efe7bbf4937754f0e272420e509","size":214554,"repository_path":"papers/paper-i/current/papers/Paper_I_Lean_Guide_Final.pdf"},{"git_blob_sha1":"7530aaa960ff39b445cdb6b93cefd26128e60c2f","mode":"100644","path":"papers/Paper_I_Traditional_Final.pdf","sha256":"35f0f7511ed0fbeffac16977ec50028c0e93e5da57c1e6c7748cee89c70a5183","size":658906,"repository_path":"papers/paper-i/current/papers/Paper_I_Traditional_Final.pdf"},{"git_blob_sha1":"60cee157aea2b6d4d967fab9c2b8e96df5f63385","mode":"100644","path":"source/traditional_v1.3.1/LICENSE_STATUS.md","sha256":"711ae8b3747b7ee1a75b9c9d0f0283dd6c1ece633055f192e4349d58fb1e1ecb","size":406,"repository_path":"papers/paper-i/current/source/traditional_v1.3.1/LICENSE_STATUS.md"}],"url":"downloads/paper-i.zip","archive_bytes":935549,"archive_sha256":"d83a0db64b6d2f6628397bea2a5089a3cbf449d597f16b382d7eee8ab5efc894"},{"work":"paper-ii","title":"Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"8f049800c1c9aa7a382a27d32e5987b1dd4abe60","mode":"100644","path":"LICENSE.md","sha256":"ff7c5810809485a586c902f65e7f274ec47792a1279e4605a07652a2e9008398","size":2983,"repository_path":"papers/paper-ii/current/LICENSE.md"},{"git_blob_sha1":"8f71f43fee3f78649d238238cbde51e6d7055c82","mode":"100644","path":"LICENSES/LICENSE.AINTLIB.txt","sha256":"c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08","size":11358,"repository_path":"papers/paper-ii/current/LICENSES/LICENSE.AINTLIB.txt"},{"git_blob_sha1":"b4f1a2e7bec2666d2a34b5a881ce6cf76524dc85","mode":"100644","path":"LICENSES/LICENSE_TEXT_PROVENANCE.json","sha256":"85a51ca73526f64354dd7c6e97a0f513fbed392a31280061b5d6042170914320","size":1137,"repository_path":"papers/paper-ii/current/LICENSES/LICENSE_TEXT_PROVENANCE.json"},{"git_blob_sha1":"666b2a4021b01670b4dffdf2772d4fe0d599767e","mode":"100644","path":"LICENSE_STATUS.json","sha256":"f8e3e88efe9fe5dcd14ea608beaf45af1baea9ae1846ad4445eff90a04ec6624","size":1182,"repository_path":"papers/paper-ii/current/LICENSE_STATUS.json"},{"git_blob_sha1":"d42a77b806dcd97256f6b1a4fe937513d9d1917b","mode":"100644","path":"README.md","sha256":"9e7d68c37548616f6cabce81c7564941be73f0fba421926f4255b5d2d721dfd1","size":3034,"repository_path":"papers/paper-ii/current/README.md"},{"git_blob_sha1":"9c1dbf9fada14232bda0083919612e9b9fcd6c15","mode":"100644","path":"editable/traditional/Paper_II_Traditional_Final.tex","sha256":"7220f965531cdb1166885c208ac46c2fe4776cfbc34cb98419eccf11abf2c27c","size":9722,"repository_path":"papers/paper-ii/current/editable/traditional/Paper_II_Traditional_Final.tex"},{"git_blob_sha1":"7f2707cb24c54acc3f2c0232e512eb2ffe859db3","mode":"100644","path":"papers/LICENSE.txt","sha256":"2c2e9897d65b656aa6957631f1c389245d4e83718379975dae9a268afd28f445","size":642,"repository_path":"papers/paper-ii/current/papers/LICENSE.txt"},{"git_blob_sha1":"80a65cfb1cf024b42c571ac1d38ff76f505b92fa","mode":"100644","path":"papers/Paper_II_Lean_Guide_Final.pdf","sha256":"e3776d3648eacb5ce887d7a46ca0cf107f651a9ed154c1b54d64c19f06f8552e","size":245396,"repository_path":"papers/paper-ii/current/papers/Paper_II_Lean_Guide_Final.pdf"},{"git_blob_sha1":"1b0bab375d308b335955f87e50a37473ba6d0cc7","mode":"100644","path":"papers/Paper_II_Traditional_Final.pdf","sha256":"460efdb92bbd39bb304fbd535ecbfe814d89f704de3dd4563e1e40af1abd6eee","size":616352,"repository_path":"papers/paper-ii/current/papers/Paper_II_Traditional_Final.pdf"},{"git_blob_sha1":"11563672210bced7c92d345fad08f3d9e27a917f","mode":"100644","path":"papers/Paper_II_Visual_Guide_Final.pdf","sha256":"9ed63381f0c0a0c4c6f463064db128b28ad324f4942dd5a05829afdc6a2c4f90","size":186727,"repository_path":"papers/paper-ii/current/papers/Paper_II_Visual_Guide_Final.pdf"},{"git_blob_sha1":"f1568ee21e729a0c522239e57bad0628144c28c6","mode":"100644","path":"source/LICENSE_NOTICE_2026-10-20.txt","sha256":"31014219fcedc5e9dcd9f619d8ed9145ce901da7dbe582269ec84fc8c3c8f8db","size":668,"repository_path":"papers/paper-ii/current/source/LICENSE_NOTICE_2026-10-20.txt"},{"git_blob_sha1":"69def0b76bd28428444e078d11f883bd82af4a50","mode":"100644","path":"source/canonical_v1.2.1/LICENSE_STATUS.md","sha256":"c9b2116dbd800732ffb11fae9aa8a85855e7f4ec2c27488d14c628df8bd7e7de","size":421,"repository_path":"papers/paper-ii/current/source/canonical_v1.2.1/LICENSE_STATUS.md"},{"git_blob_sha1":"dba13ed2ddf783ee8118c6a581dbf75305f816a3","mode":"100644","path":"third_party/urw_base35_fonts/COPYING","sha256":"57c8ff33c9c0cfc3ef00e650a1cc910d7ee479a8bc509f6c9209a7c2a11399d6","size":34520,"repository_path":"papers/paper-ii/current/third_party/urw_base35_fonts/COPYING"},{"git_blob_sha1":"be2a63ec4dead6b480b6de5fac58c74f88629695","mode":"100644","path":"third_party/urw_base35_fonts/LICENSE","sha256":"772b1b47eead8722156abaed483154e1dd1137e7035290550cea6444192a2e3f","size":440,"repository_path":"papers/paper-ii/current/third_party/urw_base35_fonts/LICENSE"},{"git_blob_sha1":"8f71f43fee3f78649d238238cbde51e6d7055c82","mode":"100644","path":"verification/closeout_2026-10-19/semantic/provenance/LICENSE.AINTLIB.txt","sha256":"c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08","size":11358,"repository_path":"papers/paper-ii/current/verification/closeout_2026-10-19/semantic/provenance/LICENSE.AINTLIB.txt"},{"git_blob_sha1":"8f71f43fee3f78649d238238cbde51e6d7055c82","mode":"100644","path":"verification/closeout_2026-10-19/semantic/receipts/cauchy/provenance/LICENSE.AINTLIB.txt","sha256":"c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08","size":11358,"repository_path":"papers/paper-ii/current/verification/closeout_2026-10-19/semantic/receipts/cauchy/provenance/LICENSE.AINTLIB.txt"}],"url":"downloads/paper-ii.zip","archive_bytes":1052943,"archive_sha256":"e6d10c8b62e140147b815a43838b4826a0c0e8918b835f1a2363cde81b8a026e"},{"work":"paper-iii","title":"Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"4886b41140a68243f096fa0fe72269bf3a6821ea","mode":"100644","path":"LICENSE.md","sha256":"abf951fb085eceb6dc21cde74023349dd25e757573e31c3db73a022b85fb421d","size":2076,"repository_path":"papers/paper-iii/current/LICENSE.md"},{"git_blob_sha1":"bcea046b85cf4c690959b55c059c14d5426f35ef","mode":"100644","path":"LICENSE_STATUS.json","sha256":"01b69ed36c23e7e97a5010f65dd1f961e68483d5d207ebe9d07791899a042717","size":489,"repository_path":"papers/paper-iii/current/LICENSE_STATUS.json"},{"git_blob_sha1":"684fe0ac32c15372b36314eed7ed72f163a43470","mode":"100644","path":"README.md","sha256":"d554f362d52b442a67f1b6079c36fa11854226bcfca68c12cc9776209e48b383","size":4297,"repository_path":"papers/paper-iii/current/README.md"},{"git_blob_sha1":"62e0472fbe8aef107d541f680d91ab56c5553356","mode":"100644","path":"checkpoint_v0.3.0/baseline/source/finite/LICENSE_STATUS.md","sha256":"5e096a3ba79d22926a5e5695103390e2d79654869b1f92b376c2f05fed2e7262","size":483,"repository_path":"papers/paper-iii/current/checkpoint_v0.3.0/baseline/source/finite/LICENSE_STATUS.md"},{"git_blob_sha1":"19736f6bde00116f15d0852832a30a5731034643","mode":"100644","path":"manuscript/Paper_III_Traditional_Final.tex","sha256":"62718d9a84016eeb919614e74a7471485cf43c717e6604b83c9761ac4b558008","size":10293,"repository_path":"papers/paper-iii/current/manuscript/Paper_III_Traditional_Final.tex"},{"git_blob_sha1":"e3985041a52c0085613926f60d862b373e71f67d","mode":"100644","path":"publication/Paper_III_Final_v1.0.0.pdf","sha256":"fb5d7a81487ef1e37bb4aa8fed12bd4cce9b6d9b2df667429173ed8299e8db77","size":602199,"repository_path":"papers/paper-iii/current/publication/Paper_III_Final_v1.0.0.pdf"},{"git_blob_sha1":"90cfb78d147be16b95b49123464e476e667618e8","mode":"100644","path":"publication/Paper_III_Lean_Guide_v1.0.0.pdf","sha256":"4dcd44d8b79148db0fd24e2a99a5774ec65e75aa98b52017ba7c7e99b9267028","size":207590,"repository_path":"papers/paper-iii/current/publication/Paper_III_Lean_Guide_v1.0.0.pdf"},{"git_blob_sha1":"e48c5802368bf9ce3be8d4403236ae6b7922f0f9","mode":"100644","path":"publication/Paper_III_Visual_Guide_v1.0.0.pdf","sha256":"6d7b928a15f71dfd77ed12f8bb7039ce2407792c523a25034cf170c40965a5f2","size":154577,"repository_path":"papers/paper-iii/current/publication/Paper_III_Visual_Guide_v1.0.0.pdf"}],"url":"downloads/paper-iii.zip","archive_bytes":950885,"archive_sha256":"8f3c99cfe3b65b70c31e8032608b8eda089dad1ecc227dd065bb6747f67896de"},{"work":"paper-iv","title":"Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"e6c0a3d8ab615f3796729f6d531f74aaba36cf2b","mode":"100644","path":"LICENSE.md","sha256":"23575e1e0dfd08cea2b0efbcba39151c035a175d9e2bd838ee9a6cea02a67fc2","size":2117,"repository_path":"papers/paper-iv/current/LICENSE.md"},{"git_blob_sha1":"415dc45a2fe7dbd3911573e5e6da6b7e660250da","mode":"100644","path":"LICENSE_STATUS.json","sha256":"abc2f60632f6afb0f1692578b298b80375e301f577c1fc4ef5c394efffb72514","size":566,"repository_path":"papers/paper-iv/current/LICENSE_STATUS.json"},{"git_blob_sha1":"1a8a67d6ba1751f1e04804a7396009f1b462e71c","mode":"100644","path":"Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/Paper_IV_Traditional_Final.tex","sha256":"cdaf548abb884706d52941c0588eb53bd3bcc886a593f2c17a596cd8a575a336","size":99132,"repository_path":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/Paper_IV_Traditional_Final.tex"},{"git_blob_sha1":"d9731e3049be7ed249beb09806295ed719ff8598","mode":"100644","path":"Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/source/complete/original_snapshot/lean_release/PRSC_IV/LICENSE_STATUS.md","sha256":"332cdd20542e0da05560d592671a0488526d521c825bc9982ed980f9d2aa2a46","size":471,"repository_path":"papers/paper-iv/current/Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/source/complete/original_snapshot/lean_release/PRSC_IV/LICENSE_STATUS.md"},{"git_blob_sha1":"66a36fdd19e88a38fa08afef65c84277414f0989","mode":"100644","path":"README.md","sha256":"8c41de777699c8a2aee8df2478a8f702f8d79ea3c86fcb077e42e6993df0092a","size":3986,"repository_path":"papers/paper-iv/current/README.md"},{"git_blob_sha1":"cd665cd7752fbc1848dbdcb15178a996618bafbc","mode":"100644","path":"readers/Paper_IV_Lean_Guide_Final.pdf","sha256":"e235a03b64e988538fa9659a182f4b84de01f731fc16ecdb6d9e8a52da0258b4","size":626771,"repository_path":"papers/paper-iv/current/readers/Paper_IV_Lean_Guide_Final.pdf"},{"git_blob_sha1":"3933356dd3c1ceb57c433bb242c99708b8fdd5b9","mode":"100644","path":"readers/Paper_IV_Traditional_Final.pdf","sha256":"ef1ec83aa82e2709a334bb4ce98a17824d040549da03297165b783ecee9a5c4e","size":601701,"repository_path":"papers/paper-iv/current/readers/Paper_IV_Traditional_Final.pdf"},{"git_blob_sha1":"11c006b6c297168d859a6a7dd8766205bb53d50d","mode":"100644","path":"readers/Paper_IV_Visual_Guide_Final.pdf","sha256":"279cb676c89057c6d406fe8fad3a5ce7d6f9152af8d71ea1e7dafd57c5554f5f","size":255777,"repository_path":"papers/paper-iv/current/readers/Paper_IV_Visual_Guide_Final.pdf"}],"url":"downloads/paper-iv.zip","archive_bytes":1156144,"archive_sha256":"d37fbdf5570b1cb8898c8ecfca708049b94aaa7ba000d36a76e83291d62b073e"},{"work":"paper-v","title":"Paper V: Polyphase Signal Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"152e71a160c283351fa6beee724a569149401a52","mode":"100644","path":"LICENSE.md","sha256":"e72d49744a0822b9a903e94719cfaf4afeb64197a728a27519dabf8eb3163b4c","size":2164,"repository_path":"papers/paper-v/current/LICENSE.md"},{"git_blob_sha1":"607faac5f2968d23cd10683532bfbef22f382118","mode":"100644","path":"LICENSE_STATUS.json","sha256":"e341f9a8bd961c8f143115e018a7d3495ba632c6698954f326a087db4d3e9942","size":787,"repository_path":"papers/paper-v/current/LICENSE_STATUS.json"},{"git_blob_sha1":"3b0eb72805bc8f87ab2b4e27770db895d9543108","mode":"100644","path":"README.md","sha256":"3e4e561fa551ae721c85205762e0604ee2f3dc3dbffd741d443fbbd32d9770cb","size":3577,"repository_path":"papers/paper-v/current/README.md"},{"git_blob_sha1":"138aea8a29d2fe4dc7069f04bc03327cba0b7ef7","mode":"100644","path":"editable/traditional/Paper_V_Traditional_Final.tex","sha256":"5d3c6b2e5709c37ea551eb8fd1d823e5249c5fbc411d36b806241af4df888f36","size":171483,"repository_path":"papers/paper-v/current/editable/traditional/Paper_V_Traditional_Final.tex"},{"git_blob_sha1":"e6841590fb224583e7df5ecde78acb28492da840","mode":"100644","path":"papers/Paper_V_Lean_Guide_Final.pdf","sha256":"66c394f637ea526be68f47f36b93c24d14fde5876734fe86e272b223a86c3ec9","size":239599,"repository_path":"papers/paper-v/current/papers/Paper_V_Lean_Guide_Final.pdf"},{"git_blob_sha1":"7f23d486edfa89f4bd0c14e13eb4c9d461e86805","mode":"100644","path":"papers/Paper_V_Traditional_Final.pdf","sha256":"fac98850eb07c5258c62f09773218d16f3213f12733a38944d4d73812e7c93f0","size":1899920,"repository_path":"papers/paper-v/current/papers/Paper_V_Traditional_Final.pdf"},{"git_blob_sha1":"4d0aaf0530c00b131a7c5efd0a372d7fa0812622","mode":"100644","path":"papers/Paper_V_Visual_Guide_Final.pdf","sha256":"f3a84216d2fb02169d026cbfafb62a623a87b95e88c7cad35c85160a41739bca","size":272525,"repository_path":"papers/paper-v/current/papers/Paper_V_Visual_Guide_Final.pdf"}],"url":"downloads/paper-v.zip","archive_bytes":2233780,"archive_sha256":"98b9adc03e6e197d0ff9b93d8256ab781c39114fb3c4d84d43fecdd0bc5d9643"},{"work":"paper-vi","title":"Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"732656d15f5a3cf554c1433685d935b98e5c4161","mode":"100644","path":"LICENSE.md","sha256":"5b1c79e8a87af189c914943fdeb7919c8924738521affbc6ffc1764b12bd89dc","size":2150,"repository_path":"papers/paper-vi/current/LICENSE.md"},{"git_blob_sha1":"d846ade320f20c036c9f1cf308753b0e75a34c7d","mode":"100644","path":"LICENSE_STATUS.json","sha256":"2bb1f2f7c06b447a681ed902eecaf88bf736e31724bef037081a264400a412ed","size":788,"repository_path":"papers/paper-vi/current/LICENSE_STATUS.json"},{"git_blob_sha1":"adddfe0214f586a4940298c6464ecb721c006559","mode":"100644","path":"README.md","sha256":"e2057302c2e3a333df619a659ccbdd22b0953d9cc13fe6fbe2ec4c086679fd0c","size":4688,"repository_path":"papers/paper-vi/current/README.md"},{"git_blob_sha1":"4318eb47f4673beedeb0f8c4a317f8f302fb13c9","mode":"100644","path":"editable/traditional/Paper_VI_Traditional_Final.tex","sha256":"736e615131f57daf341b6cb0600761d58950450947c85d433206148cca228333","size":211637,"repository_path":"papers/paper-vi/current/editable/traditional/Paper_VI_Traditional_Final.tex"},{"git_blob_sha1":"0dbfd5e69db7547b8734ad24176659cf1b7b2707","mode":"100644","path":"papers/Paper_VI_Lean_Guide_Final.pdf","sha256":"af8b56c68152895b0dd3dd04dcfb0e0d9fcbf075cfad9ac1fca7cccb30007631","size":245187,"repository_path":"papers/paper-vi/current/papers/Paper_VI_Lean_Guide_Final.pdf"},{"git_blob_sha1":"fc18a718e10151a55c2ef321c1c52e69210783a4","mode":"100644","path":"papers/Paper_VI_Traditional_Final.pdf","sha256":"61c1109c20c785f59b08d8602884a7256cdc5c73bb7aea1a3e83b83a036fd438","size":1105245,"repository_path":"papers/paper-vi/current/papers/Paper_VI_Traditional_Final.pdf"},{"git_blob_sha1":"8bbb747377aec229ea4397bda8b740ee04d2ded8","mode":"100644","path":"papers/Paper_VI_Visual_Guide_Final.pdf","sha256":"1c13f03f789d0c6d6ea465fb734b9305ddaaf7f575225932bfaccd1b25cd3a0b","size":276276,"repository_path":"papers/paper-vi/current/papers/Paper_VI_Visual_Guide_Final.pdf"},{"git_blob_sha1":"e332612034b275fe6d77834e8237aca9371a11b4","mode":"100644","path":"source/LICENSE_NOTICE_2026-10-20.txt","sha256":"2e954dbc3d813063f9a41448e20577a8a968e6d35d2943814147bdc594de4f10","size":298,"repository_path":"papers/paper-vi/current/source/LICENSE_NOTICE_2026-10-20.txt"}],"url":"downloads/paper-vi.zip","archive_bytes":1565041,"archive_sha256":"c186073f9d5bc5d242d8ba2d9f872856274a3c43d843a254dbcf7b99c3cdffc6"},{"work":"paper-vii","title":"Paper VII: Quantum Seed Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7aa4c47db71e85c669069ead8c1f51ccfa04d564","mode":"100644","path":"LICENSE.md","sha256":"9aceca2cc52fe2a34944990558d4d982cfe1f8cdf18d9f7da9e29b6f709749a9","size":2102,"repository_path":"papers/paper-vii/current/LICENSE.md"},{"git_blob_sha1":"e0c41bc7ea0f2adf26289ea9541fdbb4070e855b","mode":"100644","path":"LICENSE_STATUS.json","sha256":"1c6e1c28476423ea41fc231ec9a3a28a831fbc02d3d05faf7d8f1aa103c4d30f","size":556,"repository_path":"papers/paper-vii/current/LICENSE_STATUS.json"},{"git_blob_sha1":"c9a4f2fab0a212f3f71d8edfe6a0975be3704b1f","mode":"100644","path":"README.md","sha256":"6945978e8d47d5bc94274b21487cf94e3586806fe9a2b3f5fbeb8fcd6cffe0cc","size":4872,"repository_path":"papers/paper-vii/current/README.md"},{"git_blob_sha1":"7e81055695c3aca51c94a4bf512850d6cb46fcbb","mode":"100644","path":"editable/traditional/Paper_VII_Traditional_Final.tex","sha256":"e9bc0eb0b109fcad74125b40d29d1d62a5ee60ce65d4948ab253d3fc0237fb50","size":14971,"repository_path":"papers/paper-vii/current/editable/traditional/Paper_VII_Traditional_Final.tex"},{"git_blob_sha1":"1e28bd0bb20892a700b6787357f69b06cd2e1d79","mode":"100644","path":"papers/Paper_VII_Lean_Guide_Final.pdf","sha256":"010970aaea8a6a2fba5b85cbc24b51a377893fb59fbb46e2368b2525283ba545","size":334470,"repository_path":"papers/paper-vii/current/papers/Paper_VII_Lean_Guide_Final.pdf"},{"git_blob_sha1":"c9723ba82ca8c36967d7290eb07afe062f14539b","mode":"100644","path":"papers/Paper_VII_Traditional_Final.pdf","sha256":"a4648faa8a1e6d3c15233eae64db2d1f7205ff2330a0dd861125313ea680d19e","size":1134244,"repository_path":"papers/paper-vii/current/papers/Paper_VII_Traditional_Final.pdf"},{"git_blob_sha1":"0c3f070f18efbea7210cbd1072f9531219cfde8c","mode":"100644","path":"papers/Paper_VII_Visual_Guide_Final.pdf","sha256":"4269a311f6e7a24e3f05471df5d98b2161a7c1f8f4890d4d924491e1254fa13b","size":245572,"repository_path":"papers/paper-vii/current/papers/Paper_VII_Visual_Guide_Final.pdf"},{"git_blob_sha1":"7e5e4bde39470a69822d354dcc921934891607a1","mode":"100644","path":"verification/freeze_2026-10-20/LICENSE_AUDIT.json","sha256":"9e89943590ca60f644905d5913e49ccacd6196d927acf25966af72984d9b99d4","size":11583,"repository_path":"papers/paper-vii/current/verification/freeze_2026-10-20/LICENSE_AUDIT.json"},{"git_blob_sha1":"9029ff9e1d0b2b15ed305f0a0f946a32c329678a","mode":"100644","path":"verification/freeze_2026-10-20/LICENSE_AUDIT.txt","sha256":"cb90f9e86e212310ca5ab17be0b997b9ac140513e940c5bd8f0c4d28bde3178b","size":2223,"repository_path":"papers/paper-vii/current/verification/freeze_2026-10-20/LICENSE_AUDIT.txt"}],"url":"downloads/paper-vii.zip","archive_bytes":1571923,"archive_sha256":"193362b012011818f420e6c006c45076271f54831e0371e97d883ad421e4ee3b"},{"work":"paper-viii","title":"Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"81061716958bd47d17d414c9cb9dde2fa6ead9bc","mode":"100644","path":"LICENSE.md","sha256":"e7a70358aa715e5f1a3bcb1182970c05c4869558d5f61bf0a0e442d67a7f7804","size":2096,"repository_path":"papers/paper-viii/current/LICENSE.md"},{"git_blob_sha1":"cb64617b2af655ace899d0f326cbc0753b543385","mode":"100644","path":"LICENSE_STATUS.json","sha256":"58bbde770624488afd4b3a70ebba2633daf2144c90be74ebb907761df7ff21f1","size":605,"repository_path":"papers/paper-viii/current/LICENSE_STATUS.json"},{"git_blob_sha1":"3c3839ca148c49b03826f808a354e6ace6682a74","mode":"100644","path":"README.md","sha256":"4f697b23a4bc211f660ed4aa549bc2470a6165c9f29ca7bc9befa5ebd2c377f1","size":5769,"repository_path":"papers/paper-viii/current/README.md"},{"git_blob_sha1":"535543f360e32416693655046337c894ffbede77","mode":"100644","path":"editable/traditional/Paper_VIII_Traditional_Final.tex","sha256":"9f767602dfcc1145ba7d593d17dc2c95676bed88bd78a6a24a4fe553455bbaba","size":13868,"repository_path":"papers/paper-viii/current/editable/traditional/Paper_VIII_Traditional_Final.tex"},{"git_blob_sha1":"886c86f87c9ed63c40a0d81c17a0f8335cd29798","mode":"100644","path":"papers/Paper_VIII_Lean_Guide_Final.pdf","sha256":"a818b2179a581ee3f9c0191f9998e911250dbc25305eaa6b1782232a01b762b2","size":327365,"repository_path":"papers/paper-viii/current/papers/Paper_VIII_Lean_Guide_Final.pdf"},{"git_blob_sha1":"ba20312dd28f9af413d5b71f1eafa81192c2a493","mode":"100644","path":"papers/Paper_VIII_Traditional_Final.pdf","sha256":"0b25167cdddd5c07cc36252ba13abb7db423392d6387ccef0dbd0ddb813b5042","size":830921,"repository_path":"papers/paper-viii/current/papers/Paper_VIII_Traditional_Final.pdf"},{"git_blob_sha1":"cd860d87c82bdd277db7d07dc603c4d8de8ada8e","mode":"100644","path":"papers/Paper_VIII_Visual_Guide_Final.pdf","sha256":"a78f1c18c7c36cecbaf9484bc6dc643300c3b5054df338f48be6390af5e520c7","size":196921,"repository_path":"papers/paper-viii/current/papers/Paper_VIII_Visual_Guide_Final.pdf"},{"git_blob_sha1":"2db0aa7257c541f9b47f1c5b7c08cece06884297","mode":"100644","path":"verification/freeze_2026-10-21/LICENSE_AUDIT.json","sha256":"e0463a4e6ca0e5d699ddaf2ab5e88781f19198d7a3893b24a11df657f1d6df78","size":11071,"repository_path":"papers/paper-viii/current/verification/freeze_2026-10-21/LICENSE_AUDIT.json"},{"git_blob_sha1":"5468a85baf03c85774b53e7d5f6bb828836613eb","mode":"100644","path":"verification/freeze_2026-10-21/LICENSE_AUDIT.txt","sha256":"4e1dd9c4f0b3e62b63fdf43c60d9cffa27423b791d26dbb585698c4674379f09","size":2453,"repository_path":"papers/paper-viii/current/verification/freeze_2026-10-21/LICENSE_AUDIT.txt"}],"url":"downloads/paper-viii.zip","archive_bytes":1313794,"archive_sha256":"5916a12eff47803fc93819790478ba418aa66710ec408b0a2b9889b477ba57d4"},{"work":"paper-ix","title":"Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"4b803bf53b6f43e95fe7ed57096c940bd72d946f","mode":"100644","path":"LICENSE.md","sha256":"3a8c3bd4d41c951829ce963aaf1dee433f3e7b090a275ecc97268e8d6282a7a4","size":2119,"repository_path":"papers/paper-ix/current/LICENSE.md"},{"git_blob_sha1":"ff8ec8cb9c5a07db72de38a6695d01afd32cd604","mode":"100644","path":"LICENSE_STATUS.json","sha256":"02e7916edeb1132ce0d0a3726285ad719ee41a25393a09f482c695cbf9d13b51","size":788,"repository_path":"papers/paper-ix/current/LICENSE_STATUS.json"},{"git_blob_sha1":"96c87a5b454f1be5fc073a76117b63e9ddcf67bb","mode":"100644","path":"README.md","sha256":"14b4274e41f1f6cc7fda08dbeafd1d3d44c4b0b717379bf55d01775153abab57","size":7026,"repository_path":"papers/paper-ix/current/README.md"},{"git_blob_sha1":"5fd9b2caf157717ca3d85e7a398b9387db37111f","mode":"100644","path":"output/pdf/Paper_IX_Euler_Lean_Guide_Final.pdf","sha256":"2c9b40fd168ff5eb27b2762d7a48dc83c3850c0a15a11d10042e647a595ea975","size":424771,"repository_path":"papers/paper-ix/current/output/pdf/Paper_IX_Euler_Lean_Guide_Final.pdf"},{"git_blob_sha1":"6dcdaf98042410e508ab7f23a48590bcad0f82f1","mode":"100644","path":"output/pdf/Paper_IX_Euler_Visual_Guide_Final.pdf","sha256":"f389fb873a8f747a370922fe9f27251c03c826bd75b4a3e7feb1300ac3e2b65d","size":452855,"repository_path":"papers/paper-ix/current/output/pdf/Paper_IX_Euler_Visual_Guide_Final.pdf"},{"git_blob_sha1":"70fabeca9b64bf3a840a7fa4be6082d6f12f9e44","mode":"100644","path":"publication/pdfs/Paper_IX_Euler_Main_Final.pdf","sha256":"1975d95d124cdb303452950c272917c2e3fc20c19fdc882ad39b8f9744d328ca","size":1359311,"repository_path":"papers/paper-ix/current/publication/pdfs/Paper_IX_Euler_Main_Final.pdf"},{"git_blob_sha1":"d5277a9062d3d6cb3d83f9d1d0aa433f2ae15af2","mode":"100644","path":"sources/lean/README.md","sha256":"6cbaa64e02ecfbe3b10dbd96a8540d8dc61baa87226c920e9c15dfd6c9e9ee18","size":4089,"repository_path":"papers/paper-ix/current/sources/lean/README.md"},{"git_blob_sha1":"7c803dc68e5317b9481a810c32c34cfe4c0d1adf","mode":"100644","path":"verification/freeze_2026-10-21/LICENSE_AUDIT.json","sha256":"bc657c5a368c3b6dca1f9d0c7cc51805a65278514ab6677007cb18f7dc91ff66","size":29952,"repository_path":"papers/paper-ix/current/verification/freeze_2026-10-21/LICENSE_AUDIT.json"},{"git_blob_sha1":"c244964c063b48373c5d7b7b74ad8b1903b1e77a","mode":"100644","path":"verification/freeze_2026-10-21/LICENSE_AUDIT.txt","sha256":"05e16c924f4855b4913262916f964c51c5f46d3aff35acfad1807f2e08294983","size":2501,"repository_path":"papers/paper-ix/current/verification/freeze_2026-10-21/LICENSE_AUDIT.txt"}],"url":"downloads/paper-ix.zip","archive_bytes":2049029,"archive_sha256":"3cf55bd5aa33b2d945668d8fda1e596f961af9f3a101d43d80e65120e57476da"},{"work":"paper-x","title":"Paper X: Universal Residual Seeds and Conditional Occupied-System Completion","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"16b8f22c3e58f2f79c884ef4a5be38968ca699b5","mode":"100644","path":"LICENSE.md","sha256":"9642bff5f261a089c83bc39ead2ca4f8062c5400e9aaec0c85154ee0d2a7aaf5","size":2171,"repository_path":"papers/paper-x/current/LICENSE.md"},{"git_blob_sha1":"11fd35b031c48d5ac1d42cee319e4a41b1972015","mode":"100644","path":"LICENSE_STATUS.json","sha256":"b26ce008a208e634eda33914ba2b2e5ece89b8bed934914faab41c52138e90ce","size":339,"repository_path":"papers/paper-x/current/LICENSE_STATUS.json"},{"git_blob_sha1":"25bfc46a769a45c6807dad9f3231f13607e3c58a","mode":"100644","path":"README.md","sha256":"1bfe996d8b8214c72ef2c6136e06a060ec49e8820b6645a660f71532ae378624","size":7910,"repository_path":"papers/paper-x/current/README.md"},{"git_blob_sha1":"ca8fb68093125d2c2dfbd04131019ddc30504026","mode":"100644","path":"current_continuation/licenses/NOTICE.md","sha256":"3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a","size":868,"repository_path":"papers/paper-x/current/current_continuation/licenses/NOTICE.md"},{"git_blob_sha1":"ca8fb68093125d2c2dfbd04131019ddc30504026","mode":"100644","path":"inherited_baseline/current_continuation/licenses/NOTICE.md","sha256":"3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a","size":868,"repository_path":"papers/paper-x/current/inherited_baseline/current_continuation/licenses/NOTICE.md"},{"git_blob_sha1":"8dada3edaf50dbc082c9a125058f25def75e625a","mode":"100644","path":"inherited_baseline/original_releases/block27/privatechecks/block26_independent/external_sources/LICENSE","sha256":"b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1","size":11357,"repository_path":"papers/paper-x/current/inherited_baseline/original_releases/block27/privatechecks/block26_independent/external_sources/LICENSE"},{"git_blob_sha1":"8dada3edaf50dbc082c9a125058f25def75e625a","mode":"100644","path":"inherited_baseline/original_releases/block27/privatechecks/block27_independent/external_sources/LICENSE","sha256":"b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1","size":11357,"repository_path":"papers/paper-x/current/inherited_baseline/original_releases/block27/privatechecks/block27_independent/external_sources/LICENSE"},{"git_blob_sha1":"ca8fb68093125d2c2dfbd04131019ddc30504026","mode":"100644","path":"inherited_baseline/original_releases/residue_counting/licenses/NOTICE.md","sha256":"3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a","size":868,"repository_path":"papers/paper-x/current/inherited_baseline/original_releases/residue_counting/licenses/NOTICE.md"},{"git_blob_sha1":"8d60089610f55b6812a88dd731c05d662f55471b","mode":"100644","path":"manuscript/Paper_X_Block27_Amended.tex","sha256":"ccce6fc50bc2c300d987aa870a199494867a6c52e119b49d7b17c100a0213652","size":129027,"repository_path":"papers/paper-x/current/manuscript/Paper_X_Block27_Amended.tex"},{"git_blob_sha1":"d645695673349e3947e8e5ae42332d0ac3164cd7","mode":"100644","path":"production_replay/third_party/LICENSE.AINTLIB.txt","sha256":"cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30","size":11358,"repository_path":"papers/paper-x/current/production_replay/third_party/LICENSE.AINTLIB.txt"},{"git_blob_sha1":"7b18b759c09eee2e77afb1340996cd8948d9a9a6","mode":"100644","path":"production_replay/third_party/NOTICE_PROVENANCE.json","sha256":"03137d45dbdbfea4af5a57805cd608b4d4044f0c10c72bbb7e72427f5cd9d669","size":2492,"repository_path":"papers/paper-x/current/production_replay/third_party/NOTICE_PROVENANCE.json"},{"git_blob_sha1":"847b79dd850bd2108614d7b718b6a7e71f3fcbdc","mode":"100644","path":"publication/pdfs/Paper_X_Lean_Guide_Final.pdf","sha256":"4d1488777f93fe72b701bdf4d9b5bf064c0d008efc4c56ecd5a90c2da51f2092","size":163990,"repository_path":"papers/paper-x/current/publication/pdfs/Paper_X_Lean_Guide_Final.pdf"},{"git_blob_sha1":"ecde63be8990e6c1dee377bc64ace934dd1e8cd9","mode":"100644","path":"publication/pdfs/Paper_X_Traditional_Final.pdf","sha256":"ae8a83ce63ac10d54b6fa23016987dc61d1758e30da047ce3c94f57e4e0b5868","size":996943,"repository_path":"papers/paper-x/current/publication/pdfs/Paper_X_Traditional_Final.pdf"},{"git_blob_sha1":"b0abd538dc4eb783d6c11349e85d6b10d41e2405","mode":"100644","path":"publication/pdfs/Paper_X_Visual_Guide_Final.pdf","sha256":"60fd88b945ff7a300e8de09364cd3fe1e5c4e1439b6ccb0cda6b0558fd5fcf9d","size":310603,"repository_path":"papers/paper-x/current/publication/pdfs/Paper_X_Visual_Guide_Final.pdf"},{"git_blob_sha1":"0ea6e191cc70e9672d60986c92c56fa24d048424","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json","sha256":"309db0467546e53fc3cd47717acc45fb09eea95d06605f35550f16187af3541e","size":38011,"repository_path":"papers/paper-x/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json"},{"git_blob_sha1":"5560b860a66c9d06baff8616b3939c71f5c6c00a","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt","sha256":"ce647d834db6e4adb75c7b6db8ece17bacd2323e4e1fd0e5821286bbfaef3b6a","size":2321,"repository_path":"papers/paper-x/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt"}],"url":"downloads/paper-x.zip","archive_bytes":1341515,"archive_sha256":"e8b47108df6361c5715d50215705aff6e5df89f585296bb395d8718eca8006cb"},{"work":"paper-xi","title":"Paper XI: Packets, Arithmetic Realization, and Conditional Comparison","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"fa115731dfc8fb87b3ac8e2e95ff0832479db68c","mode":"100644","path":"LICENSE.md","sha256":"d18b6622cb0bb3f6e99f1e9f8288a27cfd83bcdaa2560e089559ddb86913daa7","size":2483,"repository_path":"papers/paper-xi/current/LICENSE.md"},{"git_blob_sha1":"bbf9add695299f98656770f56233192bbc08d869","mode":"100644","path":"LICENSE_STATUS.json","sha256":"0889f045792f689d2f5c8800f8256ce6ea8a1297bf0d36917e3cbf74991ccee3","size":536,"repository_path":"papers/paper-xi/current/LICENSE_STATUS.json"},{"git_blob_sha1":"bbc81564eb19a5781d3a805e859301737ecf1ced","mode":"100644","path":"README.md","sha256":"9903d7a7709962ba62a184ff4bfb9cba7803d67bd7326e45979524e26e816670","size":8286,"repository_path":"papers/paper-xi/current/README.md"},{"git_blob_sha1":"51230968b1cd91301d6bf391530c26cbb3fd45a7","mode":"100644","path":"publication/pdfs/Paper_XI_Lean_Guide_v1.1.0.pdf","sha256":"7df5d6a03c93431f2dc802df6d3209cdc0bc87026ff32f0dd56b576a2165249a","size":827560,"repository_path":"papers/paper-xi/current/publication/pdfs/Paper_XI_Lean_Guide_v1.1.0.pdf"},{"git_blob_sha1":"429d50e1927e8c6ea869ea86a6bc2e9135357033","mode":"100644","path":"publication/pdfs/Paper_XI_Traditional_v1.1.0.pdf","sha256":"a15f5ba78334f3b9ea5969b9de53c72b17af55c16151f4c2b619b014052b0210","size":913415,"repository_path":"papers/paper-xi/current/publication/pdfs/Paper_XI_Traditional_v1.1.0.pdf"},{"git_blob_sha1":"2ee0406272c1aa67914b8065ee03231c6f95b0d2","mode":"100644","path":"publication/pdfs/Paper_XI_Visual_Guide_v1.1.0.pdf","sha256":"feebaffc77ca8da24572a4b67b3ba5550feedf476995526ea5119fab345cd03e","size":631659,"repository_path":"papers/paper-xi/current/publication/pdfs/Paper_XI_Visual_Guide_v1.1.0.pdf"},{"git_blob_sha1":"78f866220c3849f4fe8ab9ddd4835b3e0654163f","mode":"100644","path":"publication/source/traditional/Paper_XI_Traditional_Final.tex","sha256":"a579be9790f04c3738f74ec02a1fdc3e1ae82f664cc00fc450535208ea832a23","size":97080,"repository_path":"papers/paper-xi/current/publication/source/traditional/Paper_XI_Traditional_Final.tex"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"publication/source/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"papers/paper-xi/current/publication/source/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"publication/source/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"papers/paper-xi/current/publication/source/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"afad1321bdfad95320eda7aeb44d89d49aacb435","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json","sha256":"71df870825b1a819db226af7b6a2f919882ce382874fb0618dcb13847503d817","size":6659,"repository_path":"papers/paper-xi/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json"},{"git_blob_sha1":"c778423169b04b3e901990a79a4d11e7d5fc329b","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json","sha256":"37c6da28315ed8396603861cc551bcf6c7018af62e130397a987ebaacec8e6fe","size":7393,"repository_path":"papers/paper-xi/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json"},{"git_blob_sha1":"78071095debcecad1ebf7e720836916cfad25210","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt","sha256":"9eae0e8872ad8587f6ff8d38508571942f46dd16d8fb0d783c6699c0898f1975","size":2648,"repository_path":"papers/paper-xi/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt"}],"url":"downloads/paper-xi.zip","archive_bytes":1958109,"archive_sha256":"7f00ffe9d355345e52a0c5937fd7792c959e43256425ef3ece487d0efcc1ff95"},{"work":"paper-xii","title":"Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"6bdabe686acfed0a3f687c94e96ae30a8684e0db","mode":"100644","path":"LICENSE.md","sha256":"0fa888f77dbeee00f2c94d1e54f5ee771c9cb6688baad4463fd01af28b0157bf","size":2828,"repository_path":"papers/paper-xii/current/LICENSE.md"},{"git_blob_sha1":"35ff56070f5e98141d1ee912025f504c9b45ae68","mode":"100644","path":"LICENSE_STATUS.json","sha256":"153f2b7e81d4b2452d61de229697cbcdee5d3e1a2617ce4ca882b9b06d2ab272","size":666,"repository_path":"papers/paper-xii/current/LICENSE_STATUS.json"},{"git_blob_sha1":"5fd0b230d9362816a9962bbe2c1ff14975767c38","mode":"100644","path":"README.md","sha256":"3d1d793cf62f356e3fc9b355deaec2468374d5384992e89577ef9a5e2e131374","size":9149,"repository_path":"papers/paper-xii/current/README.md"},{"git_blob_sha1":"b5e0398d74650e01c211ec788b9598da6163b98d","mode":"100644","path":"core/predecessor/editable/lean_guide/formal_release/LICENSE","sha256":"395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb","size":219,"repository_path":"papers/paper-xii/current/core/predecessor/editable/lean_guide/formal_release/LICENSE"},{"git_blob_sha1":"b5e0398d74650e01c211ec788b9598da6163b98d","mode":"100644","path":"core/predecessor/source/latest_v0171/Paper_XII_Complete_v0.17.1_With_Visual_Appendix/formal_release/LICENSE","sha256":"395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb","size":219,"repository_path":"papers/paper-xii/current/core/predecessor/source/latest_v0171/Paper_XII_Complete_v0.17.1_With_Visual_Appendix/formal_release/LICENSE"},{"git_blob_sha1":"b5e0398d74650e01c211ec788b9598da6163b98d","mode":"100644","path":"core/predecessor/source/native_reverification/PRSC_XII_v0.17.1_Completion_Reverified/LICENSE","sha256":"395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb","size":219,"repository_path":"papers/paper-xii/current/core/predecessor/source/native_reverification/PRSC_XII_v0.17.1_Completion_Reverified/LICENSE"},{"git_blob_sha1":"f0fcd53a768953d0d1640358cc37c63263909efa","mode":"100644","path":"core/publication/pdfs/Paper_XII_Lean_Guide_v1.0.0.pdf","sha256":"af2333bbb064ca58d24bb4f585b2597e6a55d0bc8dc061b25d491af94b0111e9","size":207880,"repository_path":"papers/paper-xii/current/core/publication/pdfs/Paper_XII_Lean_Guide_v1.0.0.pdf"},{"git_blob_sha1":"5af6f8d239619241366d0b9527dbfa3ad0235342","mode":"100644","path":"core/publication/pdfs/Paper_XII_Traditional_v1.0.0.pdf","sha256":"24358e5607b1d51561131c9475f2177d146b548836aa29cc18747b43fb7bd53e","size":630596,"repository_path":"papers/paper-xii/current/core/publication/pdfs/Paper_XII_Traditional_v1.0.0.pdf"},{"git_blob_sha1":"3f2b514339530ce3d03e410e98c84772a116c100","mode":"100644","path":"core/publication/pdfs/Paper_XII_Visual_Guide_v1.0.0.pdf","sha256":"c166da190d198fa500505b53c3e5af7c381ed1b3e559b3658087ac414de458d5","size":357622,"repository_path":"papers/paper-xii/current/core/publication/pdfs/Paper_XII_Visual_Guide_v1.0.0.pdf"},{"git_blob_sha1":"234d43ad0260e5a429e18a2136619a3b4d853fc0","mode":"100644","path":"core/publication/source/lean_guide/README.md","sha256":"a37fa78d373e756fade6f8c84f9e40bf5cc391a6e95c02b943739f05abaceddb","size":574,"repository_path":"papers/paper-xii/current/core/publication/source/lean_guide/README.md"},{"git_blob_sha1":"b5e0398d74650e01c211ec788b9598da6163b98d","mode":"100644","path":"core/publication/source/lean_guide/formal_release/LICENSE","sha256":"395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb","size":219,"repository_path":"papers/paper-xii/current/core/publication/source/lean_guide/formal_release/LICENSE"},{"git_blob_sha1":"de5b8261bb85b4bad9770e7c062778d544cf8fb1","mode":"100644","path":"core/publication/source/lean_guide/formal_release/README.md","sha256":"e6ede1d27fc998b64a5328a7873dc8a9e3a4a60584721f55e24c94f91df0ed52","size":3496,"repository_path":"papers/paper-xii/current/core/publication/source/lean_guide/formal_release/README.md"},{"git_blob_sha1":"9711f4be42b917ca4a4950c01d6869d499693277","mode":"100644","path":"core/publication/source/traditional/Paper_XII_Traditional_Final.tex","sha256":"f5137c0fffed58acc1590165c77a75848e4d97671dca9caafb7c147e6aa1112a","size":111893,"repository_path":"papers/paper-xii/current/core/publication/source/traditional/Paper_XII_Traditional_Final.tex"},{"git_blob_sha1":"b5e0398d74650e01c211ec788b9598da6163b98d","mode":"100644","path":"core/verification/block01/replay/appendix-exact/isolated_bundle/formal_release/LICENSE","sha256":"395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb","size":219,"repository_path":"papers/paper-xii/current/core/verification/block01/replay/appendix-exact/isolated_bundle/formal_release/LICENSE"},{"git_blob_sha1":"2ec84f79835275d50d8a64a2a6bdf8f987b9dd73","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json","sha256":"7d60f235d2c4a9f0a3aaa5453c5a674260bf80db911ef3cd432d467fd3a4e893","size":7619,"repository_path":"papers/paper-xii/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json"},{"git_blob_sha1":"93983e7e56cdb004981bfdca2781d817d4d8660b","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json","sha256":"45b8cb0f32b8add77df485a1a5b717fe6fa1a2b376d4c09c709a44257f4c41c0","size":11030,"repository_path":"papers/paper-xii/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json"},{"git_blob_sha1":"e2585f3b31337a34fdbffcf5727f7cb64c7c4dd4","mode":"100644","path":"verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt","sha256":"83856d38180b980708d3f2ac64359fb2024b8b47ea6497982a1d3e65aa30dce7","size":2663,"repository_path":"papers/paper-xii/current/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt"}],"url":"downloads/paper-xii.zip","archive_bytes":1081093,"archive_sha256":"2e547bf29f858bfb9fa24fb0a58b62511d0bb4cd03d6fbfd9dc563eb84a0bada"},{"work":"realization-calculus-book","title":"Realization Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"43098047fa936077d9a5f0382d6914de2c349a46","mode":"100644","path":"LICENSE.txt","sha256":"3aa62454e683cd7f06bb09c108ccc340c6bf0b949ea2bef270626a91aae8570a","size":450,"repository_path":"monographs/realization-calculus/LICENSE.txt"},{"git_blob_sha1":"ac1256a71fded21116a2a9edff2cedbc07c7bb2d","mode":"100644","path":"README.md","sha256":"b6beb1291855d385e6f959b026213c3e9f115f3fbdffc868c467d1011daa8f46","size":12291,"repository_path":"monographs/realization-calculus/README.md"},{"git_blob_sha1":"290be3bb0e9a5a1d64eeeddfc66a8c675e30e1b9","mode":"100644","path":"frozen_readers/Paper_I_Lean_Guide_Final.pdf","sha256":"cc516c7a40b78121d07dccf7aec258920c499efe7bbf4937754f0e272420e509","size":214554,"repository_path":"monographs/realization-calculus/frozen_readers/Paper_I_Lean_Guide_Final.pdf"},{"git_blob_sha1":"4d0aaf0530c00b131a7c5efd0a372d7fa0812622","mode":"100644","path":"frozen_readers/Paper_V_Visual_Guide_Final.pdf","sha256":"f3a84216d2fb02169d026cbfafb62a623a87b95e88c7cad35c85160a41739bca","size":272525,"repository_path":"monographs/realization-calculus/frozen_readers/Paper_V_Visual_Guide_Final.pdf"},{"git_blob_sha1":"aef7e27f9b88abd0745b6bc52243524272a49d03","mode":"100644","path":"output/Realization_Calculus.pdf","sha256":"9f557736a27163e361170fcc969c3add4b9c01730c325305e4d987d076e45946","size":40341945,"repository_path":"monographs/realization-calculus/output/Realization_Calculus.pdf"},{"git_blob_sha1":"cbc9b70e1e44ab704380eac7d7910f67f725dd74","mode":"100644","path":"publication_notices/per_paper/I/LICENSE.md","sha256":"cf0fc2875b5e18cdd37835c5a940afa1c2299b0b2ae704e35dcce72ec7eaee88","size":1879,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/I/LICENSE.md"},{"git_blob_sha1":"8f049800c1c9aa7a382a27d32e5987b1dd4abe60","mode":"100644","path":"publication_notices/per_paper/II/LICENSE.md","sha256":"ff7c5810809485a586c902f65e7f274ec47792a1279e4605a07652a2e9008398","size":2983,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/II/LICENSE.md"},{"git_blob_sha1":"8f71f43fee3f78649d238238cbde51e6d7055c82","mode":"100644","path":"publication_notices/per_paper/II/LICENSES/LICENSE.AINTLIB.txt","sha256":"c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08","size":11358,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/II/LICENSES/LICENSE.AINTLIB.txt"},{"git_blob_sha1":"b4f1a2e7bec2666d2a34b5a881ce6cf76524dc85","mode":"100644","path":"publication_notices/per_paper/II/LICENSES/LICENSE_TEXT_PROVENANCE.json","sha256":"85a51ca73526f64354dd7c6e97a0f513fbed392a31280061b5d6042170914320","size":1137,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/II/LICENSES/LICENSE_TEXT_PROVENANCE.json"},{"git_blob_sha1":"7f2707cb24c54acc3f2c0232e512eb2ffe859db3","mode":"100644","path":"publication_notices/per_paper/II/papers/LICENSE.txt","sha256":"2c2e9897d65b656aa6957631f1c389245d4e83718379975dae9a268afd28f445","size":642,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/II/papers/LICENSE.txt"},{"git_blob_sha1":"4886b41140a68243f096fa0fe72269bf3a6821ea","mode":"100644","path":"publication_notices/per_paper/III/LICENSE.md","sha256":"abf951fb085eceb6dc21cde74023349dd25e757573e31c3db73a022b85fb421d","size":2076,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/III/LICENSE.md"},{"git_blob_sha1":"e6c0a3d8ab615f3796729f6d531f74aaba36cf2b","mode":"100644","path":"publication_notices/per_paper/IV/LICENSE.md","sha256":"23575e1e0dfd08cea2b0efbcba39151c035a175d9e2bd838ee9a6cea02a67fc2","size":2117,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/IV/LICENSE.md"},{"git_blob_sha1":"4b803bf53b6f43e95fe7ed57096c940bd72d946f","mode":"100644","path":"publication_notices/per_paper/IX/LICENSE.md","sha256":"3a8c3bd4d41c951829ce963aaf1dee433f3e7b090a275ecc97268e8d6282a7a4","size":2119,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/IX/LICENSE.md"},{"git_blob_sha1":"152e71a160c283351fa6beee724a569149401a52","mode":"100644","path":"publication_notices/per_paper/V/LICENSE.md","sha256":"e72d49744a0822b9a903e94719cfaf4afeb64197a728a27519dabf8eb3163b4c","size":2164,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/V/LICENSE.md"},{"git_blob_sha1":"732656d15f5a3cf554c1433685d935b98e5c4161","mode":"100644","path":"publication_notices/per_paper/VI/LICENSE.md","sha256":"5b1c79e8a87af189c914943fdeb7919c8924738521affbc6ffc1764b12bd89dc","size":2150,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/VI/LICENSE.md"},{"git_blob_sha1":"7aa4c47db71e85c669069ead8c1f51ccfa04d564","mode":"100644","path":"publication_notices/per_paper/VII/LICENSE.md","sha256":"9aceca2cc52fe2a34944990558d4d982cfe1f8cdf18d9f7da9e29b6f709749a9","size":2102,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/VII/LICENSE.md"},{"git_blob_sha1":"81061716958bd47d17d414c9cb9dde2fa6ead9bc","mode":"100644","path":"publication_notices/per_paper/VIII/LICENSE.md","sha256":"e7a70358aa715e5f1a3bcb1182970c05c4869558d5f61bf0a0e442d67a7f7804","size":2096,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/VIII/LICENSE.md"},{"git_blob_sha1":"16b8f22c3e58f2f79c884ef4a5be38968ca699b5","mode":"100644","path":"publication_notices/per_paper/X/LICENSE.md","sha256":"9642bff5f261a089c83bc39ead2ca4f8062c5400e9aaec0c85154ee0d2a7aaf5","size":2171,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/X/LICENSE.md"},{"git_blob_sha1":"11fd35b031c48d5ac1d42cee319e4a41b1972015","mode":"100644","path":"publication_notices/per_paper/X/LICENSE_STATUS.json","sha256":"b26ce008a208e634eda33914ba2b2e5ece89b8bed934914faab41c52138e90ce","size":339,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/X/LICENSE_STATUS.json"},{"git_blob_sha1":"ca8fb68093125d2c2dfbd04131019ddc30504026","mode":"100644","path":"publication_notices/per_paper/X/current_continuation/licenses/NOTICE.md","sha256":"3af38e8e5a22c154bbd84c09174edfc5c35d58ebc35253c7c6ff452585a5776a","size":868,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/X/current_continuation/licenses/NOTICE.md"},{"git_blob_sha1":"d645695673349e3947e8e5ae42332d0ac3164cd7","mode":"100644","path":"publication_notices/per_paper/X/production_replay/third_party/LICENSE.AINTLIB.txt","sha256":"cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30","size":11358,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/X/production_replay/third_party/LICENSE.AINTLIB.txt"},{"git_blob_sha1":"7b18b759c09eee2e77afb1340996cd8948d9a9a6","mode":"100644","path":"publication_notices/per_paper/X/production_replay/third_party/NOTICE_PROVENANCE.json","sha256":"03137d45dbdbfea4af5a57805cd608b4d4044f0c10c72bbb7e72427f5cd9d669","size":2492,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/X/production_replay/third_party/NOTICE_PROVENANCE.json"},{"git_blob_sha1":"fa115731dfc8fb87b3ac8e2e95ff0832479db68c","mode":"100644","path":"publication_notices/per_paper/XI/LICENSE.md","sha256":"d18b6622cb0bb3f6e99f1e9f8288a27cfd83bcdaa2560e089559ddb86913daa7","size":2483,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/XI/LICENSE.md"},{"git_blob_sha1":"bbf9add695299f98656770f56233192bbc08d869","mode":"100644","path":"publication_notices/per_paper/XI/LICENSE_STATUS.json","sha256":"0889f045792f689d2f5c8800f8256ce6ea8a1297bf0d36917e3cbf74991ccee3","size":536,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/XI/LICENSE_STATUS.json"},{"git_blob_sha1":"6bdabe686acfed0a3f687c94e96ae30a8684e0db","mode":"100644","path":"publication_notices/per_paper/XII/LICENSE.md","sha256":"0fa888f77dbeee00f2c94d1e54f5ee771c9cb6688baad4463fd01af28b0157bf","size":2828,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/XII/LICENSE.md"},{"git_blob_sha1":"35ff56070f5e98141d1ee912025f504c9b45ae68","mode":"100644","path":"publication_notices/per_paper/XII/LICENSE_STATUS.json","sha256":"153f2b7e81d4b2452d61de229697cbcdee5d3e1a2617ce4ca882b9b06d2ab272","size":666,"repository_path":"monographs/realization-calculus/publication_notices/per_paper/XII/LICENSE_STATUS.json"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/XI_build/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/XI_build/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/XI_build/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/XI_build/build/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt"},{"git_blob_sha1":"b3d93a1235a82213fbc451853317c40e62ed9272","mode":"100644","path":"source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt","sha256":"63d3ba759d12804c5b31a9d5940d855c1820d1f5999e6b0872eb1c7ff045fbc9","size":3859,"repository_path":"monographs/realization-calculus/source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt"},{"git_blob_sha1":"5f22ef0e895961c286d04830a37c10ca79d93500","mode":"100644","path":"source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt","sha256":"1315a62758a603a3e6e87a79b8389563789c59c1740b9db8bc2b20e2e2145458","size":52517,"repository_path":"monographs/realization-calculus/source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt"}],"url":"downloads/realization-calculus-book.zip","archive_bytes":36005254,"archive_sha256":"bd18271e43695c619a8752b27ec203b8acb858915188949a3d7b53201d8b83c0"},{"work":"proof-path-theory","title":"Proof Path Theory","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"17865de2891a705919cd3f9fe77e9fa3088eeddf","mode":"100644","path":"LICENSE_NOTICE.md","sha256":"b4c31291776f113d24c5b0968938074428f1989bc6ae7c5a6f628f57bc01a448","size":651,"repository_path":"monographs/proof-path-theory/LICENSE_NOTICE.md"},{"git_blob_sha1":"860b1e704f621f1a014579cfb8b31b5c0aa62fe3","mode":"100644","path":"README.md","sha256":"4a11d0e5980d985a46c9f57c2a278f18b625e1a65946dd66145435d42b498df0","size":5619,"repository_path":"monographs/proof-path-theory/README.md"},{"git_blob_sha1":"5fc7ccf297897b4c99a5b2ecf110e92f5a933e3f","mode":"100644","path":"docs/LEAN_GUIDE.md","sha256":"a7c75178cfe82ae2550e200886e3ad0e2414c64cfa8c636abe796de20eecc0f1","size":2818,"repository_path":"monographs/proof-path-theory/docs/LEAN_GUIDE.md"},{"git_blob_sha1":"c52310b5c5ff1bd519aa702a0e43d27cc53d4c1f","mode":"100644","path":"docs/Proof_Path_Theory.pdf","sha256":"811b6d512bcacc8b2aa437fba6cee89ac0ac1fe28f0bd45c5c6b24a156a9a3d9","size":1181150,"repository_path":"monographs/proof-path-theory/docs/Proof_Path_Theory.pdf"},{"git_blob_sha1":"4436117a5de4bdf8c1de657808fdffa1bb6df1d7","mode":"100644","path":"docs/Proof_Path_Theory.tex","sha256":"ce05e88b439e9fd55ef6eb04da708a63ce02e6627424e6daac0dca4177b8ab51","size":194586,"repository_path":"monographs/proof-path-theory/docs/Proof_Path_Theory.tex"},{"git_blob_sha1":"e1d37ad45bc5e86654be3058ab2d0a8b81d9f748","mode":"100644","path":"docs/Proof_Path_Theory_Visual_Sampler.pdf","sha256":"3701cfa1dd2d8efb4985ad3a841f8715e1406f24abfffa08259a85faef2ea5ff","size":517885,"repository_path":"monographs/proof-path-theory/docs/Proof_Path_Theory_Visual_Sampler.pdf"}],"url":"downloads/proof-path-theory.zip","archive_bytes":1705910,"archive_sha256":"5d4da4d38508d21eb0c48aef860a701f0be2985059f644739f3d5cf850e9a350"},{"work":"komorebi-methodology","title":"Komorebi Methodology","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"ad813494ffea31af8dc33ccb3c8349fa6123aaff","mode":"100644","path":"Komorebi_Methodology.pdf","sha256":"d24856c85d93b690dc9a63dae265bd6d8c3d4c553030b6fb105f8e328ec4dd50","size":346273,"repository_path":"monographs/komorebi-methodology/Komorebi_Methodology.pdf"},{"git_blob_sha1":"933ef4b86963af5d024e5d8d5670582f2386e461","mode":"100644","path":"Komorebi_Methodology.tex","sha256":"35a38026f98657b386e1cd2c33fe3293f2f2d8627da76cbd84022449c5a1b087","size":8199,"repository_path":"monographs/komorebi-methodology/Komorebi_Methodology.tex"},{"git_blob_sha1":"22b12325d60d20e9b77b37857f34683f21f581a8","mode":"100644","path":"README.md","sha256":"5a01d294f07b67ce251cc8ed408dbb4aad6c7fddd3047a4cc246c558b30c9cad","size":7364,"repository_path":"monographs/komorebi-methodology/README.md"}],"url":"downloads/komorebi-methodology.zip","archive_bytes":353734,"archive_sha256":"c0ff3ce89fec780fb20ee799eaecadaf128df9562df6d93b8989f3a6b73fe1bd"},{"work":"monographs-large-signal-model","title":"Large Signal Model","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a977f6b0ef4aa3f7be35b1c6b136d310c1fed1bb","mode":"100644","path":"LICENSE","sha256":"225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82","size":1068,"repository_path":"monographs/large-signal-model/LICENSE"},{"git_blob_sha1":"c0684af345c8ea0d2f8370691a9a212214d91986","mode":"100644","path":"Lean/COVERAGE.md","sha256":"5c7a004f413d8c934e39c9b865c5d4d835f9273c48f08667cd893e2a7ad2fb7b","size":52873,"repository_path":"monographs/large-signal-model/Lean/COVERAGE.md"},{"git_blob_sha1":"5a35ac3869f97a450cbd4a3d7faebcd053d3e625","mode":"100644","path":"Lean/LEAN_GUIDE.md","sha256":"2f4e89da531279f4d66aaf6acfa3f186e6f28000b7ceddb773caf66b65253ac6","size":3792,"repository_path":"monographs/large-signal-model/Lean/LEAN_GUIDE.md"},{"git_blob_sha1":"42b8b1a0613c8a17146934121c499816dc779e8f","mode":"100644","path":"Lean/LICENSE_NOTICE.md","sha256":"fcb5053c6b35cc4855270d93f2865ff27834c79c089c27784dec17ecdf7c05b4","size":492,"repository_path":"monographs/large-signal-model/Lean/LICENSE_NOTICE.md"},{"git_blob_sha1":"e324e01e4f24e52b6117612ab1ace7fb424d8b1c","mode":"100644","path":"Lean/README.md","sha256":"65d37f6c4d4712ab999e528726181c7398978b7850852ffa4abb0885d74c433c","size":3177,"repository_path":"monographs/large-signal-model/Lean/README.md"},{"git_blob_sha1":"72923fe44790268407c34d479b3817240a3db93f","mode":"100644","path":"Monograph/build/Realization_Calculus_Large_Signal_Model.pdf","sha256":"a1de997278ff0e29be27592079b680ec5706b3b902a67dfb2d56b6216e2d93eb","size":1400775,"repository_path":"monographs/large-signal-model/Monograph/build/Realization_Calculus_Large_Signal_Model.pdf"},{"git_blob_sha1":"c99a40b2c6d4bdab419530ffa803c1606a706c24","mode":"100644","path":"README.md","sha256":"727849e6dc15bf6d27b69996128a15bbef59f47e727d9243bccb4f08681021ac","size":5221,"repository_path":"monographs/large-signal-model/README.md"},{"git_blob_sha1":"45356b464f7b49add0866809c122a32b4e251835","mode":"100644","path":"Reference_Laboratory/LICENSE_STATUS.md","sha256":"70938a6d3a0376ad42c6fc78c28059382767aef73edd5a073e2bb6691fbf0a49","size":705,"repository_path":"monographs/large-signal-model/Reference_Laboratory/LICENSE_STATUS.md"},{"git_blob_sha1":"b74813e4bbfa15ed06782f79cb9d27274cc1b828","mode":"100644","path":"Visual_Companion/build/Realization_Calculus_Large_Signal_Model_Theoretical_Atlas.pdf","sha256":"ac716187177adb4afdfec9d23889c90787cae29b9db90550d10348fb321cabfe","size":331755,"repository_path":"monographs/large-signal-model/Visual_Companion/build/Realization_Calculus_Large_Signal_Model_Theoretical_Atlas.pdf"}],"url":"downloads/monographs-large-signal-model.zip","archive_bytes":1469717,"archive_sha256":"43eac73f4f531ae50b510c7a3442419bdcf0d18dbf72e54736994d8988a7df4d"},{"work":"monographs-special-functions","title":"Special Functions","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"01b92700dcff07fea29d94b38746596b1749746b","mode":"100644","path":"LEAN_STATUS.md","sha256":"6cfe5b218d17085de87eb520a11021e87e8182677674ac7b5ab707e90c575a58","size":2036,"repository_path":"monographs/special-functions/LEAN_STATUS.md"},{"git_blob_sha1":"2c1dbfbce868e30c52639af5a497e198a45b0a7f","mode":"100644","path":"README.md","sha256":"ded2a4d6cf7c1f6d1332f737f381acf452618c043b24b514d9532540ab2000d7","size":7287,"repository_path":"monographs/special-functions/README.md"},{"git_blob_sha1":"184b567406105d427a35eaddab1a462df4cbbf24","mode":"100644","path":"RIGHTS_AND_REUSE.md","sha256":"ef4f376c9e0263f2d35085e4065a58bc3412466d64c9a74eec083e319df1a18e","size":1088,"repository_path":"monographs/special-functions/RIGHTS_AND_REUSE.md"},{"git_blob_sha1":"447f642a6495c3abe974f9ff6f7f9a75989c03e1","mode":"100644","path":"books/Expanded_Visual_Guide.pdf","sha256":"89498a862350cc2dd9a7ce51d6dd9409cf3100397a59f0d83be74d4eb665dd0d","size":3361969,"repository_path":"monographs/special-functions/books/Expanded_Visual_Guide.pdf"},{"git_blob_sha1":"8460537ad9fc3f5dc9c0e556f45f2b1d02935526","mode":"100644","path":"books/Resolution_and_Coupled_Atlas.pdf","sha256":"6a0c7e052e60eb450481cb78b4b0c0f6a4bcb118af15d5ca9f3bbbbef7e3d9c9","size":1982979,"repository_path":"monographs/special-functions/books/Resolution_and_Coupled_Atlas.pdf"},{"git_blob_sha1":"ed0dbaf5ed2e671683d3612bb40629c425fc60a3","mode":"100644","path":"books/Special_Functions.pdf","sha256":"f3fec137e8f9f0b33ddea033557155ae3ae0d5ba0e3ccebf6dd77d6883be4685","size":2930346,"repository_path":"monographs/special-functions/books/Special_Functions.pdf"},{"git_blob_sha1":"7923ca7ef6947dad7164d7d263cddca99b5525b2","mode":"100644","path":"formalization/Block01/CLAIM_MAP.json","sha256":"2dc3b8db2a1d4c2189cdbea7db11969701c70168f8f6a1a4ec53fd7f430f06fa","size":2417,"repository_path":"monographs/special-functions/formalization/Block01/CLAIM_MAP.json"},{"git_blob_sha1":"72b4ad0fb1a4de91c5112e099ee40a0d4cd54da9","mode":"100644","path":"formalization/Block01/REPORT.md","sha256":"f442f2a7fd8862db2d661684d43c0a7c5d6c0716f482a00df4741b1a52d1d775","size":7463,"repository_path":"monographs/special-functions/formalization/Block01/REPORT.md"},{"repository_path":"monographs/special-functions/formalization/Block17/CLAIM_MAP.json","work":"monographs-special-functions","path":"formalization/Block17/CLAIM_MAP.json","size":3730,"mode":"100644","sha256":"5504b82f528db46e510e4310f0307913afc868124487475efef2ef10de15e057","git_blob_sha1":"1a37cbd26ca5fe80555dbf8d1d857988a6023859","source_record":"monographs/special-functions/formalization/Block17/SOURCE_MANIFEST.json","source_record_sha256":"28397265a8c046fe96808490ad63d0d6f36237de1d611a360897f7505faf566a"},{"repository_path":"monographs/special-functions/formalization/Block17/REPORT.md","work":"monographs-special-functions","path":"formalization/Block17/REPORT.md","size":3712,"mode":"100644","sha256":"525d93c14032a84acb2c02fd70b0847d2551a7cbad4d0fdd9f704e8eafc0bcb8","git_blob_sha1":"fc1143a07045607d099925fd30da5d711dbcc108","source_record":"monographs/special-functions/formalization/Block17/SOURCE_MANIFEST.json","source_record_sha256":"28397265a8c046fe96808490ad63d0d6f36237de1d611a360897f7505faf566a"},{"repository_path":"monographs/special-functions/formalization/Block17/SOURCE_MANIFEST.json","work":"monographs-special-functions","path":"formalization/Block17/SOURCE_MANIFEST.json","size":38728,"mode":"100644","sha256":"28397265a8c046fe96808490ad63d0d6f36237de1d611a360897f7505faf566a","git_blob_sha1":"8ea49d8e81cd581901ac0f892ad3dd23ee303c15","source_record":"monographs/special-functions/formalization/Block17/SOURCE_MANIFEST.json","source_record_sha256":"28397265a8c046fe96808490ad63d0d6f36237de1d611a360897f7505faf566a"},{"repository_path":"monographs/special-functions/formalization/Block17/evidence/receipt.json","work":"monographs-special-functions","path":"formalization/Block17/evidence/receipt.json","size":96332,"mode":"100644","sha256":"bf5d67e5128ef3dde45f66277823e30124196829873dd61158d0c9161ba33e1f","git_blob_sha1":"d8adfe8b23a4bad9287d5181eaa09f4085092ef3","source_record":"monographs/special-functions/formalization/Block17/SOURCE_MANIFEST.json","source_record_sha256":"28397265a8c046fe96808490ad63d0d6f36237de1d611a360897f7505faf566a"},{"git_blob_sha1":"baaea8201009211d592b54b633a9886497e312cf","mode":"100644","path":"monograph/main.tex","sha256":"87aed62acfff0d2459d4fd681a275647c39dfdc26390e140e46dc8326faac012","size":27330,"repository_path":"monographs/special-functions/monograph/main.tex"},{"git_blob_sha1":"3953b022f56904f24e010bf215833ffb5d5390cd","mode":"100644","path":"monograph/sections/proof_map.tex","sha256":"5dd77cbc25ee8e6d8e55b6e38d3643cdf4e2389cccfab227303c169202dc3fd3","size":1971,"repository_path":"monographs/special-functions/monograph/sections/proof_map.tex"},{"git_blob_sha1":"671e66ed92c1f7da7baea39a8f897821b12a3526","mode":"100644","path":"research/visual_guide.pdf","sha256":"c96da292afadecf1f2e22381799d712986eab61dff41d75df6b99fe634d2900c","size":2079295,"repository_path":"monographs/special-functions/research/visual_guide.pdf"},{"git_blob_sha1":"7020bdd7a0047f6c084f6de1e024953982487f9d","mode":"100644","path":"series/Komorebi_Special_Functions_Complete_Reader_v0.1.pdf","sha256":"202e0ce6a89ee376401970724b44d6511477c9d617d11938cb64d4b2dc43eeea","size":12909371,"repository_path":"monographs/special-functions/series/Komorebi_Special_Functions_Complete_Reader_v0.1.pdf"},{"git_blob_sha1":"545a0cb12a944f3d6d86fbdb9306a009483dd1f7","mode":"100644","path":"series/Komorebi_Special_Functions_Consolidated_Manuscript_v0.1.pdf","sha256":"3d418151da1c103ba05e0896552d637b2daffc739f915af5660d88a2fa9efbec","size":650966,"repository_path":"monographs/special-functions/series/Komorebi_Special_Functions_Consolidated_Manuscript_v0.1.pdf"}],"url":"downloads/monographs-special-functions.zip","archive_bytes":17670707,"archive_sha256":"43d4ff8d131b2954a1a77eced675b2e84c245805a14c2af7e56483dbed32fa8e"},{"work":"monographs-machine-societies","title":"Machine Societies","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"6e00bd1da81a68bae52aa7c978e32ea845487ad4","mode":"100644","path":"Machine_Societies_v1.0.0.pdf","sha256":"2cda1d30dbe1247e46981d83f9660e814f980865b6ef6b740be30c00d1133e9e","size":846236,"repository_path":"monographs/machine-societies/Machine_Societies_v1.0.0.pdf"},{"git_blob_sha1":"6384349f97f2e4830a01cc6fac3eb3c51ec3fbb0","mode":"100644","path":"README.md","sha256":"da2c97fdbedbe1a74db6c0520ed7ac1e25beeed5b1c4407f10047a95fe0071a5","size":3904,"repository_path":"monographs/machine-societies/README.md"},{"git_blob_sha1":"581c4979cac12ceae9ef94bafc75ef7932101847","mode":"100644","path":"publication/Machine_Societies_v1.0.0.tex","sha256":"600a8100804c4c91d7cf79a4985e9312eacc19195395aee01debb240cb0a6be0","size":369987,"repository_path":"monographs/machine-societies/publication/Machine_Societies_v1.0.0.tex"}],"url":"downloads/monographs-machine-societies.zip","archive_bytes":954495,"archive_sha256":"1f67fc659a8588c0a5c767e396ed2fe3c62a2869674e2fec4176f95b3384411b"},{"work":"certified-inference","title":"Certified Inference","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"41a4a91fc3003e0555809f2ee33519f02fc84061","mode":"100644","path":"README.md","sha256":"f0b416e8997be55f709b8842c7b92e4e7ffa9ae1e19fb7fa80f9a011fe298728","size":5631,"repository_path":"packages/certified-inference/README.md"}],"url":"downloads/certified-inference.zip","archive_bytes":11531,"archive_sha256":"ecaaf002c2bdd1ac3b80d9bc19acf2257bcd2973c330c9f8873197e1226d75e6"},{"work":"constructive-repair","title":"Constructive Repair","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7fd3c6b73bbb7504325c5b9e26394d2d794814e1","mode":"100644","path":"README.md","sha256":"2630414c3b1450da9d35f87024856347ec5ffe3cb9e6ac5e59b44eb2865d895c","size":7975,"repository_path":"packages/constructive-repair/README.md"},{"git_blob_sha1":"703aab98f1ff413bbfaee4b4175f5c0d0c40914c","mode":"100644","path":"monograph/Constructive_Repair.pdf","sha256":"1888dfe718ac83095ade87a489ee3ea282b474cdf4a206b7b86a5902e834670f","size":662904,"repository_path":"packages/constructive-repair/monograph/Constructive_Repair.pdf"},{"git_blob_sha1":"4e0ba11d9477fd0f89b8468a3d6c15952b18d258","mode":"100644","path":"monograph/Constructive_Repair.tex","sha256":"5a13174927f54c4cef600277cdf28c6a510cc59765f00b1347a41854a03d9496","size":153134,"repository_path":"packages/constructive-repair/monograph/Constructive_Repair.tex"}],"url":"downloads/constructive-repair.zip","archive_bytes":707495,"archive_sha256":"c3f8ffdc4eb666726aae127f45da9e15752721ad0937cf1eddfc262a42cc4cd7"},{"work":"information-realization","title":"Information Realization","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"51d0bd82e09d99954c02e3afe886f57c497fe450","mode":"100644","path":"LEAN_GUIDE.md","sha256":"f5f6bf9be5cc4549d1534e1e4ff836c4b56402af999cbaef6d6082cd682d955e","size":6829,"repository_path":"research/information-realization/LEAN_GUIDE.md"},{"git_blob_sha1":"50aa04d808cebc6a438c286f300ef427e0e253c7","mode":"100644","path":"README.md","sha256":"edc5a54e140e1929e35e832038391886ab0f7594fdccb3899b1e311070fc7645","size":5300,"repository_path":"research/information-realization/README.md"}],"url":"downloads/information-realization.zip","archive_bytes":14681,"archive_sha256":"b4d433fc69840da1bf3ec60675b717e8e773dffef4d49d906cb6789d1fd2fe68"},{"work":"komorebi-space","title":"Komorebi Space","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"204317af9ce5e7d8968b586e3f71f85a7a57509f","mode":"100644","path":"LICENSE.md","sha256":"a73473ba53ce993e538805ccfedaa49abde4cf7cf76dac339d7a810f26ad9440","size":1409,"repository_path":"monographs/komorebi-space/LICENSE.md"},{"git_blob_sha1":"44cdc0b472a1236b49ce6f17c2cb26e2567b4daa","mode":"100644","path":"README.md","sha256":"31b923c3994e48ad1da4d76a6be9077559adeab947d94d34946e023a4af8a3b8","size":4907,"repository_path":"monographs/komorebi-space/README.md"},{"git_blob_sha1":"da94c1eef3baf60e5150f7be94395aa1ae0e03a7","mode":"100644","path":"books/Komorebi_Space.pdf","sha256":"8581ac20e2665885d1c9432ec50674e7ae0bad43ca5b12220994f9c270afcffb","size":1122662,"repository_path":"monographs/komorebi-space/books/Komorebi_Space.pdf"},{"git_blob_sha1":"bca26f943b73c7ff674254c7024eeb402887b035","mode":"100644","path":"books/Komorebi_Space_Lean_Guide.pdf","sha256":"0b6843b585bd3576e7d4b7e0e7f423ddad94032a25e4ea01338ef03209935263","size":279633,"repository_path":"monographs/komorebi-space/books/Komorebi_Space_Lean_Guide.pdf"},{"git_blob_sha1":"15274174b196d06b022be16e3e4308d96b1b26ad","mode":"100644","path":"books/Komorebi_Space_Visual_Guide.pdf","sha256":"be1e5d34f616582324af8df3d737599a2575722e302fc0da8d1dfb57289466a5","size":2944426,"repository_path":"monographs/komorebi-space/books/Komorebi_Space_Visual_Guide.pdf"},{"git_blob_sha1":"5476523cf8c58c7cd874930c446b094d5c2fbeea","mode":"100644","path":"source/Komorebi_Space_Monograph.tex","sha256":"e6ef24be7ff84fa3fe575f60b709bf1a902fd65fdd22ebaf5c07b95cd616f395","size":7143,"repository_path":"monographs/komorebi-space/source/Komorebi_Space_Monograph.tex"},{"git_blob_sha1":"8a4ca3c04229cd69b64c9181331fd122a8d83541","mode":"100644","path":"supplements/komorebi-space-worked-proofs-v4/Komorebi_Space_Worked_Proofs.pdf","sha256":"2badba5722efd8f8a0c1ed6a3cf751c507ff00cf52457bf3ef6ad22228528f8f","size":1159918,"repository_path":"monographs/komorebi-space/supplements/komorebi-space-worked-proofs-v4/Komorebi_Space_Worked_Proofs.pdf"},{"git_blob_sha1":"b051876c878f254e1891d97f3258df0cfd1c1e80","mode":"100644","path":"supplements/komorebi-space-worked-proofs-v4/LICENSE.md","sha256":"053d47e3a249e69f0b02919d41d87947cde891451a7fdc06baf4c8a9f25a7322","size":1594,"repository_path":"monographs/komorebi-space/supplements/komorebi-space-worked-proofs-v4/LICENSE.md"}],"url":"downloads/komorebi-space.zip","archive_bytes":4614199,"archive_sha256":"788c1f45baf624911afead49ce85cfe5afb5c08050ce0be92b7912c1c323a855"},{"work":"kzfc-multiverse","title":"KZFC and Residual Reflection","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"8834d04615f81f944e9153545a78a394a234f861","mode":"100644","path":"README.md","sha256":"e130b018103252c146b1e97a19708ee3f16a21992004b56d0ed7af014c73662b","size":2543,"repository_path":"research/kzfc-multiverse/README.md"}],"url":"downloads/kzfc-multiverse.zip","archive_bytes":9922,"archive_sha256":"2affa61ae475e94b1530664a1d649f32b311d54877eae6d362349d85726f5bcf"},{"work":"logical-resolution","title":"Logical Resolution","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"92f5a6b92ebcc5828b5cdd5b158dcd4c465b3b39","mode":"100644","path":"README.md","sha256":"a67983e581e44be8cefa5e0f5d0856157698c73cab51e6fed20cc9038113509d","size":3055,"repository_path":"research/logical-resolution/README.md"}],"url":"downloads/logical-resolution.zip","archive_bytes":10126,"archive_sha256":"cab77f721829dc7faa6f3e078b0350d22a9a80a5b92902049c2d2a77138cc798"},{"work":"padic-canonical-realization","title":"p-adic Canonical Realization","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7321b37ed6e2da5199bc1b0b7755f7d98aeaf9e9","mode":"100644","path":"README.md","sha256":"9aea0d44d4ead21e44a395fb46536b36ea89ed7f3e2db1e5d5167feea6e3bd47","size":600,"repository_path":"research/padic-canonical-realization/README.md"}],"url":"downloads/padic-canonical-realization.zip","archive_bytes":8923,"archive_sha256":"f726c8156d008fd373d78b2be909c50d4dd7e225bc88e633ba69d27f0df3b0e7"},{"work":"realization-boundaries","title":"Realization Boundaries","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"d85f1bf85172db8555c98a703670627276920569","mode":"100644","path":"LEAN_VERIFICATION_REPORT.md","sha256":"9ef6c3c03ed0ae61d393907c6f2b60efc10331f8bb0110437b1ed9a97751c2ac","size":2874,"repository_path":"monographs/realization-boundaries/LEAN_VERIFICATION_REPORT.md"},{"git_blob_sha1":"a977f6b0ef4aa3f7be35b1c6b136d310c1fed1bb","mode":"100644","path":"LICENSE","sha256":"225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82","size":1068,"repository_path":"monographs/realization-boundaries/LICENSE"},{"git_blob_sha1":"e16cdafdae2f218a9365d284050a904fc68a5656","mode":"100644","path":"README.md","sha256":"fd0e8d32836fe0165743169f9bb6712aa5058a775ec11a7be42c61e176921590","size":5232,"repository_path":"monographs/realization-boundaries/README.md"},{"git_blob_sha1":"1a0a09b11c923998f44a2547f730d8387bd90c9b","mode":"100644","path":"docs/MONOGRAPH_COVERAGE.json","sha256":"42ae7950dea9beb648c3c9f4093eb1cadbffdf803fa3fcca514188544d6802fe","size":45788,"repository_path":"monographs/realization-boundaries/docs/MONOGRAPH_COVERAGE.json"},{"git_blob_sha1":"82b0ccd0524a6edb12b74566b2e5b16730198064","mode":"100644","path":"docs/MONOGRAPH_COVERAGE.md","sha256":"cd1279f9972b76f8465e749579e82871a8768602a9030371570289c6478f7af1","size":26028,"repository_path":"monographs/realization-boundaries/docs/MONOGRAPH_COVERAGE.md"},{"git_blob_sha1":"08b338bab3b8836c200761625685390662f6dd6e","mode":"100644","path":"publication/Realization_Boundaries_Monograph.pdf","sha256":"f40336e5f63122014339a44a38fad4f9c8e8dc4272f61a065ef1dc81f2f2a13e","size":479564,"repository_path":"monographs/realization-boundaries/publication/Realization_Boundaries_Monograph.pdf"},{"git_blob_sha1":"1a0af41869aae143c473b2996268d3886177f6b8","mode":"100644","path":"publication/monograph_source/manuscript/monograph.tex","sha256":"32b06d13d7d2fbae0152c3302240135a4f49f4362fcec88535cbc7ff25395b5c","size":6455,"repository_path":"monographs/realization-boundaries/publication/monograph_source/manuscript/monograph.tex"}],"url":"downloads/realization-boundaries.zip","archive_bytes":479605,"archive_sha256":"a332b00d33553c64f55a39a52ef992438e913d6fd7d22c61e52b55d7d96f5876"},{"work":"representation-calculus","title":"Representation Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"29d687fdfa692928625e4e5f2ce2b1ca2f3caf20","mode":"100644","path":"README.md","sha256":"23cb1e46983e851097baab027507853c0fe700e54125b44158df674d7653e79a","size":4373,"repository_path":"research/representation-calculus/README.md"}],"url":"downloads/representation-calculus.zip","archive_bytes":10683,"archive_sha256":"dfb050442078de05c608fe570ba636e5b49ea109cce8e0d6efed1d0c4c51a8de"},{"work":"sufficient-resolution","title":"Sufficient Resolution","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"69dabd9d51c701011bfee6ad379726bc88c6cf2b","mode":"100644","path":"README.md","sha256":"6205a6feef29472e9276073d9cd1e9a89e85e4cf70d2e1f5df839e4c9911fe42","size":6122,"repository_path":"monographs/sufficient-resolution/README.md"},{"git_blob_sha1":"66d817fbc6b17f07abcd822175f18c8732816c99","mode":"100644","path":"formal/PORTABLE_REPLAY.md","sha256":"5b3847037cfc378fd1cf68c9f86aaf1195a0255df55c05db0a265e728341e94c","size":3039,"repository_path":"monographs/sufficient-resolution/formal/PORTABLE_REPLAY.md"},{"git_blob_sha1":"7031be5c4c2ba385046222bd9a7b0f9e9c3ffcd3","mode":"100644","path":"lean/Sufficient_Resolution_Lean_Guide.pdf","sha256":"ddff76407230a11478fbe8ed38619b11563b670271965d702ed48238070e65b5","size":266288,"repository_path":"monographs/sufficient-resolution/lean/Sufficient_Resolution_Lean_Guide.pdf"},{"git_blob_sha1":"474257af609b1ed584c5ca6705c9478bd4019241","mode":"100644","path":"traditional/Sufficient_Resolution_Traditional.pdf","sha256":"ba4828e03f9c5318766ccae491159dd9dfc1c133ea6696cfd46e66d8f0c0b48e","size":404823,"repository_path":"monographs/sufficient-resolution/traditional/Sufficient_Resolution_Traditional.pdf"},{"git_blob_sha1":"c87f0e6f22fd9a62c8833f407c806ef7bde1d691","mode":"100644","path":"traditional/Sufficient_Resolution_Traditional.tex","sha256":"059084750bae0a9b90de03b4c1dd120eea53ab8a3d2f0d8afab63622d68ebfd1","size":141663,"repository_path":"monographs/sufficient-resolution/traditional/Sufficient_Resolution_Traditional.tex"},{"git_blob_sha1":"144eb03ed03c5336014ead4440045ebb9a92c073","mode":"100644","path":"visual/Sufficient_Resolution_Visual_Guide.pdf","sha256":"be43782b472042734b33cce13775282495a34da300ed76a436399529d71d5992","size":525105,"repository_path":"monographs/sufficient-resolution/visual/Sufficient_Resolution_Visual_Guide.pdf"}],"url":"downloads/sufficient-resolution.zip","archive_bytes":1227525,"archive_sha256":"d8093f679c30f7d21a9f360019a98649a2e78f052c46c79e6f20e887b2867eae"},{"work":"monographs-machine-native-reasoning","title":"Machine Native Reasoning","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"f5bab65a45188cb2ea0724c2426bef89cf862f1c","mode":"100644","path":"LICENSE.md","sha256":"6bf2123a6f66525b4e6982f119dd4535d5f45721ed1debce8205e3cab4a35ffe","size":563,"repository_path":"monographs/machine-native-reasoning/LICENSE.md"},{"git_blob_sha1":"463bf60270d2708dec4ad90fd20f27697798251e","mode":"100644","path":"README.md","sha256":"cda67b303061a9be537cf685ae604a1da4d5e56eb898c87c35d3582c9d208768","size":3984,"repository_path":"monographs/machine-native-reasoning/README.md"},{"git_blob_sha1":"d8543f9f0edd22a02a9cc01aef0f12a9dc3ae632","mode":"100644","path":"THEOREM_MAP.md","sha256":"78f6ada9bcc99b0d6480fd6b2780032c931c962010a0d9e191c3fd039a170b8e","size":15649,"repository_path":"monographs/machine-native-reasoning/THEOREM_MAP.md"},{"git_blob_sha1":"2deaecaaf7aaf4bf2e545755afd091056d178ed6","mode":"100644","path":"reader/Machine_Native_Reasoning_Reviewed_Core.pdf","sha256":"f737ebd1eeb6c0aacc31ac35787480b0bba3cb7dbdd81d5cf8b7bb82c6756cbd","size":348097,"repository_path":"monographs/machine-native-reasoning/reader/Machine_Native_Reasoning_Reviewed_Core.pdf"},{"git_blob_sha1":"8bbaca2dbf125ab90a01f829d2e1be8bd317f2ae","mode":"100644","path":"reader/source/book.tex","sha256":"c2ef44767a242021cc573bbba7bb0c95df74a704c99cf992d2eff0a396838593","size":107734,"repository_path":"monographs/machine-native-reasoning/reader/source/book.tex"},{"git_blob_sha1":"4654ceea327327d379c63aca2cb1f06653bed30a","mode":"100644","path":"release/RUNTIME_REPRODUCTION.md","sha256":"dc5fdbed4fd3be0a983a080e25120e835fd036a559d5e8dfd942f3ab9278a97c","size":4134,"repository_path":"monographs/machine-native-reasoning/release/RUNTIME_REPRODUCTION.md"}],"url":"downloads/monographs-machine-native-reasoning.zip","archive_bytes":365037,"archive_sha256":"4be10f97aabdd009e6bd50557433917321e2ecae64e11059e170a5ec4e222595"},{"work":"monographs-quantum-and-circuits","title":"Quantum and Circuits","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"77b47accd1b194ad1574afd013ca45f652f0a3f5","mode":"100644","path":"README.md","sha256":"d3c659113b8c8d51c901dada74b245681f6cd06031323918714234d6a0354f5e","size":5178,"repository_path":"monographs/quantum-and-circuits/README.md"},{"git_blob_sha1":"d716f29f420074de2c98f6df790178089fc7afbc","mode":"100644","path":"release_tools/README.md","sha256":"36613335246636625a40f8c69b4d6ad65ed13a13ca37425edcbfdf4d16f50da0","size":4903,"repository_path":"monographs/quantum-and-circuits/release_tools/README.md"},{"git_blob_sha1":"dfb6c7836ef861ac211bf09527852f01e1acfc8c","mode":"100644","path":"sources/circuits/Komorebi_Circuit_Obstructions_Research_Edition_1.0/historical_companion/Komorebi_Theorem_Companion_Source/source_snapshot/docs/CLAIMS.md","sha256":"e5d63bdd174d4963f83c87f2cb04cc5223aa31dd3fd7c036eee717a7d654698a","size":4052,"repository_path":"monographs/quantum-and-circuits/sources/circuits/Komorebi_Circuit_Obstructions_Research_Edition_1.0/historical_companion/Komorebi_Theorem_Companion_Source/source_snapshot/docs/CLAIMS.md"},{"git_blob_sha1":"c7870f244493f45c6d125c6053aa0b5d2c04bd68","mode":"100644","path":"sources/circuits/Komorebi_Circuit_Obstructions_Research_Edition_1.0/source/komorebi-circuit-obstructions-v1.2.0/docs/CLAIMS.md","sha256":"b22b1b87a7f22169e861b2d5906770976a2c1d6d50cd4176a057fc9fc72872b1","size":4916,"repository_path":"monographs/quantum-and-circuits/sources/circuits/Komorebi_Circuit_Obstructions_Research_Edition_1.0/source/komorebi-circuit-obstructions-v1.2.0/docs/CLAIMS.md"},{"git_blob_sha1":"0da98bcab46014eaae34fa78ae5bc9552a1c8422","mode":"100644","path":"sources/quantum/Quantum_Arithmetic_Complete_Release/output/Komorebi_Quantum_Arithmetic_Lean_Guide.pdf","sha256":"4ee7c7eb5b9955cc78a2357b526c3c421295685416bfab33543a12d0f9677a2b","size":122801,"repository_path":"monographs/quantum-and-circuits/sources/quantum/Quantum_Arithmetic_Complete_Release/output/Komorebi_Quantum_Arithmetic_Lean_Guide.pdf"},{"git_blob_sha1":"52e8c3a24939c6fb89f716b29839da45636aee76","mode":"100644","path":"sources/quantum/Quantum_Arithmetic_Complete_Release/output/Komorebi_Quantum_Arithmetic_Visual_Guide.pdf","sha256":"0b668a3263d50c392d8c3c2583c0d71539b7f367f46e10fd800006374d48fbc6","size":350518,"repository_path":"monographs/quantum-and-circuits/sources/quantum/Quantum_Arithmetic_Complete_Release/output/Komorebi_Quantum_Arithmetic_Visual_Guide.pdf"},{"git_blob_sha1":"574823f2574109e132806e1060f98babb1de8d72","mode":"100644","path":"volume/output/Realization_Calculus_Quantum_and_Circuits.pdf","sha256":"83b84e43c6205627cde7685ca38f07ea8efe7a5917b338d7b8c1fbfc518dbcae","size":2550885,"repository_path":"monographs/quantum-and-circuits/volume/output/Realization_Calculus_Quantum_and_Circuits.pdf"},{"git_blob_sha1":"9b43123a537cca305b2b63ce4a1577d5331f18fd","mode":"100644","path":"volume/volume.tex","sha256":"e9fdef02fe08d0aeae78ed879d2d3ce0e715d8f3eb1a245a51040f8b9c3122c2","size":7925,"repository_path":"monographs/quantum-and-circuits/volume/volume.tex"}],"url":"downloads/monographs-quantum-and-circuits.zip","archive_bytes":2927984,"archive_sha256":"462be715b4a188e914e7f62d632aad6871835bae51480b566b1e85e4a5430a2c"},{"work":"monographs-physics","title":"Physics","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a0847fdf741ecc4075ee97f26daae90f49d2ad0c","mode":"100644","path":"Komorebi_Physics.pdf","sha256":"def363fdba2c8cba101f0c31096631b1c5aae10fa2386b729e87b034d5d23e2c","size":14700338,"repository_path":"monographs/physics/Komorebi_Physics.pdf"},{"git_blob_sha1":"13636e0c79c3df5678e62b2bcc42275c5f3edc72","mode":"100644","path":"LICENSE","sha256":"f308a98e575106d6992d17f112a9569ee37e37ddff13f764918874ba826d1b13","size":1633,"repository_path":"monographs/physics/LICENSE"},{"git_blob_sha1":"04b72724bf5d4c550c3cf22bf2293d28dbff92a8","mode":"100644","path":"README.md","sha256":"11404507e4c1db9fe11e25f4745cf5f31e8834f6dd73eade986e8a2960752525","size":6336,"repository_path":"monographs/physics/README.md"},{"git_blob_sha1":"eee6d03c1b549c7b3c27af3fcd1a93ea460c6d5f","mode":"100644","path":"compiled/Physics_Lean_Companion/Physics_Lean_Companion.pdf","sha256":"053cec76421d6d482ff9f00f78fd2db3164f6a671bf5ee50c50dfbd853bd7b0a","size":114958,"repository_path":"monographs/physics/compiled/Physics_Lean_Companion/Physics_Lean_Companion.pdf"},{"git_blob_sha1":"6f2f391e5728f9dcd4a2bd7ecd0498b01502cec6","mode":"100644","path":"formal/continuum/README.md","sha256":"ee8540b9bad13a8912475b43c67804fdc3a37c1d153c1102f7bc57e75bc76d29","size":4578,"repository_path":"monographs/physics/formal/continuum/README.md"},{"git_blob_sha1":"b20b0a1e3321562eb5f921f6d2289ff08a9879ee","mode":"100644","path":"formal/continuum/verification/block03_baseline_interrupted/NOTICE.md","sha256":"b6c313e2fb666a70d7b6b6aaa4abae9a44933eef1779397b2d8eb61279a0ce90","size":227,"repository_path":"monographs/physics/formal/continuum/verification/block03_baseline_interrupted/NOTICE.md"}],"url":"downloads/monographs-physics.zip","archive_bytes":12903852,"archive_sha256":"64f9c3f3b3b5b9a99a7ec6b5db87ce43e4fe6177f4db854cbf136c147cd3adf5"},{"work":"monographs-cos-method","title":"COS Method","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"6909471bcc958fcccceb30efffccf0f3ee82b62a","mode":"100644","path":"K_COS_Monograph.pdf","sha256":"36d1051cd26e0dbebca334e8faab3a67b140c6a2124d9b2b43c863d56ae18ab0","size":1726687,"repository_path":"monographs/cos-method/K_COS_Monograph.pdf"},{"git_blob_sha1":"a7ff83cff914fc95f95d3c03f2208a3767bbabac","mode":"100644","path":"README.md","sha256":"2e41774b1fadc0a7ce770d19555bf7c48dbcf7ae522d54f86328a378dfa7efef","size":5003,"repository_path":"monographs/cos-method/README.md"},{"git_blob_sha1":"6ca90d1c5a66c352dbab6c8b1259cee80292148c","mode":"100644","path":"book/K_COS_Monograph.tex","sha256":"840d84882abb377ca74b8cdd83e70c9cefd9555adedd98a79273985bd3464520","size":2132,"repository_path":"monographs/cos-method/book/K_COS_Monograph.tex"}],"url":"downloads/monographs-cos-method.zip","archive_bytes":1537309,"archive_sha256":"27e49a4ae94c05d3325b42ae5200789cca4d8aba25ab7389d459aa85a4187994"},{"work":"monographs-cos-method-formal-continuation","title":"COS Method: formal continuation","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7d360d86e1eaff9fa826613bebec02716263418a","mode":"100644","path":"README.md","sha256":"604ae93141b17410590d3a52f0002d1be227e5cd5803b57079e9b6ea99c07d72","size":4108,"repository_path":"monographs/cos-method/formal-continuation/README.md"}],"url":"downloads/monographs-cos-method-formal-continuation.zip","archive_bytes":10544,"archive_sha256":"45bb1677242d640bdb6fb1092208cfddb67c74c3ed3f9082d71f6fd3e2f977d4"},{"work":"monographs-self-improving-intelligence","title":"Self-Improving Intelligence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"c18682a8352bdc094caa83d2e5c0ac1dee3bd613","mode":"100644","path":"CLAIMS.md","sha256":"5f4b83fa1043bbf8b8664c8c8a558415155c73f5e0ed9aa89a1903e74f9272c3","size":4495,"repository_path":"monographs/self-improving-intelligence/CLAIMS.md"},{"git_blob_sha1":"a67897553701f7bc6296cf8fab5855f2f387acfa","mode":"100644","path":"README.md","sha256":"c088357aad9adcaf79976a1bc761631091a70ef265c8fcf5f1532fa77fb1c2a5","size":5202,"repository_path":"monographs/self-improving-intelligence/README.md"},{"git_blob_sha1":"eb053bd5bf65e70f38d3c446d6574c0504c72c05","mode":"100644","path":"Self_Improving_Intelligence_v1.0.0.pdf","sha256":"61660121dae183af536e565ad8e0a11e18d962807d20bcb1d55984acb1722957","size":621996,"repository_path":"monographs/self-improving-intelligence/Self_Improving_Intelligence_v1.0.0.pdf"},{"git_blob_sha1":"f50a7cc7e0a8e3913a4d5c74a85d34581033e2e5","mode":"100644","path":"Self_Improving_Intelligence_v1.0.0.tex","sha256":"8de5a3881f1d58e60ab5995040153bfd419de42ffdeb21926eff9b9b50ad4b00","size":207778,"repository_path":"monographs/self-improving-intelligence/Self_Improving_Intelligence_v1.0.0.tex"}],"url":"downloads/monographs-self-improving-intelligence.zip","archive_bytes":633099,"archive_sha256":"c8197e94242f85e54aabd0c40888c1c2c65699ce2f61d64c15451b290ee1605b"},{"work":"monographs-self-improving-intelligence-visual-guide","title":"Self-Improving Intelligence: visual guide","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"077b39ea7618e8d907c131ef1ef6e9fdea544942","mode":"100644","path":"README.md","sha256":"d48029daec9608aeb2579d962e128e32b2cb27e4668f21fef3171e7824fefcec","size":4353,"repository_path":"monographs/self-improving-intelligence/visual-guide/README.md"},{"git_blob_sha1":"907170e480f4b8d5356cd721bc4fdbfa30fd1d8f","mode":"100644","path":"Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf","sha256":"e677300fd93661daedd4a429683a2be430564a89c13bdf0b9b9714e2c571eeca","size":217620,"repository_path":"monographs/self-improving-intelligence/visual-guide/Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf"}],"url":"downloads/monographs-self-improving-intelligence-visual-guide.zip","archive_bytes":190457,"archive_sha256":"7ee14813da80a54a4b8870e4817500226d060d6853fa4357e33d3da4f3e7f242"},{"work":"monographs-grounded-abstraction","title":"Grounded Abstraction","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"e10d25f67d3a783e140ac6bbd3f9ebd8e4193964","mode":"100644","path":"Grounded_Abstraction_v1.0.0.pdf","sha256":"8393870d38b218d04d8553ef901453c5f9ce3ccc54c0b427f83a9964a7d4420c","size":500483,"repository_path":"monographs/grounded-abstraction/Grounded_Abstraction_v1.0.0.pdf"},{"git_blob_sha1":"e470a781bb50720291822cabd9f984b2c9adaea7","mode":"100644","path":"Grounded_Abstraction_v1.0.0.tex","sha256":"544549a8fa2be3613adb3d75e1117396527962de27b7fa31a844497c643f6a2a","size":134461,"repository_path":"monographs/grounded-abstraction/Grounded_Abstraction_v1.0.0.tex"},{"git_blob_sha1":"aeeabce38a40c19359ec08ee6fb21a794b44cc68","mode":"100644","path":"README.md","sha256":"b1b263fffdf06cd65f39ae4acd038c85cb6c949a7e918d6a8e33e403d91dc61b","size":5663,"repository_path":"monographs/grounded-abstraction/README.md"}],"url":"downloads/monographs-grounded-abstraction.zip","archive_bytes":494241,"archive_sha256":"0f22817801cdfdcadcd2625546879a82b8d62abe7d6963328fa39b633491c37c"},{"work":"research-machine-understanding","title":"Machine Understanding","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"521a5fbb4792b621368975bab1026169aa8eb772","mode":"100644","path":"Machine_Understanding_v1.0.0.pdf","sha256":"2b380383f73a89a710ee294408b7ee1d394d643f393a17a128af5d27fb676c8a","size":521333,"repository_path":"research/machine-understanding/Machine_Understanding_v1.0.0.pdf"},{"git_blob_sha1":"23f5aaea2a0825ffcededc10114854d5100a2e79","mode":"100644","path":"Machine_Understanding_v1.0.0.tex","sha256":"dc8273001166abb4e53b3ac3df01e34d04fc6f2e132f03722d110d8cc6610113","size":168459,"repository_path":"research/machine-understanding/Machine_Understanding_v1.0.0.tex"},{"git_blob_sha1":"12ef91a9e91331b93c0774bf57a1af6258dda827","mode":"100644","path":"README.md","sha256":"74b3e2cf706bff686b0c387c9fa536570025fe38c3c7e029883aea6ac9cacfa3","size":4868,"repository_path":"research/machine-understanding/README.md"}],"url":"downloads/research-machine-understanding.zip","archive_bytes":557607,"archive_sha256":"091f78af7c7db612410d79ecdb3f22c49f86cd598769c96a7a6de0bcdc201dc9"},{"work":"experiments-agent-dynamics","title":"Agent Dynamics","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"89874850aafb7033009fc679b362b2b69b280527","mode":"100644","path":"Agent_Dynamics_Python_Visual_Atlas.pdf","sha256":"cb6fdd2d1db0011e4165a56e9a3458988816546b6a4d42622f991ec391bcd132","size":89088,"repository_path":"experiments/agent-dynamics/Agent_Dynamics_Python_Visual_Atlas.pdf"},{"git_blob_sha1":"a1e295d9671226fe369f1cd39b6e9fbf73adabfe","mode":"100644","path":"README.md","sha256":"82165883f961e25f659e7afa49842906a1aaa9bd5deb69b464419d5d174d8a54","size":4752,"repository_path":"experiments/agent-dynamics/README.md"}],"url":"downloads/experiments-agent-dynamics.zip","archive_bytes":75341,"archive_sha256":"b664477401b4aab1751eb773c87e1a6f226d4311319845f1cf4f72d06a6e7117"},{"work":"experiments-arithmetic-jspace","title":"Arithmetic J-Space Training Lab","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"714406f372fefca5f3af40a519c8e749a08c9742","mode":"100644","path":"README.md","sha256":"be9d3bcbdb501eef9751a8ab44aef7755203eb228266a89e6c132e6b8ed75eea","size":10411,"repository_path":"experiments/arithmetic-jspace/README.md"}],"url":"downloads/experiments-arithmetic-jspace.zip","archive_bytes":13127,"archive_sha256":"489fb74c72ae19f57af46ad4624cd456c6bf6fc0928a6762772b557b80f4ea54"},{"work":"experiments-jspace-causal-lab","title":"J-Space Causal Lab","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"b81652a3cec019f64d8833fe561ff4595e02aee8","mode":"100644","path":"README.md","sha256":"5bd5e0c09507562492c01810d768bb4912daef74d080a00dc8930dd04d90c8d8","size":2137,"repository_path":"experiments/jspace-causal-lab/README.md"}],"url":"downloads/experiments-jspace-causal-lab.zip","archive_bytes":9623,"archive_sha256":"a09ceecd122a079032eb01203e7729ff57cde92e3a5a6d82de8bc80eabbf64e1"},{"work":"experiments-jspace-collections","title":"J-Space Collections","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"ec100929ccb0b42408c49c7889d691da0491ad11","mode":"100644","path":"README.md","sha256":"794c264e6292c19b72ff27966378f09d48158951ce60af37a0c7c3ebf813a704","size":8573,"repository_path":"experiments/jspace-collections/README.md"}],"url":"downloads/experiments-jspace-collections.zip","archive_bytes":11968,"archive_sha256":"147d31b25e4998a78fe956da52370de670eac2b9802a661b981fb0da9104ef93"},{"work":"experiments-workspace-incubator","title":"Workspace Incubator","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"37f47632704e1e43cf1a204f134edd09036323d7","mode":"100644","path":"README.md","sha256":"271558e96018cc53c8a22b8829afef63843768c7ca6c4256d3f0074293973f4d","size":4543,"repository_path":"experiments/workspace-incubator/README.md"}],"url":"downloads/experiments-workspace-incubator.zip","archive_bytes":10615,"archive_sha256":"d3ee8d864720fb3ff82251c82f70d78682f67dbab481e61fe4fa6f10d9a6e09f"},{"work":"research-osl-neuralese","title":"OSL and Neuralese","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"54fb37616d295ed97d17083fc52da6df9d4ae90e","mode":"100644","path":"LICENSE_AND_PROVENANCE.md","sha256":"56864b63ce1038c70ce534827f4e8c757c83c2b0d0ff5b03fb1cfe486655b72b","size":1482,"repository_path":"research/osl-neuralese/LICENSE_AND_PROVENANCE.md"},{"git_blob_sha1":"fe3350e8ae09a30cbbdd7e20ea8c0aec11e6adfa","mode":"100644","path":"Neuralese/manuscript/Neuralese_Final_Research_Edition.pdf","sha256":"709922b5691d8cd5905e0eec4796616b9d752b01db29e1ad69151fae76e7805a","size":287689,"repository_path":"research/osl-neuralese/Neuralese/manuscript/Neuralese_Final_Research_Edition.pdf"},{"git_blob_sha1":"97bc953d59e28d84ac3057120a01764d0d92a784","mode":"100644","path":"Neuralese/manuscript/Neuralese_Final_Research_Edition.tex","sha256":"ddb9de65a230e01313d97e9175c1cdffd0aa9726000b72f1167168ad866542ae","size":49654,"repository_path":"research/osl-neuralese/Neuralese/manuscript/Neuralese_Final_Research_Edition.tex"},{"git_blob_sha1":"21b210c15abb2ed6642cbe10355c675697f9f04a","mode":"100644","path":"OSL/manuscript/OSL_Final_Research_Edition.pdf","sha256":"d7eb97d094f99ab149f8897a4f1224d5e72288bc04f32e3704d9f3de7a4964d9","size":275186,"repository_path":"research/osl-neuralese/OSL/manuscript/OSL_Final_Research_Edition.pdf"},{"git_blob_sha1":"75eb35dc2b89d8c81ca271b8febc77c65c1595d4","mode":"100644","path":"OSL/manuscript/OSL_Final_Research_Edition.tex","sha256":"d247475e979e2ec5df6bedf8d056ac5c905cc9186f320fd7dfde918d6a1c747c","size":41279,"repository_path":"research/osl-neuralese/OSL/manuscript/OSL_Final_Research_Edition.tex"},{"git_blob_sha1":"3531bf531e4364b9dc726016d02f7a3e39601139","mode":"100644","path":"README.md","sha256":"bf1beba7f2e268bd0a4f585a6e26ae4408b97e89d00355525ba4678a662e16bf","size":6733,"repository_path":"research/osl-neuralese/README.md"}],"url":"downloads/research-osl-neuralese.zip","archive_bytes":598807,"archive_sha256":"c9bbbcc5ea6dbe19e73194cc7f8d6091f775380294a996fe8c8a60ab20fc7cd5"},{"work":"research-osl-neuralese-reading-edition","title":"OSL and Neuralese: reading edition","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"37afad757091771f2e5a5147e1ea62caa829d42c","mode":"100644","path":"OSL_Neuralese_Manuscripts_v1.0/Neuralese/manuscript/Neuralese_Final_Research_Edition.tex","sha256":"476a68dfef743c8cc6fd76252817c84e243d330e89062a6ed2fd1a92460d776a","size":50232,"repository_path":"research/osl-neuralese/reading-edition/OSL_Neuralese_Manuscripts_v1.0/Neuralese/manuscript/Neuralese_Final_Research_Edition.tex"},{"git_blob_sha1":"3daa058788288fa4b338985d96199ac8035e39b6","mode":"100644","path":"OSL_Neuralese_Manuscripts_v1.0/OSL/manuscript/OSL_Final_Research_Edition.tex","sha256":"b7410c5465a70310e92eb60a092dbd11fcdaac8f3cdc05581e03a7a7eed8f90a","size":41881,"repository_path":"research/osl-neuralese/reading-edition/OSL_Neuralese_Manuscripts_v1.0/OSL/manuscript/OSL_Final_Research_Edition.tex"},{"git_blob_sha1":"e20dedce76f3433404dbad8c5d3ba361d6f592ed","mode":"100644","path":"OSL_Neuralese_Manuscripts_v1.0/README.md","sha256":"a25f35b034c9d274f260898646cb06c2e86c3573f69d29e88d6930741ede9774","size":813,"repository_path":"research/osl-neuralese/reading-edition/OSL_Neuralese_Manuscripts_v1.0/README.md"},{"git_blob_sha1":"8c55bc05873fe26f4ef5e9b32240f7a81853919d","mode":"100644","path":"OSL_Neuralese_Manuscripts_v1.0/publication/pdfs/Neuralese_Final_Research_Edition_v1.0.pdf","sha256":"2ec823978fa034b3e70b10601dbee4077b092bf89ced32aa6a3529a2df12d185","size":246697,"repository_path":"research/osl-neuralese/reading-edition/OSL_Neuralese_Manuscripts_v1.0/publication/pdfs/Neuralese_Final_Research_Edition_v1.0.pdf"},{"git_blob_sha1":"6adfa6e3b8550345c2b1b31a5202e810a5486711","mode":"100644","path":"OSL_Neuralese_Manuscripts_v1.0/publication/pdfs/OSL_Final_Research_Edition_v1.0.pdf","sha256":"4320df4fc1e95d6860f718504f5d3a3fd1401f9378a0a6a7f9ec5acd7b19f584","size":261535,"repository_path":"research/osl-neuralese/reading-edition/OSL_Neuralese_Manuscripts_v1.0/publication/pdfs/OSL_Final_Research_Edition_v1.0.pdf"}],"url":"downloads/research-osl-neuralese-reading-edition.zip","archive_bytes":539662,"archive_sha256":"74c0ad3176580b29e06094de15ee9cebd26204b35a1e0134d68bcdc986043089"},{"work":"research-rrct-multispace-protocol","title":"RRCT multispace convergence protocol","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"d645695673349e3947e8e5ae42332d0ac3164cd7","mode":"100644","path":"LICENSE","sha256":"cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30","size":11358,"repository_path":"research/rrct-multispace-protocol/LICENSE"},{"git_blob_sha1":"d8b23d34c6108fd90358eb9c32842b1aece1dbfb","mode":"100644","path":"README.md","sha256":"c113642e86cf3104d464ee0d4378ca8443260b928ebf8b64588a3d22451e3e6a","size":4597,"repository_path":"research/rrct-multispace-protocol/README.md"}],"url":"downloads/research-rrct-multispace-protocol.zip","archive_bytes":14876,"archive_sha256":"117671df54652bdfb301277cee65e8f71b575de79b409e19d4c78c388778f80f"},{"work":"packages-rrct","title":"RRCT","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"f754fc15da3e3039c03017f3eb5fb88882f3637a","mode":"100644","path":"README.md","sha256":"8bb03375c7159ffb47922de85e2cf865fbedbcf5805399290b87108060fc66bc","size":6479,"repository_path":"packages/rrct/README.md"}],"url":"downloads/packages-rrct.zip","archive_bytes":11361,"archive_sha256":"c3d5134377caed9598b72df7204f47961429223f2262cdac4f1e96f898b8d9bc"},{"work":"research-sric-external-admission","title":"SRIC: external semantic admission","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a977f6b0ef4aa3f7be35b1c6b136d310c1fed1bb","mode":"100644","path":"LICENSE","sha256":"225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82","size":1068,"repository_path":"research/sric-external-admission/LICENSE"},{"git_blob_sha1":"07ac8d8492e6d532f23b353e06e176f6eeee10cf","mode":"100644","path":"README.md","sha256":"4553291d1ab931c1c625bbca514e0423b49bcad7bc5297fed042c92b200951b5","size":9452,"repository_path":"research/sric-external-admission/README.md"},{"git_blob_sha1":"774575a9caad43f59f8c8552e19f8a7d8aa9a048","mode":"100644","path":"manuscript/SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.pdf","sha256":"95b83fb8af7beb2dee4261534c13b871f120c4f98ddc7c2486b1ab5a4233d940","size":99417,"repository_path":"research/sric-external-admission/manuscript/SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.pdf"},{"git_blob_sha1":"9c2381ede5764753a5b5de26ffa7e598a64398a3","mode":"100644","path":"manuscript/SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.tex","sha256":"65d3261fc51d0d92e08b98c85d26934bd35b5ce86cc0fde6c3b38809e69b62e6","size":50505,"repository_path":"research/sric-external-admission/manuscript/SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.tex"}],"url":"downloads/research-sric-external-admission.zip","archive_bytes":127565,"archive_sha256":"d12733f8b360559837b78dcc6c1324f3e069cab64d783cbcbf5afe74007f76f1"},{"work":"research-sric-block23-witness","title":"SRIC: endogenous semantic witness","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a977f6b0ef4aa3f7be35b1c6b136d310c1fed1bb","mode":"100644","path":"LICENSE","sha256":"225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82","size":1068,"repository_path":"research/sric-block23-witness/LICENSE"},{"git_blob_sha1":"7e74fe41045a9a9a25ccc8d833d942bf83da96b3","mode":"100644","path":"README.md","sha256":"3d801e8cabbd2a7efbd182548413d909156d0d03cb53bd60ecca492918d325d6","size":2977,"repository_path":"research/sric-block23-witness/README.md"},{"git_blob_sha1":"5ebfec322e1ee6c56ca6d0b1903a139739e24bb4","mode":"100644","path":"SRIC_Block23_Endogenous_Semantic_Witness.pdf","sha256":"8aeb34f3358b151d39e0e6cefcb786c5f00b4ef65ea7e4dc51fcaa2b614fae1a","size":586337,"repository_path":"research/sric-block23-witness/SRIC_Block23_Endogenous_Semantic_Witness.pdf"},{"git_blob_sha1":"301e9cd663e416cb666573422a85bdc452aa22db","mode":"100644","path":"SRIC_Block23_Endogenous_Semantic_Witness.tex","sha256":"cdcf99fa1f29fe20922207311622fb1579982841e9398b0df3f4fe0abdbb2408","size":4433,"repository_path":"research/sric-block23-witness/SRIC_Block23_Endogenous_Semantic_Witness.tex"}],"url":"downloads/research-sric-block23-witness.zip","archive_bytes":539102,"archive_sha256":"82809822ac67f6cb6939824db0e1cd1fd06b1c4bfbe6ac9c4d11d7e7bdf9d045"},{"work":"research-stratified-recursive-improvement","title":"Stratified Recursive Improvement Closure","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"ed53965e59d25b896c1200d15fd1d24cb61d947d","mode":"100644","path":"README.md","sha256":"bd9e01387317166db2068f062b5f6ea1abfb497749641208fd4055a32b64c676","size":841,"repository_path":"research/stratified-recursive-improvement/README.md"},{"git_blob_sha1":"2c3308a840641206380861544e31e7e407c2c26d","mode":"100644","path":"Stratified_Recursive_Improvement_Closure_v2.4_Block23.pdf","sha256":"334092b331349eea8795a97ba3bb7606ed33ea8958fff44bbc5aacd09452247e","size":3597433,"repository_path":"research/stratified-recursive-improvement/Stratified_Recursive_Improvement_Closure_v2.4_Block23.pdf"},{"git_blob_sha1":"ef79cde36eab762eee35766a388cdba4378f1fc2","mode":"100644","path":"Stratified_Recursive_Improvement_Closure_v2.4_Block23.tex","sha256":"c02195ebc6853c79a63f56e551eb4cc788695d3eb3c90f52a5593b1876f8601c","size":1137554,"repository_path":"research/stratified-recursive-improvement/Stratified_Recursive_Improvement_Closure_v2.4_Block23.tex"}],"url":"downloads/research-stratified-recursive-improvement.zip","archive_bytes":3136303,"archive_sha256":"02b3b70674497a5fac491259aa2b279939927985e92582d522929960ab5e9710"},{"work":"research-avoc","title":"AVOC","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"39babfcf5c386ab4b9346a71ad3f64d8d363a397","mode":"100644","path":"AVOC_Publication_1.0/README.md","sha256":"cca7108718797573d87fbe310670e124aef078e846607bbbf2241ebf7eb0e3d5","size":4420,"repository_path":"research/avoc/AVOC_Publication_1.0/README.md"},{"git_blob_sha1":"7311d987beaead9880ad52112d97ba7f567fca33","mode":"100644","path":"AVOC_Publication_1.0/manuscripts/main.tex","sha256":"d1e3796bb0d117f937d4e627ef1db3a6f23d0bf30dad63775528a8e66c0eab3e","size":1089,"repository_path":"research/avoc/AVOC_Publication_1.0/manuscripts/main.tex"},{"git_blob_sha1":"cdd29b2b2509863aa7af252cb4550e984d109761","mode":"100644","path":"AVOC_Publication_1.0/output/AVOC_Lean_Companion_Final.pdf","sha256":"1ee443ce34b2ce2da55ec3c0bd9fe219525a6f29c825336e3611a0c21ef64962","size":376983,"repository_path":"research/avoc/AVOC_Publication_1.0/output/AVOC_Lean_Companion_Final.pdf"},{"git_blob_sha1":"58bf8b9eaeae2f445ff8762159e162ee9a914a4f","mode":"100644","path":"AVOC_Publication_1.0/output/AVOC_Traditional_Final.pdf","sha256":"7c4e2aaaa4a0c2b64801ba9e707275d64e34ad012f0d926f40970c2872381dac","size":397771,"repository_path":"research/avoc/AVOC_Publication_1.0/output/AVOC_Traditional_Final.pdf"},{"git_blob_sha1":"d3b91b9c6370e764a6560525a6f5ca51791c871c","mode":"100644","path":"AVOC_Publication_1.0/output/AVOC_Visual_Guide_Final.pdf","sha256":"a2cbd94445c74b3b6f8860ef32f5466f12de4a2cef72ce33c309bc158a49c6a4","size":599198,"repository_path":"research/avoc/AVOC_Publication_1.0/output/AVOC_Visual_Guide_Final.pdf"}],"url":"downloads/research-avoc.zip","archive_bytes":1351579,"archive_sha256":"0ac3868e5d263089f1d33a6c31d28fc76319df5ba42a6b8c8798c1b7ad6b2df3"},{"work":"research-hypergraph-bayesian-refinement","title":"Hypergraph Lumpability and Bayesian Refinement","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"70b8f297679efd530069dad78c9b9390f266f14b","mode":"100644","path":"Hypergraph_Lumpability_Bayesian_Refinement.pdf","sha256":"537ecd4f0c87220e009ab4cdcb193a2a0aae9c9082f83f6e19ba86b6c9d92d0d","size":709557,"repository_path":"research/hypergraph-bayesian-refinement/Hypergraph_Lumpability_Bayesian_Refinement.pdf"},{"git_blob_sha1":"aba94c1aa96886edd8dff0f7cef9c9d3425a18fc","mode":"100644","path":"Hypergraph_Lumpability_Bayesian_Refinement.tex","sha256":"24cdab15248585832508203ee95bdb6c524d2a21c1f0c30ba891376d0da65a26","size":123756,"repository_path":"research/hypergraph-bayesian-refinement/Hypergraph_Lumpability_Bayesian_Refinement.tex"},{"git_blob_sha1":"13555394e04da8d1537275dbfff6461ad554aa49","mode":"100644","path":"README.md","sha256":"2fd17681b7e7b70333ccd2cd85dad9faf0bed972bf905ac5397926888255d825","size":4535,"repository_path":"research/hypergraph-bayesian-refinement/README.md"}],"url":"downloads/research-hypergraph-bayesian-refinement.zip","archive_bytes":676371,"archive_sha256":"2de5fa47dfcc661f6028e6284e1d01a15effc7067425ae719e5c254e01741ce3"},{"work":"research-prism-1r","title":"PRISM-1R","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"cda858bb13b9a2ea983b13136f61afe2ee43b3fa","mode":"100644","path":"README.md","sha256":"c9174babf6024a91a333ae645ede54b14ef003188bbbc328dcd22fc122d9629b","size":1155,"repository_path":"research/prism-1r/README.md"},{"git_blob_sha1":"9ebfde576c3c4388d411f5f34e37d98d4957a673","mode":"100644","path":"docs/PRISM-1R_Implementation_Deployment_Blueprint_v0.2.pdf","sha256":"a9aabd7d7a0e7eb4bee2a5159f51487b8dd981b873d29552e1aa570a71f995fd","size":710903,"repository_path":"research/prism-1r/docs/PRISM-1R_Implementation_Deployment_Blueprint_v0.2.pdf"},{"git_blob_sha1":"70d19d7afb35f118e989802aedab913df0db4da5","mode":"100644","path":"docs/PRISM-1R_Implementation_Deployment_Blueprint_v0.2.tex","sha256":"2b97ffd6c216dcc683157dfa883465c5f1bb3315569ef414596731c643ec7b8e","size":48955,"repository_path":"research/prism-1r/docs/PRISM-1R_Implementation_Deployment_Blueprint_v0.2.tex"}],"url":"downloads/research-prism-1r.zip","archive_bytes":634997,"archive_sha256":"934b779e668b2141cf294ec861851e0e203f300a232b72bab254722715e6ebdb"},{"work":"research-prism-1","title":"PRISM-1","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"b9aa751ea6c8e8b99949af806a74672b477b330a","mode":"100644","path":"Komorebi_PRISM_1_Final_Updated.pdf","sha256":"e9c22972da6602de617880e8263dd6fff613bf630cbde95307b8974e9a85d94d","size":1108490,"repository_path":"research/prism-1/Komorebi_PRISM_1_Final_Updated.pdf"},{"git_blob_sha1":"73123b74e7e27909923d06d39719273937f2d4a4","mode":"100644","path":"Komorebi_PRISM_1_Final_Updated.tex","sha256":"ddd4cfc3951592a305e76811ebcd746ea0c9a103bfc77d966211e6a50e62d23a","size":74889,"repository_path":"research/prism-1/Komorebi_PRISM_1_Final_Updated.tex"},{"git_blob_sha1":"8583279fd4c622502f435e88aa339e096ac714b7","mode":"100644","path":"README.md","sha256":"90b6b7a59be74bf4c771b0bbea7965a29f989a14d5ed9eefae291981a48861fb","size":2190,"repository_path":"research/prism-1/README.md"}],"url":"downloads/research-prism-1.zip","archive_bytes":672060,"archive_sha256":"0cd0fa0a20891fc474f5e93143bbc5d6a8cf060f22077f07c309f6be3f222cef"},{"work":"research-certified-bayesian-inference","title":"Certified Bayesian Inference","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"448293309fba8be2bfe85a35b2ab8ac01ac7f032","mode":"100644","path":"Certified_Bayesian_Publication_1.0/README.md","sha256":"c734adb01254b42dddd0343ca4bbd1e758fae984fa846aa5b9fab1d5d9884d3e","size":11227,"repository_path":"research/certified-bayesian-inference/Certified_Bayesian_Publication_1.0/README.md"},{"git_blob_sha1":"8d33d37f6a56bcb7d8d4fd3224610c327d9a52da","mode":"100644","path":"Certified_Bayesian_Publication_1.0/manuscripts/main.tex","sha256":"b40b4276ba4fa733474ec0ffa3dff8998268524d66faa437fce1a445031ea23f","size":1049,"repository_path":"research/certified-bayesian-inference/Certified_Bayesian_Publication_1.0/manuscripts/main.tex"},{"git_blob_sha1":"54e5c06c1d5027fe88f2e15de12bbd921e420336","mode":"100644","path":"Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Lean_Companion_Final.pdf","sha256":"e7c16c600452a74540abe776e6060a686479c820adaf3d23bd795cf17dc6af7c","size":346951,"repository_path":"research/certified-bayesian-inference/Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Lean_Companion_Final.pdf"},{"git_blob_sha1":"ed4d76940d895955e8fca793e34b06becd780e64","mode":"100644","path":"Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Traditional_Final.pdf","sha256":"a73f9043e460fbdb9eb2d1883644aa46244be5b7a485b61d39d82cfd72dbde67","size":388731,"repository_path":"research/certified-bayesian-inference/Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Traditional_Final.pdf"},{"git_blob_sha1":"ef7bac4da1a498833e9e16a2fdf3a99af1b5719c","mode":"100644","path":"Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Visual_Guide_Final.pdf","sha256":"253d455168e4158a3e548e4e37dcec6c94a824b6523e2fb1991f73924af8ac2c","size":644559,"repository_path":"research/certified-bayesian-inference/Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Visual_Guide_Final.pdf"}],"url":"downloads/research-certified-bayesian-inference.zip","archive_bytes":1357571,"archive_sha256":"81fa655ab819a3ffe39d7e0a479d22dde1d202f71d55a4cfb308f96c58e2d2fd"},{"work":"research-stratified-relational-workspace","title":"Stratified Relational Workspace Theory","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"74fbcfd5311ea8f032fda907d66b2d3af3da6a3b","mode":"100644","path":"LICENSE","sha256":"178d8b0f19310e6a9438ef43e762131fe7265a406c0064f24e6774296e1361d9","size":529,"repository_path":"research/stratified-relational-workspace/LICENSE"},{"git_blob_sha1":"2c5133155fc43ce78c8f6195a1df9f7f2d27eaf6","mode":"100644","path":"README.md","sha256":"c6a57f08280d587159b457f00d44851e0322cecbefcf773891112c261b465050","size":6064,"repository_path":"research/stratified-relational-workspace/README.md"},{"git_blob_sha1":"0a7eafb806a3678922a5c2454f608f3c2d88fb49","mode":"100644","path":"monograph/Stratified_Relational_Workspace_Theory.pdf","sha256":"e6b306f8190ab352d6226a2f9d06f4af16f4455207f13ab39e92b84d7e5d038b","size":1120468,"repository_path":"research/stratified-relational-workspace/monograph/Stratified_Relational_Workspace_Theory.pdf"},{"git_blob_sha1":"9eae90a5b2f3eb98f2a5b0e6efdb82c17773296a","mode":"100644","path":"monograph/Stratified_Relational_Workspace_Theory.tex","sha256":"83cc9d33315d5a6202279ee7080400eda17ae9e9691cc55fec01241f7aca54c6","size":5351,"repository_path":"research/stratified-relational-workspace/monograph/Stratified_Relational_Workspace_Theory.tex"}],"url":"downloads/research-stratified-relational-workspace.zip","archive_bytes":1108500,"archive_sha256":"266f52b200f8f461df69afdfda99adfcd2a0b7d9f4c359bec7d211444f0c9f19"},{"work":"research-machine-theory-formal","title":"Machine Theory: formal development","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"ad019d4d83e75d3454fae8ba6dfc0f2af99ac9b0","mode":"100644","path":"README.md","sha256":"01638f21c5a3bb40d3986272780e28dfb96fa4967cbd8fe2c90f121c8e99acf4","size":3462,"repository_path":"research/machine-theory-formal/README.md"},{"git_blob_sha1":"1057c2694e53f08481fd13420b2ffde03148a6a9","mode":"100644","path":"source/Reviewed_Core_v0.2.pdf","sha256":"ba3bd8106514f9805c241a9651b3ab7e253fafb6f06db8898749925393f4521f","size":417959,"repository_path":"research/machine-theory-formal/source/Reviewed_Core_v0.2.pdf"}],"url":"downloads/research-machine-theory-formal.zip","archive_bytes":389485,"archive_sha256":"153fd13cdb6bd6926683dbaeb687ab0cf0c10d9196b5556536ae2ed53cb02f8c"},{"work":"research-machine-native-reasoning-wider","title":"Machine Native Reasoning: wider continuation","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7a4d6df6cdfed28f4c8e7a361ee3223497318b65","mode":"100644","path":"LICENSE_NOTICE.md","sha256":"546332f6e0e585e1c0fe53bc05afb6c165b75ef0fe0a180f7b891760f98b31db","size":987,"repository_path":"research/machine-native-reasoning-wider/LICENSE_NOTICE.md"},{"git_blob_sha1":"bd06ccbbb939c879730712bf51b0abd0a2aba365","mode":"100644","path":"Machine_Native_Reasoning_Reviewed_Continuation.pdf","sha256":"e2baed8d2e72c536cf547be48ed853d8c43cf91ec8bce0a59a33d4ac240b519d","size":613796,"repository_path":"research/machine-native-reasoning-wider/Machine_Native_Reasoning_Reviewed_Continuation.pdf"},{"git_blob_sha1":"fb0de46332a20f28696d48a5e0fa67cfcd5c7ac1","mode":"100644","path":"README.md","sha256":"65a5963cf0c970af6e45ff9964122eb5a351e5cd5027e45f2651d330f699faf5","size":4481,"repository_path":"research/machine-native-reasoning-wider/README.md"},{"git_blob_sha1":"0381ecdeebfc89a44d143e88bceb7c5666fb59c3","mode":"100644","path":"book.tex","sha256":"6b91659bcd92c8b082243a2905d5b3490af25bc2e6dbe8e492a5596431b6579a","size":11595,"repository_path":"research/machine-native-reasoning-wider/book.tex"},{"git_blob_sha1":"7a4d6df6cdfed28f4c8e7a361ee3223497318b65","mode":"100644","path":"verification/predecessor/LICENSE_NOTICE.md","sha256":"546332f6e0e585e1c0fe53bc05afb6c165b75ef0fe0a180f7b891760f98b31db","size":987,"repository_path":"research/machine-native-reasoning-wider/verification/predecessor/LICENSE_NOTICE.md"}],"url":"downloads/research-machine-native-reasoning-wider.zip","archive_bytes":567815,"archive_sha256":"e61d4ca8a2fa80ff7ef111c0b8daf2f0fe997597524878fae50a59d336db21dc"},{"work":"abc-global-rr8","title":"ABC: global RR8 branch","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"1b800f12b8bd91f91a33dc0c65330b413883e5e6","mode":"100644","path":"README.md","sha256":"f0be939b7b4959a15bc46fd8deaa68a3d27e75ebe61b1f30af50f9ec568e902f","size":1010,"repository_path":"research/abc-global-rr8/README.md"},{"git_blob_sha1":"ce358365551a416f6c0c5c853cc9fd72e4724219","mode":"100644","path":"abc_work/komorebi_arithmetic/routes/witt_space/CLAIMS.md","sha256":"07d40859de00bbc448c9dd1d50e6a1174fe915ee00a67acdc1fa6c3e4db40938","size":2188,"repository_path":"research/abc-global-rr8/abc_work/komorebi_arithmetic/routes/witt_space/CLAIMS.md"}],"url":"downloads/abc-global-rr8.zip","archive_bytes":10579,"archive_sha256":"3c573442408bae20a1d0ccbdb3b1133057239f75b8e25ccc828d5685952aad87"},{"work":"abc-reader","title":"ABC: source and evidence reader","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"ce6af8cbeb19359a2d31b5cd742bcf80b4dd768b","mode":"100644","path":"README.md","sha256":"f5e9d499346469124796f56f0fbf5963928baa815c24169e95b719c05a937748","size":3298,"repository_path":"research/abc-reader/README.md"},{"git_blob_sha1":"3b4cc11a6a9adb89e183bb231ca073f45c3c78f7","mode":"100644","path":"paper/main.tex","sha256":"653e43b9fe961eb0e04669639c986fd585d1488a27abeb49519d65aa8cb8ef9a","size":2529,"repository_path":"research/abc-reader/paper/main.tex"},{"git_blob_sha1":"3e6bd08474974e0cac3c31b619f4947a9d370f13","mode":"100644","path":"pdf/Komorebi_ABC_Conjecture_Piece_v1.0.pdf","sha256":"ff41b05199bc9eea906b3ac8bc16a4b0453cb639eccc0c36d3377bfc5ff73c46","size":485674,"repository_path":"research/abc-reader/pdf/Komorebi_ABC_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"edc77fae6882803f497a1d6f8632181d70a0e0c8","mode":"100644","path":"pdf/Komorebi_ABC_Visual_Guide_v1.0.pdf","sha256":"56706de139b5211dc5cc06f227d5605d055fcd3891d08e46b447440ae7166856","size":459170,"repository_path":"research/abc-reader/pdf/Komorebi_ABC_Visual_Guide_v1.0.pdf"}],"url":"downloads/abc-reader.zip","archive_bytes":928907,"archive_sha256":"c5a25356db55a62713e80d3e657ebc9f028ee6271801a1620a98bdc3cd87fb9d"},{"work":"addmul-arithmetic-reconstruction","title":"AddMul Arithmetic Reconstruction","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7315f19b61f295e8ba49406dc74e9c116912e8a0","mode":"100644","path":"README.md","sha256":"a80856f19a64ba68b9429869b6776bc23545124b2bc8872d853d197d648973cd","size":2144,"repository_path":"research/addmul-arithmetic-reconstruction/README.md"}],"url":"downloads/addmul-arithmetic-reconstruction.zip","archive_bytes":9549,"archive_sha256":"e051c56ef0a55f18a50c71a04cf265d267a0dec9def36169a0099f8df912b0e0"},{"work":"beal-reader","title":"Beal: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"694bd66bd3df95723941520db4fc1657f8ded09a","mode":"100644","path":"README.md","sha256":"96ad6b12bf1c7b9352dfae10d15f3ade48093d6e86cb231c637e1ffa107454cf","size":4454,"repository_path":"research/beal-reader/README.md"},{"git_blob_sha1":"a565afff36373060b88458f06aae5ce20ae2da75","mode":"100644","path":"paper/main.tex","sha256":"c64bc2c468e48e23c9b058cbbaac8c2371874fcb10872143fe3abed27a4251e3","size":1620,"repository_path":"research/beal-reader/paper/main.tex"},{"git_blob_sha1":"c61fb19b88698a59f850cdf63e96b97ea1685142","mode":"100644","path":"pdf/Komorebi_Beal_Conjecture_Piece_v1.0.pdf","sha256":"3b1911d594d7c68bdfccc5d4788d4a6a33df1ce968ea226ca053f020c0b03ebf","size":406977,"repository_path":"research/beal-reader/pdf/Komorebi_Beal_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"a3ff60d2c03a8617de1523f0d01f8f8d69dbb547","mode":"100644","path":"pdf/Komorebi_Beal_Visual_Guide_v1.0.pdf","sha256":"74ff9dc7d9b2e6cf6f1372c3ec0b7396630d9e26cb1b5f3b8150da8d58cd0c27","size":472027,"repository_path":"research/beal-reader/pdf/Komorebi_Beal_Visual_Guide_v1.0.pdf"}],"url":"downloads/beal-reader.zip","archive_bytes":860527,"archive_sha256":"536b1dbb6c10557b549a49397768cb9804f75c0260dc88ebb63176b271e3f989"},{"work":"catalan-constant-reader","title":"Catalan Constant: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"4e6144005d1cd6a05496971281e708e9d5bae0a8","mode":"100644","path":"README.md","sha256":"4db5b66952d25757e5a640dee73ddd935ad1353d445967f36dd6eabc8bb9df00","size":3425,"repository_path":"research/catalan-constant-reader/README.md"},{"git_blob_sha1":"772cb957efcd1ff7ed3f1ec2268e6e3f79e66b9b","mode":"100644","path":"output/pdf/Komorebi_Catalan_Constant_Conjecture_Piece_v1.0.pdf","sha256":"048f4e6d45c3ba6c96a1e2b2df014ecbe99e68fa7c93aaec1fc8548516ac8966","size":694832,"repository_path":"research/catalan-constant-reader/output/pdf/Komorebi_Catalan_Constant_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"7203a2c425f44371e5875f1b7827704ab2c01d2b","mode":"100644","path":"output/pdf/Komorebi_Catalan_Constant_Visual_Guide_v1.0.pdf","sha256":"64429a1cbb4185a27e1620b6806373ea3706477b9efc375a99d7b37adb9ea7c6","size":742911,"repository_path":"research/catalan-constant-reader/output/pdf/Komorebi_Catalan_Constant_Visual_Guide_v1.0.pdf"},{"git_blob_sha1":"e286b31a686383338001af58ec9650c928555b9c","mode":"100644","path":"paper/main.tex","sha256":"627e91cdd82c7e767a218009532407f43feeca7d4ef37b19e6da2bb5bbb34840","size":2236,"repository_path":"research/catalan-constant-reader/paper/main.tex"}],"url":"downloads/catalan-constant-reader.zip","archive_bytes":1388188,"archive_sha256":"0c8cbc1c14561ab1b0e031237748f8fb49170a0461a3390fdcf2254c99f80da6"},{"work":"collatz-and-riemann-readers","title":"Collatz and Riemann: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"41d6c7e1efeca1350d7c0a8edc726e29d14e8df4","mode":"100644","path":"README.md","sha256":"e78333dc7942849680e47086573686ef53948750236e2ee0499f5cb89153f879","size":4741,"repository_path":"research/collatz-and-riemann-readers/README.md"},{"git_blob_sha1":"f251fb26ffe01ee51ae8da26335f5858b338854f","mode":"100644","path":"collatz/main.tex","sha256":"2df5eeceace17b09a3e97b88604a1ffda05517a77347d8962270db647fd5e860","size":630,"repository_path":"research/collatz-and-riemann-readers/collatz/main.tex"},{"git_blob_sha1":"6e047c07940b3b8708674c2c26e7eca16ce40a13","mode":"100644","path":"pdf/Komorebi_Collatz_Conjecture_Piece_v1.1.pdf","sha256":"3aaea14c928730f839c643f37feb5b7ca5a0e04ea437f5f2817311567ba09bd5","size":294612,"repository_path":"research/collatz-and-riemann-readers/pdf/Komorebi_Collatz_Conjecture_Piece_v1.1.pdf"},{"git_blob_sha1":"7ea8c07a3c455dc3896f2e2a5be8ed6d40c42149","mode":"100644","path":"pdf/Komorebi_Collatz_Visual_Guide_v1.1.pdf","sha256":"9e2e4f7d48033fd6564d55182646beac896336558aa3303da1d8382449174790","size":460536,"repository_path":"research/collatz-and-riemann-readers/pdf/Komorebi_Collatz_Visual_Guide_v1.1.pdf"},{"git_blob_sha1":"43fb2a2478e4973aa70685d1c5896af587230d6c","mode":"100644","path":"pdf/Komorebi_Riemann_Conjecture_Piece_v1.1.pdf","sha256":"e4e36b31a29f39f844959249d8a308492c1b83b51f2d773b125a5f8f61182b49","size":339586,"repository_path":"research/collatz-and-riemann-readers/pdf/Komorebi_Riemann_Conjecture_Piece_v1.1.pdf"},{"git_blob_sha1":"215a85828ec458d4c247f8e0867f35c1a240a45c","mode":"100644","path":"riemann/main.tex","sha256":"ded03b61d7f03f390361042092c5f07c98525d9bc30c85c6a0a7e3b964fd0af5","size":600,"repository_path":"research/collatz-and-riemann-readers/riemann/main.tex"}],"url":"downloads/collatz-and-riemann-readers.zip","archive_bytes":1057605,"archive_sha256":"b4cbdc9fd0e05bc36836562c0d4d91d87ace4ef7f0e8cff23d9b9748add92da5"},{"work":"euler-signal-bridge","title":"Euler Signal Bridge","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[],"url":"downloads/euler-signal-bridge.zip","archive_bytes":8496,"archive_sha256":"46e2bbc1fc5b27c960b6c8e220d90b90ffec8261ef0fd460070726a1b2b292b7"},{"work":"gaussian-elimination-guide","title":"Gaussian Elimination: collected guide","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"e432917796bd4dd1a85e427912a4077e5d1b7cd4","mode":"100644","path":"Komorebi_Gaussian_Elimination_Collected_Pages.pdf","sha256":"d342eedb04a7a0ca6d4165f4fdc55c6ee2241fd41fc3f07c46348985e207871d","size":1272288,"repository_path":"research/gaussian-elimination-guide/Komorebi_Gaussian_Elimination_Collected_Pages.pdf"}],"url":"downloads/gaussian-elimination-guide.zip","archive_bytes":1154644,"archive_sha256":"e86d0c9e7313d2c1957107c07ed9d9c2e2d8b70c71c129ec5e2ab3298ca113d4"},{"work":"hilbert12-ambient-dual-slice","title":"Hilbert 12: ambient dual slice","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[],"url":"downloads/hilbert12-ambient-dual-slice.zip","archive_bytes":8197,"archive_sha256":"bee240fc0499ef0985055b28366c9802fa23acc1a094d9ee1be24ddc7cc5a536"},{"work":"hilbert12-analytic-fourier","title":"Hilbert 12: analytic Fourier branch","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[],"url":"downloads/hilbert12-analytic-fourier.zip","archive_bytes":8176,"archive_sha256":"3196b4939e1805fa394214798c5c4c981be47d3f77267ece0b78efe01e358eb9"},{"work":"hilbert12-closure-attempt","title":"Hilbert 12: closure attempt","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"89d82c0ed42cf27cd8d0be9d7d40073496bb328a","mode":"100644","path":"README.md","sha256":"4931fd014eba316c52fc8aed476377d74edba0e3a37e1475e1e4e3e5b5d434a2","size":1013,"repository_path":"research/hilbert12-closure-attempt/README.md"}],"url":"downloads/hilbert12-closure-attempt.zip","archive_bytes":9022,"archive_sha256":"0a9b368ec183d30d5eee27f96c4828e067cb73f3b2fbe12eaf0e7e8c744ab14c"},{"work":"hilbert12-contracting-ambient-torsion","title":"Hilbert 12: contracting ambient torsion","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[],"url":"downloads/hilbert12-contracting-ambient-torsion.zip","archive_bytes":8182,"archive_sha256":"c8e0a5795309cbce4da638380b960be15a4686d0e598d7d5daddd02b7212ab70"},{"work":"hilbert12-cubic-divisor","title":"Hilbert 12: cubic divisor development","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"91b19f84123d9379482384ec431174e11076fd76","mode":"100644","path":"README.md","sha256":"9ea37ec0be9d7a131717de0560513ade53463b5dcce124aa4bff1efc9538c219","size":3630,"repository_path":"research/hilbert12-cubic-divisor/README.md"},{"git_blob_sha1":"29eddebdae1bf214aa9ba42f214ce060f8c55ca3","mode":"100644","path":"lean/H12_Cubic_Divisor_Lean_Guide.pdf","sha256":"b2e47b618111d5941cfe09376feda84059b3745dd7e5309ec5ff3290465c775c","size":209644,"repository_path":"research/hilbert12-cubic-divisor/lean/H12_Cubic_Divisor_Lean_Guide.pdf"},{"git_blob_sha1":"6b872e691ad0e3b11eb6d9491e432012b145ee5b","mode":"100644","path":"traditional/H12_Cubic_Divisor_Traditional.pdf","sha256":"273a478f1e12c87380d71ac866222db12c96c4fcc8fdb21eaae3de952bec2031","size":637864,"repository_path":"research/hilbert12-cubic-divisor/traditional/H12_Cubic_Divisor_Traditional.pdf"},{"git_blob_sha1":"550707e5e45c19b8ae490ae2fd5e730f3e11cb73","mode":"100644","path":"traditional/H12_Cubic_Divisor_Traditional.tex","sha256":"e21aff9c8b7ebfcca053632337e0e7c0686636ee456029cc9515304384ee2348","size":7907,"repository_path":"research/hilbert12-cubic-divisor/traditional/H12_Cubic_Divisor_Traditional.tex"},{"git_blob_sha1":"234391289786b8ace3e00aaeb9f9899dc0501433","mode":"100644","path":"visual/H12_Cubic_Divisor_Visual_Guide.pdf","sha256":"7f8ffa25f09fd86494b89d22a7a6781c15786bd35c87a4fd69c3816d9d84b309","size":427886,"repository_path":"research/hilbert12-cubic-divisor/visual/H12_Cubic_Divisor_Visual_Guide.pdf"}],"url":"downloads/hilbert12-cubic-divisor.zip","archive_bytes":1089204,"archive_sha256":"77d012eaa5caf8b6714545ef422ac9724c65f8b23137bdf6fb1626c905c3b170"},{"work":"hodge-reader","title":"Hodge: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"0dcf291b228343017ecba96e4253e9c35057ddf5","mode":"100644","path":"README.md","sha256":"73ac2a4b99a84810411b8a2cba7236a9130a78b8f995b6b392267c72be27b162","size":2710,"repository_path":"research/hodge-reader/README.md"},{"git_blob_sha1":"dbc10f77d8b53250db4952cb6a1444b20ff644e6","mode":"100644","path":"paper/main.tex","sha256":"5657b5d4b3e423f4842ac2727ade115f12a191aefd578cb4ff99bdb28cef5d0d","size":2910,"repository_path":"research/hodge-reader/paper/main.tex"},{"git_blob_sha1":"4ddbd1207a45657648f5a6655e5a26d146188cb0","mode":"100644","path":"pdf/Komorebi_Hodge_Conjecture_Piece_v1.0.pdf","sha256":"9fe0ad078543e195cbf8d1ff7bd0115de23c9adefbb09a7e4b7e48c3a71775ee","size":816196,"repository_path":"research/hodge-reader/pdf/Komorebi_Hodge_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"15295142cc7afee012ccc9cc91c6c97e8d1559be","mode":"100644","path":"pdf/Komorebi_Hodge_Visual_Guide_v1.0.pdf","sha256":"a413b1a74052a91d52bc604972404c3041148e98dbebb0e40977ac46b1c1e30d","size":605017,"repository_path":"research/hodge-reader/pdf/Komorebi_Hodge_Visual_Guide_v1.0.pdf"}],"url":"downloads/hodge-reader.zip","archive_bytes":1369651,"archive_sha256":"6db17d0007e22f57ece659488e686a0653aacae60d050b44f00dbdc32909943a"},{"work":"inverse-galois-reader","title":"Inverse Galois: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"c121dd22a209f4f8752b244c5cc2f73f47144563","mode":"100644","path":"README.md","sha256":"ecf3d8a9be598b167b5922c373b662229364cd4690ee57a3beecc362536da9e2","size":4567,"repository_path":"research/inverse-galois-reader/README.md"},{"git_blob_sha1":"d26654512f3a2e317bcd3ef5574a5f3d6c1649b0","mode":"100644","path":"output/pdf/Komorebi_Inverse_Galois_Conjecture_Piece_v1.0.pdf","sha256":"ef875e41b6edf972936340e5552fe921f1acd2216c1e59533bb2f6b98d090f8a","size":685617,"repository_path":"research/inverse-galois-reader/output/pdf/Komorebi_Inverse_Galois_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"a6eb68a063c9d23541dbae0e604855584eb9efd0","mode":"100644","path":"output/pdf/Komorebi_Inverse_Galois_Visual_Guide_v1.0.pdf","sha256":"8897d288a9b07bb88c2f541d3a96c5fc20f16eddc41ebdd170789e7779c9fe89","size":672113,"repository_path":"research/inverse-galois-reader/output/pdf/Komorebi_Inverse_Galois_Visual_Guide_v1.0.pdf"},{"git_blob_sha1":"3e339d83746c6f51e18f03699adc91dca401d416","mode":"100644","path":"paper/main.tex","sha256":"4f478581593e2227ab6f9e2bfb87f1718378aae69ea1a73f861a6285671319d3","size":1742,"repository_path":"research/inverse-galois-reader/paper/main.tex"}],"url":"downloads/inverse-galois-reader.zip","archive_bytes":1295274,"archive_sha256":"b5f3963241214831a6b63d752b51c785e3c88012f957dcd4a4e5fcd09b94c2ca"},{"work":"iut-valuation-hulls","title":"IUT Valuation Hulls","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"8743b139e7602bf92300fb884442a46e2b9fe9f5","mode":"100644","path":"README.md","sha256":"abd62aaa4edd227f1e27aa78aa1d42fd52445346e7e9454048aa16db1f839c75","size":2360,"repository_path":"research/iut-valuation-hulls/README.md"},{"git_blob_sha1":"2025c0058e70757ece057723cc756157ccedd946","mode":"100644","path":"formalization/lean/README.md","sha256":"86e76d69ea482d0def79ef4a1808ec40b4e840c3144c40b625ce6f825c76c187","size":2560,"repository_path":"research/iut-valuation-hulls/formalization/lean/README.md"}],"url":"downloads/iut-valuation-hulls.zip","archive_bytes":11300,"archive_sha256":"4f451aa56e42e227eba0a7eb0e886f30a93abdd4f7c722f2d80ca18da095370e"},{"work":"lehmer-reader","title":"Lehmer: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"8e7397a7d5a71f8eba96d2711b50e65e07f847eb","mode":"100644","path":"README.md","sha256":"5f387ab0a43d6d739e752d8d5d746772970bc40e68effb4bfc38f5aa064cb098","size":3647,"repository_path":"research/lehmer-reader/README.md"},{"git_blob_sha1":"d856abe69ca70272e3db828d5ca829a978d55242","mode":"100644","path":"output/pdf/Komorebi_Lehmer_Conjecture_Piece_v1.0.pdf","sha256":"67489fe4cba46d9a1f09010576b2dba182a29c1a8b44803f60e98068af6241de","size":710102,"repository_path":"research/lehmer-reader/output/pdf/Komorebi_Lehmer_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"4ad27ee493d6aef43e2311e282039d509cf5ef5d","mode":"100644","path":"output/pdf/Komorebi_Lehmer_Visual_Guide_v1.0.pdf","sha256":"d6e185b0e83e3390cc8627e44ec9a330781dfd9b285b873f04db19bee1ffb165","size":560436,"repository_path":"research/lehmer-reader/output/pdf/Komorebi_Lehmer_Visual_Guide_v1.0.pdf"},{"git_blob_sha1":"393909294e614960946efea2b0e1bf5f8484694e","mode":"100644","path":"paper/main.tex","sha256":"3b82a61841411c5045cd495b2278cf2cc65b076508172a582540932e5dd5b53e","size":2438,"repository_path":"research/lehmer-reader/paper/main.tex"}],"url":"downloads/lehmer-reader.zip","archive_bytes":1222446,"archive_sha256":"c18edc3a0d593aab69e88a9cf502251f6c3696fdc08a7d28960e469a0ab139a3"},{"work":"machine-native-mathematics-essay","title":"The Possibility for a Machine Native Mathematics","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"d4a1f3d82dab5c854aa1a7873b3bc458554f327e","mode":"100644","path":"The_Possibility_for_a_Machine_Native_Mathematics_v10.pdf","sha256":"dfe58e51a85e008bc7f23885da8453b08201753d6d3dc4bcdb05d339d10a5920","size":377900,"repository_path":"research/machine-native-mathematics-essay/The_Possibility_for_a_Machine_Native_Mathematics_v10.pdf"}],"url":"downloads/machine-native-mathematics-essay.zip","archive_bytes":338698,"archive_sha256":"85cc6c1b929e715fea7bdd1ca9f0fadd8ff5b23f63ec4157a96d44e6e54deeee"},{"work":"model-theory-normalization","title":"Model-Theory Normalization","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"d729e4ff94e8247867559c7c3a6abe9a825ff00a","mode":"100644","path":"README.md","sha256":"4e6b5b4a3b2441bfb27e59e3be409c218d2ac30a4d041df14c5c3a2bfe903a7b","size":1918,"repository_path":"research/model-theory-normalization/README.md"}],"url":"downloads/model-theory-normalization.zip","archive_bytes":9532,"archive_sha256":"7bfe23b836bd5bbbde9f704b83128e0e80710a55f487695f94cf35b802211fce"},{"work":"prime-contact-coherence","title":"Prime-Contact Coherence Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"b8692898e66533e035b743941a81f434a75403a1","mode":"100644","path":"Projector_Resolved_Prime_Contact_Coherence_Calculus_Verified_Final.tex","sha256":"0edc42844a009616796ca4a7a3f39aa0b0a12199f68423726290d78ae10b133d","size":4598,"repository_path":"research/prime-contact-coherence/Projector_Resolved_Prime_Contact_Coherence_Calculus_Verified_Final.tex"},{"git_blob_sha1":"86cc68763b5083afe2a46c297f95f4411cfd4c99","mode":"100644","path":"README.md","sha256":"84a69c26ea9bd1fd88a9b89d0c08c48adb8f643188c7b2cf633dfd9a6aea9c99","size":1153,"repository_path":"research/prime-contact-coherence/README.md"}],"url":"downloads/prime-contact-coherence.zip","archive_bytes":11030,"archive_sha256":"c701519dbdbe3601f24d6e3f592210a269a8e336e32ab25d9cf1375682e579b4"},{"work":"resolution-semantics","title":"Resolution Semantics","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"87a5e1bbb33b86f3a3fad94b13fcf06cfb49893b","mode":"100644","path":"Komorebi_Resolution_Semantics.pdf","sha256":"52dabe54a7966775423573d3da779c92121212439fc711508109e52bc80feb2f","size":319620,"repository_path":"research/resolution-semantics/Komorebi_Resolution_Semantics.pdf"},{"git_blob_sha1":"7b42514873f46259136c6945cfda6ac1fd8075b4","mode":"100644","path":"Komorebi_Resolution_Semantics.tex","sha256":"a2d332852a022fa068bae386a57961d32a4e581987f4077b01a44d0095fc95fd","size":55606,"repository_path":"research/resolution-semantics/Komorebi_Resolution_Semantics.tex"},{"git_blob_sha1":"bbe3b37ffcac563ef48a3097cf701119b968d6f4","mode":"100644","path":"README.md","sha256":"04dd477d476dc3255362bfdd619f5766ebb51a2d87410ad81829b41824cf90c3","size":3050,"repository_path":"research/resolution-semantics/README.md"}],"url":"downloads/resolution-semantics.zip","archive_bytes":343760,"archive_sha256":"f14395fe4687831fd9bfcd66f1a312dcfcf9bab318adf7f1140735cbd3ec8b7a"},{"work":"seeded-two-axis","title":"Seeded Two-Axis Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a168fe196f74a392f379e1f80edea9c549803ed7","mode":"100644","path":"Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.pdf","sha256":"1c92afcdaeca1d924b25bb4a30371bedbdba0e7d7e3b89e5bea80fab928c9d3b","size":879286,"repository_path":"research/seeded-two-axis/Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.pdf"},{"git_blob_sha1":"59682387714d8b58af1ab2c8214279b88d260bf0","mode":"100644","path":"Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.tex","sha256":"6001facb9486c362bf0bc553123c7e988cf49224803831e01cb3ac42bd990d0e","size":307904,"repository_path":"research/seeded-two-axis/Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.tex"},{"git_blob_sha1":"9a0cb0385308081c3a43802fd5a61e374e4b71dd","mode":"100644","path":"README.md","sha256":"dc201da40bb1e422a3799ce106c8f8ee4eb076ea7cd8e035d889e305531192f1","size":5254,"repository_path":"research/seeded-two-axis/README.md"}],"url":"downloads/seeded-two-axis.zip","archive_bytes":969105,"archive_sha256":"f3976bd53324184c32c5a027a6d665b5ebddbde3559fbe3d3fb3aafc7effc2fb"},{"work":"signal-reconstruction","title":"Signal Reconstruction","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"5f1fe950dd582ea314ba272e50b896ad0e43ce7b","mode":"100644","path":"README.md","sha256":"cbaa3683a834b67221ec32a4b8552a23ca1500602d258b60a1fbc9c06a9a644d","size":4976,"repository_path":"research/signal-reconstruction/README.md"},{"git_blob_sha1":"913ae78a2924bd82322093111a849eef7f36ecb8","mode":"100644","path":"lean/Signal_Reconstruction_Lean_Guide.pdf","sha256":"5540762ea8e1faef1306136d70c89f6586ed381befae7572779a47597f132f78","size":319553,"repository_path":"research/signal-reconstruction/lean/Signal_Reconstruction_Lean_Guide.pdf"},{"git_blob_sha1":"520cd2e09bde2acbdc386647398f726ca40e8d05","mode":"100644","path":"traditional/Signal_Reconstruction_Traditional.pdf","sha256":"16ed9c4d79e2dde606cfe45379826f6e19f9e99f1d4269c96a25a613a5db323b","size":329809,"repository_path":"research/signal-reconstruction/traditional/Signal_Reconstruction_Traditional.pdf"},{"git_blob_sha1":"45aa94d82889ae56c33d1262d9eac3438660bfee","mode":"100644","path":"traditional/Signal_Reconstruction_Traditional.tex","sha256":"43db84575518b304743a37bce43ce7ded3080ffbe821482b165db443c6f70398","size":93401,"repository_path":"research/signal-reconstruction/traditional/Signal_Reconstruction_Traditional.tex"},{"git_blob_sha1":"ca27abea45f6a73b37391908aabf0931f1d2dfcb","mode":"100644","path":"visual/Signal_Reconstruction_Visual_Guide.pdf","sha256":"d04f6fe21d6982ce459b4c4d4c20e95d82913b300235061e372beb8dcedabfef","size":573203,"repository_path":"research/signal-reconstruction/visual/Signal_Reconstruction_Visual_Guide.pdf"}],"url":"downloads/signal-reconstruction.zip","archive_bytes":1231394,"archive_sha256":"3f553de301f9ac07a3e1bcbfe332f253ea611c662b89220d852c60e08694fd2a"},{"work":"stratified-universality","title":"Stratified Universality","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"f84476701b64c778914a91884a451101caf68486","mode":"100644","path":"README.md","sha256":"607f18c70dc7fd63885c3f7fade8acae757f8961262f0a2695212a397e8cde2b","size":5378,"repository_path":"research/stratified-universality/README.md"},{"git_blob_sha1":"fd554f80d4e801e1f8f59011d8c753c81cc63d9a","mode":"100644","path":"lean/Stratified_Universality_Lean_Guide.pdf","sha256":"7fa41a0cc73fe4aa849b9ea966317743d81a713817a7ca2d9d35ca053fdab0ee","size":218894,"repository_path":"research/stratified-universality/lean/Stratified_Universality_Lean_Guide.pdf"},{"git_blob_sha1":"58c0b5b8ed81fc97e6e94259e03aa4b0f02456d9","mode":"100644","path":"traditional/Stratified_Universality_Traditional.pdf","sha256":"f8cc3b041136bd17412a8291f06d651df6551333832d677424702dd648843ed6","size":2458456,"repository_path":"research/stratified-universality/traditional/Stratified_Universality_Traditional.pdf"},{"git_blob_sha1":"51ddabf5235cde9338da74b282ace54309d86f06","mode":"100644","path":"traditional/Stratified_Universality_Traditional.tex","sha256":"383014e4dcaa0cdc4c7a1d61880eb16e4b308bb769c92de2389ced7985d62d37","size":274271,"repository_path":"research/stratified-universality/traditional/Stratified_Universality_Traditional.tex"},{"git_blob_sha1":"59e4dd18ae497898bbd2c0cf6487bc54e90ec129","mode":"100644","path":"visual/Stratified_Universality_Visual_Guide.pdf","sha256":"6c21f79f22f22d7a63a48a40ed7cf41dacac3c59e8c38f175278a4968726a33e","size":415422,"repository_path":"research/stratified-universality/visual/Stratified_Universality_Visual_Guide.pdf"}],"url":"downloads/stratified-universality.zip","archive_bytes":2773361,"archive_sha256":"e82a84eb5a83dbe1b38236e3d596a9197013222d928b927bdd9f4b94d0ab4bba"},{"work":"streaming-skat","title":"Streaming Polyphase Factor Decomposition / SKAT","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"15f58c98f1fe0cd665fb04dbff23f2810921d3bb","mode":"100644","path":"FINAL_MANUSCRIPT.pdf","sha256":"fe57830366783bebb49976750d65ef1e1a6402b3d8aeb8aff460974e199680d8","size":3846674,"repository_path":"research/streaming-skat/FINAL_MANUSCRIPT.pdf"},{"git_blob_sha1":"30de7ea3d775afb31a6499db3f9820c6a332a013","mode":"100644","path":"FINAL_MANUSCRIPT.tex","sha256":"4e7c0a433a2e717d0cc650042c282b47c6f0d7d491ff0a72487e1706843f5c38","size":71861,"repository_path":"research/streaming-skat/FINAL_MANUSCRIPT.tex"},{"git_blob_sha1":"3efb9422bcca1a826ec1c506260855e238991258","mode":"100644","path":"README.md","sha256":"4b2f29799b7ba02945c52c4c21b27cc941eb3122576359ffacfa597d9720e273","size":2712,"repository_path":"research/streaming-skat/README.md"}],"url":"downloads/streaming-skat.zip","archive_bytes":3132843,"archive_sha256":"038dcf00bce2fd244a7ab16c009d3c9ea83c77705a58cb1d6efc44129020be27"},{"work":"strong-artin-reader","title":"Strong Artin: source and evidence","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a8699957abe9fbcc66c3879a689b783f0abdec6a","mode":"100644","path":"README.md","sha256":"73a8c0599e0c4196d06c8ab9f061745fe0def957c5d6f2909d4b47c92b6d176d","size":6173,"repository_path":"research/strong-artin-reader/README.md"},{"git_blob_sha1":"1d7398d09382a83fc443eb7da346266223d9c24d","mode":"100644","path":"lean/README.md","sha256":"05fd5aebfa529ca7645572ee1904f99aa2232ce28665a07ca2deece43b1c36de","size":3906,"repository_path":"research/strong-artin-reader/lean/README.md"},{"git_blob_sha1":"33492011be17a150f0681b1561b97b74b5d42883","mode":"100644","path":"paper/main.tex","sha256":"800c37ad0228ce90fc42d0e5189feb94dc2e64cb62bfe6758a43a0ef25f591ce","size":2511,"repository_path":"research/strong-artin-reader/paper/main.tex"},{"git_blob_sha1":"9af4ce63d101c6728724a4af017dc96e17d2fc89","mode":"100644","path":"pdf/Komorebi_Strong_Artin_Conjecture_Piece_v1.0.pdf","sha256":"9fbda9104f6bb04106f636a1383198f28fb2b1422014b3709d69d9c1f3671342","size":443757,"repository_path":"research/strong-artin-reader/pdf/Komorebi_Strong_Artin_Conjecture_Piece_v1.0.pdf"},{"git_blob_sha1":"87bfcb8cf9d9dca5cd74a44cfaaec565fa6c7088","mode":"100644","path":"pdf/Komorebi_Strong_Artin_Visual_Guide_v1.0.pdf","sha256":"da2e6af9e7810cb77fd603a4f625d04b4844d0130a9ae7dfbbb63eeca007e0f9","size":452466,"repository_path":"research/strong-artin-reader/pdf/Komorebi_Strong_Artin_Visual_Guide_v1.0.pdf"}],"url":"downloads/strong-artin-reader.zip","archive_bytes":886354,"archive_sha256":"f88d57ca1c0312ccf49fc53838a25c9f8444896b65c013c7c0965a7b6d65200c"},{"work":"universal-generative-deformation","title":"Universal Generative Deformation Calculus","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a977f6b0ef4aa3f7be35b1c6b136d310c1fed1bb","mode":"100644","path":"LICENSE","sha256":"225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82","size":1068,"repository_path":"packages/universal-generative-deformation/LICENSE"},{"git_blob_sha1":"d6bf2869e1c5d42a9cc29590d6d93dcc898c517e","mode":"100644","path":"README.md","sha256":"7d165383dd1af882575d751b85a48087055874db4bce06d2c860a0f1c90e17b6","size":6964,"repository_path":"packages/universal-generative-deformation/README.md"},{"git_blob_sha1":"78a4c4182b2d5dc65e6cc35466687061e1f38cbc","mode":"100644","path":"paper/Universal_Generative_Deformation_Calculus.pdf","sha256":"11998760471116a5f1961eb8ce6ed6b9fa3e0a26a0fcd8eb1197b5756f7c2592","size":809774,"repository_path":"packages/universal-generative-deformation/paper/Universal_Generative_Deformation_Calculus.pdf"},{"git_blob_sha1":"65139a2563dbe961b6ca557aab83f983cf17cd9a","mode":"100644","path":"paper/Universal_Generative_Deformation_Calculus.tex","sha256":"db4408c7e768e25958fccfa69ac90aa127972bd7cf7b9a7c77b1162bc53373f5","size":64788,"repository_path":"packages/universal-generative-deformation/paper/Universal_Generative_Deformation_Calculus.tex"}],"url":"downloads/universal-generative-deformation.zip","archive_bytes":676778,"archive_sha256":"2d25e46a2e17fe65f8a6e44f17633d483644cf343516dbb28128314d5dafe39e"},{"work":"large-signal-model","title":"Large Signal Model software","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"a977f6b0ef4aa3f7be35b1c6b136d310c1fed1bb","mode":"100644","path":"LICENSE","sha256":"225b0cead6b1b89932b5a5dc7ad6b891c26aae886b17657d04704182ac597f82","size":1068,"repository_path":"packages/large-signal-model/LICENSE"},{"git_blob_sha1":"eb1c8f3e48a1b2ae4cffd9e32fa5cc576af0b4bb","mode":"100644","path":"README.md","sha256":"65cafb221d2943d1a670fae9a5344078be23fd5fd5d44774e8dd06c0d7bfa599","size":6340,"repository_path":"packages/large-signal-model/README.md"},{"git_blob_sha1":"b72f91f310a9987cd9d6982eda62efc25c60f10e","mode":"100644","path":"paper/Projector_Resolved_Large_Algebraic_Signal_Model.pdf","sha256":"8ee60ad7bb45a1aae2c608e7024704be3d21c1fbc36dcc021a8a709952139fec","size":1083858,"repository_path":"packages/large-signal-model/paper/Projector_Resolved_Large_Algebraic_Signal_Model.pdf"},{"git_blob_sha1":"11d4532a7425ecfc159b76a8731efa2f4a0690c9","mode":"100644","path":"paper/Projector_Resolved_Large_Algebraic_Signal_Model.tex","sha256":"440e23a43a3eb7bfbb360cfbfac11fbbf2bc57a7b88f0f96ae258115b6e04365","size":46276,"repository_path":"packages/large-signal-model/paper/Projector_Resolved_Large_Algebraic_Signal_Model.tex"},{"git_blob_sha1":"9e93469f1d5ea5200a4304b28771cd15729f555b","mode":"100644","path":"provenance/original-publication-metadata/LICENSE","sha256":"bb1998666053fc5c12189938010ae86c2b595e2a94ec5b61eac73a9eaa7f61f4","size":231,"repository_path":"packages/large-signal-model/provenance/original-publication-metadata/LICENSE"}],"url":"downloads/large-signal-model.zip","archive_bytes":966551,"archive_sha256":"8b3b74f0a814b8f8ffa6c2b724b58bd33e58adbe2d7021dfd640c08113f3df47"},{"work":"machine-theory-compendium","title":"Machine Theory Compendium","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"7af439a3c2ddcef6a6903cb6342aa40c2d5c88bb","mode":"100644","path":"README.md","sha256":"7c5a2b13c6644b022cb4c697e8a8a902d05335793dd99301a316bf87c1c87702","size":5431,"repository_path":"monographs/machine-theory-compendium/README.md"},{"git_blob_sha1":"3ebeaec1ef0bab91288e1e2b46dc341d4ba7e49c","mode":"100644","path":"editorial/connected_synthesis.tex","sha256":"f4c2428de9c3ff2a46fb7abe0d37690aaa59eb9ffd48f0065a24346087b1ec5f","size":62722,"repository_path":"monographs/machine-theory-compendium/editorial/connected_synthesis.tex"},{"git_blob_sha1":"22577b7a392cdfffb08b2d46fc36ba4b4e254f1b","mode":"100644","path":"readers/Komorebi_Machine_Theory_Compendium_v1.0.0.pdf","sha256":"4b6e3b03209e3d4a52705f7452c0435efcf792e8ce0189cb9b2294ec05f00842","size":20253388,"repository_path":"monographs/machine-theory-compendium/readers/Komorebi_Machine_Theory_Compendium_v1.0.0.pdf"},{"git_blob_sha1":"39dac7f8d788d78538eb93e6b5622f671cdb1ba6","mode":"100644","path":"sources/AVOC_Lean_Companion_Final.pdf","sha256":"a45cbefb1aee2ee0227d823e765074fe05226c3942a3c35c7e628803e0efc878","size":499342,"repository_path":"monographs/machine-theory-compendium/sources/AVOC_Lean_Companion_Final.pdf"},{"git_blob_sha1":"907170e480f4b8d5356cd721bc4fdbfa30fd1d8f","mode":"100644","path":"sources/Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf","sha256":"e677300fd93661daedd4a429683a2be430564a89c13bdf0b9b9714e2c571eeca","size":217620,"repository_path":"monographs/machine-theory-compendium/sources/Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf"}],"url":"downloads/machine-theory-compendium.zip","archive_bytes":17109596,"archive_sha256":"c573319df4a11fb3f04d0d676d99437aeee466fb14b2b87830f25334c1a52274"},{"work":"physics-curvature-states","title":"Physics: curvature states","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"79687155c17dbb3aef7fbb0925e1ba1fa9311a57","mode":"100644","path":"Komorebi_Physics_Curvature_States_and_Subtraction.pdf","sha256":"0b275b228c4671109cca97d1e7fda2864eaf7629f063b27921f0492b8952cb7a","size":270761,"repository_path":"research/physics-curvature-states/Komorebi_Physics_Curvature_States_and_Subtraction.pdf"},{"git_blob_sha1":"e7a23a38d72973578032525707843de8a311d5f2","mode":"100644","path":"README.md","sha256":"8f334e6c6ab7194005773c215f74d95c533659279e444c7b047b08e06c14fbab","size":581,"repository_path":"research/physics-curvature-states/README.md"}],"url":"downloads/physics-curvature-states.zip","archive_bytes":258467,"archive_sha256":"da372b70a146212f6ecad3d5285149ec7b858dc2ccf1c819db9ab8a844e5126f"},{"work":"physics-energy-backreaction","title":"Physics: energy and backreaction","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"0347d550bdd26a6921da1ff6e4d42b4e92f1b892","mode":"100644","path":"Energy_Conserving_Production.pdf","sha256":"3b10d2fe9c6bb4e22239e26a7fc3559f196fea50fa02fdfb24740eac07c24051","size":316662,"repository_path":"research/physics-energy-backreaction/Energy_Conserving_Production.pdf"},{"git_blob_sha1":"9f4b7f9ecc3b1bb6b1b4e12ce3d3d57e4c61d771","mode":"100644","path":"Energy_Conserving_Production.tex","sha256":"4d0ee6a34540c893f419b85a791f5a0acbd3592cb64bbfcbaaced62831301acb","size":28876,"repository_path":"research/physics-energy-backreaction/Energy_Conserving_Production.tex"},{"git_blob_sha1":"13636e0c79c3df5678e62b2bcc42275c5f3edc72","mode":"100644","path":"LICENSE","sha256":"f308a98e575106d6992d17f112a9569ee37e37ddff13f764918874ba826d1b13","size":1633,"repository_path":"research/physics-energy-backreaction/LICENSE"},{"git_blob_sha1":"360e54e684d0b8266e754ce9af9d43aa78f617d9","mode":"100644","path":"README.md","sha256":"e1c133530c3f9916621a3efdc9668bcb1c954592f3ea7c4bd9cea202fefc2b87","size":6542,"repository_path":"research/physics-energy-backreaction/README.md"}],"url":"downloads/physics-energy-backreaction.zip","archive_bytes":310944,"archive_sha256":"76429e317b7a8009ad1cf5595a142a561e2df617839dd5814721e6b1f944db2d"},{"work":"physics-origin-locking","title":"Physics: origin locking","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"13636e0c79c3df5678e62b2bcc42275c5f3edc72","mode":"100644","path":"LICENSE","sha256":"f308a98e575106d6992d17f112a9569ee37e37ddff13f764918874ba826d1b13","size":1633,"repository_path":"research/physics-origin-locking/LICENSE"},{"git_blob_sha1":"8636008a65dca649884b0a7a32262e2d37db0313","mode":"100644","path":"Origin_Locking_and_Cosmological_Energy_Exchange.pdf","sha256":"fb744f480346d9627c358bbb143cf7d4302eb57695b3431466b97330a9082cdd","size":332742,"repository_path":"research/physics-origin-locking/Origin_Locking_and_Cosmological_Energy_Exchange.pdf"},{"git_blob_sha1":"4c804a28a197252b04706a1e360b0149a19a77dd","mode":"100644","path":"README.md","sha256":"7962a840d99f15713a86d03e5c608d53a2fec708315fa825912791fb26b02bc9","size":5235,"repository_path":"research/physics-origin-locking/README.md"}],"url":"downloads/physics-origin-locking.zip","archive_bytes":313043,"archive_sha256":"3e752c174f9ba8f0c952c9fe212aff185318f10f5506a91f100e50dce5b2a588"},{"work":"realization-calculus-twin-edition","title":"Realization Calculus: twin edition","source_revision":"13c5e7243e0945f18e8f5d18ff050cbab16f152b","scope":"Selected reading files. Not a complete source or build archive.","files":[{"git_blob_sha1":"0fa0b6a4d282faf57282fb40a8ffdbfdc94b1471","mode":"100644","path":"README.md","sha256":"6ce397723968e121ea794abf1fe594bd5df36c3001c14ad6a148618950e3f26b","size":5887,"repository_path":"monographs/realization-calculus-twin-edition/README.md"},{"git_blob_sha1":"8d28b76f251f7bfe25928ea9493cc271722c8a9a","mode":"100644","path":"books/Realization_Calculus_Volume_II_Realization_Boundaries.pdf","sha256":"57e5279ca4dcd0c7d1b712961d9f9275499e8fa65bed1f290680264cb2e7ed18","size":518639,"repository_path":"monographs/realization-calculus-twin-edition/books/Realization_Calculus_Volume_II_Realization_Boundaries.pdf"},{"git_blob_sha1":"907fce9471ef61efb5e08d26097e7ca4648a5d24","mode":"100644","path":"books/Realization_Calculus_Volume_I_Komorebi_Space.pdf","sha256":"ddc3085b89bf7e28fb83d2882f75f2b0d1b3b89dce43605d3562536ae9c6bbe9","size":1121111,"repository_path":"monographs/realization-calculus-twin-edition/books/Realization_Calculus_Volume_I_Komorebi_Space.pdf"},{"git_blob_sha1":"8a4ca3c04229cd69b64c9181331fd122a8d83541","mode":"100644","path":"supplements/komorebi-space-worked-proofs-v4/Komorebi_Space_Worked_Proofs.pdf","sha256":"2badba5722efd8f8a0c1ed6a3cf751c507ff00cf52457bf3ef6ad22228528f8f","size":1159918,"repository_path":"monographs/realization-calculus-twin-edition/supplements/komorebi-space-worked-proofs-v4/Komorebi_Space_Worked_Proofs.pdf"}],"url":"downloads/realization-calculus-twin-edition.zip","archive_bytes":2700338,"archive_sha256":"a76446aac13d2e660dfbed908e85b85b665286266c3df32744a6a30ed3b068a1"}]