Priority deposit: c7 inequality at 14/15 crossings, Knot 15331 bounds, and a blind Farey/precessing-ellipse knot atlas

Three dated computational results, deposited to fix priority in permanent, non-editable, citable form. (1) The c7 inequality spP_a <= spF_a (open conjecture of M. Jablonowski, arXiv:2605.22652) verified for the first time beyond 13 crossings: all 46,972 knots at c=14 and all 253,281 knots at c=15, 0 violations. (2) Sharper bounds and a primality/hyperbolicity argument for Knot 15331 of D. H. Fremlin's knot problem (credit already acknowledged by Fremlin, 2026). (3) A blind verification and atlas of A. Hizume's precessing-ellipse/Farey construction: 28 space curves closed at Delta=q/p (3/2..13/6), each identified blind as T(p,q) with determinant, Alexander, Jones and standard braid. HONESTY NOTE: no invariant here is computed by an AI; all numbers come from established open tools (SnapPy, SageMath, Regina, KnotJob, and an independent Kauffman implementation) and are reproducible there. This work was done by Werner Alois Stanggassinger in collaboration with Claude Code (Anthropic): the geometry, questions and hardware are Stanggassinger's; the pipeline driving the tools and the curve-generating machines are the joint contribution. See README.md and SHA256SUMS in the archive.