{
  "tc_id": "4.2.23.2.4",
  "title": "4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4",
  "class": "card_side",
  "pair_status": "PAIRED",
  "generated_at": "2026-10-08 22:57:11 ",
  "man": {
    "terminal": "ok",
    "error_count": 0,
    "job_id": "20260908_222150:e0658669e68c4bf5bcd2c69b1ccfdd4a",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.23.2.4/man/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID.html",
    "html_sha256": "c4eaca9e47d2e8ec45696dd201c9f709713f06b0708a65ace52e9e24ce323926",
    "html_bytes": 491191,
    "package_sha256": "b420063e70446ca3648cfb3966980b25e7067595b915ed2c0164840792500394",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/原料/切片/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4/logs/20260908_222449_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID.ttr",
    "terminal_subtype": "`_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）",
    "html_run": "20261007_132107"
  },
  "cas": {
    "terminal": "failed",
    "error_count": 1,
    "job_id": "2ef3077a5a20",
    "html_status": "NATIVE",
    "html": "../../evidence-html/4.2.23.2.4/cas/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4.html",
    "html_sha256": "32329cf7a508a4b8e0e5177def61ca8916118eaf2ffd6469434ae92a6c8bf17f",
    "html_bytes": 1281,
    "package_sha256": "b1e539c5edfc1f33b541f222d865f625332ed00b640c10fdfb901d761e3de2d2",
    "src_kind": "zip",
    "ttr_path": "/Users/yuhu/cas/experiments/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-20261004_021956/logs/2ef3077a5a20_att1/extracted/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged.ttr",
    "decision": "ATTEMPT_NATIVE(expect blocked_card_state)",
    "route": "native_N1_blocked",
    "live_events": 1,
    "executed_terminal": "failed",
    "executed_stage": "submit",
    "axes": {
      "execution": "not_run(zero_load)",
      "place": "blocked(preflight_context)",
      "release": "not_ready",
      "card_state": "n/a"
    },
    "html_run": "2ef3077a5a20_att1",
    "evidence_note": null
  },
  "classification": {
    "axes": [
      {
        "axis": "RUN_DIFF",
        "detail": "man 通过 / cas 失败",
        "count": 1
      },
      {
        "axis": "SCRIPT_DIALECT",
        "detail": "闭包文件差：man-only 3 / cas-only 51",
        "count": 54
      },
      {
        "axis": "GEN_DIFF",
        "detail": "命令序列差：man-only 215 / cas-only 0",
        "count": 215
      },
      {
        "axis": "EVIDENCE_MISSING",
        "detail": "cas 断言缺失：无检查步 [1]；未映射步 []；cas 声明但未物化的检查：['S1-C1', 'S10-C1', 'S13-C1', 'S14-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S21-C1', 'S22-C1', 'S5-C1', 'S6-C1', 'S9-C1']",
        "count": 13
      }
    ],
    "root_causes": [],
    "needs_review": false,
    "confidence": "heuristic"
  },
  "errors": [],
  "report_path": "/Users/yuhu/cas/outputs/holiday-work/05-diff/reports/4.2.23.2.4/report.md",
  "attestation": {
    "total": null,
    "js": 72,
    "binding": 0,
    "gap": 0,
    "gap_ids": []
  },
  "l3": {
    "spec_steps": 0,
    "missing_reqs_count": 0,
    "steps_no_checks": [
      1
    ],
    "unmapped_spec": [],
    "unmaterialized": [
      "S1-C1",
      "S10-C1",
      "S13-C1",
      "S14-C1",
      "S17-C1",
      "S18-C1",
      "S2-C1",
      "S21-C1",
      "S22-C1",
      "S5-C1",
      "S6-C1",
      "S9-C1"
    ],
    "code_check_count": 80,
    "count_gap": 0,
    "materialization": "FULL",
    "unmaterialized_with_pattern": [
      "S1-C1",
      "S10-C1",
      "S13-C1",
      "S14-C1",
      "S17-C1",
      "S18-C1",
      "S2-C1",
      "S21-C1",
      "S22-C1",
      "S5-C1",
      "S6-C1",
      "S9-C1"
    ],
    "unmaterialized_no_pattern": [],
    "unmaterialized_logged": [],
    "unmaterialized_unbound_count": 0,
    "declared_checks": 36,
    "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": 215,
    "cas_len": 0,
    "exact": 0,
    "core_same": 0,
    "le_tail": 0,
    "man_only": 215,
    "cas_only": 0
  }
}