{
  "schema_version": "0.1",
  "bundle_id": "C3-BUNDLE-INTERNAL-APPROVAL-CLOSURE-001",
  "record_kind": "CLOSURE_TRANSITION",
  "registry_binding": {
    "registry_path": "research/structural_safety_audit_registry_v0_1/result_registry.json",
    "registry_id": "C3-STRUCTURAL-SAFETY-AUDIT-RESULT-REGISTRY",
    "record_id": "C3-POLICY-REAL-003",
    "registry_main_sha": "fd872b1d0205a99ad786bf39e3d84e0bd3ca1afa"
  },
  "repository": "c3infogm-rgb/c3-its-poc",
  "fixed_sha": "912ad7c5e10070fb514f18cfb4583e132d4f8a4a",
  "source_contract": {
    "verification_status": "VERIFIED_AT_FIXED_SHA",
    "declared_property_or_target": "PASS requires approval_present=true.",
    "source_reference": "LG-PASS-APPROVED-NO-SIDE-EFFECT"
  },
  "target": {
    "id": "approval_present == true",
    "exercised": true,
    "mechanism": "ALLOW_GUARD_COVERAGE_GAP"
  },
  "witness_set": [
    {
      "id": "approval-empty",
      "source_backed": true,
      "legal_status": "SCHEMA_VALID",
      "reached_target": true,
      "observation": "Same schema-valid approvals=[] witness is evaluated before and after remediation."
    }
  ],
  "negative_controls": {
    "status": "PASS",
    "count_total": 3,
    "count_pass": 3,
    "details": [
      "permit fail-closed control",
      "manifest mismatch control",
      "false-oracle rejection control"
    ]
  },
  "runtime_observation": {
    "before": {
      "predicate_status": "GAP_CONFIRMED",
      "observed_verdict": "PASS",
      "permit_token_issued": true
    },
    "after": {
      "predicate_status": "NO_GAP_OBSERVED_FOR_DECLARED_WITNESS_SET",
      "observed_verdict": "HOLD",
      "reason_code": "EAG_APPROVAL_MISSING",
      "permit_token_issued": false
    }
  },
  "outcome": {
    "type": "CLOSED_FOR_DECLARED_WITNESS_SET",
    "counterexample_candidate_count": 0
  },
  "evidence": {
    "workflow_run": 31618003025,
    "artifact_id": 9150047892,
    "artifact_digest": "sha256:c4fec26e648c23759dd8685fa4064b0a9800814b99f291ff297295d46cdb0ef7",
    "evidence_pr": 118,
    "evidence_head": "6dc6b3736f6dc84f7f1590aaebfe3e016f9b6c1e",
    "fix_pr": 127,
    "merged_main_sha": "c59f866bd107dcde061f257e4b99a125a8bf13c6"
  },
  "claim_boundary": "Closure is limited to the declared approval-empty witness set in the synthetic deterministic PoC; it is not a repository-wide safety or formal-verification claim."
}