Research record
Papers and releases
Manuscripts, exact certificates, and release status.
Essays and philosophical inquiry
ETI foundations
Correction-sufficient state, stochastic repair, and sequential revision under explicit mathematical models. Comparative performance remains to be tested.
The manuscripts and supplements below are public downloads. Their reproduction notes retain historical references to source repositories that are not currently public.
Graffiti³ counterexample families
Unitriangular and dihedral families refute C20–C22 and C27–C28 in the specified Graffiti³ source version.
Semiorder projection bounds
An all-size written argument bounds the projected ideal polygon under stated representation and geometric conventions; exact finite checks provide corroboration.
Erdős–Gyárfás excess-degree bounds
For a counterexample minimizing vertices, then edges: |A| ≥ 2b+s+4, with the manuscript’s degree classes.
Totient trajectory: F=104
F(400000287233629)=104 under the first-prime stopping convention; hence supₙ F(n) ≥ 104. The global problem remains open.
Models and studies
Correction-sufficient state and interactive example · Study 14 evaluation design · Detailed mathematical scope