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.
- 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
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
Proven
- 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
Proven
- 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
Results on these cases
13 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
Nagamochi · Nagamochi 2005 · source · register
2026-09-04 published T-085 ·
Nagamochi 2005, Lemma 1 is false for every container with and
V3 C3 correction confirmed
Karakuş; chelokot · 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-119
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-119
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-119
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 Francisco Couzo
V3 C3 upper bound confirmed
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 Francisco Couzo
V3 C3 upper bound confirmed
Couzo after Mishapolk, 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
Chaoweeraprasit after Couzo, Xu, Goebel, 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
Mishapolk 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 Francisco Couzo
V3 C3 upper bound confirmed
Couzo after Chaoweeraprasit, Mishapolk, Xu, Daniel, Ellsworth, Levy · Couzo certificates 2026-10-10 · 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 12400 - 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)