Research programs: reading and source links
Browse hub · Find proofs · Lean sources · Code · Collection
PDF, manuscript text, Lean sources, code, and existing evidence are linked separately. Source files may describe an older edition. The status link gives the current assessment.
Contents
- Information Realization
- KZFC and Residual Reflection
- Logical Resolution
- p-adic Canonical Realization
- Representation Calculus
- 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
- AddMul Arithmetic Reconstruction
- Beal: source and evidence
- Catalan Constant: source and evidence
- Collatz and Riemann: source and evidence
- Euler Signal Bridge
- Gaussian Elimination: collected guide
- 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
- The Possibility for a Machine Native Mathematics
- Model-Theory Normalization
- 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
Incubator sources
These entries need more implementation work. Follow each entry for its limits and return criteria.
Information Realization
Open work page: Information Realization
Back to contents · Browse all collections
KZFC and Residual Reflection
Open work page: KZFC and Residual Reflection
Back to contents · Browse all collections
Logical Resolution
Open work page: Logical Resolution
Back to contents · Browse all collections
p-adic Canonical Realization
Open work page: p-adic Canonical Realization
Back to contents · Browse all collections
Representation Calculus
Open work page: Representation Calculus
Back to contents · Browse all collections
Machine Understanding
Open work page: Machine Understanding
Back to contents · Browse all collections
OSL and Neuralese
Open work page: OSL and Neuralese
Back to contents · Browse all collections
OSL and Neuralese: reading edition
Open work page: OSL and Neuralese: reading edition
Back to contents · Browse all collections
SRIC: external semantic admission
Open work page: SRIC: external semantic admission
Back to contents · Browse all collections
SRIC: endogenous semantic witness
Open work page: SRIC: endogenous semantic witness
Back to contents · Browse all collections
Stratified Recursive Improvement Closure
Open work page: Stratified Recursive Improvement Closure
Back to contents · Browse all collections
AVOC
Back to contents · Browse all collections
Hypergraph Lumpability and Bayesian Refinement
Open work page: Hypergraph Lumpability and Bayesian Refinement
Back to contents · Browse all collections
PRISM-1
Back to contents · Browse all collections
Certified Bayesian Inference
Open work page: Certified Bayesian Inference
Back to contents · Browse all collections
Stratified Relational Workspace Theory
Open work page: Stratified Relational Workspace Theory
Back to contents · Browse all collections
Machine Theory: formal development
Open work page: Machine Theory: formal development
Back to contents · Browse all collections
Machine Native Reasoning: wider continuation
Open work page: Machine Native Reasoning: wider continuation
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
ABC: global RR8 branch
Open work page: ABC: global RR8 branch
Back to contents · Browse all collections
ABC: source and evidence reader
Open work page: ABC: source and evidence reader
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
AddMul Arithmetic Reconstruction
Open work page: AddMul Arithmetic Reconstruction
Back to contents · Browse all collections
Beal: source and evidence
Open work page: Beal: source and evidence
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Catalan Constant: source and evidence
Open work page: Catalan Constant: source and evidence
Back to contents · Browse all collections
Collatz and Riemann: source and evidence
Open work page: Collatz and Riemann: source and evidence
Back to contents · Browse all collections
Euler Signal Bridge
Open work page: Euler Signal Bridge
Back to contents · Browse all collections
Gaussian Elimination: collected guide
Open work page: Gaussian Elimination: collected guide
Back to contents · Browse all collections
Hilbert 12: ambient dual slice
Open work page: Hilbert 12: ambient dual slice
Back to contents · Browse all collections
Hilbert 12: analytic Fourier branch
Open work page: Hilbert 12: analytic Fourier branch
Back to contents · Browse all collections
Hilbert 12: closure attempt
Open work page: Hilbert 12: closure attempt
Back to contents · Browse all collections
Hilbert 12: contracting ambient torsion
Open work page: Hilbert 12: contracting ambient torsion
Back to contents · Browse all collections
Hilbert 12: cubic divisor development
Open work page: Hilbert 12: cubic divisor development
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Hodge: source and evidence
Open work page: Hodge: source and evidence
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Inverse Galois: source and evidence
Open work page: Inverse Galois: source and evidence
Back to contents · Browse all collections
IUT Valuation Hulls
Open work page: IUT Valuation Hulls
Back to contents · Browse all collections
Lehmer: source and evidence
Open work page: Lehmer: source and evidence
Back to contents · Browse all collections
The Possibility for a Machine Native Mathematics
Open work page: The Possibility for a Machine Native Mathematics
Back to contents · Browse all collections
Model-Theory Normalization
Open work page: Model-Theory Normalization
Back to contents · Browse all collections
Prime-Contact Coherence Calculus
Open work page: Prime-Contact Coherence Calculus
Back to contents · Browse all collections
Resolution Semantics
Open work page: Resolution Semantics
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Seeded Two-Axis Calculus
Open work page: Seeded Two-Axis Calculus
Back to contents · Browse all collections
Signal Reconstruction
Open work page: Signal Reconstruction
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Stratified Universality
Open work page: Stratified Universality
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Streaming Polyphase Factor Decomposition / SKAT
Open work page: Streaming Polyphase Factor Decomposition / SKAT
Back to contents · Browse all collections
Strong Artin: source and evidence
Open work page: Strong Artin: source and evidence
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Physics: curvature states
Open work page: Physics: curvature states
Back to contents · Browse all collections
Physics: energy and backreaction
Open work page: Physics: energy and backreaction
Back to contents · Browse all collections
Physics: origin locking
Open work page: Physics: origin locking
Back to contents · Browse all collections
RRCT multispace convergence protocol
Incubator: Read the limits and return criteria.
Open work page: RRCT multispace convergence protocol
Back to contents · Browse all collections
PRISM-1R
Incubator: Read the limits and return criteria.