T-243: Daniel's new arrangement at 182, 3.17e-3 below T-174
V3 C3 Upper bound confirmed
One complete rational source certificate reports a finite upper-bound improvement at the exact side it states: , 3.17e-3 below T-174, the case's house best packing when it was reported, and below every report at 182.
The certificate and its duplicate-square and outside-container controls were decided here on 25 October 2026 by both maintained exact routes. Those routes share components with the producer: both read the certificate through the evand-cert adapter, whose reader's line filter and corner construction are transcribed from Daniel's own checkers, the ones the certificate names. The 25 October review decided it again on a clean-room checker of its own, by separating axes and by exact clipped areas with fourteen controls, by a Claude agent, a system family the producer also used, and found no blocking defect, so the bound is confirmed, independently re-implemented.
It is search/packer/candidates/s182-1024.cert in Daniel's watched repository (https://github.com/evand/square-packing), committed on 25 October 2026 at 04:11:15Z and pushed at 04:16:05Z, 19 seconds before issue 806 reported it as 13.970916436215, its side rounded up at 12 places.
Credit Daniel (https://github.com/evand/square-packing), from an L-cut of Couzo's 211 packing (T-188), an arrangement of Ostashev's design (T-175). The issue asks that "the register's packing (Ostashev; also in Couzo's repository)" be credited as the start; the register's packing at the side the issue gives for it is T-188's, and where T-188 differs from Ostashev's own 211 packing the certificate follows T-188 (M-1 of the 25 October review).
The issue says one L-cut job removed a strip of 29 squares, a row and a column along two walls, and relaxed the rest, and a local search took that to this side. Measured square for square by the review, the 29 squares the 182 do not use are T-188's right column and top row, and of the other 182, 17 move beyond 0.1 (largest 0.464), 156 beyond 1e-2 and 173 beyond 1e-3. Against T-174's packing no symmetry pairs it one to one, so it is another arrangement.
Two Kaggle per-puzzle leaderboard entries the issue quotes state a side and no packing, so neither is a report: Subramanya N's 13.9709164362306 of 24 October, 1.59e-11 above this side and listed before the source's search found the packing, by the issue's account, and Prathamesh Chavan's 13.9727613470647 of 23 October. The source's credits say its work was produced by Claude (Anthropic) under human direction, and the commit carries a Co-Authored-By trailer naming Claude.
Significance, composition and next rung
- Significance
- A new arrangement at 182, 3.17e-03 below the house (T-174) and every packing reported there: no symmetry pairs it one to one with the house's packing by nearest centres, and the optimal assignment moves 44 squares beyond a tenth and 79 beyond a hundredth, as T-158's 2.95e-03 to 3.44e-03, T-164's 1.75e-03 and T-240's 4.45e-03 and 2.78e-03 (S3) are; well above T-188's further arrangement (S2). No lower bound or optimum; the cross-count construction is the source's search method, not a result here.
- Next rung
- None for the bound. V4 and C4 need a second accepted adversarial review by a distinct reviewer and a retained human oversight record; one AI review, of 25 October, is retained. The review's questions for the author (the start's credit, the cut, an enclosure of the KKT point and the certificate's format line) hold no rung. It is the smallest validated side at 182, and the case adopted it there on 25 October 2026 under the house rule, with both strong generators' regularization of the new house.
- Regularized drawings
- n = 182: a regularization of T-243’s packing by Levy (Daniel's search/regularize (MIT), evand/square-packing@675a5ea, conservative, coincide, through devtools.regularize_evand; the project’s modifications: same-side exact re-solve (devtools.regularize_same_side); at its own side; 5 free angles moved; identity: measured here; nearest centres one to one; 37 squares moved, at most 0.380693; turns up to 0.364276°).
- Novelty
- previously-published Present in an identified source
The case
As published
Proven
- exact
Citation record n-182
lowerKarakuş 2026, arXiv corrects Nagamochi 2005 (confirmed T-083)
upperDaniel 2026, GitHub (confirmed T-243)
Open
- optimality
The case record
Results on the case
8 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-083 and T-180 (reported)
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-056
Smaller packings for 49 counts from to , each certified two independent ways
V3 C3 Upper bound confirmed superseded by T-243
Couzo · franciscouzo square-packing 2026-09-27 · packet · register
2026-09-29 published T-083
for every nonsquare
V3 C3 Lower bound confirmed
Karakuş · Karakuş 2026 · source · register
2026-10-05 published T-098
Exact optima of 48 known-best packings:
s(n) ≤ S',3.5e-13to5.0e-11below each printed sideV3 C3 Upper bound confirmed on this case, superseded by T-243
Daniel after Couzo, de Winter, Ellsworth, Levy · evand exact optima 2026-10-05 · packet · register
2026-10-13 published T-174
Tighter certificates at 68 counts from PingYou Ltd, of others' packings and its own
V3 C3 Upper bound confirmed on this case, superseded by T-243
PingYou Ltd after Friedman, Ellsworth, Daniel, Xu, Barnett, Couzo, Ostashev, Chaoweeraprasit, Gupta, Fang, Polkovskyi, Levy · PingYou PR 574 certificates 2026-10-13 · packet · register
2026-10-13 published T-180
Closed-form lower bound for every non-square , reported
V0 C1 Lower bound reviewed
Hosono · wand125 closed form 2026-10-14 · packet · packet · register
2026-10-25 published T-243 this result
Daniel's new arrangement at 182, 3.17e-3 below T-174
V3 C3 Upper bound confirmed
Daniel after Couzo, Ostashev, Levy · Daniel n182 2026-10-25 · packet · register
Links
- On this site
- Case record, · Frontier row, · T-243 in the results table
- Issues
- Issue #806
On GitHub, at main
- Register
- T-243 in
results.yaml, line 34733 - Evidence
E-evand-n182-certificate-report·E-evand-n182-exact-feasibility·E-evand-n182-review-exact-feasibility- Proofs and certificates
- certificate
s182-1024.cert - Sources
- Daniel n182 2026-10-25 (its own site, retained copy)
- Source packet
resources/web/evand-n182-2026-10-25/README.md- Artifacts
15 artifacts and controls
resources/web/evand-n182-2026-10-25/README.mdresources/web/evand-n182-2026-10-25/acquisition/claims.jsonresources/web/evand-n182-2026-10-25/source/search/packer/candidates/s182-1024.certresources/web/evand-n182-2026-10-25/receipts/exact-certification.json.xzresources/web/evand-n182-2026-10-25/receipts/sharp-controls.jsonresources/web/evand-n182-2026-10-25/measure/identity.jsoncampaign/issue-intake/upper-bounds-issue806-20261025/README.mddevtools/upper_bound_reports.pydocs/project/reviews/review-2026-10-25-evand-n182.mdresources/web/evand-n182-2026-10-25/review/review-2026-10-25/README.mdtests/test_upper_bound_reports.pytests/test_upper_bound_reports_806.pyresources/web/evand-n182-2026-10-25/receipts/sharp-controls.jsonresources/web/evand-n182-2026-10-25/review/review-2026-10-25/out/check-s182-1024.jsonresources/web/evand-n182-2026-10-25/review/review-2026-10-25/out/controls-s182-1024.json- Case file
frontier/n-182.md(verified lower, verified upper, reported lower, reported upper)