{
  "schema": "random-sat-audit-v1",
  "backend": "exact",
  "n": 3,
  "k": 3,
  "declared_law": "iid_proper_with_replacement",
  "actual_randomness_or_iid_verified": false,
  "source_proof_verified": false,
  "asymptotic_threshold_estimated": false,
  "duplicate_clause_count": 10,
  "clause_type_count": 8,
  "conditional_first_moment_survival_upper": "1628413597910449/2251799813685248",
  "summary": {
    "independent_H_lower": 1,
    "independent_H_upper": null,
    "solver_claimed_H_upper": null,
    "independently_exact_H": null,
    "independently_exact_last_sat": null,
    "independently_exact_clipped_H": null,
    "cap": 18,
    "observed_survival_through_stream": false,
    "right_censored_after_stream": false,
    "unknown_prefixes": [],
    "first_failure_determined": false
  },
  "observations": [
    {
      "prefix": 0,
      "status": "SAT",
      "basis": "checked_assignment",
      "assignment": [
        0,
        0,
        0
      ]
    }
  ],
  "run": {
    "stop": "work_limit",
    "work": 0
  },
  "limits": {
    "max_bytes": 1048576,
    "max_clauses": 2048,
    "max_n": 128,
    "max_exact_n": 16,
    "max_work": 5000000
  },
  "python": "3.12.14"
}