{
  "tc_id": "4.2.18.2.8",
  "title": "4.2.18.2.8-TC_eUICC_ES10b.AuthenticateServer_SM-DS_ErrorCases",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:10 ",
  "man": {
    "terminal": "ok",
    "error_count": 0,
    "job_id": "20260908_222123:fef7b21c90fd423882bea9624d202e5d",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.18.2.8/man/TC_eUICC_ES10b_AuthenticateServer_SM_DS_ErrorCases_01_Error_With_Incorrect_SM_DSauth_certificate.html",
    "html_sha256": "490e6746ff75542e309146c8f9fad572f807f1cbca08406898636158ab17317d",
    "html_bytes": 85974,
    "package_sha256": "42b7ec7b954d7889976a04c76c478f74baf73514780c4d095aa2c6a7c0beec6f",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/4.2.18.2.8-TC_eUICC_ES10b.AuthenticateServer_SM-DS_ErrorCases/logs/20260908_222939_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10b_AuthenticateServer_SM_DS_ErrorCases_01_Error_With_Incorrect_SM_DSauth_certificate.ttr",
    "terminal_subtype": "`_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）",
    "html_run": "20261007_124814"
  },
  "cas": {
    "terminal": "failed",
    "error_count": 37,
    "job_id": "30b510826dba481386c9343432026699",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.18.2.8/cas/TC_eUICC_ES10b_AuthenticateServer_SM_DS_ErrorCases_01_06_merged.html",
    "html_sha256": "79549dde78a12e7123c995e830747f477701d2b517add148feb2b9284f7c8d94",
    "html_bytes": 45998,
    "package_sha256": "15a864dc1ca162c6540499972f3a546bce85a389620611ec2a1fb774d5180a79",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/experiments/4.2.18.2.8-TC_eUICC_ES10b.AuthenticateServer_SM-DS_ErrorCases-20261004_021953/logs/30b510826dba481386c9343432026699/result/TC_eUICC_ES10b_AuthenticateServer_SM_DS_ErrorCases/TC_eUICC_ES10b_AuthenticateServer_SM_DS_ErrorCases_01_06_merged.ttr",
    "decision": "RERUN",
    "route": "native_N0",
    "live_events": 1,
    "executed_terminal": "failed",
    "executed_stage": "verify",
    "axes": {
      "execution": "red_verify",
      "place": "not_attempted",
      "release": "not_ready",
      "card_state": "n/a"
    },
    "html_run": "2c6df79cf2d6_att1",
    "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 27 / cas-only 44",
        "count": 125
      },
      {
        "axis": "GEN_DIFF",
        "detail": "REQ 覆盖缺口：['RQ26_005/006/007/008/010/012/013/029/033/034/035', 'RQ31_025/046-055/076-079', 'RQ36_017', 'RQ42_001', 'RQ43_001/002', 'RQ45_002/006/026/026_1/028/030/032', 'RQ55_004/005', 'RQ57_093-108）', '§4.2.18.1 全集']",
        "count": 9
      }
    ],
    "root_causes": [],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/4.2.18.2.8/report.md",
  "attestation": {
    "total": null,
    "js": 48,
    "binding": 0,
    "gap": 0,
    "gap_ids": []
  },
  "attribution_refs": [
    "b5-attribution.md"
  ],
  "l3": {
    "spec_steps": 0,
    "missing_reqs_count": 9,
    "steps_no_checks": [],
    "unmapped_spec": [],
    "unmaterialized": [],
    "code_check_count": 116,
    "count_gap": 0,
    "materialization": "FULL",
    "unmaterialized_with_pattern": [],
    "unmaterialized_no_pattern": [],
    "unmaterialized_logged": [],
    "unmaterialized_unbound_count": 0,
    "declared_checks": 40,
    "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": 40,
    "cas_len": 57,
    "exact": 5,
    "core_same": 8,
    "le_tail": 3,
    "man_only": 27,
    "cas_only": 44
  }
}