{
  "branch_id": "agent1",
  "claim_audit": "no_claim",
  "claim_evidence": "branch ended without a finish call",
  "error": null,
  "error_kind": null,
  "predicates": [
    {
      "evidence": "target tests passed: tests/test_list.py::test_cli, tests/test_list.py::test_missing_interpreter, tests/test_list.py::test_list_legacy_venv[None]",
      "id": "R1_fail_to_pass",
      "passed": true
    },
    {
      "evidence": "1 baseline-passing tests still pass",
      "id": "R2_pass_to_pass",
      "passed": true
    },
    {
      "evidence": "all 7 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 7d6dd7ff-79cc-43b1-91f9-3cdd70600ef5 -> 646aaf30-115b-4164-9b44-8736bdcc1662 unbroken over 48 receipt(s); witness chain 7d6dd7ff-79cc-43b1-91f9-3cdd70600ef5 -> 83d5eb90-b73d-4ab4-9423-b5ba05604c66 unbroken over 2 receipt(s); applied digest matches",
      "id": "R5_provenance",
      "passed": true
    },
    {
      "evidence": "branch ended without a finish call",
      "id": "R6_claim_audit",
      "passed": false
    }
  ],
  "status": "PASS"
}