# `Selecto.Verification.ContractSafety`

Bounded verification of provider/consumer contract compatibility.

The model exhaustively crosses valid and invalid field, filter, required
scope, version, and fingerprint dependencies. It proves that compatible
consumers are accepted and every incompatible dimension is rejected with
its specific diagnostic.

# `verify`

```elixir
@spec verify() :: Selecto.Verification.BoundedModel.report()
```

Runs the built-in contract compatibility model.

---

*Consult [api-reference.md](api-reference.md) for complete listing*