From 319542a396dddca0038c58c98b321c1196d78a2f Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Wed, 30 Sep 2026 11:09:31 +0100
Subject: [PATCH] ci(hypatia): drop the dead #869 compile-break hold list

The case-list held four hypatia#869-broken SHAs on 9f2f62f. Hypatia main has
moved past all four (d369a80 compiles), so the branch can no longer match
and is dead code. HEAD is used directly, as before the break.

Recurrence is prevented upstream, not here: hypatia's Escript packaging
soundness gate (proposed as a required check) stops a non-compiling main.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QFphKkDVB9pUDSCD4bkz65
---
 .github/workflows/governance-reusable.yml   |  9 ---------
 .github/workflows/hypatia-scan-reusable.yml | 13 -------------
 2 files changed, 22 deletions(-)

diff --git a/.github/workflows/governance-reusable.yml b/.github/workflows/governance-reusable.yml
index 18dab2de..c9a353ac 100644
--- a/.github/workflows/governance-reusable.yml
+++ b/.github/workflows/governance-reusable.yml
@@ -234,15 +234,6 @@ jobs:
             echo "ERROR: could not resolve hypatia HEAD via git ls-remote" >&2
             exit 1
           fi
-          case "$sha" in
-            4654d7a3d49f413f49c00fb7e592db7d026ffca2|\
-            de52a3dabb2c10bf239784e50ab25267a5a6ebbb|\
-            43124f025ab338c26f137927be1e5ca6a84bd8c2|\
-            4f9874e3f589f2e4964f788687266580ccde4507)
-              echo "::warning::Hypatia HEAD $sha hits compile break hyperpolymath/hypatia#869 (standards#1050); holding on 9f2f62f5c9463c79b33a5ebf54372166ce56f349 until upstream advances"
-              sha="9f2f62f5c9463c79b33a5ebf54372166ce56f349"
-              ;;
-          esac
           echo "sha=$sha" >> "$GITHUB_OUTPUT"
           echo "Resolved hypatia HEAD: $sha"
 
diff --git a/.github/workflows/hypatia-scan-reusable.yml b/.github/workflows/hypatia-scan-reusable.yml
index e50b41e3..4b785d53 100644
--- a/.github/workflows/hypatia-scan-reusable.yml
+++ b/.github/workflows/hypatia-scan-reusable.yml
@@ -47,19 +47,6 @@ jobs:
             echo "ERROR: could not resolve hypatia HEAD via git ls-remote" >&2
             exit 1
           fi
-          # Hold past the 4-commit hyperpolymath/hypatia#869 compile-break window
-          # (4654d7a3d4..4f9874e3f5, unescaped `/` in lib/rules/pin_integrity.ex:56)
-          # on the last compilable main commit (9f2f62f5c9463c79b33a5ebf54372166ce56f349).
-          # As soon as hypatia main advances past 4f9874e3f5, HEAD is used directly.
-          case "$sha" in
-            4654d7a3d49f413f49c00fb7e592db7d026ffca2|\
-            de52a3dabb2c10bf239784e50ab25267a5a6ebbb|\
-            43124f025ab338c26f137927be1e5ca6a84bd8c2|\
-            4f9874e3f589f2e4964f788687266580ccde4507)
-              echo "::warning::Hypatia HEAD $sha hits compile break hyperpolymath/hypatia#869 (standards#1050); holding on 9f2f62f5c9463c79b33a5ebf54372166ce56f349 until upstream advances"
-              sha="9f2f62f5c9463c79b33a5ebf54372166ce56f349"
-              ;;
-          esac
           echo "sha=$sha" >> "$GITHUB_OUTPUT"
           echo "Resolved hypatia HEAD: $sha"