{
  "claim_id": "illustrative-weighted-road-guarantee-claim",
  "contract_id": "125-metric-facility-threshold",
  "family": "125",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "fixed_epsilon_deterministic_metric_kmedian_approximation",
  "documentary_gap_count": 16,
  "issues": [
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared distance differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "distance"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared clients differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "clients"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: weighted_capacitated_directed_road_model_inherits_theorem."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: uniform_practical_runtime_in_inverse_epsilon."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: arbitrary_anchor_satisfies_recovery_promise."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: solver_status_is_independent_optimality_certificate."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "full_metric_and_exact_input_mapping_checked"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "unweighted_demand_and_candidate_identity_preserved"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "capacity_cost_fairness_and_time_constraints_scoped_separately"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "fixed_accuracy_parameters_selected_and_actual_resources_measured"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "full_preparation_rounding_history_and_budget_reduction_implemented"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "returned_facilities_assignments_and_cost_independently_checked"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_ratio_separate_from_instance_specific_primal_dual_gap"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "recovery_anchor_proxy_promise_not_assumed_for_arbitrary_inputs"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_proof_imports_and_independent_acceptance_recorded"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "existing_solver_and_actual_review_value_compared"
    }
  ],
  "documentary_manifest_complete": false,
  "mathematical_applicability_certified": false,
  "independent_proof_verification": "not_run",
  "evidence_contents_verified": false,
  "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established."
}