{
  "id": "SBF",
  "title": "Structured Boolean Factorization",
  "website_release_date": "2026-11-12",
  "status": "Research collection and working note",
  "scope": "The original Phase 5 note is historical within this collection. Read the later corrected proofs and negative-result gate first; no integrated final manuscript or algorithmic speedup is asserted.",
  "original_manuscript_edited": false,
  "source_main": "THEOREM_NOTE_DRAFT.tex",
  "source_manifest": {
    "THEOREM_NOTE_DRAFT.tex": "fbc7ccbf3f9aafdf5fefa2c146cf4dc173d51ddb7ca1c5096cec069c97e5ffa4"
  },
  "source_zip_sha256": "3abcb7f48f90cd4b17455a57f5c9a5e1980e3cc70a93cc3f001b9ef2928f1db4",
  "pdf_url": "/manuscripts/structured-boolean-factorization-r1-2026-11-12.pdf",
  "pdf_sha256": "daef5c5327289057d84be0dab73655233aa2dcce078889abda1f2ef439b5a7bf",
  "pdf_pages": 3,
  "reader_format": "page-faithful PDF images with exact source",
  "fresh_proof_certification": false,
  "full_computational_reproduction_rerun": false,
  "supplements": [
    {
      "title": "Read first: corrected Phase 5B proofs",
      "url": "/manuscripts-html/structured-boolean-factorization/supplement-1.html",
      "original_sha256": "7282fd388272ce17c9c0771187fc45297ccc8ff242a0387cc34a12ce271b9301",
      "public_derivative_sha256": "bcfcd94d6700720ef203245c9fe85ceccce0585c8c0cb54b19921bf47efd526e"
    },
    {
      "title": "Phase 5B consolidated report",
      "url": "/manuscripts-html/structured-boolean-factorization/supplement-2.html",
      "original_sha256": "74a0f3820d4dd85ee7ed8f770636a43d5a5ea9bb5461b5efd5b0e80bfe77241b",
      "public_derivative_sha256": "80fa6441d2f13b645380f2531c0487c3245ae789ec848f6451d5aa1fed8e40f5"
    },
    {
      "title": "Mathematical note retained; algorithmic NO-GO",
      "url": "/manuscripts-html/structured-boolean-factorization/supplement-3.html",
      "original_sha256": "73b43f849c1048471cf54f2bd6daf3372bd861d4a176f0a7e6f7d80d23c98dd5",
      "public_derivative_sha256": "5af5d4cb22ca915c82585b7be1f1003cf529da9f0e0abeae10a4c9f2efc98676"
    },
    {
      "title": "Prospective campaign and negative runtime outcome",
      "url": "/manuscripts-html/structured-boolean-factorization/supplement-4.html",
      "original_sha256": "c5c45df63195777ff21f0f5541f8d08b67093018e79dd5c3e89e4f9553dba466",
      "public_derivative_sha256": "30492e537067afa6c9c26ffec6658e4d758c1e265d808febc88b397bfc6abc6c"
    }
  ],
  "parent": "structured-boolean-factorization",
  "page_manifest_sha256": "fc6b7ba385630441dbd8e7de52486dbbf796ed69a006e7289d831fa3407d3868"
}