Sharp quartic Hadamard powers — 0.1.0-candidate

Version 0.1.0-candidate

Anonymous, AI-assisted, unrefereed theorem candidate, 5 September 2026.

This release proposes the sharp universal ordinary-coefficient power set for
strictly positive real-rooted quartics, its strictness above the endpoint, and
its endpoint equality classification. The universal conclusion rests on the
written proof, not on the auxiliary exact checker.

The supplied review has been actioned through exposition, source comparison,
provenance and fail-closed package tooling. The original review archive remains
unchanged. The frozen internal editorial target is supplied separately so the
reviewed object can be reconstructed exactly; final publication metadata is a
successor layer. The response matrix and editorial decision record the exact
disposition of findings.

A higher-degree critical-exponent programme was considered as a stretch.
No degree-five result, four-star grade, full AIM resolution, unaffiliated
verification, formal proof, authenticated specialist review, external journal
review, exhaustive novelty or historical priority is claimed.

The public asset contract is the final source ZIP, manuscript PDF, frozen
editorial ZIP, SHA-256 ledger, and fresh-extraction replay receipt. Original
research prose and records are CC0-1.0; original code is MIT. Cited works and
the supplied third-party review are excluded from relicensing and distribution.