ci(abi-drift): expand allowlist 56 -> 66 (Refs standards#92) (#133)

## Summary

Re-surveyed all 81 paired cartridges against the freshly-merged iseriser
binary (#20 GADT-skip emitter, #21 runtogether candidate, #22
terminal-\`false\` switch-arm tolerance). Allowlist grows from **56 →
66** cartridges.

### Newly clean (+11) — unblocked by iseriser #20/#21/#22

\`chapeliser-mcp\`, \`cloud-mcp\`, \`comms-mcp\`, \`container-mcp\`,
\`git-mcp\`, \`gitlab-api-mcp\`, \`ml-mcp\`, \`mongodb-mcp\`,
\`queues-mcp\`, \`research-mcp\`, \`vordr-mcp\`

### Newly drifting (-1) — browser-mcp

Genuine cartridge-side drift: Idris2 \`BrowserAction.Type\` (Zig
candidate \`type\`) vs Zig \`type_text\`. Cartridge-side fix needed, not
a verifier defect; not Class B/C/D — filed as out-of-scope.

### Class taxonomy after the fixes

| Class | Pre-PR | Post-PR | Status |
| --- | --- | --- | --- |
| Clean (allowlist) | 56 | **66** | this PR |
| Class B (name-norm) | covered | partial | iseriser#21 closed multi-cap
acronyms; remaining ums-mcp prefix-stripping is open |
| Class C (missing Zig enum) | tracked | tracked | standards#150-155 |
| Class D (abbreviation/acronym boundary) | implicit | filed |
standards#156 (3 cartridges: postgresql/hetzner/redis) |
| Class P (verifier parser limit) | 5 | **0** | iseriser#22 closed |
| Class E (malformed Idris2 source) | 1 | **0** | iseriser#20 closed |

## Test plan

- [x] Local re-survey on \`origin/main\` snapshot (zero cartridge
changes between survey and this PR's base commit)
- [x] All 66 cartridges in the new list verified \`abi-verify: OK\`
- [x] Removed cartridge (browser-mcp) verified to actually drift
- [ ] CI green on this PR (the workflow itself runs the same
66-cartridge check)

Refs hyperpolymath/standards#92, hyperpolymath/standards#89,
hyperpolymath/iseriser#20, hyperpolymath/iseriser#21,
hyperpolymath/iseriser#22.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.github/workflows/abi-drift.yml

@@ -70,15 +70,24 @@ jobs:
 
       - name: Resolve cartridge allowlist
         id: discover
-        # 80 cartridges in the tree carry a paired Safe*.idr + *_ffi.zig.
-        # 56 are audited green against the Phase 1b emitter + Phase 1
-        # verifier (re-run 2026-05-20 with current `main` iseriser binary;
-        # earlier 16-cartridge survey was contaminated by a stale local
-        # build pre-iseriser#15). 18 carry real drift (Class B name-norm,
-        # Class C missing-enum-in-Zig, Class D abbreviation drift — see
-        # standards#92 + sub-issues iseriser#18 / standards#150-155 /
-        # standards#TBD-class-D). 5 hit a verifier parser limit
-        # (iseriser#19). 1 has a malformed Idris2 source (boj-server#111).
+        # 81 cartridges in the tree carry a paired Safe*.idr + *_ffi.zig.
+        # 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
+        # verifier). Versus the previous 56-cartridge allowlist this:
+        #   * ADDS 11 cartridges that the three iseriser fixes unblocked
+        #     (chapeliser, 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
+        # 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
+        # closed Class P (5 cartridges) and the vordr-mcp Class E case
+        # was closed via iseriser#20 + the cartridge's clean re-survey.
         run: |
           set -euo pipefail
           {
@@ -88,10 +97,13 @@ jobs:
             echo 'agent-mcp'
             echo 'airtable-mcp'
             echo 'arango-mcp'
-            echo 'browser-mcp'
             echo 'buildkite-mcp'
+            echo 'chapeliser-mcp'
             echo 'clickhouse-mcp'
+            echo 'cloud-mcp'
             echo 'cloudflare-mcp'
+            echo 'comms-mcp'
+            echo 'container-mcp'
             echo 'crates-mcp'
             echo 'discord-mcp'
             echo 'dns-shield-mcp'
@@ -100,8 +112,10 @@ jobs:
             echo 'feedback-mcp'
             echo 'fleet-mcp'
             echo 'fly-mcp'
+            echo 'git-mcp'
             echo 'github-actions-mcp'
             echo 'github-api-mcp'
+            echo 'gitlab-api-mcp'
             echo 'google-docs-mcp'
             echo 'google-sheets-mcp'
             echo 'grafana-mcp'
@@ -114,6 +128,8 @@ jobs:
             echo 'linear-mcp'
             echo 'local-coord-mcp'
             echo 'matrix-mcp'
+            echo 'ml-mcp'
+            echo 'mongodb-mcp'
             echo 'neo4j-mcp'
             echo 'neon-mcp'
             echo 'nesy-mcp'
@@ -127,8 +143,10 @@ jobs:
             echo 'prometheus-mcp'
             echo 'proof-mcp'
             echo 'pypi-mcp'
+            echo 'queues-mcp'
             echo 'railway-mcp'
             echo 'render-mcp'
+            echo 'research-mcp'
             echo 'rokur-mcp'
             echo 'secrets-mcp'
             echo 'sentry-mcp'
@@ -138,6 +156,7 @@ jobs:
             echo 'telegram-mcp'
             echo 'todoist-mcp'
             echo 'turso-mcp'
+            echo 'vordr-mcp'
             echo 'zotero-mcp'
             echo 'EOF'
           } >> "$GITHUB_OUTPUT"