Every Result

Each result has an identifier, a claim, and three ratings, S, V and C, the rungs of the Verification Ladders under the table. Every credit names people: a result by others is credited to its authors as their source states it, and this project’s results to Joshua Levy, as Levy. X after Y means that X’s result rests directly on Y’s proof, method or tool, so the credit also says which results build on this project’s.

Under its rungs each result shows its kind, which says what it is: a lower bound, an upper bound, an optimality result, which settles an exact value, or one of the kinds that bound no case, such as a rigidity, a case exclusion or a simplification, a second and simpler proof of a value another result holds.

Its status, in a column of its own, is how far the work on it here has gone: recorded, registered from its source with nothing here yet read or replayed; reviewed, its argument read here; confirmed, a replay of its certificate passed; or incomplete, a defect found in it still open. Of the 112 results, 108 are confirmed; the rest are 1 recorded, 2 reviewed and 1 incomplete. The status follows the confirmation rung and is never set by hand; epistemics.md defines it. Beside it, in analysis marks a replay or review under way here and waiting on a request that is with the source or another party. A bound that no case bound rests on now is marked superseded, followed by the bounds its cases rest on instead. A result of another kind is marked superseded when the register records that a later result implies all of it, and superseded, in part, when a later result implies only some of it; either way the mark names the later result, and a result superseded in part stays current.

A star () marks a new result, as the atlas does: the verified lower bound of a case rests on it now, and it was proved or published on or after 22 August 2026. Open a row for the full claim and its novelty label, and follow its details, a link to a line, to the case file, the evidence, the retained source and the review. The newest, and the ones that matter most, are on the overview.

The table starts with every result showing, newest first. A result by others is dated by its publication, and this project’s by the day it was established. The filters narrow it by rating, kind, status, source, case and age, and they combine.

