2026 年 7 月 分支 engine-configurable-symsan
35 页幻灯片 + 约 4.4 万字正文 + 46 处配图
| 文件 | 大小 | 说明 |
|---|---|---|
| Project_Report_Slides.html | 301 KB | 🎞 汇报幻灯片（推荐）——35 页 16:9，方向键翻页，单文件自包含，可直接投屏或打印成 PDF |
| Project_Report_2026-07.html | 129 KB | 📖 汇报正文（在线阅读）——架构 / 关键技术 / 实验结论，46 处配图，深浅色自适应 |
| Project_Report_2026-07.md | 86 KB | 📝 汇报正文 Markdown 原文 |
| symcc-report.tar.gz | 11.2 MB | 📦 全部打包（正文 + 幻灯片 + 图集 + DOT 图源 + 原始统计 CSV + 复现脚本 + 5 份配套文档） |
| MANIFEST.txt | 19 KB | 📋 清单：git 版本 + 内容计数 + 逐文件 SHA256 |
| SHA256SUMS.txt | 0 KB | 🔐 主文件校验和 |
| 路径 | 说明 |
|---|---|
| Current_Implementation_Evaluation_2026-07-30.md | 20 轮配对消融的完整方法学与结果（A 级证据） |
| evidence/current-eval-2026-07-30/ | 原始统计：paired_comparisons.csv、statistical_summary.md |
| symsan_hybrid_benchmark_6targets.md | SymSan 引擎六目标 hybrid 基准（B 级，3 轮逐轮数据） |
| Architecture_QA3.md | 并行框架执行次序、位图、约束形态、求解策略的逐问解答 |
| Current_Technology_Compendium.md | F00–F296 技术全景与完整功能索引 |
| New_Implementation_Archive.md | 逐项实现档案：方案 / 代码 / 测试 / 结果等级 / 已知局限 |
| Development_History_Traceability.md | 开发阶段 P01–P10、提交区间与 F00–F296 的映射 |
| Configuration.txt | SYMCC_* 配置项、默认值与产物说明（登记 375 个名称） |
| Project_Progress_Presentation_2026-07-30.pptx | 另一份 28 页 PowerPoint 演示稿（源文件同名 .md） |
| diagrams/ | 46 张配图（SVG+PNG）+ DOT 图源 + 两个可复现绘图脚本 |
| qa3_repro/ | 机制实测的复现脚本 |
同机、同一份当前 SymCC 目标二进制、同批种子、两组均为名义 8 核、每组 20 轮配对消融： 当前编排（4 AFL + 3 SymCC）相对旧编排（1 AFL + 6 SymCC），libarchive +0.925 pp、 SQLite +2.425 pp（bootstrap 95% CI 不跨 0，A12 = 0.871 / 0.961，Holm p = 0.00189 / 0.00032）。 这是本轮唯一等 CPU 的对照。
⚠ Hybrid（8 核）相对 AFL-only（1 核 sanity 基线）为 +1.305 / +1.290 pp——资源预算不对等， 只能作为系统配置参照，本报告没有「混合优于同等算力纯模糊测试」这一结论。
报告同时给出明确不能宣称的四类结论，以及一条已定位到具体代码的负面发现： 短轮次里 concolic 产出并未真正进入运行中的 AFL。
校验：sha256sum -c SHA256SUMS.txt 逐文件哈希见 MANIFEST.txt
配图复现：python3 diagrams/render_project_report.py