Follow a written claim
The searchable claim index covers all 12 core papers with 1159 reading records. Search by title, statement text, source label or recorded Lean name. Filter by paper and statement type, then share the page address or a record’s permanent link.
Paper I retains its 108 correspondence records. The source labels 69 as covered. Papers II through XII index explicit statement blocks in their current TeX manuscripts and literal included sections. The index keeps definitions, conjectures, classical inputs, and numerical certificates distinct from theorems. Historical environments and statements introduced only through macro expansion are outside this extraction. Counts describe reading entries, not the number of proved or formalized results.
A proof link identifies the recorded passage or an immediately following proof block. It does not assess correctness. Paper I’s existing Lean mappings are retained. Lean correspondence for individual claims for Papers II through XII has not been transcribed into this index. Their formal guides, Lean coverage, code and evidence remain linked at paper level. This update performs no new proof review or Lean run.
Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates
Open 108 correspondence records.
Written proofs · Lean · Code · Evidence
Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets
Open 65 written statement records.
Written proofs · Lean · Code · Evidence
Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory
Open 139 written statement records.
Written proofs · Lean · Code · Evidence
Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data
Open 85 written statement records.
Written proofs · Lean · Code · Evidence
Paper V: Polyphase Signal Calculus
Open 103 written statement records.
Written proofs · Lean · Code · Evidence
Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations
Open 164 written statement records.
Written proofs · Lean · Code · Evidence
Paper VII: Quantum Seed Calculus
Open 140 written statement records.
Written proofs · Lean · Code · Evidence
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
Open 80 written statement records.
Written proofs · Lean · Code · Evidence
Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation
Open 79 written statement records.
Written proofs · Lean · Code · Evidence
Paper X: Universal Residual Seeds and Conditional Occupied-System Completion
Open 37 written statement records.
Written proofs · Lean · Code · Evidence
Paper XI: Packets, Arithmetic Realization, and Conditional Comparison
Open 90 written statement records.
Written proofs · Lean · Code · Evidence
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
Open 69 written statement records.
Written proofs · Lean · Code · Evidence
Realization Calculus
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Proof Path Theory
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Komorebi Methodology
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Large Signal Model
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Special Functions
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Machine Societies
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Certified Inference
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Constructive Repair
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Information Realization
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Komorebi Space
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
KZFC and Residual Reflection
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Logical Resolution
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
p-adic Canonical Realization
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Realization Boundaries
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Representation Calculus
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Sufficient Resolution
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Machine Native Reasoning
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Quantum and Circuits
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Physics
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
COS Method
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
COS Method: formal continuation
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Self-Improving Intelligence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Self-Improving Intelligence: visual guide
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Grounded Abstraction
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Machine Understanding
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Agent Dynamics
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Arithmetic J-Space Training Lab
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
J-Space Causal Lab
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
J-Space Collections
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Workspace Incubator
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
OSL and Neuralese
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
OSL and Neuralese: reading edition
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
RRCT multispace convergence protocol
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
RRCT
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
SRIC: external semantic admission
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
SRIC: endogenous semantic witness
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Stratified Recursive Improvement Closure
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
AVOC
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hypergraph Lumpability and Bayesian Refinement
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
PRISM-1R
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
PRISM-1
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Certified Bayesian Inference
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Stratified Relational Workspace Theory
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Machine Theory: formal development
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Machine Native Reasoning: wider continuation
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
ABC: global RR8 branch
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
ABC: source and evidence reader
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
AddMul Arithmetic Reconstruction
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Beal: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Catalan Constant: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Collatz and Riemann: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Euler Signal Bridge
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Gaussian Elimination: collected guide
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hilbert 12: ambient dual slice
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hilbert 12: analytic Fourier branch
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hilbert 12: closure attempt
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hilbert 12: contracting ambient torsion
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hilbert 12: cubic divisor development
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Hodge: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Inverse Galois: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
IUT Valuation Hulls
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Lehmer: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
The Possibility for a Machine Native Mathematics
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Model-Theory Normalization
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Prime-Contact Coherence Calculus
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Resolution Semantics
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Seeded Two-Axis Calculus
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Signal Reconstruction
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Stratified Universality
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Streaming Polyphase Factor Decomposition / SKAT
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Strong Artin: source and evidence
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Universal Generative Deformation Calculus
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Large Signal Model software
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Machine Theory Compendium
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Physics: curvature states
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Physics: energy and backreaction
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Physics: origin locking
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence
Realization Calculus: twin edition
A detailed statement index has not yet been transcribed for this work. Follow its written proofs and any linked correspondence map. This does not imply that a map or proof is absent from the source edition.
Written proofs · Lean · Code · Evidence