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

proved→proved

Scope and record

Occurred: Sep 4, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

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

GPT-5.6 Pro
model · ai model contributor · OpenAI

Codex
model · ai model contributor · OpenAI

Matthew Protti
human · human collaborator

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.