exactWidthDeclarationIsHonest

Whichever arm the harness declares for the exact-width obligation, the suite checks it.

The cross-check the harness cannot fake is the list: a Proven over an empty list has run every property above against zero elements and asserted nothing, and a NotConstructible over a non-empty one has just demonstrated that the field is constructible.