From 5c94a112e4432c80ce79d7aeac885c39dc2e36cb Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 20 Sep 2026 22:27:47 +0000 Subject: [PATCH] fix(gate): stop claiming tropical-types publishes the bare name MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The header said that repository "now publishes the bare name from an inline job and the prefixed name from its wrapper caller". Only the second half is true: its workflow set contains no job publishing `Hypatia Neurosymbolic Analysis`, and the live check-run list on `main` shows the prefixed name and the guard, nothing bare. The claim came from writing the header from memory of the fix's intent rather than from the repository, and it survived two review passes — including one that rewrote the surrounding tense — which is the same failure mode this whole gate exists to catch: an unverified statement about CI state, accepted because it reads plausibly. Truthful version: the caller is named `hypatia`, so the prefixed name is published, and nothing requires the bare one. The inline-implementation pattern belongs to `hyperpolymath/defiant` and is documented as such in the audit. --- scripts/check-required-contexts.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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