IV.P233 — Decidability of Crystal and Glass Classification

CheckCrystal and CheckGlass are total and decidable on finite NF codes. No real-number arithmetic needed. Phase identification is algorithmic within τ³.