Beagle SCM

GET-047: get invocation matrix — cover every /wiki/GET patterns cell with tests

Audit + coverage ticket along the lines of POST-027: cross every bullet of /wiki/GET "Summary of invocation patterns" (rewritten by gritzko 2026-07-16) with the section's own axes and verify each meaningful cell has a test in test/; fill the gaps. The axes: FORM 1.1-1.5 (bare/tracked, ?branch+relative, #hash detach, #~1 rewind, schemed network leg — the only store-writing pattern), MODE 2.0-2.5 (bootstrap clone, normal weave, get! force, narrowed recover, narrowed force, cross-ref cherry-pick), HISTORY 3.1-3.4 (ahead/behind/same/divergent-weave-errs-out), SUBS 4.0-4.2 (--nosub, pin-attached recursion ignoring differently-attached subs, get! recursion). Also the ruled corners: detached bare get = full-tree recovery at BASE (target=base, missing files restored — gritzko 2026-07-16), track/base record semantics (recentmost get = track + base), unweavable divergent leaf errs out loudly (PATCH-012).

Input

Context

Parallel workers read every test/get/, test/wire/, test/sub* run.sh and verdict each cell: covered (test name), uncovered, or MISMATCH (test contradicts the spec).

• Method per POST-027: workers read run.sh files, no guessing from test names; verdicts land in the matrix below.
• Tests live in the test/ sub (beagle-ext-tests project); get tests under test/get/, wire legs under test/wire/, sub recursion under test/sub*/.
• Spec is /wiki/GET as of 2026-07-16 (post-rewrite); on any spec-code contradiction, the SPEC wins and the finding is a MISMATCH + its own ticket.
• Fresh worktree work/GET-047 (tip cfb712d5) is the audit + test-writing home.

Goals

Every meaningful cell covered; impossible/degenerate cells explicitly marked so.

• The matrix below filled with verdicts + test names.
• New tests for uncovered cells (repro-style, one run.sh per cell or sensibly grouped), following test/get/ conventions.
• MISMATCHes reported, not "fixed" by editing old tests (amendments need explicit permission).
• Ruled corners covered: detached bare get full-tree recovery; divergent + unweavable → loud error; schemed get as the ONLY store-writing pattern.

Constraints

• Audit first, write second; the write phase needs the audit's uncovered list ratified.
• No product-code changes ride this ticket — pure test coverage; product bugs found become their own tickets.
• Suite runtime matters: prefer small fixtures; mind the 10s ctest timeout.

WIP

Design decisions

• Audit method held: 4 parallel workers read all 18 test/get run.sh + test/wire + test/sub* + libs/goldens at tip fe042740; verdicts below. Zero spec-contradicting MISMATCHes found.

TODOs

• audit: FORM axis — covered: bare-branch FF (get/branch-bare), ?branch, //wt operand (wt-operand, gitlink-fork, nav-submod), #hash detach (detach, detach-record — via ?<sha> spelling only), #~1 (rewind), file:/ssh:/http:/be: legs incl. golden parity
• audit: MODE axis — covered: bootstrap clone all transports (2.0), dirty weave + loud conflict (2.1: get/dirty A+A2, confdrop), get! whole-tree (2.2 half), narrowed recover (2.3: get/restore)
• audit: HISTORY axis — covered: AHEAD × {bare-branch, bare-remote, ?branch, schemed}; BEHIND via #hash/#~1 (pin, rewind); DIVERGENT-by-dirty weave + conflict refusal (dirty, confdrop)
• audit: SUBS axis — covered: clone recursion depth 1 (sub/cycle) + depth 2 (sub/pinuri-nested), get! into an attached sub (sub/untracked), same-source URIs + .gitmodules fallback units (submount.js), NAVESCAPE guard
• write phase (3 workers, one clone work/GET-047): 10 tests GREEN + registered, suite 256/256 — trunk-switch, tag-local, store-readonly, force-narrow, restore-deleted, behind-branch, behind-remote, noop-same, sub/pin-advance, sub/force-sub-attach

• RULED (gritzko 2026-07-16): NO tickets for red cells — fix the impl in place, one worker per cluster; 10 red repros sit unregistered as run.sh.broken:

• FIX FORM cluster: inRepoSeed now consults attachedBranch() — detached bare get recovers at BASE (deleted restored, dirty kept, record stays #<base>); pure #<sha> detaches; ?.//?../ via new branchlib.resolveRel (post's resolveTarget delegates to it); wt/remote tracks re-resolve/re-fetch on bare get; every append preserves the track (decay gone). Touched get.js, branch.js, store.js (additive origin row on eachRemote), post.js.
• FIX SUBS cluster: nosub gates both gitlink leaf branches (mount + unmount) off be.flags; subAttachedElsewhere (the ONE attach reader vs the ONE track writer, force short-circuit first) gates mountGitlink + recurseSubMounts — differently-attached subs untouched by normal get, get! overrides, fresh/unmounted subs still mount.
• FIX MODE cluster: force-only sweepUntracked (classify.wtScan = status's unk set); cherryPick for blob-rpath //WT/path/file (scoped force-overwrite, NO wtlog record — D4 restore precedent); DAG-diverged get weaves each write leaf off dag.mergeBase (new in shared/dag.js), unweavable stays the PATCH-012 loud refusal. DEVIATION suite-pinned: the diverged DELETE leaf stays tree-driven (branch-relative pins that ?../sib removes child-only files); only write leaves weave.
• deferred cells: wire+subs recursion (needs ruling), https:// literal (low risk), over-cap unweavable rides work/PATCH-012

• Decisions to ratify: cherry-pick writes NO record; get! keeps gitignored files (unk-set semantics, no -x); post's //WT advance with force now sweeps untracked in the target; old buggy //X/file#sha track rows now bare-get into a scoped re-pick, not a whole-tree switch; ssh clones still record ?master#<sha> (schemed-URI-as-track is plumbed, needs a ruling).

Blockers and bummers

• test/get/NEWCASE_mytest.txt is committed junk (no run.sh) — delete-worthy, rides whatever cleanup change.
• The history worker misread PATCH-012 as still-broken-at-tip: the fix + dirty-big test exist in work/PATCH-012 (uncommitted, suite-green), awaiting land — the cell is uncovered AT TIP only.

Outcome

• FILED 2026-07-16 on gritzko's order, off the GET.mkd patterns rewrite.
• 2026-07-16 audit (4 workers) + 10 new green tests + 10 red repros + 3 fix clusters (in-place per gritzko's no-tickets ruling), all in work/GET-047 (uncommitted): suite 266/266 (orchestrator re-ran); product diff = get.js, branch.js, dag.js, store.js, post.js. Awaiting review/land order.