{
  "tc_id": "5.2.6.2.1",
  "title": "5.2.6.2.1-TC_eUICC_EnableProfile_Twice_Notifications",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:12 ",
  "man": {
    "terminal": "red",
    "error_count": 3,
    "job_id": "20260908_142820:8b0705a656aa48988a3380c4467d3356",
    "html_status": "NATIVE",
    "html": "../../evidence-html/5.2.6.2.1/man/TC_eUICC_EnableProfile_Twice_Notifications_01_Nominal_Notifications_generation.html",
    "html_sha256": "cefd6c4721c2c889a599899ce254541d78f7ec78fed3c05fb72f854a94d1f257",
    "html_bytes": 479904,
    "package_sha256": "86f809677e72131e89e6c4fd5e1e1be5e4e6afbcf12ae52f7f33ac7e128810f0",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/5.2.6.2.1-TC_eUICC_EnableProfile_Twice_Notifications/logs/20260908_164133/result/ESIM_TEST_SGP_23/TC_eUICC_EnableProfile_Twice_Notifications_01_Nominal_Notifications_generation.ttr",
    "terminal_subtype": "vendor_error_cases（厂商显式错误用例）",
    "html_run": "e5ed462ee22a_att4"
  },
  "cas": {
    "terminal": "failed",
    "error_count": 9,
    "job_id": "3987c141803443e4a27b675e34e98986",
    "html_status": "NATIVE",
    "html": "../../evidence-html/5.2.6.2.1/cas/TC_eUICC_EnableProfile_Twice_Notifications_01_merged.html",
    "html_sha256": "f6cc25079a677396f54f2142466766314575cbf3e43d89d199272448de36d1ba",
    "html_bytes": 16553,
    "package_sha256": "12dd4acd63d6a034a1e5b431dd07f3ad24c27cec356b5598417fd686b7735d7c",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/experiments/5.2.6.2.1-TC_eUICC_EnableProfile_Twice_Notifications-20261004_022948/logs/3987c141803443e4a27b675e34e98986/result/TC_eUICC_EnableProfile_Twice_Notifications/TC_eUICC_EnableProfile_Twice_Notifications_01_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": "72f689ba2674_att1",
    "evidence_note": null
  },
  "classification": {
    "axes": [
      {
        "axis": "RUN_DIFF",
        "detail": "双端失败（形态比较另见 L2/L3）",
        "count": 1
      },
      {
        "axis": "SCRIPT_DIALECT",
        "detail": "闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 196 / cas-only 3",
        "count": 253
      }
    ],
    "root_causes": [],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/5.2.6.2.1/report.md",
  "attestation": {
    "total": null,
    "js": 15,
    "binding": 0,
    "gap": 0,
    "gap_ids": []
  },
  "attribution_refs": [
    "b8-attribution.md"
  ],
  "l3": {
    "spec_steps": 6,
    "missing_reqs_count": 0,
    "steps_no_checks": [],
    "unmapped_spec": [],
    "unmaterialized": [],
    "code_check_count": 17,
    "count_gap": 0,
    "materialization": "FULL",
    "unmaterialized_with_pattern": [],
    "unmaterialized_no_pattern": [],
    "unmaterialized_logged": [],
    "unmaterialized_unbound_count": 0,
    "declared_checks": 7,
    "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": 207,
    "cas_len": 14,
    "exact": 7,
    "core_same": 4,
    "le_tail": 1,
    "man_only": 196,
    "cas_only": 3
  }
}