Add matrix strategy for CI workflow scripts

Author: Zhugy-8086

.github/workflows/ci.yml

@@ -3,16 +3,32 @@ on: [push, pull_request]
 jobs:
   verify:
     runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        script:
+          - validate_math_tree_softmax.py        # numpy 单库（约 1 分钟内）
+          - validate_math_tree_softmax_torch.py  # numpy+torch 双库（约 1-2 分钟）
+          - validate_math_vapo_discrete_learning.py  # VAPO（约 1-2 分钟）
+          - validate_math_vapo_baselines.py      # P0: VAPO 基线对照（约 30s；B2 未证实=发现，exit 0）
+          - validate_math_padic_vp.py            # P0: ℓ=v_p 记号互证（约 2s）
+          - validate_math_mutation.py            # P0: 突变测试 kill rate（约 1s）
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with: { python-version: '3.12' }
+      - name: Cache pip
+        uses: actions/cache@v4
+        with:
+          path: ~/.cache/pip
+          key: ${{ runner.os }}-pip-${{ hashFiles('requirements.txt') }}
+          restore-keys: |
+            ${{ runner.os }}-pip-
       - name: Install dependencies
         run: |
           if [ -f requirements.txt ]; then pip install -r requirements.txt
           elif [ -f requirements.md ]; then pip install -r requirements.md
           else echo "No requirements file found — skipping dependency installation"
           fi
-      - run: python verification/validate_math_tree_softmax.py
-      - run: python verification/validate_math_vapo_discrete_learning.py
-      - run: python verification/validate_math_tree_softmax_torch.py
+      - name: Run ${{ matrix.script }}
+        run: python verification/${{ matrix.script }}