jZHdZddlZddlmZmZej dZej dZeGddZde d efd Z d e d e fd Z d e de d e fdZ dede d e dzfdZde de d e fdZ d!de de dededzd edzf dZddde dedede deded ee e ffd Zy)"aReject findings that don't land on code the diff actually changed. The character searchers ask Granite for `file_path` / `line_start` / `code_snippet`, but the model routinely fabricates plausible-looking values (e.g. `frontend/UserDashboard.tsx:123`) when it can't find real issues. This module parses the unified diff once and exposes a fast deterministic check so the orchestrator can drop hallucinated findings before they reach the voice rewriter or the client. N) dataclassfieldz)^diff --git a/(?P.+?) b/(?P.+)$z.^@@ -\d+(?:,\d+)? \+(?P\d+)(?:,\d+)? @@ceZdZUdZeeZeeee fe d<eeZ eeefe d<eeZ eeee effe d<e deefdZy) DiffIndexzAPer-file map of post-image lines the diff added, plus their text.)default_factory added_lines added_text line_contentreturncHt|jjSN)setrkeys)selfs >% CNN5$9 $ fll734K   ;#6  >># !"gG   l + / / <   \ *gn < *s r _paths_matchrAPsHg&G V $F&   C&L ) KV__S7]-KKrr/ claimed_pathcL|sy|jD]}t||s|cSy)zAReturn the diff's canonical path that the model's path refers to.N)rrA)r/rBr>s r resolve_filerDYs/ ++  f -M rsnippetr c|jsy|jDcgc]/}t|jdk\s |j1}}|sytfd|DScc}w)zDAt least one non-trivial snippet line must appear in the added text.Tc3&K|]}|v ywr r).0liner s r z#_snippet_matches..ls;dtz!;s)r: splitlineslenany)rEr rJ needle_liness ` r_snippet_matchesrPcsh ==?!(!3!3!5TZZ\9Ja9O L  ;l; ;; s !A2A2file hint_linect|jsy|jj|}|sytdd|j DDt d}|sy|D]L}|j Dcgc] \}}||vs |} }}| s-t| fdcSt| cSycc}}w)uReturn the post-image line number where `snippet`'s strongest needle lives. Used to correct the model's frequent ±1-3 line drift on `line_start`: pick the longest line of the snippet, scan `line_content[file]` for an exact contains-match, and return the closest match to `hint_line` (the model's original guess) so we don't jump if the snippet repeats in the file. Nc3>K|]}t|dk\s|yw)rGN)rM)rIss rrKz$find_snippet_line..sSqs1vQR{Ssc3<K|]}|jywr )r:)rIrJs rrKz$find_snippet_line..sCdTZZ\CsT)keyreversec t|z Sr )abs)nrRs rz#find_snippet_line..sc!i-.@r)rW)r:r getsortedrLrMitemsmin) rErQr/rR file_linesneedlesneedler[r5matchess ` rfind_snippet_linereos ==?##''-J SCg.@.@.BCS G '1'7'7'9OGVw=N1OO   w$@A A7|   Ps : B4B4) line_slack file_path line_startline_end code_snippetrgcl t||}|dd|fS|jj|t}|sdd|fSt d||z  t |||zt  fd|Ds dd|d|d|fSt ||jj|d s dd |d|fSy ) zDecide whether a finding lands on code this diff actually touched. Returns (grounded, reason). When False, `reason` describes the rejection so we can log how the model hallucinated. Fzfile_not_in_diff:zfile_has_no_added_lines:r%c3>K|]}|cxkxrkncywr r)rIr[ span_highspan_lows rrKzis_grounded..s9ax1) ))9szline_not_in_added_range::r&r"zsnippet_not_in_diff:)Tok)rDrr]rmaxrNrPr ) rhrirjrkr/rgr>addedrnros @@r is_groundedrts% +F ~))555    ! !&#% 0E 09991j:-.HHj)J6I 959 90*QxjQQQ L%*:*:*>*>vr*J K,VHAj\BBB rr )rre dataclassesrrcompiler(r-rrr6r<boolrArDrPrretuplertrrrrzsd ("**IJ 2::G H  , ,  ,(S(Y(V.s.s.L#LsLtL t