Correct overclaimed Show in Graph parity evidence - #423
Merged
Merged
Conversation
coneilen
force-pushed
the
ledger-show-in-graph-evidence
branch
from
September 23, 2026 01:12
5a6aeb3 to
c9126d6
Compare
Row 112 was marked Validated and cited a "return-to-graph-card walkthrough" passing in the live gate. No such walkthrough exists: uia-live-gate.ps1 contains no graph-card assertion at all, and the workspace-show-graph element is only ever discovered and checked for non-null presence (:1156 discovery, :1188 Require). It is never retrieved via InvokePattern and never invoked, so the "stable invokable" claim is also unproven. Restate the row as Partial, describe exactly what the gate does prove (presence in the real shell build), and name the missing evidence. Signed-off-by: Colin Neilens <coneilen@microsoft.com> Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
coneilen
force-pushed
the
ledger-show-in-graph-evidence
branch
from
September 23, 2026 01:50
c9126d6 to
aeb89cc
Compare
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.
Summary
Parity ledger row 112 (
Show in Graph) was marked Validated on evidence that does not exist. This corrects it to Partial and states precisely what the live gate does and does not prove.What was wrong
The row claimed two things that are not supported by the gate:
Tools/windows/uia-live-gate.ps1contains zero occurrences ofgraph-card. The only file onmainreferencinggraph-cardbesides the ledger isAccessibility.zig, which is the Zig contract, not the tree the live gate traverses.$workspaceShowGraphis discovered atuia-live-gate.ps1:1156and checked for non-null at:1188with the messageworkspace chrome omitted the Show in Graph child. It is never passed toGetCurrentPattern, never given anInvokePattern, and never invoked. Presence is the entire assertion.The underlying feature is fine; the menu action and loop bar exist. Only the evidence claim was overstated, which is the more damaging failure mode: a Validated row is what a reader trusts when deciding a surface needs no further work.
What the row says now
Presence of a
workspace-show-graph-*child namedShow in Graphin the real shell build, with the exact file and line numbers backing it, plus an explicit statement that invocation and the resulting navigation still need live evidence. Status Partial.Doc-only change. No behavior, no test, no gate modification.
RED: grep for the cited evidence ->
git grep -c graph-card -- Tools/windows/uia-live-gate.ps1returns no match onmain, so the row's "return-to-graph-card walkthrough" citation names a walkthrough that is not present in the gateGREEN: row restated to match the code -> row 112 now cites only
uia-live-gate.ps1:1156discovery and:1188Require, both of which exist and assert exactly presence, and the status isPartialREGRESSION: verify no other row depends on the removed claim -> audited all Validated rows for
graph-cardandworkspace-show-graphreferences; row 112 was the only consumer, and the recount is 50 Validated / 42 Partial / 2 BlockedProvenance
Found while verifying a sibling session's claim on #421 that
graph-cardwas an aspirational Zig-only contract id safe to delete. That claim checked out, but it exposed that a Validated ledger row was citing the same id as passing live evidence. This is the second such row: #418 is separately rewriting row 53, which asserted Windows keeps Move as an Explorer/selecthandoff after #408 had already replaced that with a disabled unavailable item.No conflict with in-flight work: #421 edits row 151, #418 edits rows 53/54/87.