v0.3.0 — fixed-gadget scenario-cover program
Released 4 August 2026 from the immutable v0.2.1 baseline commit
102988d5f4025b2ae081aea7fbed0e16fcc7de2a.
This unrefereed research release adds the arbitrary/legal one-scenario theorem,
the positive scenario-count ladder, scenario-cover duality and its exact fixed
finite atlas, the narrow SC-006 fixed-family phase theorem, and the repaired
high-heterogeneity tail for the same four-terminal gadget.
For coordinatewise positive scenarios, the released fixed-gadget ladder is
The signed-and-zero extension is one-scenario only. The two-, three-, and
four-or-more-scenario values are non-attained suprema; no attainment posture is
claimed for the one-scenario value.
Scope and nonclaims
Every new global optimization is over legal normalized instances on the one
released fixed gadget. This release does not claim unrestricted planar
sharpness, topology-wide optimality, a signed/zero multi-scenario extension, a
solution of the global bounded-heterogeneity middle region, or the exact F064
value.
Evidence and review
The human-readable analytic proofs are authoritative. Exact certificates,
deterministic replay, symbolic checks, mutation tests, a blind independent
reconstruction of the fixed finite atlas, and claim-scoped adversarial reviews
provide narrower corroboration. One supplied external human report is
scope-limited and does not cover the complete SC-006 or GM-008/009 proofs.
Nothing in this record is represented as conventional journal peer review,
formal proof-assistant verification, or exhaustive novelty clearance.
The full proof map, claim ledger, review labels, limitations, and source hashes
are included in the repository. The reviewed controlling proof-source bytes
were preserved during final publication editing.
Authorship and rights
Matthew Protti is the named human author and release steward. AI systems were
used extensively for discovery, proof drafting, exact computation, adversarial
review, and release engineering; they are not listed as authors. No
institutional affiliation or sponsorship is asserted. This repository grants
no open-source or open-content license; see LICENSING.md.