{
  "suite": "RCIG nonconfluence / canonicality hardening probe v0.2",
  "problem_id": "problem:fork:001",
  "path_A": {
    "verifier_A": {
      "accepted": true,
      "verdict": "closed",
      "residual_debts": [],
      "errors": []
    },
    "verifier_B": {
      "accepted": true,
      "verdict": "closed",
      "residual_debts": [],
      "errors": []
    }
  },
  "path_B": {
    "verifier_A": {
      "accepted": true,
      "verdict": "unknown",
      "residual_debts": [
        "debt:fork:child"
      ],
      "errors": []
    },
    "verifier_B": {
      "accepted": true,
      "verdict": "unknown",
      "residual_debts": [
        "debt:fork:child"
      ],
      "errors": []
    }
  },
  "both_paths_accepted": true,
  "semantic_divergence_detected": true,
  "canonicality_certified_attack": {
    "A/A": {
      "accepted": false,
      "verdict": "closed",
      "residual_debts": [],
      "errors": [
        "canonicality='certified' unsupported by RCIG v0.2 reference kernel; confluence certificate model not implemented"
      ]
    },
    "A/B": {
      "accepted": false,
      "verdict": "closed",
      "residual_debts": [],
      "errors": [
        "canonicality='certified' unsupported by independent verifier B v0.2"
      ]
    },
    "B/A": {
      "accepted": false,
      "verdict": "unknown",
      "residual_debts": [
        "debt:fork:child"
      ],
      "errors": [
        "canonicality='certified' unsupported by RCIG v0.2 reference kernel; confluence certificate model not implemented"
      ]
    },
    "B/B": {
      "accepted": false,
      "verdict": "unknown",
      "residual_debts": [
        "debt:fork:child"
      ],
      "errors": [
        "canonicality='certified' unsupported by independent verifier B v0.2"
      ]
    }
  },
  "canonicality_attack_rejected_by_both": true
}