d>0; represented value is (p-m)/d. No coprimality or canonical-code equality is assumed.
Proposed arity: 3. Parameters: p m d. 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.