Module verify_pipeline 

pv verify-pipeline — compositional shape verification across contracts.

Walks the dependency graph in topological order and verifies that every assumes/guarantees edge is satisfied. Produces a composition report showing the full proof chain or identifying break points.

Spec: docs/specifications/sub/model-layout-provability.md (§36, P0-3)

Functions

run

Run the verify-pipeline command.