diff --git a/tests/corpus_fixtures/isabelle/Smoke.thy b/tests/corpus_fixtures/isabelle/Smoke.thy
index 5537af2d..72b95075 100644
--- a/tests/corpus_fixtures/isabelle/Smoke.thy
+++ b/tests/corpus_fixtures/isabelle/Smoke.thy
@@ -17,6 +17,7 @@ theorem double_zero: "double 0 = 0"
 (* A lemma left open with `sorry` — the corpus adapter must flag this
    as a sorry hazard. *)
 lemma double_mono: "n \<le> m \<Longrightarrow> double n \<le> double m"
+  (* panic-attack: accepted (detector fixture: the corpus adapter must flag the unfinished proof below) *)
   sorry
 
 (* An axiomatization block — the adapter must flag the postulate hazard. *)
diff --git a/tests/corpus_fixtures/minif2f/algebra.lean b/tests/corpus_fixtures/minif2f/algebra.lean
index be3b1918..bf6a8a55 100644
--- a/tests/corpus_fixtures/minif2f/algebra.lean
+++ b/tests/corpus_fixtures/minif2f/algebra.lean
@@ -7,4 +7,5 @@ theorem mathd_algebra_171 (a b : ℝ) (h₀ : a + b = 10) (h₁ : a - b = 4) : a
   linarith
 
 theorem imo_1959_p1 (n : ℕ) (h : 0 < n) : Nat.gcd (21 * n + 4) (14 * n + 3) = 1 := by
+  -- panic-attack: accepted (detector fixture: the corpus adapter must flag the unfinished proof below)
   sorry