Find code and scripts
Browse hub · Find proofs · Lean sources · Code · Collection
These are entry points to runtime code, examples, checks, and utilities supplied with each edition. Some are build or audit scripts. Read Work overview and the edition README for setup instructions and what each command does. All software remains beta / work in progress.
Jump to: Core papers · Books and companion volumes · Research programs · Software packages · Experiments
Core papers
Jump to a work:
- Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
- Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
- Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
- Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
- Paper V: Polyphase Signal Calculus
- Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
- Paper VII: Quantum Seed Calculus
- Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
- Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
- Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
- Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
- Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
- Code / scripts: source/canonical_v1.2.1/code/python
- Return to this work’s code section
- Work overview
- Status and evidence
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Paper V: Polyphase Signal Calculus
- Code / scripts: source/complete/original_snapshot/companion
- Return to this work’s code section
- Work overview
- Status and evidence
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
- Code / scripts: source/complete/original_snapshot/companion
- Return to this work’s code section
- Work overview
- Status and evidence
Paper VII: Quantum Seed Calculus
- Code / scripts: source/complete/Paper_VII_Complete_v0.6.0_With_Visual_Appendix/original_companion
- Return to this work’s code section
- Work overview
- Status and evidence
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
- Code / scripts: source/complete/Paper_VIII_Complete_v0.6.0_With_Visual_Appendix/original_companion/legacy
- Return to this work’s code section
- Work overview
- Status and evidence
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
- Code / scripts: inherited_baseline/original_companion
- Return to this work’s code section
- Work overview
- Status and evidence
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Books and companion volumes
Jump to a work:
- Realization Calculus
- Proof Path Theory
- Komorebi Methodology
- Large Signal Model
- Special Functions
- Machine Societies
- Komorebi Space
- Realization Boundaries
- Sufficient Resolution
- Machine Native Reasoning
- Quantum and Circuits
- Physics
- COS Method
- COS Method: formal continuation
- Self-Improving Intelligence
- Self-Improving Intelligence: visual guide
- Grounded Abstraction
- Machine Theory Compendium
- Realization Calculus: twin edition
Realization Calculus
Proof Path Theory
- Proof Path Theory implementation and CLI
- Return to this work’s code section
- Work overview
- Status and evidence
Komorebi Methodology
Large Signal Model
- Code / scripts: Reference_Laboratory
- Return to this work’s code section
- Work overview
- Status and evidence
Special Functions
- Code / scripts: tools
- Exact coupled-function regression (Python)
- Return to this work’s code section
- Work overview
- Status and evidence
Machine Societies
Komorebi Space
Realization Boundaries
Sufficient Resolution
Machine Native Reasoning
Quantum and Circuits
- Portable formal replay wrapper (requires the external Lean kit)
- Symmetry packet implementation and exact checks
- Catalytic gate atlas: mathematical modules
- Circuit scientific replay (Python and C++17)
- Return to this work’s code section
- Work overview
- Status and evidence
Physics
COS Method
COS Method: formal continuation
Self-Improving Intelligence
Self-Improving Intelligence: visual guide
Grounded Abstraction
Machine Theory Compendium
Realization Calculus: twin edition
Research programs
Jump to a work:
- Information Realization
- KZFC and Residual Reflection
- Logical Resolution
- p-adic Canonical Realization
- Representation Calculus
- Machine Understanding
- OSL and Neuralese
- SRIC: external semantic admission
- SRIC: endogenous semantic witness
- Hypergraph Lumpability and Bayesian Refinement
- PRISM-1
- Stratified Relational Workspace Theory
- Machine Theory: formal development
- Machine Native Reasoning: wider continuation
- ABC: global RR8 branch
- ABC: source and evidence reader
- AddMul Arithmetic Reconstruction
- Beal: source and evidence
- Catalan Constant: source and evidence
- Collatz and Riemann: source and evidence
- Euler Signal Bridge
- Hilbert 12: ambient dual slice
- Hilbert 12: analytic Fourier branch
- Hilbert 12: closure attempt
- Hilbert 12: contracting ambient torsion
- Hilbert 12: cubic divisor development
- Hodge: source and evidence
- Inverse Galois: source and evidence
- IUT Valuation Hulls
- Lehmer: source and evidence
- Model-Theory Normalization
- Resolution Semantics
- Seeded Two-Axis Calculus
- Signal Reconstruction
- Stratified Universality
- Streaming Polyphase Factor Decomposition / SKAT
- Strong Artin: source and evidence
- Physics: energy and backreaction
- Physics: origin locking
Information Realization
KZFC and Residual Reflection
Logical Resolution
p-adic Canonical Realization
Representation Calculus
Machine Understanding
OSL and Neuralese
- Code / scripts: OSL/core05/reference
- Code / scripts: OSL/core05/tests
- Return to this work’s code section
- Work overview
- Status and evidence
SRIC: external semantic admission
- Corrected runtime 0.3.3 (source and setup)
- Repair details and recorded checks
- Preserved original edition: Code / scripts: sric_real_lrm
- Preserved original edition: Code / scripts: tests
- Return to this work’s code section
- Work overview
- Status and evidence
SRIC: endogenous semantic witness
- Code / scripts: block23
- Code / scripts: tests
- Return to this work’s code section
- Work overview
- Status and evidence
Hypergraph Lumpability and Bayesian Refinement
- Finite reference implementation (Python)
- Return to this work’s code section
- Work overview
- Status and evidence
PRISM-1
Stratified Relational Workspace Theory
Machine Theory: formal development
Machine Native Reasoning: wider continuation
ABC: global RR8 branch
ABC: source and evidence reader
- Code / scripts: evidence/computation
- Return to this work’s code section
- Work overview
- Status and evidence
AddMul Arithmetic Reconstruction
Beal: source and evidence
- Code / scripts: evidence/computation
- Return to this work’s code section
- Work overview
- Status and evidence
Catalan Constant: source and evidence
Collatz and Riemann: source and evidence
Euler Signal Bridge
Hilbert 12: ambient dual slice
- Script: h12_ambient_dual_slice_verify.py
- Return to this work’s code section
- Work overview
- Status and evidence
Hilbert 12: analytic Fourier branch
- Script: H12_Analytic_Resolvent_Verifier.py
- Return to this work’s code section
- Work overview
- Status and evidence
Hilbert 12: closure attempt
Hilbert 12: contracting ambient torsion
- Script: h12_full_ambient_torsion_verify.py
- Return to this work’s code section
- Work overview
- Status and evidence
Hilbert 12: cubic divisor development
Hodge: source and evidence
Inverse Galois: source and evidence
IUT Valuation Hulls
Lehmer: source and evidence
Model-Theory Normalization
Resolution Semantics
Seeded Two-Axis Calculus
Signal Reconstruction
Stratified Universality
Streaming Polyphase Factor Decomposition / SKAT
Strong Artin: source and evidence
Physics: energy and backreaction
Physics: origin locking
Software packages
Jump to a work:
- Certified Inference
- Constructive Repair
- RRCT
- Universal Generative Deformation Calculus
- Large Signal Model software
Certified Inference
Constructive Repair
- Code / scripts: python/komorebi_repair
- Code / scripts: tests
- Return to this work’s code section
- Work overview
- Status and evidence
RRCT
Universal Generative Deformation Calculus
- Code / scripts: generative_deformation
- Code / scripts: tests
- Return to this work’s code section
- Work overview
- Status and evidence
Large Signal Model software
- Public PR-LASM package interface
- Implementation and compatibility namespace
- Return to this work’s code section
- Work overview
- Status and evidence
Experiments
Jump to a work:
- Agent Dynamics
- Arithmetic J-Space Training Lab
- J-Space Causal Lab
- J-Space Collections
- Workspace Incubator
Agent Dynamics
Arithmetic J-Space Training Lab
- Code / scripts: arithmetic_space_lab
- Code / scripts: tests
- Return to this work’s code section
- Work overview
- Status and evidence
J-Space Causal Lab
J-Space Collections
Workspace Incubator
Browse hub · Find proofs · Lean sources · Code · Collection