docs: gate and exclusion claims state what is true, plus the attribution-epoch record - #206
Merged
REPPL merged 6 commits intoAug 7, 2026
Conversation
…-182) The Makefile preflight comment, the pre-push hook comment, and the ci.yml header each described the gates by an older, smaller shape. All three now state what actually runs, verified against the recipe or workflow beside them. Comment-only: no recipe, hook logic, workflow step, or gate behaviour changes. iss-182 resolved in the ledger in the same change. Assisted-by: Claude:claude-opus-5
…ss-183) The blanket present-tense claim that .abcd/** never ships, or is excluded from the release artifact by packaging, survived across CONTEXT.md, AGENTS.md, both .abcd READMEs, four brief sections, the release glossary term, the Phase 1 page and a scanner code comment. Each descriptive instance now carries the channel-truthful phrasing the README already uses — present in every repository checkout, marketplace installs and release source archives included; never in the released binaries — and names the launch bundler as the implemented structural deny no cut release has yet run. Press-release and full-cut-design sites are exempt on genre; decision records, dated plans and intent bodies keep their wording. iss-183 resolved in the ledger, with the reword-not-wire direction recorded in DECISIONS.md. Assisted-by: Claude:claude-opus-5
One dated DECISIONS.md entry: attribution normalised across the full history with trees byte-identical, and pre-rewrite SHA citations in the record declared historical rather than resolvable. Assisted-by: Claude:claude-opus-5
… repos Assisted-by: Claude:claude-opus-5
The captured entry claimed a broader enforcement surface (author allowlists, AI co-author rejection, push gates). The 2026-08-06 disposition narrows abcd's job to one thing: a managed repo commits under the user's own identity, and git cannot fabricate a substitute from the host. The trailer and allowlist halves stay with the forge ruleset and iss-119. Assisted-by: Claude:claude-opus-5
Pre-rewrite commit ids cited in records, receipts and issue threads no longer resolve in a checkout. The two tables translate them, so an old citation stays readable rather than becoming a dead end. Assisted-by: Claude:claude-opus-5
REPPL
deleted the
docs/iss-182-iss-183-doc-currency-and-attribution-epoch
branch
August 7, 2026 14:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Resolves iss-182 and iss-183; captures iss-193; records the 2026-08-06 attribution rewrite.
iss-182 — build-plumbing comments describe an older gate suite
Comment-only corrections; no recipe, hook logic, workflow step, or gate behaviour changes.
Makefile:57— thepreflightcomment claimed "the same steps CI's check job runs" and named only the reviews-charter lint. It now names the three lint prerequisites and states that CI additionally runs agofmt -l .gate this target does not..githooks/pre-push:12— "the CI check-job trio" undercounted what the hook enforces (it invokesmake preflight, three lint gates ahead of the four Go steps), and the Actions-only list omitted the reviews-charter and smoke jobs..github/workflows/ci.yml:3— the header omitted the check job'sgofmt, record-lint and docs-lint steps (ubuntu leg only) and the reviews-charter and smoke jobs.iss-183 — the
.abcd/**exclusion claim survives across the recordThe exclusion is implemented but has never run on a release:
internal/core/launch/bundle.go:27declares the structural deny, yet.github/workflows/release.ymlinvokes neither path, and both marketplace installs and the generated source archives carry.abcd/regardless. Prose written in the present tense described a mechanism that exists in code but has not operated.Reworded to the channel-truthful pattern
README.md:261already carries — what every repository checkout holds against what the released binaries hold — in.abcd/work/CONTEXT.md:42,AGENTS.md:112,.abcd/README.md:4,.abcd/development/README.md:4,brief/02-constraints/01-platform.md:9,brief/05-internals/03-configuration.md:209,brief/01-product/02-context.md:10and:45,brief/glossary/distribution/release.md:20,roadmap/phases/phase-1-ahoy.md:11, and the code comment atinternal/adapter/scanner/network.go:117.Left exempt per the iss-42 and iss-44 precedent: adr-0028, the dated plans, and intent bodies — records that are supposed to say what was decided then. Wiring the publish path so the filter runs on a real release is feature work, not assumed here.
Attribution epoch and iss-193
.abcd/work/DECISIONS.mdgains a dated entry for the 2026-08-06 history rewrite: attribution normalised across main, all six release tags, and the work branch, with every commit tree byte-identical. Commit ids cited in records or receipts before that date belong to the old history;.abcd/work/attribution-rewrite-2026-08-06/carries the translation tables (725 commits, six tags) so those citations stay readable.iss-193 captures the prevention that belongs in abcd:
ahoy installpins the user's own git identity into a managed repo and setsuser.useConfigOnly, so git cannot auto-derive an identity from the host — the mechanism behind 25 commits in this repository's own pre-rewrite history. Trailer enforcement and author allowlists are deliberately out of that scope; they belong to the forge ruleset and iss-119.Verification
make preflightexits 0;gofmt -l .is empty;go run ./cmd/record-lintreports 0 blockers;abcd docs lintreports 0 blockers. Both ledger items moved open → resolved viaabcd capture resolve, and each user-facing change carries a CHANGELOG entry.