Choose your downloads
Build one ZIP from the files you want, or download a ready-made reading selection.
Build your own ZIP · Ready-made reading ZIPs · Complete source downloads
Build your own ZIP
Combine files from several works. Start with a reading selection or PDFs, then choose individual files.
Available reading files, manuscript sources, Lean files, code, and worked examples. A selection may need other files to compile or run. Get complete sources.
Use the custom selector, or choose a ready-made ZIP below.
Ready-made reading ZIPs
One reading selection per work, with license notices and checksums. These are not complete Lean or software builds.
All bundle contents and checksums (JSON)
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Download reading ZIP · 0.9 MB · 9 selected files · Choose files
Contents and checksum
- LICENSE.md
- README.md
- editable/traditional/Paper_I_Monograph.tex
- formal/README.txt
- formal/coverage/COVERAGE_108.json
- formal/runtime_specification/LICENSE
- papers/Paper_I_Lean_Guide_Final.pdf
- papers/Paper_I_Traditional_Final.pdf
- source/traditional_v1.3.1/LICENSE_STATUS.md
ZIP SHA-256: 4b94136ca54033704135e10746a607c5cda290ea08d10ebae17cb777b472c6f7
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
Download reading ZIP · 1.0 MB · 16 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSES/LICENSE.AINTLIB.txt
- LICENSES/LICENSE_TEXT_PROVENANCE.json
- LICENSE_STATUS.json
- README.md
- editable/traditional/Paper_II_Traditional_Final.tex
- papers/LICENSE.txt
- papers/Paper_II_Lean_Guide_Final.pdf
- papers/Paper_II_Traditional_Final.pdf
- papers/Paper_II_Visual_Guide_Final.pdf
- source/LICENSE_NOTICE_2026-10-20.txt
- source/canonical_v1.2.1/LICENSE_STATUS.md
- third_party/urw_base35_fonts/COPYING
- third_party/urw_base35_fonts/LICENSE
- verification/closeout_2026-10-19/semantic/provenance/LICENSE.AINTLIB.txt
- verification/closeout_2026-10-19/semantic/receipts/cauchy/provenance/LICENSE.AINTLIB.txt
ZIP SHA-256: 2fb899c1efc29fdc62a9367e7de5b1677aaf67069cf8b372360a4914c1e014a4
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Download reading ZIP · 0.9 MB · 8 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- checkpoint_v0.3.0/baseline/source/finite/LICENSE_STATUS.md
- manuscript/Paper_III_Traditional_Final.tex
- publication/Paper_III_Final_v1.0.0.pdf
- publication/Paper_III_Lean_Guide_v1.0.0.pdf
- publication/Paper_III_Visual_Guide_v1.0.0.pdf
ZIP SHA-256: 8a8c0caf594a694860ba69791a2ad2330827cba38393f893407ce2f2c6282db5
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Download reading ZIP · 1.1 MB · 8 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/editable/traditional/Paper_IV_Traditional_Final.tex
- Paper_IV_Verification_Closeout_v1.1.0/publication_baseline/source/complete/original_snapshot/lean_release/PRSC_IV/LICENSE_STATUS.md
- README.md
- readers/Paper_IV_Lean_Guide_Final.pdf
- readers/Paper_IV_Traditional_Final.pdf
- readers/Paper_IV_Visual_Guide_Final.pdf
ZIP SHA-256: 57c744e210e8c99e8bd3432e807981f4365b844a58743b06854bc913a164f148
Paper V: Polyphase Signal Calculus
Download reading ZIP · 2.1 MB · 7 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- editable/traditional/Paper_V_Traditional_Final.tex
- papers/Paper_V_Lean_Guide_Final.pdf
- papers/Paper_V_Traditional_Final.pdf
- papers/Paper_V_Visual_Guide_Final.pdf
ZIP SHA-256: 0ab63222d80c2224d255acadb580b854de0cf9ad6ee4cf7cd9c87aa288c75c2a
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
Download reading ZIP · 1.5 MB · 8 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- editable/traditional/Paper_VI_Traditional_Final.tex
- papers/Paper_VI_Lean_Guide_Final.pdf
- papers/Paper_VI_Traditional_Final.pdf
- papers/Paper_VI_Visual_Guide_Final.pdf
- source/LICENSE_NOTICE_2026-10-20.txt
ZIP SHA-256: 834ea449ffd29e59adc4c1d5104ea068366d27f528b5e0dcab6a1258e4e23bfc
Paper VII: Quantum Seed Calculus
Download reading ZIP · 1.5 MB · 9 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- editable/traditional/Paper_VII_Traditional_Final.tex
- papers/Paper_VII_Lean_Guide_Final.pdf
- papers/Paper_VII_Traditional_Final.pdf
- papers/Paper_VII_Visual_Guide_Final.pdf
- verification/freeze_2026-10-20/LICENSE_AUDIT.json
- verification/freeze_2026-10-20/LICENSE_AUDIT.txt
ZIP SHA-256: 71d43027b18654500aaa56095c8bda951141d355679137dd58d5ef94a94f3c3f
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Download reading ZIP · 1.3 MB · 9 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- editable/traditional/Paper_VIII_Traditional_Final.tex
- papers/Paper_VIII_Lean_Guide_Final.pdf
- papers/Paper_VIII_Traditional_Final.pdf
- papers/Paper_VIII_Visual_Guide_Final.pdf
- verification/freeze_2026-10-21/LICENSE_AUDIT.json
- verification/freeze_2026-10-21/LICENSE_AUDIT.txt
ZIP SHA-256: bb5abcf31b84c6e2572a55d542dd29b3f6c7c3ae4f378d9cf3a9d3cf06db2aa6
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Download reading ZIP · 2.0 MB · 9 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- output/pdf/Paper_IX_Euler_Lean_Guide_Final.pdf
- output/pdf/Paper_IX_Euler_Visual_Guide_Final.pdf
- publication/pdfs/Paper_IX_Euler_Main_Final.pdf
- sources/lean/README.md
- verification/freeze_2026-10-21/LICENSE_AUDIT.json
- verification/freeze_2026-10-21/LICENSE_AUDIT.txt
ZIP SHA-256: ca7d20d3e92efd66330c267bfcda0ba660b25aa4f1710151a7def7dfe654b8b1
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Download reading ZIP · 1.3 MB · 16 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- current_continuation/licenses/NOTICE.md
- inherited_baseline/current_continuation/licenses/NOTICE.md
- inherited_baseline/original_releases/block27/privatechecks/block26_independent/external_sources/LICENSE
- inherited_baseline/original_releases/block27/privatechecks/block27_independent/external_sources/LICENSE
- inherited_baseline/original_releases/residue_counting/licenses/NOTICE.md
- manuscript/Paper_X_Block27_Amended.tex
- production_replay/third_party/LICENSE.AINTLIB.txt
- production_replay/third_party/NOTICE_PROVENANCE.json
- publication/pdfs/Paper_X_Lean_Guide_Final.pdf
- publication/pdfs/Paper_X_Traditional_Final.pdf
- publication/pdfs/Paper_X_Visual_Guide_Final.pdf
- verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json
- verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt
ZIP SHA-256: 5a235e72ba33e54a38636e8da7a2b304117784960beffacc86e4ee58a2081327
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Download reading ZIP · 1.9 MB · 12 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- publication/pdfs/Paper_XI_Lean_Guide_v1.1.0.pdf
- publication/pdfs/Paper_XI_Traditional_v1.1.0.pdf
- publication/pdfs/Paper_XI_Visual_Guide_v1.1.0.pdf
- publication/source/traditional/Paper_XI_Traditional_Final.tex
- publication/source/traditional/fonts/LICENSE_DejaVu.txt
- publication/source/traditional/fonts/LICENSE_URW.txt
- verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json
- verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json
- verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt
ZIP SHA-256: 42105be2d16f92307a48048eb822dfa626ed99b1556e358066ed55ef7ac948c4
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Download reading ZIP · 1.0 MB · 17 selected files · Choose files
Contents and checksum
- LICENSE.md
- LICENSE_STATUS.json
- README.md
- core/predecessor/editable/lean_guide/formal_release/LICENSE
- core/predecessor/source/latest_v0171/Paper_XII_Complete_v0.17.1_With_Visual_Appendix/formal_release/LICENSE
- core/predecessor/source/native_reverification/PRSC_XII_v0.17.1_Completion_Reverified/LICENSE
- core/publication/pdfs/Paper_XII_Lean_Guide_v1.0.0.pdf
- core/publication/pdfs/Paper_XII_Traditional_v1.0.0.pdf
- core/publication/pdfs/Paper_XII_Visual_Guide_v1.0.0.pdf
- core/publication/source/lean_guide/README.md
- core/publication/source/lean_guide/formal_release/LICENSE
- core/publication/source/lean_guide/formal_release/README.md
- core/publication/source/traditional/Paper_XII_Traditional_Final.tex
- core/verification/block01/replay/appendix-exact/isolated_bundle/formal_release/LICENSE
- verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json
- verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json
- verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt
ZIP SHA-256: fc7a77123ab6fc12dcb9b8477dfbe8b220b57d21c3cb64a715e3428cd6764ca1
Realization Calculus
Download reading ZIP · 34.3 MB · 42 selected files · Choose files
Contents and checksum
- LICENSE.txt
- README.md
- frozen_readers/Paper_I_Lean_Guide_Final.pdf
- frozen_readers/Paper_V_Visual_Guide_Final.pdf
- output/Realization_Calculus.pdf
- publication_notices/per_paper/I/LICENSE.md
- publication_notices/per_paper/II/LICENSE.md
- publication_notices/per_paper/II/LICENSES/LICENSE.AINTLIB.txt
- publication_notices/per_paper/II/LICENSES/LICENSE_TEXT_PROVENANCE.json
- publication_notices/per_paper/II/papers/LICENSE.txt
- publication_notices/per_paper/III/LICENSE.md
- publication_notices/per_paper/IV/LICENSE.md
- publication_notices/per_paper/IX/LICENSE.md
- publication_notices/per_paper/V/LICENSE.md
- publication_notices/per_paper/VI/LICENSE.md
- publication_notices/per_paper/VII/LICENSE.md
- publication_notices/per_paper/VIII/LICENSE.md
- publication_notices/per_paper/X/LICENSE.md
- publication_notices/per_paper/X/LICENSE_STATUS.json
- publication_notices/per_paper/X/current_continuation/licenses/NOTICE.md
- publication_notices/per_paper/X/production_replay/third_party/LICENSE.AINTLIB.txt
- publication_notices/per_paper/X/production_replay/third_party/NOTICE_PROVENANCE.json
- publication_notices/per_paper/XI/LICENSE.md
- publication_notices/per_paper/XI/LICENSE_STATUS.json
- publication_notices/per_paper/XII/LICENSE.md
- publication_notices/per_paper/XII/LICENSE_STATUS.json
- source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/XI/publication/source/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/XI_build/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/XI_build/build/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/book_rebuild_xi_final/build/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/book_rebuild_xi_retry/build/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/book_rebuild_xi_scope/build/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/book_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/prose_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt
- source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_DejaVu.txt
- source_ix_xii/rhythm_rebuild_xi_xii/XI/build/traditional/fonts/LICENSE_URW.txt
ZIP SHA-256: 1490d1e3e254c41d40f6daf9732dac13cb75ed0b41c3d5c7f610915f7a245c66
Proof Path Theory
Download reading ZIP · 1.6 MB · 6 selected files · Choose files
Contents and checksum
- LICENSE_NOTICE.md
- README.md
- docs/LEAN_GUIDE.md
- docs/Proof_Path_Theory.pdf
- docs/Proof_Path_Theory.tex
- docs/Proof_Path_Theory_Visual_Sampler.pdf
ZIP SHA-256: 0e86bd18448d6fcde0be8c2b2b43729e623fce3d598a771fd42d3406c605d3d6
Komorebi Methodology
Download reading ZIP · 0.3 MB · 3 selected files · Choose files
Contents and checksum
- Komorebi_Methodology.pdf
- Komorebi_Methodology.tex
- README.md
ZIP SHA-256: e2f02f5b380bffc5b0c8f98c0b85dc2a6d3d43eef7f5cca217f5e546ccf8d939
Large Signal Model
Download reading ZIP · 1.4 MB · 9 selected files · Choose files
Contents and checksum
- LICENSE
- Lean/COVERAGE.md
- Lean/LEAN_GUIDE.md
- Lean/LICENSE_NOTICE.md
- Lean/README.md
- Monograph/build/Realization_Calculus_Large_Signal_Model.pdf
- README.md
- Reference_Laboratory/LICENSE_STATUS.md
- Visual_Companion/build/Realization_Calculus_Large_Signal_Model_Theoretical_Atlas.pdf
ZIP SHA-256: 7e6631fd0d801b3adf0004f56ad430dd6c7f6f8748071dc76f88ebdeb101a221
Special Functions
Download reading ZIP · 16.9 MB · 17 selected files · Choose files
Contents and checksum
- LEAN_STATUS.md
- README.md
- RIGHTS_AND_REUSE.md
- books/Expanded_Visual_Guide.pdf
- books/Resolution_and_Coupled_Atlas.pdf
- books/Special_Functions.pdf
- formalization/Block01/CLAIM_MAP.json
- formalization/Block01/REPORT.md
- formalization/Block17/CLAIM_MAP.json
- formalization/Block17/REPORT.md
- formalization/Block17/SOURCE_MANIFEST.json
- formalization/Block17/evidence/receipt.json
- monograph/main.tex
- monograph/sections/proof_map.tex
- research/visual_guide.pdf
- series/Komorebi_Special_Functions_Complete_Reader_v0.1.pdf
- series/Komorebi_Special_Functions_Consolidated_Manuscript_v0.1.pdf
ZIP SHA-256: 2e48b11d6cb5ca9a8a135d9aba6d80c86d628dbc56c353f62a5052a73db3f129
Machine Societies
Download reading ZIP · 0.9 MB · 3 selected files · Choose files
Contents and checksum
- Machine_Societies_v1.0.0.pdf
- README.md
- publication/Machine_Societies_v1.0.0.tex
ZIP SHA-256: 1b345fc40a0d6b158d325ddc69118f3a2cf5b4db41b073bc3eb03ad349f8bc49
Certified Inference
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 47fd1dcf5acfb4e399969e36b07faab344cf43d7b5f76bcbd0688b010e4f18ab
Constructive Repair
Download reading ZIP · 0.7 MB · 3 selected files · Choose files
Contents and checksum
- README.md
- monograph/Constructive_Repair.pdf
- monograph/Constructive_Repair.tex
ZIP SHA-256: 5d83fc20d615105c45686966b54628cc62b28ca74c41fbd73dd29e2818850580
Information Realization
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LEAN_GUIDE.md
- README.md
ZIP SHA-256: ffe37f07600e11e7229841312b6e2cc7e784d993b291bc672fd4feeaca190acd
Komorebi Space
Download reading ZIP · 4.4 MB · 8 selected files · Choose files
Contents and checksum
- LICENSE.md
- README.md
- books/Komorebi_Space.pdf
- books/Komorebi_Space_Lean_Guide.pdf
- books/Komorebi_Space_Visual_Guide.pdf
- source/Komorebi_Space_Monograph.tex
- supplements/komorebi-space-worked-proofs-v4/Komorebi_Space_Worked_Proofs.pdf
- supplements/komorebi-space-worked-proofs-v4/LICENSE.md
ZIP SHA-256: 72d3e36390978405d582715585c751b4d1c893d43773fd119410c642b34ee724
KZFC and Residual Reflection
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 4ddc854911e2c32bf8f0c4967b81f1320c50d5cd8135453da39826d1a539eea0
Logical Resolution
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 57e427b44c00fb1a47ab2944228d4386e4fb92a68720c0dfa53af8872f313bb0
p-adic Canonical Realization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 17e402e5b4205e6fea623bd6083f744df62213d59522246f80107645ce4b54af
Realization Boundaries
Download reading ZIP · 0.5 MB · 7 selected files · Choose files
Contents and checksum
- LEAN_VERIFICATION_REPORT.md
- LICENSE
- README.md
- docs/MONOGRAPH_COVERAGE.json
- docs/MONOGRAPH_COVERAGE.md
- publication/Realization_Boundaries_Monograph.pdf
- publication/monograph_source/manuscript/monograph.tex
ZIP SHA-256: a0508d0a9f3b4c60cdb701e838d4a8548c790fd26496ffc0942c43d10fe05ef7
Representation Calculus
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: b1da53aafe75d754f0c266d85f3755da912089313e88ca8cf3982b0e9ad1fb16
Sufficient Resolution
Download reading ZIP · 1.2 MB · 6 selected files · Choose files
Contents and checksum
- README.md
- formal/PORTABLE_REPLAY.md
- lean/Sufficient_Resolution_Lean_Guide.pdf
- traditional/Sufficient_Resolution_Traditional.pdf
- traditional/Sufficient_Resolution_Traditional.tex
- visual/Sufficient_Resolution_Visual_Guide.pdf
ZIP SHA-256: 29d49a20e11a7f8583513329397b6954b0ef69552fea27bc57ce940eeae5c76a
Machine Native Reasoning
Download reading ZIP · 0.3 MB · 6 selected files · Choose files
Contents and checksum
- LICENSE.md
- README.md
- THEOREM_MAP.md
- reader/Machine_Native_Reasoning_Reviewed_Core.pdf
- reader/source/book.tex
- release/RUNTIME_REPRODUCTION.md
ZIP SHA-256: 620a69f55916881a54cfea3d4e66592c606af766681bc23f7764e8b1d4b83555
Quantum and Circuits
Download reading ZIP · 2.8 MB · 8 selected files · Choose files
Contents and checksum
- README.md
- release_tools/README.md
- sources/circuits/Komorebi_Circuit_Obstructions_Research_Edition_1.0/historical_companion/Komorebi_Theorem_Companion_Source/source_snapshot/docs/CLAIMS.md
- sources/circuits/Komorebi_Circuit_Obstructions_Research_Edition_1.0/source/komorebi-circuit-obstructions-v1.2.0/docs/CLAIMS.md
- sources/quantum/Quantum_Arithmetic_Complete_Release/output/Komorebi_Quantum_Arithmetic_Lean_Guide.pdf
- sources/quantum/Quantum_Arithmetic_Complete_Release/output/Komorebi_Quantum_Arithmetic_Visual_Guide.pdf
- volume/output/Realization_Calculus_Quantum_and_Circuits.pdf
- volume/volume.tex
ZIP SHA-256: 9688ecf36a6eccbd9df922ce4f155b47b70dacbf94a9c93d7b87043c0cba3b53
Physics
Download reading ZIP · 12.3 MB · 6 selected files · Choose files
Contents and checksum
- Komorebi_Physics.pdf
- LICENSE
- README.md
- compiled/Physics_Lean_Companion/Physics_Lean_Companion.pdf
- formal/continuum/README.md
- formal/continuum/verification/block03_baseline_interrupted/NOTICE.md
ZIP SHA-256: 221b6be7fa584d112429edbfd6fceddb466a12b3365821ec21a9c409fcd1ed4b
COS Method
Download reading ZIP · 1.5 MB · 3 selected files · Choose files
Contents and checksum
- K_COS_Monograph.pdf
- README.md
- book/K_COS_Monograph.tex
ZIP SHA-256: 022dbd95bdf693b25ef640c92f09583d87546d30a1bf4dd3744a156ddee47ba6
COS Method: formal continuation
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: b42aba4cc8366d038eac4f310bd3a2282b4478137ef3d8f5204a7b943ce27d81
Self-Improving Intelligence
Download reading ZIP · 0.6 MB · 4 selected files · Choose files
Contents and checksum
- CLAIMS.md
- README.md
- Self_Improving_Intelligence_v1.0.0.pdf
- Self_Improving_Intelligence_v1.0.0.tex
ZIP SHA-256: 1e3ff71b6e49a82dbd7ba1f94c4fc5fc7cb870346b46eb12b09beb5a6b3f6e68
Self-Improving Intelligence: visual guide
Download reading ZIP · 0.2 MB · 2 selected files · Choose files
Contents and checksum
- README.md
- Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf
ZIP SHA-256: 1f40d17748ee59f5e5f9d0e2911fe59fd642f7003642fbd4a7d1b16b8821c785
Grounded Abstraction
Download reading ZIP · 0.5 MB · 3 selected files · Choose files
Contents and checksum
- Grounded_Abstraction_v1.0.0.pdf
- Grounded_Abstraction_v1.0.0.tex
- README.md
ZIP SHA-256: 173c3638d8aaac410955b2e9501114583c59737cf470b90f6d549509b74510c4
Machine Understanding
Download reading ZIP · 0.5 MB · 3 selected files · Choose files
Contents and checksum
- Machine_Understanding_v1.0.0.pdf
- Machine_Understanding_v1.0.0.tex
- README.md
ZIP SHA-256: 06bf7fd090ae1ac62433e74c51bd656b5b9e6ecb7b85c47790d23874da454c6c
Agent Dynamics
Download reading ZIP · 0.1 MB · 2 selected files · Choose files
Contents and checksum
- Agent_Dynamics_Python_Visual_Atlas.pdf
- README.md
ZIP SHA-256: ae3b0f574070f6b82bbd58f340d39c30e30036884d4753b1b99c8daf6de4d2d3
Arithmetic J-Space Training Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: ff7ad96ebc5336a2f66d9bc5485d0a1201e82bf46c2266b4c9ed37aaf663e464
J-Space Causal Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: a998f12f4671827e1604a7172f76edc816b58da16ec1ca802019f77aa028c14c
J-Space Collections
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: f99c8301d41b16c1c3c8a32da7fadac8489b9b3999272d287317d3bf2c2c48cb
Workspace Incubator
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: edc4d344b578d680ed37150a5a99a981c70a054ffb963800637934ed398ddf89
OSL and Neuralese
Download reading ZIP · 0.6 MB · 6 selected files · Choose files
Contents and checksum
- LICENSE_AND_PROVENANCE.md
- Neuralese/manuscript/Neuralese_Final_Research_Edition.pdf
- Neuralese/manuscript/Neuralese_Final_Research_Edition.tex
- OSL/manuscript/OSL_Final_Research_Edition.pdf
- OSL/manuscript/OSL_Final_Research_Edition.tex
- README.md
ZIP SHA-256: e128bfaa3afd708a1bfea46df4b8ecdb5ee5918551d9cb41c330c5fbc40df564
OSL and Neuralese: reading edition
Download reading ZIP · 0.5 MB · 5 selected files · Choose files
Contents and checksum
- OSL_Neuralese_Manuscripts_v1.0/Neuralese/manuscript/Neuralese_Final_Research_Edition.tex
- OSL_Neuralese_Manuscripts_v1.0/OSL/manuscript/OSL_Final_Research_Edition.tex
- OSL_Neuralese_Manuscripts_v1.0/README.md
- OSL_Neuralese_Manuscripts_v1.0/publication/pdfs/Neuralese_Final_Research_Edition_v1.0.pdf
- OSL_Neuralese_Manuscripts_v1.0/publication/pdfs/OSL_Final_Research_Edition_v1.0.pdf
ZIP SHA-256: e9fca8d7181744b8314d1276259634fd79ef6f7ac69366a1a7128d19aec0cba1
RRCT multispace convergence protocol
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
ZIP SHA-256: 98b2afd13301dff6c1dc0224ddb7fc364ec11c738b27258a05a0be11bdd63305
RRCT
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 2b3ec210af805bc779af917542dfe55faaa992ba099f39009410cdad3d0172ee
SRIC: external semantic admission
Download reading ZIP · 0.1 MB · 4 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
- manuscript/SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.pdf
- manuscript/SRIC_Block24_External_LRM_Causal_Semantic_Admission_Protocol_v0.3.0.tex
ZIP SHA-256: cb52c5383ff366ea6048b1467261183ab4c322bbf98c98a9413c5692cb63b7f6
SRIC: endogenous semantic witness
Download reading ZIP · 0.5 MB · 4 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
- SRIC_Block23_Endogenous_Semantic_Witness.pdf
- SRIC_Block23_Endogenous_Semantic_Witness.tex
ZIP SHA-256: 209f8161bb93ea78c7523a8f59f2cc46c8231ca25e2bc4aae1aaf8ec046a01ee
Stratified Recursive Improvement Closure
Download reading ZIP · 3.0 MB · 3 selected files · Choose files
Contents and checksum
- README.md
- Stratified_Recursive_Improvement_Closure_v2.4_Block23.pdf
- Stratified_Recursive_Improvement_Closure_v2.4_Block23.tex
ZIP SHA-256: 33d17052071fa6daf1adabd74237f42b2a86c8e1cef6323598bb5939a460d5a0
AVOC
Download reading ZIP · 1.3 MB · 5 selected files · Choose files
Contents and checksum
- AVOC_Publication_1.0/README.md
- AVOC_Publication_1.0/manuscripts/main.tex
- AVOC_Publication_1.0/output/AVOC_Lean_Companion_Final.pdf
- AVOC_Publication_1.0/output/AVOC_Traditional_Final.pdf
- AVOC_Publication_1.0/output/AVOC_Visual_Guide_Final.pdf
ZIP SHA-256: a7a51062e07cac6ad57fbc296e37e84c2178757cc1aca1f2411398ffa69b655c
Hypergraph Lumpability and Bayesian Refinement
Download reading ZIP · 0.6 MB · 3 selected files · Choose files
Contents and checksum
- Hypergraph_Lumpability_Bayesian_Refinement.pdf
- Hypergraph_Lumpability_Bayesian_Refinement.tex
- README.md
ZIP SHA-256: 530b77551fc0eebe8c98278102b33350102dd327e8fe0ab4ab72e9c0b71640d0
PRISM-1R
Download reading ZIP · 0.6 MB · 3 selected files · Choose files
Contents and checksum
- README.md
- docs/PRISM-1R_Implementation_Deployment_Blueprint_v0.2.pdf
- docs/PRISM-1R_Implementation_Deployment_Blueprint_v0.2.tex
ZIP SHA-256: 9153cfbf84547cc03362c5cb9a659381256d7ebe3d62e095f6963a75f44ccf6f
PRISM-1
Download reading ZIP · 0.6 MB · 3 selected files · Choose files
Contents and checksum
- Komorebi_PRISM_1_Final_Updated.pdf
- Komorebi_PRISM_1_Final_Updated.tex
- README.md
ZIP SHA-256: dd318d5cbc6edd41108fa9756099eca24585d886fe63be06f1ad1414216580a7
Certified Bayesian Inference
Download reading ZIP · 1.3 MB · 5 selected files · Choose files
Contents and checksum
- Certified_Bayesian_Publication_1.0/README.md
- Certified_Bayesian_Publication_1.0/manuscripts/main.tex
- Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Lean_Companion_Final.pdf
- Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Traditional_Final.pdf
- Certified_Bayesian_Publication_1.0/output/Certified_Bayesian_Visual_Guide_Final.pdf
ZIP SHA-256: c13bb63034305607cbe00d73220f066723a4e53ed944eb0efb972fa36beb9125
Stratified Relational Workspace Theory
Download reading ZIP · 1.1 MB · 4 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
- monograph/Stratified_Relational_Workspace_Theory.pdf
- monograph/Stratified_Relational_Workspace_Theory.tex
ZIP SHA-256: 5cea257ff2c8b08bac6a4caf7e6a437f39d71da25cc7aeee2a16d10e6e469225
Machine Theory: formal development
Download reading ZIP · 0.4 MB · 2 selected files · Choose files
Contents and checksum
- README.md
- source/Reviewed_Core_v0.2.pdf
ZIP SHA-256: aeb551594eed3d80c39300e573698c960f092fce80a95b49f5d95d38c15f24c7
Machine Native Reasoning: wider continuation
Download reading ZIP · 0.5 MB · 5 selected files · Choose files
Contents and checksum
- LICENSE_NOTICE.md
- Machine_Native_Reasoning_Reviewed_Continuation.pdf
- README.md
- book.tex
- verification/predecessor/LICENSE_NOTICE.md
ZIP SHA-256: e6855764d38fb3810867d132e1930bbf25ed052e55604b4e88737de9b25c7615
ABC: global RR8 branch
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- README.md
- abc_work/komorebi_arithmetic/routes/witt_space/CLAIMS.md
ZIP SHA-256: f3faeb4a9e5651d1e72512d91100c3dbe80b8e22901e8a649330346f86b28907
ABC: source and evidence reader
Download reading ZIP · 0.9 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- paper/main.tex
- pdf/Komorebi_ABC_Conjecture_Piece_v1.0.pdf
- pdf/Komorebi_ABC_Visual_Guide_v1.0.pdf
ZIP SHA-256: b0a7bd2fa4396d93ba6bdc60b57d13c03585cd847b9dfa0b19f5e1f292f7013b
AddMul Arithmetic Reconstruction
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: e5c608944ad44e6a50e5c08617059b8858e27378b3f8ddc88032c9d35e9699f0
Beal: source and evidence
Download reading ZIP · 0.8 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- paper/main.tex
- pdf/Komorebi_Beal_Conjecture_Piece_v1.0.pdf
- pdf/Komorebi_Beal_Visual_Guide_v1.0.pdf
ZIP SHA-256: 7a89fb0b9530a5309ae7afa5d212ae1cdad1f478ba9a68d4d5dbe64b3782c873
Catalan Constant: source and evidence
Download reading ZIP · 1.3 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- output/pdf/Komorebi_Catalan_Constant_Conjecture_Piece_v1.0.pdf
- output/pdf/Komorebi_Catalan_Constant_Visual_Guide_v1.0.pdf
- paper/main.tex
ZIP SHA-256: 8b81fcc25e2e93d6e1b11c8b5fde2c5c063e935459c799577a9739a01df6a85e
Collatz and Riemann: source and evidence
Download reading ZIP · 1.0 MB · 6 selected files · Choose files
Contents and checksum
- README.md
- collatz/main.tex
- pdf/Komorebi_Collatz_Conjecture_Piece_v1.1.pdf
- pdf/Komorebi_Collatz_Visual_Guide_v1.1.pdf
- pdf/Komorebi_Riemann_Conjecture_Piece_v1.1.pdf
- riemann/main.tex
ZIP SHA-256: 0aadfd71615ad100a2f194912d581c460adc3a7027213a03a8e106edc0fea729
Euler Signal Bridge
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: f6e8754d87ada4da5bd8b7c34b80f504419282d74b50e537404855c2db2b1b6e
Gaussian Elimination: collected guide
Download reading ZIP · 1.1 MB · 1 selected files · Choose files
Contents and checksum
- Komorebi_Gaussian_Elimination_Collected_Pages.pdf
ZIP SHA-256: 631da2826aa8289598a3db8595ae1751b5b10b00aa67599c103ada5f508953d9
Hilbert 12: ambient dual slice
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: d6534aa3947c387b5875bb6ff5d41a3f1a7b8b603baa24d72cfeca6d38048a56
Hilbert 12: analytic Fourier branch
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 681056a661f3428689e4f3c43e4c7d50f4d7767c312e3fa1046072bba9d80011
Hilbert 12: closure attempt
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 93982bc1a7559bbf5ce684713cff71b5e0e4e4c33e84ee67b777172729719327
Hilbert 12: contracting ambient torsion
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: a5e80f304fa5e5c94d7464321922c16900ddd7a186832be69c7db391d9b1a28e
Hilbert 12: cubic divisor development
Download reading ZIP · 1.0 MB · 5 selected files · Choose files
Contents and checksum
- README.md
- lean/H12_Cubic_Divisor_Lean_Guide.pdf
- traditional/H12_Cubic_Divisor_Traditional.pdf
- traditional/H12_Cubic_Divisor_Traditional.tex
- visual/H12_Cubic_Divisor_Visual_Guide.pdf
ZIP SHA-256: 972608d8d37f8d46c9d2941c4af55156af3be874c605e8d435d1c0be25cb1370
Hodge: source and evidence
Download reading ZIP · 1.3 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- paper/main.tex
- pdf/Komorebi_Hodge_Conjecture_Piece_v1.0.pdf
- pdf/Komorebi_Hodge_Visual_Guide_v1.0.pdf
ZIP SHA-256: 45e64251bb0693f9964a869cfe10266b80a6eb01e2dbae85cd6107df633bb785
Inverse Galois: source and evidence
Download reading ZIP · 1.2 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- output/pdf/Komorebi_Inverse_Galois_Conjecture_Piece_v1.0.pdf
- output/pdf/Komorebi_Inverse_Galois_Visual_Guide_v1.0.pdf
- paper/main.tex
ZIP SHA-256: 8bdbc52da34da3644641cbc30c6ef996053034f001f767dd0f6da64e78b91ea2
IUT Valuation Hulls
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- README.md
- formalization/lean/README.md
ZIP SHA-256: f6cc3ef897c6b679b73814f7a6640225c92f7fb6e91cd1949fba9adab733af73
Lehmer: source and evidence
Download reading ZIP · 1.2 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- output/pdf/Komorebi_Lehmer_Conjecture_Piece_v1.0.pdf
- output/pdf/Komorebi_Lehmer_Visual_Guide_v1.0.pdf
- paper/main.tex
ZIP SHA-256: e889df8cfe59fb0baf760c5ee4499e4ab389abf4d006c3b38a000accbec43f2e
The Possibility for a Machine Native Mathematics
Download reading ZIP · 0.3 MB · 1 selected files · Choose files
Contents and checksum
- The_Possibility_for_a_Machine_Native_Mathematics_v10.pdf
ZIP SHA-256: 801e9862e31937c51a0b7af12ffa80c807519e847f76dc1987a0ca3c34b9e53e
Model-Theory Normalization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 5b16d2fa1d61e89655b2b0aea9a5d7e9f4a90b24323c9bc98d306c293dca2125
Prime-Contact Coherence Calculus
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- Projector_Resolved_Prime_Contact_Coherence_Calculus_Verified_Final.tex
- README.md
ZIP SHA-256: 017225d29819177c8e995d4da5e37acce7cffeba4bf5260d513c5d7f9b58dce5
Resolution Semantics
Download reading ZIP · 0.3 MB · 3 selected files · Choose files
Contents and checksum
- Komorebi_Resolution_Semantics.pdf
- Komorebi_Resolution_Semantics.tex
- README.md
ZIP SHA-256: 88194266f8bb2aa3c70f6be0caeff64266076761842b795550fcf19c7dddfa40
Seeded Two-Axis Calculus
Download reading ZIP · 0.9 MB · 3 selected files · Choose files
Contents and checksum
- Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.pdf
- Komorebi_Seeded_Two_Axis_Calculus_v0.11.0.tex
- README.md
ZIP SHA-256: 80a5e37f2c76bbbe25532b4775986031bc373451b0c177bd9016189e9f3c97a0
Signal Reconstruction
Download reading ZIP · 1.2 MB · 5 selected files · Choose files
Contents and checksum
- README.md
- lean/Signal_Reconstruction_Lean_Guide.pdf
- traditional/Signal_Reconstruction_Traditional.pdf
- traditional/Signal_Reconstruction_Traditional.tex
- visual/Signal_Reconstruction_Visual_Guide.pdf
ZIP SHA-256: eaa7250b0bbe2be80f0fa745fb666e2f47d125fc2ba7005295407fac5a768c07
Stratified Universality
Download reading ZIP · 2.6 MB · 5 selected files · Choose files
Contents and checksum
- README.md
- lean/Stratified_Universality_Lean_Guide.pdf
- traditional/Stratified_Universality_Traditional.pdf
- traditional/Stratified_Universality_Traditional.tex
- visual/Stratified_Universality_Visual_Guide.pdf
ZIP SHA-256: b7f98c707a20cfe9265cf5da00e751eb4b42ba47100efc63bea0b15034bcf603
Streaming Polyphase Factor Decomposition / SKAT
Download reading ZIP · 3.0 MB · 3 selected files · Choose files
Contents and checksum
- FINAL_MANUSCRIPT.pdf
- FINAL_MANUSCRIPT.tex
- README.md
ZIP SHA-256: 79ecad64f42cb40b6f6cf7535777e740ac6d515c48e5416d6f6c729f8bf87241
Strong Artin: source and evidence
Download reading ZIP · 0.8 MB · 5 selected files · Choose files
Contents and checksum
- README.md
- lean/README.md
- paper/main.tex
- pdf/Komorebi_Strong_Artin_Conjecture_Piece_v1.0.pdf
- pdf/Komorebi_Strong_Artin_Visual_Guide_v1.0.pdf
ZIP SHA-256: 8c09e6ba410eb330ac37b66c2f03866195728a68203914b2794c9b0146f13801
Universal Generative Deformation Calculus
Download reading ZIP · 0.6 MB · 4 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
- paper/Universal_Generative_Deformation_Calculus.pdf
- paper/Universal_Generative_Deformation_Calculus.tex
ZIP SHA-256: 9315dc407f146fe431615c9708ea67e2d66cbe6ac3eade4b6f64938ab76398cd
Large Signal Model software
Download reading ZIP · 0.9 MB · 5 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
- paper/Projector_Resolved_Large_Algebraic_Signal_Model.pdf
- paper/Projector_Resolved_Large_Algebraic_Signal_Model.tex
- provenance/original-publication-metadata/LICENSE
ZIP SHA-256: 303563df0f77a6868221b245d76f0451339e9882542b23cb86636d834eb4d567
Machine Theory Compendium
Download reading ZIP · 16.3 MB · 5 selected files · Choose files
Contents and checksum
- README.md
- editorial/connected_synthesis.tex
- readers/Komorebi_Machine_Theory_Compendium_v1.0.0.pdf
- sources/AVOC_Lean_Companion_Final.pdf
- sources/Self_Improving_Intelligence_Visual_Guide_v1.0.0.pdf
ZIP SHA-256: 43a2d3a382630f51fbe6fec1742f3793ec28eecb4c7ede4fb101432caa57e2ef
Physics: curvature states
Download reading ZIP · 0.2 MB · 2 selected files · Choose files
Contents and checksum
- Komorebi_Physics_Curvature_States_and_Subtraction.pdf
- README.md
ZIP SHA-256: 60c10101afbbced0164edc40d0102aead277c7f4712d4fd44856c8078358b403
Physics: energy and backreaction
Download reading ZIP · 0.3 MB · 4 selected files · Choose files
Contents and checksum
- Energy_Conserving_Production.pdf
- Energy_Conserving_Production.tex
- LICENSE
- README.md
ZIP SHA-256: ffa22be67c6512d3d4fd25db4c3c012b68dfdabb39fe5a69a77aef13e7e02d67
Physics: origin locking
Download reading ZIP · 0.3 MB · 3 selected files · Choose files
Contents and checksum
- LICENSE
- Origin_Locking_and_Cosmological_Energy_Exchange.pdf
- README.md
ZIP SHA-256: e17657c03e96ebf390644475aad41b1c93cb07f373196701a5304b9c2af7c1ae
Realization Calculus: twin edition
Download reading ZIP · 2.6 MB · 4 selected files · Choose files
Contents and checksum
- README.md
- books/Realization_Calculus_Volume_II_Realization_Boundaries.pdf
- books/Realization_Calculus_Volume_I_Komorebi_Space.pdf
- supplements/komorebi-space-worked-proofs-v4/Komorebi_Space_Worked_Proofs.pdf
ZIP SHA-256: 8113d8da474b6aa1d2566a23bfb928a535c9e60323c307ac36bdbe0399bcfb33