Machine Theory Compendium

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \subsection*{Core machine theory}
2 
3 \needspace{7\baselineskip}\hypertarget{cat:GA}{}\textbf{GA --- Grounded Abstraction}\par
4 
5 1.0.0; 43 source pages.\par
6 
7 Evidence, identifiable prediction, correction memory, and finite quantitative decisions. Prose proofs and source-reported exact illustrations; no kernel certificate or learned physical model.\par
8 
9 \needspace{7\baselineskip}\hypertarget{cat:MU}{}\textbf{MU --- Machine Understanding}\par
10 
11 1.0.0; 50 source pages.\par
12 
13 Reusable representation, recipient-relative explanation, acquisition and joint resource feasibility. Prose proofs and bounded reference constructions; an operational account rather than an empirical understanding test.\par
14 
15 \needspace{7\baselineskip}\hypertarget{cat:LSM}{}\textbf{LSM --- Large Signal Model Foundations}\par
16 
17 Foundations 0.4.0 / software 2.3.0; 66 source pages.\par
18 
19 Signal realizations, packets, predictive closure, observable models, and certified probability domains. Theory edition, not a new production runtime; probability validity, identification and empirical adequacy are distinct.\par
20 
21 \needspace{7\baselineskip}\hypertarget{cat:OSL}{}\textbf{OSL --- Operator-Symbolic Language}\par
22 
23 Research edition 1.0 / Core 0.5; 18 source pages.\par
24 
25 Typed operations, semantic checkpoints, provenance, bounded discovery and admission. Executable finite interfaces are described; complete interpreter soundness and general learned production are not established.\par
26 
27 \needspace{7\baselineskip}\hypertarget{cat:NEU}{}\textbf{NEU --- Neuralese}\par
28 
29 Research edition 1.0; 20 source pages.\par
30 
31 Latent operator semantics, observable continuation, gauge and stability boundaries. Mixed theory and retained research history. Historical outcomes are preserved, not used as evidence for a combined agent.\par
32 
33 \needspace{7\baselineskip}\hypertarget{cat:CBI}{}\textbf{CBI --- Certified Bayesian Inference}\par
34 
35 Core 1.0.0 / standardized publication; 36 source pages.\par
36 
37 One-observation Gaussian inference, packet residuals and outward-rounded output guarantees. Archived formal evidence is scoped to the stated construction; no new Lean run or general sequential filter is claimed here.\par
38 
39 \needspace{7\baselineskip}\hypertarget{cat:AVOC}{}\textbf{AVOC --- AVOC: Artifact Value and Guarded Planning}\par
40 
41 Formal 0.41.0 / standardized publication; 37 source pages.\par
42 
43 Task sufficiency, guarded planning, calibration, artifact identity and operation lifecycle. Exposition of a formal archive; archived kernel evidence is not a fresh proof run by this compilation.\par
44 
45 \needspace{7\baselineskip}\hypertarget{cat:PPT}{}\textbf{PPT --- Proof Path Theory}\par
46 
47 1.0.0; 34 source pages.\par
48 
49 Justification hypergraphs, certificate extraction, recovery debt and mathematical memory. Finite declared proof fields and written arguments; discovery memory is not itself a proof of its target.\par
50 
51 \needspace{7\baselineskip}\hypertarget{cat:SII}{}\textbf{SII --- Self-Improving Intelligence}\par
52 
53 1.0.0; 60 source pages.\par
54 
55 Repair synthesis, compiler revision, acquired equations, certificate dependencies and resource prices. Bounded constructive chain with prose proofs; no indefinite recursive acceleration or unrestricted agent is inferred.\par
56 
57 \needspace{7\baselineskip}\hypertarget{cat:MS}{}\textbf{MS --- Machine Societies}\par
58 
59 1.0.0; 106 source pages.\par
60 
61 Persistent plural organization, institutions, common policies, authority and accountable endings. Conditional theoretical models; internal coherence does not confer external legitimacy or demonstrate endogenous societies.\par
62 
63 \subsection*{Mathematical and architectural foundations}
64 
65 \needspace{7\baselineskip}\hypertarget{cat:SU}{}\textbf{SU --- Stratified Universality for Resolved Representations}\par
66 
67 Mathematical base 2.0.0 / standardized publication; 262 source pages.\par
68 
69 Typed representation transport, semantic quotients, carrier changes and profiled descent. Relative to declared grammars, profiles and bridges; not equivalence of all mathematical carriers.\par
70 
71 \needspace{7\baselineskip}\hypertarget{cat:SR}{}\textbf{SR --- Sufficient Resolution}\par
72 
73 Standardized publication; 47 source pages.\par
74 
75 Behavioral sufficiency, hidden-return memory, reconstruction, regularization and calibration. Preserves source-specific prose and archived formal distinctions; hypotheses are not supplied by the reader.\par
76 
77 \needspace{7\baselineskip}\hypertarget{cat:PRIQ}{}\textbf{PRIQ --- Hypergraph Lumpability and Bayesian Refinement}\par
78 
79 0.1.4; 52 source pages.\par
80 
81 Nonlinear interaction quotients, prediction and update compatibility, posterior and pruning defects. Mathematical refinement contracts with exact and numerical illustrations; no universal learned quotient.\par
82 
83 \needspace{7\baselineskip}\hypertarget{cat:SRWT}{}\textbf{SRWT --- Stratified Relational Workspace Theory}\par
84 
85 209-page monograph / repository 1.0.0; 209 source pages.\par
86 
87 Compatible shared cores, causal relevance, persistence, reconstruction, identity and decomposition. A workspace specification and theory; structural gluing alone does not establish causal efficacy or institutional agency.\par
88 
89 \needspace{7\baselineskip}\hypertarget{cat:CIR}{}\textbf{CIR --- Circuit Obstructions}\par
90 
91 Standardized publication / Lean Block 02 scope; 35 source pages.\par
92 
93 Restored reversible computation, complete covers and limits of exact projection. Scoped circuit and representation bounds; not a general superpolynomial separation or SAT solver.\par
94 
95 \needspace{7\baselineskip}\hypertarget{cat:PRISM}{}\textbf{PRISM --- PRISM-1: Packet-Programmable Processing}\par
96 
97 Final updated architecture draft; 61 source pages.\par
98 
99 Packet IR, mixed representations, structured scheduling and reconstruction contracts. Architecture specification with separately retained software evidence; not fabricated or fully qualified hardware.\par
100 
101 \needspace{7\baselineskip}\hypertarget{cat:KPP}{}\textbf{KPP --- Komorebi Preservation Protocol}\par
102 
103 Specification draft 0.1; 20 source pages.\par
104 
105 Immutable artifacts, revisable claims, provenance and recoverable continuation. Protocol specification, not proof that the entire archive already implements it.\par
106 
107 \subsection*{Formal, visual, and lineage companions}
108 
109 \needspace{7\baselineskip}\hypertarget{cat:AVL}{}\textbf{AVL --- AVOC: Lean and Evidence Companion}\par
110 
111 Formal 0.41.0 / standardized publication; 44 source pages.\par
112 
113 Declaration-level route from mathematical exposition to retained formal evidence. Formal-source guide; archival build records are not rerun in this compilation.\par
114 
115 \needspace{7\baselineskip}\hypertarget{cat:CBL}{}\textbf{CBL --- Certified Bayesian Inference: Lean Companion}\par
116 
117 Core 1.0.0 / standardized publication; 31 source pages.\par
118 
119 Source-level contracts, archived kernel evidence and one-observation solver proofs. The formal scope remains one observation update under exact stated model assumptions.\par
120 
121 \needspace{7\baselineskip}\hypertarget{cat:SIV}{}\textbf{SIV --- Self-Improving Intelligence: Visual Guide}\par
122 
123 1.0.0; 36 source pages.\par
124 
125 Visual route through repair, discovery, search acquisition and changing guarantees. Expository companion; neither new learning evidence nor a replacement for the proofs.\par
126 
127 \needspace{7\baselineskip}\hypertarget{cat:AD}{}\textbf{AD --- Agent Dynamics: Python Visual Atlas}\par
128 
129 1.0; 14 source pages.\par
130 
131 Internal beliefs, evidence exchange, revision and external action in an explicit finite model. Rule-based illustrative dynamics, not measured neural modules or learned self-improvement.\par
132 
133 \needspace{7\baselineskip}\hypertarget{cat:LSV}{}\textbf{LSV --- Large Signal Model: Visual Notes}\par
134 
135 0.4.0; 9 source pages.\par
136 
137 Seven mathematical views of certified probability domains and approximation. Analytical illustrations tied to LSM propositions; no task-suite or integrated-model claim.\par
138 
139 \needspace{7\baselineskip}\hypertarget{cat:PCL}{}\textbf{PCL --- Portable Causal Lineage}\par
140 
141 Protocol 0.2; 64 source pages.\par
142 
143 Explicit functional continuity, correction retention and model-replacement tests. Preserved protocol design, not a completed implementation or established subjective continuity.\par
144 
145 \needspace{7\baselineskip}\hypertarget{cat:SRIC}{}\textbf{SRIC --- Stratified Recursive Improvement Closure}\par
146 
147 2.4 / Block 23; 505 source pages.\par
148 
149 Extended repair theory, semantic transport, evaluator contexts and historical lineages. Mixed theoretical and historical monograph preserved in full. Historical claims are not replayed or imported as integrated evidence.\par

Back to source controls

Back to Machine Theory Compendium