{
  "claim_id": "illustrative-exact-optimal-multicommodity-flow-claim",
  "contract_id": "115-bounded-integral-flow",
  "family": "115",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "paper_level_bounded_flow_counting_and_approximate_sampling",
  "documentary_gap_count": 20,
  "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 commodity_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "commodity_model"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared target_law differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "target_law"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared randomness_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "randomness_model"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared sampling_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "sampling_model"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: exact_uniform_bounded_flow_sampler."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: sampling_runtime_polynomial_only_log_inverse_tau."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: uniform_cost_optimal_flows."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: uniform_path_decompositions."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: zero_approximate_count_proves_infeasible."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "lower_bound_shift_and_balance_validated"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "parallel_and_loop_private_vertices_preserved"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_flow_to_table_bijection_mapping"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "actual_count_backend_and_parameters_reviewed"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "exact_feasibility_at_each_sampling_child"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "fresh_adaptive_count_calls_and_failure_budget"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "finite_bit_branch_precision_and_total_TV_bound"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "feasible_output_on_every_execution"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "scenario_law_and_integer_units_fit_workflow"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_paper_vs_selected_formal_scope_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."
}