diff --git a/scripts/check-required-contexts.sh b/scripts/check-required-contexts.sh
index e885f72c8..cfd0cb1cf 100755
--- a/scripts/check-required-contexts.sh
+++ b/scripts/check-required-contexts.sh
@@ -13,9 +13,9 @@
 # pull request stays BLOCKED, the CI board shows green, and nothing on the CI
 # side names the cause. Observed in hyperpolymath/tropical-types#17 (the bare
 # `Hypatia Neurosymbolic Analysis` required while the wrapper published
-# `scan / Hypatia Neurosymbolic Analysis`; that repository now publishes the bare
-# name from an inline job and the prefixed name from its wrapper caller), and
-# catalogued for the wrapper case in
+# `scan / Hypatia Neurosymbolic Analysis`; that repository now names the wrapper
+# caller `hypatia`, so it publishes the prefixed name, and nothing requires the
+# bare one), and catalogued for the wrapper case in
 # docs/audits/audit-hypatia-pin-orphan-2026-05-27.adoc.
 #
 # THE RULE THIS ENCODES