Certified label checks

Shared predicates for certified classification from output bounds.

The checker uses one rule: the claimed label's lower bound must be strictly above every other class upper bound. Bounds use equally shaped tensors, including after JSON decoding.

def NN.Verification.Robustness.TopLabel.strictTopLabelBy {α : Type} (n label : ℕ) (lo hi : Fin n → α) (gt : α → α → Bool) : Bool

Strict label certificate over any indexed lower/upper bounds.

def NN.Verification.Robustness.TopLabel.certifiesLabelFromTensorBounds {α : Type} [TorchLean.Storage α] [Context α] {n : ℕ} (lo hi : TorchLean.Tensor α [n]) (label : ℕ) : Bool

Check a label directly from tensor lower/upper bounds.