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 7 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); the 7 below are the confirmed-open remainder.

DIS-059 — be/ JS be post detached-wt handling was wrong TWICE (POSTDET misfire on attached ?#<sha>; refuse of a genuinely-detached post). Fix LANDED with the DIS-057 changeset 0a8c42f3: one wtlog.attachedBranch reader, detached posts commit-and-hop. OPEN residual: the be/test/ detached-POST case (only test/get/detach exists) — add it, then close. Filed 2026-06-29.
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-006 — be get file: from a legacy ELIDED store still crashes; the secondary cases landed but the elided→shard migrate-vs-materialize call is open (ruling).
DIS-007 — magic refs ?null / ?back unimplemented (no resolver code); spec still lists them — implement-or-strike ruling.
DIS-011 — be put ssh://host/path without ?ref force-pushes instead of logging; beagle/DISPATCH.c BE_PLAN_PUT first arm still gates on authority alone (verified 2026-07-07; the comment now cites PUT invariant 9 "unconstrained" — confirm whether that IS the ruling, then fix-or-close).
DIS-024 — flat→sharded store migration: stages 0-3 landed (store is sharded), stage 4 (make project mandatory, retire the flat fallback) still open — dog/HOME.c:294-299 NODATA arm leaves the project empty → flat layout (verified 2026-07-07); a focused follow-up.
DIS-040 — POSTCFLCT can't be de-falsed at the byte level; POST-016/017 reworked stamp scope but did NOT thread per-file conflict provenance — needs the provenance-vs-byte design ruling.

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.