pub fn score_codebase(
contracts: &[(String, &Contract)],
binding: &BindingRegistry,
) -> CodebaseScoreExpand description
Score a codebase that consumes contracts via a binding registry.
Five dimensions (weights from spec):
- CD1: Contract coverage (30%) — fraction of available contracts that are bound
- CD2: Binding completeness (20%) — implemented / total bindings
- CD3: Mean contract score (20%) — avg composite of bound contracts
- CD4: Proof depth distribution (15%) — weighted L1-L5 distribution
- CD5: Drift detection (15%) — via git timestamp comparison
Optional pagerank scores weight gap analysis by dependency importance.