{
  "claim_id": "illustrative-fast-unequal-job-verified-scheduler",
  "contract_id": "124-three-machine-unit-scheduling",
  "family": "124",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "fixed_finite_machine_polynomial_exact_unit_scheduling",
  "documentary_gap_count": 17,
  "issues": [
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared processing_times differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "processing_times"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared release_times differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "release_times"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared eligibility differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "eligibility"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: unit_splitting_automatically_preserves_nonpreemption."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: tiny_DP_is_source_polynomial_backend."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: CP_SAT_is_source_verified_machine."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: production_speedup_from_polynomial_classification."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "explicit_graph_acyclicity_and_job_identity_mapping"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "unit_nonpreemptive_identical_machine_model_fit"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "no_silent_release_eligibility_setup_or_resource_features"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "binary_input_and_schedule_output_encoding_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "actual_implementation_correspondence_to_fixed_machine"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "proof_imports_and_independent_check_status_recorded"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "direct_capacity_and_strict_precedence_witness_checks"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "polynomial_backend_not_tiny_exponential_reference"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "large_exponent_and_constant_practical_limits_reviewed"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "existing_solver_and_workflow_value_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."
}