Add exact Claim 4 interference asymptotics audit

Reproduce Theorem 4.3: exact error formula is non-monotonic in context length under task misalignment (peak at M=1, 1.19) but monotone-decreasing when aligned