Conditional κ = 0.001733427039589844234749 (bit-bound): idle-remainder donors on #3148's T740 fill (+0.187% over #3184)

research/rank7-idle-remainder-donors-t740/AUDIT.json

@@ -0,0 +1,18 @@
+{
+ "binding": "bit",
+ "complex_root_lower": "17347705571115131604951/10000000000000000000000000",
+ "fill_rebound": true,
+ "kappa": "17334270395898442347489999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+ "moves": 391964,
+ "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_REMAINDER_DONOR_AUDIT"
+}

research/rank7-idle-remainder-donors-t740/CLAIM.json

@@ -0,0 +1,30 @@
+{
+ "kappa": "17334270395898442347489999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+ "kappa_decimal": "0.0017334270395898442347489999999999999999999998999999999999999999999999",
+ "binding": "bit (PR589 0.001733427039589844234749)",
+ "complex_root": [
+  "17347705571115131604951/10000000000000000000000000",
+  "2168463196389391450619/1250000000000000000000000"
+ ],
+ "baseline": "PR3184 / PR3148 (open)",
+ "gain_over_pr3184": "1618989177996737327/500000000000000000000000",
+ "gain_over_pr3148": "3649544911247222863/1000000000000000000000000",
+ "profile": {
+  "1": 16353294,
+  "2": 4837720,
+  "3": 1533431,
+  "4": 679320,
+  "5": 147055,
+  "8": 53280,
+  "42": 32303,
+  "45": 34720,
+  "48": 48434,
+  "49": 47026,
+  "50": 15320,
+  "51": 104766
+ },
+ "T": 740,
+ "changed_hypothesis": "idle remainders of partially hosted bins donate axes (PR1252 rule) to unhosted idle children; receivers capped at 51",
+ "status": "author-checked conditional candidate; native admission, overlay-aware controller audit and bit-binding outer release not rerun",
+ "credits": "PR1252 Gonzalo-Mier; star class Gueorgui Maissouradze; PR3148 Jeremy Diviney; PR3133/PR3042 dcharb78; PR2979 Marius-Paul Dumitrean; OpenCode (Space bunny free); Anthropic Claude"
+}