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: 05a04d8a28df51264aa199045a3ad3a14d95e978e14737ec9340f7a06a7fa940
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: 4e4de14f5cd0b55e45021aa6fc367a4775ad5e721f66c31af0ecc1bcb48fd883
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: 8d6c625b9b103b65d23d348c081b9554749fbe6a3a6ce0d6745fadc500916862
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: a0a209469b823175b48e21338ddb9f971a29b77e9fd372619b5e23642b32e76d
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: 530ca1c4be5dc5329fc5ee2d6a65055536ddd660ad844cd5ae9096f3b484297b
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: 01b9f23f5711998cd4f4a564e71c5f6cd8fef33a9d516e2aa46c836e5297731f
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: 31cd82461013b50fe9a644df6f238aff01429e9c461eba41809eadc076b706a8
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: 5359da177f126e7f97007ef0f9305cddb0c091bd2d84ed35cdedb64bad65f848
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: 6c07524b71f84af4639f9eb613164311fb9ad8227f49d147c304e028e0e16005
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: c3837725a967f9af82a3b699adc431cd06c26f6a9a6625109315626756c6eca7
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: 0219f4396f69aa698950183f1ef746d607bd3380049ffb7bafc1e23ceaa71f64
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: 01ae1b87159dbbecfdcaf65ff9a5342b82ff6fb3dd2b5ecc6a63c2a6e3c02b0e
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: e46a0e062bfbe4b09423ddba304129afb6cc2835e981efba6b3acca692d23d4e
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: 862886a992a3f49ec72d40035a8adc6fc53c041761748c744d7d9671e11a41ce
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: cbcd3e56b4c67d8876f3376e03c3ab1b15c997ea06c22fa4c6312e20383b6661
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: 92396a8033b52be3517183168aeaf516938d0f7c47136485d385de1ee6fcf4be
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: 8076804c8774f1715aee0477f78a4c0305149c6ed3ef2a54116ce947c2ee5394
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: 903886d1bf081b0345a6d575ba4a286027e0dd94f71e146960ee2fcecd85d0fb
Certified Inference
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 206ce023bf18b72661a5ebeea0ddb5965118edb0bd556cfbca43449798221ff3
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: 6966a038a62a0b1bb4e2cd7d003778d028650e1fa904723ef3758b4523d1f8d3
Information Realization
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LEAN_GUIDE.md
- README.md
ZIP SHA-256: 91e313a223e2652d098af859e3c9c2e0cb85bb265203e7abdae0036fdd4158ff
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: 7bb9662bc1048d76b1eef1b6fbc78464c3befb42b615f755f1b34a5f3ec9d43f
KZFC and Residual Reflection
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 6001aa3972cc5054f9671951371b208d4e6a26173ddb78a98b86c6068ecc86c9
Logical Resolution
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 9e7e8d65018f316ee777cbade83182bcdad17e11522000b3ad9224a9933d2f57
p-adic Canonical Realization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 97e393533ae0b627b61843c3a0a0ca304bfe769664b741104bad3e02208fb448
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: 8d1ad31936d68fe2df9c03175f3d1c1da2f13eaa80b4953d654cd94e2f3f52fa
Representation Calculus
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: b3a7b3430fd432d8d8094d333c79bd041be728e420ad75071726621707a8865e
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: 41e42dc18cc9c3604759c2fad98b651cb696e68e088b1f4d06867e83fe341f64
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: be65631b2e5ec746f7234b8c5d30d721a5511f61384a6e61ab504761e5294e5b
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: 12322b99b7720dc880a75ad95ea6f6b7ec54a010f73589022f13d3156561cff0
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: 2e02b4f8b12a55171431cd2fa6d8d8aa388b05f450c8961f269736394e4eed64
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: 46857928b99449e844de1bebc4ab98af2892ea4b4ba9b97a248b40615790b94d
COS Method: formal continuation
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 1767366c41a46f4dd592fb108a1a09a83f130d6cc0c4185cb7c2eba44068b6e1
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: c004a89ca042dcb5bbef8a8753a531fc0cc95f3774fdc2463b3496fb2bee401d
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: b1d0569d9c889908e0ccfd38d6e160cfecc8588c6367ff10c4f7fedac4fb8752
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: 0a3d7a2694e96e7ba0b96e5cf6836082bb131f2dbccc4dfda793bc7f264434ca
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: 5f874d7ca31e3f4bc596bc2f7565cf5e57486e3d0f490b12a32a659c91ec1ff6
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: 209e3c4ca97b15c13ee861a7072887af1b34d2299d4e720ac4b3648da138f90a
Arithmetic J-Space Training Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: d517658492db3bb8f49e6f126442cbd1a82cebe5ab9d8008ba9797dacd78d28a
J-Space Causal Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: c6f11c45e96a209690f62e890ea714c4ae23f1a6b0ff305309427300530d40a1
J-Space Collections
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 630ae5ef9e5ab435b1f956d53a0db35a3ff0ecee2c8e8d7a94228261e5d0ae1b
Workspace Incubator
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 2200a2bb08386a44d9d8073e292a9033fceef89552fd36b062974222a65e543a
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: d8950119f679e7b11d7717e23236dd0fbcc2b4d5388944fad02e5e04492095ee
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: 4e4cc603276d38c312a23fc0ede2ccd95c20cd875b176f58c8ab5a277f4faec2
RRCT multispace convergence protocol
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
ZIP SHA-256: 1acb22b42fc892d1f40c0a948f6de9ae7c00c5032aeb49d38b6d912f91c7161a
RRCT
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 57a9131472f11b9696b892244f83bcd410447b6dc2d40039ba9d4046e136b34d
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: 8c9d3b23515bdd05158634966f10aea35f58602e09aca4fd3f104a803ccdebe9
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: 387d0159db285caa8b3f5ab08040e6236ec82e21c8ab2b1ca796e28477cabb4a
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: bf6e5e97e76f714a8ca83b45eac92491da1416f6d0ed968e2d782b9df6f77c21
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: a37af966de360d80063a77e9dd121cbaf0bfac351d6a7220d41f2255de48fd1a
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: 9d20851a8b08e3dd12dd88703df6da388a4da59c0536c88bcadecccdafc037bb
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: fa058f0169a95d38642767fe6519fd6ab6e92052aab633d64d7f4be6950e78a7
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: cddd36ae3df5f8a8920f4f24961fcb5351e215dfa72f6e71b24579387b9fe529
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: b05ebe31b1c19cfd0a4d21d6a09c60c211e4878b3c87981fe2c2927e1b40b81b
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: 498b78dcd5a6ef155bc395cdbfd3045a7705306a40555d200885cf2af3b66922
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: bd127ed093626bf3862b221ca488c070dba97a4bc491b461cc6645fe58296f8f
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: b48872cf2f360c91232410b1782af90d507301844a6660b05163ba5304709d58
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: d47d9cad799ecf534df6c5615b0a2c3a07a7648a7021d862c5edcdf0bb288797
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: 83771d580d1ab8e4085d12a4a4c070d4a09ff643f37533d14877a97824c9217e
AddMul Arithmetic Reconstruction
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 15c951e1bc2c0d9a7aefa2036813e74a24572986be510af352145f84a81575e9
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: 97a73e5c65850dbe9b87805c4c3eb52315cedcbb6b7f77c035d65138c0ca0805
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: e1018387b9c9e98f196d94457271dcff108614fd93f1a464a0832e26abd04b46
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: fe61eaa66356bddd77efca4d0cd4a55c5a688c5b55f57236f4c225f0f923f1a8
Euler Signal Bridge
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: ebd1eea5c260061d2fbce9e9fa4f5702e6915a2e29d057e668d4442efcb28fd8
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: 35793fdd4e1e0f7965a58699ec0a042e0fd61e7bf8bcfbca429188ccd09c4897
Hilbert 12: ambient dual slice
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: d49131c52049ed5faf4c23cbde396dd4cf054377149bb64244b6938cd29024c8
Hilbert 12: analytic Fourier branch
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 6b0d9401fab398fc82b838c1f4be21e9218f6aa2d904c4a2a43558a46e98ab41
Hilbert 12: closure attempt
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 5a5e69bedbd5eff3acffb47eded0710a228e5bc58e3539c2c6cb8c8c59df038c
Hilbert 12: contracting ambient torsion
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: dd1fcfceb25f95fd318cfd7cde7587760ae2575cf938b4470ccf265567352519
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: 06a56c0f5c9cde7c7b07268adadf18b5bee55451f98b8878dff20483053c129c
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: bbd0eec28b099f003691dd31d78ee7e9c9f2b0051016b113058ca9a8e2498313
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: e34881377a0a3b1b172dd22982dde8421c9e4ee92e0d9f6d152304d0f1427e3b
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: 74878ce5411d6d0cd2e89884b4636760ef4780bd5ee4e74871940fcbfaab94d9
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: 27bc765e214b69dee1452be93c34d01c1fca6904de2912b7669c481e138336e1
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: cc82a95583a126d8379ba7bf7beab1d52df9b6773560c8f4038c57d145645c00
Model-Theory Normalization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: df739adff249bd00403df626941aaa9e3d92b7271be82a660f2a6b484f57e6c7
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: 0ebc1e6957fdbae1b3e93ebfe0df2419688c0786150611571fcbd761f5334120
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: dfe51b4f683c50de16783ab9bb1408f682ca2cc674c9427136e12d9879e7cda5
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: 3eb47a0575c4f35f2da94e00e09288700abb45c7ddc84adbc56ce742125aac2d
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: 98c4c256934921632d6d90576954d36b7b8fccf5850a38a9a80ac5c71b107398
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: fcf14ed82f0a61157fe75c836f95c28680a02801791778c98eafb6d8190afa25
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: 42d5e3d315661b08275893702a601240b36d8ed7258c55471ad68f9c73e847d0
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: d56e75ddb0b720811cf362e3f1aaa4b161d1985ad06a5394a98414e9c4719f4a
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: 427605d68db54f857661f92fab17b2c6944aa06f3b4d49ab5119e4e8d87dcc2b
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: ca1fd4e45ef8a87a0527a74a7c65c315e3c45ac083ddd7ade44d5ba8326fff4e
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: 2af8a05451b2a47addb4873b008ee533587b666470c3a71560a8b4705932767b
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: 85e3809a7d9ef953ea97a62aad16feafa4b82f4753ba411084bc9d326e70e68a
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: 7ece99cdbf71db3d269897532b491dff40796246a1a0c25be58dc87e0c79e4d9
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: 59050a35ccb6165c16a4bf22e2f838c1f599517e612f7037c2011238e0991582
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: 275e6b9820145b70efa91398ad13c372bd528f363a7479b6852f4b583af595bc