Combine IR007,IR040,IR041: construct nonzero signed beta with matrix*beta=0 and max|beta|<=2NA; handle zero matrix separately if A=0 is exposed by an API.
Method: native-induction. Induction: finite-map construction. Risk: high.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.