Unrefereed computer-assisted proof candidate with source-bound replay. Original code MIT; original prose/data CC0. Exact finite-volume and arithmetic boundaries in ASSURANCE.md.
Unrefereed mathematical candidate: a faithful-Pauli converse to the even-hole, claw-free global spectrum theorem; an exact central-sector criterion; explicit all-coupling periodic Fendley blocks at N=8,9; weak prescribed-mode heredity; and a repaired three-mode parity-completeness argument. Written proofs, exact computer-algebra certificates for 107 listed graphs, and numerical census evidence have separate assurance boundaries. Producer replay and a separately implemented model-review checker are not external human peer review, unaffiliated reproduction, formal verification or exhaustive novelty. The remaining 1621 numerical candidates are not all-coupling certified. Original prose/data CC0-1.0; original code MIT; third-party exclusions in LICENSES.md.
Unrefereed mathematical candidate. Exact counterexamples to a proposed universal mixed-state total concentratable-entanglement upper bound, including full-rank noisy and genuinely tripartite-entangled families; sharp uniform and fixed-size concave-roof impurity repairs. Analytic proofs and producer-side exact arithmetic checks are provided. AI-assisted internal review does not establish external peer review, independent reproduction, formal verification, priority or impact. Original prose and data CC0-1.0; original code MIT. Source literature retains its own terms.