fix(walker): US R11 — passes|correspond finite-verb over-capture#197
Merged
Conversation
Extend _STOP_WORDS with `passes|correspond` to terminate NP capture at two finite verbs that bled into the antecedent-basis walker: - `passes` (3sg) — matrix verb in `the <noun> passes through the <hole>` mechanical-claim clauses. Mirrors R7's `exceeds|stays`. - `correspond` (base form, plural subject) — gap left by the existing 3sg `corresponds`. Mirror of R7's base-form `extend|constitute`. The intervening `respectively` adverb is already stripped by _ADVERB_STOPS. `bypasses`/`corresponds`/`corresponding` are unaffected (word-boundary semantics). Shared _NP_CORE means the spec-support noun-phrase extractor inherits the fix for free (cross-CHECK symmetry). EPC reuses the US walker. No CN/TW report of the analogous verb (CJK 穿經/穿過 is a single token) — deferred per DR-1. Labels: 39 silenced over-captures marked resolved_by:r11; 3 corpus over-captures that transform to clean-term emissions dual-labeled per ADR-111 (pre-existing intro-coverage FPs unmasked, not introduced, by R11). current_round 10 -> 11; round_history entry appended (cross- jurisdiction discipline pytest green). Harness: 703 fixtures, 0 unresolved_new / 0 unresolved_removed / 0 protect_violations. 2706 pytest passed.
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
This was referenced Jun 5, 2026
Closed
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.
Triage findings (issues #188 / #189 / #190 / #192)
US antecedent-basis + spec-support walker over-captured a finite verb into the noun phrase, emitting
<head noun> <verb>instead of stopping at the head noun:pressing member passes,two poles respectively correspondclamping member passes,pressing member passesfirst extension arm passes,second extension arm passes<arm> passesover-capture on the §112(a) spec-support engineAll four are the finite-verb over-capture class previously addressed by R2/R3/R7/R8/R9 —
passes/correspondwere the remaining gaps.Fix (non-shifting denylist add)
Extend
_STOP_WORDSwithpasses|correspond:passes(3sg) — matrix verb inthe <noun> passes through the <hole>clauses. Mirror of R7'sexceeds|stays.correspond(base form, plural subject) — gap left by the existing 3sgcorresponds. Mirror of R7's base-formextend|constitute.The intervening
respectivelyadverb is already stripped by_ADVERB_STOPS.Verification gates
pressing member,clamping member,first extension arm,two poles) capture cleanly and resolve to their introductions.protect:trueand 0legit_drafting_errorlabels carrypasses/correspond/respectivelyin the term.bypasses/corresponds/correspondingare unaffected (word-boundary semantics).Future-proofing (bundled — tightly scoped)
passes) and base (correspond) forms of the reported verbs; DR-1 stops there (no report for other variants)._NP_CORE/_STOP_WORDS, so [report] specSupport #192 is fixed by the same change (regression test added).Labels
39 silenced over-captures marked
resolved_by:r11. 3 corpus over-captures transform to clean-term emissions and are dual-labeled per ADR-111 — these are pre-existing intro-coverage FPs unmasked, not introduced, by R11 (R11 is strictly neutral-or-better: an over-capturedX passeswas always a finding before; after, it either resolves or shows a cleaner-termed finding).current_round10 → 11;round_historyentry appended; cross-jurisdiction discipline pytest green.