ABC-019: bracketed IPv6 host never resolves — NET feeds `[::1]` to getaddrinfo verbatim

Now:: OPEN

Sev:: MED

Found by the JS-110 worker (2026-07-10) while fixing the jab net bundle's URI composition: the URI grammar accepts an IP_literal and hands host = "[::1]" with the brackets kept, and NETResolve passes that token verbatim to getaddrinfo, which rejects bracket framing — so every bracketed-IPv6 URI fails Invalid argument and IPv6 is unusable end-to-end even with correctly composed URIs. Adjacent to (not covered by) the ABC-012 socket-layer batch.

Input

Context

Repro: net._listen("tcp://[::1]:19377") in a jab tree throws Invalid argument; probe evidence in the JS-110 worktree (work/JS-110b, test/net.js JS-110 block).
URIonHost moves the full IP_literal token, brackets included, so the authority component carries [::1], per RFC 3986.
NET.c:32 NETResolve feeds the host slice to getaddrinfo unmodified; getaddrinfo wants the bare ::1 (no framing).
JS-110 fixed the jab bundle to COMPOSE bracketed URIs correctly (reparse-verified); this ticket is the resolve side — until it lands, those correct URIs are rejected at the C layer.
Adjacent gap, needs a ruling: the URI grammar has no RFC 6874 zone-id form ([fe80::1%25eth0]), so scoped literals cannot be expressed at all; Node accepts them. Possibly WONTFIX.

Goals

Repro first: a WITH_INET-gated loopback test resolving and binding [::1] via the public NET surface.
Bracketed IPv6 resolves: strip the framing at the NET boundary (or have the lexer expose the bare address via URIonIPv6address) — one chokepoint, no per-caller peeling.

Constraints

No manual URI parsing at call sites; the lexer/canon chokepoint owns the token shape (meta/work.mkd "Things NOT TO DO").
CI cannot exercise this until ABC-017's WITH_INET lane lands; same blocker as ABC-012.
Don't collide with ABC-012's NETResolve/bind-walk edits — coordinate if both are in flight.

WIP

Design decisions

(open) strip in NETResolve vs expose bare host in the lexer.

TODOs

repro test (WITH_INET, loopback [::1] listen+connect)
unbracket at the chosen chokepoint; dual-stack sanity
zone-id (RFC 6874): support or record a WONTFIX ruling

Blockers and bummers

Untestable in CI until WITH_INET exists there (ABC-017).

Outcome

(open)

ABC-019: bracketed IPv6 host never resolves — NET feeds [::1] to getaddrinfo verbatim