Impl/topic27

.github/workflows/ci.yml

@@ -107,6 +107,13 @@ jobs:
         run: |
           python3.12 -m pytest tests/test_pr37_regression.py -v --tb=short
 
+      - name: Run topic27 RV32-bench regressions
+        run: |
+          python3.12 -m pytest \
+            tests/test_rv32_bench.py \
+            tests/test_topic27_rv32_bench_case_report.py \
+            -v --tb=short
+
       - name: Generate test visualization page
         if: github.ref == 'refs/heads/main'
         run: |
@@ -218,6 +225,14 @@ jobs:
             --json benchmark_reports/const_merge_report.json \
             --markdown benchmark_reports/const_merge_report.md
 
+      # ── 3.1.3 课题27：RV32 bench case 报告（诚实 provenance + 降级） ──
+      - name: Topic 27 RV32 bench case report
+        run: |
+          mkdir -p benchmark_reports
+          python3.12 benchmarks/run_topic27_rv32_bench_case.py \
+            --json benchmark_reports/rv32_bench_case_report.json \
+            --markdown benchmark_reports/rv32_bench_case_report.md
+
       # ── 3.2 DSL 用例编译 + 模拟基准 ────────────────────────────────────
       - name: DSL case compilation benchmarks
         run: |
@@ -363,6 +378,9 @@ jobs:
           if [ -f benchmark_reports/const_merge_report.md ]; then
             cat benchmark_reports/const_merge_report.md >> $GITHUB_STEP_SUMMARY
           fi
+          if [ -f benchmark_reports/rv32_bench_case_report.md ]; then
+            cat benchmark_reports/rv32_bench_case_report.md >> $GITHUB_STEP_SUMMARY
+          fi
           echo "" >> $GITHUB_STEP_SUMMARY
           if [ -f benchmark_reports/github_summary.md ]; then
             cat benchmark_reports/github_summary.md >> $GITHUB_STEP_SUMMARY