{ "what": "The kissing ledger: every public record configuration for the kissing number, re-decided in exact arithmetic over Z[sqrt2] on BigInt — shared-nothing with every producer's own verifier. A direction set with pairwise angles >= 60 degrees IS a kissing configuration; the decision is <= 0 or 4^2 <= , exact, per pair.", "scope": "Lower-bound witnesses. No upper-bound (SDP) claim is touched. Since 2026-10-05 the deepest-empty-cap search runs on decided configurations (instruments/kissing/holes): it only proposes, in floating point, and nothing it returns is a row until it is decided exactly. The September wave (wave) is decided over Q(sqrt2, sqrt3) by tools/run-kissing-wave.py and re-checked here.", "provenance": { "corpus/kissing/alphaevolve-d11-593.json": "2cce2543e48c89aa3e91614272a698a0147dd2548ea11cf92f1292b7435d38ff", "corpus/kissing/ea-d11-594-winner.json": "bceb47d0a5721fa151f85bf062404813ee5df60b206fcfbd6d4a7a1fb3965f73", "corpus/kissing/station-d11-604.json": "61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37", "corpus/kissing/ea-d11-604.json": "0bde9ca2c434d7beb5af63a64a291498e8c264d9a5718b738e92dd70b9ba7761", "corpus/kissing/ea-open-rungs.json": { "kissing-number-d11-605": "dc165ce713b45ea249531f8d3e2d7066b7647cf0a6d330da00a5be0f79194262", "kissing-number-d12": "57e0edd3816ffaaa4370ff62e7dbeba329c1146c03ef86c6e9c78ebde241dd61", "kissing-number-d12-842": "8bb3b293d6585a6cfac7026681876ff1293ad91266368e4d4d50900aae8b2bc3" } }, "generated": "2026-10-06T00:19:59.160Z", "git": "054078d", "rows": [ { "id": "cal-d4-24", "claimant": "classical (generated here)", "claim": "K(4) >= 24 — exact value, Musin 2003", "source": "D4 root directions", "verdict": "CERTIFIED", "n": 24, "dim": 4, "pairs": 276, "contacts": 96, "uniformNorm": null, "worst": { "i": 0, "j": 4, "cos2Approx": 0.25 }, "ms": 1 }, { "id": "cal-e8-240", "claimant": "classical (generated here)", "claim": "K(8) = 240 — exact value, Levenshtein / Odlyzko–Sloane 1979", "source": "E8 root directions", "verdict": "CERTIFIED", "n": 240, "dim": 8, "pairs": 28680, "contacts": 6720, "uniformNorm": null, "worst": { "i": 0, "j": 4, "cos2Approx": 0.25 }, "ms": 11 }, { "id": "alphaevolve-593", "claimant": "AlphaEvolve (Novikov et al., DeepMind)", "claim": "K(11) >= 593 — the May 2025 record", "source": "github.com/google-deepmind/alphaevolve_results mathematical_results.ipynb cell B.11", "verdict": "CERTIFIED", "n": 593, "dim": 11, "pairs": 175528, "contacts": 0, "uniformNorm": null, "worst": { "i": 321, "j": 325, "cos2Approx": 0.2499999999997728 }, "ms": 107, "upstream_sha256": "2cce2543e48c89aa3e91614272a698a0147dd2548ea11cf92f1292b7435d38ff", "form": "integer vectors, entries up to ~8.7e12", "date": "2025-05-14", "dateSource": "AlphaEvolve white paper and results notebook, May 2025" }, { "id": "ea-594-winner", "claimant": "EinsteinArena agents (Bianchi et al. platform)", "claim": "K(11) >= 594 — the solved n=594 rung, score-0 winner (solution #1492)", "source": "https://einsteinarena.com/api/solutions/best?problem_id=6", "verdict": "CERTIFIED", "n": 594, "dim": 11, "pairs": 176121, "contacts": 17088, "uniformNorm": null, "worst": { "i": 0, "j": 22, "cos2Approx": 0.25 }, "ms": 66, "upstream_sha256": "bceb47d0a5721fa151f85bf062404813ee5df60b206fcfbd6d4a7a1fb3965f73", "form": "decimal literals read as exact rationals", "date": "2026-04-10", "dateSource": "createdAt of solution #1492 on the platform API (2026-04-10T23:13:59Z)", "sharedDirectionsWith": { "ea-604": 496, "station-shell-582": 176 }, "nonIntegerVectors": 98 }, { "id": "station-604-1", "claimant": "The Station agents (dualverse-ai)", "claim": "K(11) >= 604 — configuration 1 of three", "source": "github.com/dualverse-ai/station_data_v2 artifacts/kissing_number/kissing_certificates.npz", "verdict": "CERTIFIED", "n": 604, "dim": 11, "pairs": 182106, "contacts": 19704, "uniformNorm": true, "worst": { "i": 0, "j": 15, "cos2Approx": 0.25 }, "ms": 66, "upstream_sha256": "61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37", "form": "(a + b*sqrt2)/6 entries, shell norm exactly 4", "date": "2026-08-24", "dateSource": "dualverse-ai/station_data_v2 initial public release 606e325f and arXiv:2608.23691 v1, both 2026-08-24", "gram": { "distinct": 22, "sha256": "bc11bd62f673b651fc79f15509903bceaff38bf7e884209b8120e98eb84a6507", "vertexSha256": "e5c7445ea541cc935637cc1bbc2bef9bb8c14c9ea0ed6d49a538b7f69db99065", "multiset": "-1,0/1x302 -1,0/2x19704 -1,0/4x19968 -3,-1/12x2304 -3,-2/12x4608 -3,1/12x2304 -3,2/12x4608 0,-1/12x2304 0,-1/3x384 0,-1/4x768 0,-1/6x3072 0,0/1x61756 0,1/12x2304 0,1/3x384 0,1/4x768 0,1/6x3072 1,0/2x19704 1,0/4x19968 3,-1/12x2304 3,-2/12x4608 3,1/12x2304 3,2/12x4608" } }, { "id": "station-604-2", "claimant": "The Station agents (dualverse-ai)", "claim": "K(11) >= 604 — configuration 2 of three", "source": "github.com/dualverse-ai/station_data_v2 artifacts/kissing_number/kissing_certificates.npz", "verdict": "CERTIFIED", "n": 604, "dim": 11, "pairs": 182106, "contacts": 22904, "uniformNorm": true, "worst": { "i": 0, "j": 1, "cos2Approx": 0.25 }, "ms": 60, "upstream_sha256": "61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37", "form": "(a + b*sqrt2)/6 entries, shell norm exactly 4", "date": "2026-08-24", "dateSource": "dualverse-ai/station_data_v2 initial public release 606e325f and arXiv:2608.23691 v1, both 2026-08-24", "gram": { "distinct": 14, "sha256": "8f7465ebef06ee170355b1dd3d646735ce897f117d4e5010f71ad6d6d8dcc57a", "vertexSha256": "caf34ab7dd815f7b99398dfce0aeead13c3efea751e50f67281395b1e93c2c03", "multiset": "-1,0/1x302 -1,0/2x22904 -1,0/4x24064 -2,-1/8x3584 -2,1/8x3584 0,-1/4x256 0,-1/8x2048 0,0/1x68924 0,1/4x256 0,1/8x2048 1,0/2x22904 1,0/4x24064 2,-1/8x3584 2,1/8x3584" } }, { "id": "station-604-3", "claimant": "The Station agents (dualverse-ai)", "claim": "K(11) >= 604 — configuration 3 of three", "source": "github.com/dualverse-ai/station_data_v2 artifacts/kissing_number/kissing_certificates.npz", "verdict": "CERTIFIED", "n": 604, "dim": 11, "pairs": 182106, "contacts": 22840, "uniformNorm": true, "worst": { "i": 0, "j": 1, "cos2Approx": 0.25 }, "ms": 63, "upstream_sha256": "61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37", "form": "(a + b*sqrt2)/6 entries, shell norm exactly 4", "date": "2026-08-24", "dateSource": "dualverse-ai/station_data_v2 initial public release 606e325f and arXiv:2608.23691 v1, both 2026-08-24", "gram": { "distinct": 15, "sha256": "e943318d751a361df424463dde0aa8d5e1f83644d42f426e802d7c3239d8838d", "vertexSha256": "3a67c142235395fb81ea7d73d77b2ab7c6a87e7ed383a23f2307c4c9d0aa01ea", "multiset": "-1,0/1x238 -1,0/2x21944 -1,0/4x25344 -2,-1/8x3584 -2,1/8x3584 -3,0/4x384 0,-1/4x256 0,-1/8x2048 0,0/1x67964 0,1/4x256 0,1/8x2048 1,0/2x22840 1,0/4x24448 2,-1/8x3584 2,1/8x3584" } }, { "id": "station-shell-582", "claimant": "classical (Best 1977 class; bytes from the Station bundle)", "claim": "K(11) >= 582 — the pre-2022 record shell, integer norm-4 maximum (Lean-proved maximal by the Station)", "source": "github.com/dualverse-ai/station_data_v2 artifacts/kissing_number/kissing_certificates.npz", "verdict": "CERTIFIED", "n": 582, "dim": 11, "pairs": 169071, "contacts": 22560, "uniformNorm": null, "worst": { "i": 0, "j": 1, "cos2Approx": 0.25 }, "ms": 54, "upstream_sha256": "61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37", "form": "integer vectors", "date": "1980-01-01", "dateSource": "M. R. Best, IEEE Trans. Inform. Theory 26 (1980) — the norm-4 shell class; the year, not a day" }, { "id": "station-d12-lift", "claimant": "The Station agents (dualverse-ai)", "claim": "construction device: 604 integer D12 vectors whose oblique shadow is configuration 3 (also a valid 604-point direction set in R^12)", "source": "github.com/dualverse-ai/station_data_v2 artifacts/kissing_number/kissing_certificates.npz", "verdict": "CERTIFIED", "n": 604, "dim": 12, "pairs": 182106, "contacts": 22840, "uniformNorm": null, "worst": { "i": 0, "j": 1, "cos2Approx": 0.25 }, "ms": 66, "upstream_sha256": "61b3a572ad194a3b97d8bcae8694d57ae676328a81ef0e4db95e57a2c9d44f37", "form": "integer vectors in R^12" }, { "id": "ea-604", "claimant": "EinsteinArena (Bianchi, Kwon, Pappu, Zou — arXiv:2606.10402)", "claim": "K(11) >= 604 — the paper's headline result, credited by Cohn's reference table (2026-06-22)", "source": "github.com/togethercomputer/EinsteinArena-new-SOTA kissing-number/solutions/solution_n=604_d=11.json", "verdict": "CERTIFIED", "n": 604, "dim": 11, "pairs": 182106, "contacts": 19704, "uniformNorm": true, "worst": { "i": 0, "j": 16, "cos2Approx": 0.25 }, "ms": 67, "upstream_sha256": "0bde9ca2c434d7beb5af63a64a291498e8c264d9a5718b738e92dd70b9ba7761", "upstream_commit": "c388c6f7408c886311940896713339a1a70c2394", "form": "p + q*sqrt2 integer pairs (22 integers per vector), shell norm exactly 36", "gram": { "distinct": 22, "sha256": "bc11bd62f673b651fc79f15509903bceaff38bf7e884209b8120e98eb84a6507", "vertexSha256": "e5c7445ea541cc935637cc1bbc2bef9bb8c14c9ea0ed6d49a538b7f69db99065", "multiset": "-1,0/1x302 -1,0/2x19704 -1,0/4x19968 -3,-1/12x2304 -3,-2/12x4608 -3,1/12x2304 -3,2/12x4608 0,-1/12x2304 0,-1/3x384 0,-1/4x768 0,-1/6x3072 0,0/1x61756 0,1/12x2304 0,1/3x384 0,1/4x768 0,1/6x3072 1,0/2x19704 1,0/4x19968 3,-1/12x2304 3,-2/12x4608 3,1/12x2304 3,2/12x4608" }, "sameGramProfileAs": [ "station-604-1" ], "sharedDirectionsWith": { "station-604-1": 108, "station-604-2": 118, "station-604-3": 118, "ea-594-winner": 496, "station-shell-582": 176 }, "congruence": { "station-604-1": { "verdict": "CONGRUENT", "isometry": "signed coordinate permutation", "nodes": 11, "refines": 24, "edgeColours": 22, "ms": 1117 }, "station-604-2": { "verdict": "NOT CONGRUENT", "reason": "individualisation-refinement exhausted", "nodes": 1, "refines": 3, "edgeColours": 28, "ms": 212 }, "station-604-3": { "verdict": "NOT CONGRUENT", "reason": "individualisation-refinement exhausted", "nodes": 1, "refines": 3, "edgeColours": 29, "ms": 217 } }, "integerVectors": 496, "nearestNonContact": { "key": "3,2/12", "count": 4608, "cosApprox": 0.48570226039551584, "angleDeg": 60.94150715239463 }, "needsDataFrom": "2026-09-03", "bytesPublished": "2026-09-07", "date": "2026-04-12", "dateSource": "first commit of the file in togethercomputer/EinsteinArena-new-SOTA (d97e89d1, \"add n=604\", 2026-04-12); arXiv:2606.10402 v1 submitted 2026-06-09", "history": "NEEDS DATA from 2026-09-03 (the public API served the solved 594 rung and the open 605 rung, never the 604 itself; the row named the bytes that would decide it) until 2026-09-07, when the platform maintainer answered vinid/einstein-arena#64 with the repository holding the file. Decided the same day." }, { "id": "ganzhinov-592", "claimant": "M. Ganzhinov (arXiv:2207.08266, Highly symmetric lines)", "claim": "K(11) >= 592 — the 2022 record the AI ladder started from", "source": "not yet pulled", "verdict": "QUEUED", "date": "2022-07-18", "dateSource": "arXiv:2207.08266 v1", "detail": "Construction paper predating the AI ladder; bytes not yet hunted. Queued for the next ledger extension together with the PackingStar corpus (dims 12-31) and the dimension-12 record 841 (arXiv:2606.18984)." } ], "openRungs": [ { "slug": "kissing-number-d11-605", "title": "Kissing Number in Dimension 11 (n=605)", "problem_id": 24, "best": { "id": 2560, "agent": "ExoMind-TTS", "score": 1.7102381876301676, "createdAt": "2026-09-05T01:59:40.074Z" }, "response_sha256": "dc165ce713b45ea249531f8d3e2d7066b7647cf0a6d330da00a5be0f79194262", "fetched": "2026-09-08", "measured": { "n": 605, "dim": 11, "pairs": 182710, "zero": 0, "violations": 9510, "contacts": 0, "coincident": 0, "worstAngleDeg": 40.24409285062194, "worst": { "i": 601, "j": 604 }, "ms": 142 } }, { "slug": "kissing-number-d12", "title": "Kissing Number in Dimension 12 (n=841)", "problem_id": 22, "best": { "id": 2081, "agent": "CHRONOS", "score": 2, "createdAt": "2026-04-23T16:50:50.781Z" }, "response_sha256": "57e0edd3816ffaaa4370ff62e7dbeba329c1146c03ef86c6e9c78ebde241dd61", "fetched": "2026-09-08", "measured": { "n": 841, "dim": 12, "pairs": 353220, "zero": 0, "violations": 1, "contacts": 41128, "coincident": 1, "worstAngleDeg": 0, "worst": { "i": 0, "j": 840 }, "ms": 112 } }, { "slug": "kissing-number-d12-842", "title": "Kissing Number in Dimension 12 (n=842)", "problem_id": 25, "best": { "id": 2561, "agent": "ExoMind-TTS", "score": 0.5469062458557645, "createdAt": "2026-09-05T02:20:51.960Z" }, "response_sha256": "8bb3b293d6585a6cfac7026681876ff1293ad91266368e4d4d50900aae8b2bc3", "fetched": "2026-09-08", "measured": { "n": 842, "dim": 12, "pairs": 354061, "zero": 0, "violations": 237, "contacts": 0, "coincident": 0, "worstAngleDeg": 57.0933157803056, "worst": { "i": 510, "j": 547 }, "ms": 192 } } ], "wave": { "what": "The September 2026 wave of kissing-number lower-bound claims (dimensions 18 and 25–31, three claimants), every published configuration rebuilt from pinned bytes and every pair decided exactly over Q(sqrt2, sqrt3).", "grammar": { "WITNESSED": "the published bytes are already an exact proof", "REPAIRED": "our exact witness built from their bytes, the float-to-exact distance measured", "UNWITNESSED": "the bytes fail exactly and no repair was built — a finding about the bytes, never a refutation of the bound", "NEEDS DATA": "no vector list is published; the row states what would decide it", "QUEUED": "bytes exist; not decided in this wave" }, "generated": "2026-10-05T06:46:59Z", "commit": "f7c6c9a", "machine": { "platform": "macOS-27.0-arm64-arm-64bit", "python": "3.9.6", "numpy": "2.0.2", "cpus": 8, "blas": "Accelerate (numpy build config)" }, "manifestSha256": "46944fd54423669b8240c2e3fafe7c1b1fd45a4b9eeba285e7e3a1fed80fd4c7", "calibrations": [ { "id": "cal-e8-240", "claim": "K(8) = 240: the E8 roots, 6720 contacts", "ok": true, "n": 240, "pairs": 28680, "contacts": 6720, "seconds": 0 }, { "id": "cal-leech-196560", "claim": "K(24) = 196560 (Odlyzko–Sloane, Levenshtein 1979): the Leech minimal vectors", "ok": true, "n": 196560, "pairs": 19317818520, "contacts": 452088000, "seconds": 21.6 }, { "id": "cal-icosahedron-12", "claim": "K(3) = 12 (Schutte - van der Waerden 1953): the icosahedron in Z[sqrt5], no pair touching, nearest pairs at cos^2 = 1/5", "ok": true, "n": 12, "pairs": 66, "contacts": 0, "seconds": 0 } ], "reds": [ { "red": "d18: one sign of one tier-B word flipped", "caught": true, "violations": 34 }, { "red": "d18: a tier-B point rotated by 30 degrees, from 30 to 0", "caught": true, "violations": 8 }, { "red": "d18: one equator vector listed twice", "caught": true, "violations": 1 }, { "red": "d18: one coordinate moved by 1/6, off the sphere", "caught": true }, { "red": "a forced tie 2 - 1*sqrt4 raises instead of returning a sign", "caught": true } ], "live": { "kravatsky-18": { "verdict": "CERTIFIED", "pairs": 34923903, "contacts": 1621638, "maxDot": [ 144, 0, 0, 0 ], "norm": 288, "ms": 3756, "bigintFallbacks": 0, "how": "basis.js: every pair re-decided in JavaScript from the pinned JSON (integers held in doubles under a 2^50 guard; BigInt tower for hard signs)" } }, "hunt": { "what": "PROPOSED deepest empty caps of the September-wave configurations (floating point; nothing here is certified). A configuration admits one more sphere by INSERTION iff some unit u has max_c <= 1/2 (a cap of 60 degrees or more).", "file": "instruments/kissing/holes/proposals-wave.json", "sha256": "1e0b4d5e2015e5c79307dd4c6a57129fadc2c0dc10fb8f707aaa9bd9b398953c", "rows": { "kravatsky-18": { "n": 8358, "dim": 18, "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.5196152422706647, "deepest_angle_deg_float": 58.69355375132685, "gap_to_60_deg_float": -1.3064462486731472, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 4.6, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.519615, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5196152422706702 } ], "samples_total": 1200000, "top_hole": { "h": 0.5196152422706647, "angle_deg": 58.69355375132685, "supporting": 256, "u": [ 0.24494897427831877, -0.24494897427831777, -0.24494897427831763, 0.24494897427831785, -0.2449489742783166, 0.2449489742783171, 0.2449489742783172, -0.24494897427831805, -0.24494897427831772, 0.2449489742783166, 0.244948974278318, -0.24494897427831752, -0.2449489742783198, 0.24494897427831758, 0.24494897427831702, -0.24494897427831783, 0.20000000000000207, -7.673342080618737e-16 ] } }, "takhanov-yun-25": { "n": 197058, "dim": 25, "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.5438319367902692, "deepest_angle_deg_float": 57.055121629078194, "gap_to_60_deg_float": -2.9448783709218063, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 36.1, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.543832, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5438319367902692 } ], "samples_total": 1200000, "top_hole": { "h": 0.5438319367902692, "angle_deg": 57.055121629078194, "supporting": 582, "u": [ 2.9905901532661573e-16, -3.120615812103816e-17, 0.2563648335534755, 1.053207836585038e-16, 0.25636483355347545, 6.804676145837488e-17, 6.111205965369973e-17, -0.2563648335534754, 6.934701804675147e-17, -0.2563648335534753, -1.8203592237272263e-16, 0.2563648335534751, 1.191901872678541e-16, 0.2563648335534749, 0.2563648335534754, -0.25636483355347506, 1.2829198338649023e-16, -2.0804105414025444e-17, 1.0835471569804918e-17, 0.2563648335534754, 0.2563648335534754, -8.473338767587446e-17, 0.25636483355347534, -0.25636483355347545, -0.4597008433809829 ] } }, "kravatsky-25": { "n": 197579, "dim": 25, "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5660975798507262, "deepest_angle_deg_float": 55.52145602558894, "gap_to_60_deg_float": -4.4785439744110604, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 56.8, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.570074, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5660975798507262 } ], "samples_total": 1200000, "top_hole": { "h": 0.5660975798507262, "angle_deg": 55.52145602558894, "supporting": 25, "u": [ -0.040827506051016774, -0.05602812434543033, -0.0985205740887947, -0.16408492171224237, 0.10763561573350026, -0.12159247196888123, -0.3453302173019075, 0.45525265774957036, 0.13435885960133778, -0.13373697856905062, 0.05537959659312593, 0.07969525652664484, -0.133736978569062, 0.0748267951923341, -0.1392006742052449, -0.1592431070979617, -0.008045332251470907, -0.04872543234355757, -0.12462193694033356, -0.31679462378077733, 0.16165069105027358, -0.08453707114654044, -0.1130726646280711, -0.08515895217881388, 0.5660975798507225 ] } }, "qiushi-25": { "n": 197580, "dim": 25, "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5660975798507307, "deepest_angle_deg_float": 55.52145602558862, "gap_to_60_deg_float": -4.47854397441138, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 54.6, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.570074, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5660975798507307 } ], "samples_total": 1200000, "top_hole": { "h": 0.5660975798507307, "angle_deg": 55.52145602558862, "supporting": 25, "u": [ -0.040827506051012305, -0.056028124345444706, -0.09852057408879451, -0.16408492171223377, 0.10763561573350156, -0.12159247196888455, -0.3453302173019033, 0.45525265774957385, 0.1343588596013589, -0.13373697856905356, 0.05537959659311927, 0.0796952565266484, -0.13373697856906192, 0.07482679519233713, -0.13920067420524382, -0.159243107097968, -0.008045332251484747, -0.048725432343561206, -0.12462193694032964, -0.3167946237807739, 0.16165069105026722, -0.08453707114653365, -0.11307266462805195, -0.08515895217882868, 0.566097579850722 ] } }, "kravatsky-26": { "n": 199806, "dim": 26, "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.5256337158195824, "deepest_angle_deg_float": 58.28908550646805, "gap_to_60_deg_float": -1.710914493531952, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 32.8, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.525634, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5256337158195826 } ], "samples_total": 1200000, "top_hole": { "h": 0.5256337158195824, "angle_deg": 58.28908550646805, "supporting": 568, "u": [ -0.1238930549587696, -0.12389305495876991, -0.12389305495876987, -0.1238930549587695, -0.3716791648763091, 0.12389305495876937, 0.12389305495876911, 0.12389305495877001, -0.12389305495877002, 0.12389305495876927, 0.12389305495876946, 0.1238930549587697, 0.12389305495876957, 0.12389305495877002, 0.12389305495876957, -0.1238930549587692, -0.12389305495876995, -0.37167916487630887, -0.3716791648763086, -0.12389305495876961, 0.12389305495876989, 0.12389305495876946, 0.12389305495876932, 0.12389305495876879, -0.44431789699200575, 0.2565270574341031 ] } }, "kravatsky-27": { "n": 201566, "dim": 27, "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5353165672916469, "deepest_angle_deg_float": 57.634617226921584, "gap_to_60_deg_float": -2.365382773078416, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 87.2, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.537579, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5353165672916469 } ], "samples_total": 1200000, "top_hole": { "h": 0.5353165672916469, "angle_deg": 57.634617226921584, "supporting": 30, "u": [ 0.23675220683603898, -0.022992933473781552, -0.014016672018146239, -0.21879968392477106, -0.017318474479890197, -0.020369032878366708, -0.003006704963527019, 0.49124954595503034, 0.008681163957419847, 0.01596267074723367, -0.23878591243502367, -0.001650901230872494, 0.2547924366172056, -0.23776905963553205, 0.00004385343495005262, 0.23345040437429773, -0.014694573884475471, 0.015711426683967775, -0.01503352481763966, 0.24979587948964224, 0.24479932236207885, -0.009020114890583086, -0.0076643111579263005, -0.017657425413052815, 0.23565496165701522, -0.4759812464216594, -0.12016314238232167 ] } }, "qiushi-27": { "n": 201567, "dim": 27, "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.526234811584223, "deepest_angle_deg_float": 58.2485925838404, "gap_to_60_deg_float": -1.7514074161596014, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 64.3, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.537556, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.526234811584223 } ], "samples_total": 1200000, "top_hole": { "h": 0.526234811584223, "angle_deg": 58.2485925838404, "supporting": 627, "u": [ -0.12403473458920726, -0.12403473458920886, 0.12403473458920983, -0.12403473458920893, 0.12403473458920772, -0.12403473458921108, 0.12403473458920694, 0.12403473458920819, -0.1240347345892127, 0.12403473458920718, -0.12403473458920898, -0.3721042037676285, 0.12403473458920618, 0.12403473458920738, -0.37210420376762443, -0.12403473458921264, 0.12403473458920869, -0.12403473458920594, -0.37210420376762543, -0.12403473458920682, -0.1240347345892109, 0.124034734589206, -0.12403473458920687, -0.12403473458920054, 0.3580574370197162, -0.35805743701971715, -0.07161148740394264 ] } }, "kravatsky-28": { "n": 204896, "dim": 28, "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5584407128868445, "deepest_angle_deg_float": 56.05196890197465, "gap_to_60_deg_float": -3.9480310980253535, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 47.7, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.561854, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5584407128868445 } ], "samples_total": 1200000, "top_hole": { "h": 0.5584407128868445, "angle_deg": 56.05196890197465, "supporting": 30, "u": [ 0.07073232848324681, 0.2280403039060006, 0.10422370389583185, 0.2741052854548227, 0.20165315964153904, -0.16816178422895228, -0.17526601537707634, -0.0839259006154771, -0.09610458258369042, 0.14075974980047273, 0.0839259006154775, -0.3309391346398173, 0.03216650225057228, -0.03622606290664349, -0.0940748022556554, -0.08392590061547714, 0.35022204775615556, -0.1813553563611824, 0.023652456770406956, 0.07377699897529937, -0.07479188913931764, 0.08900035143556646, 0.19454892849341346, 0.04941963503887278, 0.07212238957221796, -0.3425119263300649, -0.31954758338169714, -0.38269952648970806 ] } }, "kravatsky-29": { "n": 209968, "dim": 29, "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.538807429000744, "deepest_angle_deg_float": 57.397507781561615, "gap_to_60_deg_float": -2.6024922184383854, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 82.8, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.545164, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.538807429000744 } ], "samples_total": 1200000, "top_hole": { "h": 0.538807429000744, "angle_deg": 57.397507781561615, "supporting": 29, "u": [ -0.05216692507000227, 0.03484751572588757, 0.2644026637096813, -0.21667477933043247, 0.0020231201062852135, 0.2196490639117445, 0.02356512936610314, -0.07016079827672365, 0.015461033334758189, -0.2717195199411362, 0.0855253625708742, -0.24269203848423918, 0.0220918100974463, -0.038194969960269894, 0.1209304228718369, -0.20340935393633294, 0.007413325272065651, 0.044119217007322874, 0.031215345660117886, -0.22475068137743948, -0.23401463892142457, 0.23608945570586556, -0.19345931692357163, 0.043609497241655866, -0.23020169865925735, 0.28082867771444375, -0.3055206079716376, -0.2610638736561287, 0.36135304452615735 ] } }, "kravatsky-30": { "n": 221012, "dim": 30, "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.5461456823716356, "deepest_angle_deg_float": 56.897009626489314, "gap_to_60_deg_float": -3.1029903735106856, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 33.7, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.546146, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5465408435842307 } ], "samples_total": 1200000, "top_hole": { "h": 0.5461456823716356, "angle_deg": 56.897009626489314, "supporting": 30, "u": [ -0.07015060286080328, -0.06929143674229665, -0.15996074784898073, -0.018546851580453882, -0.20667711153716614, -0.11755711638189172, 0.022465212468463457, 0.11530919978330212, -0.20179254088309267, 0.15534378631378534, 0.11389509686038729, -0.34302615311364687, 0.11576836069254111, 0.022989162953844646, -0.06747732861010346, 0.0654012452352177, -0.206801056813282, -0.34245149774257916, -0.024124389005519005, 0.022262392925737416, -0.06545195012089967, -0.0684463553142546, -0.15393250032895933, -0.1610959739006453, -0.3793762407804325, -0.18468916475618807, 0.25042941220017456, 0.2536801538779913, 0.37351215775378593, -0.10680974057351454 ] } }, "kravatsky-31": { "n": 238662, "dim": 31, "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.5384883528757448, "deepest_angle_deg_float": 57.419206349350134, "gap_to_60_deg_float": -2.5807936506498663, "admits_insertion_float": false, "distinct_local_holes": 12, "seconds": 37.6, "passes": [ { "samples": 200000, "keep": 400, "seed": 2026, "deepest_h_float": 0.538488, "note": "h as printed to 6 digits by the first pass" }, { "samples": 1000000, "keep": 1000, "seed": 7, "deepest_h_float": 0.5400008776164744 } ], "samples_total": 1200000, "top_hole": { "h": 0.5384883528757448, "angle_deg": 57.419206349350134, "supporting": 31, "u": [ -0.14419330986714746, -0.027660534386872514, -0.1595676261035407, -0.07133793078670618, 0.11061488143851811, -0.12442113263984483, -0.24260245521719637, 0.05461881681042302, -0.13341155508837169, -0.2421481296736181, 0.024815168751890073, 0.24477022801342094, 0.12303998934556076, 0.05786917751255699, 0.2381033485163217, -0.059813683013602625, 0.004601650903039762, -0.10518116603371917, 0.11330707390270392, -0.08276093284984566, -0.3368551857623599, -0.07958326325650127, -0.1250571859553939, -0.040916408303468786, -0.30782237103972937, 0.3041178366962713, -0.2645758763992253, -0.2815638649269439, -0.22301459338558874, 0.29723746253119865, 0.010893388426365922 ] } } } }, "rows": [ { "id": "kravatsky-18", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 18, "claimed": 8358, "previous": 7654, "gain": 704, "verdict": "WITNESSED", "ours": false, "pairs": 34923903, "contacts": 1621638, "violations": 0, "maxCos": 0.5, "maxDotShow": "144", "norm": "288", "nearestNonContactCos": 0.4776709006307398, "seconds": 0.6, "bigintFallbacks": 0, "spotCheck": { "pairs": 3931, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 666, "pairs": 221445, "pythonContacts": 8504, "jsContacts": 8504, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 30, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 4320, "path": "gemm" }, { "name": "tiers", "n": 3072, "path": "gemm" }, { "name": "poles", "n": 6, "path": "gemm" }, { "name": "tier B", "n": 960, "path": "gemm" } ], "delta": null, "decode": null, "choices": [], "facts": [ "30 octads of 8 coordinates", "three families of sixteen 6-sets", "odd sign patterns; tier-B radius^2 = 8/9", "tier-B bit order as tierB.json states it: 'bit 15-i is coordinate i'", "160 words at each of 30, 90, ..., 330 degrees" ], "scale": "norm-8 units of the README times 6: every coordinate an integer combination of 1, sqrt2, sqrt6", "bytes": { "kravatsky:verifications/improved/dim18-bent-hexagon/data/families.json": "997fc58c733fb19ce40521163572e6f762b824e6929fe52a9f609a9c88337e4a", "kravatsky:verifications/improved/dim18-bent-hexagon/data/octads.json": "a31d49dcfd5a90bc9067b0db5473180351590827b0b003e2a9b261090deb661a", "kravatsky:verifications/improved/dim18-bent-hexagon/data/tierB.json": "ed70867cd96c4dcc53b80c1c2669f57edea78e337639d22bce89657a0c2406b1" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-25", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 25, "claimed": 197579, "previous": 197056, "gain": 523, "verdict": "REPAIRED", "ours": false, "pairs": 19518631831, "contacts": 448266844, "violations": 0, "maxCos": 0.5000000000000001, "maxDotShow": null, "norm": "1152", "nearestNonContactCos": 0.4910687750670014, "seconds": 29, "bigintFallbacks": 0, "spotCheck": { "pairs": 5400, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 443, "pairs": 97903, "pythonContacts": 3669, "jsContacts": 3669, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [ "rational caps" ], "seed": 11, "perFamily": 220, "jsMs": 20, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 195544, "path": "gemm" }, { "name": "extra point", "n": 1, "path": "gemm" }, { "name": "class caps", "n": 1944, "path": "gemm" }, { "name": "rational caps", "n": 88, "path": "object" }, { "name": "poles", "n": 2, "path": "gemm" } ], "delta": 0, "decode": "class heads x = u + ((3 - sqrt3)/6) v: v rounded from the float64 heads (README: \"(x - u)/t is an integral vector of norm 6\"); the extra point p = -(2/sqrt6) v likewise; the 44 interior heads are exact rationals from the pickle; owners are exact integers", "choices": [], "facts": [ "the pickle (read opcode by opcode, 8758 opcodes, never unpickled) holds rat, cls, U", "its U is a 1016 x 24 little-endian int64 array", "its U equals heads_U.npy entry for entry", "972 class heads and 44 rational heads partition the 1016", "the 1016 owners are distinct Leech minimal vectors", "every class head decodes to x = u + t v with v of norm 48 (norm 6) and = -24 (-3)", "every decoded lean is a Leech vector (Conway-Sloane test)", "w = u + v is minimal for every class head", "all 44 rational heads have |x|^2 = 24 exactly (3 in norm-4 units)", "the extra point decodes to p = -(2/sqrt6) v with v a norm-6 Leech vector", "its v is one of the leans of the class heads", "the block {z : = -24} has 552 members, all removed" ], "scale": "Cohn units (norm-4 picture times sqrt8) times 6", "bytes": { "kravatsky:verifications/improved/dim25-lens-heads/data/extra_P.npy": "913a37630f2f347abc8db591e4ec96f7b2247d9fbd4e7c20400274dae240f6ca", "kravatsky:verifications/improved/dim25-lens-heads/data/heads_U.npy": "3c62c8c01585fbe04bd6e687475345b566522815022d72a05e7038f8bfab8043", "kravatsky:verifications/improved/dim25-lens-heads/data/heads_X.npy": "e32c1dba40ad376b90a4eadf0508c9b251925e363f4308923b81eab6056621b1", "kravatsky:verifications/improved/dim25-lens-heads/data/heads_exact.pkl": "8bf7cf039bca7f0752c06c8b0f2982db32fbb4da848b1733c2afa3a38cf0eb4d" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "qiushi-25", "claimant": "qiushi", "claimantName": "Qiushi Engine (Oxelra-AI) — arXiv:2609.35051", "dim": 25, "claimed": 197580, "previous": 197579, "gain": 1, "verdict": "WITNESSED", "ours": false, "pairs": 19518829410, "contacts": 446074805, "violations": 0, "maxCos": 0.5000000000000001, "maxDotShow": null, "norm": "4608", "nearestNonContactCos": 0.49984298862787674, "seconds": 36.6, "bigintFallbacks": 1118436, "spotCheck": { "pairs": 13194, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 664, "pairs": 220116, "pythonContacts": 15732, "jsContacts": 15732, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [ "rational caps", "repair points" ], "seed": 11, "perFamily": 220, "jsMs": 54, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 194992, "path": "gemm" }, { "name": "extra point", "n": 1, "path": "gemm" }, { "name": "moved", "n": 552, "path": "gemm" }, { "name": "Q", "n": 1, "path": "gemm" }, { "name": "class caps", "n": 1944, "path": "gemm" }, { "name": "rational caps", "n": 86, "path": "object" }, { "name": "poles", "n": 2, "path": "gemm" }, { "name": "repair points", "n": 2, "path": "object" } ], "delta": null, "decode": null, "choices": [], "facts": [ "baseline-heads.json lists the 1016 heads in order", "its owners are 1016 distinct Leech minimal vectors", "its owners equal Kravatskiy's heads_U.npy", "its 972 integer leans equal the leans decoded here from Kravatskiy's float heads", "its 44 rational heads equal Kravatskiy's pickle, fraction for fraction", "its extra-equator lean equals the one decoded from Kravatskiy's extra_P.npy", "the repair vectors have squared norms 1007176 and 10209 as stated", "the block U = {u : = -24} has 552 members, all owners", "each w = u + v is a kept minimal vector", "the two replaced cap points are (x_984, +1) and (x_1008, -1) (construction.tex)" ], "scale": "Cohn units times 12", "bytes": { "kravatsky:verifications/improved/dim25-lens-heads/data/extra_P.npy": "913a37630f2f347abc8db591e4ec96f7b2247d9fbd4e7c20400274dae240f6ca", "kravatsky:verifications/improved/dim25-lens-heads/data/heads_U.npy": "3c62c8c01585fbe04bd6e687475345b566522815022d72a05e7038f8bfab8043", "kravatsky:verifications/improved/dim25-lens-heads/data/heads_X.npy": "e32c1dba40ad376b90a4eadf0508c9b251925e363f4308923b81eab6056621b1", "kravatsky:verifications/improved/dim25-lens-heads/data/heads_exact.pkl": "8bf7cf039bca7f0752c06c8b0f2982db32fbb4da848b1733c2afa3a38cf0eb4d", "qiushi:constructions/d25/baseline-heads.json": "b6b1dff1172ca723595c19bc4daf49448f0e8d04d506033786a8e96afbf515d6", "qiushi:constructions/d25/repair-points.json": "daeabf4a2614779749bf9a5c30f55d502c830e45a88ef2b52fdbbc7f87703677" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-25", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 25, "claimed": 197058, "previous": 197056, "gain": 2, "verdict": "REPAIRED", "ours": false, "pairs": 19415829153, "contacts": 449807888, "violations": 0, "maxCos": 0.5, "maxDotShow": "64", "norm": "128", "nearestNonContactCos": 0.4375, "seconds": 25.9, "bigintFallbacks": 0, "spotCheck": { "pairs": 2185, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 442, "pairs": 97461, "pythonContacts": 796, "jsContacts": 796, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 19, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "bulk", "n": 196064, "path": "gemm" }, { "name": "lifted", "n": 992, "path": "gemm" }, { "name": "poles", "n": 2, "path": "gemm" } ], "delta": 1.1102230246251565e-16, "decode": "every row snapped to the README's construction: bulk z/sqrt32, lifted ((sqrt3/2) z/sqrt32, +-1/2), poles +-e25, z an integer Leech vector recovered by rounding sqrt32 times the float", "choices": [], "facts": [ "the inner array kissing_r25_197058.npy hashes to the sha256 the README prints for it", "197058 rows of 25 float64 coordinates", "rows split as 196064 bulk (height 0), 992 lifted (height +-1/2), 2 poles (+-e25)", "every bulk row decodes to u = z/sqrt32 and every lifted row to ((sqrt3/2) u, +-1/2), z a Leech minimal vector of B's own Golay code (recovered from its bulk)", "the 496 lifted directions are exactly the shell vectors missing from the bulk; each is lifted at both heights" ], "scale": "unit vectors times 8 sqrt2 (Cohn units times 2)", "bytes": { "takhanov-yun:README.md": "619c878b641811268e075f7343baf92c8455f9f40d00be68d24ad7979a617952", "takhanov-yun:kissing_r25_197058_float64.zip": "de418c9d16c48dc7717702cafa85d0466d681c164fae89402d82eb0120521f54" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-26", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 26, "claimed": 199806, "previous": 198550, "gain": 1256, "verdict": "WITNESSED", "ours": false, "pairs": 19961118915, "contacts": 445937784, "violations": 0, "maxCos": 0.5, "maxDotShow": "576", "norm": "1152", "nearestNonContactCos": 0.46650635094610965, "seconds": 25.8, "bigintFallbacks": 0, "spotCheck": { "pairs": 3933, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 666, "pairs": 221445, "pythonContacts": 3409, "jsContacts": 3409, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 37, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 194778, "path": "gemm" }, { "name": "caps", "n": 4374, "path": "gemm" }, { "name": "axis", "n": 6, "path": "gemm" }, { "name": "second layer", "n": 648, "path": "gemm" } ], "delta": null, "decode": null, "choices": [ "side 0 carries the directions at 30/150/270 degrees and side 1 those at 90/210/330; second-layer line l is the axis line at 60 l degrees. The README fixes the hexagon and its edge midpoints; a 60-degree rotation of the plane exchanges the two triangles and permutes the lines, so the labelling is a symmetry." ], "facts": [ "every first-layer head Y has norm 192 (x = Y/3 at |x|^2 = 8/3)", "1458 class heads Y = 3u + v with distinct owners u, 0 free heads Y = 2v", "the 324 second-layer owners are distinct minimal vectors, disjoint from the first-layer owners", "two sides, three second-layer lines" ], "scale": "Cohn units times 6", "bytes": { "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads26_Y.npy": "8ab95d32a8746fb86cc58f540ef7ab4e43795c67fd2eb816aeadbbb6801953b9", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads26_layer2_line.npy": "9b96e029eda25a8fdb1d7ea11f6fcdf05fc3db51e5ac3e9798fcc5e66a16a7f6", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads26_layer2_u.npy": "61f11eb16091f75390f132511bcc6fa11935989f1b891d967f4fcd982bc13ae7", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads26_side.npy": "e063c6d27a934d92aab639b79511f3b892ad8a87d40baae67b11cee803209230" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-26", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 26, "claimed": 198552, "previous": 198550, "gain": 2, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "published as a float64 array (pinned by hash; the inner array matches the sha256 the README prints) whose lifted-and-auxiliary block is turned by a generic rotation (\"Rotate the lifted and auxiliary blocks together; add an antipodal pair.\"). An exact witness needs that rotation as an exactly orthogonal matrix, or the polar-factor interval argument of the paper re-derived; neither was built in this wave. The bulk decodes to exact Leech vectors (dimension 25 shows the decode).", "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-27", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 27, "claimed": 201566, "previous": 200044, "gain": 1522, "verdict": "WITNESSED", "ours": false, "pairs": 20314325395, "contacts": 444144191, "violations": 0, "maxCos": 0.5, "maxDotShow": "576", "norm": "1152", "nearestNonContactCos": 0.4927992798267444, "seconds": 27, "bigintFallbacks": 0, "spotCheck": { "pairs": 3964, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 672, "pairs": 225456, "pythonContacts": 1643, "jsContacts": 1643, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 52, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 194160, "path": "gemm" }, { "name": "caps", "n": 6774, "path": "gemm" }, { "name": "axis", "n": 12, "path": "gemm" }, { "name": "second layer", "n": 620, "path": "gemm" } ], "delta": null, "decode": null, "choices": [ "side s carries the s-th triangle of the first zero-sum partition of the cuboctahedron found by a fixed lexicographic search [[[-1, -1, 0], [0, 1, -1], [1, 0, 1]], [[-1, 0, -1], [0, 1, 1], [1, -1, 0]], [[-1, 0, 1], [0, -1, -1], [1, 1, 0]], [[-1, 1, 0], [0, -1, 1], [1, 0, -1]]]; the README fixes only that the four sides are the four triangles. Any partition gives the same thresholds (same side 2/3, across sides 4/3 in norm-4 units), and the exact decision below is made on this one.", "the axis is rotated about the THIRD coordinate axis; the README says \"about a coordinate axis\".", "second-layer line l is e_(l+1)." ], "facts": [ "every first-layer head Y has norm 192 (x = Y/3 at |x|^2 = 8/3)", "2090 class heads Y = 3u + v with distinct owners u, 168 free heads Y = 2v", "the 310 second-layer owners are distinct minimal vectors, disjoint from the first-layer owners", "the twelve cuboctahedral directions split into four zero-sum triangles", "four sides, three second-layer lines" ], "scale": "Cohn units times 6", "bytes": { "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads27_Y.npy": "e137a6e3b11e6f70a0bc631b474f4ea340078f453893c56d5452513da5264bd1", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads27_layer2_line.npy": "1aa7054bf9f85ce9b52c887481607348dcd117016d991ab56148b869921ebf4f", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads27_layer2_u.npy": "8f722bf903f5324e3e4f35f9c271d62949d39d4e56a21b0ca58b6c93bd7a54fa", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads27_side.npy": "b0e1457e2793db1ddd2fcc23a9110f8f956757ee08e017fac99200cae5199fb2" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "qiushi-27", "claimant": "qiushi", "claimantName": "Qiushi Engine (Oxelra-AI) — arXiv:2609.35051", "dim": 27, "claimed": 201567, "previous": 201566, "gain": 1, "verdict": "WITNESSED", "ours": false, "pairs": 20314526961, "contacts": 444139680, "violations": 0, "maxCos": 0.5, "maxDotShow": "576", "norm": "1152", "nearestNonContactCos": 0.4927992798267444, "seconds": 27, "bigintFallbacks": 0, "spotCheck": { "pairs": 3966, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 672, "pairs": 225456, "pythonContacts": 1634, "jsContacts": 1634, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 52, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 194159, "path": "gemm" }, { "name": "caps", "n": 6774, "path": "gemm" }, { "name": "axis", "n": 12, "path": "gemm" }, { "name": "second layer", "n": 622, "path": "gemm" } ], "delta": null, "decode": null, "choices": [ "side s carries the s-th triangle of the first zero-sum partition of the cuboctahedron found by a fixed lexicographic search [[[-1, -1, 0], [0, 1, -1], [1, 0, 1]], [[-1, 0, -1], [0, 1, 1], [1, -1, 0]], [[-1, 0, 1], [0, -1, -1], [1, 1, 0]], [[-1, 1, 0], [0, -1, 1], [1, 0, -1]]]; the README fixes only that the four sides are the four triangles. Any partition gives the same thresholds (same side 2/3, across sides 4/3 in norm-4 units), and the exact decision below is made on this one.", "the axis is rotated about the THIRD coordinate axis; the README says \"about a coordinate axis\".", "second-layer line l is e_(l+1)." ], "facts": [ "every first-layer head Y has norm 192 (x = Y/3 at |x|^2 = 8/3)", "2090 class heads Y = 3u + v with distinct owners u, 168 free heads Y = 2v", "the 311 second-layer owners are distinct minimal vectors, disjoint from the first-layer owners", "the twelve cuboctahedral directions split into four zero-sum triangles", "four sides, three second-layer lines", "the first layer is Kravatskiy's (Lindow's) byte for byte" ], "scale": "Cohn units times 6", "bytes": { "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads27_Y.npy": "e137a6e3b11e6f70a0bc631b474f4ea340078f453893c56d5452513da5264bd1", "kravatsky:verifications/improved/dim26-27-iota-triangles/data/heads27_side.npy": "b0e1457e2793db1ddd2fcc23a9110f8f956757ee08e017fac99200cae5199fb2", "qiushi:constructions/d27/data/heads27_Y.npy": "e137a6e3b11e6f70a0bc631b474f4ea340078f453893c56d5452513da5264bd1", "qiushi:constructions/d27/data/heads27_layer2_line.npy": "f7b018510118faeda6d4d73b28a86ca0c6162bbf0d88da1244262b2c39b95fb7", "qiushi:constructions/d27/data/heads27_layer2_u.npy": "7d7a4bcd341d9104bad1dc17ac2f6e4daec71c0b2a9ab4b98e1766c12235bca2", "qiushi:constructions/d27/data/heads27_side.npy": "b0e1457e2793db1ddd2fcc23a9110f8f956757ee08e017fac99200cae5199fb2" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-27", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 27, "claimed": 200046, "previous": 200044, "gain": 2, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "published as a float64 array (pinned by hash; the inner array matches the sha256 the README prints) whose lifted-and-auxiliary block is turned by a generic rotation (\"Rotate the lifted and auxiliary blocks together; add an antipodal pair.\"). An exact witness needs that rotation as an exactly orthogonal matrix, or the polar-factor interval argument of the paper re-derived; neither was built in this wave. The bulk decodes to exact Leech vectors (dimension 25 shows the decode).", "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-28", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 28, "claimed": 204896, "previous": 204520, "gain": 376, "verdict": "WITNESSED", "ours": false, "pairs": 20991082960, "contacts": 435490580, "violations": 0, "maxCos": 0.5, "maxDotShow": "576", "norm": "1152", "nearestNonContactCos": 0.4927992798267444, "seconds": 78.5, "bigintFallbacks": 0, "spotCheck": { "pairs": 3972, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 676, "pairs": 228150, "pythonContacts": 4352, "jsContacts": 4352, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 51, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 192592, "path": "gemm" }, { "name": "caps", "n": 11904, "path": "gemm" }, { "name": "axis", "n": 16, "path": "gemm" }, { "name": "layer", "n": 384, "path": "gemm" } ], "delta": null, "decode": null, "choices": [ "class k carries the k-th triangle of the first zero-sum partition of the D4 roots found by a fixed lexicographic search [[[-1, -1, 0, 0], [0, 1, -1, 0], [1, 0, 1, 0]], [[-1, 0, -1, 0], [0, -1, 1, 0], [1, 1, 0, 0]], [[-1, 0, 0, -1], [0, 0, 1, 1], [1, 0, -1, 0]], [[-1, 0, 0, 1], [0, 1, 0, -1], [1, -1, 0, 0]], [[-1, 0, 1, 0], [0, 0, -1, -1], [1, 0, 0, 1]], [[-1, 1, 0, 0], [0, -1, 0, 1], [1, 0, 0, -1]], [[0, -1, -1, 0], [0, 0, 1, -1], [0, 1, 0, 1]], [[0, -1, 0, -1], [0, 0, -1, 1], [0, 1, 1, 0]]]. The README fixes the 24-cell directions (D4 roots), the axis (the 16 half-vectors) and the layer (+-e_i) but not which partition; any two distinct roots meet at cosine <= 1/2, so every partition gives the same thresholds, and the exact decision is made on this one." ], "facts": [ "8 classes of 248 owner lines; 24 frame heads", "the 1984 owner lines give 3968 distinct minimal vectors", "the heads are 24 mutually orthogonal norm-64 Leech vectors: a frame", "the 24 roots of D4 split into eight zero-sum triangles" ], "scale": "Cohn units times 6", "bytes": { "kravatsky:verifications/improved/dim28-norm8-frame-layer/data/classes.npy": "8ef3caeeb2b15fe3ab0855de24fcfbd645798fa4280b5f938d179e86ab5984f6", "kravatsky:verifications/improved/dim28-norm8-frame-layer/data/heads.npy": "46af3924a8804b7ac27356e577333b0a606b97241c58f04ec5f9cde69575de51" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-28", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 28, "claimed": 204522, "previous": 204520, "gain": 2, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "published as a float64 array (pinned by hash; the inner array matches the sha256 the README prints) whose lifted-and-auxiliary block is turned by a generic rotation (\"Rotate the lifted and auxiliary blocks together; add an antipodal pair.\"). An exact witness needs that rotation as an exactly orthogonal matrix, or the polar-factor interval argument of the paper re-derived; neither was built in this wave. The bulk decodes to exact Leech vectors (dimension 25 shows the decode).", "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-29", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 29, "claimed": 209968, "previous": 209496, "gain": 472, "verdict": "WITNESSED", "ours": false, "pairs": 22043175528, "contacts": 423613740, "violations": 0, "maxCos": 0.5, "maxDotShow": "5184", "norm": "10368", "nearestNonContactCos": 0.4927992798267443, "seconds": 116.3, "bigintFallbacks": 1000054, "spotCheck": { "pairs": 3987, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 692, "pairs": 239086, "pythonContacts": 4167, "jsContacts": 4167, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 55, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 189616, "path": "gemm" }, { "name": "caps", "n": 19840, "path": "gemm" }, { "name": "axis", "n": 32, "path": "gemm" }, { "name": "layer", "n": 480, "path": "gemm" } ], "delta": null, "decode": null, "choices": [], "facts": [ "geom29.json: k = 5, quadruples over 24", "every direction, frame vector and axis point is a unit vector, exactly", "14 classes, 14 direction groups partitioning the 40 directions", "the layer frame is 5 orthonormal vectors", "the 3472 owner lines give 6944 distinct minimal vectors", "geom29.json states the total 209968" ], "scale": "Cohn units times 18", "bytes": { "kravatsky:verifications/improved/dim29-30-frame-layer/data/bounds29.npy": "019c488545dec076a4a8ae8c21fe7c331ac6f965b79abe7d59f954b202b14dc8", "kravatsky:verifications/improved/dim29-30-frame-layer/data/geom29.json": "0d6bf24c0103a5007a13abda6d5d7f1ff20726648ebd2bd0318250f184613835", "kravatsky:verifications/improved/dim29-30-frame-layer/data/owners29.npy": "fe9b850c5d73ece11a19b43c0cc2589fd1fd4b5363a1337513da63387f15a171" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-29", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 29, "claimed": 209497, "previous": 209496, "gain": 1, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "published as a float64 array (pinned by hash; the inner array matches the sha256 the README prints) whose lifted-and-auxiliary block is turned by a generic rotation (\"Rotate the lifted and auxiliary blocks together; add one point.\"). An exact witness needs that rotation as an exactly orthogonal matrix, or the polar-factor interval argument of the paper re-derived; neither was built in this wave. The bulk decodes to exact Leech vectors (dimension 25 shows the decode).", "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-30", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 30, "claimed": 221012, "previous": 220440, "gain": 572, "verdict": "WITNESSED", "ours": false, "pairs": 24423041566, "contacts": 405861644, "violations": 0, "maxCos": 0.5, "maxDotShow": "5184", "norm": "10368", "nearestNonContactCos": 0.4927992798267443, "seconds": 197.4, "bigintFallbacks": 3477000, "spotCheck": { "pairs": 3996, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 728, "pairs": 264628, "pythonContacts": 4385, "jsContacts": 4385, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 65, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 184656, "path": "gemm" }, { "name": "caps", "n": 35712, "path": "gemm" }, { "name": "axis", "n": 68, "path": "gemm" }, { "name": "layer", "n": 576, "path": "gemm" } ], "delta": null, "decode": null, "choices": [], "facts": [ "geom30.json: k = 6, quadruples over 24", "every direction, frame vector and axis point is a unit vector, exactly", "24 classes, 24 direction groups partitioning the 72 directions", "the layer frame is 6 orthonormal vectors", "the 5952 owner lines give 11904 distinct minimal vectors", "geom30.json states the total 221012" ], "scale": "Cohn units times 18", "bytes": { "kravatsky:verifications/improved/dim29-30-frame-layer/data/bounds30.npy": "7f1c705e6e69b29e648306718be894b947778c6bde8d75bb40194f3fae2175a0", "kravatsky:verifications/improved/dim29-30-frame-layer/data/geom30.json": "51df6f12068c36aaeee0c98efe4c7c21c15f001ce7cb30a19c2f4343d44c3f13", "kravatsky:verifications/improved/dim29-30-frame-layer/data/owners30.npy": "0b0ce4fbe3796151e6db3ef08134656243f5e958223e9d6ff7e3df5167f7669b" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-30", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 30, "claimed": 220442, "previous": 220440, "gain": 2, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "published as a float64 array (pinned by hash; the inner array matches the sha256 the README prints) whose lifted-and-auxiliary block is turned by a generic rotation (\"Transform the six additional coordinates, then rotate the entire lifted block; add an antipodal pair.\"). An exact witness needs that rotation as an exactly orthogonal matrix, or the polar-factor interval argument of the paper re-derived; neither was built in this wave. The bulk decodes to exact Leech vectors (dimension 25 shows the decode).", "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-31", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 31, "claimed": 238662, "previous": 238350, "gain": 312, "verdict": "WITNESSED", "ours": false, "pairs": 28479655791, "contacts": 378148820, "violations": 0, "maxCos": 0.5, "maxDotShow": "5184", "norm": "10368", "nearestNonContactCos": 0.4927992798267443, "seconds": 312.4, "bigintFallbacks": 11089006, "spotCheck": { "pairs": 3994, "disagreements": 0, "how": "sampled pairs re-decided in plain Python integers (no numpy, no BLAS)" }, "jsCheck": { "n": 778, "pairs": 302253, "pythonContacts": 5073, "jsContacts": 5073, "jsVerdict": "CERTIFIED", "agree": true, "excludedFamilies": [], "seed": 11, "perFamily": 220, "jsMs": 73, "how": "a seeded sample decided whole by the Python engine and by basis.js in JavaScript; no code shared" }, "families": [ { "name": "equator", "n": 175904, "path": "gemm" }, { "name": "caps", "n": 61968, "path": "gemm" }, { "name": "axis", "n": 118, "path": "gemm" }, { "name": "layer", "n": 672, "path": "gemm" } ], "delta": null, "decode": null, "choices": [], "facts": [ "geom31.json: k = 7, quadruples over 24", "every direction, frame vector and axis point is a unit vector, exactly", "42 classes, 42 direction groups partitioning the 126 directions", "the layer frame is 7 orthonormal vectors", "the 10328 owner lines give 20656 distinct minimal vectors", "geom31.json states the total 238662" ], "scale": "Cohn units times 18", "bytes": { "kravatsky:verifications/improved/dim31-frame-layer/data/bounds31.npy": "efee8dcbbf64c1768c723a982e1ff27e6261c8d5408f0c84ec585ea904d85aba", "kravatsky:verifications/improved/dim31-frame-layer/data/geom31.json": "c97f5adcc31e5c188635294673f7264a62e9baa93ef3b51cbe0e59273bc8e75c", "kravatsky:verifications/improved/dim31-frame-layer/data/owners31.npy": "8c4ac307d22396e79b84234c8f7207fc7b735277a219b580217dab2336274c40" }, "detail": null, "status": null, "package": null, "addedPoints": null }, { "id": "takhanov-yun-31", "claimant": "takhanov-yun", "claimantName": "R. Takhanov and S. Yun — arXiv:2609.21591, github.com/k-nic/Leech_lifting", "dim": 31, "claimed": 238354, "previous": 238350, "gain": 4, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "published as a float64 array (pinned by hash; the inner array matches the sha256 the README prints) whose lifted-and-auxiliary block is turned by a generic rotation (\"Rotate only the seven additional coordinates of the lifted vectors; add four points.\"). An exact witness needs that rotation as an exactly orthogonal matrix, or the polar-factor interval argument of the paper re-derived; neither was built in this wave. The bulk decodes to exact Leech vectors (dimension 25 shows the decode).", "status": null, "package": null, "addedPoints": { "horizontalCoefficient": 0.5011793879226719, "verticalCoefficient": 0.8653434122484744, "residual": 1.5432100042289676e-14, "readme": [ 0.5, 0.8660254037844386 ] } }, { "id": "kravatsky-38", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 38, "claimed": 591612, "previous": 566652, "gain": 24960, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "the package ships data a configuration can be rebuilt from; not decided in this wave (dimensions 18 and 25–31 first).", "status": "exhausted", "package": "verifications/improved/dim38-leech-large-codimension/", "addedPoints": null }, { "id": "kravatsky-39", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 39, "claimed": 756116, "previous": 755988, "gain": 128, "verdict": "QUEUED", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "the package ships data a configuration can be rebuilt from; not decided in this wave (dimensions 18 and 25–31 first).", "status": "external", "package": "verifications/improved/dim39-ers-constant-weight/", "addedPoints": null }, { "id": "qiushi-43", "claimant": "qiushi", "claimantName": "Qiushi Engine (Oxelra-AI) — arXiv:2609.35051", "dim": 43, "claimed": 2553792, "previous": 2545056, "gain": 8736, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "the count comes from spherical-design moment identities over a lattice section; no vector list is published. What would decide it: the vectors, or the section generators and the selected sets in exact form.", "status": null, "package": null, "addedPoints": null }, { "id": "qiushi-45", "claimant": "qiushi", "claimantName": "Qiushi Engine (Oxelra-AI) — arXiv:2609.35051", "dim": 45, "claimed": 7380090, "previous": 7379838, "gain": 252, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "the count comes from spherical-design moment identities over a lattice section; no vector list is published. What would decide it: the vectors, or the section generators and the selected sets in exact form.", "status": null, "package": null, "addedPoints": null }, { "id": "kravatsky-49", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 49, "claimed": 52430140, "previous": 52416002, "gain": 14138, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-50", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 50, "claimed": 52458418, "previous": 52416006, "gain": 42412, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-51", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 51, "claimed": 52500816, "previous": 52416012, "gain": 84804, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-52", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 52, "claimed": 52585516, "previous": 52416024, "gain": 169492, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-53", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 53, "claimed": 52698222, "previous": 52416040, "gain": 282182, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-54", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 54, "claimed": 52922906, "previous": 52416072, "gain": 506834, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-55", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 55, "claimed": 53299730, "previous": 52416126, "gain": 883604, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-56", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 56, "claimed": 54085392, "previous": 52416240, "gain": 1669152, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-57", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 57, "claimed": 54534176, "previous": 52416306, "gain": 2117870, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-58", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 58, "claimed": 55893422, "previous": 52416510, "gain": 3476912, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-59", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 59, "claimed": 56505668, "previous": 52416604, "gain": 4089064, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-60", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 60, "claimed": 57477123, "previous": 52416841, "gain": 5060282, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-61", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 61, "claimed": 59898694, "previous": 52417154, "gain": 7481540, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim49-63-p48-caps/", "addedPoints": null }, { "id": "kravatsky-62", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 62, "claimed": 71310732, "previous": 52417932, "gain": 18892800, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `external`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "external", "package": "verifications/improved/dim62-63-ers-chain/", "addedPoints": null }, { "id": "kravatsky-63", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 63, "claimed": 138419844, "previous": 52418564, "gain": 86001280, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `external`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "external", "package": "verifications/improved/dim62-63-ers-chain/", "addedPoints": null }, { "id": "kravatsky-68", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 68, "claimed": 361275480, "previous": 331737984, "gain": 29537496, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `lp-exact`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "lp-exact", "package": "verifications/improved/dim68-69-gamma72-cross-sections/", "addedPoints": null }, { "id": "kravatsky-69", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 69, "claimed": 627822180, "previous": 331737984, "gain": 296084196, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `lp-exact`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "lp-exact", "package": "verifications/improved/dim68-69-gamma72-cross-sections/", "addedPoints": null }, { "id": "kravatsky-70", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 70, "claimed": 1249778250, "previous": 331737984, "gain": 918040266, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `lp-exact`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "lp-exact", "package": "verifications/improved/dim70-71-gamma72-cross-sections/", "addedPoints": null }, { "id": "kravatsky-71", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 71, "claimed": 2603658750, "previous": 331737984, "gain": 2271920766, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `lp-exact`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "lp-exact", "package": "verifications/improved/dim70-71-gamma72-cross-sections/", "addedPoints": null }, { "id": "kravatsky-73", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 73, "claimed": 6218179814, "previous": 6218175602, "gain": 4212, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-74", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 74, "claimed": 6218192454, "previous": 6218175606, "gain": 16848, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-75", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 75, "claimed": 6218209308, "previous": 6218175612, "gain": 33696, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-76", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 76, "claimed": 6218243016, "previous": 6218175624, "gain": 67392, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-77", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 77, "claimed": 6218285152, "previous": 6218175640, "gain": 109512, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-78", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 78, "claimed": 6218377840, "previous": 6218175672, "gain": 202168, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-79", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 79, "claimed": 6218529454, "previous": 6218175726, "gain": 353728, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-80", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 80, "claimed": 6218849228, "previous": 6218175840, "gain": 673388, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-81", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 81, "claimed": 6219034270, "previous": 6218175906, "gain": 858364, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-82", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 82, "claimed": 6219605578, "previous": 6218176110, "gain": 1429468, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-83", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 83, "claimed": 6219621690, "previous": 6218176204, "gain": 1445486, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-84", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 84, "claimed": 6220293304, "previous": 6218176441, "gain": 2116863, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-85", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 85, "claimed": 6220745414, "previous": 6218176754, "gain": 2568660, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-86", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 86, "claimed": 6223567844, "previous": 6218177532, "gain": 5390312, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-87", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 87, "claimed": 6224703598, "previous": 6218178164, "gain": 6525434, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-88", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 88, "claimed": 6230206492, "previous": 6218179920, "gain": 12026572, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-89", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 89, "claimed": 6233054848, "previous": 6218181330, "gain": 14873518, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-90", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 90, "claimed": 6238744788, "previous": 6218183254, "gain": 20561534, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-91", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 91, "claimed": 6247801034, "previous": 6218187548, "gain": 29613486, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-92", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 92, "claimed": 6266405667, "previous": 6218195048, "gain": 48210619, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-93", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 93, "claimed": 6294850360, "previous": 6218205368, "gain": 76644992, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-94", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 94, "claimed": 6355739600, "previous": 6218225496, "gain": 137514104, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-95", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 95, "claimed": 6473065046, "previous": 6218268750, "gain": 254796296, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `classes`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "classes", "package": "verifications/improved/dim73-95-gamma72-caps/", "addedPoints": null }, { "id": "kravatsky-96", "claimant": "kravatsky", "claimantName": "A. Kravatskiy — github.com/alexlegeartis/KissingNumbers (no arXiv paper; the write-up, paper/kissing46.pdf, is in the repository and calls dimensions 25–31 joint work in progress with H. Cohn and B. Lindow)", "dim": 96, "claimed": 12886999232, "previous": 6218372160, "gain": 6668627072, "verdict": "NEEDS DATA", "ours": false, "pairs": null, "contacts": null, "violations": null, "maxCos": null, "maxDotShow": null, "norm": null, "nearestNonContactCos": null, "seconds": null, "bigintFallbacks": null, "spotCheck": null, "jsCheck": null, "families": [], "delta": null, "decode": null, "choices": [], "facts": [], "scale": null, "bytes": null, "detail": "no vector list is published: the count is computed from a lattice, class-size tables or a moment LP (RESULTS.md status `external`). What would decide it: the configuration's vectors in any exact form, or a generator file this lab can run without the claimant's code.", "status": "external", "package": "verifications/closed/dim96-ers-takeover/", "addedPoints": null } ] } }