Impl/topic07

.github/workflows/ci.yml

@@ -107,6 +107,14 @@ jobs:
         run: |
           python3.12 -m pytest tests/test_pr37_regression.py -v --tb=short
 
+      - name: Run topic07 logger regressions
+        run: |
+          python3.12 -m pytest \
+            tests/test_logger.py \
+            tests/test_logger_wiring.py \
+            tests/test_topic07_logger_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 课题07：结构化日志 case 报告（A/B 输出一致 + 失败路径） ──
+      - name: Topic 07 logger case report
+        run: |
+          mkdir -p benchmark_reports
+          python3.12 benchmarks/run_topic07_logger_case.py \
+            --json benchmark_reports/logger_report.json \
+            --markdown benchmark_reports/logger_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/logger_report.md ]; then
+            cat benchmark_reports/logger_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

benchmarks/cases/topic07_logger_feature.dsl

@@ -0,0 +1,9 @@
+# Structured-logging feature case (Topic 07).
+# Deterministic loop + arithmetic chain.  The case is deliberately small:
+# parse / optimize / codegen / asm / emit all run on it, which is all the
+# report needs to prove the staged log record and the byte-identical output.
+for i = 0, 4
+  acc = add(acc, x)
+endfor
+t = mul(acc, x)
+return t