{
  "tc_id": "4.2.11.2.1",
  "title": "4.2.11.2.1-TC_eUICC_ES10b.LoadBoundProfilePackageNIST",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:09 ",
  "man": {
    "terminal": "ok",
    "error_count": 0,
    "job_id": "20261007_115338:284be746bdc9430c971735a9f98eb6a7",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.11.2.1/man/TC_eUICC_ES10b_LoadBoundProfilePackageNIST_01_Nominal_By_using_S_ENC_and_S_MAC.html",
    "html_sha256": "78815eb5ef9f409cd4291507fd1a25c60ef692152360ce3446c2a04d1e699601",
    "html_bytes": 239973,
    "package_sha256": "4373952702c05fcdce4657a75c8e4fae03ed86686707cc9d00298a588d3d45a4",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/4.2.11.2.1-TC_eUICC_ES10b.LoadBoundProfilePackageNIST/logs/20260907_183904_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_LoadBoundProfilePackageNIST_01_Nominal_By_using_S_ENC_and_S_MAC.ttr",
    "terminal_subtype": "`_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）",
    "html_run": "20261007_121458"
  },
  "cas": {
    "terminal": "unknown",
    "error_count": 43,
    "job_id": "f5db2b121a234d04a0e700d3602fa312",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.11.2.1/cas/TC_eUICC_ES10b_LoadBoundProfilePackageNIST_01_02_merged.html",
    "html_sha256": "4b9da2393ec52a777724e974a1818eec906d89d09b3147d1612f4d589eb77e17",
    "html_bytes": 17555,
    "package_sha256": "beb9f54bb8b863788e814c8db9cd97c00095e3caec205f75faf451477be3dbb5",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/experiments/4.2.11.2.1-TC_eUICC_ES10b.LoadBoundProfilePackageNIST-20261004_022632/logs/f5db2b12_gapfix1/result/TC_eUICC_ES10b_LoadBoundProfilePackageNIST/TC_eUICC_ES10b_LoadBoundProfilePackageNIST_01_02_merged.ttr",
    "decision": "RERUN",
    "route": "native_N0",
    "live_events": 2,
    "executed_terminal": "unknown",
    "executed_stage": "cas_gapfix_rerun",
    "axes": {
      "execution": "red_verify",
      "place": "not_attempted",
      "release": "not_ready",
      "card_state": "n/a"
    },
    "html_run": "d541d92d9dcc4fdca0e70dc6e6d7eefc",
    "evidence_note": null
  },
  "classification": {
    "axes": [
      {
        "axis": "SCRIPT_DIALECT",
        "detail": "闭包文件差：man-only 3 / cas-only 51",
        "count": 54
      },
      {
        "axis": "GEN_DIFF",
        "detail": "命令序列差：man-only 101 / cas-only 11；REQ 覆盖缺口：['RQ31_185', 'RQ31_186_1', 'RQ31_188_1', 'RQ57_013', 'RQ57_016', '步 5 读回 RQ32_070/RQ55_025/RQ24_010/RQ26_020/RQ31_161/RQD0_001）']",
        "count": 118
      }
    ],
    "root_causes": [
      {
        "side": "cas",
        "root_cause": "card_vs_spec_mismatch",
        "signature": "6985|6A88|6D00"
      }
    ],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/4.2.11.2.1/report.md",
  "attestation": {
    "total": null,
    "js": 28,
    "binding": 12,
    "gap": 0,
    "gap_ids": []
  },
  "attribution_refs": [
    "b4-attribution.md"
  ],
  "l3": {
    "spec_steps": 0,
    "missing_reqs_count": 6,
    "steps_no_checks": [],
    "unmapped_spec": [],
    "unmaterialized": [],
    "code_check_count": 28,
    "count_gap": 12,
    "materialization": "DEFICIT",
    "unmaterialized_with_pattern": [],
    "unmaterialized_no_pattern": [],
    "unmaterialized_logged": [
      "S10-C3",
      "S10-C4",
      "S10-C5",
      "S10-C6",
      "S10-C7",
      "S10-C8",
      "S4-C3",
      "S4-C4",
      "S4-C5",
      "S4-C6",
      "S4-C7",
      "S4-C8"
    ],
    "unmaterialized_unbound_count": 0,
    "declared_checks": 40,
    "materialized_checks": null,
    "bound_sequence": null,
    "cas_suff": "GAPS_FOUND",
    "execution": "FAIL"
  },
  "l1": {
    "man_count": 34,
    "cas_count": 82,
    "common": 31,
    "same": 30,
    "man_only": 3,
    "cas_only": 51
  },
  "l2": {
    "man_len": 101,
    "cas_len": 11,
    "exact": 0,
    "core_same": 0,
    "le_tail": 0,
    "man_only": 101,
    "cas_only": 11
  }
}