The Swap Rule in Crystals: Rock Salt, Cadmium Iodide, Zinc Blende and the Laves Phases on Every Stacking

Many crystals come in a cubic and a hexagonal form that differ only in how their layers are stacked, and in many mixed stackings between them. Paper #57 found that at close packing the space of every stacking is shared out into pieces borrowed from the two pure stackings, whole or in halves (the rule of halves), and #61 proved the Swap Rule: the two mixed pieces always add up to the two pure ones. Here we take both rules to four classical crystal families and prove, exactly, that the Swap Rule holds in all four, in all 299 cases where it can be tested: rock salt and nickel arsenide (NaCl, NiAs), the half-filled layers of cadmium chloride and cadmium iodide (CdCl₂, CdI₂), zinc blende and wurtzite with two different atoms (ZnS), and the Laves phases (MgCu₂, MgZn₂, MgNi₂). The rule of halves holds in full for rock salt and cadmium iodide: each octahedral piece is exactly half cubic and half hexagonal, each ball and tetrahedral piece is borrowed whole from the layer it rests on. In zinc blende the atoms keep the rule of halves, while the empty holes stop being fixed mixtures and still swap exactly. In the Laves phases, near the real alloys, every stacking is cut into exactly the same pieces. Proof: #57's exact weight walk (rational arithmetic) on every close-packed stacking up to six layers for each family; locality checked (0 clashes); rule of halves and Swap Rule checked as exact polynomial identities in the weight. The Laves network on every stacking is built by one rule and checked against the ideal Frank–Kasper geometry. The ideas and names are DICTO's. Computation and proof with Claude (Anthropic). Sources checked are listed in the paper. The study (scripts, raw walks, logs) is attached. Licence CC BY-SA 4.0. More at dictospheres.com.