refactor: treat a located value as a recalable move

This commit is contained in:
Abdessamad Derraz committed 2026-08-10 17:20:26 +02:00
1 parent 11677d6625
commit f430986361
2 files changed
+6 -4

No files matched your search

+4 -2
View File
@@ -725,9 +725,11 @@ def verify_at_pin(part: RefPart, pin_lines, tokens) -> PartResult:
part, "AMBIGUOUS", None, None, None, elsewhere,
"declared value carried by several lines",
)
# Content-level evidence, stronger than a line-shift heuristic: the value
# sits on exactly one line, so the recale target is not a guess.
return PartResult(
part, "CHANGED", None, elsewhere[0], elsewhere[0], elsewhere,
"declared value carried by another line",
part, "MOVED", None, elsewhere[0], elsewhere[0], elsewhere,
"declared value occurs once at the pinned revision",
)