Introductory example coverage by work

Read side by side

24 of 90 work pages have introductory example routes in this guide. 66 do not yet have a tutorial linked here. Their source editions may contain their own examples.

This is a reading aid. An example route does not measure proof completion, Lean coverage or confidence. Those records remain on each work page.

All examples · Topic map · Glossary · Browse works

Core papers · Monographs and companion volumes · Software packages · Research programs · Experimental laboratories

Core papers

• Paper I: Typed Operator Systems, Seed Rank, and Exact Packet Coordinates: 1. Split and reconstruct a vector · 2. Generate a space from one seed · 3. Change coordinates · 6. Use redundant coordinates · 10. Find a kernel and its fibers · 11. Build spectral projectors · 15. Compose typed operations
• Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets: 4. Assemble transfer blocks · 5. Refine a signal · 11. Build spectral projectors
• Paper III: Typed Transfer, Nonlinear Packets, and Obstruction Theory: 7. Detect lost information · 15. Compose typed operations
• Paper IV: Cyclic Analytic Functions, Reciprocal Families, and Spectral Zero Data: 16. Split reciprocal coefficients into cyclic packets
• Paper V: Polyphase Signal Calculus: 5. Refine a signal · 14. Separate averages and details
• Paper VI: Transfer Semigroups: Stochastic, Bayesian, Fractional, and PDE Realizations: 8. Average with unequal weights · 12. Eliminate a block of unknowns
• Paper VII: Quantum Seed Calculus: 17. Calculate quantum measurement and dephasing
• Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization: 4. Assemble transfer blocks
• Paper IX: Arithmetic Packets, Dyadic Towers, and Local Polynomial Deformation: 9. Round a binary number · 13. Reconstruct from residues
• Paper X: Universal Residual Seeds and Conditional Occupied-System Completion: 18. Follow a modular lift branch
• Paper XI: Packets, Arithmetic Realization, and Conditional Comparison: 19. Compute Frobenius in a quadratic finite field
• Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion: 20. Separate support from multiplicity

Monographs and companion volumes

• Realization Calculus: No introductory tutorial linked in this guide yet.
• Proof Path Theory: 21. Choose a certificate with shared premises
• Komorebi Methodology: No introductory tutorial linked in this guide yet.
• Large Signal Model: No introductory tutorial linked in this guide yet.
• Special Functions: 24. Calculate coefficients of contracted feedback
• Machine Societies: 22. Recover the memory hidden by a summary
• Komorebi Space: No introductory tutorial linked in this guide yet.
• Realization Boundaries: 7. Detect lost information
• Sufficient Resolution: 22. Recover the memory hidden by a summary
• Machine Native Reasoning: No introductory tutorial linked in this guide yet.
• Quantum and Circuits: 17. Calculate quantum measurement and dephasing
• Physics: No introductory tutorial linked in this guide yet.
• COS Method: No introductory tutorial linked in this guide yet.
• COS Method: formal continuation: No introductory tutorial linked in this guide yet.
• Self-Improving Intelligence: No introductory tutorial linked in this guide yet.
• Self-Improving Intelligence: visual guide: No introductory tutorial linked in this guide yet.
• Grounded Abstraction: 23. Find the reusable part of a calibration
• Machine Theory Compendium: No introductory tutorial linked in this guide yet.
• Realization Calculus: twin edition: No introductory tutorial linked in this guide yet.

Software packages

• Certified Inference: 26. Update a Gaussian model from one observation
• Constructive Repair: 25. Choose repair directions from a finite menu
• RRCT: No introductory tutorial linked in this guide yet.
• Universal Generative Deformation Calculus: No introductory tutorial linked in this guide yet.
• Large Signal Model software: No introductory tutorial linked in this guide yet.

Research programs

