Glass Is an Unclosed Layer: Kovacs Memory as Predictive-Quotient Residue
Year: 2026
Type: preprint
Abstract: Glass Is an Unclosed Layer: Kovacs Memory as Predictive-Quotient Residue asks, on a small and exactly computable class of kinetically constrained models, whether a declared readout forms a closed description: whether its present value determines its own future statistics. The question is made precise with the certificate-based closure calculus of Six Birds Theory, which the paper cites rather than re-derives; every object is also defined in ordinary probabilistic terms. On the East, Fredrickson–Andersen, and Bouchaud-type trap families studied, kernels, stationary measures, witnesses, and zero controls are ratios of integers, and the remaining certificate evidence is deterministic float64 labeled as such in each artifact. The results, each stated at its declared scope: the energy readout of an aging East chain is far from closed, its closure deficit exceeding the constrained-equilibrium baseline by a certified margin (GT1); the Kovacs protocol yields an exact pair of histories with identical present mean energy and different futures (GT2); all 512 yes/no functions of the energy readout agree on such a pair while a finer readout separates it, so no static order parameter built from the energy readout separates, on that class, what the pair's futures separate (GT3); five look-alike regimes are correctly rejected by the classifier that accepts the Kovacs candidate (GT4); one added scalar coordinate resolves the pair (GT5); future-equivalence strictly extends the energy-based description on the audited shell (GT6); and aging constants frozen on East and transferred to Fredrickson–Andersen under a pre-registered no-fitting protocol are scored, with the trap family provably temperature-invariant (GT7). A vendored Lean core machine-checks the abstract witness and refinement theorems; an attempt to encode the numeric witness produced a machine-checked impossibility theorem locating that core's expressiveness boundary. Every claim is hash-pinned to its artifacts, and the full ledger of what is not claimed is printed unabridged. This work is part of the Six Birds Theory programme. It is substantially AI-assisted; the manuscript discloses the workflow and its limitations, and the author's relationship to the programme.
Author: Tsiokos, Ioannis
Language: English
Subfield: Materials Chemistry
Field: Materials Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214126622
Cites:
Cited by:
Related to: