Skip to content

v1.0.3 — referee-ready submission artifact

Choose a tag to compare

View all tags
@skypher skypher released this 25 Aug 16:07
· 6 commits to main since this release
v1.0.3
e5dfc6a

Submission artifact v1.0.3.

This revision incorporates the final referee-requested manuscript and artifact
changes without altering the main theorem or proof strategy:

  • corrects the archival wording and identifies GitHub as a distribution mirror;
  • adds explicit BSD-3-Clause and CC BY 4.0 component licensing;
  • replaces the optimization-removable verifier assertion with a hard gate;
  • updates the finite-offset source documentation and denominator convention;
  • adds a digest- and snapshot-pinned replay environment and fast CI audit;
  • applies the requested proof clarifications, copy edits, link breaking, and
    bibliography additions, including Bustoz--Ismail;
  • records a clean complete replay under the v1.0.3 sources.

The complete replay exited successfully in 1:15:18 with 338764 KiB peak
resident memory. The exact GMP scan covered 289,261,901 top-half cells through
D = 1200 and found zero negative Turán steps.

Proof-payload SHA-256:
cef4ab11ed2905f7d71a8140290808f215771bd32f6b8d29fb89b4e086a94c0b

PDF SHA-256:
c75d0c02c024628e0901b08f6b5c422818b88f2cbfa055384ef3369a8ac979ed

The accepted snapshot remains intended for deposit in a persistent,
DOI-bearing archive.

Assets 8
Loading