{
  "status": "PASS",
  "checks": 7844,
  "arithmetic": "Python fractions.Fraction, standard library; no floating point in checks",
  "scope": {
    "offspring_laws": 56,
    "dwass_initial_roots": [
      1,
      2,
      3
    ],
    "dwass_max_total": 14,
    "enumerated_offspring_words": 9837,
    "enumeration_max_total": 7,
    "immigration_models": 9
  },
  "capstone": {
    "two_generation_extinction": "361/4096",
    "eventual_extinction": "1/9",
    "total_six": "45/4096",
    "total_six_given_extinction": "405/4096",
    "conditional_mean_total": "4",
    "conditional_variance_total": "12",
    "limit_mean": "2",
    "limit_variance": "2",
    "mean_square_threshold_generation": 14,
    "common_environment_total_six": "3/16",
    "poisson_stationary_mean": "2",
    "poisson_stationary_variance": "2",
    "deterministic_immigration_stationary_variance": "2/3",
    "immigration_bound_threshold_generation": 11
  },
  "limitations": [
    "Finite exact checks do not replace proofs of almost-sure, mean-square, or stationary limits.",
    "Generation counts include the explicitly specified initial roots; total progeny includes ancestors.",
    "The immigration threshold certifies a coupling upper bound, not the exact total variation distance."
  ]
}