{
  "claim_id": "self_authored_zero_startup_uniform_kserver_claim",
  "contract_id": "110-uniform-kserver",
  "family": "110",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "finite_metric_uniform_online_algorithm",
  "documentary_gap_count": 11,
  "issues": [
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared additive_cost_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "additive_cost_model"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: zero_additive_loss_for_uniform_implementation."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: polynomial_activation_delay."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "two_at_most_k_below_number_of_points"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "metric_and_encoding_validated"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "legal_server_choice"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "implementation_correspondence"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "constructor_steps_and_activation_reviewed"
    },
    {
      "code": "OBLIGATION_CONTRADICTED",
      "message": "The manifest explicitly reports a failed obligation.",
      "obligation": "finite_horizon_additive_loss_reviewed"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "actual_request_latency_measured"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "independent_check_status_recorded"
    }
  ],
  "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."
}