Canonical verification lane contract for adopter-facing and maintainer-facing proofs.

Each lane maps one command contract to its environment, prerequisites, and explicit exclusions so docs, tests, and CI can share one source of truth.