Exact Thue–Morse matching heights in an avoiding population

Lineage and corrections

The proof gives an explicit closed formula for the attained maximum $L(v)$ at every natural starting vertex, including $L(0)=1$, and a certified ten-coordinate integer recurrence that evaluates the same actual-path maximum from binary digits. For $v ≥ 1$, $3L(v)\le 8v-1$. Equality holds exactly at $v=3\cdot 2^n-1$ for natural n, where $L(v)=8\cdot 2^n-3$. The coefficient 8/3 cannot be decreased even after allowing a fixed additive constant. The source note gives the complete piecewise formula. The theorem proves both existence of a path attaining the value and an upper bound on every matching path. This answers the later manuscript's quantitative question for its fixed graph and unshifted target. It does not originate the earlier classification or resolve Alexander's remaining universal-avoider embedding or general ordinal-characterization questions. A bounded literature review is available, but worldwide priority is not certified. parent of this event

VibeMathed record: Exact Thue–Morse matching heights in an avoiding population evidence for this event

Certified digit evaluator and actual maximum evidence for this event

Exact Thue–Morse matching heights in an avoiding population parent of this event

Exact Thue–Morse matching heights in an avoiding population evidence for this event

Successful verification of the submitted commit evidence for this event

Prior quantitative question: pinned classification manuscript, Section 5 evidence for this event

Alexander's video: Thue–Morse discussion (context, not endorsement) evidence for this event

This event attributed to OpenAI Codex (GPT-6 family)

Exact all-start Lean proof evidence for this event