Independent Gaps, Pair Weights, and Finite-Seed Polynomial Inequalities

Independent integer gaps and steps lead to a piecewise sharp boundary coefficient for pairwise power-sum defects. Nonnegative finite seeds generate a polynomial inequality with an exact remainder. Boundary-free orders extend to arbitrary integer centre gaps, with an explicit sign rule and counterexamples showing why the zero seed and an incorrect boundary coefficient fail.