fix(vcs-ircd): update disambiguation to reference hyperpolymath/vext as protocol home

Now that hyperpolymath/vext exists as the canonical Vext protocol spec
repository, update the disambiguation notices in both README.adoc and
0-AI-MANIFEST.a2ml to point there directly, rather than pointing to
burble's consumer implementation.

Also adds vexometer/vext to the disambiguation (ISA component named
"vext" meaning vexed — a fourth naming collision now documented).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

0-AI-MANIFEST.a2ml

@@ -9,7 +9,7 @@
 // The local directory may still read "vext" — that is a stale path artefact
 // from the rename; the canonical name is vcs-ircd.
 //
-// TWO THINGS WERE CALLED "VEXT". THEY ARE COMPLETELY UNRELATED.
+// THREE THINGS WERE CALLED "VEXT". THEY ARE ALL UNRELATED.
 //
 //  ┌─ YOU ARE HERE ─────────────────────────────────────────────────────────┐
 //  │  vcs-ircd  (formerly: vext)                                            │
@@ -22,18 +22,26 @@
 //  │  Home:  developer-ecosystem/satellites/git-tools/vcs-ircd              │
 //  └────────────────────────────────────────────────────────────────────────┘
 //
-//  ┌─ NOT HERE — WRONG PLACE IF THIS IS WHAT YOU WANT ─────────────────────┐
-//  │  Vext (verification protocol)                                          │
-//  │  A cryptographic feed-integrity protocol used by Burble.               │
-//  │  BLAKE3 hash chains proving text feeds are chronological, complete,    │
-//  │  uninjected, and attributable. Nothing to do with IRC or VCS.          │
+//  ┌─ NOT HERE — WRONG PLACE (CANONICAL SPEC) ──────────────────────────────┐
+//  │  Vext — Verifiable, Extensible Communications Protocol (THE SPEC)      │
+//  │  BLAKE3 hash chains proving feeds are chronological, complete,         │
+//  │  uninjected, and attributable. Idris2 proofs. Ed25519 signatures.      │
 //  │                                                                        │
-//  │  Lives at:  burble/server/lib/burble/verification/vext.ex              │
-//  │             burble/server/lib/burble/verification/vext_groove.ex       │
+//  │  Canonical spec: github.com/hyperpolymath/vext                         │
 //  └────────────────────────────────────────────────────────────────────────┘
 //
-// If you landed here looking for the Vext verification protocol → go to burble.
-// If you landed here looking for the IRC VCS notifier → you are in the right place.
+//  ┌─ NOT HERE — WRONG PLACE (PROTOCOL CONSUMER) ───────────────────────────┐
+//  │  Burble's Vext integration (implements the protocol above)             │
+//  │  Lives at: burble/server/lib/burble/verification/vext.ex               │
+//  └────────────────────────────────────────────────────────────────────────┘
+//
+//  ┌─ NOT HERE — WRONG PLACE (ISA COMPONENT) ───────────────────────────────┐
+//  │  vexometer/vext — named "vext" as in "vexed" (frustrated with LLMs)   │
+//  │  Part of the Irritation Surface Analyser. Also unrelated to this.      │
+//  └────────────────────────────────────────────────────────────────────────┘
+//
+// If you want the Vext protocol spec → github.com/hyperpolymath/vext
+// If you want the IRC VCS notifier → you are in the right place.
 //
 // ══════════════════════════════════════════════════════════════════════════════
 
@@ -51,13 +59,15 @@ tech    = "Rust (Tokio async), connection pooling, TLS, rate-limiting"
 origin  = "Inspired by irker (ESR); modernised rewrite with async I/O"
 
 [disambiguation]
-this-is-not = "The Vext cryptographic verification protocol"
-that-lives-at = "burble/server/lib/burble/verification/vext.ex"
+this-is-not      = "The Vext cryptographic verification protocol"
+protocol-spec    = "github.com/hyperpolymath/vext"
+protocol-impl    = "burble/server/lib/burble/verification/vext.ex"
+also-unrelated   = "vexometer/vext (ISA component named 'vext' = vexed, not verification)"
 
 [invariants]
 // Critical rules for AI agents working in this repo
 rules = [
-  "Do NOT confuse this with the Vext feed-verification protocol in burble",
+  "Do NOT confuse this with the Vext feed-verification protocol (spec: hyperpolymath/vext)",
   "The local directory may still be named 'vext' — the canonical name is vcs-ircd",
   "This is an IRC daemon. It does not do cryptographic verification of anything",
   "Parent: developer-ecosystem satellite. Push to github.com/hyperpolymath/vcs-ircd",

README.adoc

@@ -1,18 +1,20 @@
 = vcs-ircd — VCS IRC Notification Daemon
 // Formerly named "vext". Renamed to avoid confusion with the Vext
-// cryptographic verification protocol in burble/. See disambiguation below.
+// cryptographic verification protocol. See disambiguation below.
 
 [WARNING]
 ====
-*Name disambiguation* — two things were called "vext". They are unrelated.
+*Name disambiguation* — three things were called "vext". They are unrelated.
 
 * *You are here:* `vcs-ircd` (formerly `vext`) — a *pooled IRC notification daemon* for
   VCS events (Git push, commit, PR). Rust/Tokio. Nothing to do with cryptography.
-* *Not here:* the *Vext verification protocol* in Burble — BLAKE3 hash-chain feed
-  integrity for voice/chat. Lives at
-  `burble/server/lib/burble/verification/vext.ex`.
+* *Not here (canonical spec):* the *Vext verification protocol* — BLAKE3 hash-chain feed
+  integrity, Idris2 proofs, Ed25519 signatures.
+  GitHub: https://github.com/hyperpolymath/vext[hyperpolymath/vext]
+* *Not here (protocol consumer):* Burble's Vext integration lives at
+  `burble/server/lib/burble/verification/vext.ex`. (implements the spec above)
 
-If you want the verification protocol → go to the `burble` repo. +
+If you want the verification protocol spec → go to `hyperpolymath/vext`. +
 If you want to send Git commit notifications to IRC → you are in the right place.
 ====