Anonymous, AI-assisted, unrefereed theorem candidate. The proposed exact universal ordinary coefficient-power set for strictly positive real-rooted quartics is {1} union [p*, infinity), where p* is the unique root above one of 6^p - 2*4^p + 2 = 0. The written proof also establishes strictness above the endpoint and the exclusive endpoint multiple-root input c(x+r)^4. Exact code checks auxiliary algebra and a rational threshold enclosure, not the whole analytical proof.Five producer-coordinated AI editorial roles recommend acceptance as an unrefereed candidate. No unaffiliated rerun, independent reimplementation, formal verification, authenticated specialist review, external journal peer review, exhaustive novelty, historical priority, full AIM resolution, higher-degree theorem, four-star grade or workflow impact is claimed. Source access limits remain explicit.Original prose and research records are CC0-1.0. Original code is MIT, as specified in the package component licence map. Cited works and the supplied third-party review are not relicensed or redistributed. The final source archive and frozen internal review target are different objects; exact hashes and the fresh-extraction replay receipt identify their boundaries.