Claims · 2 dated claims on The diagonal cut, each with its tag and its witness; newest 2026-09-21.
Conjecture Cook's (2011) Menger-slice code cuts along the normal (1, 1, 0.5), not the centroid diagonal, so the base-3 diagonal cut is not Cook's slice; the reference row scoring the cut as Cook's is kept at yes with that correction recorded beside it, and the row once scored yes in error now reads no.
Conjecture The published Menger-slice listing sets normal = (1, 1, 0.5) while its prose runs the normal to (1, 1, 1), so the published plane is not the centroid diagonal; the reference row's yes and no scoring lives in REFS.md. Witness: spectra.md WHAT IS KNOWN.