Programmes

PG-01 — The carpet's critical behaviour at reachable sizes is set by an exact object the one-block recursion truncates

object · the exact crossing recursion of a 9×9 pattern, on a boundary state of finite size (P-049's ladder; the one-bit map is rung 0)

18 lines · 4 scaffolds · 36 runs · 69 status entries · 12 written back · Distilled 2026-10-25

PG-02 — The cell's finite-level behaviour is the automaton plus a seam, and the recursion that looks exact drops the seam

object · the Grigorchuk automaton's substitution structure on the level-n Schreier graph and the ⟨b,c,d⟩-coset graph, with the seam (the free cosets and zero-modes of the minimum bisections) as the part the recursion drops

7 lines · 2 scaffolds · 23 runs · 6 status entries · 2 written back · Distilled 2026-10-24

PG-03 — One host, one pair: the limit and the correction exponent, read from successive sizes

object · the pair (1/ν, ω) of one self-similar host, as read from its successive sizes

6 lines · 0 scaffolds · 21 runs · 50 status entries · 1 written back · Distilled 2026-10-25

PG-04 — The object before the symmetry

object · the 26 sporadic groups read as symmetry groups of objects (codes, lattices, algebras, vertex operator algebras), with "sporadic" a predicate carrying a parameter

0 lines · 0 scaffolds · 5 runs · 20 status entries · 0 written back · Distilled 2026-10-24