Skip to content
Closed
18 changes: 18 additions & 0 deletions research/rank7-idle-donors-exact-r438/AUDIT.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
{
"binding": "complex",
"complex_root_lower": "8674078851925492817421/5000000000000000000000000",
"fill_rebound": true,
"kappa": "17348157703850985634839999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
"moves": 435604,
"rejected_controls": {
"axis_moved_twice": "axis not in donor remainder",
"dropped_move": "declared profile",
"foreign_axis": "axis not in donor remainder",
"hosted_axis_from_used_prefix": "axis not in donor remainder",
"hosted_receiver": "receiver must be unhosted",
"kappa_above_bit": "headline kappa",
"next_root_grid": "complex root bracket",
"receiver_donates": "receiver must be unhosted"
},
"status": "PASS_IDLE_DONOR_EXACT_R438_AUDIT"
}
Binary file not shown.
34 changes: 34 additions & 0 deletions research/rank7-idle-donors-exact-r438/CLAIM.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
{
"kappa": "17348157703850985634839999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
"kappa_decimal": "0.0017348157703850985634839999999999999999999998999999999999999999999999",
"binding": "complex",
"complex_root": [
"8674078851925492817421/5000000000000000000000000",
"17348157703850985634843/10000000000000000000000000"
],
"bit": "R438 0.001734846264120199151475",
"gain_over_pr3200": "174973179420229/20000000000000000000000",
"gain_over_pr3198": "45213273585402989/1000000000000000000000000",
"profile": {
"1": 16353294,
"2": 4837720,
"3": 1533431,
"4": 679320,
"5": 147055,
"8": 53280,
"42": 32303,
"43": 1160,
"44": 8240,
"45": 32140,
"46": 6300,
"47": 20,
"48": 35294,
"49": 27626,
"50": 10480,
"51": 129006
},
"T": 740,
"status": "author-checked conditional candidate",
"idea": "OpenCode (Space bunny free): exact per-group search in place of PR3200's greedy phase 1",
"credits": "Idea: OpenCode (Space bunny free). Base PR3200/PR3198/PR3190 (rohanarun); PR1252 Gonzalo-Mier; star class Gueorgui Maissouradze; PR3148 Jeremy Diviney; PR3133 dcharb78; PR1043 Ali Romman; PR2423 Sagar Thakrar; Anthropic Claude"
}
Binary file not shown.
Loading