The rational terminal certificate

This is an exact finite mathematical certificate, not a simulation, tomography result, or universal proof obtained by enumerating protocols. The universal content lies in Theorem thm:transcript, Lemma lem:four, and tensor closure; the constant itself needs no enormous matrix.