A CoT monitor given the injected plan called the backdoor a requirement. Attribution does not survive a sincere reader. Keep the record outside the model.
OpenAI's maths release prints one verification figure, 300 of 719, and its catalogue records no review of the layer between a proof and the paper it settles.