Skip to content

feat: show the installed version on the board and retire the version page - #913

Merged
REPPL merged 6 commits into
mainfrom
feat/verb-split-2-version-on-board
Oct 11, 2026
Merged

REPPL merged 6 commits into
mainfrom
feat/verb-split-2-version-on-board

Conversation

@REPPL

@REPPL REPPL commented Oct 11, 2026

Copy link
Copy Markdown
Collaborator

Step 2 of spc-2610100613109045: the board shows the installed version, and the version page retires.

  • The board: it ends with the installed version (abcd v0.13.4) in both views and both forms. The version comes from the build's version info, with no network and no subprocess. In the markdown form it is a list item, so the fence rule still holds. --json gains version.
  • The version page: commands/version.md is gone. commands/abcd.md carries what an agent still needs from it: when to run abcd --version --json, the superseded-root note (said first), and the recovery when no binary resolves. adr-38's list of network-touching commands moves to commands/update.md, where the release origin is already reached.
  • The old verb: abcd version stays an unknown command. Its note now names abcd --version and the board, through a new retiredTokens map for a retired name with no page. abcd --version is unchanged.
  • The brief: 04-surfaces/12-version.md is folded into 08-abcd.md ("The version"), with its register row, index entry and links repointed. The release-gate manifest is rehashed to match.
  • The README: it points a new install at the board, and its sample board ends with the version line.

New tests:

  • TestBoardShowsTheVersion covers all four view and form pairs and --json.
  • TestRetiredVersionTokenNamesWhatReplacedIt.

Both were watched fail first. TestCommandPagesRelayTheNoteAsPrinted now reads commands/abcd.md.

Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5

REPPL added 6 commits October 11, 2026 01:31
Bare abcd, its markdown form and --json now carry the installed version,
read from the same core.VersionInfo that abcd --version reports, with no
network and no subprocess. The version is the last line of both views and
both forms, a list item in markdown so the fence rule holds, and --json
gains a version field. The first line stays the view label alone.

Step 2 of spc-2610100613109045 (decision 4).

Assisted-by: Claude:claude-opus-5-5
commands/version.md goes with no alias (adr-40): the board's last line
names the installed version, and the board page now carries what an
agent still needed from the version page: running abcd --version for
the install mode, vintage and staleness, saying a superseded root
first, and recovering when no binary resolves. abcd --version is
untouched.

abcd version stays an unknown command. Its note now names the root
flag and the board from a retiredTokens set, since it no longer has a
page to sit in pagesWithNoVerb. The brief folds 12-version.md into
08-abcd.md's new section on the version, drops register row 12 and the
index entry, and repoints the links that named the chapter. The
release-gate manifest drops the chapter and the page, with its checker
count, prompt hash and the receipt example rehashed. README points a
new install at the board.

Step 2 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
The version page retired in the previous commit, so the comment on the
root-flag sentence names it in the past tense. The generic sentence stays
for any surface that ships as a root flag.

Assisted-by: Claude:claude-opus-5-5
The README tells a new install that the board's last line names the
installed version, and its own sample board ended on the count line.

Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5
The version page held adr-38's list of every command that reaches the
network, and retiring the page left it on no page. The update page is
where the release origin is already reached, so the list moves there.

Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge October 11, 2026 02:44
@REPPL
REPPL added this pull request to the merge queue Oct 11, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Oct 11, 2026
@REPPL
REPPL added this pull request to the merge queue Oct 11, 2026
Merged via the queue into main with commit fdb21c6 Oct 11, 2026
13 checks passed
@REPPL
REPPL deleted the feat/verb-split-2-version-on-board branch October 11, 2026 11:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant