Paste any ternary word (letters a b c or digits 0 1 2) and this page mechanically checks it, in your browser, for the three square types from the B16 lattice
(MATH_CLAIMS.md rows 84–106): plain (1-)abelian squares (Mäkelä's own condition), Golden-Six squares, and full 2-abelian (All-9, Theorem 65) squares — plus, specifically, the
“separating” pairs that Golden Six forbids but All-9 allows (row 102).
MATH_CLAIMS.md rows produced through scripts/word-anatomy.js and reviewed by the maintainer
(see OPEN_RESEARCH_QUESTIONS.md B21 for the process a candidate record word actually has to go through). If you pasted a long candidate word, this page can tell you
whether a square of some type occurs in the range checked — it cannot tell you the word is a new record, and does not claim to.