T-199: Daniel's smaller n229 update, replacing the opening certificate
V3 C3 Upper bound confirmed superseded by T-225
One complete rational source certificate reports a finite upper-bound improvement at the exact side it states: .
The certificate and its duplicate-square and outside-container controls were decided here on 19 October 2026 by both maintained exact routes, and the frozen comparison rebuilt; no route here is the source's code, so the replay is independently re-implemented. The 19 October review found no blocking defect.
The 18 October comment on issue 674 asks that this smaller certificate be registered in place of the opening value (T-198), which stays registered as the earlier report. The source states it is a dilation of a binary64 packing by 1 + 10^-12 with rational half-angle tangents, a nearby configuration of the opening packing with the same tilted structure, and credits Couzo's #672 packing, which refines de Winter's #668, as the start. The issue says the work was done with Claude (Claude Code) under Daniel's direction.
Significance, composition and next rung
- Significance
- The same arrangement family, 1.32e-05 below T-196 and 1.74e-06 below T-198; no lower bound or optimum.
- 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 19 October, is retained.
- Novelty
- previously-published Present in an identified source
The case
As published
Proven
- exact
Citation record n-229
lowerKarakuş 2026, arXiv corrects Nagamochi 2005 (confirmed T-083)
upperDaniel 2026, GitHub (confirmed T-225)
Open
- optimality
The case record
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-083
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-29 published T-083
for every nonsquare
V3 C3 Lower bound confirmed
Karakuş · Karakuş 2026 · source · register
2026-10-05 published T-101
Exact certificates of 77 catalogue packings:
s(n) ≤ S',1.2e-16to9.8e-15above each sideV3 C3 Upper bound confirmed on this case, superseded by T-225
Daniel after Couzo, de Winter, Ellsworth, Levy · evand exact optima 2026-10-05 · packet · register
2026-10-12 established T-155
Exact regularized sides at 59 counts,
5.4e-20to9.9e-15below the ceilings they replaceV3 C3 Upper bound confirmed on this case, superseded by T-225
2026-10-13 published T-180
Closed-form lower bound for every non-square , reported
V0 C1 Lower bound reviewed on this case, superseded by T-083
Hosono · wand125 closed form 2026-10-14 · packet · packet · register
2026-10-17 published T-196
de Winter reports three smaller rational upper bounds at 227, 229 and 260
V3 C3 Upper bound confirmed superseded by T-225
de Winter after Levy · de Winter upper bounds 2026-10-17 · packet · register
2026-10-17 published T-198
Daniel's opening n229 dilation certificate, after Couzo and de Winter
V3 C3 Upper bound confirmed superseded by T-225
Daniel after Couzo, de Winter, Levy · Daniel n229 dilation 2026-10-17 · packet · register
2026-10-17 published T-227
Couzo's refinements of de Winter's 227 and 229, below T-196 at both
V0 C0 Upper bound recorded superseded by T-225
Couzo after de Winter, Daniel, Levy · Couzo issue 672 2026-10-17 · packet · packet · register
2026-10-18 published T-199 this result
Daniel's smaller n229 update, replacing the opening certificate
V3 C3 Upper bound confirmed superseded by T-225
Daniel after Couzo, de Winter, Levy · Daniel n229 dilation update 2026-10-18 · packet · register
2026-10-20 published T-225
Daniel's solved, regularized views at 204, 227, 229 and 260, each the smallest side reported there
V3 C3 Upper bound confirmed
Daniel after Couzo, de Winter, Polkovskyi, Levy · Daniel regularized lists 2026-10-20 · packet · register
Links
- On this site
- Case record, · Frontier row, · T-199 in the results table
On GitHub, at main
- Register
- T-199 in
results.yaml, line 27866 - Evidence
E-evand-674-n229-update-report·E-evand-674-n229-update-exact-feasibility- Proofs and certificates
- certificate
source· certificatecandidates - Sources
- Daniel n229 dilation update 2026-10-18 (its own site, retained copy)
- Source packet
resources/web/evand-n229-dilation-update-2026-10-18/README.md- Artifacts
5 artifacts and controls
resources/web/evand-n229-dilation-update-2026-10-18/README.mdresources/web/evand-n229-dilation-update-2026-10-18/source/search/packer/candidates/s229_v2.certdocs/project/reviews/review-2026-10-19-upper-bound-imports-659-664-669-674.mdtests/test_upper_bound_reports.pytests/test_upper_bound_reports_659_664_669_674.py- Case file
frontier/n-229.md(verified lower, verified upper, reported lower, reported upper)