{
  "claim_id": "self-authored-pilot-01",
  "contract_id": "365-joint-same-patch",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "requested_evidence_label": "selected_formal_scope",
  "model": {
    "dimension": 3,
    "regularity": "smooth",
    "measurement_model": "finite_noisy_samples"
  },
  "claimed_uses": [
    "finite_noisy_reconstruction_guarantee",
    "efficient_reconstruction_algorithm"
  ],
  "fixture_origin": "self_authored_synthetic_review_scenario",
  "claim_text": "A finite noisy same-patch measurement app is guaranteed to reconstruct both metric and connection by the selected formalization.",
  "supplied_statuses_are_synthetic": false,
  "obligations": [
    {
      "id": "smooth_manifold_and_boundary",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "trivial_rank_two_bundle",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "smooth_unitary_connection",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "nonempty_open_patch",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "gauge_and_diffeomorphism_quotient",
      "status": "unknown",
      "evidence_ids": []
    }
  ],
  "evidence": []
}