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. Confirmed on 11 October: new arrangements lowering three case ceilings, by about 3.3e-5 at n=266, are case results as T-131 and T-135 are; re-solves of credited arrangements (T-117, T-137) are S2.
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.
Regularized drawings
n = 266: a regularization of T-119’s packing by Levy (Daniel's search/regularize (MIT), evand/square-packing@675a5ea, conservative, coincide, through devtools.regularize_evand; the project’s modifications: same-side exact re-solve (devtools.regularize_same_side); at its own side; 14 free squares straightened, 5 free angles moved; identity: measured here; nearest centres one to one; 27 squares moved, at most 0.119411; turns up to 3.13656°).
Novelty
previously-published Present in an identified source

The cases

Case record
Regularized by the Squares Project with Daniel's regularizer (evand/square-packing, MIT)
As published
The packing as published, Daniel 2026 [Daniel new arrangements 2026-10-07]

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
Regularized by the Squares Project with Daniel's regularizer (evand/square-packing, MIT)
As published
The packing as published, Daniel 2026 [Daniel n270 sweep 2026-10-20]

n=270

16.4416.928
161718
16.43217.432
nn+1

Proven

16.44521≤s(270)≤16.928163

  • exact

Citation record n-270

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

upperDaniel 2026, GitHub (confirmed T-224)

Open

  • optimality

The case record

LowerUpper
Gap0.48294353…
Case record
Regularized by the Squares Project with its own axis tool (regularize_axis_components/2)
As published
The packing as published, Chaoweeraprasit 2026 [PingYou PR 574 certificates 2026-10-13]

n=272

16.5016.966
161718
16.49217.492
nn+1

Proven

16.50781≤s(272)≤16.965587

  • exact

Citation record n-272

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

upperChaoweeraprasit & PingYou Ltd, GitHub (confirmed T-174)

Open

  • optimality

The case record

LowerUpper
Gap0.45777588…

Results on these cases

19 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 on these cases, superseded by T-083 and T-180 (reported)

    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ş; Vlasenko · 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-174 and T-224

    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-174

    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-174 and T-224

    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 Couzo

    V3 C3 Upper bound confirmed superseded by T-224

    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 Couzo

    V3 C3 Upper bound confirmed on these cases, superseded by T-224

    Couzo after Polkovskyi, 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 on these cases, superseded by T-224

    Chaoweeraprasit after Couzo, Xu, Göbel, 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 superseded by T-224

    Polkovskyi 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 Couzo

    V3 C3 Upper bound confirmed superseded by T-224

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

  14. 2026-10-11 published T-151 · n=270,272

    Nine exact rational packings from SQUISH's fourth request

    V3 C3 Upper bound confirmed superseded by T-174 and T-224

    Chaoweeraprasit after Couzo, Gupta, Ellsworth, Friedman, Levy · SQUISH fourth request 2026-10-11 · packet · register

  15. 2026-10-12 published T-171 · n=272

    An exact contact refinement of SQUISH's packing of 272 squares

    V3 C3 Upper bound confirmed superseded by T-174

    PingYou Ltd after Chaoweeraprasit, Daniel, Levy · PingYou n272 refinement 2026-10-12 · packet · register

  16. 2026-10-13 published T-174 · n=266,270,272

    Tighter certificates at 68 counts from PingYou Ltd, of others' packings and its own

    V3 C3 Upper bound confirmed

    PingYou Ltd after Friedman, Ellsworth, Daniel, Xu, Barnett, Couzo, Ostashev, Chaoweeraprasit, Gupta, Fang, Polkovskyi, Levy · PingYou PR 574 certificates 2026-10-13 · packet · register

  17. 2026-10-13 published T-180 · n=266,270,272

    Closed-form lower bound s(N)≥a(N) for every non-square N≥49, reported

    V0 C1 Lower bound reviewed

    Hosono · wand125 closed form 2026-10-14 · packet · packet · register

  18. 2026-10-16 published T-193 · n=266

    Exact algebraic sides at sixteen counts from Daniel, of packings the record credits

    V3 C3 Upper bound confirmed

    Daniel after Xu, Chaoweeraprasit, Ostashev, Couzo, PingYou Ltd, Gupta, Polkovskyi, Levy · Daniel exact current records 2026-10-16 · packet · register

  19. 2026-10-20 published T-224 · n=270

    Daniel's smaller n270 packing, another arrangement found from Chaoweeraprasit's, certified exactly

    V3 C3 Upper bound confirmed

    Daniel after Chaoweeraprasit, Levy · Daniel n270 sweep 2026-10-20 · packet · register