{
  "status": "PASS",
  "article_slug": "recursive-synthetic-support",
  "checks": [
    "transition rows sum to one",
    "replacement mean is a martingale",
    "zero absorption probability grows",
    "independent anchor permits escape from zero",
    "deterministic recurrence closed form",
    "positive smoothing excludes endpoints",
    "smoothing zero limit",
    "r equals one anchor contraction or alpha zero constancy"
  ],
  "finite_checks": 217,
  "scientific_figures": 2,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "script_sha256": "c360c885865c539c02e5162381a1d2e5e65740848bb629838edd82959b93233b"
}