Issues

• s(130) ≤ 11.902430646: registration request

  jlevy/squares#843 · Filter by author franciscouzo opened on Oct 27, 2026

• s(44) = 7: registration request

  jlevy/squares#842 · Filter by author moh63-dev opened on Oct 26, 2026

• 1182–9944: 2484 new and 1434 lowered upper bounds, two-strip construction (Zenodo v5): registration request

  jlevy/squares#836 · Filter by author mohsensbu-jpg opened on Oct 26, 2026
  3

• s(299) ≤ 17.803695435333: registration request

  jlevy/squares#824 · Filter by author evand opened on Oct 26, 2026
  2

• s(29): validating Evan Daniel's degree-7213 minimal polynomial of the record side (T-246)

  intaken-29tracker
  jlevy/squares#816 · Filter by author jlevy opened on Oct 25, 2026

• Exact side polynomials: tracking the backfill of minimal polynomials for record sides

  intaketracker
  jlevy/squares#811 · Filter by author jlevy opened on Oct 25, 2026
  1

• Exact values of the record sides for n = 88, 126, 172, 199, 263 (minimal polynomials): registration request

  intake
  jlevy/squares#804 · Filter by author HyukdongKim opened on Oct 25, 2026
  7

• Result registration: 683 new upper bounds, n in [1184, 3775] — Karimi two-strip construction

  blocked:dependencyintake
  jlevy/squares#799 · Filter by author mohsensbu-jpg opened on Oct 24, 2026
  9

• T-238: chelokot reports Lean proofs of s(2), s(3), s(4) = 2, s(5) = 2.707…; Daniel, rectangle theorems — review tracking

  intake
  jlevy/squares#786 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-236: Daniel reports Lean proofs of Fang's Theorems 1 and 2, s(n² − n + 1) < n for n ≥ 15 — review tracking

  intake
  jlevy/squares#784 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-235: Hosono reports a Lean kernel proof that s(59) = 8, on Daniel's mixed-measure checker — review tracking

  blocked:owner-decisionintake
  jlevy/squares#783 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-234: Hosono reports a hypothesis-free Lean proof that s(21) = 5, by the point-only route — review tracking

  blocked:computeintake
  jlevy/squares#782 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-192: Continuous-pose lower bound s(28) > 1149/200 reported, by two of the source's programs — review tracking

  blocked:computeintake
  jlevy/squares#780 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-179: Linear-measure lower bound s(n) ≥ 306/25 = 12.24 for n = 145…149, reported — review tracking

  blocked:computeintake
  jlevy/squares#779 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-144: Linear-measure lower bound s(n) ≥ 563/50 = 11.26 for n = 122…126, reported — review tracking

  blocked:computeintake
  jlevy/squares#778 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-143: Mixed rectangle-measure lower bound s(30) ≥ 2357/400 reported, on a 2,073-direction declared net — review tracking

  blocked:computeintake
  jlevy/squares#777 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-142: Mixed rectangle-measure lower bound s(28) ≥ 2297/400 reported, on a 2,073-direction declared net — review tracking

  blocked:computeintake
  jlevy/squares#776 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-112: Trump's packing is the only optimal packing of eleven squares, up to symmetry — review tracking

  blocked:owner-decisionintake
  jlevy/squares#775 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-087: s(37) ≥ 5√3/2 + 2√2 − 1 and s(61) ≥ 7√3/2 + 2√2 − 1, by optimal piercing — review tracking

  intake
  jlevy/squares#774 · Filter by author jlevy opened on Oct 24, 2026
  1

• T-036: Trump's pose is optimal among six-plus-five packings near its tilt, unique up to symmetry — review tracking

  blocked:owner-decisionintake
  jlevy/squares#772 · Filter by author jlevy opened on Oct 24, 2026
  1

• 268–9802: registration request

  blocked:authorintake
  jlevy/squares#763 · Filter by author franciscouzo opened on Oct 23, 2026
  4

• 328–10000: Registration Request (5,468 Exact Rational Certificates), Complete Resolution of Couzo #715, and Algebraic Boundary Saturation Proof

  blocked:owner-decisionintake
  jlevy/squares#732 · Filter by author Mishapolk opened on Oct 22, 2026
  6

• New packings: 122 verified upper bounds for square packing (N in [105, 1568]): registration request

  blocked:owner-decisionintake
  jlevy/squares#719 · Filter by author Mishapolk opened on Oct 22, 2026
  8

• 328-9913: registration request

  blocked:owner-decisionintake
  jlevy/squares#715 · Filter by author franciscouzo opened on Oct 21, 2026
  9

• 100 certified larger-count square packings (328–998): registration request

  blocked:owner-decisionintake
  jlevy/squares#686 · Filter by author gfppoy opened on Oct 19, 2026
  6