T-119: Three exact feasible upper bounds at n=266,270,272 from new source arrangements
V3 C3 Upper bound confirmed
Complete rational packings establish , and . 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 , 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
As published
Proven
- 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
As published
Proven
- 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
As published
Proven
- 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
Results on these cases
19 results in the register on , oldest first, each with what it established and how it stands now.
2005 published T-007 ·
for
V0 C1 Lower bound incomplete on these cases, superseded by T-083 and T-180 (reported)
2026-09-04 published T-085 ·
Nagamochi 2005, Lemma 1 is false for every container with and
V3 C3 Correction confirmed
Karakuş; Vlasenko · Karakuş 2026 · chelokot Nagamochi counterexample 2026 · packet · register
2026-09-27 published T-056 ·
Smaller packings for 49 counts from to , 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
2026-09-29 published T-083 ·
for every nonsquare
V3 C3 Lower bound confirmed
Karakuş · Karakuş 2026 · source · register
2026-10-03 published T-092 ·
Smaller packings again at seven counts from to , each certified two independent ways
V3 C3 Upper bound confirmed superseded by T-174
Couzo · franciscouzo square-packing 2026-10-03 · packet · register
2026-10-05 published T-098 ·
Exact optima of 48 known-best packings:
s(n) ≤ S',3.5e-13to5.0e-11below each printed sideV3 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
2026-10-05 published T-101 ·
Exact certificates of 77 catalogue packings:
s(n) ≤ S',1.2e-16to9.8e-15above each sideV3 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
2026-10-07 published T-119 this result ·
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
2026-10-08 published T-130 ·
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
2026-10-09 published T-134 ·
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
2026-10-09 published T-136 ·
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
2026-10-09 published T-138 ·
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
2026-10-10 published T-140 ·
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
2026-10-11 published T-151 ·
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
2026-10-12 published T-171 ·
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
2026-10-13 published T-174 ·
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
2026-10-13 published T-180 ·
Closed-form lower bound for every non-square , reported
V0 C1 Lower bound reviewed
Hosono · wand125 closed form 2026-10-14 · packet · packet · register
2026-10-16 published T-193 ·
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
2026-10-20 published T-224 ·
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
Links
- On this site
- Case record, · Frontier row, · Case record, · Frontier row, · Case record, · Frontier row, · T-119 in the results table
On GitHub, at main
- Register
- T-119 in
results.yaml, line 12721 - Evidence
E-evand-399-new-arrangements-report·E-evand-399-exact-feasibility- Proofs and certificates
- certificate
complete-certificates.json.xz· certificateexact-certification.json.xz - Sources
- Daniel new arrangements 2026-10-07 (its own site, retained copy)
- Source packet
resources/web/evand-new-arrangements-2026-10-07/README.md- Artifacts
9 artifacts and controls
resources/web/evand-new-arrangements-2026-10-07/README.mdresources/web/evand-new-arrangements-2026-10-07/facts/complete-certificates.json.xzresources/web/evand-new-arrangements-2026-10-07/receipts/exact-certification.json.xzdevtools/evand_arrangement_reports.pyfrontier/n-266.mdfrontier/n-270.mdfrontier/n-272.mdresources/web/evand-new-arrangements-2026-10-07/receipts/exact-certification.json.xztests/test_evand_arrangement_reports.py- Case file
frontier/n-266.md(verified lower, verified upper, reported lower, reported upper) ·frontier/n-270.md(verified lower, verified upper, reported lower, reported upper) ·frontier/n-272.md(verified lower, verified upper, reported lower, reported upper)