Repository navigation
docs: anchor the KV retirement page to the v0.1.4 release - #369
Conversation
There was a problem hiding this comment.
LGTM
PR review verdict — PASS
Reviewed base c38bb4e and head a8bc0c0 (full diff on opened; no prior reviews).
Verified:
- The only change is in
docs/kv-reclamation-qualification.md. All three on-page anchors that namede843b9d3now namev0.1.4: the history sentence and release link (https://github.com/InferMatrixLab/InferRSI/releases/tag/v0.1.4), the twogit showexamples (tools/qualify_kv_reclamation.pyandtests/fixtures/kv_reclamation/candidate.py), and the closing line that the table references resolve at that revision. - The
git show v0.1.4:<path>examples are valid for a tag that peels to a commit, and they match the prose anchor. - Scope stays on the retirement page. The diff does not edit qualification code, tests, or campaign artifacts.
Not verified here:
- Did not resolve tag
v0.1.4in a clone, so ancestry of basec38bb4e97db3ea4be4059b80376e0925e48c0df4, the "immediately before the removal commit" claim, andgit show v0.1.4:<path>for the named files (including the rest of the eleven-file table) were not executed. - Did not open the GitHub release page or CI.
No blocking defect in the reviewed text.
amy-why-3459
left a comment
There was a problem hiding this comment.
LGTM
PR review verdict — PASS
Reviewed base c38bb4e and head a8bc0c0 (full review of a new PR; one file, docs/kv-reclamation-qualification.md).
Verified via the GitHub API:
- Tag
v0.1.4is a lightweight tag on commit5c86eb57030c4aea50592b66451929c8cee705d6. - The removal commit
1246348f252dbc7e473efb1752c2d81da15e23f…("chore: retire the synthetic CPU KV slice tooling") has5c86eb57as its sole parent, so "the tagged revision immediately before the removal commit" holds. compare v0.1.4...mainisaheadby 3, behind by 0, with merge base5c86eb57, sov0.1.4is an ancestor ofmain.- The recursive tree at
v0.1.4contains all nine paths named on the page and its reference table (tools/qualify_kv_reclamation.py,tools/qualify_kv_edit_actor.py,tools/qualify_kv_actor_cleanup.py,tools/kv_live_job.py,src/inferrsi/harness/kv_reclamation.py,src/inferrsi/harness/kv_edit_workbench.py,tests/fixtures/kv_reclamation/{candidate,workload,reference}.py). - No
e843b9d3reference remains in the file at head; the retained-evidence list and receipts table are unchanged. - All six check runs on the head commit passed (full-check 3.10/3.11, installed-package 3.10/3.11, declarations, pr-references).
Not verified: I did not run git show in a local clone or open the release page itself.
zengchuang-hw
left a comment
There was a problem hiding this comment.
LGTM
PR review verdict — PASS
Reviewed main at base c38bb4e97db3ea4be4059b80376e0925e48c0df4 and head a8bc0c0d373be3d5e34991238182e4fee2e8b891 in response to Dong1017’s GitHub review request. The single-file documentation change uses a valid release anchor for the retired KV tooling. No blocking finding remains.
- The published v0.1.4 release points to
5c86eb57030c4aea50592b66451929c8cee705d6, the sole parent of the removal commit and an ancestor of the reviewed base. I verified all nine distinct referenced paths in the tagged tree and read both example files from the verified tag commit withgit show. - The diff changes only the retirement page’s historical references and commands. Its receipt table and the retained evidence are outside the diff. This fits the bounded retirement recorded on #357 and #248.
- All five Ready CI jobs and knowledge-model-policy passed on the reviewed head. The policy check reports not applicable. I did not rerun the full suite or the retired campaign locally.
Non-blocking description correction. The original e843b9d3 snapshot is still an ancestor of main and of the tagged commit. I verified that in the GitHub comparison and with local git merge-base --is-ancestor against the tag commit. The old SHA remains reachable through those refs after task-branch cleanup. The updated page is accurate. Please describe the reason for the change as using a published pre-removal release anchor in the PR description and any merge summary.
Codex performed this review under direct delegation from zengchuang-hw, using that connected GitHub account. The delegation covers independent inspection of this PR, reporting findings, and submitting a formal approval on the verified commit when the review and applicable checks pass.
The page pointed readers at the bare commit `e843b9d3` to read the tooling the removal deleted. Name the published `v0.1.4` release instead: it resolves to `5c86eb57`, the sole parent of the removal commit `1246348f`, so every path the page and its eleven-file reference table name is readable there. A published release tag is a better anchor than a bare SHA. It arrives with a normal clone, it says what it is, and it needs no commit lookup to interpret. This replaces no incorrect statement. The page's claim that the old snapshot remains an ancestor of `main` was accurate and still is. An earlier draft of this change asserted otherwise and argued the reference could be lost to task branch cleanup; both came from reading a shallow clone, whose truncation boundary made `merge-base` report no common ancestor. zengchuang-hw's review corrected it against the GitHub compare API. `e843b9d3` is an ancestor of `main`, so it was never at risk. Agent-assisted-by: Claude Code / claude-opus-5-5 (drafting and verification) Signed-off-by: Dong1017 <55723162+Dong1017@users.noreply.github.com>
a8bc0c0 to
0b6dcea
Compare
|
Incremental review 本轮已解决 · ResolvedThe PR description and commit message now explain that the shallow clone caused the earlier ancestry result. The old snapshot remains an ancestor of 批准前必做 · Before I can approveNo outstanding items. 非阻塞问题或建议 · Non-blockingNone. I compared the Git commit records, checked the revised explanation against the ancestry evidence, and verified that all five Ready jobs and knowledge-model-policy passed on this head. I did not rerun the retired campaign. |
What this changes
docs/kv-reclamation-qualification.mdtells readers where to read the tooling that #357 removed. It names the bare commite843b9d3. This names the publishedv0.1.4release instead, in the history sentence, the twogit showexamples and the closing line of the reference table.Why
A published release tag is a better anchor than a bare SHA: it arrives with a normal clone, it states what it is, and it needs no commit lookup to interpret.
v0.1.4is the right one to name here:5c86eb57git rev-parse v0.1.41246348fgit log -1 --format=%p 1246348f→5c86eb5maingit merge-base --is-ancestor v0.1.4 main→ 0This corrects no error on the page
The page says the old snapshot "remains an ancestor of
main". That was accurate and still is. The commands it documents work today and are not at risk.The first version of this PR claimed the opposite, and argued the reference could be lost to task-branch cleanup. Both claims were wrong. They came from measuring in a shallow clone:
.git/shallowpinned01c73521, that truncation boundary reports no parent, sogit merge-basereturned empty andrev-list --max-parents=0named the boundary as a root. I read those artifacts as a rewritten history.zengchuang-hw's review caught it against the GitHub compare API, which reads server-side and is unaffected. After
git fetch --unshallow:221 commits, original root intact,
e843b9d3an ancestor. The force-push on this branch rewrote only the commit message, which had carried the same wrong rationale; the tree is byte-identical to the previously approveda8bc0c0.Scope
Documentation only, one file, six lines. No evidence bundle is touched — they stay hash-pinned and
python -m tools.validate_evidenceis unaffected. The per-claim receipt table and the retained-evidence list are outside the diff. No code, test, workflow or label change.@zengchuang-hw @amy-why-3459 re-requesting review: the diff is unchanged from the one you approved, the rationale is not. Worth confirming the description now matches what the change actually does.