DIS tickets: cross-cutting spec/impl discrepancies

DIS collects spec↔implementation discrepancies that cut across verbs; a gap found mid-fix gets its own DIS ticket, linked both ways. Each entry below is one open ticket with its live state; a landed one (verify with be log | grep DIS-NNN) drops off. The 6 below remain open. The fix-and-land method is Issues.

Active tickets

A 2026-06-25 triage closed 13 stale entries; a 2026-07-07 audit retired 9 more as landed (DIS-008 25851a5a/dd0a8f4b, DIS-042 607c3048, DIS-052 b7149f85, DIS-053 d6f7e138+cf077a19, DIS-054 81f2ef25/ebc44c8b, DIS-055 b5213474, DIS-056 subsumed by GIT-012/013 4370d67e/cb3881f8, DIS-057 2fdaf80e/0a8c42f3, DIS-060 921a866b/5ab7f838); a 2026-07-10 pass closed body-resolved native-C tickets as DONE (DIS-001/002/003/031) and marked DIS-024 STALE (superseded by the be/ JS impl); 6 legacy tickets remain open (second block below). A 2026-07-12 audit (4-agent sweep of wiki+code vs the authoritative trees post) filed DIS-061..069 (first block); a 2026-07-13 re-audit of the rewritten post filed DIS-070. A 2026-07-16 pass marked DIS-062 STALE (superseded by POST-026, the post-recursion rebuild + wt-target checkout).

DIS-063 — get ///jab/ must clone-from-worktree into cwd + inherit the source's tracked pin-branch; today: in-place refresh of the source, fork records trunk (poisons the trees example chain).
DIS-064 — the work word (fork a worktree: mkdir cell + cd + get) exists nowhere; compound over the fixed basis; depends on DIS-063.
DIS-066 — wiki sweep to the trees/BRO-024 reality: Worktree (fat ?rev context, row-0 branch, one-wt-per-branch), Bro (display-only, pre-shell), Extensions (be/→jsrc), Verbs/HEAD/Home (bare-be status, be dispatcher).
DIS-067 — terminology: shard unit is a REPO; wiki+code call it "project"; project-anchor rule split (meta/-dir vs topmost-.be-under-$HOME) — gates on 2 rulings.
DIS-068 — URI.mkd lacks the trees resolution model (five questions, coverage plot, override, /// main tree, #pin-vs-#payload split, ?sha detach ruling); doc-only.
DIS-069 MED — wtdir/resolve lack nearest-hive awareness: //CELL no round-trip, //JS-112 aliases flat-vs-cell, /// falls back to the launch tree (discharges BRO-024:54 "own ticket due").
DIS-070 — get rejects scheme-less fs-path sources (trees example 5 jab get ../TKT-123 has no code path; isRemoteSeed wants scheme/authority/.be; wiki spells file:../proj only) — gates on a ruling: widen the gate vs file: in the post.

DIS-058 — be/ JS submodule handling vs Submodules, AUDIT/umbrella. Core LANDED (da0c12c3/da7fa5a7 + SUBS-042 1c4a97c8, SUBS-044 a715b0d3, SUBS-045 36b1aec0): get/post/put/delete/patch now descend, clone/mount/commit subs, synthetic branches + Title-from-.gitmodules-URL, no bogus adv be. STILL OPEN: D8 per-sub push on a Host-slot post (post.js:433 !isPush), D11 HEAD no-descend, D14 the INERT Edited dirty axis (SUBS-027b), D15/D16 Submodules spec updates. Filed 2026-06-29.

DIS-043 (dog/WEAVE concurrent-insert order path-dependent — criss-cross duplication; fixed with an RGA stable-order key: a per-token 'A' anchor column + identity merge-JOIN in commit-id RGA order) landed 8eece3f3; dog/test/WEAVE01 + the DWEAVE fuzz corpus.