Registry · Proposition IV.P345 framework not_formalized IV.P345 — Two Canonical Projections enumerate Mobility--order plane (d_1, d_4): separates frozen phases (crystal, glass) Book IV Part 7 Ch. 66