说明
这个站是什么
把「人工编码的测试脚本切片(-man)」与「仅依据规范盲生成的脚本(-cas)」放在一起, 展示两侧在真机真卡上的执行日志与逐 TC 差异报告,便于专家快速审阅盲生成结果与原厂脚本的差别。
覆盖范围为 SGP.23 v1.16(2025-04-29)中已经完成配对与真机证据采集的 RSP 卡侧测试用例,共 61 个: 4.2 章 eUICC Interfaces 52 个、5.2 章 eUICC Behaviour 9 个。索引页按规范章节号组织, 章节标题保留 SGP.23 原文英文并附中文释义,每个章节另有一句话说明该章节 TC 在测 profile 的什么。
数据来源与口径
- 对比数据包:outputs/holiday-work/05-diff(本轮盲包、真机日志、逐 TC 报告的汇总产物)。
- 数据包生成时间:2026-10-08 22:57:09;本页站点发布版本 20261030-1422,发布时间 2026-10-30 14:22:42 +08:00。
- -man 侧:人工切片库 原料/切片/ 的最小可执行脚本包;切片冻结,因此 -man 侧证据可跨轮复用。
- -cas 侧:盲生成管线输出(产物/ 与 experiments/),仅依据规范生成,不读取切片实现。
- 「配对」口径:只有同时具备 -man 与 -cas 脚本包、且两侧都有真机执行证据的 TC 才计入配对分母; 非卡侧 4 项按裁定仅登记处置,不触卡、不生成 -man。
终端结果术语
| 键 | 显示 | 含义 |
|---|---|---|
| man | -man | 原人工编码工程产物:从人工切片库 `原料/切片/` 取出的最小可执行脚本包,作为对比基线。 |
| cas | -cas | Cas 盲生成产物:仅依据规范(SGP.23 测试用例文本)生成、未读取切片实现的脚本包。 |
| terminal | 终态 | 该包在真机真卡上的最终执行结果汇总,取值 ok / green / failed / red / unknown / placed / N_A 等。 |
| html | 原生 HTML 日志 | 厂商工具导出的执行日志(NATIVE 格式),含逐步骤 APDU trace 与 ErrorCount;站点原样内联、不改字节,是唯一的一手执行证据。 |
| report | 对比报告 | 逐 TC 的 man↔cas 差异报告,八节:概览 / 终态 / 证据 / 源码对照 / 步骤 APDU 差异 / 规范字段差异 / 断言覆盖 / 结论。 |
章节族分布
| 族 | TC 数 |
|---|---|
| ES10b 下载安装与通知族 | 26 |
| ES6 / ES8+ 平台通道族 | 6 |
| ES10c Profile 状态管理族 | 17 |
| ES10a / eUICC 基础族 | 3 |
| 5.2 eUICC 行为场景族 | 9 |
生成逻辑版本(重要)
本轮 -cas 脚本包是 2026-10-08 22:57 的管线快照:当日最后一次盲生成逻辑提交为 8f0299f0
(含 4.2.21.2.1 代码↔证据配对错配修复),并在当晚完成 gapfix 世代对齐复跑。
此后 master 上的盲生成逻辑仍在演进(原生上下文通道、多 target 断言、多机寻址等),
因此本包 不是当前 HEAD 逻辑重新生成的结果 —— 若要审阅最新逻辑产物,需要按同口径重新生成一轮并重新发布本页。
证据链与可核验性
- 每份原生 HTML 执行日志、每个脚本包都带 sha256,可在 TC 详情页与数据包清单(html-manifest.jsonl / pairing-manifest.json)之间互相核对。
- 站点所有链接均为相对路径(TC 页、源码页、日志、包下载、报告原文),整站可整体搬移; 每次发布在服务器上另存一份 releases/<版本>/ 快照,历史包可按版本回看。
- 原生 HTML 日志按原字节发布(仅补同名图标占位以避免 404),保证与生成时的 sha256 一致。
限制与注意
- 日志中的 ErrorCount 与终态是执行结果,不等于业务断言全部通过;规范覆盖与断言缺口见各 TC 报告的对应小节。
- TTR 原始 trace、规范解构(spec_intl)、caseir 等上游文件不随包发布(体积与内部口径原因),需要时从仓库按 TC 号定位。
- 部分 -cas 用例终态为 unknown / failed,属当前生成逻辑的真实状态,站点不做粉饰,便于专家定位差异。