{
  "claim_id": "self-authored-pilot-03",
  "contract_id": "266-three-bases",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "requested_evidence_label": "selected_formal_scope",
  "model": {
    "dimension": 6,
    "arithmetic_model": "arbitrary_python_float_environment"
  },
  "claimed_uses": [
    "lean_verified_exactly_three"
  ],
  "fixture_origin": "self_authored_synthetic_review_scenario",
  "claim_text": "A Python implementation is Lean verified to establish exactly three mutually unbiased bases in dimension six.",
  "supplied_statuses_are_synthetic": false,
  "obligations": [
    {
      "id": "complete_verifier_pipeline",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "compiler_conditions",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "rounding_and_arithmetic_conditions",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "source_and_certificate_hashes",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "four_basis_exclusion",
      "status": "unknown",
      "evidence_ids": []
    }
  ],
  "evidence": []
}