Evidence for the discrepancy bounds

../

verify/: A complete examination and separate grade of the Kitamura discrepancy arguments, with finite reproduction and exact scope.

---

The whole-proof examination and distinct grade cover the two polynomial bounds, all three finite bases, both one-term statements, and the two exponential consequences. They concern ordinary positive-difference progressions and non-strict absolute discrepancy. The separate linear-target part and its variant are outside this examination.