Expand description
pv certify — produce a whole-model proof certificate.
Runs verify-pipeline + verify-structure and emits a signed JSON certificate summarizing the compositional proof chain.
Spec: docs/specifications/sub/model-layout-provability.md (§36, P0-8)
Functions§
- analyze_
config - run
- Run the certify command.