{
  "schema_version": "0.1",
  "record_type": "DELEGATION_CONDITION_VERIFICATION_RETROSPECTIVE_SAMPLE",
  "record_status": "EXPLANATORY_MAPPING_NOT_CANONICAL_RESULT",
  "case_id": "DCV-SAMPLE-ANTHROPIC-ASRT-R7",
  "title": "Anthropic Sandbox Runtime 0.0.77 — 制御維持と委任判断を分けるサンプル",
  "source_case": {
    "target": "anthropics/sandbox-runtime @ 6fa731368807419ee157f9a3fac955fefe1019c6 / @anthropic-ai/sandbox-runtime 0.0.77",
    "public_detail_ref": "/examples/verify/control-assurance/anthropic-sandbox-runtime-r7",
    "raw_runtime_evidence_sha256": "3ae1cbd152121681bd985ad50a55c31ff52e69b15e838e2d4b3aa4af8a59ea81",
    "formal_result_summary_sha256": "1b6051642db2aa23b99b9cc44b5abb10fe8f0b461ac28866ca97ddb2d7d933cd"
  },
  "policy_basis": {
    "type": "EXISTING_R7_HUMAN_QUALIFICATION_POLICY",
    "operational_delegation_policy": false,
    "profile_id": "HPP-ASRT-R7-QUAL-001",
    "profile_sha256": "5e9f57036971a2089c9108eb38d65264ee45a35477d559187d2bab96fc64dc0b",
    "trace_id": "PCT-ASRT-R7-QUAL-001",
    "trace_sha256": "1f29bf55bc364e04c161179d928cde77df3663ed2940f9ee34d8f2b3191c1cc7",
    "controls": [
      {
        "condition_id": "POLCOND-ASRT-NET-001",
        "control_id": "DC-ASRT-NET-001",
        "directive": "POLICY_HOLD"
      },
      {
        "condition_id": "POLCOND-ASRT-NET-002",
        "control_id": "DC-ASRT-NET-002",
        "directive": "POLICY_HOLD"
      },
      {
        "condition_id": "POLCOND-ASRT-FS-001",
        "control_id": "DC-ASRT-FS-001",
        "directive": "POLICY_HOLD"
      }
    ],
    "note": "POLICY_HOLDはR7 bounded qualificationの資格化指示であり、N1/F1等のCONTROL_CONTINUESを『行為禁止セル』へ読み替えるものではない。現行profileにはPOLICY_ALLOWがないため、operational delegation candidateは導出しない。"
  },
  "layers": {
    "observed_condition_map": {
      "status": "PARTIAL",
      "observed_match_count": 6,
      "unobserved_count": 1,
      "observed": [
        "N1 MATCH / CONTROL_CONTINUES",
        "N3 MATCH / CONTROL_HOLDS",
        "N4 MATCH / CONTROL_HOLDS",
        "N5 MATCH / CONTROL_HOLDS",
        "F1 MATCH / CONTROL_CONTINUES",
        "F2 MATCH / CONTROL_HOLDS"
      ],
      "unobserved": [
        "N2 UNOBSERVED"
      ]
    },
    "delegation_decision_support": {
      "status": "NO_ALLOW_CANDIDATE_FROM_EXISTING_POLICY",
      "reason": "R7のHuman Policy Profileはbounded qualification policyで、3つのDeclared ControlはいずれもPOLICY_HOLD、POLICY_ALLOWは存在しない。よって6/6 MATCHからoperational delegation candidateを導出しない。N1/F1のCONTROL_CONTINUESは観測結果として保持し、HOLDセルへ読み替えない。",
      "allow_candidate_count": 0
    },
    "runtime_permission": {
      "status": "OUT_OF_SCOPE",
      "reason": "R7 qualification policyもこの写像もruntime Permitを生成しない。"
    }
  },
  "formal_results": {
    "NET001": "UNDEFINED / PARTIAL",
    "NET002": "NO_GAP_OBSERVED_FOR_DECLARED_WITNESS_SET",
    "FS001": "NO_GAP_OBSERVED_FOR_DECLARED_WITNESS_SET"
  },
  "claim_ceiling": {
    "retrospective_mapping_only": true,
    "does_not_create_new_canonical_aggregate_result": true,
    "does_not_convert_match_to_delegation_permission": true,
    "does_not_fill_unobserved_n2": true,
    "does_not_create_runtime_permission": true,
    "does_not_create_certification": true
  },
  "customer_view": {
    "status_label": "制御観測6件一致 / 現行qualification policyから委任候補は導出しない",
    "cell_table": [
      {
        "cell_id": "N1",
        "condition": "local IPC",
        "expected": "継続",
        "observed": "MATCH / CONTROL_CONTINUES",
        "delegation_support": "観測結果は保持するが、operational POLICY_ALLOWがないため委任候補へ昇格しない",
        "control_ref": "DC-ASRT-NET-001",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      },
      {
        "cell_id": "N2",
        "condition": "真正な非local外部作用",
        "expected": "遮断",
        "observed": "UNOBSERVED",
        "delegation_support": "UNOBSERVED。委任判断へ補完しない",
        "control_ref": "DC-ASRT-NET-001",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      },
      {
        "cell_id": "N3",
        "condition": "resolved-address guard",
        "expected": "遮断",
        "observed": "MATCH / CONTROL_HOLDS",
        "delegation_support": "観測結果は保持するが、operational POLICY_ALLOWがないため委任候補へ昇格しない",
        "control_ref": "DC-ASRT-NET-002",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      },
      {
        "cell_id": "N4",
        "condition": "allowlist外通信",
        "expected": "遮断",
        "observed": "MATCH / CONTROL_HOLDS",
        "delegation_support": "観測結果は保持するが、operational POLICY_ALLOWがないため委任候補へ昇格しない",
        "control_ref": "DC-ASRT-NET-001",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      },
      {
        "cell_id": "N5",
        "condition": "local bind禁止",
        "expected": "遮断",
        "observed": "MATCH / CONTROL_HOLDS",
        "delegation_support": "観測結果は保持するが、operational POLICY_ALLOWがないため委任候補へ昇格しない",
        "control_ref": "DC-ASRT-NET-001",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      },
      {
        "cell_id": "F1",
        "condition": "許可書込み",
        "expected": "継続",
        "observed": "MATCH / CONTROL_CONTINUES",
        "delegation_support": "観測結果は保持するが、operational POLICY_ALLOWがないため委任候補へ昇格しない",
        "control_ref": "DC-ASRT-FS-001",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      },
      {
        "cell_id": "F2",
        "condition": "denyWrite対象",
        "expected": "遮断・元内容不変",
        "observed": "MATCH / CONTROL_HOLDS",
        "delegation_support": "観測結果は保持するが、operational POLICY_ALLOWがないため委任候補へ昇格しない",
        "control_ref": "DC-ASRT-FS-001",
        "qualification_policy": "POLICY_HOLD（qualification-only）"
      }
    ],
    "unobserved_or_unresolved": [
      "N2はUNOBSERVEDのためNET001はUNDEFINED / PARTIAL",
      "R7 Human Policy Profileはqualification policyであり、operational delegation policyではない",
      "現行profileは3 ControlすべてPOLICY_HOLDで、POLICY_ALLOW候補を含まない",
      "N1/F1のCONTROL_CONTINUESは観測結果であり、『HOLDすべき行為』を意味しない",
      "この写像から新しいcanonical aggregate resultやruntime Permitを作らない"
    ]
  }
}