Proposition: An acceptance string cannot override an equation

An aggregate acceptance does not certify an advertised conjunction if one advertised equation is false. A known-discrepancy regression must not label data consistency true merely because it successfully rejects that equation.

Proof. The first statement follows from the logic of conjunction, with (eq:oldresidual) as an explicit witness. The second is Proposition prop:twopredicates.