{
  "tc_id": "4.2.21.2.1",
  "title": "4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:10 ",
  "man": {
    "terminal": "ok",
    "error_count": 0,
    "job_id": "20261007_131036:0319291b66e74d74a1dfb1a6a528ebc7",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.21.2.1/man/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html",
    "html_sha256": "00858d3c3c7cb415e28ce294644b795fb3591404118a5f15014a89e4d303f307",
    "html_bytes": 332373,
    "package_sha256": "5503213f1118db174e4e3534b268d31f0f910ac83f2c91b590341bd6b2166a2e",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/logs/20260908_130958_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr",
    "terminal_subtype": "`_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）",
    "html_run": "20261007_131036"
  },
  "cas": {
    "terminal": "failed",
    "error_count": 17,
    "job_id": "4e1f4d63df6542a9a8abd32ad48cc67f",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.21.2.1/cas/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.html",
    "html_sha256": "47fbca15dcfe6889d8e7b08d00a5f94388636c0bf1e740c649b8cb472ab1aaee",
    "html_bytes": 33769,
    "package_sha256": "8143cc803fa394073fe5de6196c109f2406b1360b4f010b7ce54bad827a3c50e",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/logs/4e1f4d63_rerun1/result/TC_eUICC_ES10c_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.ttr",
    "decision": "LEGACY_ATTEMPT",
    "route": "legacy_wrapped",
    "live_events": 2,
    "executed_terminal": null,
    "executed_stage": null,
    "axes": {
      "execution": "red_verify",
      "place": "not_attempted",
      "release": "not_ready",
      "card_state": "ok"
    },
    "html_run": "4e1f4d63_rerun1",
    "evidence_note": null
  },
  "classification": {
    "axes": [
      {
        "axis": "RUN_DIFF",
        "detail": "man 通过 / cas 失败",
        "count": 1
      },
      {
        "axis": "SCRIPT_DIALECT",
        "detail": "闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 127 / cas-only 5",
        "count": 186
      },
      {
        "axis": "GEN_DIFF",
        "detail": "REQ 覆盖缺口：['RQ24_010', 'RQ29_002', 'RQ29_022', 'RQ32_012', 'RQ32_017_1', 'RQ32_017_2', 'RQ32_018_1', 'RQ57_127', 'RQ57_127_1', 'RQ57_127_2', 'RQ57_130', 'RQ57_132', 'RQ57_132_1', 'RQ57_133_1', 'RQ57_135_2', 'RQ57_135_4', 'RQ57_136', 'RQ57_137', 'RQ57_139', 'RQ57_140', 'RQ57_140_1']",
        "count": 21
      }
    ],
    "root_causes": [],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/4.2.21.2.1/report.md",
  "attestation": {
    "total": null,
    "js": 27,
    "binding": 0,
    "gap": 0,
    "gap_ids": []
  },
  "attribution_refs": [
    "b10-b11-attribution.md"
  ],
  "l3": {
    "spec_steps": 0,
    "missing_reqs_count": 21,
    "steps_no_checks": [],
    "unmapped_spec": [],
    "unmaterialized": [],
    "code_check_count": 27,
    "count_gap": 0,
    "materialization": "FULL",
    "unmaterialized_with_pattern": [],
    "unmaterialized_no_pattern": [],
    "unmaterialized_logged": [],
    "unmaterialized_unbound_count": 0,
    "declared_checks": 11,
    "materialized_checks": null,
    "bound_sequence": null,
    "cas_suff": "NO_MECHANICAL_GAPS",
    "execution": "FAIL"
  },
  "l1": {
    "man_count": 34,
    "cas_count": 82,
    "common": 31,
    "same": 30,
    "man_only": 3,
    "cas_only": 51
  },
  "l2": {
    "man_len": 147,
    "cas_len": 25,
    "exact": 16,
    "core_same": 4,
    "le_tail": 2,
    "man_only": 127,
    "cas_only": 5
  }
}
