Module proof_status 

Proof status report — cross-contract proof level assessment.

Computes a hierarchical proof level (L1–L5) for each contract and aggregates them into kernel equivalence classes that mirror the KernelOp classification from apr-model-qa-playbook.

Output is consumed by pv proof-status (text/JSON) and by the playbook’s ProofBonus MQS integration.

Structs

ContractProofStatus

Proof status for a single contract.

KernelClassSummary

Summary of proof status for a kernel equivalence class.

ProofStatusReport

Top-level proof status report, serializable to JSON.

ProofStatusTotals

Aggregate totals across all contracts.

Enums

ProofLevel

Hierarchical proof assurance level.

Functions

compute_proof_level

Compute the proof level for a single contract.

format_text

Format a proof status report as human-readable text.

proof_status_report

Build a complete proof status report.