Frozen family and principal statements

The proof, including the evaluated detecting coefficient, is in Sections sec:positive-evaluation–sec:witness. The theorem is conditional on explicit fixed data, not a universal failure statement.