Grade a GLB against an acceptance profile and return a per-predicate verdict plus a signed, reproducible commitment.