T-117: Exact rational ceiling refinements at n=105, 292

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

2026-10-07 published · Rehwaldt after Couzo and earlier contributors · n=105,292

Complete exact replay, independently re-implemented, confirms the finite rational upper-bound refinement at n=105, 292. Only finite feasibility enters; no optimality claim is registered.

Significance, composition and next rung
Significance
Exact rational refinements of Couzo's packings at n=105 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

Case record
Regularized by the Squares Project with Daniel's regularizer (evand/square-packing, MIT)
As published
The packing as published, Xu 2026 [PingYou PR 574 certificates 2026-10-13]

n=105

10.2810.789
101112
10.24711.247
nn+1

Proven

10.28000≤s(105)≤10.789304

  • 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

LowerUpper
Gap0.50930378…
Case record
Regularized by the Squares Project with Daniel's regularizer (evand/square-packing, MIT)
As published
The packing as published, Chaoweeraprasit 2026 [Daniel regularized lists 2026-10-10]

n=292

17.0917.591
171819
17.08818.088
nn+1

Proven

17.09066≤s(292)≤17.591379

  • 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 n=105,292, oldest first, each with what it established and how it stands now.

  1. 2005 published T-007 · n=105,292

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

    V0 C1 Lower bound incomplete on these cases, superseded by T-073, T-080, T-083 and T-180 (reported)

    Nagamochi · Nagamochi 2005 · source · register

  2. 2026-09-04 published T-085 · n=105,292

    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=105,292

    Smaller packings for 49 counts from n=68 to 307, 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

  4. 2026-09-29 published T-083 · n=105,292

    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-02 published T-073 · n=105

    Linear-measure lower bounds replayed at n=83 and n=101…105

    V3 C3 Lower bound confirmed

    Hosono after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 linear certificates 2026-10-02 · packet · source · review · register

  6. 2026-10-02 published T-080 · n=105

    Linear-measure lower bound replayed at n=101…105

    V3 C3 Lower bound confirmed

    Hosono after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 linear certificates 2026-10-02 · packet · source · review · register

  7. 2026-10-07 published T-117 this result · n=105,292

    Exact rational ceiling refinements at n=105, 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

  8. 2026-10-07 published T-129 · n=105,292

    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

  9. 2026-10-08 published T-125 · n=105

    Complete rational construction reports at 25 counts

    V3 C3 Upper bound confirmed superseded by T-174

    Xu · ry-xu square packing 2026 · packet · register

  10. 2026-10-08 published T-128 · n=105

    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

  11. 2026-10-08 published T-130 · n=105

    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

  12. 2026-10-09 published T-136 · n=292

    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

  13. 2026-10-09 published T-138 · n=105

    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

  14. 2026-10-10 published T-146 · n=292

    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

  15. 2026-10-12 published T-170 · n=105

    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

  16. 2026-10-13 published T-174 · n=105,292

    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=105,292

    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=292

    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-22 published T-229 · n=105

    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