items

          findings:
            type: array
            minItems: 1               # an empty list is a schema miss, never a green run
            items: { type: string, minLength: 1 }

  confirm:
    with:
      # The schema above already refuses an empty list and an empty string;
      # this assert is the trust boundary downstream code can SEE, and the
      # place for YOUR law once the goal fixes one (a count · a required id ·