def bytes_valid

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:4

import Base

4# AES-256-GCM with validated inputs and canonical envelope serialization.
5# Bytes use U32 storage, with validation certificates excluding values above 255.
6def bytes_valid(bytes: List<&2, U32>) -> Bool:
7    match bytes:
8        case Nil{}: True{}
9        case head <> tail:
10            U32.is_lt(head, 256) && bytes_valid(tail)