T-119: Three exact feasible upper bounds at n=266,270,272 from new source arrangements

V3 C3 upper bound confirmed

2026-10-07 published · Daniel after Levy, Ellsworth, Couzo, Stead · n=266,270,272

Complete rational packings establish s(266)≤16.8230287507564760, s(270)≤16.9378072284460292 and s(272)≤16.9681101457696006. All displays are upward ceilings of exact rational sides; arrangement novelty remains author-reported.

Significance, composition and next rung
Significance
Three strictly smaller exact feasible ceilings with complete changed poses; no solved case or optimality claim.
Composition
Full-roster source admission precedes exact rational conversion; both independent routes inspect every wall and pair. Every complete input and native verdict is retained. Private worker inputs bind only three explicitly guarded atlas read links.
Next rung
V4/C4 requires accountable human review. V5/C5 requires proof-assistant verification; this replay establishes neither.
Novelty
previously-published Present in an identified source

The cases

Case record

n=266

16.3116.823
161718
16.31017.310
nn+1

Proven

16.31929≤s(266)≤16.823029

  • exact

Citation record n-266

lowerKarakuş 2026, arXiv corrects Nagamochi 2005 (confirmed T-083)

upperDaniel 2026, GitHub (confirmed T-119)

Open

  • optimality

The case record

LowerUpper
Gap0.50373673…
Case record

n=270

16.4416.938
161718
16.43217.432
nn+1

Proven

16.44521≤s(270)≤16.937808

  • exact

Citation record n-270

lowerKarakuş 2026, arXiv corrects Nagamochi 2005 (confirmed T-083)

upperDaniel 2026, GitHub (confirmed T-119)

Open

  • optimality

The case record

LowerUpper
Gap0.49258850…
Case record

n=272

16.5016.968
161718
16.49217.492
nn+1

Proven

16.50781≤s(272)≤16.968111

  • exact

Citation record n-272

lowerKarakuş 2026, arXiv corrects Nagamochi 2005 (confirmed T-083)

upperDaniel 2026, GitHub (confirmed T-119)

Open

  • optimality

The case record

LowerUpper
Gap0.46029955…

Results on these cases

13 results in the register on n=266,270,272, oldest first, each with what it established and how it stands now.

  1. 2005 published T-007 · n=266,270,272

    s(n)≥min(⌈n⌉,n−2⌊n⌋+1+1) for 4≤n≤324

    V0 C1 lower bound incomplete

    Nagamochi · Nagamochi 2005 · source · register

  2. 2026-09-04 published T-085 · n=266,270,272

    Nagamochi 2005, Lemma 1 is false for every container with a>3 and b>2

    V3 C3 correction confirmed

    Karakuş; chelokot · Karakuş 2026 · chelokot Nagamochi counterexample 2026 · packet · register

  3. 2026-09-27 published T-056 · n=270,272

    Smaller packings for 49 counts from n=68 to 307, each certified two independent ways

    V3 C3 upper bound confirmed superseded by T-119

    Couzo · franciscouzo square-packing 2026-09-27 · packet · register

  4. 2026-09-29 published T-083 · n=266,270,272

    s(n)≥1/2+n−⌊n⌋+1/4 for every nonsquare 8≤n≤324

    V3 C3 lower bound confirmed

    Karakuş · Karakuş 2026 · source · register

  5. 2026-10-03 published T-092 · n=272

    Smaller packings again at seven counts from n=208 to 306, each certified two independent ways

    V3 C3 upper bound confirmed superseded by T-119

    Couzo · franciscouzo square-packing 2026-10-03 · packet · register

  6. 2026-10-05 published T-098 · n=270,272

    Exact optima of 48 known-best packings: s(n) ≤ S', 3.5e-13 to 5.0e-11 below each printed side

    V3 C3 upper bound confirmed on these cases, superseded by T-119

    Daniel after Couzo, de Winter, Ellsworth, Levy · evand exact optima 2026-10-05 · packet · register

  7. 2026-10-05 published T-101 · n=266

    Exact certificates of 77 catalogue packings: s(n) ≤ S', 1.2e-16 to 9.8e-15 above each side

    V3 C3 upper bound confirmed on these cases, superseded by T-119

    Daniel after Couzo, de Winter, Ellsworth, Levy · evand exact optima 2026-10-05 · packet · register

  8. 2026-10-07 published T-119 this result · n=266,270,272

    Three exact feasible upper bounds at n=266,270,272 from new source arrangements

    V3 C3 upper bound confirmed

    Daniel after Levy, Ellsworth, Couzo, Stead · Daniel new arrangements 2026-10-07 · packet · register

  9. 2026-10-08 published T-130 · n=270

    Five follow-up rational refinements from Francisco Couzo

    V3 C3 upper bound confirmed

    Couzo after Xu, Daniel, Ellsworth, Levy · Couzo follow-up refinements 2026-10-08 · packet · register

  10. 2026-10-09 published T-134 · n=270

    Six exact rational certificates from Francisco Couzo

    V3 C3 upper bound confirmed

    Couzo after Mishapolk, Chaoweeraprasit, Gupta, Xu, Daniel, Ellsworth, Levy · Couzo exact certificates 2026-10-09 · packet · register

  11. 2026-10-09 published T-136 · n=270

    Seventeen exact rational packings from SQUISH's third request

    V3 C3 upper bound confirmed

    Chaoweeraprasit after Couzo, Xu, Goebel, Schadt, Ellsworth, Hajba, Levy · SQUISH third request 2026-10-09 · packet · register

  12. 2026-10-09 published T-138 · n=270

    Exact witnesses at Mishapolk's printed ceilings, the smallest known at 103 and 258 when registered

    V3 C3 upper bound confirmed

    Mishapolk after Stenlund, Friedman, Ellsworth, Chaoweeraprasit, Couzo, Xu, Levy · Mishapolk decimal poses 2026-10-09 · packet · register

  13. 2026-10-10 published T-140 · n=270

    Six more exact rational certificates from Francisco Couzo

    V3 C3 upper bound confirmed

    Couzo after Chaoweeraprasit, Mishapolk, Xu, Daniel, Ellsworth, Levy · Couzo certificates 2026-10-10 · packet · register