{
  "branch_id": "agent1",
  "claim_audit": "contradicted",
  "claim_evidence": "claimed target tests pass; own last run did not show them passing",
  "error": null,
  "error_kind": null,
  "predicates": [
    {
      "evidence": "target tests passed: qutip/tests/core/test_dimensions.py::TestSuperOperatorDimsModification::test_dims_to_tensor_perm[super-oper-uneven], qutip/tests/core/test_dimensions.py::TestSuperOperatorDimsModification::test_dims_idxs_to_tensor_idxs[super-oper-uneven]",
      "id": "R1_fail_to_pass",
      "passed": true
    },
    {
      "evidence": "regressed: qutip/tests/core/test_dimensions.py::TestSuperOperatorDimsModification::test_dims_to_tensor_shape[super-oper-uneven] (failed)",
      "id": "R2_pass_to_pass",
      "passed": false
    },
    {
      "evidence": "all 116 baseline tests collected; skips unchanged (0)",
      "id": "R3_no_shrink",
      "passed": true
    },
    {
      "evidence": "patch touches 1 file(s), all in scope",
      "id": "R4_patch_scope",
      "passed": true
    },
    {
      "evidence": "agent chain 8c63c122-aa15-4132-be1a-07b4e4112972 -> 80ae1966-9be2-4391-bc46-f322e1e50d1f unbroken over 58 receipt(s); witness chain 8c63c122-aa15-4132-be1a-07b4e4112972 -> 9fea85d6-feb0-4330-a965-62976a98dcc3 unbroken over 2 receipt(s); applied digest matches",
      "id": "R5_provenance",
      "passed": true
    },
    {
      "evidence": "claimed target tests pass; own last run did not show them passing",
      "id": "R6_claim_audit",
      "passed": false
    }
  ],
  "status": "REJECTED"
}