{
  "path": "proofs/z3/admission_soundness.py",
  "find": "DP_MIN, DP_MAX = 0.04, 0.45",
  "replace": "DP_MIN, DP_MAX = 0.02, 0.45",
  "why": "Loosens the frozen via aspect floor that the required theorem admitted_implies_aspect_bound encodes. The theorem then becomes SAT (refuted), so the required count falls below 27/27 and the witness exits 1: a load-bearing ceiling no longer ships as a checked statement. It is the same designed mutation dataroom/witness_quality.json measured (exit 1)."
}