refactor(back_end): retire 13 uncollected self-tests behind two CI gates

.codecov.yml

@@ -14,7 +14,7 @@ coverage:
   status:
     project:
       default:
-        target: 74%
+        target: 75%
         threshold: 1%
         informational: false
     patch:

.github/workflows/act-bab.yml

@@ -45,12 +45,6 @@ jobs:
           python -m pip install --upgrade pip
           pip install coverage torch onnx onnx2torch "onnx-simplifier" "onnxsim==0.6.5" pandas numpy scipy pyyaml tqdm psutil
 
-      # ── BaB module unit tests ──────────────────────────────────────────
-      - name: BaB module
-        run: |
-          cd ${{ github.workspace }}
-          coverage run -p -m act.back_end.bab.bab
-
       # ── Generate artificial ACT nets (NetFactory) ──────────────────────
       - name: Cache generated networks
         id: nets-cache
@@ -231,6 +225,7 @@ jobs:
           coverage run -p -m act.back_end --verify --network act/back_end/examples/nets/layer_testing_bab_deep.json \
             --solver dual --method planar --device cpu --dtype float64
 
+
       # ===================================================================
       # Dual MATMUL bilinear kernel (tf_transformer): dual-tier soundness on
       # the MATMUL layer-testing net (torchlp sweep never exercises dual here).

.github/workflows/act-backend-float32.yml

@@ -60,10 +60,13 @@ jobs:
           cd ${{ github.workspace }}
           coverage run -p -m act.pipeline --verify act2torch --device cpu --dtype float32
 
-      - name: Run Verifier Self-Tests (float32)
+      - name: Constraint exporter — torchlp LP export over all layer_testing nets
         run: |
           cd ${{ github.workspace }}
-          coverage run -p -m act.back_end.verifier
+          for f in act/back_end/examples/nets/layer_testing_*.json; do
+            coverage run -p -m act.back_end --verify --network "$f" \
+              --solver torchlp --device cpu --dtype float32
+          done
 
       # ─────────────────────────────────────────────────────────────────
       # Soundness check (TF-agnostic): runs once before per-solver matrix.

.github/workflows/act-backend-float64.yml

@@ -65,10 +65,13 @@ jobs:
           cd ${{ github.workspace }}
           coverage run -p -m act.pipeline --verify act2torch --device cpu --dtype float64
 
-      - name: Run Verifier Self-Tests (float64)
+      - name: Constraint exporter — torchlp LP export over all layer_testing nets
         run: |
           cd ${{ github.workspace }}
-          coverage run -p -m act.back_end.verifier
+          for f in act/back_end/examples/nets/layer_testing_*.json; do
+            coverage run -p -m act.back_end --verify --network "$f" \
+              --solver torchlp --device cpu --dtype float64
+          done
 
       # ─────────────────────────────────────────────────────────────────
       # Soundness check (TF-agnostic): runs once before per-solver matrix.