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: dff53f11749bbfaed6b2fc5cf4936e9d5557d1607defebfdc22f39637770407f
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: ae309e1050c9960e116d3eea9cde8180bfba207bde6cfefc8f88973cde0a5073
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: f44803a8feda171de86faa3f0b97c677e1843c611ddbd4d0923e840bc426e148
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: 04967d85141f8bfe04d7d25b02b8b86e4f1180cb8b878bac51d131787e651223
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: a0ec1706099ab0e7eb2a78268f7becc9c09ec877722f4cfe4316aadb9eba5d56
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: 5f3263ff1da711acb4150003bd01d6f6e25374e94ebd08752c4fc476087f6fb2
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: e937738701578a30d1460f7049dcfd2687354310f875ba800ef9e75c09ea3063
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: 26eb899a5022915d50f2ee5204f6b4574f53c45f4c997d9438681bb0fb2281b1
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: d5d4a16e4133b0ad1493ca5f7c144439920dad575d2d475b7e538659593356a2
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: 6820fdcc4b7ae5812fb6fcd0b2b4783039087f07e339d659dccbbede87356a49
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: 6c6d0585efc3fe70439c94612559f1e12068bcdbcf1d6356d8058eeb72bba4a9
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: a2913d7cb6a351c481d2dc3e63709bfb1559629b642d91be6ea17acb2a879dc5
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: b69ead295013ee3e5040e86d645c13aa2b9ac9ff3f7fe201be3a3617ca599c9c
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: 5e39ed5571d6bee5cc07bf25e5a8d5db6b8e286d6cafbd33ed9b49860c26ad4a
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: 17b022b5ee81eb9c0b61e92c60a7655af7797e984a35bffa13862d3a7b9adc1a
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: e73edf85590b14d9255a0e426986e91b66d43ceac9e0313a19e5ed9bffd59d5d
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: a2fff017387e56fbec808a361f0771c0d6fbd4a92b0aeaac551e6c1e8fa09d30
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: 24cab89a34b8e7b4244f336fa47515883a882dbe082a65b575f1a36ff5783769
Certified Inference
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 3b37c837f5e0a1c05db12bd12b6dd5f9dad924b5ddb47e9f196b821353d74ab1
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: 32e7f24f81b03d10baf1f3ab756086ba2c3f4169d84317f61df64d87905f5368
Information Realization
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LEAN_GUIDE.md
- README.md
ZIP SHA-256: 36fd28106d402f5a177fbba89caec65c80bcdb69dc018a6da734a0c7ccf20614
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: 8f804d5044cb8b89ed58e1bf848923603df9cce5990920136b4698f3c72855c7
KZFC and Residual Reflection
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: e6938b5c275c3dcd97650991a5fbbf813e7f3d97c753511d70241f41c5d75886
Logical Resolution
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: c7da4eb9ef01625e8590e4b70fdea788fdbbcea9ad3bc12df52e8ad4756ee18c
p-adic Canonical Realization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: b3b674c14e248de624c67e5832ea66ea547047fe211eeabb420b1231b14cbf97
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: 127205e0bd586aa14d0424003332f8669c80dcb80cebbab00d7dda755f2ab987
Representation Calculus
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 000fa5c5175fc2c6c5dcbf23a3af7a0e3f57862b5d2ba7d7b130f95af8ac891a
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: c1638be37291860eee2ce5e7f7d881e52ab94151f22be5af6e4e82deb450b76f
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: ab21183f2d56478c99275997fd627db7e5671f3a71f23e67de90d3e398f57085
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: 458f73117e582097d86f9a2873026fe80dda23fecfc2c4098f4f772e51a5c47a
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: 71edff780cbc2cede6707456b8fc58648910022bf1347fae9d527e018cd008bc
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: a1827f3eff08b3b8a1eac1bda42cfe1e4b60a90126fae19d44e9973c648ffcec
COS Method: formal continuation
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: fc2365ca24bb1cdb839829f954bb9843a429971772ce3a2d6985559f022b75c1
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: 88d66f3218626823bd2e9268dc58ca81805c9ef238c8ec2bec7a39e89426690c
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: e35988f0695ae7ac986b1150bf98a48339867d0129fa91f1a1d5e5e4869083c6
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: 9bfd2f13c277cec588ec8b3ba13c7bae2121ea417a945100479dbec921acd59f
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: 366795c33aa08219d1a5d4ffa040dbca99be669c2fc1275d8240aa919505089a
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: 08193bcebb8d41799f08f202ea59214d0c52fe521ba860b22fb7edea86328258
Arithmetic J-Space Training Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: f126eb0c3b7de0be5c7946000de231cc2fac081be547e9a622c321db86d5f170
J-Space Causal Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 89d20661d66a5e876f6e93472ab099858319d039ca72e5442bc807819257e97a
J-Space Collections
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 84c17257f25bcbb7e51df5eb184229618e7204045b0e5308da49190441d7e0ab
Workspace Incubator
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: eb7b2a0313ff7575c541de08eaa9dfdbba59b006ef55682d9de7b97f096bdaf1
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: cd474f27d7e5a0f549c4c3a275b0dbccd9b47a0d5cd901b8be49d083528f50b7
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: f0a94fda4174e33b1941001eb5b5c9d0d4f0ede050a3759bcabde6f630e29991
RRCT multispace convergence protocol
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
ZIP SHA-256: 255faef8a58ea58d3d079f2845857f169296b671bbdf2084b8e5bdb151ff0b91
RRCT
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: c05ce33aa2a06aa8dd1280bd8950d488864688c561d679d653ca5794438e1694
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: b4beba5bfdc34e118b7e174dae9d693f61b9758f85eae43794a05cc988552569
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: 1f88cb43af701343642b8764a8ba203847efbcaa028780890782e9d46174fbf1
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: 52aa5a749547d6211540891cf185bacf1faa58f3d99691bf9b804c00de0fe00c
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: 175918de6bea7a04da021fe938452a0d3fdf1ee0f1c0710b421ff18782bd135a
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: a2903a05685341d43fcde092c81eb9991e297441cc9771488b0b820f20ee98e4
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: b2d67309f5b5050740857d1a6fb432a798c6262d4eec96dad777621002869079
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: 3779925ce15246eb0b88d7195a9c2c02834610704e53c2f6a702681f41fb1b5a
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: a28c186f725c80566af405993b829a6a66c00d82638b4d3702da9b031ee90b77
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: 234c57b59d9eaedd169e0100263cbcdf6b376286d7273373cc441df68177b362
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: 8c1b918a8956d2527db4c1b4a0e870cd294fe2bab1c4b233a467abe2c9f5de04
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: d4735ad9bd749174f9b28b980fcd83bd9ccfa05d8e71e3bf3d50066c7e4dfd59
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: 460365e638976dfa46213cffd1d53a79c609b73aa9d4f837261686b0ab7507af
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: 3f351ed2de11e0e6d1bc7abb3d33280557e9aed311b68853dcd2fa9cb98f7f92
AddMul Arithmetic Reconstruction
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 19f1cd0d387ba3b5581c42d3ec1f10da14b857552a386314926db62d76f81367
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: 87325b350e174ff5ea746094f5c56f246f9c084ade4c16e35a9b7264e2fb3d67
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: a2d6c2ec0c0b2b010bf58c4a16270482b96bad36bb6e8e7095ff451b3c3c76c1
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: 4e7badfc0ef94bc9755ee49f7629a6c2706285bf8abb56b6deb781ddd7cd637d
Euler Signal Bridge
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 00012c2f52187e0f45bee4d5a4570c27132680648baeb90d16d547682ca75e89
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: 99f9529c665452c53eb7ad89bf4223afae6b5a5ffb4c856a12463362f233174a
Hilbert 12: ambient dual slice
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 9c74e79e1aca917ac2f03c9a1a4f6a342d761da387864fbc11c8c7509b078ed2
Hilbert 12: analytic Fourier branch
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: daf3fa0252c994d31bfde1f9001d7a0cf16767dbbd18a683fc4114bc2144da0f
Hilbert 12: closure attempt
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 8a637c70cb1789d40333a3dc375f1497006cbabc94829dde305e2d9cf76dd929
Hilbert 12: contracting ambient torsion
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 692f029cb5a9901338856010215e739086e2298d22c4a8a96f6ef1b0e2655aab
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: 698ea2b786a549cc5b4f5d2dd17c581f83fd9f19ac88a2b49bce050369f50755
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: 40c3a9b8248f321ad344627aa2f2408bedb79c4ee09d2a8663ece754a592352c
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: fabf5814adf924d7793194192c0e2d928d09ad00af877af7fd3824fc4b673fa0
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: 53c35b26946af8822bd9117be783d432b0ae34ed4b7a16152280e37b0abfae54
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: c3f72da24850999f6477f2344509f28c1bd4be72e44a0767485afe6575a88403
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: 6674efea548a77115a6b75ba50dfcd18e1f0d18c51ec7e56865c5b72afe2fa18
Model-Theory Normalization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: e138bb81b50e4f9f9aefc2468a818a3a4e733f23773cfe58c27556b68789b194
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: 45ef122ef11b8d27db92c1e8c88886d1579b43279c9bf9a062ab6e34c55d348f
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: 724f353ffc0edf66d2ddd3ed2401c0f9bf125e3435ed45e0b95c781b501cec32
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: 0c881d4a356c334b035e78acb878d0cf3098d56e246b0c7d15abeec19d15657c
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: 76f01ff9595fe5131c0786482b3bda1907887231ecb498d5796d7654f19384b4
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: 059aac356864467a38897eea82998b1bbb1da2667aacd760b804fd48f129b937
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: eef4e02eec7c1f521787aa8d2563d4d690d13b6a1071b4b00277ee1d20fc70c4
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: 0c82249fc52f0a4166c7201cbc16b50857047e2b96a774c0b998ac9a8bc76d92
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: e1f103b2b474eb40b3c31df6f54e710e8cd8eb8f7e38620edcacf9e98a661a77
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: b96ee9b1f81f2ff503b19284d5533066347935396a005eee1dcae796794bb2ac
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: 712a2c0528340ad941ed184e3acae2cb378ad528a9aa77c8ba7078f7040f9032
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: c0def4d2e5340aa224936c54ee9753de596f81125f0285baca1627bc44d2df32
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: 6fa98e70fb85d866c6a274ef36c8fe7d059bf425612920910153d17503a748c3
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: 18296e69c6e6b2676d132c90e692516d93779d869e40c206fde7f9f4a3820912
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: 33a1a966d9d19c4a33ceb38b03c8b3daf3eb2e8d32e1f6eb4246f0b2523bedae