{
  "metadata": {
    "cdir_version": "0.2",
    "schema_version": "0.2",
    "kernel_profile": "K1-reference-v0.2",
    "semantic_profile": "rcig.nonconfluence.probe.v0.2",
    "kernel_required_features": [
      "typed_refs_v1",
      "explicit_initial_debts_v1",
      "first_class_witnesses_v1",
      "rule_registry_v1",
      "builtin_expr_v1",
      "replay_v1",
      "verdict_v1"
    ],
    "rule_registry_version": "builtin-v0.2",
    "equivalence_registry_version": "identity-v0.2",
    "package_digest": null
  },
  "semantics": {
    "omega": {
      "kind": "inline",
      "type": "rcig.semantic.fork",
      "value": {
        "problem": "fork:001"
      }
    },
    "constraints": []
  },
  "task": {
    "id": "task:fork",
    "equivalence_schema": "identity",
    "outcome_classes": [
      "closed",
      "reopened",
      "unknown"
    ]
  },
  "debts": [
    {
      "id": "debt:fork:root",
      "debt_type": "fork_obligation",
      "scope": {
        "task": "task:fork"
      },
      "status": "discharged",
      "created_by": null
    }
  ],
  "initial_debt_ids": [
    "debt:fork:root"
  ],
  "witnesses": [],
  "rule_registry": {
    "registry_id": "registry:rcig:builtin:v0.2",
    "version": "0.2",
    "rules": [
      {
        "id": "rcig.rule.direct_discharge.v0.2",
        "version": "0.2",
        "semantics_kind": "builtin_direct_discharge",
        "kernel_features": [
          "replay_v1"
        ],
        "soundness_certificate_ids": []
      },
      {
        "id": "rcig.rule.replace.v0.2",
        "version": "0.2",
        "semantics_kind": "builtin_replace",
        "kernel_features": [
          "replay_v1"
        ],
        "soundness_certificate_ids": []
      }
    ]
  },
  "rule_steps": [
    {
      "id": "step:fork:A",
      "rule_id": "rcig.rule.direct_discharge.v0.2",
      "consumes": [
        "debt:fork:root"
      ],
      "produces": [],
      "certificate_ids": [
        "cert:fork:A"
      ],
      "preconditions": []
    }
  ],
  "certificates": [
    {
      "id": "cert:fork:A",
      "kind": "formal_proof",
      "claim": {
        "kind": "formal_expression",
        "type": "rcig.expr.v0.1",
        "value": {
          "op": "discharge",
          "debt_id": "debt:fork:root"
        }
      },
      "evidence": {
        "kind": "formal_expression",
        "type": "rcig.expr.v0.1",
        "value": {
          "op": "eq",
          "left": 1,
          "right": 1
        }
      },
      "dependencies": [],
      "validator_class": "builtin.expr.v0.1",
      "trust_status": "kernel_checkable"
    }
  ],
  "rank": null,
  "equivalence": {
    "schema": {
      "kind": "inline",
      "type": "rcig.eq.identity",
      "value": {
        "kind": "identity"
      }
    },
    "soundness_certificate_ids": [],
    "compatibility_certificate_ids": []
  },
  "provenance": [],
  "verdict": {
    "kind": "closed",
    "scope": {
      "task": "task:fork"
    },
    "normal_form": {
      "kind": "inline",
      "type": "rcig.normal_form",
      "value": {
        "residual": []
      }
    },
    "certificate_ids": [
      "cert:fork:A"
    ],
    "residual_debt_ids": [],
    "trust_base": [
      "builtin.expr.v0.1",
      "rcig.verdict.v0.2",
      "rule:rcig.rule.direct_discharge.v0.2@0.2"
    ],
    "canonicality": "not_claimed",
    "witness_ref": null
  },
  "extensions": {
    "rcig/problem_id": "problem:fork:001",
    "rcig/path": "A"
  }
}