Stage 3: pair structure and an explicit entropy test

A proposed microscopic model must therefore identify which hypothesis changes: the pair-state bound, the partner algebra, factorization, radiation reinteraction, or another declared part of the evolution. A thermal-looking outgoing marginal does not imply the joint pair bound and does not, by itself, evade it. The theorem is not asserted for an unconstructed gravitational interior algebra.