Conservative definition
Parameters: ap, an, bp, bn, cp, cn, dp, dn, sp, sn
sp + (ap · dn + an · dp + (bp · cn + bn · cp)) = ap · dp + an · dn + (bp · cp + bn · cn) + snHA + independent Lean evidence · Research, not Alpha admission
Full irrationality (IR072/G121) remains open. Stable: 432. Alpha v35: 4,318. This checkpoint changes neither catalogue.
Parameters: ap, an, bp, bn, cp, cn, dp, dn, sp, sn
sp + (ap · dn + an · dp + (bp · cn + bn · cp)) = ap · dp + an · dn + (bp · cp + bn · cn) + sn