# Claims and scope

## Exact contribution

- For every prime power `q`, `U_7(q)` refutes version-1 C20, C21, and C22.
- `D_{2n}` refutes C27 whenever `n >= 32` is a power of two.
- `D_{2n}` refutes C28 whenever `n >= 25` is odd.
- The smallest displayed witnesses are `U_7(2)`, `D_64`, and `D_50`.
- The bounded SmallGrp audit records first C20 failures at order 243 and first
  C22 failures at order 256 only within its exact enumerated, mixed-version
  database scope.

## Nonclaims

- Other Graffiti³ conjectures are not addressed.
- The order-243 and order-256 database observations do not imply any result
  outside the checked representative database.
- The finite census does not prove the infinite-family statements or a global
  least-order classification.
- No absolute novelty, historical-priority, or "first ever" claim is made.
- No external specialist, peer, or independent reproducibility review has
  occurred.
- The statements are tied to the version-1 formulas cited in the manuscript.