Find written statements and proofs
Browse hub · Find proofs · Lean sources · Code · Collection
Open the manuscript or claim guide, then search for the statement number or section. A selected text source may be part of a multi-file manuscript. The evidence records state which claims have been reviewed. Follow Work overview for visual guides, Lean, code, and the exact edition.
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
- Read PDF
- Manuscript text (TeX)
- 108-record correspondence map (JSON)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper V: Polyphase Signal Calculus
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper VII: Quantum Seed Calculus
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
- Read PDF
- Text sources: sources/main
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
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
- Self-Improving Intelligence
- Self-Improving Intelligence: visual guide
- Grounded Abstraction
- Machine Theory Compendium
- Realization Calculus: twin edition
Realization Calculus
- Read PDF
- Text sources: Papers I–IV
- Text sources: Papers V–VIII
- Text sources: Papers IX–XII
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Proof Path Theory
- Read PDF
- Manuscript text (TeX)
- LEAN GUIDE.md
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Komorebi Methodology
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Large Signal Model
- Read PDF
- Text sources: Monograph/source
- COVERAGE.md
- LEAN GUIDE.md
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Special Functions
- Read PDF
- Packet Realization Core and correction register (PDF)
- Original Series Collected Reader (PDF)
- Manuscript text (TeX)
- Proof map and appendices (TeX)
- Coupled formal claim map
- Block17 claim map
- Block17 recorded execution receipt
- Block17 source publication inventory
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Machine Societies
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Komorebi Space
- Read PDF
- Manuscript text (TeX)
- Worked-proofs supplement (PDF)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Realization Boundaries
- Read PDF
- Manuscript text (TeX)
- Written-result correspondence and scope
- Machine-readable coverage register
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Sufficient Resolution
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Machine Native Reasoning
- Read PDF
- Manuscript text (TeX)
- Selected results and formal correspondence
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Quantum and Circuits
- Read PDF
- Manuscript text (TeX)
- Current circuit claim register (C01–C08)
- Historical circuit claim register (preserved companion)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Physics
- Read PDF
- Text sources: source/monographs
- Return to this work’s written proofs section
- Work overview
- Status and evidence
COS Method
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Self-Improving Intelligence
- Read PDF
- Manuscript text (TeX)
- CLAIMS.md
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Self-Improving Intelligence: visual guide
Grounded Abstraction
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Machine Theory Compendium
- Read PDF
- Connected synthesis (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Realization Calculus: twin edition
- Volume I: Komorebi Space (PDF)
- Volume II: Realization Boundaries (PDF)
- Volume I text sources
- Volume II text sources
- Worked-proofs supplement (PDF)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Research programs
Jump to a work:
- Information Realization
- Machine Understanding
- OSL and Neuralese
- OSL and Neuralese: reading edition
- SRIC: external semantic admission
- SRIC: endogenous semantic witness
- Stratified Recursive Improvement Closure
- AVOC
- Hypergraph Lumpability and Bayesian Refinement
- PRISM-1
- Certified Bayesian Inference
- Stratified Relational Workspace Theory
- Machine Theory: formal development
- Machine Native Reasoning: wider continuation
- ABC: global RR8 branch
- ABC: source and evidence reader
- Beal: source and evidence
- Catalan Constant: source and evidence
- Collatz and Riemann: source and evidence
- Gaussian Elimination: collected guide
- Hilbert 12: cubic divisor development
- Hodge: source and evidence
- Inverse Galois: source and evidence
- Lehmer: source and evidence
- The Possibility for a Machine Native Mathematics
- Prime-Contact Coherence Calculus
- Resolution Semantics
- Seeded Two-Axis Calculus
- Signal Reconstruction
- Stratified Universality
- Streaming Polyphase Factor Decomposition / SKAT
- Strong Artin: source and evidence
- Physics: curvature states
- Physics: energy and backreaction
- Physics: origin locking
Information Realization
Machine Understanding
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
OSL and Neuralese
- OSL Final Research Edition (PDF)
- Neuralese Final Research Edition (PDF)
- Text sources: OSL/manuscript/OSL_Final_Research_Edition.tex
- Text sources: Neuralese/manuscript/Neuralese_Final_Research_Edition.tex
- Return to this work’s written proofs section
- Work overview
- Status and evidence
OSL and Neuralese: reading edition
- OSL Final Research Edition v1.0 (PDF)
- Neuralese Final Research Edition v1.0 (PDF)
- Text sources: OSL_Neuralese_Manuscripts_v1.0/OSL/manuscript/OSL_Final_Research_Edition.tex
- Text sources: OSL_Neuralese_Manuscripts_v1.0/Neuralese/manuscript/Neuralese_Final_Research_Edition.tex
- Return to this work’s written proofs section
- Work overview
- Status and evidence
SRIC: external semantic admission
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
SRIC: endogenous semantic witness
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Stratified Recursive Improvement Closure
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
AVOC
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Hypergraph Lumpability and Bayesian Refinement
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
PRISM-1
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Certified Bayesian Inference
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Stratified Relational Workspace Theory
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Machine Theory: formal development
Machine Native Reasoning: wider continuation
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
ABC: global RR8 branch
ABC: source and evidence reader
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Beal: source and evidence
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Catalan Constant: source and evidence
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Collatz and Riemann: source and evidence
- Komorebi Collatz Conjecture Piece v1.1 (PDF)
- Komorebi Riemann Conjecture Piece v1.1 (PDF)
- Text sources: collatz/main.tex
- Text sources: riemann/main.tex
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Gaussian Elimination: collected guide
Hilbert 12: cubic divisor development
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Hodge: source and evidence
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Inverse Galois: source and evidence
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Lehmer: source and evidence
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
The Possibility for a Machine Native Mathematics
Prime-Contact Coherence Calculus
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Resolution Semantics
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Seeded Two-Axis Calculus
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Signal Reconstruction
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Stratified Universality
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Streaming Polyphase Factor Decomposition / SKAT
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Strong Artin: source and evidence
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Physics: curvature states
Physics: energy and backreaction
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Physics: origin locking
Software packages
Jump to a work:
Constructive Repair
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Universal Generative Deformation Calculus
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Large Signal Model software
- Read PDF
- Manuscript text (TeX)
- Return to this work’s written proofs section
- Work overview
- Status and evidence
Experiments
Jump to a work:
Agent Dynamics
Browse hub · Find proofs · Lean sources · Code · Collection