Impl/topic09

.github/workflows/ci.yml

@@ -107,6 +107,14 @@ jobs:
         run: |
           python3.12 -m pytest tests/test_pr37_regression.py -v --tb=short
 
+      - name: Run topic09 DSL-error regressions
+        run: |
+          python3.12 -m pytest \
+            tests/test_dsl_errors.py \
+            tests/test_dsl_errors_integration.py \
+            tests/test_topic09_errors_case_report.py \
+            -v --tb=short
+
       - name: Generate test visualization page
         if: github.ref == 'refs/heads/main'
         run: |
@@ -218,6 +226,14 @@ jobs:
             --json benchmark_reports/const_merge_report.json \
             --markdown benchmark_reports/const_merge_report.md
 
+      # ── 3.1.2 课题09：DSL 错误诊断 case 报告（多诊断 + 渲染） ──────────
+      - name: Topic 09 DSL error case report
+        run: |
+          mkdir -p benchmark_reports
+          python3.12 benchmarks/run_topic09_errors_case.py \
+            --json benchmark_reports/dsl_error_report.json \
+            --markdown benchmark_reports/dsl_error_report.md
+
       # ── 3.2 DSL 用例编译 + 模拟基准 ────────────────────────────────────
       - name: DSL case compilation benchmarks
         run: |
@@ -363,6 +379,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/dsl_error_report.md ]; then
+            cat benchmark_reports/dsl_error_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