T-132: Mixed rectangle-measure lower bound s(29)≥291/50 reported, on a 2,073-direction declared net

V0 C0 lower bound recorded

2026-10-10 published · wand125 after Tokoharu and Levy · n=29

A rectangle measure of wand125/square-packing, published on 10 October 2026 and reported on jlevy/squares#446, is reported to prove s(29)≥291/50 = 5.82.

The certificate, mixed_n29_L582, is a density of 650 uniform rectangles in D4 orbits, and no point mass, of total mass 2899999/100000, on a net its candidate declares: core side 4999/5000 and 2,073 half-angle tangents of step 1/5002, the net of T-102 and T-103. Since 4999/5000 (1 + 1/5002) = 25009997/25010000 < 1, and the last tangent 1036/2501 is past tan(pi/8), every unit square contains a concentric core at a net angle strictly in its interior.

The source reports every such core capturing mass at least one at all 2,073 directions, by sqverify-proof-net, its copy of this repository's sqverify_fast changed to read the declared net, and a control with every mass scaled by 197/200 refused at 32 sampled directions.

The value is above T-108's 581/100 = 5.81, the verified and reported lower bound at n=29, by 0.01, and above the 1163/200 the issue reported on 8 October by 1/200.

Here the maintained readers accepted its exact mass and declared-net premises, and sqverify-fast, this repository's clean-room measure verifier, verified it at eight sampled directions with the source's node counts and least certified bounds: a diagnostic, not a replay. No complete replay has run here, so the value stands as reported.

wand125 after Tokoharu and Levy, square-packing. The source says parts of the work were produced with AI assistance under human direction.

Significance, composition and next rung
Significance
Scored as a claim: if a complete replay passes, it is the strongest lower bound on record at n=29, 0.01 above T-108, by the certificate kind and declared net of T-102 and T-103, with no new technique, at S3 as T-102 to T-111 are. V0/C0 says how far it stands, and the score gates nothing.
Composition
One reported certificate on its reported entry. The source's check is a copy of this repository's sqverify_fast crate with one change, so a sqverify-fast replay here would be re-implemented sharing the producer's components, as T-104's is, and no second implementation stands beside it.
Next rung
C3 needs a complete sqverify-fast census run at all 2,073 directions from a retained candidate, with its whole-net control receipt (the 99/100 mutant at every direction, FC-1) and a review that reads this certificate, by the checklist of the 6 October declared-net soundness review. The eight-direction sample prices the run and its controls at about 4.3 CPU-hours. The owner set its budget on 11 October 2026, and the run is queued in think-r333 after the regularization work (jlevy/squares#497).
Unfinished confirmations
C3 (think-r333): a complete sqverify-fast census at all 2,073 directions from a retained candidate, with its whole-net control receipt (the 99/100 mutant at every direction, FC-1) and a review that reads this certificate, by the checklist of the 6 October declared-net soundness review. About 4.3 CPU-hours, up to about 5.5 (priced 2026-10-10).
Novelty
previously-published Present in an identified source

The case

Case record

n=29

5.815.934
567
5.3856.385
nn+1

Proven

5.81000≤s(29)≤5.933834

  • numerical

Citation record n-029

lowerwand125 after Tokoharu, Levy et al. 2026, GitHub (confirmed T-108)

upperSchadt & Ellsworth, Squares in Squares (reported)

Open

  • optimality
  • exact value

The case record

LowerUpper
Gap0.12383346…

Results on the case

13 results in the register on n=29, 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) for 4≤n≤324

    V0 C1 lower bound incomplete on this case, superseded by T-108

    Nagamochi · Nagamochi 2005 · source · register

  2. 2026-08-29 established T-009

    s(29)≤5.933833…, by a Krawczyk interval certificate

    V3 C3 upper bound confirmed

    Levy · register

  3. 2026-09-04 published T-085

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

    V3 C3 correction confirmed

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

  4. 2026-09-22 published T-044

    Weighted point lower bounds for ten counts in n=26…72, plus seven from the same files

    V3 C3 lower bound confirmed superseded by T-108

    wand125 after Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 point bounds 2026 · packet · source · review · register

  5. 2026-09-22 published T-047

    s(11)≥381/100; s(n)≥1377/250 for n=26…28; s(n)≥571/100 for n=29…31

    V3 C3 lower bound confirmed superseded by T-108

    Tokoharu after Levy, wand125, Stromquist, Nagamochi, Burns, Massaccesi · Tokoharu density 2026 · packet · source · review · register

  6. 2026-09-27 published T-046

    Rectangle-density lower bounds reported for 48 counts in n=18…95

    V0 C0 lower bound recorded superseded by T-108

    wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 rectangle bounds 2026 · wand125 rectangle bounds 2026-09-28 · packet · packet · register

  7. 2026-09-28 published T-070

    Rectangle-density lower bounds replayed at 25 counts in n=29…95

    V3 C3 lower bound confirmed superseded by T-108

    wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 rectangle bounds 2026-09-28 · packet · packet · source · review · register

  8. 2026-09-29 published T-058

    Rectangle-certificate ceiling α·UB(n) proved for n=1..100; B·UB(n) on 64 grid rows

    V3 C3 method limit confirmed

    wand125 after Tokoharu, Daniel · wand125 tools 2026 · packet · register

  9. 2026-09-29 published T-083

    s(n)≥1/2+n−⌊n⌋+1/4 for every nonsquare 8≤n≤324

    V3 C3 lower bound confirmed on this case, superseded by T-108

    Karakuş · Karakuş 2026 · source · register

  10. 2026-10-01 published T-068

    Rectangle-density lower bounds verified at 34 counts in n=19…95

    V3 C3 lower bound confirmed on this case, superseded by T-108

    wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 rectangle bounds 2026-10-01 · packet · source · review · register

  11. 2026-10-01 published T-074

    Rectangle-density lower bounds replayed at 31 counts in n=19…95

    V3 C3 lower bound confirmed on this case, superseded by T-108

    wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 rectangle bounds 2026-10-01 · packet · packet · source · review · register

  12. 2026-10-06 published T-108

    Mixed rectangle-measure lower bound verified at n=29, on a declared net

    V3 C3 lower bound confirmed

    wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 mixed bounds check2 2026-10-06 · packet · source · review · register

  13. 2026-10-10 published T-132 this result

    Mixed rectangle-measure lower bound s(29)≥291/50 reported, on a 2,073-direction declared net

    V0 C0 lower bound recorded

    wand125 after Tokoharu and Levy · wand125 fine-net n29 2026-10-10 · packet · register