T-216: Mixed rectangle-measure lower bound $s(108)\ge 531/50$$s(108)\ge 531/50$ verified, on the 201-direction net

The case

Results on the case

13 results in the register on $n=108$$n=108$, oldest first, each with what it established and how it stands now.

1. 2005 published T-007

   s(n)≥min(⌈n​⌉,n−2⌊n​⌋+1​+1)$s(n)\ge min(\lceil \sqrt{n}\rceil ,\sqrt{n-2\lfloor \sqrt{n}\rfloor +1}+1)$ for $4\le n\le 324$$4\le n\le 324$

   S3 V0 C1 Lower bound incomplete on this case, superseded by T-216

   Nagamochi · Nagamochi 2005 · source · register

2. 2026-09-04 published T-085

   Nagamochi 2005, Lemma 1 is false for every container with $a>3$$a>3$ and $b>2$$b>2$

   S3 V3 C3 Correction confirmed

   Karakuş; Vlasenko · Karakuş 2026 · chelokot Nagamochi counterexample 2026 · packet · register

3. 2026-09-29 published T-083

   s(n)≥1/2+n−⌊n​⌋+1/4​$s(n)\ge 1/2+\sqrt{n-\lfloor \sqrt{n}\rfloor +1/4}$ for every nonsquare $8\le n\le 324$$8\le n\le 324$

   S3 V3 C3 Lower bound confirmed on this case, superseded by T-216

   Karakuş · Karakuş 2026 · source · register

4. 2026-10-05 published T-101

   Exact certificates of 77 catalogue packings: s(n) ≤ S', 1.2e-16 to 9.8e-15 above each side

   S2 V3 C3 Upper bound confirmed on this case, superseded by T-174

   Daniel after Couzo, de Winter, Ellsworth, Levy · evand exact optima 2026-10-05 · packet · register

5. 2026-10-07 published T-113

   s(n)≤Sn​$s(n)\le S_n$ at ten counts, $n=108$$n=108$ to 303, from new SQUISH rational packings

   S3 V3 C3 Upper bound confirmed superseded by T-174

   Chaoweeraprasit after Ellsworth · SQUISH ten packings 2026-10-07 · packet · register

6. 2026-10-07 published T-116

   s(n)≤Sn​$s(n)\le S_n$ at nine counts, from the second SQUISH update’s new rational packings

   S3 V3 C3 Upper bound confirmed superseded by T-174

   Chaoweeraprasit after Ellsworth, Couzo and SQUISH · SQUISH second update 2026-10-07 · packet · register

7. 2026-10-08 published T-125

   Complete rational construction reports at 25 counts

   S3 V3 C3 Upper bound confirmed superseded by T-174

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

8. 2026-10-08 published T-127

   Fourteen rational refinements, seventeen complete source cases

   S3 V3 C3 Upper bound confirmed on this case, superseded by T-174

   Gupta after Chaoweeraprasit, Daniel · Gupta rational refinements 2026-10-08 · packet · register

9. 2026-10-08 published T-128

   Eight complete rational refinements from Couzo

   S3 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

10. 2026-10-09 published T-138

    Exact witnesses at Mishapolk's printed ceilings, the smallest known at 103 and 258 when registered

    S3 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

11. 2026-10-13 published T-174

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

    S1 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

12. 2026-10-13 published T-180

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

    S4 V0 C1 Lower bound reviewed on this case, superseded by T-216

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

13. 2026-10-16 published T-216 this result

    Mixed rectangle-measure lower bound $s(108)\ge 531/50$$s(108)\ge 531/50$ verified, on the 201-direction net

    S3 V3 C3 Lower bound confirmed

    Hosono after Tokoharu and Levy · wand125 fine-net lower bounds 2026-10-16 · packet · source · review · register