Module verify 

verify subcommand: runtime-shape.

Resolves the target, runs the verifier, prints its report, and turns any failure into the red exit. Verification semantics live in services::verifier.

Functions

run

Verify an installed instance offline.