Two signed integer coordinate rows per (ell<7,k<n), obtained from AuxJet by the uniform multiplier b^(6*(q-1)); columns enumerate i*q+j.
Proposed arity: 6. Parameters: a b q n matrix trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.