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

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.

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. Imported under CC BY 4.0.

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

Confidence: Not scored

Registry verification: unreviewed · preprint · variant

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.