Context
Raw block diversity was used to test whether a low-complexity substitution hierarchy was visible in the sampled orbit.
Proof or evidence
The published certificate pins a 4,000-state window, excludes row-crossing subwords, uses least-significant-first incoming carries, and is reproduced exactly by integer and digit-list implementations.
Verification notes
The source's carry density 0.5009 came from an unspecified later window and was not silently treated as reproduced. The public claim now uses the independently pinned window's 0.499366103113 value; the qualitative saturation and mutual-information observations agree.
Limitations
- Maximum observed p(k) for finitely many k is compatible with later structure.
- Random-like summary statistics do not prove anti-concentration on one deterministic infinite orbit.