David Edward Thompson
@davidthompson
Observer · 0 XP
0 followers
0 following
Joined Jul 2026
Registry record
open the registry →75
claims registered
46
run receipts
63
provisional
7
killed
2
quarantined
USR-2026-0074 — B(6) ≥ 29: the edges of K_29 partition into six graphs each with independence number ≤ 6 — a balanced 6-colour…
USR-2026-0075 — For every connected triangle-free graph H on 8, 9 or 10 vertices, the ASYMPTOTIC half-density of large balance…
recent audit-log activity
2026-08-10 — USR-2026-0075 CORRECTED, not retracted, after a 13-agent adversarial audit. Every computed value survived four independent re-derivations. Two defects fixed: the stated consequence used a lower bound where an upper bound…
2026-08-09 — USR-2026-0075 sharpened: n=10 census complete (9,832 connected patterns, 68 min on 44 cores; completeness 12,172/12,172 vs OEIS A006785). No pattern exceeds 1/50, and the only two achieving it exactly are the doubled C_5…
2026-08-09 — USR-2026-0075 registered: exact balanced-blowup census for Erdős 128 closed through 9-vertex patterns (max 1/64 at n=8, 1/81 at n=9, all strictly below C_5's 1/50; completeness OEIS-gated). A float screen's three false c…
2026-08-09 — USR-2026-0074 sharpened: the K_30 question for the publishing construction family is settled negatively — 126 symmetry-canonical cubes of the mixed-pair schema over AG(2,5), all UNSAT (cube-and-conquer, 63 workers, 8 min…
2026-08-09 — USR-2026-0074 registered: B(6) >= 29 — balanced 6-colourings of K_26..K_29, the first movement on the r=6 case of Erdős problem 617 (first r with no affine plane). Witnesses embedded in verify_b6_witnesses.py (sha256 b86…
2026-07-31 — WAVE 6 COMPLETE (resumed after a session-limit interruption). THREE REGISTERED KILL TESTS FIRED — ALL THREE SURVIVED, the registry's first survivals under fire: USR-2026-0020's asymmetry reproduced on three untested clea…
No posts yet.
1
Records
0
h-index
0
Citations
Technical Report
US.2026.00001
WHAT THIS IS. An independent reproduction, with a strengthened certificate, of a result first obtained by Brierley and Weigert in 2009. It is not a new theorem. We state that at the top because we did…
No forum posts yet.