112 results
DateSResultnCreditRungsStatusID
2026-10-06 establishedTrump's packing is the only optimal packing of eleven squares, up to symmetry11Levy after QueuingtheorydotcomV3 C2uniquenessconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=41, on a declared net41wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=39, on a declared net39wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=30, on a declared net30wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=29, on a declared net29wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=28, on a declared net28wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=27, on a declared net27wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=26, on a declared net26wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=20, on a declared net20wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=19, on the finest declared net yet19wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 published★Mixed rectangle-measure lower bound verified at n=18, on the finest declared net yet18wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-06 publishedMixed rectangle-measure lower bound verified at n=19, past the best 18-square packing19wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-103
2026-10-06 publishedMixed rectangle-measure lower bound verified at n=18, on a finer declared net18wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-102
2026-10-05 publishedExact certificates of 77 catalogue packings: s(n) ≤ S', 1.2e-16 to 9.8e-15 above each side28, 37, 39, 41, 50, 51, 53–55, 69–71, 83, 87, 88, 101, 104, 107–109, 122, 124, 125, 127–129, 145–151, 153, 170, 171, 173–176, 178, 179, 197, 198, 200–205, 226, 227, 229–235, 257, 258, 260–262, 264–267, 290, 291, 293–296, 298–300Daniel after Couzo, de Winter, Ellsworth, LevyV3 C3upper boundconfirmed
2026-10-05 publishedExact optima of 48 known-best packings: s(n) ≤ S', 3.5e-13 to 5.0e-11 below each printed side68, 102, 103, 106, 110, 123, 126, 131, 132, 152, 154–156, 172, 177, 180–182, 199, 206–211, 228, 236–241, 259, 263, 268–273, 297, 301–307Daniel after Couzo, de Winter, Ellsworth, LevyV3 C3upper boundconfirmed
2026-10-05 published★Mixed rectangle-measure lower bound verified at n=6666wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-05 publishedMixed rectangle-measure lower bound replayed at n=18, on a net the certificate declares18wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-102
2026-10-05 published★s(12)≥7943/2000=3.9715, Daniel's points dilated and re-weighted12squarepacker after Daniel, LevyV3 C3lower boundconfirmed
2026-10-05 published★Mixed rectangle-measure lower bounds verified at n=67 and 8467, 84wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-04 published★Mixed rectangle-measure lower bounds verified at 17 counts in n=53…9553, 54, 58, 70–73, 76, 87–95wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-04 published★Mixed rectangle-measure lower bounds verified at 17 counts in n=42…9642–44, 51, 56, 57, 67, 69, 72, 75, 84, 86, 88, 93–96wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-03 publishedSmaller packings again at seven counts from n=208 to 306, each certified two independent ways208, 209, 228, 263, 272, 303, 306CouzoV3 C3upper boundconfirmed superseded by T-098
2026-10-03 published★Mixed rectangle-measure lower bounds verified at 22 counts in n=51…9651, 52, 55, 58, 69–71, 73–76, 86–96wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-03 publisheds(k2−4)=k for every integer k from 5 up; k=5…18 are the cases held here21, 32, 45, 60, 77, 96, 117, 140, 165, 192, 221, 252, 285, 320Daniel after Burns, MassaccesiV0 C1optimalityreviewed
2026-10-02 published★Linear-measure lower bound replayed at n=101…105101–105wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-02 establisheds(12)≥15680000/3949423=3.9702002…, Daniel's points re-weighted12Levy after DanielV3 C3lower boundconfirmed superseded by T-095
2026-10-02 publisheds(12)≥31360/7901=3.9691178…, Daniel's certificate rescaled by 7902/790112squarepacker after DanielV3 C3lower boundconfirmed superseded by T-095
2026-10-02 publishedRectangle-density lower bounds replayed at n=20, 42 and 7020, 42, 70wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-090, T-091 and T-104
2026-10-02 published★Linear-measure lower bound replayed at n=8282wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-02 published★Mixed rectangle-measure lower bounds replayed at nine counts in n=83…9683, 85–88, 91–93, 96wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-02 publishedLinear-measure lower bounds replayed at n=83 and n=101…10583, 101–105wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-02 publishedMixed rectangle-measure lower bound replayed at n=7676wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-091
2026-10-02 publishedMixed rectangle-measure lower bounds replayed at n=84…8784–87wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-075, T-090, T-091 and T-094
2026-10-01 published★Rectangle-density lower bounds replayed at 31 counts in n=19…9519, 20, 26–31, 38–44, 53–58, 68–70, 74, 75, 88, 89, 93–95wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-01 published★Mixed rectangle-measure lower bounds replayed at n=37,65,66,90,9237, 65, 66, 90, 92wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-01 publishedRectangle-density lower bounds verified at 34 counts in n=19…9519, 20, 26–31, 38–44, 53–56, 66, 68–70, 74–76, 86–90, 93–95wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-10-01 published★s(77)=9, by a mixed cover extended from Daniel's s(60) cover77, 78wand125 after Daniel, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3optimalityconfirmed
2026-10-01 published★s(59)=8, by a mixed cover of points and grid-line segments59wand125 after Daniel, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-30 published★s(17)>18641771/4000000=4.6604427517Guzhou0806 after Kleddamag, Mira, LevyV3 C3lower boundconfirmed
2026-09-30 published★s(k2−3)=k for every integer k from 6 up; k=6…18 are the cases held here33, 46, 61, 78, 97, 118, 141, 166, 193, 222, 253, 286, 321Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-29 published★s(k2−1)=k for every integer k≥3; k=3…18 are the cases held here8, 15, 24, 35, 48, 63, 80, 99, 120, 143, 168, 195, 224, 255, 288, 323KarakuşV3 C3optimalityconfirmed
2026-09-29 published★s(n)≥1/2+n−⌊n⌋+1/4 for every nonsquare 8≤n≤3248, 10–15, 17–24, 26–35, 37–48, 50–63, 65–80, 82–99, 101–120, 122–143, 145–168, 170–195, 197–224, 226–255, 257–288, 290–323KarakuşV3 C3lower boundconfirmed
2026-09-29 publisheds(11)>3875000000/999999999=3.875000003875…, 3.9e-9 above 31/811Wang, Li after Kleddamag, LevyV3 C3lower boundconfirmed superseded by T-060
2026-09-29 published★Trump's eleven-square packing is globally optimal11Queuingtheorydotcom after Levy, KleddamagV3 C3optimalityconfirmed
2026-09-29 publishedReported equality of 12028 n11 row minima reproduced by a complete bound replay11wand125 after Tokoharu, DanielV3 C3auditconfirmed
2026-09-29 publishedRectangle-certificate ceiling α·UB(n) proved for n=1..100; B·UB(n) on 64 grid rows1–100wand125 after Tokoharu, DanielV3 C3method limitconfirmed
2026-09-28 publishedRectangle-density lower bounds replayed at 25 counts in n=29…9529, 38, 39, 41–44, 51–55, 57, 59, 60, 67–74, 86, 95wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-062, T-066, T-068, T-074, T-082, T-090, T-091, T-094, T-108, T-110 and T-111
2026-09-28 published★s(61)=8, by monotonicity from T-06261Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-28 published★s(60)=8, by a mixed cover of points and grid-line segments60Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-28 publisheds(21)=5 by a point-only route21wand125 after Daniel, Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3simplificationconfirmed
2026-09-28 publisheds(45)=7 by a second, point-only route45wand125 after Daniel, Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3simplificationconfirmed
2026-09-28 published★s(50)≥37/5=7.450, 51wand125 after Daniel, Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed
2026-09-28 publisheds(17)>116511/25000=4.6604417Guzhou0806 after Kleddamag, Mira, LevyV3 C3lower boundconfirmed superseded by T-093
2026-09-28 publisheds(17)>233009/50000=4.6601817Guzhou0806 after Kleddamag, Mira, LevyV3 C3lower boundconfirmed superseded by T-093
2026-09-27 publishedSmaller packings for 49 counts from n=68 to 307, each certified two independent ways68, 102, 103, 105, 106, 110, 123, 130–132, 152, 154–156, 172, 177, 180–182, 199, 206–210, 228, 236–241, 259, 263, 268–273, 292, 297, 301–307CouzoV3 C3upper boundconfirmed
2026-09-27 published★s(45)=7, by a mixed cover of points and grid-line segments45Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-27 published★s(21)=5, by a mixed cover of points and grid-line segments21Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-27 publishedRectangle-density lower bounds reported for 48 counts in n=18…9518–20, 26–31, 37–44, 51–61, 66–78, 86, 88–91, 94, 95wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV0 C0lower boundrecorded superseded by T-062, T-063, T-064, T-066, T-067, T-068, T-069, T-074, T-082, T-090, T-091, T-094, T-097, T-102, T-103, T-104, T-105, T-106, T-107, T-108, T-109, T-110 and T-111
2026-09-27 publishedRectangle-density lower bounds replayed at 15 counts in n=18…7818–20, 26–28, 30–32, 40, 61, 75–78wand125 after Tokoharu, Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-051, T-063, T-064, T-067, T-068, T-074, T-090, T-091, T-102, T-103, T-104, T-105, T-106, T-107 and T-109
2026-09-27 publisheds(17)>466001/100000=4.6600117Kleddamag after Levy, Mira, Guzhou0806V3 C3lower boundconfirmed superseded by T-093
2026-09-26 published★s(32)=632Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2026-09-26 publisheds(17)>232001/50000=4.6400217Kleddamag after Levy, Mira, Guzhou0806V3 C3lower boundconfirmed superseded by T-093
2026-09-25 publisheds(17)>231001/50000=4.6200217Guzhou0806 after Kleddamag, Mira, LevyV3 C3lower boundconfirmed superseded by T-093
2026-09-24 publisheds(83)≤9.63475764863195 and s(87)≤9.83881526994915, Chang's packings, certified exactly83, 87Chang, Ellsworth after Cantrell, Hajba, Stenlund, Bidwell; Chang after Ellsworth, Cantrell, Schadt, Hajba, DeVincentisV3 C3upper boundconfirmed superseded by T-101
2026-09-24 publisheds(69)≤8.82719465572975, Ellsworth's degree-38 packing, certified exactly from its picture69Ellsworth after hmbelvedere, Cantrell, Schadt, MorandiV3 C3upper boundconfirmed superseded by T-101
2026-09-24 establishedTrump's pose is optimal among six-plus-five packings near its tilt, unique up to symmetry11LevyV3 C2restricted optimalityconfirmed superseded in part by T-060 and T-112
2026-09-24 establishedSix-plus-five packings near Trump's tilt with side ≤Uhi lie within rho of his pose11LevyV3 C3case exclusionconfirmed
2026-09-23 publisheds(21)≥5000/1001=4.995004995…21Daniel after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-052
2026-09-23 establisheds(21)≥122/25=4.8821Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-052
2026-09-22 publisheds(11)≥381/100; s(n)≥1377/250 for n=26…28; s(n)≥571/100 for n=29…3111, 26–31Tokoharu after Levy, wand125, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-060, T-068, T-074, T-105, T-106, T-107, T-108 and T-109
2026-09-22 publishedWeighted point lower bounds for ten counts in n=26…72, plus seven from the same files26, 29, 39–41, 52–57, 68–73wand125 after Levy, Stromquist, Nagamochi, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-068, T-074, T-082, T-090, T-091, T-105, T-108, T-110 and T-111
2026-09-22 publisheds(11)>31/8=3.87511Kleddamag after Levy, Guzhou0806, MiraV3 C3lower boundconfirmed superseded by T-060
2026-09-22 establisheds(11)≥9550002073600042893309449/359341754646249=3.8269975…11LevyV3 C3lower boundconfirmed superseded by T-060
2026-09-21 publisheds(17)≤4.6755300936045509…, Bidwell's packing certified exactly17Kleddamag after Levy, Mira, Guzhou0806V3 C3upper boundconfirmed
2026-09-21 publisheds(17)>461300/99853=4.6197910929…17Kleddamag after Levy, Mira, Guzhou0806V3 C3lower boundconfirmed superseded by T-093
2026-09-20 publisheds(17)≥461300/99999=4.61304613…, and beneath it Mira's s(17)≥4613/100017Guzhou0806, Mira after Levy, Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-093
2026-09-20 establishedThe octagon corner class (threshold 1/2) holds no eleven-square packing at side 96/2511LevyV3 C3case exclusionconfirmed superseded by T-060
2026-09-19 establisheds(18)≥4679/1000=4.67918Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-102
2026-09-19 establisheds(18)≥1871/400=4.677518Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-102
2026-09-19 establisheds(18)≥187/40=4.67518Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-102
2026-09-18 establisheds(18)≥467/100=4.6718Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-102
2026-09-16 publisheds(211)≤14.99796070496771500150<15, the first packing of 211 squares below the grid on record211de WinterV3 C3upper boundconfirmed superseded by T-098
2026-09-09 establisheds(11)≥955000518400042893309449/179696714646249=3.8264474…11LevyV3 C3lower boundconfirmed superseded by T-060
2026-09-09 establisheds(11)≥191/50=3.82, by a threshold certificate11LevyV3 C3lower boundconfirmed superseded by T-060
2026-09-09 establisheds(11)≥3175000518400042893309449/598960960743657=3.8166095…11Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-060
2026-09-08 establishedConditional exclusion: no eleven-square packing in the four-owner branch at q=96/2511LevyV3 C3case exclusionconfirmed superseded in part by T-060
2026-09-06 establisheds(11)≥381008100042893309449/899996306539=3.8100257…11Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-060
2026-09-05 establisheds(n)≥97/20=4.85 for n=20,2120, 21Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-052 and T-104
2026-09-04 published★s(k2−2)=k for every integer k≥2; k=3…18 are the cases held here7, 14, 23, 34, 47, 62, 79, 98, 119, 142, 167, 194, 223, 254, 287, 322chelokotV3 C3optimalityconfirmed
2026-09-04 publishedNagamochi 2005, Lemma 1 is false for every container with a>3 and b>210–324Karakuş; chelokotV3 C3correctionconfirmed
2026-09-04 establisheds(n)≥24/5=4.80 for n=19,20,2119–21Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-052, T-103 and T-104
2026-09-04 establisheds(n)≥459/100=4.59 for n=17,18,1917–19Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-093, T-102 and T-103
2026-09-04 establisheds(11)≥381/100=3.8111Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-060
2026-09-04 establisheds(12)≥99/25=3.9612Levy after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-095
2026-09-03 establishedGoebel's n=5 optimum is rigid at fixed side: its pose is an isolated feasible point5LevyV3 C3rigidityconfirmed
2026-08-31 establishedBentz 2010, Lemma 10 is false as printed and true as corrected to (1.74,1)13Levy after BentzV3 C3correctionconfirmed
2026-08-31 establishedThe sixteen-point set's unavoidability ceiling lies in [4426213/1000000,4427/1000)17, 18Levy after BentzV3 C3method limitconfirmed
2026-08-31 establisheds(18)≥4426213/1000000, by monotonicity from T-00118Levy after BentzV3 C3lower boundconfirmed superseded by T-102
2026-08-31 establisheds(17)≥4426213/1000000=4.426213, from a sixteen-point unavoidable set17Levy after BentzV3 C3lower boundconfirmed superseded by T-093
2026-08-30 establishedGoebel's n=40 packing: seven verified first-order flexes, each refused at second order40LevyV3 C3rigidityconfirmed
2026-08-30 establishedGoebel's n=5 packing is second-order rigid at fixed side5LevyV3 C3rigidityconfirmed
2026-08-29 establisheds(29)≤5.933833…, by a Krawczyk interval certificate29LevyV3 C3upper boundconfirmed
2026-08-25 publisheds(12)≥15680/3951=3.9686155…12Daniel after Burns, MassaccesiV3 C3lower boundconfirmed superseded by T-095
2026-08-24 establisheds(11)≥2+4/5, by a repair of Stromquist 2003's Figure 14 point set11Levy after StromquistV3 C3lower boundconfirmed superseded by T-060
2026-08-21 publisheds(n)≥22529/5000 for n=18,19, by monotonicity from T-01518, 19Massaccesi after BurnsV3 C3lower boundconfirmed superseded by T-102 and T-103
2026-08-21 publisheds(17)≥22529/5000=4.505817Massaccesi after BurnsV3 C3lower boundconfirmed superseded by T-093
2018 publisheds(37)≥53/2+22−1 and s(61)≥73/2+22−1, by optimal piercing37, 61Bašić, SlivkováV3 C1lower boundreviewed superseded by T-063 and T-069
2010-09-13 publisheds(46)=746BentzV3 C3optimalityconfirmed
2010-09-13 publisheds(13)=413Bentz; Daniel after Burns, MassaccesiV3 C3optimalityconfirmed
2010-09-13 publishedBentz 2010, Theorem 8 (s(46)≥7) is correct as printed, machine-audited in full46BentzV3 C3auditconfirmed
2005 publisheds(n)≥min(⌈n⌉,n−2⌊n⌋+1+1) for 4≤n≤3244–324NagamochiV0 C1lower boundincomplete
1979 publishedTrump's 1979 packing is exactly valid, so s(11)≤3.877083590022814…11TrumpV3 C3upper boundconfirmed

