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: 55f4868f6731d90839323165affe88a352b7912b26535b5f107db9a955d86864
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: d80afc69ad0fab48e0a583c502c45d86403afac22d03bbf92d20e40e6d3442e4
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: 29df16ead73bb0c665434de6a4efe540e77ebb5a221ac178c4a87fb07436fdca
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: 24e24f3f40ca296e3e4ff1811d0fdf96bc774e6d17ad08195eab2a50f88215a7
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: 548c53a0dbc6ec363f9f70205d226bd68f1327b15002f2b7218a523f03b4eef9
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: 459161224197f3ab937312c780e27d19b9b53e1a68c9aec99eb31ba96ab3935d
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: dda501e54980db9b8538fe558d5afb7a700082b62e7f108e8a2f1b25b3a384ce
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: 7d07da8af046b9ff82d34d62a253608c715dca325315983e17b62ebf447c4136
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: 674c5fec58e1677c73975eda23d6df07a91238e2858c45da2483248a75a7eb1c
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: a0bca0ff5683ae2cefe002b40040bc70d06c6ea7b9e8d4af3bf6c8d092105afd
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: 6a833f91deada7c78b12a23b6d6704ee26f14fdfaf0a0e75e5e9a7de6387b59b
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: 400c44302e49d3bd69c73fecb3408f27576275c1528b83d69926f834e97114f1
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: fc18684b0dfdf84015eec704fdb0db48ac5376c9482f81e0b14787ebbecc85f8
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: a4e0f64ecd334c96f4ac4659bcfd95ebc3c4ca635131c0c11726a35a2b78b3cf
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: 4dcd9ca806ffc7691ac23ef50ca55c9971b1f85e92427cdfef7d05e67e6bdfc2
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: 46c629fbc34df202ef8d7f35f28a2db543f3ac77431a97c38f21c18f72075bbc
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: 3f7f6830dd00b46ee4ac690d14027c3a50a6e017a55d5cf378954f6440a673ec
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: b144c2d88b50a7f3b8b1cdde2b9da6308a9952ae53af417ca05fe3f0d25707c5
Certified Inference
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 17766a481ea66d67d8bf1a74860673084b82b6f24f1f46ef03b7c37fa167a509
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: 053d9be015e5c14c6a335d4374d1583ab47637beb2775ba1be76d2a8791bb020
Information Realization
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LEAN_GUIDE.md
- README.md
ZIP SHA-256: ba55869932f8abe171c38b1bbd3243bd48edb8fb2cf4a1b547b0afef2ba7fb1d
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: 2e13f3a2a5d2344567f3985f3387920ccb2abbd7a649d881b872f04d67716bb0
KZFC and Residual Reflection
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: c2cb876551fba63beb97d719d2566f2a9e5c6b951a149d51facf969871a41ed8
Logical Resolution
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 5340596564da88b45205ba11ee5dda2f73bbbc31468cb60d5cdac55aa0d0115e
p-adic Canonical Realization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: c5e875c4013542fb3470bf22828e5ea4e530a3e6f789b763a36129c0db88f395
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: 2cdf1303998ca35dcf5447166aac5cb6f3147fd18001bd191c43282e99884313
Representation Calculus
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: a26079369a36ccc49fac9deff5b7adb41b8e506fa6c261c90fe485fe18981886
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: 0fa5017d11959d08fcb1b3f39c64a32e9583b4226372626d9093fa532ed2bced
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: f3f064ac64656e42fa06a28b3791b6614dc3fcddb9358678ea7a06ccbfab6875
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: 3ec6f0eeb8d59b73867949d1a5a01ff6005fbcbdd7ed70bcabe6b821c4de9803
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: e11fcf67ab0c21de15e1009c3efb3e5383f25307367fbc6397f665e5ab22fb33
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: 26ac35411f48d317c5149979e7cf3f7e0d28430133a4d74a3703243b4c274ac8
COS Method: formal continuation
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: d409eff30def32f1dcdd5ec2ed2c56ad4cc5c0f907ee8c6406dcb49735950500
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: c6c4d805d2c5b60ed97b5d6ac464e1c8ff055280c4df159be8b61d800eac2318
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: 712cb03872886472e8c5e66c715f51b064247112990a63dfc5ea97820d3e3f10
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: d9ce3ad43a6ecd8086625bdacefc30601f2fddeb33ba0630ff8c630dc0fc75d8
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: a77ca70a3abc84b615eac9229ad5207f0a04b8aa0c161b6474b9b7853472fa4b
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: 9328df3e9d2a0e6a670cdb4a0d324e8be2fc2aec233891950d4727f45de7462f
Arithmetic J-Space Training Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: b56ba732c258661fe8ff0bee0d9382b25e0ff7405b7482c66cd28cf8246b78ea
J-Space Causal Lab
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: e2d6517987d3c7203526ff5ad29426331a00453f42d5ee342584ab94258ca3fe
J-Space Collections
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 8565d9584ff368231b5818a54d24334592f987c17d017878e2533092a7353692
Workspace Incubator
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 7a1750b15d2c7b17ebf37dfac5c401f0e810b755aa368e4387a24f5819f2eab4
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: 56a62a31872b8abd6bc82a9528c610592bf4452c6ef44f2a6eae97867e055def
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: 408024f9cb3f0b4383a05e8491d12c599395373882f08697bfb97779bc7d87d1
RRCT multispace convergence protocol
Download reading ZIP · 0.0 MB · 2 selected files · Choose files
Contents and checksum
- LICENSE
- README.md
ZIP SHA-256: 1c13cd2856a778212e27d7bfb00aaa614807041783bfe8543f01945c96ba57ff
RRCT
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 16c1cd8bc12ccf4d70d5f724859c1759e6a5eb25230805dfa971f244f1eb719a
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: bb3aae9284818e75f0fa7fb67eab50ea11240e717d4ba199871e0b5bb7cd9466
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: 02b61dc69a65df30fa2574d3b1e58ad012cd58c3a7b1f773961d6decabce6c2a
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: 735438c18b0826a7bc18ad100afacbe990e7914598cae1e1ae7368f6db78e3e5
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: 2608c5ddd2a25be24811bae8409eef0c6dd48bbde78f9b097c08118af8f985ba
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: b67ee4dbb77057b466a2bda4c4b9cafbc353e6a20a4bd941de93f86c596adba4
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: f52dc808cafcabe680cf029ad39fa7ecb926ecdb86a895a8513e868eacf79d4a
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: cd1ece645d5fbd12fd6123f7be9aa9c91ab4d575ffcc98eb84d9d77e32b5ed53
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: b380f1e3694c505db860e14bdf440f33c2f3d84c47d3732064ddf56d8de13ae0
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: c1a6f849dbdeaa7f95dbc8d0a12adf45b974f17599bb0a2930966ed9c6504369
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: eba2d6ce33a1769a0ae03404640e12320c4325364287389d82014e83f4fcdbda
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: 9f9cc085577d1ed14bfeb03f0e1b1ca5b37b0b64f8df83af595510a6ec72829b
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: 06aa89cbf427e710905f20741873ada20fa05f99a7b02e2ec6ec0805d6330578
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: 2b708ac24a26ea8b09ad934c5f6346dbc7317e59df334674807c0758c1a6bfb3
AddMul Arithmetic Reconstruction
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: ea1d84f47253165714f25aa8133a7a2d51460d8f0e99648ca8ae5003f2648790
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: 5c07d4ab3583caadec8992a9cfb619509899aa6601c58facd51c05f0f7785911
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: a6062e13929c006f4e25ee42778edb711cbb0fb23968615b7fdce1386aeff648
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: 4fb8ff93a7c900acda9384ce425bc393773c9fdca2c171298732c144cf88498e
Euler Signal Bridge
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 80d9f85428a191421b1b10b80759a2f79bf6afc0152f51b5c566fd36ec7a0f0f
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: 7e422634c584a48d2e48c9eba5ecb9b84ee02bc6f08cf470eb0ec1d71f664a3b
Hilbert 12: ambient dual slice
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: ae84410de7a28cf1c82462e1b90d88ab5d83d45d86a36550aa63fbbd742a15ee
Hilbert 12: analytic Fourier branch
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: 78b325fd124c219729c9c3ee4535c89eab5d20bd5f4604c76a1659b0cb5dc111
Hilbert 12: closure attempt
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: a1279b6b6ff884d94e90a275df5996a32178760cfd8ffc2b3b7279d0c4aee1a5
Hilbert 12: contracting ambient torsion
Download reading ZIP · 0.0 MB · 0 selected files · Choose files
Contents and checksum
ZIP SHA-256: cc5cf84d72b95436904e465a21ed6d3c1134075093b6135aacb696ed96fa742a
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: cbb2091a2f43b8f5c3d939829465c539693d682a893e9a87345337124922f9c4
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: be0cb4ed2edc94561c0634b369c77c50fd117dbf887838cc1d3c26c45230ff44
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: 4acc676b779623db035221fcc7ec243832fca16fda9022ec304d9933036e72c9
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: adc1c7586f46b7bb514c3d48d0781fd92221144c2a1d329744db88a80df255aa
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: c019140e4f6baac5c72aea1fe7636d3587226027eade37f5d8b6c52186e0213f
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: c575079dc2b114f977fb01016d5e175ef2dadd1f2251d96d789a31d310518008
Model-Theory Normalization
Download reading ZIP · 0.0 MB · 1 selected files · Choose files
Contents and checksum
- README.md
ZIP SHA-256: 4024131b1f74a665bc800321c29ca9a6de61c10342a1d85c2e25a5c7e3f3f198
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: 78bf3b4459f0fc6093a34281dd2bdffc0fbd21bc9e5dbe2e3c9e9360bc55bb51
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: 5338a00321edbf153ded2b6e57319da1fb747e24697d1b5303f41604e79575cd
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: d8665ace2ecaeaeab5926d987dafb7bd60210e39ed0597ef24ffa3a718fc457d
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: c277cd14be91c4b7fe38ede7085435978357c6769dfa18c7129557d78a36a677
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: 571e1f426a050231b0d463109a579e7809368a7f7b5ae144c21cbb39fe51ac0f
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: 0007133a36a6704ba93a3ef90643be091ae0cf4def9568c45bdc360f66138d34
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: eeb69eb9722a7485f9c86cc333387e24efcaa76981e996194b93b757b11b80fd
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: 3a7160f178faddb3d90b78499d7d3acb3e4cbbad6cdb8fc454f10b9b7a8d0a43
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: 57674ea38ea95c7f908ebb81830eee6d6d2aa933835fa7d61aeef7b007a211d1
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: c6edfca3e7487e54c12266351d1d2578f9aa342aee559e0f94e45ce3e591d845
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: a36245b7f08f6c3b94e66b112cddbcc7ff56b6f405702685683b07fabc04b005
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: 02902d4c128638002fb3426e246d001ecc321347627ef5463fe75917e53469f8
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: f84177937d343bad33ee8c4149bb1863622e44fa15546dd038f24ead370deb19
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: 572ef55602a38d716fc9ca3c2eb5078badcbd6db2981508acdc20b787b951f19