fix(#1520): the quickstart page is a landing source, so a README that SHRINKS into a pointer can land - #1525
Merged
Conversation
… SHRINKS into a pointer can land `check-doc-checkpoint` refuses a `README.md` claim change that touches no member of `LANDING_SOURCE_FILES`. The set names `.agents/mission.md`, `CMakeLists.txt`, three `benchmarks/demo/*.json` files and the two example mains, and it has no entry for a document that owns the start of a reader's path. The gate's own message names the two failures it exists to stop: > The README is the landing page. Routine checkpoints belong in the > purpose-specific docs. Co-edited public projections never justify README > churn. Both are a README that GROWS. `row/DOCS-QUICKSTART-1281` is the opposite. It adds `docs/QUICKSTART.md` and cuts the README `## Quickstart` block from three command fences to a four-line pointer at that page, so the README loses material and the material moves to the purpose-specific document. At head `1b6e458c8` that branch reports 88 gates ok, zero skips and one failure, `doc-checkpoint range`, while touching no member of the set, which it honestly should not, because nothing in `.agents/mission.md` became untrue. Add `docs/QUICKSTART.md` to the set. Every existing member is something the README quotes: the mission it paraphrases, the build entry point its build line invokes, the demo measurements its numbers come from, and the two example mains its commands run. The quickstart page is that relation with the direction made explicit. The README's claim about where a reader starts changed BECAUSE the page now exists and now owns the starting procedure, and the page is a source rather than a projection, because nothing else in the tree records what it says. This admits one exact path and no class. `docs/BUILD.md`, `docs/ROCM.md`, `docs/RELEASES.md` and every public projection still cannot license a README claim change, and `landing_page` still permits a README edit rather than demanding one. Three cases in `tests/scripts/test_doc_checkpoint.py` state that: the new one was RED before this change with the exact `landing source` refusal, and the two guards were green before and after. Three mutations red them one at a time, and the checker at `origin/main` refuses `d69a43c51` while the checker here accepts it. Deliberately its own change. The previous implementer on the quickstart row refused to widen the set inside the change it unblocks, because AGENTS.md names making a red gate green that way as the forbidden move. That refusal was correct, so the widening is made here with its own spec, its own red-first evidence and its own mutations. FOLLOWING_AGENTS_PROTOCOL Following-Agents-Protocol: true AI-Assisted: true Assisted-by: Claude:Opus-5 [Claude Code]
…union driver is a local property, so the forward merge is made here (#1520) GitHub reported this pull request as conflicting while `git merge` here reports a clean automatic merge. `.agents/issue-index.md` carries `merge=union` in `.gitattributes`, the forge does not apply that driver, and two branches that each append a row therefore read as a conflict there and merge cleanly here. The keyed records are verified by hand rather than taken from the clean automatic merge, which `AGENTS.md` section `## Records` forbids relying on. The index union holds: 492 rows on this branch, 494 on `origin/main`, 491 at the merge base, and 495 after the merge, which is 492 plus 494 minus 491. `scripts/check-issue-index-append-only.py` and `scripts/check-agent-record.py` both exit 0. No scoped edit needed re-applying. `origin/main` moved by the relative-redirect fix and the container build-dependency fix, and neither touches `scripts/check-doc-checkpoint.py` or its test, which are the only files this branch changes outside the records. FOLLOWING_AGENTS_PROTOCOL Following-Agents-Protocol: true AI-Assisted: true Assisted-by: Claude:Opus-5 [Claude Code]
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
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.
check-doc-checkpointrefuses aREADME.mdclaim change that touches no memberof
LANDING_SOURCE_FILES. The set names.agents/mission.md,CMakeLists.txt,three
benchmarks/demo/*.jsonfiles and the two example mains, and it has noentry for a document that owns the start of a reader's path.
The gate's own message names the two failures it exists to stop:
Both are a README that GROWS.
row/DOCS-QUICKSTART-1281is the opposite. Itadds
docs/QUICKSTART.mdand cuts the README## Quickstartblock from threecommand fences to a four-line pointer at that page, so the README loses material
and the material moves to the purpose-specific document. At head
1b6e458c8that branch reports 88 gates ok, zero skips and one failure,
doc-checkpoint range, while touching no member of the set, which it honestly should not,because nothing in
.agents/mission.mdbecame untrue.Add
docs/QUICKSTART.mdto the set. Every existing member is something theREADME quotes: the mission it paraphrases, the build entry point its build line
invokes, the demo measurements its numbers come from, and the two example mains
its commands run. The quickstart page is that relation with the direction made
explicit. The README's claim about where a reader starts changed BECAUSE the
page now exists and now owns the starting procedure, and the page is a source
rather than a projection, because nothing else in the tree records what it says.
This admits one exact path and no class.
docs/BUILD.md,docs/ROCM.md,docs/RELEASES.mdand every public projection still cannot license a READMEclaim change, and
landing_pagestill permits a README edit rather thandemanding one. Three cases in
tests/scripts/test_doc_checkpoint.pystate that:the new one was RED before this change with the exact
landing sourcerefusal,and the two guards were green before and after. Three mutations red them one at
a time, and the checker at
origin/mainrefusesd69a43c51while the checkerhere accepts it.
Deliberately its own change. The previous implementer on the quickstart row
refused to widen the set inside the change it unblocks, because AGENTS.md names
making a red gate green that way as the forbidden move. That refusal was
correct, so the widening is made here with its own spec, its own red-first
evidence and its own mutations.
FOLLOWING_AGENTS_PROTOCOL
Following-Agents-Protocol: true
AI-Assisted: true
Assisted-by: Claude:Opus-5 [Claude Code]