This companion accompanies Freedom and hidden order in six-colourings of the triangular tiling, Aidan Quigley, version 2026.09.21. The six paper examples link to their places in the article. One additional M3 R100 trial offers a preview of forthcoming papers, with a link to the target’s definition in §8.
C5 and the frozen control are saved windows of formulas proved on the whole plane. The earlier three-family formula is evaluated as you pan. The grown hand sample, inventory and seven-tile seed are exact finite assignments. The captions state the different guarantees. The additional R100 preview is also finite: its accepted appearance and measured readings do not certify M3 or an infinite extension. It is outside the current article’s reported examples.
The article reports complete Lean verification of ten of its eleven numbered results, with Theorem 3 partial. The added written deductions are not Lean verified. This viewer is an illustration and inspection tool; it does not replace those proofs.
The controls use the original viewer’s display palette. Phase hues name reference labels, not raw face colours. Display digits 1–6 correspond to paper indices 0–5.
This edition is a fixed selection from the wider research viewer. It has no live solver, account, analytics or network dependency. Open the downloaded index.html directly to use it offline; keep the paper folder beside it for the PDFs.
Article PDF · Supplement PDF · Article source · Supplement source