Experiment complete.

**Risultante**: 3/8 (38%) delle proprietà two-channel sono tautologie algebriche — sopravvivono a qualsiasi permutazione degli stessi gap. Le tre tautologie: `xcorr` (corr(x, x mod 6) è un'identità), `slope_ratio` (derivato), `k_star` (margine-dominato).

Le 5 genuine vivono nell'**ordine** dei primi:
- PSD slopes: z=21 (mag), z=55 (res) — il colore spettrale blu esiste solo nella sequenza reale
- Markov-3 bits: **z=6203** — 55% dell'informazione nel residuo mod-6 è sequenziale, non distribuzionale
- Lag-1 ACF: z=-13 — l'alternanza grande/piccolo è genuina

Il seme è aggiornato. Lo strumento `exp_two_channel_shuffle_audit.py` è riusabile per qualsiasi futura proprietà.