[
  {
    "section": "s1",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "1. The certificate includes its construction history"
  },
  {
    "section": "s2",
    "kind": "source_based_review",
    "sources": [
      "dl2-a05-1",
      "dl2-a05-3"
    ],
    "claim": "2. What is randomized and what is averaged"
  },
  {
    "section": "s3",
    "kind": "source_based_review",
    "sources": [
      "dl2-a05-2",
      "dl2-a05-5"
    ],
    "claim": "3. A bounded-loss inequality with visible assumptions"
  },
  {
    "section": "s4",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "4. Four hypotheses make the complexity cost explicit"
  },
  {
    "section": "s5",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "5. A pathological shortcut sets the cost to zero"
  },
  {
    "section": "s6",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "6. Finite-family selection can be accounted for"
  },
  {
    "section": "s7",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "7. Sample splitting changes both information and denominator"
  },
  {
    "section": "s8",
    "kind": "source_based_review",
    "sources": [
      "dl2-a05-5"
    ],
    "claim": "8. Data-dependent priors need their own control mechanism"
  },
  {
    "section": "s9",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "9. Inverting Bernoulli kl is a numerical task"
  },
  {
    "section": "s10",
    "kind": "source_based_review",
    "sources": [
      "dl2-a05-4",
      "dl2-a05-6"
    ],
    "claim": "10. A smaller certificate is not a smaller measured error"
  },
  {
    "section": "s11",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "11. Monte Carlo estimation adds another confidence budget"
  },
  {
    "section": "s12",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "12. Constructed figures and explicit negative controls"
  },
  {
    "section": "s13",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "13. A certificate audit should follow the dependency graph"
  },
  {
    "section": "s14",
    "kind": "author_analysis_or_verification_proposal",
    "sources": [],
    "claim": "14. The prior is a scientific commitment"
  }
]