Skip to content

feat: merge memory and source into one library verb - #920

Merged
21 commits merged into
mainfrom
feat/verb-split-5-library
Oct 11, 2026
Merged

21 commits merged into
mainfrom
feat/verb-split-5-library

Conversation

@REPPL

@REPPL REPPL commented Oct 11, 2026 •

Copy link
Copy Markdown
Collaborator

Step 5 of spc-2610100613109045: one library verb carries the memory and source sub-trees.

Stacked on #919 (step 4), which sits on #918 and #913. Until those merge, this diff shows their commits too.

  • The verb: abcd library, in the person's Records group, carries every memory sub-verb (ingest, ask, lint) and every source sub-verb (init, add, declassify, ledger, sync-banlist, cite-check) under its old name. The two stores stay unconnected.
  • Bare abcd library: it renders both stores. A store it cannot read becomes one line naming what would create it. It refuses (exit 2) only when it can read neither, so a checkout with no corpus no longer gets the old exit 3 from bare source.
  • Old names: abcd memory and abcd source are unknown commands, and their notes name abcd library.
  • The guard: the ledger flip refusal matches abcd library ledger --flip. A second entry still refuses the retired abcd source ledger --flip, because an older binary still answers it and is often reachable. The per-byte work bar the guard's linearity test holds moves from 24 to 28 as its comment anticipates: the hostile shape measures about 24.7 with the extra entry, far below the hundred a dropped bound costs.
  • The hook: both pre-commit hook copies run library sync-banlist. ahoy reports an abcd-owned hook that still runs source sync-banlist as a gap, and ahoy install rewrites only that spelling. A hook without abcd's marker, or one behind a symlink, is never touched.
  • Pages and brief: commands/library.md replaces memory.md and source.md, and pages that pointed at either now point at the library. The brief folds both chapters into 04-surfaces/07-library.md. The update page's list of network-touching commands names library ingest <url>. The release-gate manifest is rehashed.

New tests, each watched fail first:

  • TestLibraryCarriesEveryMemoryAndSourceSubVerb, TestMemoryAndSourceAreUnknownCommands and TestBareLibraryRendersBothHalves;
  • the guard flip fixtures and TestRetiredSourceLedgerFlipIsStillLeftToThePerson;
  • the hook refresh cases;
  • TestAhoyReportsAHookNamingTheOldVerb, with its foreign-hook control.

No test was retired.

iss-2610110233253365 records that ingest now names two different acts. It waits on the product thinker.

Refs: itd-2610090831227812
Refs: iss-2610110233253365

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

REPPL added 19 commits October 11, 2026 02:28
abcd launch --dry-run now renders the cut the next launch ship would
make beside its bundle report: the derived version, the deciding
impact, the records, the guard and findings verdicts, in text under its
own line and in --json under a new cut key (cut_error when it cannot be
read). It is the same deterministic emit and render the changelog verb
used, with no prose and no agent. A refused cut is reported and changes
nothing about the dry run's exit.

The changelog verb goes with no alias (adr-40). abcd changelog is an
unknown command whose note names abcd launch --dry-run. Its placement,
sentence, parity note and DOGFOODING recall entry go with it, and its
tests move onto the preview: the tree-digest check, the refused cut
still exiting 0, the JSON, the page set, the uncommitted-records
refusal and the subdirectory read.

The dry run now reads the checkout root wherever it is run, as the cut
always has. Before, from a subdirectory it read the subdirectory as a
repository that declares no artefact kind and refused before reaching
the cut, which would have lost the subdirectory read the changelog verb
had. The dry run's own targeted lines are dropped when the cut is read,
because the cut lists the same intents and says which ones it moves.

The pages, the composer agent, the brief and the principle that named
the verb now name the preview. The launch chapter no longer says the
preview always exits 0 (a peer finding): a --baseline that names no
release tag exits 2, and an undeclared kind or a missing payload is
refused.

Step 3 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5
…is-repo

prepare-this-repo folds into the ahoy page's install section in the next
commit, so its name leaves the two strings that send a reader to it.

The implement loop's brief refusal for a base with no AGENTS.md now names
/abcd:ahoy install, the plugin command whose preparation merges the
conventions into AGENTS.md. It names the plugin command, not the bare
binary call, because a default `abcd ahoy install` writes no AGENTS.md.
The repo lint's warning for docs/ with no .abcd/docs-lint.json now says
to run abcd ahoy install, the binary step that seeds that file.

Step 4 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
The product thinker's placement of 2026-10-09 folds prepare-this-repo
into ahoy install (itd-2610090831227812, decision 6 of its spec). The
fold is page-only: the binary and its refusals do not change.

commands/ahoy.md's install section now carries the whole preparation
workflow around the binary call it already made: the ownership refusal,
the authority ordering, orient, audit, adopt, the working-conventions
block, the downstream rule and the definition of done. The account of
what the binary install does follows under its own heading. A
repository already prepared goes straight to the binary half.
commands/prepare-this-repo.md is deleted with no alias (adr-40).

prepare-this-repo leaves pagesWithNoVerb and record-lint's
host_delegated list. `abcd prepare-this-repo`, never a verb, is still an
unknown command; it moves to retiredTokens, whose note names
/abcd:ahoy install. The onboarding, tool-conventions-file, persona and
hooks-arming tests now read commands/ahoy.md; a new page test holds
each phase to the install section and the old page absent.

The brief folds 15-prepare-this-repo.md into a section of 01-ahoy.md,
drops register row 15 and the index entry, and repoints the host-
delegated paragraphs, 08-skills.md, 04-naming.md's exemption list,
16-lint.md (whose opening named the page as live), 08-abcd.md,
14-ingest.md and 19-identity.md. The release-gate manifest drops the
chapter and the page, with its checker count, prompt hash and the
receipt example rehashed. The two review flags on the deleted chapter
are removed: the sentences they named left with it. README and
commands/lint.md name /abcd:ahoy install. The bootstrap test that
refuses an unrunnable `ahoy install` in README no longer counts the
slash command, which the host runs and whose page resolves the binary
through the plugin root before PATH.

