{
  "claim_id": "self-authored-four-sweep-seeded-loader",
  "contract_id": "238-coordinate-trace-smoothing",
  "family": "238",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "uniform_full_permutation_trace_mixing_bound",
  "documentary_gap_count": 12,
  "issues": [
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared randomness_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "randomness_model"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: fixed_unreviewed_sweep_count."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: seeded_rng_is_independent_fair_bit_oracle."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: single_card_uniform_implies_joint_uniform."
    },
    {
      "code": "OBLIGATION_CONTRADICTED",
      "message": "The manifest explicitly reports a failed obligation.",
      "obligation": "universal_source_P_or_u_selected_and_validated"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "integer_v_twice_v_at_least_P"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_protocol_and_implementation_mapping"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "same_assignment_forward_inverse_and_workers"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "independent_randomness_or_separate_prg_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "optional_non_dyadic_cycle_bridge_and_query_cost"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "full_joint_law_not_only_marginals"
    },
    {
      "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."
}