{
  "claim_id": "illustrative-verified-greedy-drop-in-compressed-string-savings",
  "contract_id": "128-constructed-superstring-two-approximation",
  "family": "128",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "deterministic_polynomial_constructed_superstring_two_approximation",
  "documentary_gap_count": 17,
  "issues": [
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared approximation_measure differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "approximation_measure"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared backend_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "backend_model"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: maximum_overlap_greedy_inherits_source_factor_two."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: count_stage_alone_is_full_source_backend."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: arbitrary_substring_view_is_drop_in_C_string."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: shortest_blob_is_smallest_compressed_artifact."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: production_storage_cost_savings."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "explicit_input_and_byte_to_symbol_encoding_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "empty_duplicate_contained_preprocessing_preserves_instance"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "forced_count_blocking_and_period_rules_correct"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "full_layer_request_link_cycle_output_construction_correspondence"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "exact_contiguous_original_ID_coverage_checked"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "actual_bit_operation_memory_and_runtime_costs_measured"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "symbol_bound_separate_from_serialized_compressed_byte_objective"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "terminator_mutability_identity_and_alignment_API_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_proof_imports_and_independent_check_status_recorded"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "existing_linker_packer_and_complete_artifact_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."
}