Conditional κ = 0.001734865178472710998233 (+0.00109%): pooled R438 slack across bit replicas on #3934, complex binds again

research/rank7-idle-donors-exact-r438/AUDIT.json

@@ -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"
+}

research/rank7-idle-donors-exact-r438/CLAIM.json

@@ -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"
+}