Module commands

Modules§

audit
book
census: pv census — ONT-001 v4.3 ONT-1: ONE cardinality over the contract corpus, reported by_kind, by_entity_type and by_anchoring.
certify: pv certify — produce a whole-model proof certificate.
check_parity: pv check-parity — SEMANTIC gate for parity-matrix contracts.
codegen: pv codegen — generate Rust debug_assert!() from YAML contracts.
coq
coverage
diff
equations
explain
extract: pv extract-pytorch — extract kernels from PyTorch source.
extract_rdf: pv extract — ONT-001 §5 ONT-4b, R-15, R-18: the corpus as RDF, written deterministically.
flux
fuzz
generate
graph
infer
invariants
kaizen: pv kaizen — fleet-wide contract enforcement improvement.
kani
lean
lean_status
lint
migrate
mirai
pipeline
probar
proof_status
query: pv query — Search contracts by intent, regex, or literal match.
roofline
scaffold
score: pv score — Quantitative contract and codebase scoring.
status
tla
unlock
validate
verify_bindings: Verify that functions named in binding.yaml exist in crate source.
verify_pipeline: pv verify-pipeline — compositional shape verification across contracts.
verify_structure: pv verify-structure — verify model architecture matches contracts.