T-132: Mixed rectangle-measure lower bound reported, on a 2,073-direction declared net
V0 C0 lower bound recorded
A rectangle measure of wand125/square-packing, published on 10 October 2026 and reported on jlevy/squares#446, is reported to prove = 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 , 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 , 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
Proven
- 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
Results on the case
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 on this case, superseded by T-108
Nagamochi · Nagamochi 2005 · source · register
2026-08-29 established T-009
, by a Krawczyk interval certificate
V3 C3 upper bound confirmed
Levy · 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-22 published T-044
Weighted point lower bounds for ten counts in , 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
2026-09-22 published T-047
; for ; for
V3 C3 lower bound confirmed superseded by T-108
Tokoharu after Levy, wand125, Stromquist, Nagamochi, Burns, Massaccesi · Tokoharu density 2026 · packet · source · review · register
2026-09-27 published T-046
Rectangle-density lower bounds reported for 48 counts in
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
2026-09-28 published T-070
Rectangle-density lower bounds replayed at 25 counts in
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
2026-09-29 published T-058
Rectangle-certificate ceiling
α·UB(n)proved for ..100;B·UB(n)on 64 grid rowsV3 C3 method limit confirmed
wand125 after Tokoharu, Daniel · wand125 tools 2026 · packet · register
2026-09-29 published T-083
for every nonsquare
V3 C3 lower bound confirmed on this case, superseded by T-108
Karakuş · Karakuş 2026 · source · register
2026-10-01 published T-068
Rectangle-density lower bounds verified at 34 counts in
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
2026-10-01 published T-074
Rectangle-density lower bounds replayed at 31 counts in
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
2026-10-06 published T-108
Mixed rectangle-measure lower bound verified at , 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
2026-10-10 published T-132 this result
Mixed rectangle-measure lower bound 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
Links
- On this site
- Case record, · Frontier row, · T-132 in the results table
On GitHub, at main
- Register
- T-132 in
results.yaml, line 13542 - Evidence
E-wand125-fine-net-n29-582-followup-report- Proofs and certificates
- certificate
reported-n29-followup.json - Sources
- wand125 fine-net n29 2026-10-10 (its own site, retained copy)
- Source packet
resources/web/wand125-fine-net-n29-2026-10-10/README.md- Artifacts
7 artifacts and controls
resources/web/wand125-fine-net-n29-2026-10-10/README.mdresources/web/wand125-fine-net-n29-2026-10-10/reported-n29-followup.jsonresources/web/wand125-fine-net-n29-2026-10-10/source-manifest.jsonresources/web/wand125-fine-net-n29-2026-10-10/receipts/premises.jsonresources/web/wand125-fine-net-n29-2026-10-10/receipts/sample-diagnostic.jsondevtools/fine_net_followup.pydevtools/audit_wand125_declared_net.py- Case file
frontier/n-029.md(verified lower, verified upper, reported lower, reported upper)