Skip to content

Commit 3207771

Browse files
chore(abi-drift): restore browser-mcp to allowlist after #134 landed (#137)
## Summary browser-mcp was removed from the abi-drift allowlist in #133/#136 because it had genuine Class D drift (`BrowserAction.Type` ↔ Zig `type_text`). That drift was fixed cartridge-side in #134 (Idris2 ADT `Type` → `TypeText`), which is now on main. This restores browser-mcp to the audited-green allowlist: - count `65 → 66` - alphabetic position between `arango-mcp` and `buildkite-mcp` - comment block notes the restoration cause (post-#134) rather than the prior `REMOVES` rationale - residual-drift count trimmed `15 → 14` ## Verification The fix is on `main` already: ``` $ grep -n 'TypeText\|browserActionToInt\|intToBrowserAction' cartridges/browser-mcp/abi/BrowserMcp/SafeBrowser.idr 59: | TypeText -- ^ Type text into an element matching a CSS selector. 126:browserActionToInt TypeText = 2 140:intToBrowserAction 2 = Just TypeText ``` CI will re-verify under the abi-drift workflow with browser-mcp included; the verifier runs `iseriser` against the paired `Safe*.idr` + `*_ffi.zig`. ## Refs - hyperpolymath/standards#92 (cartridge ABI drift taxonomy) - hyperpolymath/standards#156 (Class D sub-issue) - #133, #134, #136 (predecessor PRs) 🤖 Generated with [Claude Code](https://claude.com/claude-code)
1 parent 5699de0 commit 3207771

1 file changed

Lines changed: 7 additions & 5 deletions

File tree

.github/workflows/abi-drift.yml

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -71,18 +71,19 @@ jobs:
7171
- name: Resolve cartridge allowlist
7272
id: discover
7373
# 80 cartridges in the tree carry a paired Safe*.idr + *_ffi.zig.
74-
# 65 are audited green against the Phase 1b emitter + Phase 1
74+
# 66 are audited green against the Phase 1b emitter + Phase 1
7575
# verifier (re-run 2026-05-20 after iseriser#20 / #21 / #22 merged:
7676
# GADT-skip in the emitter, runtogether candidate for multi-cap
7777
# acronyms, and terminal `false` switch-arm tolerance in the
7878
# verifier). Versus the previous 56-cartridge allowlist this:
7979
# * ADDS 10 cartridges that the three iseriser fixes unblocked
8080
# (cloud, comms, container, git, gitlab-api, ml,
8181
# mongodb, queues, research, vordr)
82-
# * REMOVES browser-mcp — newly-detected genuine drift
83-
# (`BrowserAction.Type` ↔ Zig `type_text`; cartridge-side
84-
# fix, not a verifier defect)
85-
# 15 cartridges carry real drift across Classes B/C/D — see
82+
# * RESTORES browser-mcp — the Class D `BrowserAction.Type` ↔
83+
# Zig `type_text` drift was fixed in cartridge-side PR #134
84+
# (`Type` renamed to `TypeText` in the Idris2 ADT to match
85+
# the underlying Zig FFI tag).
86+
# 14 cartridges carry real drift across Classes B/C/D — see
8687
# standards#92 plus open sub-issues standards#150-155 (Class C)
8788
# and standards#156 (Class D). Class P (verifier parser limit)
8889
# and Class E (malformed Idris2 source) are now empty: iseriser#22
@@ -100,6 +101,7 @@ jobs:
100101
echo 'agent-mcp'
101102
echo 'airtable-mcp'
102103
echo 'arango-mcp'
104+
echo 'browser-mcp'
103105
echo 'buildkite-mcp'
104106
echo 'clickhouse-mcp'
105107
echo 'cloud-mcp'

0 commit comments

Comments
 (0)