这 7 张是一手运行/编译产物的截图，与 docs/diagrams/qa3/ 的示意图分工不同：
示意图解释机制，这些截图给出当场可见的原始证据。
来源：down.kew.ac/symcc-parallel-research-latest/images/experimental-evidence/
（同一仓库的另一次打包），本文合并进来并在 Architecture_QA3.md 的对应小节引用。
| 文件 | 内容 | 在文档里证明什么 |
|---|---|---|
img_d2_pcguard.png |
clang -fsanitize-coverage=trace-pc-guard + objdump -dr |
§1.4：每基本块一个 guard、__sancov_guards 段 44 B = 11 个 4B guard、无 hash 碰撞；afl-showmap -C 报 map size 16 |
img_showmap.png |
afl-showmap -C -i <seeddir> on pcre2 |
§1.4：第四种 showmap 调用（-C，ShowmapCov 的来源）；map size 9697 ≠ 65536；Persistent mode binary detected |
img_ir.png |
build/symcc -S -emit-llvm 后的 LLVM IR |
§2.1 / §4.1：_sym_push_path_constraint(ptr %29, **i1 %30**, …) 把具体 i1 一起传下去；icmp/br 原封不动 |
img_gdb.png |
gdb -ex 'b _sym_push_path_constraint' |
§4.1：运行时可见 taken=0、site_id=…；断在 Runtime.cpp:267 / :320 |
img_fuzzer_stats.png |
pcre2 的 fuzzer_stats 全量 |
§1.10：sync_time: 0、corpus_imported: 0（比 .synced/ 为空更直接）；§6.6：target_mode: persistent shmem_testcase deferred；total_edges: 9706 |
img_process.png |
run_benchmark.py --hybrid --hybrid-adaptive 实跑 |
§1.10：60 s 的 hybrid 轮次报 +12.04pp / +104.0% relative——按 §1.10 的实测，这个预算内 concolic 产出根本没进 AFL，该数字只能按并集口径读 |
img_report.png |
benchmark_results_scaling_hybrid/benchmark_report.txt |
§6.7 / 图 6-3 整张表的一手来源（afl-only 7.55 %、hybrid 8.84 %、mpi 6.26 %、serial 3.09 % 等） |
⚠ 这些截图记录的是各自当时的一次运行，与文档正文的 【实测】 数据来自不同批次， 不能相互替代，也不能合并成同一组统计。它们的价值在于佐证机制，不在于提供可比数值。