差异分析（整包）
整包层面的机械差异统计（源码闭包层 / 命令序列层 / 规范覆盖层 / 断言自证），由对比管线自动生成；逐 TC 细节见各 TC 报告的同一口径小节。
块 5 汇总分析（-man ↔ -cas）
- 生成：2026-10-08 22:57:12 ｜卡侧报告：61/61
1. 生成体检查物化核对（cas）
- 形态分布：{'FULL': 42, 'EXPANDED': 4, 'DEFICIT': 15}（FULL=计数不亏；DEFICIT=生成体 checkData 次数 < caseir 声明数；EXPANDED=计数不亏但标号面未重合）
- 未物化完全未见检查合计 55 项；注释面登记 262 项；无机械模式 0 项
| 计数缺口 | TC | 声明 | 生成体 checkData | 执行面 |
|---|
| 22 | 4.2.7.2.1 | 121 | 99 | FAIL |
| 13 | 4.2.5.2.1 | 77 | 64 | FAIL |
| 13 | 4.2.2.2.1 | 144 | 131 | FAIL |
| 12 | 4.2.11.2.2 | 40 | 28 | FAIL |
| 12 | 4.2.11.2.1 | 40 | 28 | FAIL |
| 8 | 4.2.22.2.2 | 44 | 36 | FAIL |
| 6 | 4.2.22.2.4 | 50 | 44 | FAIL |
| 5 | 4.2.4.2.1 | 26 | 21 | FAIL |
| 5 | 4.2.3.2.1 | 20 | 15 | FAIL |
| 3 | 4.2.6.2.1 | 9 | 6 | FAIL |
| 3 | 4.2.10.2.2 | 18 | 15 | FAIL |
| 2 | 4.2.9.2.1 | 52 | 50 | FAIL |
| 1 | 5.2.7.2.1 | 14 | 13 | FAIL |
| 1 | 4.2.8.2.1 | 14 | 13 | FAIL |
| 1 | 4.2.21.2.2 | 45 | 44 | FAIL |
口径警示：计数缺口为机械核对信号（superseded by §1.5 attestation 权威面）；生成体可经绑定层隐含断言（签名/结构类）覆盖部分声明检查。
1.5 编译器自证汇总（check_attestation，同批构建；缺口判定权威面）
- 61 TC 合计：js 2838 + binding 263 + gap 0（declared=3101）
2. L1/L2 结构差异
- 闭包（61 份）：man 均 34.0 文件 / cas 均 82.0 文件；同名均 31.0（字节同均 29.9）
- L2 命令对齐（61 份有双 TTR）：exact 204 / core_same 133 / man 命令合计 5687 / cas 合计 982
- 已知方言模式：①cas 对 SELECT 类命令追加
Le=00（core 同、尾差）；②cas 将 TERMINAL_PROFILE/91XX 等待机过程显式物化（man 工具内部处理，日志不独立成条）；③cas 以 runToSteadyState 合并展开步。
3. 执行面与 HTML
- cas 执行面（由现存证据扫描）：{'PASS': 8, 'FAIL': 53}；FAIL 项：['4.2.10.2.1', '4.2.10.2.2', '4.2.10.2.4', '4.2.11.2.1', '4.2.11.2.2', '4.2.11.2.4', '4.2.12.2.1', '4.2.13.2.10', '4.2.13.2.7', '4.2.13.2.9', '4.2.14.2.1', '4.2.15.2.1', '4.2.16.2.1', '4.2.18.2.4', '4.2.18.2.8', '4.2.19.2.1', '4.2.19.2.2', '4.2.19.2.4', '4.2.2.2.1', '4.2.20.2.1', '4.2.21.2.1', '4.2.21.2.2', '4.2.21.2.3', '4.2.21.2.4', '4.2.22.2.1', '4.2.22.2.2', '4.2.22.2.3', '4.2.22.2.4', '4.2.23.2.1', '4.2.23.2.2', '4.2.23.2.3', '4.2.23.2.4', '4.2.24.2.1', '4.2.24.2.2', '4.2.25.2.1', '4.2.26.2.1', '4.2.27.2.1', '4.2.3.2.1', '4.2.4.2.1', '4.2.5.2.1', '4.2.6.2.1', '4.2.7.2.1', '4.2.8.2.1', '4.2.9.2.1', '5.2.1.2.1', '5.2.1.2.2', '5.2.2.2.1', '5.2.3.2.1', '5.2.4.2.1', '5.2.5.2.1', '5.2.6.2.1', '5.2.7.2.1', '5.2.8.2.1']
- cas 证据来源分层（decision）：{'REUSE_GREEN': 7, 'RERUN': 41, 'LEGACY_ATTEMPT': 2, 'ATTEMPT_NATIVE(expect blocked_card_state)': 11}
- 块4 失败归因引用覆盖：42/53 FAIL 项已链接
04-cas/evidence/b*-attribution.md - HTML：终局全收——man 61/61 NATIVE＋cas 61/61 NATIVE（主战役 35/37＋顽固 2 项锁内 vendor restart 后各一次过；根因＝保存对话框应用态累积劣化）；判例与明细见
notes/2026-10-07-html-full-collection-campaign.md
4. 改进项清单（建议）
- [x] 编译器 gap 清零（2026-10-07，blk5 残留另案：S1-C13 真空面接线＋S2-C1 退休）——见 §1.5。
- [x] S6-C2 已定谳（
binding:buildTrData_result_830100，登记面缺口；折叠注释已发射）——见 notes/4.2.1.2.1.md。 - [x] HTML 全收（2026-10-07）：man 61/61＋cas 61/61 NATIVE，
html-manifest.jsonl 122 条，无 HTML_UNAVAILABLE 残留（用户裁定满足）。 - [x] man 两红对齐核验（2026-10-08 证据对齐后定论）：4.2.12.2.1＝man 厂商确定性红（
vendor_error_cases，EC=2）↔ cas 执行轴 red_verify（EC=3，RERUN）；5.2.6.2.1＝man 确定性红（EC=3）↔ cas 执行轴 red_verify（EC=9，RERUN）——两轴异源（man 为厂商工具对错误用例的预期标红；cas 为真实执行失败），man 红不得套作 cas 同根因。 - [x] cas
5.2.x 九例终态分轴（2026-10-08 证据对齐后，执行/place/发布三轴）：
| TC | execution | place | release | 决策 |
|---|
| 5.2.1.2.1 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.1.2.2 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.2.2.1 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.3.2.1 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.4.2.1 | green | blocked(blind_gate) | not_ready | RERUN |
| 5.2.5.2.1 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.6.2.1 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.7.2.1 | red_verify | not_attempted | not_ready | RERUN |
| 5.2.8.2.1 | red_verify | not_attempted | not_ready | RERUN |
- 盲性门处置：9/9
read_list 缺口不可回填——W3 前须隔离盲会话重生成（fullwave-blindgen-live-70 §4.0a；GAP-BLK4-051）；其只解 place 前置之一，GREEN_HIL/trace_req/host/REQ 四门不由此解除。