be get = default GET + resulting-state banner
Make bare be get (no URI) the default GET — update the wt to the current branch tip (FF when the wt lags) — instead of printing a raw branches/remotes summary. Route its report through the shared ROWS state banner (BE-005) whose uri is the resulting state: ?<branch>#<hashlet> for the main project, <path>#<hashlet> for a submodule. The branch/remote overview moves to STATUS-001.
be (no verb) → BEDefault → sniff no-verb = file status; thebranch/remote overview is NOT shown there.
be get wrongly calls SNIFFGetSummary (SNIFF.exe.c:1127; raw
fprintf, GET.c:1697) — its ONLY caller; spec GET.mkd:23 "no-op".
be get ? reaches SNIFFGet (GET.c:1572) but opens ROWS with
empty_uri + KEYED → flat rows, no banner (BE-005 core fixes this).
be get resolves the cur branch (SNIFFAtBaseline, trunk ifempty) and runs the checkout/update path; FF the wt when lagging.
SNIFFGet opens ROWS with uri = ?<branch>#<hashlet> (main) /
<path>#<hashlet> (sub), verb=get, ts=now — the resolved target sha gives the 8-hex hashlet (be head/log style).
GET.mkd:23 updated; submodule banner <path>#<hashlet> relays
via HUNKu8sRelay unchanged.
sniff/ only; no abc/ (abc-changes-need-review).(branch|subpath, target-sha→8hex) — the
sha is the checkout target, already known in SNIFFGet.
SNIFFGetSummary call from get; the function's body isrehomed by STATUS-001, not deleted yet.
be get / be get ? on up-to-date AND lagging wt asserts a
?branch#hashlet banner hunk + rows (table-driven, color & --tlv).
SNIFF.exe.c:1127: bare be get → default GET (cur branch).SNIFFGet: ROWS uri = resulting state, verb=get, ts=now.<path>#<hashlet>; verify parent relay.GET.mkd:23 updated; ctest -j16 green.