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: 0c6163e5c1d9ccd7305e2897b5d239c68c3cf66e52c42fd51396ed12098c23a6
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: a76f9118e79f0f442725f38ec36e81cea47dcc7e26ae34bc9093ce88e0e273ac
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: 077d49f911b6e9ef192d350172401a61cf24ca6d4bf136addc6caa514e513570
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: 53b7cb7bbfb0fc69e26a1c4136a6968e552c21cbf1a1a98eb39f690863802a9a
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: f48a4ceac5a04fa28b365837ef84c15e04e6a3b9d45b45a12b9ee04752f431e7
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: b1a7af7946d43bf18684a4a58b06f04833b059ed910ce47bfb9b0fd0c8f87d88
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: 055e0a94cd95dac5aa878aa7d188d639cf51d1264c16891f60106efb1b61ef50
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: 26e208fc58e09ee28a133cf29165fa2e6495414e857c062cf46ec2621af92c19
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: 7dc328cc531bbce65bd67e6d13f7bc303c25ba9072498164824195c02f73afad
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: b0e9bf411a89ee9bffa3c49116b911ea6ca35a893d6adacc3610396bb3a320ad
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: db0f6960f2bb4684f75348e96b116b466caf91f1734bea449ca05cae45ab1e2c
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: 90a16be9b1b3d852dc2e802a6dbc975802513ebfb74f93b2dae2e5fbcc4d7af1
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: a3ccd12bf37473bd23fd049a57fc4dc01117d2f1a3c11ab51e8d2e217873a1dd
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: 6f2d832461a8ff49461a8409907bf1d112ea94002c9c02bb8dad4814e9d43c07
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: 8ebf4ebda98d72335115190a8ac787d520ddc58038c139aa210aff0f9afb8f6f
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: b18fcb29bdacd9bebeb8ec57784b7cde3487deb809c9b73b80b23718c7fe8e13
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: aa37592b55ea4f6381e50d03ba7bbd9f6b419e4d648537ddb9f771b78ee18bda
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: 4fb5e5bc444e7f937d0d2d94d702c86ae3f457b1ad77f6eef5e21a28700a8ab1
Certified Inference
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 9dc4bd0e488281d64f14180fc9f4401e121e45b2bfcda14d24acadfdae578bb1
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: 04ae3a06ff54905549ef1c0553e5377a9f389860f13ebcb98627b6a5f82947b8
Information Realization
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LEAN_GUIDE.md
- README.md
ZIP SHA-256: a9b195083988760c7995d413bd4f47fa59f3d95c58d16cb0395025e4d23a47c4
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: d1ad10c871a10f9fedb5cf957c930ff81289cc2e9c6d93784790f43c0685aa94
KZFC and Residual Reflection
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 84d799b74a191358b5c39d3e5f3981653f2dfbba0aecbc5c514a628505a30c51
Logical Resolution
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 6cd8ce89bd319a23aebfed10a52c71761295657413bd2e6bcc0b553e87d3d78c
p-adic Canonical Realization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 510eb83c99f3c0df12318b54aaae7208602f7517b950d84c6baf1fe9a54873b6
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: 5827d56134bcc8189d1fc28097797c5f2719f8b1154297e67c4ad735189157e9
Representation Calculus
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 2ac8b11304004520d2b44a02d1fbc08b9c3027604b54b8cf97cefcdc92dc08a6
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: 8d6c86cdcf6c934c8df433485ec1edcf242592a4bd45bd24d0f24a4c396bb1d8
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: ef3011209babdec78ba5c8036fc442e05203fed7d765c1641b1db6993c8b4d11
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: 4cc176939da9311fb5dec963e13de47c405db202c8bf915b2e26afa275913835
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: d0f88afe53d16e5d70133a053174fc4204761aedb3d9f4b38360e07f7cce1b66
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: 4e23ede4a4d03d96ce912bffc2597cf0a75a16704d11a3bf50792229092c7177
COS Method: formal continuation
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 0e8d4065499f31a9602069daab56dac3a0556eae2544efe4d0e4f949e939f5dc
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: 33fc7b70e7035fda4e2d365ab79a816ed0a1e2924f135f1c64d82d25f29365cb
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: 03e0b2ce01bef4957413d46cee3652aab2be711c8741ede92c3fbacdd202d782
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: ed68c4e191c8ee01b1e4de07f2ea0a9a823a32ac23da1b3d813cefc9a105ff07
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: 737a46c50fe471aa38adf14389ee5f4659150660a8cb3dbccc2c2106584cf941
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: 2b0817a9f49a48df84f020395b2c65c12bdc8afbda201fbef6213499e90c2968
Arithmetic J-Space Training Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: ebc6232414278f6e7915c3db1a99217aa5d37a1637a76d037ee5c95a74512a2e
J-Space Causal Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 9c421c42a765222d9d4945398b90fa2126ed37b6d6d6235765f99eacf2ccb95f
J-Space Collections
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 55031844e5c7237ba087e62443f185613bec76012c502e1ca754a3ad8145daf5
Workspace Incubator
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 9f4dee7824fcf7c8516c61a210e09f2b9377413274de7731a922d7ab52809cb2
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: 1a202e45ff78bb1dc3a8ce53b0c7f4dd3812dd29bcbb6998dacf9587508b1096
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: 6c30390d236465f363e3becd6e1ae120e9df9b4b96028b88a13937b13fa1ab43
RRCT multispace convergence protocol
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
ZIP SHA-256: 6b1520b2c748901feb3ce9183e721108bebba26276c734d8bec427ad2244cf44
RRCT
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: ac3207d490a583fcceccef3d0d2cdada884f7d2a6c222a7ec371e752c478d169
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: ceba3f3e0ce25c4c46b4a6c1cd0e25eae794f39a7b3a4add41aeda3d361b0ab2
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: 75453545300617ce6f8f59351a5d1c9cca8cc79a45af792a88459c6d5c1600a6
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: 6ebcdce7210b364b36faccc1758442ec0254cf987a1e6caca7202e1806c88664
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: 6573ef6a0679d8fa96466ffa27a63ccaf8e51dc7a0d31f44a264a75beeeb2def
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: 0a900c576e5957d377b44b795ad1bed3264f1061a501961f43a171e889b50a73
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: 58c29645d99bbd0d2834f76b7c84f883d86561be0dd783a6f4b5d983111dd478
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: 6cb8679e73980ccd733f858ebc6c821e02e68750ec5831203c27d473c440c2b5
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: 8abc1c7bf0436db484496de38e7ca40461b873e6e65e85668f0b7458367382ec
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: ac8220ed4d335250eeae3cd57134585805377322f7fd4bc22ed814dc440ac2f5
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: 7921f1ae6bdb2c40aa333fec773c2274bc9a1602a9189e8cc19d718292ec4f91
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: 7cd17c6abae4d5160790f40efaa9959e6d8ffa26295c93fcad1ca86565091316
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: f0ea36a31a2ee73606ae485147d99b8d0e17c5ef7cc750615ed23eec0fc05e83
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: 6d31dafabf7382aff2da825405bd4122e8e211dfcefa4a333f4e7a17ed698733
AddMul Arithmetic Reconstruction
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 6357d51dbe24e66eb6358a1b66bdbd6246456e4aff3dc601a7a1f57db14ee417
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: 80dbb943b38d22cc4c5c70ba91054b2087ede03766b1d24daa3c8b1ee2b96129
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: 27000b8e78a1256368813016e9f128e33f3649dc9f7aaec619c4442370fbdd8d
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: c6f8e06e552b10334215276269b43e7c1101f22b0a3df8609b513643ff7e4fe3
Euler Signal Bridge
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: b1b3994ab06b98769bb97ad8777a9c31daf51f4d696f0441b0313f0f481bd004
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: e29e4ae865eb57d9d6b4f96dc561c6f705a9b0130f2b9eb97dc2537e93d7851b
Hilbert 12: ambient dual slice
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: ef5ff34118719543b89041b7a9f399ba6132a8c768d9278f4c99db99f0a7b885
Hilbert 12: analytic Fourier branch
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 40eaac6a27e4fff8e64664a90ea16d44e62aea53c5e5556201f443120305458b
Hilbert 12: closure attempt
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 1f514d4d4e0e39245d5f9acdf11cbf9171257cc572c478e45266d92a83743dc0
Hilbert 12: contracting ambient torsion
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: ee40780fb277ed77fdb36480f96040ccf0021d889f79838244d46bf1296d25d8
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: 302c196e2cbaa30b50e128fe5c5c6cec900ceb37f989e386c53f27784d997a08
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: aa7e75ae4453abe9910d3bcadea37b7d0079d351bfc574be1815b5d50df8e2ef
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: 50389b29d8a01bf2521e6bd854a6aef4e83016589d0b0a7f7851732e39c18610
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: 4f37ccacf1fd99acf6dd199db28f92f3575cadb65de97834bb16a949372fc573
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: 1db4a355a43bed34baaf15de599ee62382c9880e05a24ddcb0a593af92553c69
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: 5560092b0a39d669a903e5d89be51346e6ea249ea87352e73df86f4712c10419
Model-Theory Normalization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: ce50e1a1b51d879c671f196dc269abc22b5d8a22b18f2278d4fc17ea964e54a6
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: 0fc92c31e391a2fd8916094a1a098e3fad3c3534dddf3381fbc0e8993cb71e54
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: f69e839c361318baa10791cf26abedcc4ebbcf61068addf2e4f2c4a6da91d3d6
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: f7141a06ec9037771038d752aeeb5540fa7799ceff6a8af2c7f66b3e8a77745f
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: 3e976360f078887d74b6253daedff6f9d83d1ff2413a09a38f2108c84fe3b4a4
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: 10965ee0f20aabda49afa946c9618bc5350224f65365b119efcc77caf13fdba4
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: 66b9dfd080369326daa7dde7bb19f9d40085ed5a13f4d728343852394ee5b64c
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: 96a363b67d8a61522c5744227ffbc0aba536881f582fd055a6130b999186470d
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: 8777a8cf44e070f2aad019d37202d9f834afafece0e6d65198d53f4acd93dcd6
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: bcb2a5a60e3a8d6bbaff94982c20064dbd998a9478065be9b8af81cbf68a69b0
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: 585f4ef319a0be5f4eb1a13ba5afcb19d9b8eac87ec6aebacab0148774d8770d
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: bd9a33de17a49853aae7d660ee2bf4530639aa79cad087e96c9c4e8480659ac7
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: de383c02555f441f0ffaf7c24f7da171ff52aadaa96a5dd130ec9968ccbba0f2
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: e9d7f3f7bb79db9d59cb72ffe8a8084b6189cbaa221957d4e35b4242a91a7323
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: e6724be58d486108097ef13b50ca4a40a6724b8a043752aee084daa6e094d6ef