Step 4 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
Two peer findings on 01-ahoy.md, folded in with step 4's change to that
chapter.

The chapter called `status` a plugin-page alias for the bare form. It is
not: commands/ahoy.md hands every word to the binary, which refuses
`status` like any other word it does not register, so `abcd ahoy status`
is an unknown command on both surfaces.

The user-scope tree, declared the one inventory, left out files the
shipped code reads or writes under the home folder: oracle-routing.json,
interviews/, cache-attestation and statusline.json, which the symlink
rule in 03-configuration.md already lists, and backups/, where the
status-line change keeps its copies of the harness settings file.

Step 4 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
Step 3 repointed the composer's preview source at the launch preview's cut
without the prompt_version bump and agents changelog entry record-lint's
agent_contract rule requires. It also adds changelog to the brief's list
of names retired with no alias.

Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5
…4-ahoy-install-conventions

# Conflicts:
#	.abcd/development/brief/04-surfaces/08-abcd.md
…kers

The shortcut straight to the binary's half keyed on the working-conventions
markers, which only the host-run preparation writes, so a repository
adopted through the binary install alone, abcd's own checkout among them,
would have been walked through the whole preparation again. The page now
starts from the detection pass: a managed repository goes to the binary's
half unless the person asks to prepare it, and an unmanaged one starts at
Phase 0. The brief's mirror sentence follows, and the spec's line on the
loop hint now says /abcd:ahoy install, matching what shipped.

Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5
The product thinker's placement of 2026-10-09 merges the sources
commands into one person's command named library (itd-2610090831227812,
P4). This step carries the memory and source sub-trees; consult and
ingest fold into the library page in the next step.

abcd library is one top-level verb under Records (decision 1) carrying
both sub-trees, and every sub-verb keeps its name (decision 7): init,
add, declassify, ledger, sync-banlist and cite-check act on the sources
corpus, ingest, ask and lint on the checkout's memory store. The two
stores and their core packages stay unconnected (decision 10). Bare
library renders both stores, an unreadable one as a line naming what
would create it, and refuses only when neither reads (decision 8), so
bare library inside a checkout with no corpus renders where bare source
exited 3.

abcd memory and abcd source are unknown commands with no alias
(adr-40); retiredTokens names library for each. The guard's
abcd-source-ledger-flip entry matches library ledger --flip, so an agent
still cannot flip a citation line. Both pre-commit hook copies run
library sync-banlist. The corpus and memory strings a reader acts on,
the provenance a new memory page records, the sentence and example
manifests, the DOGFOODING recall list and the help table name library.

commands/library.md replaces memory.md and source.md; consult.md and
ingest.md are repointed at library, and guard.md, banlist.md and
update.md's network list name it. The brief folds 04-surfaces/07-memory.md
and 33-source.md into 07-library.md, with one register row, and the
index, help table, bare-invocation paragraph, product chapters, naming
exemptions and internals chapters follow. The release-gate manifest
swaps the two chapters for the one, rehashed with its receipt example.
The shipped itd-36's two links to the folded chapter point at
07-library.md so they resolve. The snapshot, CLI reference and chapter
appendix are regenerated.

Step 5 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
A pre-commit guard committed before the sources verbs became library
runs `source sync-banlist --refresh`. A binary without that verb makes
the hook skip the refresh with one stderr line, so the confidential-name
block silently stops being refreshed (spc-2610100613109045, decision 13).

ahoy now reports an abcd-owned hook naming the old verb as the gap
banlist.hook_retired_verb, and ahoy install rewrites that spelling in
place, leaving every other line, the maintainer's own included. A hook
without abcd's marker is never edited.

Step 5 of spc-2610100613109045.

Assisted-by: Claude:claude-opus-5-5
Refs: iss-2610110233253365

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

The hand-written region of a surface chapter states no sub-verb and no
flag, which live only in the generated appendix
(TestSurfaceChapterProseStatesNoShape). The folded library chapter named
both in its new paragraphs; they now describe the verbs in words.

Assisted-by: Claude:claude-opus-5-5
The flip refusal named only the library spelling, so an agent could flip
a citation line through any binary older than the library verb, which
still answers `abcd source ledger --flip` and is often reachable (the
plugin root's copy, an older build). A second entry refuses the retired
spelling with the same reason, watched fail first. The guard page names
both. The per-byte work bar grows with the registry, as its comment
says; the new entry takes the hostile shape to about 24.7, so the bar
moves from 24 to 28, still far below the hundred a dropped bound costs.

Refs: itd-2610090831227812

Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge October 11, 2026 05:42
@REPPL REPPL closed this Oct 11, 2026
auto-merge was automatically disabled October 11, 2026 11:42

Pull request was closed

@REPPL REPPL reopened this Oct 11, 2026
@REPPL
REPPL enabled auto-merge October 11, 2026 12:19
@REPPL
REPPL added this pull request to the merge queue Oct 11, 2026
@REPPL
REPPL removed this pull request from the merge queue due to a manual request Oct 11, 2026
@REPPL
REPPL added this pull request to the merge queue Oct 11, 2026
@REPPL
REPPL removed this pull request from the merge queue due to a manual request Oct 11, 2026
@github-merge-queue github-merge-queue Bot closed this pull request by merging all changes into main in 4700d60 Oct 11, 2026
@REPPL
REPPL deleted the feat/verb-split-5-library branch October 13, 2026 04:59
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