From 90b256a9e8c2ece56068365795b9af9d7bd56e7d Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Wed, 20 May 2026 13:26:32 +0100
Subject: [PATCH] chore(abi-drift): restore browser-mcp to allowlist after #134
 landed
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

browser-mcp was removed from the abi-drift allowlist in #133/#136 as it
had genuine Class D drift (`BrowserAction.Type` ↔ Zig `type_text`).
That drift was fixed cartridge-side in #134 (Idris2 ADT renamed
`Type` → `TypeText` to match the underlying Zig FFI tag), which
landed on main at 1de6b16 / fb15cd23 ancestor.

This restores browser-mcp to the audited-green allowlist:
  * count: 65 → 66
  * the alphabetic position between arango-mcp and buildkite-mcp
  * comment block notes the restoration cause (post-#134) rather
    than the prior REMOVES rationale, and trims the residual-drift
    count 15 → 14.

Refs hyperpolymath/standards#92, #156.
---
 .github/workflows/abi-drift.yml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/abi-drift.yml b/.github/workflows/abi-drift.yml
index 6f88dee..db826d4 100644
--- a/.github/workflows/abi-drift.yml
+++ b/.github/workflows/abi-drift.yml
@@ -71,7 +71,7 @@ jobs:
       - name: Resolve cartridge allowlist
         id: discover
         # 80 cartridges in the tree carry a paired Safe*.idr + *_ffi.zig.
-        # 65 are audited green against the Phase 1b emitter + Phase 1
+        # 66 are audited green against the Phase 1b emitter + Phase 1
         # verifier (re-run 2026-05-20 after iseriser#20 / #21 / #22 merged:
         # GADT-skip in the emitter, runtogether candidate for multi-cap
         # acronyms, and terminal `false` switch-arm tolerance in the
@@ -79,10 +79,11 @@ jobs:
         #   * ADDS 10 cartridges that the three iseriser fixes unblocked
         #     (cloud, comms, container, git, gitlab-api, ml,
         #     mongodb, queues, research, vordr)
-        #   * REMOVES browser-mcp — newly-detected genuine drift
-        #     (`BrowserAction.Type` ↔ Zig `type_text`; cartridge-side
-        #     fix, not a verifier defect)
-        # 15 cartridges carry real drift across Classes B/C/D — see
+        #   * RESTORES browser-mcp — the Class D `BrowserAction.Type` ↔
+        #     Zig `type_text` drift was fixed in cartridge-side PR #134
+        #     (`Type` renamed to `TypeText` in the Idris2 ADT to match
+        #     the underlying Zig FFI tag).
+        # 14 cartridges carry real drift across Classes B/C/D — see
         # standards#92 plus open sub-issues standards#150-155 (Class C)
         # and standards#156 (Class D). Class P (verifier parser limit)
         # and Class E (malformed Idris2 source) are now empty: iseriser#22
@@ -100,6 +101,7 @@ jobs:
             echo 'agent-mcp'
             echo 'airtable-mcp'
             echo 'arango-mcp'
+            echo 'browser-mcp'
             echo 'buildkite-mcp'
             echo 'clickhouse-mcp'
             echo 'cloud-mcp'