Supplementary material: derivation of the EPRL doublet-tail exponent p = 7/2 (frozen specifications, verification cards, adversarial skeptic reports, code, and transcripts)

Complete verification trail for the companion paper's derivation of the doublet-tail exponent p = 7/2 of the Lorentzian EPRL melonic transfer operator. The derivation was run as an explicit builder/skeptic protocol: each result was produced under a frozen pre-committed specification, then attacked by an independent adversarial skeptic pass with its own check code, with a maintainer ruling calibrating the surviving claim; the exponent count was carried out under a data seal, with the measured tail entering only the final comparison. Contents: the attack ledger (SADDLE_P72_ATTACK.md), eight verification cards with their acceptance rulings (V-b, V-b', V-c, V-a-final, V-a-boundary, V-a-endpoint-2, V-d, V-d-2), four frozen specifications, five adversarial skeptic reports, all analysis code (Python) and full run transcripts and figures, with a sha256 MANIFEST. All Lorentzian EPRL vertex amplitudes referenced are the deterministic sl2cfoam-next amplitudes of the companion papers (commit 052e4346).