coeff is an actual length-N signed integer vector, not all zero, max abs(coeff)<=B, and every decoded matrix-row dot product is zero.
Proposed arity: 5. Parameters: matrix N coeff B trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.