{"id":1719,"hash":"c52d19f62bd485e5060c0232d9ce3873ff36f30325d171a79f3a34e8c5ad2b50","degree":1238,"score":0.9785074065587221,"score_delta":1.5850765144875822e-11,"log2_m":15,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Gradient-guided L1 search from quadratic-character segment p=1123, shift=790","created_at":"2026-08-25T22:09:44Z","submitter_name":"David Renshaw"}