Download one work
The website downloads provide a separate reading ZIP for each work. Each contains its selected reading files, linked claim guides, available license notices, a source revision, and SHA-256 checksums. The website lists file counts and sizes before download.
Use Build your own ZIP to combine files from several works. Start with reading files or PDFs, then adjust individual manuscript sources, Lean files, code, guides, and worked examples. The selector shows the file count and size, adds available license notices, and checks each file against its recorded SHA-256 checksum. Choose Prepare ZIP, then Save ZIP when it is ready. You can cancel preparation without losing your choices. Custom ZIPs support up to 200 MiB of source files and are prepared in your browser. The ready-made ZIPs also work without JavaScript.
These are reading selections. TeX may depend on additional files, and the ZIP is not a complete Lean or software build. Use the source instructions below for a full component.
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Reading ZIP and contents · Work and evidence
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
Reading ZIP and contents · Work and evidence
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Reading ZIP and contents · Work and evidence
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Reading ZIP and contents · Work and evidence
Paper V: Polyphase Signal Calculus
Reading ZIP and contents · Work and evidence
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
Reading ZIP and contents · Work and evidence
Paper VII: Quantum Seed Calculus
Reading ZIP and contents · Work and evidence
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Reading ZIP and contents · Work and evidence
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Reading ZIP and contents · Work and evidence
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Reading ZIP and contents · Work and evidence
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Reading ZIP and contents · Work and evidence
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Reading ZIP and contents · Work and evidence
Realization Calculus
Reading ZIP and contents · Work and evidence
Proof Path Theory
Reading ZIP and contents · Work and evidence
Komorebi Methodology
Reading ZIP and contents · Work and evidence
Large Signal Model
Reading ZIP and contents · Work and evidence
Special Functions
Reading ZIP and contents · Work and evidence
Machine Societies
Reading ZIP and contents · Work and evidence
Certified Inference
Reading ZIP and contents · Work and evidence
Constructive Repair
Reading ZIP and contents · Work and evidence
Information Realization
Reading ZIP and contents · Work and evidence
Komorebi Space
Reading ZIP and contents · Work and evidence
KZFC and Residual Reflection
Reading ZIP and contents · Work and evidence
Logical Resolution
Reading ZIP and contents · Work and evidence
p-adic Canonical Realization
Reading ZIP and contents · Work and evidence
Realization Boundaries
Reading ZIP and contents · Work and evidence
Representation Calculus
Reading ZIP and contents · Work and evidence
Sufficient Resolution
Reading ZIP and contents · Work and evidence
Machine Native Reasoning
Reading ZIP and contents · Work and evidence
Quantum and Circuits
Reading ZIP and contents · Work and evidence
Physics
Reading ZIP and contents · Work and evidence
COS Method
Reading ZIP and contents · Work and evidence
COS Method: formal continuation
Reading ZIP and contents · Work and evidence
Self-Improving Intelligence
Reading ZIP and contents · Work and evidence
Self-Improving Intelligence: visual guide
Reading ZIP and contents · Work and evidence
Grounded Abstraction
Reading ZIP and contents · Work and evidence
Machine Understanding
Reading ZIP and contents · Work and evidence
Agent Dynamics
Reading ZIP and contents · Work and evidence
Arithmetic J-Space Training Lab
Reading ZIP and contents · Work and evidence
J-Space Causal Lab
Reading ZIP and contents · Work and evidence
J-Space Collections
Reading ZIP and contents · Work and evidence
Workspace Incubator
Reading ZIP and contents · Work and evidence
OSL and Neuralese
Reading ZIP and contents · Work and evidence
OSL and Neuralese: reading edition
Reading ZIP and contents · Work and evidence
RRCT multispace convergence protocol
Reading ZIP and contents · Work and evidence
RRCT
Reading ZIP and contents · Work and evidence
SRIC: external semantic admission
Reading ZIP and contents · Work and evidence
SRIC: endogenous semantic witness
Reading ZIP and contents · Work and evidence
Stratified Recursive Improvement Closure
Reading ZIP and contents · Work and evidence
AVOC
Reading ZIP and contents · Work and evidence
Hypergraph Lumpability and Bayesian Refinement
Reading ZIP and contents · Work and evidence
PRISM-1R
Reading ZIP and contents · Work and evidence
PRISM-1
Reading ZIP and contents · Work and evidence
Certified Bayesian Inference
Reading ZIP and contents · Work and evidence
Stratified Relational Workspace Theory
Reading ZIP and contents · Work and evidence
Machine Theory: formal development
Reading ZIP and contents · Work and evidence
Machine Native Reasoning: wider continuation
Reading ZIP and contents · Work and evidence
ABC: global RR8 branch
Reading ZIP and contents · Work and evidence
ABC: source and evidence reader
Reading ZIP and contents · Work and evidence
AddMul Arithmetic Reconstruction
Reading ZIP and contents · Work and evidence
Beal: source and evidence
Reading ZIP and contents · Work and evidence
Catalan Constant: source and evidence
Reading ZIP and contents · Work and evidence
Collatz and Riemann: source and evidence
Reading ZIP and contents · Work and evidence
Euler Signal Bridge
Reading ZIP and contents · Work and evidence
Gaussian Elimination: collected guide
Reading ZIP and contents · Work and evidence
Hilbert 12: ambient dual slice
Reading ZIP and contents · Work and evidence
Hilbert 12: analytic Fourier branch
Reading ZIP and contents · Work and evidence
Hilbert 12: closure attempt
Reading ZIP and contents · Work and evidence
Hilbert 12: contracting ambient torsion
Reading ZIP and contents · Work and evidence
Hilbert 12: cubic divisor development
Reading ZIP and contents · Work and evidence
Hodge: source and evidence
Reading ZIP and contents · Work and evidence
Inverse Galois: source and evidence
Reading ZIP and contents · Work and evidence
IUT Valuation Hulls
Reading ZIP and contents · Work and evidence
Lehmer: source and evidence
Reading ZIP and contents · Work and evidence
The Possibility for a Machine Native Mathematics
Reading ZIP and contents · Work and evidence
Revised reading edition and editable sources. The original source selection above remains available.
Model-Theory Normalization
Reading ZIP and contents · Work and evidence
Prime-Contact Coherence Calculus
Reading ZIP and contents · Work and evidence
Resolution Semantics
Reading ZIP and contents · Work and evidence
Seeded Two-Axis Calculus
Reading ZIP and contents · Work and evidence
Signal Reconstruction
Reading ZIP and contents · Work and evidence
Stratified Universality
Reading ZIP and contents · Work and evidence
Streaming Polyphase Factor Decomposition / SKAT
Reading ZIP and contents · Work and evidence
Strong Artin: source and evidence
Reading ZIP and contents · Work and evidence
Universal Generative Deformation Calculus
Reading ZIP and contents · Work and evidence
Large Signal Model software
Reading ZIP and contents · Work and evidence
Machine Theory Compendium
Reading ZIP and contents · Work and evidence
Physics: curvature states
Reading ZIP and contents · Work and evidence
Physics: energy and backreaction
Reading ZIP and contents · Work and evidence
Physics: origin locking
Reading ZIP and contents · Work and evidence
Realization Calculus: twin edition
Reading ZIP and contents · Work and evidence
Obtain a full component
Use Git 2.25 or later for sparse checkout. Replace COMPONENT_PATH with the exact source directory linked from the work page. Record the checked-out revision.
git clone --filter=blob:none --no-checkout https://github.com/KomorebiP/Operation-KOMOREBI.git komorebi-work
cd komorebi-work
git sparse-checkout init --cone
git sparse-checkout set COMPONENT_PATH
git checkout main
git rev-parse HEAD
This obtains the selected component and root files. Dependencies or sibling projects named by its build instructions may still need to be added. For the complete collection checks, use a full checkout as described in Verification.