Decode an actual signed coefficient list; nonzero means some decoded coefficient is nonzero. Reuse the existing polynomial representation after argument-alignment review.
Proposed arity: 3. Parameters: code degree trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.
Planned prerequisites and notation
- No new campaign prerequisites; exact existing-premise audit still required.