Beagle SCM

SUBS-026: a sub advanced past the parent pin isn't surfaced by status/head, and a bare post records no gitlink bump

PARTLY SUPERSEDED 2026-07-15: goal 2's "auto-creates ?/<sub>/.<parent> at the new pin" is STALE — the dot-branch is removed (URI-016 d5, SUBS-054). The surviving goal (surface an advanced sub, never report it clean) is restated as gitlink != base with no ref involved (URI-016 d11). Native (C) arm; the JS arm is SUBS-054.

A submodule whose mounted worktree HEAD has advanced past the parent tree's 160000 gitlink pin — e.g. via a standalone be get inside the mount — is reported by be status/be head as clean (0 ahead, 0 behind, 0 changed, blank pin), and a bare be post records nothing; the bump lands only after a manual be put <sub>. Same invariant as PATCH-001, which covers the be patch arm — this is the get / manual-mount arm. See Submodules, PATCH-001.

Input

Context

Advancing the beagle sub of beagle-journal with be get ssh://localhost/src/dogs?/main (inside beagle/) moved its wt 5a95cd15 → 3b41fa69, but the parent never saw it:

status:beagle/abc   ?6e3b93f8…  237 ok    <- pinned, sha shown
status:beagle       ?           1272 ok    <- advanced, BLANK pin, no ahead/behind
be head beagle:  ?trunk: 0 ahead, 0 behind, 0 changed

• The parent tree still pins beagle at 5a95cd15 while its wt sits at 3b41fa69; be status/be head report neither an ahead count nor a "changed" gitlink, so the inconsistency is invisible.
• No keep-alive ?/beagle/.beagle-journal dot-branch exists in the beagle shard refs — the advanced commit is unanchored in the parent's store.
• A bare be post records no bump; the new pin lands only after a manual be put beagle + be post (same manual escape PATCH-001 hit on the patch arm).
• Independent of how the wt got ahead (a standalone get, a manual checkout): this ticket is purely the status/head/post side — surface the gitlink delta and record it.

Goals

• be status/be head report a mounted sub whose wt HEAD differs from the parent gitlink pin as ahead / changed, never clean.
• A bare be post auto-stages the parent gitlink put-row for an ahead sub (NO manual be put <sub>) and auto-creates ?/<sub>/.<parent> at the new pin (Submodules detached-sub topology).

Constraints

• Reuse PATCH-001's pin classifier: compare the sub's wt tip against the parent 160000 pin independently of the surrounding tree; a forward pin is take-theirs and stages a put-row.
• Read the sub tip via the existing SNIFFSubReadTip / .be anchor, not a new parser; ABC style, sniff/keeper edits, not abc/.
• Keep the sub-checkout and the parent-gitlink-row consistent: both advance or neither (PATCH-001 invariant).

WIP

Design decisions

—

TODOs

• status: ahead sub reads mod — landed earlier via SUBS-027's SUBSDirty Advanced axis + test/status/02-sub-pin-classify. (be head per-sub pin axis still → SUBS-027b.)
• post (gitlink arm): a plain be post auto-stages the bump for an ahead sub with NO manual be put — confirmed working on trunk and locked with guard test/post/49-sub-advanced-autobump. The shared tip-vs-pin gate (SUBS-029, sniff/PUT.c) keeps it correct (stages iff tip ≠ pin).
• post (anchor arm): auto-create ?/<sub>/.<parent> (R2 keep-alive) at the new pin — landed via SUBS-027b 0c67bea8 (anchors R2 on an advanced-clean bump).
• Repro-first (CLAUDE §17): test/post/49-sub-advanced-autobump advances a sub past the pin, then asserts a plain post lands the new pin (no manual put).
• Cross-check PATCH-001: both arms converge on one "tip ≠ pin → stage" primitive (the sniff/PUT.c sub-mount short-circuit); patch/35 + post/49 both green.

Blockers and bummers

—

Outcome

• Gitlink-bump arm verified + guarded on beagle trunk 3fd64016 (the SUBS-029 commit): the tip-vs-pin gate makes a plain post land an advanced sub with no manual be put. Status side already landed by SUBS-027 (status/02).
• R2 dot-branch creation on bare post landed via SUBS-027b 0c67bea8 (advanced-clean bump anchors ?/<sub>/.<parent>).
• The last residual — the be head per-sub pin axis — landed b9c6b647 (SUBS-027b "be head flags sub advanced past pin"; beagle/BE.cli.c per-sub advanced mark, tests head/04+05). CLOSED (audit 2026-07-07): status, post and head arms all landed.