• Information Realization: 10. Find a kernel and its fibers · 14. Separate averages and details
• KZFC and Residual Reflection: No introductory tutorial linked in this guide yet.
• Logical Resolution: No introductory tutorial linked in this guide yet.
• p-adic Canonical Realization: No introductory tutorial linked in this guide yet.
• Representation Calculus: No introductory tutorial linked in this guide yet.
• Machine Understanding: No introductory tutorial linked in this guide yet.
• OSL and Neuralese: No introductory tutorial linked in this guide yet.
• OSL and Neuralese: reading edition: No introductory tutorial linked in this guide yet.
• RRCT multispace convergence protocol: No introductory tutorial linked in this guide yet.
• SRIC: external semantic admission: No introductory tutorial linked in this guide yet.
• SRIC: endogenous semantic witness: No introductory tutorial linked in this guide yet.
• Stratified Recursive Improvement Closure: No introductory tutorial linked in this guide yet.
• AVOC: No introductory tutorial linked in this guide yet.
• Hypergraph Lumpability and Bayesian Refinement: No introductory tutorial linked in this guide yet.
• PRISM-1R: No introductory tutorial linked in this guide yet.
• PRISM-1: No introductory tutorial linked in this guide yet.
• Certified Bayesian Inference: 26. Update a Gaussian model from one observation
• Stratified Relational Workspace Theory: No introductory tutorial linked in this guide yet.
• Machine Theory: formal development: No introductory tutorial linked in this guide yet.
• Machine Native Reasoning: wider continuation: No introductory tutorial linked in this guide yet.
• ABC: global RR8 branch: No introductory tutorial linked in this guide yet.
• ABC: source and evidence reader: No introductory tutorial linked in this guide yet.
• AddMul Arithmetic Reconstruction: No introductory tutorial linked in this guide yet.
• Beal: source and evidence: No introductory tutorial linked in this guide yet.
• Catalan Constant: source and evidence: No introductory tutorial linked in this guide yet.
• Collatz and Riemann: source and evidence: No introductory tutorial linked in this guide yet.
• Euler Signal Bridge: No introductory tutorial linked in this guide yet.
• Gaussian Elimination: collected guide: 12. Eliminate a block of unknowns
• Hilbert 12: ambient dual slice: No introductory tutorial linked in this guide yet.
• Hilbert 12: analytic Fourier branch: No introductory tutorial linked in this guide yet.
• Hilbert 12: closure attempt: No introductory tutorial linked in this guide yet.
• Hilbert 12: contracting ambient torsion: No introductory tutorial linked in this guide yet.
• Hilbert 12: cubic divisor development: No introductory tutorial linked in this guide yet.
• Hodge: source and evidence: No introductory tutorial linked in this guide yet.
• Inverse Galois: source and evidence: No introductory tutorial linked in this guide yet.
• IUT Valuation Hulls: No introductory tutorial linked in this guide yet.
• Lehmer: source and evidence: No introductory tutorial linked in this guide yet.
• The Possibility for a Machine Native Mathematics: No introductory tutorial linked in this guide yet.
• Model-Theory Normalization: No introductory tutorial linked in this guide yet.
• Prime-Contact Coherence Calculus: No introductory tutorial linked in this guide yet.
• Resolution Semantics: No introductory tutorial linked in this guide yet.
• Seeded Two-Axis Calculus: No introductory tutorial linked in this guide yet.
• Signal Reconstruction: No introductory tutorial linked in this guide yet.
• Stratified Universality: No introductory tutorial linked in this guide yet.
• Streaming Polyphase Factor Decomposition / SKAT: No introductory tutorial linked in this guide yet.
• Strong Artin: source and evidence: No introductory tutorial linked in this guide yet.
• Physics: curvature states: No introductory tutorial linked in this guide yet.
• Physics: energy and backreaction: No introductory tutorial linked in this guide yet.
• Physics: origin locking: No introductory tutorial linked in this guide yet.

Experimental laboratories

• Agent Dynamics: No introductory tutorial linked in this guide yet.
• Arithmetic J-Space Training Lab: No introductory tutorial linked in this guide yet.
• J-Space Causal Lab: No introductory tutorial linked in this guide yet.
• J-Space Collections: No introductory tutorial linked in this guide yet.
• Workspace Incubator: No introductory tutorial linked in this guide yet.

Back to the topic map · All examples