{
  "claim_id": "illustrative-fast-exact-verified-reconciliation-backend",
  "contract_id": "138-fast-subset-sum-decision",
  "family": "138",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "paper_level_two_sided_randomized_subset_sum_decision",
  "documentary_gap_count": 18,
  "issues": [
    {
      "code": "FORMAL_SCOPE_MISMATCH",
      "message": "The reviewed family-level formal scope does not cover this exact claim."
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared value_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "value_model"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared output_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "output_model"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: exact_negative_certificate_from_randomized_NO."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: exact_solution_count."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: combined_0_49_time_0_2_space_algorithm."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: source_verified_CP_SAT_or_MITM."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: production_reconciliation_speedup."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "original_positive_integer_model_and_item_identity_mapping"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "word_width_and_multiword_operation_cost_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "fresh_randomness_and_per_fixed_input_error_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "known_bit_guard_and_unevaluated_fixed_cutoff_reviewed"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "exact_fallback_and_actual_main_backend_distinguished"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "two_sided_decision_not_exact_witness_or_count"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "adaptive_self_reduction_and_amplification_budget_if_witness_requested"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "returned_original_ID_witness_exactly_checked"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_proof_and_absent_family_formal_scope_recorded"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "practical_existing_solver_and_workflow_comparison"
    }
  ],
  "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."
}