T-177: Mixed rectangle-measure lower bound reported, on a 2,073-direction declared net
V0 C1 Lower bound reviewed
A rectangle measure of wand125/square-packing, published on 13 October 2026 and reported on no issue, is reported to prove = 6.9975.
The certificate, mixed_n44_L69975, is a density of 606 uniform rectangles in D4 orbits, and no point mass, of total mass 4399999/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-132, T-142 and T-143. 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, in two complete runs, and a control with every mass scaled by 197/200 refused at 32 sampled directions.
The value is above T-090's 2789/400 = 6.9725, the verified and reported lower bound at , by 1/40, and 1/400 below the upper bound of 7.
Here the maintained readers accepted its exact mass, declared-net and check2 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.
Hosono 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 , 1/40 above T-090 and 1/400 below the upper bound of 7, by the certificate kind and declared net of T-132, T-142 and T-143, with no new technique, at S3 as they are.
- 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 17 CPU-hours. It waits for an owner budget and the candidate's retention where the census reads it (jlevy/squares#543), in think-u0av.
- Unfinished confirmations
- C3 (think-u0av): 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 16.95 CPU-hours, up to about 19.94 (priced 2026-10-14).
- Novelty
- previously-published Present in an identified source
The case
Results on the case
11 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-090
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-046
Rectangle-density lower bounds reported for 48 counts in
V0 C0 Lower bound recorded superseded by T-090
Hosono 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-090
Hosono 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
Hosono 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-090
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-090
Hosono 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-090
Hosono after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 rectangle bounds 2026-10-01 · packet · packet · source · review · register
2026-10-04 published T-090
Mixed rectangle-measure lower bounds verified at 17 counts in
V3 C3 Lower bound confirmed
Hosono after Tokoharu, Levy, Stromquist, Nagamochi, Burns, Massaccesi · wand125 mixed bounds 2026-10-04 · packet · source · review · register
2026-10-07 published T-124
Reported non-strict local minima for 178 source configurations
V0 C0 Restricted optimality recorded
Daniel after Couzo · Daniel exact and local reports 2026 · packet · register
2026-10-13 published T-177 this result
Mixed rectangle-measure lower bound reported, on a 2,073-direction declared net
V0 C1 Lower bound reviewed
Hosono after Tokoharu and Levy · wand125 fine-net n37 n39 n44 2026-10-13 · packet · register
Links
- On this site
- Case record, · Frontier row, · T-177 in the results table
On GitHub, at main
- Register
- T-177 in
results.yaml, line 23919 - Evidence
E-wand125-fine-net-n44-69975-report- Proofs and certificates
- certificate
bundle.json - Sources
- wand125 fine-net n37 n39 n44 2026-10-13
- Source packet
resources/web/wand125-fine-net-n37-n39-n44-2026-10-13/README.md- Artifacts
8 artifacts and controls
resources/web/wand125-fine-net-n37-n39-n44-2026-10-13/README.mdresources/web/wand125-fine-net-n37-n39-n44-2026-10-13/acquisition/sources.jsonresources/web/wand125-fine-net-n37-n39-n44-2026-10-13/square-packing/problems/square-lower-bounds/certificates/mixed_n44_L69975/bundle.jsonresources/web/wand125-fine-net-n37-n39-n44-2026-10-13/receipts/premises-n44.jsonresources/web/wand125-fine-net-n37-n39-n44-2026-10-13/receipts/sample-diagnostic-n44.jsonresources/web/wand125-fine-net-n37-n39-n44-2026-10-13/receipts/control-sample-n44.jsondevtools/fine_net_followup.pydevtools/audit_wand125_declared_net.py- Case file
frontier/n-044.md(verified lower, verified upper, reported lower, reported upper)