5.2.1.2.2 TC_eUICC_PrepareDownload_Retry_NewOTKeys — -man ↔ -cas diff 报告

交付形态说明：本报告随专家交付包分发——-man/-cas 脚本包 zip 与 190server HTML 执行日志已内联至 packages/、evidence-html/，相应路径已相对化；TTR、spec_intl、caseir 等仓内留痕仍为生成机原始路径（未随包）。

• 生成时间：2026-10-08 22:57:12 ｜引擎：holiday-blk5/0.1｜配对状态：PAIRED
• 分母口径：卡侧 61 之一

1. 配对与包

• man 源路径：../packages/man/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-man.zip
• cas 源路径：../packages/cas/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-cas.zip
• 上游来源：{"man_ledger": true, "cas_ledger": true, "naming_map": true, "html_probe": true, "man_package": true, "cas_package": true}
• 适用性：naming-map=C020 ["C020", "C020", "C020", "C020", "C020"]；caseir=C020

2. 执行摘要（双方 job/终态）

• cas 块4账本：decision=RERUN；route=native_N0；live 事件 3 条（4.6 波次进行中；以块4终版账本为准）
• cas 4.6 波次最新执行：terminal=unknown；stage=cas_gapfix_rerun；job=a19becbc9c044ea789050ca92940ff76；gaps=["gapfix-rerun：job 终态 succeeded，业务判 unknown（error_count=0）；failed 亦为有效终态，如实登记"]
• cas 失败归因引用（块4）：b8-attribution.md, b9-attribution.md
• cas 证据来源分层：RERUN → 本轮 4.6 波次执行

3. HTML 执行日志状态

• -man：NATIVE（../evidence/5.2.1.2.2/man/TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_Nominal_Confirmation_Code_retry_mechanism_by_not_reusing_previous_One_Time_key_pair.html；sha256 52a167a61855db6f52ae59f68d54e59a5fb9264fd327c87d5525e86604961437；530 bytes）
• -cas：NATIVE（../evidence/5.2.1.2.2/cas/TC_eUICC_PrepareDownload_Retry_NewOTKeys.html；sha256 b52f3504b8cd832fb8c9d2c84f9332f66155db1c201933a0c2d1c402fc7aa2fa；1237 bytes）
• 纪律：原生缺失 → HTML_UNAVAILABLE 显式阻断（附探针结论）；派生件仅标 DERIVED_NOT_NATIVE，不冒充原生。

4. L1 脚本/依赖/命名差异（源文件闭包级）

• 闭包规模：man 34 文件 / cas 82 文件；同名 31（字节同 30，内容异 1）
• 同名内容异：Import/TestCase_SGP_23.js
• man-only 文件 3：ESIM_TEST_SGP_23.UCE, ESIM_TEST_SGP_23.sol, MANIFEST.json
• cas-only 文件 51：Import/CapInfo.js, Import/ExecuteTestCase.js, Import/ExecuteTestCase_CSC.js, Import/ExecuteTestCase_LoadProfile_via_bip.js, Import/ExecuteTestCase_Local_Management.js, Import/ExecuteTestCase_Non_Telecom_Profile.js, Import/ExecuteTestCase_Performance.js, Import/ExecuteTestCase_PressureTest.js, Import/ExecuteTestCase_ProfileFormatTest_V_2_3_1.js, Import/ExecuteTestCase_ProfileServicesListTest.js …
• 注：man 包＝切片最小闭包（script/ 投影）；cas 包＝slice_native 全工程投影（厂商参照闭包＋生成体）。闭包规模差为打包形态差异；同名文件字节差集中于 Import/TestCase_SGP_23.js（TC 入口本体）。

4.1 入口代码对照

