{
  "tc_id": "4.2.18.2.1",
  "title": "4.2.18.2.1-TC_eUICC_ES10b.AuthenticateServer_SM-DP+_NIST",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:10 ",
  "man": {
    "terminal": "ok",
    "error_count": 0,
    "job_id": "20261007_122805:76ab08f450834bdc8ae95fb5b0d2843e",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.18.2.1/man/TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_01_Nominal_Without_MatchingID_in_CtxParams1.html",
    "html_sha256": "e758bed8d9848719308fba434a98b83c83bd2862852e2e0362fbd47b59248643",
    "html_bytes": 169582,
    "package_sha256": "aa53dca1a6ae6d623a38d6c54f9678063785a1ab8c4f7e7ff96a8bdd3110442a",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/4.2.18.2.1-TC_eUICC_ES10b.AuthenticateServer_SM-DP+_NIST/logs/20260907_184959_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_01_Nominal_Without_MatchingID_in_CtxParams1.ttr",
    "terminal_subtype": "`_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）",
    "html_run": "20261007_135918"
  },
  "cas": {
    "terminal": "REUSE_GREEN",
    "error_count": 0,
    "job_id": "242919540bee4d0481e990f2f58d3187",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.18.2.1/cas/TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_01_03_Nominal_TC_3_Test_Sequence.html",
    "html_sha256": "de9066e4beb79678c8c87c80bb0ff41a8ef1f893d533b44da7127e230f8ead24",
    "html_bytes": 89406,
    "package_sha256": "1fa76cddf2c003880d03456b83f4a596438074e1648b8b31ed0ff9be10d04069",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/产物/4.2.18.2.1-TC_eUICC_ES10b.AuthenticateServer_SM-DP+_NIST/logs/20261006_121539_ok/result/TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST/TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_01_03_Nominal_TC_3_Test_Sequence.ttr",
    "decision": "REUSE_GREEN",
    "route": "native_N0",
    "live_events": 0,
    "executed_terminal": null,
    "executed_stage": null,
    "axes": {
      "execution": "green(reuse)",
      "place": "placed(reuse)",
      "release": "not_ready",
      "card_state": "ok"
    },
    "html_run": "49a9c76a618e_att2",
    "evidence_note": null
  },
  "classification": {
    "axes": [
      {
        "axis": "SCRIPT_DIALECT",
        "detail": "闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 55 / cas-only 38",
        "count": 147
      },
      {
        "axis": "GEN_DIFF",
        "detail": "REQ 覆盖缺口：['RQ24_008', 'RQ26_010', 'RQ26_012', 'RQ26_013', 'RQ26_033', 'RQ31_052', 'RQ31_078', 'RQ36_017', 'RQ45_006', 'RQ45_026', 'RQ45_026_1', 'RQ45_028', 'RQ45_030', 'RQ45_032', 'RQ57_093', 'RQ57_100']",
        "count": 16
      }
    ],
    "root_causes": [],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/4.2.18.2.1/report.md",
  "attestation": {
    "total": null,
    "js": 41,
    "binding": 0,
    "gap": 0,
    "gap_ids": []
  },
  "l3": {
    "spec_steps": 0,
    "missing_reqs_count": 16,
    "steps_no_checks": [],
    "unmapped_spec": [],
    "unmaterialized": [],
    "code_check_count": 92,
    "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": 1,
    "cas_suff": "NO_MECHANICAL_GAPS",
    "execution": "PASS"
  },
  "l1": {
    "man_count": 34,
    "cas_count": 82,
    "common": 31,
    "same": 30,
    "man_only": 3,
    "cas_only": 51
  },
  "l2": {
    "man_len": 72,
    "cas_len": 55,
    "exact": 10,
    "core_same": 7,
    "le_tail": 3,
    "man_only": 55,
    "cas_only": 38
  }
}