You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PR #9's final summary retained two moderate concerns and one styling nit despite reporting no findings. Validate all three before the real-issue experiment without inferring defects from summary shorthand.
Results:
Manual reassignment after retry.ts → renamed.ts keeps both removed old-path and added new-path segments in scope.
A literal declared filename *.txt is not confused with a decoy a.txt; planting rejects the history when the literal file disappears.
Accepted changes render with the existing muted treatment and explicit Accepted outside plan label. A proposed error-color assertion failed because the summary supplied no expected alternative; no new color semantics were inferred.
No production defect reproduced, so this PR changes no runtime behavior. It adds focused real-Git validation fixtures for the two behavioral concerns and commits the evidence record required before issue #3's human experiment.
Validation on exact pushed head 2708ae9: typecheck, 190 unit/integration tests, and 39 browser tests passed locally; both required CI runs passed.
PR Validate review-summary edge cases #17 round 1, rename segment selection: fixed by asserting -/+ operations and resolving the removed side through oldPath and added side through path before reassignment. Captured by the new Review readiness rule requiring summary-concern fixtures to assert the disputed intermediate representation.
PR Validate review-summary edge cases #17 round 1, requested literal-pathspec production fix: declined because direct Git controls prove ls-tree treats *.txt literally and rejects :(glob) magic as unsupported. The fixture now asserts those command semantics before the plant outcome. This command-specific false premise needs no production change and is covered by the same new fixture-evidence rule.
PR Validate review-summary edge cases #17 round 2, claimed retained P3 fixture item: declined because the fixture replaces plan.items with a P1-only array. It now asserts the exact item IDs before import; typecheck and all focused assertions pass. This false intermediate-state premise is covered by the same new fixture-evidence rule.
PR Validate review-summary edge cases #17 round 3: no findings. Its overview asked for the final in-scope assertion already added in the following commit.
PR Validate review-summary edge cases #17 round 4, ambiguous validation commit wording: accepted. The evidence record now labels 5a2685c as the baseline and points exact-head results to this PR. A new rule requires evidence records to distinguish baselines, checkpoints, and validated heads.
The reason will be displayed to describe this comment to others. Learn more.
Copilot review overview
🟢 Approval recommended
No blocking issues remain; the sole documentation nit is non-blocking.
Review effort: Lite Findings: None
Previously missed (1)
In code that hasn't changed since last review
Evidence record references a different validation commit
docs/experiments/review-summary-edge-cases.md:3
The evidence record says it was validated from 5a2685c, but the PR metadata reports validation on the exact pushed head c4d580b. This makes the record point at a different tree than the claimed validation; update the recorded head (or explicitly explain why an earlier checkpoint is intentional).
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
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.
PR #9's final summary retained two moderate concerns and one styling nit despite reporting no findings. Validate all three before the real-issue experiment without inferring defects from summary shorthand.
Results:
retry.ts→renamed.tskeeps both removed old-path and added new-path segments in scope.*.txtis not confused with a decoya.txt; planting rejects the history when the literal file disappears.Accepted outside planlabel. A proposed error-color assertion failed because the summary supplied no expected alternative; no new color semantics were inferred.No production defect reproduced, so this PR changes no runtime behavior. It adds focused real-Git validation fixtures for the two behavioral concerns and commits the evidence record required before issue #3's human experiment.
Validation on exact pushed head
2708ae9: typecheck, 190 unit/integration tests, and 39 browser tests passed locally; both required CI runs passed.Review-lesson audit
-/+operations and resolving the removed side througholdPathand added side throughpathbefore reassignment. Captured by the new Review readiness rule requiring summary-concern fixtures to assert the disputed intermediate representation.ls-treetreats*.txtliterally and rejects:(glob)magic as unsupported. The fixture now asserts those command semantics before the plant outcome. This command-specific false premise needs no production change and is covered by the same new fixture-evidence rule.plan.itemswith a P1-only array. It now asserts the exact item IDs before import; typecheck and all focused assertions pass. This false intermediate-state premise is covered by the same new fixture-evidence rule.5a2685cas the baseline and points exact-head results to this PR. A new rule requires evidence records to distinguish baselines, checkpoints, and validated heads.2708ae9: no findings; approval recommended.Deferred: issue #3's manual assignment and paired human go/no-go experiment remain pending.
Closes #10.