• 行数：man 137 / cas 298；字符：man 5713 / cas 29435
• man 顶层调用 Top：[["TestStepStart2", 25], ["RSP_profile_load_procedure_LPAd", 4], ["ES10b_GetEUICCInfo1", 4], ["ES10b_GetEUICCChallenge", 4], ["ES10b_AuthenticateServer", 4], ["RandHexStr", 4], ["ES10b_PrepareDownload", 4], ["Ini_powerOn_eUICC_LPAe_not_activate", 3], ["TS_MANAGE_CHANNEL_OPEN", 3], ["TS_SELECT", 3]]
• cas bind 调用：[["checkData", 13], ["sendApdu", 2]]

--- man
+++ cas
@@ -1,136 +1,297 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_Nominal_Confirmation_Code_retry_mechanism_by_not_reusing_previous_One_Time_key_pair (extracted verbatim)
-
-function TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_Nominal_Confirmation_Code_retry_mechanism_by_not_reusing_previous_One_Time_key_pair()
-{
-	if (O_E_REUSE_OTPK)
-		return;
-	tracenamestr = "Confirmation Code重发，使用上一个会话中不同的otpk";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
-
-	var ProfileObj = TS_ProfilePackagePROFILE_OPERATIONAL1();
-
-	var PROFILE_OPERATIONAL1_DATA = ProfileObj.GenHexData();
-
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	Profile_load_procedure.ICCID = ICCID_OP_PROF1;
-	Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest，PREP_DOWNLOAD_WITH_CC；");
-	var chash1 = curStrHandle.RandHexStr(32);
-	Profile_load_procedure.ccRequiredFlag = "FF";
-	Profile_load_procedure.hashcc = chash1;
-	Profile_load_procedure.ES10b_PrepareDownload();
-
-	var cureuiccOtpk = Profile_load_procedure.euiccOtpk;
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	Profile_load_procedure.ICCID = ICCID_OP_PROF1;
-	Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest，PREP_DOWNLOAD_RETRY_CC，Confirmation Code重发，使用上一个会话中的otpk；");
-	var chash1 = curStrHandle.RandHexStr(32);
-	Profile_load_procedure.ccRequiredFlag = "FF";
-	Profile_load_procedure.hashcc = chash1;
-	Profile_load_procedure.euiccOtpk = cureuiccOtpk;
-	Profile_load_procedure.ES10b_PrepareDownload();
-	var cureuiccOtpk2 = Profile_load_procedure.euiccOtpk;
-	curStrHandle.CheckData(cureuiccOtpk, cureuiccOtpk2, "otpk",1);
-
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
-
-	var ProfileObj = TS_ProfilePackagePROFILE_OPERATIONAL1();
-
-	var PROFILE_OPERATIONAL1_DATA = ProfileObj.GenHexData();
-
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	Profile_load_procedure.ICCID = ICCID_OP_PROF1;
-	Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest，PREP_DOWNLOAD_WITH_CC；");
-	var chash1 = curStrHandle.RandHexStr(32);
-	Profile_load_procedure.ccRequiredFlag = "FF";
-	Profile_load_procedure.hashcc = chash1;
-	Profile_load_procedure.ES10b_PrepareDownload();
-	var cureuiccOtpk = Profile_load_procedure.euiccOtpk;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	Profile_load_procedure.ICCID = ICCID_OP_PROF1;
…（差异行超限，共 435 行，此处截断）

• man：ESIM_TEST_SGP_23.UCE；入口 [('TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_Nominal_Confirmation_Code_retry_mechanism_by_not_reusing_previous_One_Time_key_pair', 'Retry mechanism', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_Nominal_Confirmation_Code_retry_mechanism_by_not_reusing_previous_One_Time_key_pair)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
• cas：TC_eUICC_PrepareDownload_Retry_NewOTKeys/TC_eUICC_PrepareDownload_Retry_NewOTKeys.uce；入口 [('TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_merged', 'TC_eUICC_PrepareDownload_Retry_NewOTKeys', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

5. L2 步骤/APDU/step_map 差异（结构化对齐）

• 命令计数：man 0 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 0，cas-only 0

6. L3 规范字段/Expected/REQ/通过条件差异

• spec：/Users/yuhu/cas/原料/切片/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys/spec_intl/SGP.23-v1.16_5.2.1.2.2_PrepareDownload_Retry_NewOTKeys.md（风格：mapping）；caseir：/Users/yuhu/cas/experiments/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-20261008_015719/caseir_materialized_gate.json

spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）：

cas CaseIR 步骤/检查：

6.1 充分性分析（启发式，不作最终裁定）

• cas：NO_MECHANICAL_GAPS（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
• cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 13 项 / 生成体 checkData 13 次 / S 标号重合 5 / 计数缺口 0 / 形态 EXPANDED；执行面 FAIL（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
• cas 编译器自证（check_attestation，同批构建）：声明 None = js 5 + binding 8 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
• binding 覆盖示例：S2-C3→binding:euicc_signature2_runtime_verify(PK_EUICC_ECDSA;S22_prep_；S2-C4→binding:prep_download_response_tid_echo(request-S_TRANSACTION_ID；S2-C5→binding:prep_download_response_hashcc_echo(request-S_HASHED_CC;S；S2-C6→binding:prep_download_response_otpk_extract_cross_step(5F49;S22_；S5-C3→binding:euicc_signature2_runtime_verify(PK_EUICC_ECDSA;S22_prep_
• cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S2-C3', 'S2-C4', 'S2-C5', 'S2-C6', 'S5-C3', 'S5-C4', 'S5-C5', 'S5-C6']
• man：映射行 9；TTR 期望/实际回声 0；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
• cas 信息步（无线上断言义务）：[1, 4]
• caseir open_items：
• 适用性码 C020 的条件语义未在输入段 C_conditional_codes.md 中给出（该段仅列 C001–C018，5.2.1.2.1=C019 与 5.2.1.2.2=C020 均缺定义），故 applicability.condition 置 null，不臆造条件表达式。
• Common Mutual Authentication 过程（PROC）未在输入包 Annex C.2 段内；step 3 仅能以 requirement 级 check 表达，无法机械展开为逐条 STORE DATA 子步。
• 步骤表（表1030）表头为 5 列，但 step 3 的过程文字落在 Direction 列、Sequence/Description 与 Expected result 列为空；本 CaseIR 将该文字置入 action，direction 记为 eUICC↔S_SM-DP+。
• 步 2 Expected 列「Extract the <OTPK_EUICC_ECKA> and reuse the same value in step 4」在 NewOTKeys 情形下与步 5「NOT the same」并存：按语料解释为在步 5 以该值为 bppEuiccOtpk 输入，而断言输出不等，两处不矛盾。
• 真卡装载、记忆体复位、卡态编排等运行责任非 CaseIR 范围（属测试工具/编排面）。
• 通用初始条件（表1029）保全——eUICC：The PROFILE_OPERATIONAL1 is not loaded on the eUICC。

7. 分类结论（封闭枚举）

• 置信度：heuristic；需人工复核：False

8. 证据路径

• man 包：../packages/man/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-man.zip
• man TTR：/Users/yuhu/cas/原料/切片/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys/logs/20260909_020443/result/ESIM_TEST_SGP_23/TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_Nominal_Confirmation_Code_retry_mechanism_by_not_reusing_previous_One_Time_key_pair.ttr
• cas 包/源：../packages/cas/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-cas.zip
• cas TTR：/Users/yuhu/cas/experiments/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-20261008_015719/logs/a19becbc_gapfix1/result/TC_eUICC_PrepareDownload_Retry_NewOTKeys/TC_eUICC_PrepareDownload_Retry_NewOTKeys_01_merged.ttr
• spec_intl：/Users/yuhu/cas/原料/切片/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys/spec_intl/SGP.23-v1.16_5.2.1.2.2_PrepareDownload_Retry_NewOTKeys.md
• caseir：/Users/yuhu/cas/experiments/5.2.1.2.2-TC_eUICC_PrepareDownload_Retry_NewOTKeys-20261008_015719/caseir_materialized_gate.json
• step_map：—