{
  "title": "Guarded Boolean Operators: Exact Dispatch and a Polynomial Guard-Degree Tradeoff",
  "byline": "Brian Theory",
  "manuscript_date_field": "blank, preserved",
  "source_revision": "Reviewed package, September 28, 2026",
  "site_reading_copy": 1,
  "publication_status": "Site reading copy prepared from the reviewed September 28 edition; live availability is verified separately.",
  "pdf_pages": 14,
  "pdf_sha256": "f6b7406071a68b720ba4cd7a222e6f29f0552023ba0326c3ebf838be8c2b31db",
  "source_sha256": "8ebdfa3bcec6cbc84262bd87d56ad8c725843384c264032a1536794b9e418ca8",
  "source_zip_sha256": "afd4eb7bdaecbe04a5bbe2937b3db8092cc700101969317459716dd81f172153",
  "formats": [
    "unchanged PDF",
    "exact TeX",
    "extracted text with equation limitations"
  ],
  "html_full_text": false,
  "parent": "correspondence-matrices",
  "cross_links": [
    "observable-answers",
    "finite-jet-sign-rigidity"
  ],
  "scope": "Fixed polynomial-sign library on the promised zero-free domain in the original magnitude coordinates; boundary/unknown outcomes are not false values. No runtime advantage claimed.",
  "successor_status": "October 13 expanded working draft exists; not integrated into this reading copy and not independently peer reviewed.",
  "verification_zip_sha256": "4b1554c5cbbed7f975b6efa12e0e90971f7ba5f6dc69454ad99a87ccd222a9eb",
  "fresh_bounded_verification": {
    "modules": 6,
    "status": "PASS",
    "parsed_semantic_result_matches_recorded": true,
    "sympy": "1.14.0",
    "universal_proofs_or_priority_certified": false
  },
  "later_attribution_context": [
    "https://emis.de/ft/11056",
    "https://arxiv.org/abs/1002.0941"
  ]
}