4.0.0-rc1 — unrefereed candidate

Candidate release notes — 4.0.0-rc1

This repository publishes the exact txgraffiti-c3-resolution/4.0.0-rc1
candidate package supplied on 6 August 2026. The original release files are
preserved without manuscript or claim-text changes.

Bounded result

The package presents a connected cubic graph on 50 vertices with
mu_star(G)=15<16=i(G), refuting the stated TxGraffiti regular-graph
inequality. It does not claim unrestricted order-50 minimality, uniqueness,
secured theorem priority, formal verification, exact-release independent
reproduction, or conventional peer review.

Assurance boundary

The exact package is an unrefereed candidate. Bundled theorem-critical
deterministic checks pass in the recorded environment and from a clean
extracted copy. The exact-release fields in ASSURANCE.json remain the
authoritative scope record: independent rerun, independent reimplementation,
formal verification and peer review are false. The conditional restricted
threshold theorem depends on ZPS-2024-20-CLAUSE; see
THEOREM_DEPENDENCY.md.

Integrity

The supplied archive SHA-256 is:

94518c6473420d7c048d2381f15aa31f50f802554381883f7be88ad7eb5b331e

The internal MANIFEST.sha256 authenticates the 60 original release files;
the archive and sidecar are also retained under archives/.

Current publisher replay

The publisher built the supplied pinned core container on Apple silicon on
8 August 2026. That current replay is recorded separately in
REPLAY_CONTAINER_2026-08-08.md; it does not alter the exact-release
assurance fields or constitute independent reproduction.

Licensing

The supplied split terms are retained: original prose/data/illustrations are
CC BY 4.0 and original code is MIT, subject to the exclusions in LICENSE.md.
Third-party and source-derived material is not relicensed.