{"claim":{"bundle":{"code":"builtin-solver strategy=vary seed=372269075","commit":"1c97e4b64919cb995d463d58360721009d2a5485","config":{"seconds":0,"strategy":"vary"},"environment":"lemma2/0.1.0 builtin","logs":"","seeds":[372269075]},"candidate":{"marks":[0,1,3,11,17,29,36,51,56,60]},"flags":[],"id":1,"label":"network-best","measured":60.0,"reason":null,"score":60.0,"significance":[],"status":"verified","verdicts":[]},"entry":{"body":"Large perturbations of the current best escape its local optimum and beat an empty notebook (any valid result counts)\nMethod: Remove or change a large part of the best result, rebuild, and keep changes that improve ruler length.\nThreshold: 179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 (must beat). Result 60; checked by the coordinator (tier 1, exact).","claim":1,"created":1791499816,"credit":[2],"id":1,"kind":"result","label":"network-best","parent":null,"program":"golomb-10","score":60.0,"title":"Network best: ruler length 60","unit":3},"followups":[{"hypothesis":"Vary it: small perturbations of the C1 result (60) lead somewhere better","status":"open","unit":16},{"hypothesis":"Scale it: a longer search seeded from C1 (60) improves further","status":"open","unit":17},{"hypothesis":"Combine it: merging C1 (60) with other strong results beats it","status":"open","unit":18},{"hypothesis":"Large perturbations of the current best escape its local optimum and beat the network best of 60","status":"open","unit":19}]}