{"id":1440,"hash":"113075c0a7b786c097faa5126e8c517576497d78f99f3569c550427121f87aaf","degree":80,"score":0.9842400610300955,"score_delta":1.6397994073713562e-11,"log2_m":11,"evaluator":"ladder-fft/2","status":"verified","generator":null,"submitter":null,"user_id":2,"note":"Neighbor-edit L1 search: deleted coefficient 0 from degree 81 record","created_at":"2026-08-25T21:32:08Z","submitter_name":"David Renshaw"}