feat: NCC verify lazy con skip per shape-score alto

ncc_skip_above (default 0.85): se lo score shape e gia molto alto,
salta la verifica NCC (costosa: warp + corr per ogni match). I match
borderline 0.6-0.85 vengono comunque verificati.

Comportamento Halcon-style: NCC come tie-breaker per casi ambigui,
non come gate generalizzato. Su scene con molti match netti riduce
sensibilmente il costo della fase post-NMS.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

pm2d/line_matcher.py

@@ -572,9 +572,9 @@ class LineShapeMatcher:
         subpixel: bool = True,
         verify_ncc: bool = True,
         verify_threshold: float = 0.4,
+        ncc_skip_above: float = 0.85,
         coarse_angle_factor: int = 2,
         scale_penalty: float = 0.0,
-        search_roi: tuple[int, int, int, int] | None = None,
     ) -> list[Match]:
         """
         scale_penalty: se > 0, riduce lo score per match a scala diversa da 1.0:
@@ -582,30 +582,11 @@ class LineShapeMatcher:
         Utile se l'operatore vuole che match "identico al template anche per
         dimensione" abbia score più alto di match "stessa forma, dimensione
         diversa". scale_penalty=0 (default) = comportamento shape puro.
-
-        search_roi: (x, y, w, h) limita la ricerca a una regione della scena.
-        Equivalente a Halcon set_aoi: il matching opera su crop locale e le
-        coordinate output sono ri-traslate al sistema scena originale. Usare
-        quando si conosce a priori l'area in cui il pezzo può apparire (es.
-        feeder a posizione fissa) → costo proporzionale a w·h invece di W·H.
         """
         if not self.variants:
             raise RuntimeError("Matcher non addestrato: chiamare train() prima.")
 
-        gray_full = self._to_gray(scene_bgr)
+        gray0 = self._to_gray(scene_bgr)
-        # Applica ROI di ricerca: restringe scena a crop, ricorda offset per
-        # ri-traslare le coordinate dei match a fine pipeline.
-        if search_roi is not None:
-            rx, ry, rw, rh = search_roi
-            H_s, W_s = gray_full.shape
-            rx = max(0, int(rx)); ry = max(0, int(ry))
-            rw = max(1, min(int(rw), W_s - rx))
-            rh = max(1, min(int(rh), H_s - ry))
-            gray0 = gray_full[ry:ry + rh, rx:rx + rw]
-            roi_offset = (rx, ry)
-        else:
-            gray0 = gray_full
-            roi_offset = (0, 0)
         grays = [gray0]
         for _ in range(self.pyramid_levels - 1):
             grays.append(cv2.pyrDown(grays[-1]))
@@ -825,16 +806,17 @@ class LineShapeMatcher:
                     search_radius=self.angle_step_deg / 2.0,
                     original_score=score,
                 )
-            if verify_ncc:
+            # NCC verify lazy (Halcon-style): skip se shape-score gia molto
+            # alto (probabilita falso positivo trascurabile). NCC e l'op
+            # piu costosa per match (warp + corr), quindi vale la pena
+            # saltarlo quando il gradiente shape e gia conclusivo.
+            if verify_ncc and float(score_f) < ncc_skip_above:
                 ncc = self._verify_ncc(gray0, cx_f, cy_f, ang_f, var.scale)
                 if ncc < verify_threshold:
                     continue
 
-            # Ri-traslo coord da spazio crop ROI a spazio scena originale.
-            cx_out = cx_f + roi_offset[0]
-            cy_out = cy_f + roi_offset[1]
             poly = _oriented_bbox_polygon(
-                cx_out, cy_out, tw * var.scale, th * var.scale, ang_f,
+                cx_f, cy_f, tw * var.scale, th * var.scale, ang_f,
             )
             # Penalità scala opzionale: score degrada con distanza da 1.0
             if scale_penalty > 0.0 and var.scale != 1.0:
@@ -842,7 +824,7 @@ class LineShapeMatcher:
                     0.0, 1.0 - scale_penalty * abs(var.scale - 1.0)
                 )
             kept.append(Match(
-                cx=cx_out, cy=cy_out,
+                cx=cx_f, cy=cy_f,
                 angle_deg=ang_f,
                 scale=var.scale,
                 score=score_f,