Ota 1.6.24 Adds Negative Controls to Dependency Proofs

Ota's new release separates dependency verification into three levels: reachable, exercised, and fault_tested. It introduces negative controls that run as separate proof runs to confirm a dependency's absence causes failure. This prevents false positives from green statuses that don't prove causal impact.