{
  "status": "PASS",
  "checks": [
    "decoded probability normalized",
    "canonical probability bounded by string probability",
    "code-length gap identity",
    "token perplexity changes with denominator",
    "aligned bits per byte unchanged"
  ],
  "cases": 30,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figure_sha256": "d929d57389d969ec54cb901593971631325ae8d352db7a06761e303c6405fec9"
}