The differential harness catches cross-verifier drift [c=0.9; ⊥ a divergence ships while the suite stays green].
The differential harness catches cross-verifier drift — I am about 90% confident; a divergence shipping while the suite stayed green would refute it.