H=max(2,abs(ap-am),b), b>0, q>0, 28 divides q, N=q²=28*n. A reviewed choice of q(H) is a theorem, not a premise silently hidden here.
Proposed arity: 7. Parameters: ap am b H q n N. 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.