📝 Clarify the duplicate-tag known issue

development/library.md

@@ -245,10 +245,13 @@ The key is a separate call because `K` is inferred from its literal argument and
 
 #### Known issue
 
-- A member's tag must be unique across the union; two members with the same tag
+- A tag need not be unique across the union. Two members sharing one is not a
-  collapse to a union under one handler. A tag colliding with its
+  soundness hole: they select a single runtime key, so one handler receiving
-  stringification (`true | "true"`) is rejected by the universe gate — see
+  their union is the only correct behavior — the key is simply not a
-  § Supported universes.
+  discriminant. The gate rejects only the distinct-value collision
+  (`true | "true"`), where two values share a key and `Member` can no longer
+  invert it; see § Supported universes. Pinned by the duplicate-tag tests in
+  `src/tagged-union.test.ts`.
 
 ## Primitive universe