Beagle SCM

POST-027: post invocation matrix — uncovered test cells

Audit of every /wiki/POST "Summary of invocation patterns" bullet crossed with 5 target states (absent, at-tip, ahead, behind, diverged) against be/test/. 5 parallel workers read every relevant run.sh. Verdicts: 14 cells covered, 30 uncovered, 0 MISMATCH (no test asserts an outcome contradicting the spec). Two spec-code gaps surfaced (bare remote-track post, ssh://host#msg).

Input

Context

Only 4 call sites in all of be/test/ run a truly bare jab post; most states are pinned via explicit ?branch///X/ssh:// slots or not at all. Happy-path FF cells are green, the refusal ladders are mostly unasserted.

• Covered today: 1a at-tip/behind (post/bare-advance), 1b behind incl. file materialisation (post/wt-target-merge), 2b first-commit/POSTNONE (post/refuse, post/uniform), 2a transitive selection depth 1-2 (sub/nestedpost, sub/advput), adv-only sub left alone (sub/selective-adv), 3 absent-created/behind/diverged (post/slots, get/branch-bare, post/refuse), 5 FF ssh+http & diverged ssh (test/wire/*).
• MISMATCH: none; but test/wire/push-nonff-msg asserts the refusal must NOT say "diverged" — it locks in the POST-025 collapse and must be amended when POST-025 lands.
• SPEC-CODE GAP: bare post on a remote track (spec 1.d) is unimplemented — advanceTrack (post.js:399) has only //X/branch arms, a schemed track row falls into advanceBranch.
• SPEC-CODE GAP: ssh://host#msg commit-then-push is unimplemented — parseSlots drops a host-slot fragment, a ?-less ssh://host#msg dies POSTNOREF.

Goals

Cover every cell below with a minimal repro-first test in be/test/ (post/, sub/, wire/ house style); the two spec-code gaps need an implementation ruling first.

Constraints

No test edits beyond adding the missing cells; POST-025 owns the wire verdict recode — crosslink, do not duplicate its cells here.

WIP

Design decisions

Cells 1b-i/ii/iii/v and 4-i/ii/iii/v share advanceWorktree — one suite parameterised over bare-track vs explicit //X entry covers both rows.

TODOs

Tests landed 2026-07-16 in test/post/ (26 new suites, CMake glob-registered); [v] = suite exists AND is green; RED = suite exists as a kept repro, bug open.

• 1a-iii branch track ahead (contains cur): post/adv-contains — RED repro, see BUG-1 below
• 1b/4-i //X target absent: post/wt-target-none (NAVNONE fires; post.js:324 WTNONE guard is shadowed dead code)
• 1b/4-ii //X target at cur's tip → POSTNONE: post/wt-target-eq
• 1b/4-iii //X target ahead → POSTNONE "already contains": post/wt-target-ahead
• 1b/4-v //X target diverged/unrelated → POSTNOFF: post/wt-target-nonff
• 1c bare post on a detached wt refuses: post/bare-detached (message is still the commit-shaped "no changes since base")
• 1c patch exception bare/post '#' msg reuse: post/bare-patch-reuse — RED repro, see BUG-2
• 1d bare post on a remote track → FF-push, all 5 states: UNIMPLEMENTED (needs ruling + advanceTrack arm)
• 2a-i selective first-ever commit: post/commit-selective-first — RED repro, see BUG-4
• 2b-iii commit-all #msg on an already-ahead wt: post/commit-ahead
• 2-v #msg commit on a diverged wt SUCCEEDS, no ref gate: post/commit-diverged
• 2x recursed sub commit message [dog] spice: post/sub-msg-spice — RED repro (verbatim today), see BUG-5
• 3-ii explicit named ?name at-tip → POSTNONE: post/adv-named-attip
• 3 ?.. parent FF + POSTQRY-on-trunk: post/adv-parent
• 3 literal ?. own-branch FF + at-tip POSTNONE: post/adv-dot
• 3 ? trunk at-tip/ahead/diverged: post/adv-trunk-states — ahead leg RED, same BUG-1
• 4 dirty //X target 3-way merged, not clobbered: post/wt-target-dirty
• 4 conflict refuses BEFORE the target base moves (GETCONF): post/wt-target-conflict
• 4 explicit post //self → POSTNONE: post/wt-target-self — RED repro, see BUG-3
• 4 detached target stays detached (#tip row shape): post/wt-target-detached
• 5-i create-on-push to an absent remote branch (ssh): post/push-create
• 5-ii remote at cur's tip → POSTNONE: post/push-eq
• 5-iii remote ahead → BEHIND-class refusal: POST-025's recode owns it
• 5-v unrelated push → POSTNOFF: post/push-unrelated; diverged over http: post/push-nonff-http
• 5 https and be:// push transports: still zero tests
• 5 POSTNOREF ?-less host URI: post/push-noref
• 5 POSTNONE push from a fresh never-committed wt: post/push-fresh
• 5 ssh://host#msg commit-then-push: UNIMPLEMENTED (needs ruling + parseSlots host fragment)
• 5 e2e push saves the remote-tracking row: post/push-saveref

Blockers and bummers

2026-07-16 fix round (uncommitted, this worktree): BUG-1/2/5 fixed in verbs/post/post.js, BUG-4 in core/discover.js; their repros are green. Open: BUG-3 (design law), BUG-6/8 + MISMATCH-1 (pre-existing test edits need permission), DIS-072 fork (ruling).

• BUG-1 FIXED advanceBranch order: "already contains" POSTNONE now precedes the POSTNOFF gate (post.js:286-293); adv-contains + adv-trunk-states green.
• MISMATCH-1: pre-existing post/refuse "non-FF" leg builds a target-CONTAINS-cur DAG (feat at cur's descendant) and asserts POSTNOFF where the spec says POSTNONE "already contains" — it and adv-contains cannot both be green (scratch-revert proven); leg needs a real divergence fixture or a POSTNONE assert; edit needs permission.
• BUG-2 FIXED patch msg-reuse: message-less post with in-scope theirs parents now reuses the absorbed commit's message on the commit path (post.js:786-789 + commitMessage helper); bare-patch-reuse green, patch-absorb/patch-pat unharmed.
• BUG-3 post //self unguarded: loop.js authorityRepo consumes the arg0 //A as the run anchor, post runs BARE and silently FFs trunk; the post.js:326 self-guard is unreachable — fix collides with the arg0-only design law, needs gritzko.
• BUG-4 FIXED discover.js anchor: row 0 must be get/repo to anchor a store (isAnchorRow, mirrors wtlog.anchor()); commit-selective-first green, full get/put/post/sub sweep clean.
• BUG-5 FIXED sub message spice: postSubs threads an accumulated _spice path, postOne appends [dog]/ [dog/abc] (post.js:664-669, 717-719); sub-msg-spice green, sub/* unharmed.
• BUG-6 FIXED stale trunk-ref readers (permission 2026-07-16): colon-msg + wsmsg probes now read the wtlog cur tip per DIS-076; both green.
• BUG-7 wire.js fetch hang: the "no usable ref" throw fires before io.close(wfd) and the finally reaps without closing it — server never sees EOF, io.reap deadlocks (wire.js:416-455); get-be + serve-uploadpack "timeouts" are this hang, deterministic, present on trunk; each ctest kill leaks a stuck jab+keeper pair.
• BUG-8 FIXED refless serve seeding (permission 2026-07-16): get/be + serve/uploadpack seed now runs post '?' after each commit (DIS-076: a commit mints no ref); both green.
• DIS-072 FORK RESOLVED (ruling 2026-07-16: wiki was stale): pinref migrated to the child-wtlog re-attach row assert, branch.sub/syntheticBranch test legs deleted, all three green; wiki/POST.mkd:5 + Submodules.mkd rewritten to the self-pointing //wt/path#hash pin record.
• RULED 2026-07-16: refusals are plain text ≤64 chars, no C codes in JS (post.js POSTNONE/POSTNOFF throws rewritten); arg0 is the CALLER's context slot (bro ctx URI / CLI cwd-derived), typed args never promoted — loop.js fix in flight for post //self.
• 1d and ssh://host#msg need gritzko's implementation ruling before their tests can assert anything.
• wire/push-nonff-msg will contradict the POST-025 fix by design; amending it needs explicit permission.
• test TIMEOUT lowered 90→10s in test/CMakeLists.txt (2026-07-16 order); wire-backed suites SKIP under a non-$HOME TMP (fixture constraint, pre-existing).

Outcome

2026-07-16: full suite 238/238 green (10.6s; was 12 red of 236 at 96s). All work UNCOMMITTED in work/POST-026, awaiting gritzko's review + land.

• 28 new test suites in test/post/ + test/get/be-update (matrix cells, repros, pins).
• Product fixes: post.js (advance order, patch msg reuse, sub [dog] spice, plain-text refusals), core/discover.js (row-0 anchor), shared/wire.js (fetch/push wfd-leak hang), shared/ingest.js (indexAppended stale header count, GET-046 tail-walk), core/loop.js (self-target //X operand gate — strict-descendant consume, deviation flagged for ruling), shared/relate.js + shared/branch.js (POST* code strings dropped, dead POST→PUT/HEAD shims removed).
• Migrations per rulings: pinref/unit-branch/unit-submount → DIS-072 pin URI; colon-msg/wsmsg readers → wtlog cur tip; refuse non-FF leg → genuine fork; get/be + serve/uploadpack seeding → post '?'; all POST*-code greps → plain-text messages.
• Still open above: 1d bare remote-track post + ssh://host#msg (need rulings), 5-iii (POST-025), https/be:// push transports, arg0 strict-descendant vs literal-prepend verdict.