Beagle SCM

DOG-052: //name:anchor is a link — an authority needs no path, //localhost:8080 included

Ruled 2026-09-18 (gritzko): //localhost:8080 is not a practical URI, parse it as a link. DOG-050 made an authority demand a path, to keep that text prose, and the splitter then leaked: tok.link("//localhost:8080") gives authority localhost beside target //localhost (QJAB-015). Drop the guard instead of patching the leak: an authority may carry its anchor directly. The useful by-product is a whole-repo query, //libdog:'ok64'.

Input

Context

• tok/LINK.rl: authority = "//" seg "/", authed = authority (relanch | authsym | scope); the slash and a path are mandatory.
• tok/LINK.c.rl a_auth fires its end action before the : kills the branch, and LINKSpanDrop only clears half-set spans.
• Pinned by DOG-050's own cases only: test/TOK01.c:1428:yd (PPSPL) and :1484; in quickjab test/link.js:127 and :186.
• Older pins that STAY: a bare localhost:8080 and example.com:443 fuse nothing, an anchor is evidence only past a slash.
• The dslash guard keeps a scheme:// run prose, so http://localhost:8080/x opens no authority either way.

Goals

• authed = "//" seg ("/" (relanch | authsym | scope) | anchor | sym): //localhost:8080, //libdog:'ok64', //bee:main fuse.
• The splitter reads them as authority localhost, an EMPTY target, kind line, line 8080; a search or symbol anchor sets scope.
• The authority span is set only on a parse that went through the head: no leak on any input, fused or not.
• http://localhost:8080/x, https://foo.io/bar.c, a bare //, //repo/x.c and //repo alone stay as DOG-050 pinned them.
• Repro first (work 3): the three new forms red in every prose family and in the splitter table, then the grammar.
• The two DOG-050 pins of //localhost:8080 are amended here; no test older than DOG-050 is edited.

Constraints

• Ragel only (abc); the LINK.rl header comment stays the spec of record; the twins are regenerated, never hand-edited.
• Runs after DOG-051 lands in the tree: both rebuild dog/build, and that agent takes the dog suite as its baseline.
• Follow-ups outside libdog, listed for their owners: quickjab test/link.js:127 and :186, bee's handling of an empty target.

WIP

Design decisions

• The guard goes rather than the leak being patched: a rule that exists to spoil one impractical URI costs more than it saves.
• A line anchor on a bare repo (//repo:30) means nothing; it fuses all the same and the resolver says so in words.
• A search or symbol anchor on a bare repo is a scope over the whole repo, the widest one there is (BEE-073).

TODOs

• repro: //localhost:8080, //libdog:'ok64', //bee:main red in the lexers and the splitter
• LINK.rl authed, the header spec; LINK.c.rl authority span set on the accepted parse only
• the twins regenerated; the two DOG-050 pins amended
• quickjab test/link.js and bee's empty-target handling handed to their tickets

Blockers and bummers

Outcome