{
  "tc_id": "4.2.13.2.1",
  "title": "4.2.13.2.1-TC_eUICC_ES10b.GetEUICCInfo1",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:10 ",
  "man": {
    "terminal": "ok",
    "error_count": 0,
    "job_id": "20261007_115528:9211e8a2d7b8401897081d838ad5eed1",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.13.2.1/man/TC_eUICC_ES10b_GetEUICCInfo1_01_Nominal.html",
    "html_sha256": "4821638053c6775b126667e835dc1a7f693d03b7b433da8e5c259bbdbc964e83",
    "html_bytes": 82185,
    "package_sha256": "c25a13b8920efb7eaaf4d2be0bc0cccddfcc3916e45c8f538ec8d67afe152a7b",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/4.2.13.2.1-TC_eUICC_ES10b.GetEUICCInfo1/logs/20260907_124125_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo1_01_Nominal.ttr",
    "terminal_subtype": "`_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）",
    "html_run": "20261007_121710"
  },
  "cas": {
    "terminal": "placed",
    "error_count": 0,
    "job_id": "d1a77c3aae7a430c86191f85aafd3432",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.13.2.1/cas/TC_eUICC_ES10b_GetEUICCInfo1_02_Nominal.html",
    "html_sha256": "f3386add2a4cdc9ed57ff43b5378947454cf04e5f8cd0e456cef2d9eb64e0642",
    "html_bytes": 19397,
    "package_sha256": "a44b380e81ebbdf0f823aaf5e3c0b283ca9867ea232e44805f8f86779a42e8c8",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/experiments/4.2.13.2.1-TC_eUICC_ES10b.GetEUICCInfo1-20260904_2313/logs/d1a77c3aae7a430c86191f85aafd3432/result/TC_eUICC_ES10b_GetEUICCInfo1/TC_eUICC_ES10b_GetEUICCInfo1_02_Nominal.ttr",
    "decision": "RERUN",
    "route": "native_N0",
    "live_events": 2,
    "executed_terminal": "placed",
    "executed_stage": "place",
    "axes": {
      "execution": "green(三序列 canonical)",
      "place": "placed(三序列产物)",
      "release": "ready(RELEASE_READY=READY 九条件全真；L6 跨日闭环 r8b→r9)",
      "card_state": "ok"
    },
    "html_run": "76e0fc6fe4e2455faf02f316adc5540d",
    "evidence_note": null
  },
  "classification": {
    "axes": [
      {
        "axis": "SCRIPT_DIALECT",
        "detail": "闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 28 / cas-only 3",
        "count": 85
      }
    ],
    "root_causes": [],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/4.2.13.2.1/report.md",
  "attestation": {
    "total": null,
    "js": 17,
    "binding": 1,
    "gap": 0,
    "gap_ids": []
  },
  "attribution_refs": [
    "b1-attribution.md",
    "b7-attribution.md"
  ],
  "l3": {
    "spec_steps": 1,
    "missing_reqs_count": 0,
    "steps_no_checks": [],
    "unmapped_spec": [],
    "unmaterialized": [],
    "code_check_count": 19,
    "count_gap": 0,
    "materialization": "EXPANDED",
    "unmaterialized_with_pattern": [],
    "unmaterialized_no_pattern": [],
    "unmaterialized_logged": [],
    "unmaterialized_unbound_count": 22,
    "declared_checks": 0,
    "materialized_checks": null,
    "bound_sequence": 2,
    "cas_suff": "NO_MECHANICAL_GAPS",
    "execution": "PASS"
  },
  "l1": {
    "man_count": 34,
    "cas_count": 82,
    "common": 31,
    "same": 29,
    "man_only": 3,
    "cas_only": 51
  },
  "l2": {
    "man_len": 39,
    "cas_len": 14,
    "exact": 6,
    "core_same": 5,
    "le_tail": 3,
    "man_only": 28,
    "cas_only": 3
  }
}