{
  "schema": "rigor-mortis-public-verification-manifest-v1",
  "version": "5.1",
  "date": "2026-10-28",
  "method": "reproducible finite computational checks",
  "source_script": "/verify_cases.py",
  "public_site": "https://rigormortis.xyz/",
  "results": [
    {
      "name": "IMO 2019 P5 — exact monovariant / stopping count",
      "type": "exhaustive finite state",
      "input": "every binary coin configuration for n=1,…,9",
      "count": 1022,
      "status": "PASS",
      "verified": "each transition lowers 2S−k² by 1; L(C)=2S−k²; average n(n+1)/4"
    },
    {
      "name": "IMO 2024 P6 — aquaesulian sharpness candidate",
      "type": "exact rational samples",
      "input": "135 distinct rationals (numerators −14…14; denominators 1…7)",
      "count": 18225,
      "status": "PASS",
      "verified": "both-branch disjunction holds for all tested pairs; defect set exactly {0,−2}"
    },
    {
      "name": "IMO 2006 P5 — polynomial difference divisibility",
      "type": "integer grid",
      "input": "401 integers n, six positive differences d, three integer-coefficient polynomials",
      "count": 7218,
      "status": "PASS",
      "verified": "d divides P(n+d)−P(n)"
    },
    {
      "name": "IMO 2016 P4 — adjacent polynomial gcd",
      "type": "integer grid",
      "input": "all n=−200,…,200",
      "count": 401,
      "status": "PASS",
      "verified": "gcd(n²+n+1,(n+1)²+(n+1)+1)=1"
    },
    {
      "name": "IMO 2007 P6 — Lagrange annihilator identities",
      "type": "exact integer arithmetic",
      "input": "n=1,…,9; binomial weights; degrees 0,…,n",
      "count": 9,
      "status": "PASS",
      "verified": "weighted power sums vanish for degree <n and equal n! for degree n"
    }
  ],
  "all_passed": true,
  "scope_limits": [
    "Finite computations are not proofs of universal statements.",
    "No independent verification of all proof autopsy labels is claimed.",
    "The public practice cases are not private blinded evaluation material.",
    "No participant data or scores were used in these tests.",
    "These tests are project-authored; external expert adjudication remains pending."
  ]
}