
Unrefereed computer-assisted counterexample: exact rational lower and upper certificates give lambda(K)=122/65>15/8 for a fourteen-vertex body in dimension six. Internal replay and model-assisted review do not constitute formal verification, external specialist review or priority clearance.
