B-THEORY WEBSITE RESEARCH READING COPY — 12 NOVEMBER 2026
Exact Boolean Decomposition Artifacts under Conditioning: Algebraic Contracts and a Reproducibility Audit
Draft 3 is preserved alongside later convergence evidence. The later work is not silently merged into a final manuscript; storage formulas and correctness do not establish best-baseline speedups.
Original manuscript/source bytes and bylines are preserved. This is website access, not journal publication, external peer review, priority clearance or fresh certification of every result. No new reuse license is inferred.
PDF pages, where supplied, are exact rasterizations for online viewing. Extracted text can lose equations; use PDF and exact source. A source-only reader is identified explicitly when no verified PDF is supplied.
The archive contains the exact source dependency closure, not a claim to include every computational study. Selected public supplements are separately labelled and can remove local-only path links; no original file is edited.
