Discoveries / algorithms-optimization

Source authenticated

Exact SSUF scenario-count ladder on the four-terminal planar gadget

VibeMathed recorded: Exact SSUF scenario-count ladder on the four-terminal planar gadget. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 4, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Exact SSUF scenario-count ladder on the four-terminal planar gadget · Four-terminal SSUF scenario ladder

Confidence: Not scored

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Matthew Protti
human · human collaborator

GPT-5.6 Pro
model · ai model contributor · OpenAI

Codex
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Exact SSUF scenario-count ladder on the four-terminal planar gadget

specialist registry · passed

The unrefereed v0.3.0 release contains complete analytic proof sources, exact certificates, deterministic replay, claim ledgers, and review evidence for the fixed-gadget ladder. The $m=2$ rung was first released on 28 July 2026 in immutable v0.2.1; Matthew Protti's no-error review covered that corpus only. v0.3.0 adds the exact $m=1$ , $m=3$ , and $m\ge4$ branches while preserving the earlier source. Exact-arithmetic checks, exhaustive finite enumeration, mutation tests, claim-scoped role-separated AI reviews, a blind independent reconstruction of the fixed finite atlas, and one scope-limited human-directed AI-assisted adversarial report are included. The latter did not inspect every theorem component. No Lean proof, full independent expert verification, or journal peer review is documented, so the catalog status remains Unreviewed. The analytic proofs are authoritative; computation is corroborative.

Source ↗

Exact SSUF scenario-count ladder on the four-terminal planar gadget

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Fixed-gadget scenario-cover synopsis (v0.3.0)

paper · pending

paper link supplied by the VibeMathed registry.

Source ↗

Exact verification suite (v0.3.0)

code · pending

code link supplied by the VibeMathed registry.

Source ↗

AI use and research provenance (v0.3.0)

witness · pending

transcript link supplied by the VibeMathed registry.

Source ↗

Related VibeMathed entry: four-terminal planar DGG counterexample

specialist registry · pending

problem-record link supplied by the VibeMathed registry.

Source ↗

Original two-scenario release (28 July 2026)

witness · pending

other link supplied by the VibeMathed registry.

Source ↗

Complete proof corpus and claim ledger (v0.3.0)

code · pending

code link supplied by the VibeMathed registry.

Source ↗

Artifacts and verifiers

Exact verification suite (v0.3.0)

code · pending

Artifact ↗

Complete proof corpus and claim ledger (v0.3.0)

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Exact SSUF scenario-count ladder on the four-terminal planar gadget →

This event attributed to Matthew Protti

This event attributed to Codex

This event attributed to GPT-5.6 Pro

Fixed four-terminal planar DAG; positive route-cost differences for m≥2, with non-attained suprema; signed/zero only for m=1, whose attainment is unstated. No topology-wide/unrestricted-planar claim. parent of this event

Complete proof corpus and claim ledger (v0.3.0) evidence for this event

VibeMathed record: Exact SSUF scenario-count ladder on the four-terminal planar gadget evidence for this event

Exact SSUF scenario-count ladder on the four-terminal planar gadget evidence for this event

AI use and research provenance (v0.3.0) evidence for this event

Exact verification suite (v0.3.0) evidence for this event

Original two-scenario release (28 July 2026) evidence for this event

Exact SSUF scenario-count ladder on the four-terminal planar gadget parent of this event

Related VibeMathed entry: four-terminal planar DGG counterexample evidence for this event

Fixed-gadget scenario-cover synopsis (v0.3.0) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph