{
  "date": "2026-10-10",
  "reading_copy": 1,
  "slug": "binary-information-bounds",
  "html_scope": "Complete Section 9 (P2), Propositions 7–9 and proofs; not a standalone manuscript",
  "pdf_scope": "15-page combined M1–M5/P1/P2 manuscript, unchanged",
  "source_sha256": "7ece4a8309d700e966fdc442e8b161352fd3309010160bc531577801b1fd5ffb",
  "pdf_sha256": "17be92ba46fd3bf0961585646fae3fd2a9fed490c06e2f94c69d280755343cac",
  "pdf_pages": 15,
  "pdf_printed_byline": "Research prepared for Brian Theory; AI-assisted mathematical synthesis; not external peer review",
  "pdf_author_metadata": "blank (preserved)",
  "p2_source_sha256": "2b970fb38fee7bb55814541fced9051370e0fd319139cc1c11e5d162143cdc05",
  "html_sha256": "e0618e9ba60df76b51db3004b23360dcb2e73fa4a9f692fa07793cc457a16fff",
  "mathml_expressions": 111,
  "mathml_presentation_repairs": {
    "named_operators": 23,
    "bare_union": 0,
    "opening_fences": 4,
    "negations": 0,
    "function_applications": 23,
    "source_array_rows_restored": 2
  },
  "statements": 3,
  "proofs": 3,
  "subsections": 5,
  "source_archive_sha256": "a32ed6073c9e2ea46fcbe69eb46d96d97eeeb4939a8405a33519bd5fe4388cc4",
  "verification_archive_sha256": "e7ee277fb6fd5eb4cb2af9debf5990129f05b66fa329ee30e7ab3df6aed41247",
  "historical_cases": {
    "primary": 10280,
    "independent": 3809
  },
  "research_computation_rerun": false,
  "external_peer_review": false,
  "screen_reader_testing": "not performed",
  "publication": "Release preparation receipt; publication status is recorded separately."
}