T-117: Exact rational ceiling refinements at , 292
V3 C3 Upper bound confirmed superseded by T-146 and T-174
Complete exact replay, independently re-implemented, confirms the finite rational upper-bound refinement at , 292. Only finite feasibility enters; no optimality claim is registered.
Significance, composition and next rung
- Significance
- Exact rational refinements of Couzo's packings at and 292, lowering the case ceilings by about 2.1e-11 and 4.3e-11: re-solves of arrangements the record already credits, at the scale of their rounding, which is what T-098 (S2), T-137 and T-139 are; a packing moved to a new optimum by 1e-7 or more (T-127, T-128) is S3. No solved case or new arrangement. Confirmed on 11 October.
- Composition
- The exact half-angle map gives unit frames; translating each already repaired source center by S/2 gives the lower-left frame. The complete rational side is authoritative and no coordinate or side is rounded.
- Next rung
- C4 requires two distinct accepted confirming adversarial reviews and an actual human oversight record; neither publication nor input admission supplies them.
- Novelty
- previously-published Present in an identified source
The cases
As published
Proven
- exact
Citation record n-105
lowerHosono after Tokoharu, Levy et al. 2026 (confirmed T-073, T-080)
upperXu et al., GitHub (confirmed T-174)
Open
- optimality
The case record
As published
Proven
- exact
Citation record n-292
lowerKarakuş 2026, arXiv corrects Nagamochi 2005 (confirmed T-083)
upperChaoweeraprasit & Daniel, GitHub (confirmed T-146)
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-073, T-080, 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-146 and T-174
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-02 published T-073 ·
Linear-measure lower bounds replayed at and
V3 C3 Lower bound confirmed
Hosono after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 linear certificates 2026-10-02 · packet · source · review · register
2026-10-02 published T-080 ·
Linear-measure lower bound replayed at
V3 C3 Lower bound confirmed
Hosono after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 linear certificates 2026-10-02 · packet · source · review · register
2026-10-07 published T-117 this result ·
Exact rational ceiling refinements at , 292
V3 C3 Upper bound confirmed superseded by T-146 and T-174
Rehwaldt after Couzo and earlier contributors · Rehwaldt Couzo refinements 2026-10-07 · packet · register
2026-10-07 published T-129 ·
Three dated Daniel certificate reports with historical source custody
V0 C0 Upper bound recorded superseded by T-146 and T-174
Daniel after Couzo, Levy · Daniel dated certificates 105 and 130 2026-10-07 · Daniel dated certificate 292 2026-10-07 · packet · packet · packet · register
2026-10-08 published T-125 ·
Complete rational construction reports at 25 counts
V3 C3 Upper bound confirmed superseded by T-174
2026-10-08 published T-128 ·
Eight complete rational refinements from Couzo
V3 C3 Upper bound confirmed superseded by T-174
Couzo after Xu, Chaoweeraprasit, Gupta, Ellsworth, Daniel, Levy · Couzo exact refinements 2026-10-08 · packet · register
2026-10-08 published T-130 ·
Five follow-up rational refinements from Couzo
V3 C3 Upper bound confirmed superseded by T-174
Couzo after Xu, Daniel, Ellsworth, Levy · Couzo follow-up refinements 2026-10-08 · 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-146
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-174
Polkovskyi after Stenlund, Friedman, Ellsworth, Chaoweeraprasit, Couzo, Xu, Levy · Mishapolk decimal poses 2026-10-09 · packet · register
2026-10-10 published T-146 ·
Exact rational certificates at fifteen counts from Daniel's regularized record lists
V3 C3 Upper bound confirmed
Daniel after Xu, Chaoweeraprasit, Polkovskyi, Levy · Daniel regularized lists 2026-10-10 · packet · register
2026-10-12 published T-170 ·
An exact contact refinement of Xu's packing of 105 squares, after Couzo's
V3 C3 Upper bound confirmed superseded by T-174
PingYou Ltd after Xu, Couzo, Daniel, Levy · PingYou n105 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-22 published T-229 ·
Polkovskyi's re-solves of the house packings at 105 and 204, below T-174 and T-225
V0 C0 Upper bound recorded
Polkovskyi after Couzo, Muglich, Daniel, Xu, PingYou Ltd, Levy · Mishapolk issue 719 2026-10-22 · packet · register
Links
- On this site
- Case record, · Frontier row, · Case record, · Frontier row, · T-117 in the results table
On GitHub, at main
- Register
- T-117 in
results.yaml, line 12608 - Evidence
E-rehwaldt-couzo-refinements-2026-10-07-report·E-rehwaldt-couzo-refinements-2026-10-07-exact-replay- Proofs and certificates
- certificate
facts - Sources
- Rehwaldt Couzo refinements 2026-10-07 (its own site, retained copy)
- Source packet
resources/web/rehwaldt-couzo-refinements-2026-10-07/README.md- Artifacts
- Case file
frontier/n-105.md(verified lower, verified upper, reported lower, reported upper) ·frontier/n-292.md(verified lower, verified upper, reported lower, reported upper)