Expand description
Contract Verification Gap Analysis (BH-26)
Analyzes provable-contracts binding registries and contract YAML files to find verification gaps: unimplemented bindings, partial bindings, and contracts with insufficient proof obligation coverage.
Functionsยง
- analyze_
contract_ gaps - Analyze contract verification gaps.
- discover_
contracts_ dir - Discover the provable-contracts directory.