Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
A four-effect inequality
Stage 1: the operational certificate › A four-effect inequality · lines 567–573
The source identifies (eq:four) as its four-effect step. The argument above states the complete finite algebraic hypotheses rather than importing a result from a recovery manuscript OpenAI272.