Hiroaki Hosono

Years active
2026

Resources

Repositorysquare-packing

By Hosono

github.com/wand125/square-packingCanonical certificate and checker repository; historical source pins remain valid.

28 results (1 at S4, 27 at S3) · 27 records (1 at S4, 26 at S3)

Repositorysquare-packing-bounds

By Hosono

github.com/wand125/square-packing-boundsWeighted point and rectangle-density lower-bound certificates across many n.

36 results (34 at S3, 2 at S2) · 25 records (23 at S3, 2 at S2) · Review pending

Repository11SquaresFormalized

Contributors: ctjlewis, Hosono, Gurevitch, Julian-JJ, Guzhou0806, Ahmed

github.com/Queuingtheorydotcom/11SquaresFormalizedA Lean 4 formalization of that proof, trusting Lean's compiler for its certificates.

0 results

Repositoryvalid7-independent-check

By Hosono

github.com/wand125/valid7-independent-checkA second, independent exact checker of Valid7, the finite step of s(k² − 3) = k.

0 results

67 results (1 at S4, 62 at S3, 4 at S2) · 54 records (1 at S4, 49 at S3, 4 at S2) · Review pending · 6 credits (1 at S4, 5 at S3)

Results

Results: 67
  • T-044 (lower bound, 17 cases, n = 26 to 73): source author, credited contributor — Hosono, in [wand125 point bounds 2026]
  • T-045 (lower bound, 15 cases, n = 18 to 78): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026]
  • T-046 (lower bound, 48 cases, n = 18 to 95): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026]; [wand125 rectangle bounds 2026-09-28]
  • T-048 (lower bound, n = 50, 51): source author, credited contributor — Hosono, in [wand125 point and mixed bounds 2026-09-28]
  • T-054 (simplification, n = 45): source author, credited contributor — Hosono, in [wand125 point and mixed bounds 2026-09-28]
  • T-055 (simplification, n = 21): source author, credited contributor — Hosono, in [wand125 point and mixed bounds 2026-09-28]
  • T-058 (method limit, 100 cases, n = 1 to 100): source author, credited contributor — Hosono, in [wand125 tools 2026]
  • T-059 (audit, n = 11): source author, credited contributor — Hosono, in [wand125 tools 2026]
  • T-066 (optimality, n = 59): source author, credited contributor — Hosono, in [wand125 exact covers 2026-10-01]
  • T-067 (optimality, n = 77, 78): source author, credited contributor — Hosono, in [wand125 exact covers 2026-10-01]
  • T-068 (lower bound, 34 cases, n = 19 to 95): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026-10-01]
  • T-069 (lower bound, 5 cases, n = 37 to 92): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-01]
  • T-070 (lower bound, 25 cases, n = 29 to 95): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026-09-28]
  • T-071 (lower bound, n = 84, 85, 86, 87): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-02]
  • T-072 (lower bound, n = 76): source author, credited contributor — Hosono, in [wand125 mixed bounds n76 2026-10-02]
  • T-073 (lower bound, 6 cases, n = 83 to 105): source author, credited contributor — Hosono, in [wand125 linear certificates 2026-10-02]
  • T-074 (lower bound, 31 cases, n = 19 to 95): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026-10-01]
  • T-075 (lower bound, 9 cases, n = 83 to 96): source author, credited contributor — Hosono, in [wand125 mixed bounds afternoon 2026-10-02]
  • T-076 (lower bound, n = 82): source author, credited contributor — Hosono, in [wand125 linear n82 2026-10-02]
  • T-077 (lower bound, n = 20, 42, 70): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026-10-02]
  • T-080 (lower bound, 5 cases, n = 101 to 105): source author, credited contributor — Hosono, in [wand125 linear certificates 2026-10-02]
  • T-082 (lower bound, 22 cases, n = 51 to 96): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-03]
  • T-090 (lower bound, 17 cases, n = 42 to 96): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-04]
  • T-091 (lower bound, 17 cases, n = 53 to 95): source author, credited contributor — Hosono, in [wand125 mixed bounds evening 2026-10-04]
  • T-094 (lower bound, n = 67, 84): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-05]
  • T-096 (lower bound, n = 18): source author, credited contributor — Hosono, in [wand125 mixed bounds finer net 2026-10-05]
  • T-097 (lower bound, n = 66): source author, credited contributor — Hosono, in [wand125 mixed bounds finer net 2026-10-05]
  • T-099 (lower bound, n = 18): source author, credited contributor — Hosono, in [wand125 mixed bounds finer net 2026-10-06]
  • T-100 (lower bound, n = 19): source author, credited contributor — Hosono, in [wand125 mixed bounds finer net 2026-10-06]
  • T-102 (lower bound, n = 18): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-103 (lower bound, n = 19): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-104 (lower bound, n = 20): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-105 (lower bound, n = 26): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-106 (lower bound, n = 27): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-107 (lower bound, n = 28): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-108 (lower bound, n = 29): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-109 (lower bound, n = 30): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-110 (lower bound, n = 39): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-111 (lower bound, n = 41): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-132 (lower bound, n = 29): source author, credited contributor — Hosono, in [wand125 fine-net n29 2026-10-10] (Registered in: #487)
  • T-142 (lower bound, n = 28): source author, credited contributor — Hosono, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-143 (lower bound, n = 30): source author, credited contributor — Hosono, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-144 (lower bound, 5 cases, n = 122 to 126): source author, credited contributor — Hosono, in [wand125 linear n122 2026-10-10] (Registered in: #487)
  • T-176 (lower bound, n = 39): source author, credited contributor — Hosono, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-177 (lower bound, n = 44): source author, credited contributor — Hosono, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-178 (lower bound, n = 37): source author, credited contributor — Hosono, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-179 (lower bound, 5 cases, n = 145 to 149): source author, credited contributor — Hosono, in [wand125 linear n145 2026-10-13] (Registered in: #602)
  • T-180 (lower bound, 264 cases, n = 50 to 323): source author, credited contributor — Hosono, in [wand125 closed form 2026-10-14] (Registered in: #602)
  • T-192 (lower bound, n = 28): source author, credited contributor — Hosono, in [wand125 continuous n28 2026-10-15] (Registered in: #627)
  • T-200 (lower bound, n = 38): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-201 (lower bound, n = 40): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-202 (lower bound, n = 41): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-203 (lower bound, n = 43): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-204 (lower bound, n = 51): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-205 (lower bound, n = 68): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-206 (lower bound, n = 84): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-207 (lower bound, n = 85): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-208 (lower bound, n = 86): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-209 (lower bound, n = 88): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-210 (lower bound, n = 89): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-211 (lower bound, n = 91): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-212 (lower bound, n = 90): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-213 (lower bound, n = 92): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-214 (lower bound, n = 106): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-215 (lower bound, n = 107): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-216 (lower bound, n = 108): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-217 (lower bound, n = 110): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

Records: 54
  • T-048 (lower bound, n = 50, 51): source author, credited contributor — Hosono, in [wand125 point and mixed bounds 2026-09-28]
  • T-054 (simplification, n = 45): source author, credited contributor — Hosono, in [wand125 point and mixed bounds 2026-09-28]
  • T-055 (simplification, n = 21): source author, credited contributor — Hosono, in [wand125 point and mixed bounds 2026-09-28]
  • T-058 (method limit, 100 cases, n = 1 to 100): source author, credited contributor — Hosono, in [wand125 tools 2026]
  • T-059 (audit, n = 11): source author, credited contributor — Hosono, in [wand125 tools 2026]
  • T-066 (optimality, n = 59): source author, credited contributor — Hosono, in [wand125 exact covers 2026-10-01]
  • T-067 (optimality, n = 77, 78): source author, credited contributor — Hosono, in [wand125 exact covers 2026-10-01]
  • T-068 (lower bound, 34 cases, n = 19 to 95): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026-10-01]
  • T-069 (lower bound, 5 cases, n = 37 to 92): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-01]
  • T-074 (lower bound, 31 cases, n = 19 to 95): source author, credited contributor — Hosono, in [wand125 rectangle bounds 2026-10-01]
  • T-075 (lower bound, 9 cases, n = 83 to 96): source author, credited contributor — Hosono, in [wand125 mixed bounds afternoon 2026-10-02]
  • T-076 (lower bound, n = 82): source author, credited contributor — Hosono, in [wand125 linear n82 2026-10-02]
  • T-082 (lower bound, 22 cases, n = 51 to 96): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-03]
  • T-090 (lower bound, 17 cases, n = 42 to 96): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-04]
  • T-091 (lower bound, 17 cases, n = 53 to 95): source author, credited contributor — Hosono, in [wand125 mixed bounds evening 2026-10-04]
  • T-094 (lower bound, n = 67, 84): source author, credited contributor — Hosono, in [wand125 mixed bounds 2026-10-05]
  • T-097 (lower bound, n = 66): source author, credited contributor — Hosono, in [wand125 mixed bounds finer net 2026-10-05]
  • T-102 (lower bound, n = 18): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-103 (lower bound, n = 19): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-104 (lower bound, n = 20): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-105 (lower bound, n = 26): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-106 (lower bound, n = 27): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-107 (lower bound, n = 28): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-108 (lower bound, n = 29): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-109 (lower bound, n = 30): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-110 (lower bound, n = 39): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-111 (lower bound, n = 41): source author, credited contributor — Hosono, in [wand125 mixed bounds check2 2026-10-06]
  • T-132 (lower bound, n = 29): source author, credited contributor — Hosono, in [wand125 fine-net n29 2026-10-10] (Registered in: #487)
  • T-143 (lower bound, n = 30): source author, credited contributor — Hosono, in [wand125 fine-net n28 n30 2026-10-10] (Registered in: #487)
  • T-144 (lower bound, 5 cases, n = 122 to 126): source author, credited contributor — Hosono, in [wand125 linear n122 2026-10-10] (Registered in: #487)
  • T-176 (lower bound, n = 39): source author, credited contributor — Hosono, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-177 (lower bound, n = 44): source author, credited contributor — Hosono, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-178 (lower bound, n = 37): source author, credited contributor — Hosono, in [wand125 fine-net n37 n39 n44 2026-10-13] (Registered in: #602)
  • T-179 (lower bound, 5 cases, n = 145 to 149): source author, credited contributor — Hosono, in [wand125 linear n145 2026-10-13] (Registered in: #602)
  • T-180 (lower bound, 264 cases, n = 50 to 323): source author, credited contributor — Hosono, in [wand125 closed form 2026-10-14] (Registered in: #602)
  • T-192 (lower bound, n = 28): source author, credited contributor — Hosono, in [wand125 continuous n28 2026-10-15] (Registered in: #627)
  • T-200 (lower bound, n = 38): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-201 (lower bound, n = 40): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-202 (lower bound, n = 41): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-203 (lower bound, n = 43): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-204 (lower bound, n = 51): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-205 (lower bound, n = 68): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-206 (lower bound, n = 84): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-207 (lower bound, n = 85): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-208 (lower bound, n = 86): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-209 (lower bound, n = 88): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-210 (lower bound, n = 89): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-211 (lower bound, n = 91): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-212 (lower bound, n = 90): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-213 (lower bound, n = 92): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-214 (lower bound, n = 106): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-215 (lower bound, n = 107): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-216 (lower bound, n = 108): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]
  • T-217 (lower bound, n = 110): source author, credited contributor — Hosono, in [wand125 fine-net lower bounds 2026-10-16]

Facet comparisons awaiting review:

  • T-073: Unordered reported lower bound priority at n=101: T-073, T-080; Unordered reported lower bound priority at n=102: T-073, T-080; Unordered reported lower bound priority at n=103: T-073, T-080; Unordered verified lower bound priority at n=101: T-073, T-080; Unordered verified lower bound priority at n=102: T-073, T-080; Unordered verified lower bound priority at n=103: T-073, T-080; Unordered verified lower bound priority at n=104: T-073, T-080; Unordered verified lower bound priority at n=105: T-073, T-080
  • T-080: Unordered reported lower bound priority at n=101: T-073, T-080; Unordered reported lower bound priority at n=102: T-073, T-080; Unordered reported lower bound priority at n=103: T-073, T-080; Unordered verified lower bound priority at n=101: T-073, T-080; Unordered verified lower bound priority at n=102: T-073, T-080; Unordered verified lower bound priority at n=103: T-073, T-080; Unordered verified lower bound priority at n=104: T-073, T-080; Unordered verified lower bound priority at n=105: T-073, T-080

Credited work

  • T-047 (lower bound, 7 cases, n = 11 to 31): prerequisite — Hosono, in [Tokoharu density 2026]
  • T-133 (lower bound, n = 40): prerequisite — Hosono, in [Guzhou0806 n40 clipped corner 2026-10-10] (Registered in: #487)
  • T-145 (lower bound, n = 40): prerequisite — Hosono, in [Guzhou0806 n40 continuous pose 2026-10-10] (Registered in: #487)
  • T-157 (lower bound, n = 40): prerequisite — Hosono, in [Guzhou0806 n40 new supports 2026-10-11] (Registered in: #598)
  • T-184 (optimality, n = 76): prerequisite — Hosono, in [bengreff s76 certificate 2026-10-14] (Registered in: #602)
  • T-191 (optimality, n = 95): prerequisite — Hosono, in [bengreff s95 certificate 2026-10-15] (Registered in: #627; Supporting: #610)

Other reviewed records

Reviewed records: 227

Related News

Sources
  1. commit-author: Credit: “The source credits wand125; the commit is authored by Hiroaki Hosono.”
  2. source-manifest: attribution.credit is “wand125 (commit author Hiroaki Hosono)”.
  3. github-profile: The GitHub account wand125 gives its name as Hiroaki Hosono (read 2026-10-13).
  4. owner-confirmation: Decisions and Exceptions, the Hiroaki Hosono row: the owner’s instruction to credit his name and keep his GitHub and X handles.
  5. x-messages: Opening paragraph: three messages from wand125 (X: @wand_125, GitHub: wand125) to the project owner, 28 and 29 September 2026.
  6. primary-byline: Copyright (c) 2026 wand125.
  7. bibliography: Source authors and credits print Hosono; the bibliography keys keep the handle wand125, and the notes name Hiroaki Hosono as commit author.

Identity evidence