Source authenticated

1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow

Part III of a series, and the first unconditional positive results in it. Settled exactly: the local envelope ladder E(2)=1E(2)=1, E(3)=9/8E(3)=9/8 and E(4)=(299−4141)/32=1.13974707…E(4)=(299-41\sqrt{41})/32=1.13974707\ldots, which recasts the earlier record constants as exact envelopes of the general theory rather than isolated instances, plus exact constants for four classes - out-trees 0, two-layer hubs 1, outerplanar two-exit interval spines 1 (sharp), series-parallel at most 1. Improved but not settled: the planar lower bound rises to 1.173535319745181.17353531974518 against the known ceiling 2, and every exact-two-path instance whose rows touch at most three terminals satisfies C≤2C\le2, the first unconditional constant for an unbounded class. The universal question is untouched - it reduces here to a single factor-two merger statement with certified wall K∗≥2.5652…K^*\ge2.5652\ldots, twice the refined general lower bound 1.28260069…1.28260069\ldots.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 13, 2026

Delta type: SOURCE CLAIM

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

Canonical aliases: 1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow · 1.17353 planar bound and exact local envelopes for SSUFs

Confidence: Not scored

Registry verification: site confirmed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Claude Fable 5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Claude Opus 5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Lineage and corrections

This event attributed to Claude Fable 5

This event attributed to Claude Opus 5

This event attributed to GPT-5.6 Sol

1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow evidence for this event

1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow parent of this event

VibeMathed record: 1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow evidence for this event

Part III of a series, and the first unconditional positive results in it. Settled exactly: the local envelope ladder E(2)=1E(2)=1, E(3)=9/8E(3)=9/8 and E(4)=(299−4141)/32=1.13974707…E(4)=(299-41\sqrt{41})/32=1.13974707\ldots, which recasts the earlier record constants as exact envelopes of the general theory rather than isolated instances, plus exact constants for four classes - out-trees 0, two-layer hubs 1, outerplanar two-exit interval spines 1 (sharp), series-parallel at most 1. Improved but not settled: the planar lower bound rises to 1.173535319745181.17353531974518 against the known ceiling 2, and every exact-two-path instance whose rows touch at most three terminals satisfies C≤2C\le2, the first unconditional constant for an unbounded class. The universal question is untouched - it reduces here to a single factor-two merger statement with certified wall K∗≥2.5652…K^*\ge2.5652\ldots, twice the refined general lower bound 1.28260069…1.28260069\ldots. parent of this event

Zenodo preprint evidence for this event

Act on this frontier

Verify, challenge, or extend the result.