This artifact is a research preprint. A green local build establishes internal reproducibility; it does not establish novelty, priority, or peer review.
The first nine gates below must be completed against the exact commit intended
for release before a public v0.1.0 tag is created. Pushing that tag creates a
draft GitHub Release; the final gate must be completed before the draft is
published.
- At least one independent single-source-unsplittable-flow expert has reviewed the headline theorem, its scope, and the written proof.
- The literature and priority claims have been checked through the release date, including comparison with D. Rybin's original post and transcript.
- The repository URL is live and every URL in
README.md,CITATION.cff, and the paper resolves to the intended public artifact. - The preprint has a durable archival identifier (for example an arXiv identifier and/or DOI), and that identifier is recorded in the paper and citation metadata.
- The cited Rybin provenance has a durable, permission-compatible archival record in addition to the original X and shared-transcript links.
-
CITATION.cffvalidates against the Citation File Format 1.2 schema and its version and release date match the tag. - Lean builds with warnings as errors, the endpoint axiom audit matches the documented standard axioms, all Python tests (including slow tests) pass, and the committed PDF reproduces byte-for-byte.
- The supplement is built from the exact tagged commit, its embedded manifest verifies, and a second build produces the same archive checksum.
- Release notes state the fixed-$H^{\ast}$ scope, attribute the original counterexample to D. Rybin, say that global boundedness remains open, and retain the “not peer reviewed” label.
- The draft GitHub release and all attached artifacts have received a final human review before publication.
Social announcements should link the durable preprint and tagged artifact, not an unversioned branch.