{
  "status": "passed",
  "scope": "Exhaustive one-factor product fiber costs n=2,3 and exact rational sparse-test probabilities S=2..6,t=1..4. Not a formal or asymptotic proof; no random large-code witness constructed.",
  "product_checks": [
    {
      "n": 2,
      "all_full_rank_Q_checked": 42,
      "minimum_product_worst_cost": 2
    },
    {
      "n": 3,
      "all_full_rank_Q_checked": 2520,
      "minimum_product_worst_cost": 6
    }
  ],
  "probability_checks": 476
}