chore: retry dedicated LCM checker port with exact anchor

Author: morluto

.github/workflows/agent-port-lcm-current-v2.yml

@@ -0,0 +1,52 @@
+name: agent-port-lcm-current-v2
+
+on:
+  push:
+    branches:
+      - agent/port-lcm-replay-v2
+
+permissions:
+  contents: write
+
+jobs:
+  port:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+        with:
+          ref: agent/port-lcm-replay-v2
+          fetch-depth: 0
+      - name: Reuse port script with exact import anchor
+        shell: bash
+        run: |
+          python - <<'PY'
+          from pathlib import Path
+
+          workflow = Path('.github/workflows/agent-port-lcm-current.yml')
+          text = workflow.read_text()
+          old = '''              "    FactorizationRequest,\\n",\n              "    FactorizationRequest,\\n    IntegerPairRequest,\\n",'''
+          new = '''              "from jacobian.contracts.number_theory import (\\n    FactorizationRequest,\\n",\n              "from jacobian.contracts.number_theory import (\\n    FactorizationRequest,\\n    IntegerPairRequest,\\n",'''
+          if text.count(old) != 1:
+              raise SystemExit(f'expected one workflow anchor, found {text.count(old)}')
+          text = text.replace(old, new, 1)
+          lines = text.splitlines()
+          start = lines.index("          python - <<'PY'") + 1
+          end = lines.index("          PY", start)
+          script = '\n'.join(
+              line[10:] if line.startswith('          ') else line
+              for line in lines[start:end]
+          ) + '\n'
+          Path('/tmp/port_lcm.py').write_text(script)
+          PY
+          python /tmp/port_lcm.py
+          rm -f .github/workflows/agent-port-lcm-current-v2.yml
+      - name: Validate focused source
+        run: python -m compileall -q src/jacobian/domains/number_theory/checkers.py src/jacobian/exact_domain_checkers.py src/jacobian_checkers/integer_lcm.py tests/domain/number_theory/test_lcm_verification.py
+      - name: Commit port
+        shell: bash
+        run: |
+          git config user.name github-actions[bot]
+          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
+          git add -A
+          git commit -m "feat(checkers): independently replay bounded LCM"
+          git push origin HEAD:agent/port-lcm-replay-v2