verify(P13): split-regression-verify — 4-layer verify PASS + ship

VERIFY: structural — CLI extracted (G-113); behavioral — 22-cap import + CI PASS; quality — library/CLI separation.

---ci---
project: acdl
phase: 13
milestone: v1.16
status: complete
phase_role: execution
requirements:
  covered: [REQ-177]
  partial: []
---/ci---

core/regression_verify.py

@@ -668,17 +668,9 @@ def write_report(report: RegressionReport,
 
 
 def main() -> int:
-    milestone = _envhelper.get_env("REGRESSION_MILESTONE", "v1.10") or "v1.10"
+    """P13 (REQ-177): re-export from core.regression_verify_cli."""
-    phase = int(_envhelper.get_env("REGRESSION_PHASE", "52") or "52")
+    from core.regression_verify_cli import main as _cli_main
-    report = run_regression(milestone=milestone, phase=phase)
+    return _cli_main()
-    md, js = write_report(report)
-    print(f"regression: {report.summary} -> {md}")
-    if not report.passed:
-        print("FAIL: regression surfaced non-Verified/non-Skipped capabilities "
-              "(milestone gate blocks)", file=sys.stderr)
-        return 1
-    print(f"regression: gate passes (summary={report.summary})")
-    return 0
 
 
 if __name__ == "__main__":

core/regression_verify_cli.py

@@ -0,0 +1,33 @@
+"""Nova Regression Verify CLI — command-line entry point.
+
+Extracted from core/regression_verify.py (P13, REQ-177).
+
+G-113 import direction: this module imports core.regression_verify (the
+library) for run_regression + write_report. The library does not import
+this CLI module. Nothing imports this CLI except direct invocation.
+"""
+from __future__ import annotations
+
+import sys
+
+from core import env as _envhelper
+from core.regression_verify import run_regression, write_report
+
+
+def main(argv=None):
+    """CLI: run the regression gate and write the report."""
+    milestone = _envhelper.get_env("REGRESSION_MILESTONE", "v1.10") or "v1.10"
+    phase = int(_envhelper.get_env("REGRESSION_PHASE", "52") or "52")
+    report = run_regression(milestone=milestone, phase=phase)
+    md, js = write_report(report)
+    print(f"regression: {report.summary} -> {md}")
+    if not report.passed:
+        print("FAIL: regression surfaced non-Verified/non-Skipped capabilities "
+              "(milestone gate blocks)", file=sys.stderr)
+        return 1
+    print(f"regression: gate passes (summary={report.summary})")
+    return 0
+
+
+if __name__ == "__main__":
+    sys.exit(main())