Significance

Verification V0 V1 V2 V3 V4 V5 Confirmation C0 C1 C2 C3 C4 C5

new result What each rung means

Verification Ladders

The three ratings on every row are rungs of three ladders, defined in epistemics.md: S, how significant the result is; V, how it was originally verified, the strongest verification its own evidence supports; and C, how it has been confirmed, what this repository has checked itself. The V and C of a result by others are this repository’s own verification of it, under the policy epistemics.md states. Each ladder’s name links its section of the rubric, and a chip’s title is the rubric’s full meaning of the rung.

Level
Significance How significant is the result?
Verification How was it originally verified?
Confirmation How has it been confirmed?
Level 5
Moves a central open case, or broad adoption
V5Formal, expert-reviewed
C5Formal, replayed here, open, two experts
Level 4
Reusable technique, bound family, or settled value
V4Mechanized, AI-reviewed, human-overseen
C4Mechanized confirmation, AI-reviewed, overseen
Level 3
A substantive case result or machine audit
V3Checkable; review record pending
C3Machine-replayed; review record pending
Level 2
A citable detail that changes no theorem
V2Proof asserted, not recoverable
C2Replayed, no machine certificate
Level 1
Bookkeeping or a routine consequence
V1Numerically checked
C1Read
Level 0
V0Claimed or recorded only
C0Recorded

The ladders grade a result; the evidence under it carries one of three assurance labels: reported, a named source’s claim not checked here; numerically checked, a finite-precision calculation with its precision, rounding and tolerance recorded; and verified, an exact check, rigorous interval certificate or complete proof covering the claim and its preconditions. A verified packing proves an upper bound only; calling it optimal needs a matching verified lower bound.

Finite precision is not enough where squares touch exactly. A tolerance that accepts a true zero-gap contact also accepts a small overlap, so a contact-heavy packing is verified only with exact algebraic signs or outward-rounded intervals (why). Schadt’s n=29 packing passes its 300-digit numerical check, while the interval witness that is verified proves a slightly weaker side; Trump’s n=11 packing is verified exactly over a degree-eight number field, fourteen zero-gap contacts included.

The same checks audit published work, where the theorem stays the source’s and this repository adds an exact machine check: T-004 and T-008 check Bentz’s 2010 Theorem 8, both halves of s(46)=7 included, and T-011 checks Trump’s 1979 packing for eleven squares.