fix(docs): tracker number and two swapped issue/pull link paths - #235
fix(docs): tracker number and two swapped issue/pull link paths#235opento-suggestions wants to merge 1 commit into
Conversation
docs/verification-outcome-statements.md carried three reference defects across two lines: one wrong referent and two swapped link paths. - Line 54 pointed the appraisal.policy_ref reproducibility question at agentrust-io#187. That link resolves, but it names the wrong item: agentrust-io#187 is a merged pull request, and the open issue tracking the question is agentrust-io#190. The reference now names agentrust-io#190 and links it as the issue it is. - Line 54 also used an /issues/ path for agentrust-io#187, and line 52 used a /pull/ path for agentrust-io#116, which is an open issue. Each swapped path resolves only by GitHub redirect. Both paths corrected; the agentrust-io#116 number was already right. No prose changes; the sentences' claims are untouched. Co-Authored-By: Claude <noreply@anthropic.com> Signed-off-by: opento-suggestions <opentosuggestionsofficial@gmail.com>
lywinged
left a comment
There was a problem hiding this comment.
Both path corrections are right, and I checked whether they are complete rather than just correct. The referent change is a different kind of edit from the other two, and I think it needs a decision from whoever set #190's scope.
1. The two swapped paths, and the fact that they are the only two
refs/pull/N/head exists for every pull request and for no issue, so git ls-remote answers "PR or issue" for a number without opening it:
git ls-remote https://github.com/agentrust-io/trace-spec 'refs/pull/*/head'
Running that against every GitHub link in the repository: 25 links, 13 distinct numbers.
| path already correct | #34, #50, #67, #95, #97, #111, #124, #166, #191, #198, and #66 |
| path swapped | #116 (an issue reached through /pull/), #187 (a pull request reached through /issues/) |
Exactly two, and they are the two this PR touches. There is no third one anywhere in the tree, so this closes the class rather than two instances of it.
2. The referent is a different question from the one #190 holds
#190 states its scope in its first lines:
The question, as the review put it: when a record cites something a verifier cannot resolve, what does the verifier record, and where.
This is that issue. It records the question as deferred; it does not propose the answer.
Its four-surface list is scoped the same way. The appraisal.policy_ref entry asks whether resolution of the appraisal policy citation falls under that same discipline.
The sentence being repointed asks something else:
Whether
appraisal.policy_refgains reproducibility guarantees (a digest binding for the referenced appraisal policy) is an unresolved design question tracked in [#187]. Until then, a bounded statement cites the appraisal policy by reference, and second-verifier reproduction of an appraisal verdict is not guaranteed.
A digest binding is about a second verifier reading the same policy bytes. #190 is about what a verifier records when it cannot read them at all. Same field, adjacent questions, different answers.
That reading is not mine alone. The 2026-08-26 comment on #190 says of this very page, merged as #215:
It does not answer the normative question this issue holds, which is where a verifier records an unresolvable citation. It does answer the adjacent one, which is what a reader may conclude when it happens, and it answers it across surfaces rather than per-surface.
So the page and #190 are already on record as adjacent. This edit points a line of the page at the issue holding the other half.
3. Three ways out, any of which I would be glad to see
- Narrow the sentence to the half #190 does hold, for example "resolution of this citation is tracked in #190", and leave the digest question where it was raised.
- Point the digest question at #66, where it was raised. Line 61 of the same file already cites #66 as "the discussion this page grew out of", so the page would then be internally consistent.
- Keep #187 with the corrected
/pull/path and change "tracked in" to "raised in". A merged pull request is a poor tracker, which is the part of this PR's reasoning I agree with; it is a fine citation for where a question was raised.
4. Two small notes on the description
"Both paths corrected" is true of #116. The #187 path is not corrected in the diff, it is removed along with its referent, so if the referent stays at #190 the second path fix is not in the result.
"No prose changes; the sentences' claims are untouched" holds for the #116 line. On the other line the referent is the claim: "tracked in X" asserts that X tracks it, and the diff changes what is asserted. That is also what makes Editorial: no normative effect the right box for one edit and a stretch for the other.
The #116 line is ready as it stands. The other line is the only open point, and it is a scope call rather than a link fix.
imran-siddique
left a comment
There was a problem hiding this comment.
Verified all three reference targets against the API rather than reading the diff:
#116is an issue, so the/pull/116path was wrong.#187is a closed pull request titled "spec: anchor key revocation to log entry ordering, not iat", which has nothing to do withappraisal.policy_ref. The wrong-referent call is right, and it is the defect worth catching here: the link resolved, so nothing was broken enough to notice.#190is open and explicitly listsappraisal.policy_refamong its four surfaces, so it is a correct target.
One non-blocking note: #190 records that policy_ref was "raised on #66", so #66 would also have been a defensible target. #190 is the better one because it is scoped to the citation-resolution discipline this bullet is about.
Approving. Releasing the three held workflow runs now.
|
Point 4 is right. Both sentences were false as written. "Both paths corrected" was false. Only the path on the #116 line is corrected in place. The other path is not corrected at all: the link is removed together with its referent, so no corrected link to #187 survives in the result. "No prose changes; the sentences' claims are untouched" was false for the second bullet. Every word outside the two changed links held still, but "tracked in" names the item that tracks the question, so pointing that line at #190 instead changes what it asserts. The claim holds for the version-boundary line only. The body has been amended today so both claims are true of the diff, dated in the body itself. On the census: reproducing {116, 187} independently as the complete swapped set, with On points 2 and 3, the scope call. The distinction holds as drawn. This PR's description carries the same conflation: "the open issue tracking the question is" names #190, which is exact for the resolution half and loose for the digest half. That sentence stays as written because the approval endorsed the target, but its looseness is conceded here. Since the review addresses the scope call to whoever set #190's scope: that scoping was deliberate when I filed it, and it is the same separation this review draws. The comment that raised the digest question on #66 (comment 5332456021) asked whether it was better raised separately from resolution; #190 was scoped to the resolution half for that reason, and the digest question stayed where it was raised. The reply there placed the decision on #187, which is merged and, per review 5055911365, does not concern appraisal.policy_ref. Neither location is a tracker for it, and a search of the open items today finds none that holds it. Filing one is a separate change from a link fix. As for where the line points meanwhile, review 5055911365 made that call: #66 defensible, #190 better. The approved diff stands. On the approval: checking the three targets against the API rather than reading the diff is the check that catches a wrong referent, since the link itself resolved. One measurement, in case the red |
What this changes
Two reference targets in
docs/verification-outcome-statements.md, carrying three defects of two kinds: one wrong referent, and two link paths swapped between/issues/and/pull/.appraisal.policy_refreproducibility question at agentrust-io/trace-spec#187. That link resolves, but it names the wrong item: spec: anchor key revocation to log entry ordering, not iat (#67) #187 is a merged pull request (its changes include the revocation bundle schemas), and the open issue tracking the question is agentrust-io/trace-spec#190. The reference now names the open issue and links it as an issue./issues/path, and two lines up, agentrust-io/trace-spec#116 was linked through a/pull/path; verification.md: format-versioning and verifier-compatibility obligations (evidence outlives verifiers) #116 is an open issue. Each swapped path resolves only by GitHub's redirect, so both read as correct on click-through. The path on the verification.md: format-versioning and verifier-compatibility obligations (evidence outlives verifiers) #116 line is corrected in place, and its number was already right. The path on the other line is not corrected: the link to spec: anchor key revocation to log entry ordering, not iat (#67) #187 is removed together with its referent, so no corrected link to it survives in the result.Every word outside the two changed links is unchanged. The version-boundary line therefore asserts exactly what it asserted before. The
appraisal.policy_refline does not: "tracked in" names the item that tracks the question, so pointing it at #190 instead of #187 changes what that line asserts.Type of change
Spec section
None;
docs/only.Checklist
git commit -s)CHANGELOG.mdupdated (for any normative change): not applicable, non-normativeAmended 2026-08-29: two claims this body made about the diff were wrong as written and have been replaced. Prompted by lywinged's review 5054851341.