07 - Capability Proof Audit

Verdict: FREE_TEXT_PROOF_RISK.

Scale is currently NOT_SAFE. Capability satisfied_by_evidence is only to_regproc(required_verifier_fn) exists AND to_regclass(required_guard_view) exists. Verifier is never executed and guard result/evidence is never read. Required names are fixed VALUES. Negative test function_existence_alone_insufficient_design is literal true. Hardcode guard capability_evidence_based is assigned scale_not_safe, so it passes because unsafe and would block legitimate future satisfaction. The system cannot safely self-progress.