Exact Low-Length Recht–Ré Inequalities: paper and exact replication package

Anonymous, unrefereed computer-assisted candidate package establishing exact Recht–Ré inequalities through five factors, balanced six-factor families on multiples of seven and eight, and an exact one-epoch bias-mean-square reversal. The bundle includes one paper, exact rational certificates, semantic reconstruction checks, full-matrix FLINT positive-semidefiniteness certificates, manifests, replay receipts, and mutation controls. Deterministic replay is not formal verification, independent external reproduction, expert acceptance, or journal peer review.