✅ 已收官（2026-10-05 工序③完成，工序④删区同日执行）：本清单逐面全绿为工序④准出三件之一；删区后各固化产物为现役唯一真值（冻结区旧份已物理删除，下述「旧份消失自动豁免」分支生效）。本清单转验收档案态——防线现役形态见脚本总清单与《Clang直拍门禁》；下表「语料量」为固化时点事实。
性质：工序③「golden 自基线」的显式验收件（判定书 §4.1 硬准出——逐面一行：驱动名 + 语料量 + 固化产物形态 + J9 证红方法 + 状态）。工序顺序翻转（2026-10-05 拍板：固化先行→脱钩→修复统一窗口）后本清单即当时主战线。
固化 gate：固化当轮三防线全量绿（vm_diff + clang_direct + shadow）= 固化正当性前提；起点证据 = CI
e8e5b63全绿（2026-10-05）。过渡对账臂纪律：冻结区旧份（供 Rust 侧活到工序④删区）存在期间，新旧份内容一致由各面对账臂锁定；旧份消失自动豁免——删区零改动。行尾归一后比 sha（CI smudge 形态分叉免疫，2026-10-05 gen_libc_data 实锤教训）。
J9 义务：每面固化时注入「必然违反 → 必红」并留痕（下表 J9 列）；无证红的冻结退化成死锚。
| # | 差分面 | 驱动名 | 语料量 | 固化产物形态 | J9 证红方法 | 状态 |
|---|---|---|---|---|---|---|
| 1 | teaching 标注 golden | scripts/teaching_annotation_diff |
82 模板 / 311 条首现 | 真源 JSON 迁出冻结区：scripts/teaching_annotation_diff/golden/algorithm_annotations_v3.json（旧份 native/tests/golden/ 供 Rust 测试至删区，sha 对账臂内嵌对拍器装载段） |
篡改旧 golden 一字节 → 对拍器「过渡对账红」exit 1（2026-10-05 实测） | ✅ 已固化（2026-10-05） |
| 2 | 四层中间产物 diff（lexer/parser/codegen/vm + typeck 第五层——判定书四层清单漏项，散点抽查补入） | scripts/{lexer_diff,parser_diff,codegen_diff,vm_diff,typeck_diff} |
603 例四语料（baseline 367 + knr 81 + leetcode 138 + gap 17；判定书落稿后 gap +2）+ 病态 12 + 合法深 2 + threshold 23 | digest 聚合清单（每驱动一份 golden_digest.json，合计 ~360KB——全文 69MB 的 1/200）：--freeze（内嵌对拍全绿才写）/ --golden（mb 指纹 ≡ 清单）/ oracle 缺失自动降级（CI 删区零改动）；fork/known 分叉例登记对照侧 hash、golden 跳过（形状校验走现模式/wbtest 锚） |
篡改清单 → 字段级 DIFF 红；缺例/缺节 → 红；语料 sha 漂移 → 红 | ✅ 已固化（2026-10-05 终态）：vm 603 例（known 例 mb 指纹）/ lexer 1202 TSV / parser 七模式（threshold C 族 16 条 fork 跳过）/ codegen 603 例（ok 例归一 hash + fail 例布尔指纹）/ typeck 603 例；双模式 verdict 等价逐驱动实测；J9 全过（含 vm 字段级 DIFF stdout d4735e3a≠deadbeef）；oracle 缺陷面发现：dump-compile 原文非确定（单文件双跑不一致——迭代序入产物）⇒ codegen 固化 canonicalize 归一后产物 |
| 3 | E1–E4 归一产物对拍（S4 期 598 语料形态） | 同上 603 | 随面 2 固化覆盖（typeck_diff digest 清单） | 同面 2 | ✅ 随面 2 固化（2026-10-05） | |
| 4 | e2e 275 三路下落 | KNOWN 8 条（编译失败豁免 7 + 模板 1）台账化：DIFF-E2E-KNOWN-LEDGER-01（第 30 条）——putchar_range/bTree 主体分叉在册、6 条双侧编译失败等价类史实保全；契约面 103 → host_contract_map ✅ | 映射闸降格理由在档（过渡期 e2e 在 CI cargo test 已防缩水；删区后 e2e 随 oracle 退役——语义守护 = shadow/clang_direct + 五驱动 digest 双锚） | ✅ 已收口 | ||
| 5 | trap 锚面（无 Clang 真值面，脱钩后最后防线） | MoonBit wbtest 锚族四域 + gateway 真 trap 锚 | 26 锚：vm 11（overflow×2/div0/mod/栈越界×4/underflow/深限/跳界）+ gateway 3（trap 帧 trapped/终态终止/除零）+ host 8（E3061/UAF 窗口/raise_bridge×4/unreachable/隔离区反锚）+ time_travel 4（回退重放/终态粘性/根因×2） | 逐锚断言篡改证红（26/26 全红：批量脚本 + 未红锚手工精改——脚本首串命中 17、手工补 9，其中 gateway 脚本版曾致编译红改手工）；反锚含负向断言（calloc 复用不误报 UAF：预期 None→Some 红） | ✅ 已证红（2026-10-05）：全锚可红（非恒真死锚零）+ 恢复全绿（四包 native 82/91/126/51 + 全仓裸 655 + facts 0） | |
| 6 | shadow / clang_direct 语料差量 | scripts/clang_direct 吸收 |
shadow 防线用例全集（三口径构成与分项见已知限制头注对真值锚） | match/known_issue/gap 三口径等价物（工序④收口段执行） | 三口径映射闸 | 🔨 随工序④ |
连坐登记：
- 2026-10-05 面一固化批：teaching_annotation_diff / gen_svg / gen_demo_algorithms 三消费方路径切换 + 对账臂；全量 82 模板绿（311 条逐条一致 + 双向模板集相等）+ gen_svg -check 绿。
- 2026-10-05 fuzz 路 A 建成（工序④准出三件之②✓）： 六测试——四场景（A malloc/free 随机序列〔double-free 必 E3061/UAF 必 E3060/合法不 trap/区域有界〕、B 字符串溢出必 E3070、D 混合恶意稳定、E 泄漏面准确）+ 1MB 墙必 NULL + J9 金丝雀（断言线非恒真）；确定性 LCG（高位取数——低位周期缺陷探针实锤）seed 固定可复现；与 Rust fuzz_stress_test.rs 同不变量独立实现（Rust 版随区退役）。host 132/132 + 全仓裸 moon test 661/661。
- 2026-10-05 面二固化批：五驱动（vm/lexer/parser/codegen/typeck——typeck 系判定书四层清单漏项，本批盘点补入）oracle 产物全量落盘 ~69MB 入库为冻结资产（CI 不能现场生成——freeze 的生成源就是 oracle，删区后无源；过渡期 CI 现模式照跑 + golden 新鲜度闸【幂等复 freeze + git diff 空 = 入库 golden ≡ 当轮 oracle 产物，等价 gen_* -check 纪律——五驱动幂等性实测闭环】；删区后现模式自动降级 golden 模式【已内嵌，CI yml 零改动】）。oracle 缺陷面新发现：dump-compile 原文非确定（单文件双跑逐字节不一致——Rust 侧迭代序入产物，原对拍靠 canonicalize 消化）⇒ codegen golden 固化归一后产物（对拍语义本义，canonicalize 幂等），golden 模式四语料 PASS；双模式 verdict 等价逐驱动实测；J9 全过。realcode_diff 对拍 Clang 非 oracle 免固化。
工序④删区连坐面（2026-10-05 全量盘点 = 全仓 vitro_cli 消费者 grep，判定书 §4.1 清单之外的第二批漏项——删区时逐项处置）：
| 消费者 | 形态 | 删区处置 |
|---|---|---|
serve_smoke |
双臂（Rust 臂断言全集 + MoonBit 臂，现值见 facts serve_smoke_assertions） |
Rust 臂步移除，mb 臂存活 |
protocol_frames |
双宿主对拍（Rust serve = oracle 臂） | Rust 臂移除或整驱动转 mb 单臂 golden 形态（届时定） |
replay_s1_s5 |
oracle 自身 serve 行为回放断言（非对拍） | 断言对象消失——整驱动随区退役（断言语义已被 protocol_frames/step 族锚继承） |
differential_stress.rs（3c） |
同函数 Host/Bytecode 双路由交叉验证 | 随区退役——3c 结构性替代落地（判定书 §6#3：单一路由表下「同函数两形态各跑」无实现载体；libc_pair_anchor_wbtest 88 对硬编码锚在役实锤保留〔2026-10-05 验证〕） |
vitro_e2e.rs / e2e_multi_file.rs |
oracle 自身端到端防线（遍历语料 + Clang golden 对照） | 整测试随区退役——语义守护已由 shadow/clang_direct + 五驱动 digest 双锚承接（面四收口拍板 2026-10-05） |
cases_golden/（745 .out / 936KB） |
e2e 专属 Clang golden（入库） | 随区删除——无现役消费方（shadow/clang_direct 现场跑 Clang）；git 历史可回取 |
precompile_bytecode_libc |
产 runtime_libc 预编译（源在冻结区） | 上游源迁出或随批处置（libc C 源是引擎数据非 oracle 代码——迁出后仍活） |
perf_baseline |
rust 臂性能对照 | 该行转历史基线（unavailable + how_to_get 口径） |
facts.go |
仅 how_to_get 文字引用 | 文案连坐 |
| core_asset_verdict 三探针 / gen_svg | 一次性探针已留档 / 图注文字 | 豁免 |