refactor(benchmarks): extract planner ownership and isolate verifier imports (#1288)

* refactor(benchmarks): extract planner ownership with bounded validation

Rebuild the benchmark planner extraction directly on main 1a30359. Keep CI scripts as import-safe adapters, move compiler and validator semantics into tools.benchmark_plan, preserve the full historical regression corpus against the package owner, restore fail-closed matrix invariants, and retain the latest focused benchmark-contract host mapping.

* style(benchmarks): normalize validation imports

Use collections.abc for Iterator and align the validation regression import block with the repository Ruff policy.

* test(benchmarks): bind planner corpus to package owners

Return the complete planner corpus to the approved CLI-integration path, bind its semantic globals and validation helper to tools.benchmark_plan after collection, move extraction-specific assertions into a focused package test, patch process classification against the compiler owner, and align the current Make help contract.

* style(benchmarks): avoid constant setattr in collection binding

Bind the legacy planner corpus through the collected module dictionary so the extraction hook remains explicit and Ruff-safe.

* restore benchmark planner host ownership

* fix(benchmarks): isolate conjecture verifier imports

Author: morluto

.github/scripts/_ci_paths.py

@@ -1,49 +1,14 @@
-"""Shared path-decoding policy for Harbor ``PATHS`` inputs.
-
-These helpers turn a ``PATHS`` input (JSON array, newline list, or
-shell-quoted tokens) into repository-relative paths. Harbor planning is the
-only remaining consumer.
-"""
+"""Compatibility adapter for package-owned benchmark path decoding."""
 
 from __future__ import annotations
 
-import json
-import shlex
+import sys
 from pathlib import Path
 
-__all__ = ["normalize_paths", "path_values"]
-
-
-def path_values(raw: str) -> list[str]:
-    """Decode a PATHS input without making callers manufacture a Git diff."""
+ROOT = Path(__file__).resolve().parents[2]
+if str(ROOT) not in sys.path:
+    sys.path.insert(0, str(ROOT))
 
-    raw = raw.strip()
-    if not raw:
-        return []
-    try:
-        value = json.loads(raw)
-    except json.JSONDecodeError:
-        value = None
-    if isinstance(value, list):
-        if not all(isinstance(path, str) for path in value):
-            raise ValueError("PATHS JSON must be an array of strings")
-        return list(value)
-    if value is not None:
-        raise ValueError("PATHS JSON must be an array of strings")
-    return raw.splitlines() if "\n" in raw else shlex.split(raw)
+from tools.benchmark_plan.paths import normalize_paths, path_values  # noqa: E402
 
-
-def normalize_paths(paths: list[str]) -> list[str]:
-    """Reject non-repository-relative paths and strip leading ``./``."""
-
-    normalized: list[str] = []
-    seen: set[str] = set()
-    for path in paths:
-        path = path.replace("\\", "/")
-        if not path or path.startswith("/") or ".." in Path(path).parts:
-            raise ValueError(f"changed path must be repository-relative: {path!r}")
-        path = path.removeprefix("./")
-        if path not in seen:
-            normalized.append(path)
-            seen.add(path)
-    return normalized
+__all__ = ["normalize_paths", "path_values"]