Verified T16 packing gain with OR-Tools: conditional κ = 0.001673618490895016

research/complex-t16-evacuation-increment/CANDIDATE.json

@@ -0,0 +1,59 @@
+{
+  "claim_type": "conditional T16 owner-packing improvement",
+  "word_and_suppliers": "Fixed selected PR1094 word, gauge44 complex supplier, and unchanged PR589 bit supplier.",
+  "predecessor_kappa": "0.001673614205725695",
+  "expected_updates": {
+    "gain_baseline_kappa": "0.001636241501576388",
+    "complex_lower": "838212092705151621517/500000000000000000000000",
+    "conservative_complex_lower": "167642418254791971833/100000000000000000000000",
+    "kappa": "209202311361877/125000000000000000",
+    "assembly_controls_rejected": 69,
+    "provider_counts": {
+      "gauge44": 144
+    },
+    "mutations_rejected": 15,
+    "hosted_residuals": 69120,
+    "rank_mass": 1041408,
+    "actual_73column_sigmas": 10008,
+    "cross_replica_helper_roles": 57417,
+    "idle_remainders": 7394,
+    "idle_remainder_profile": {
+      "1": 2392,
+      "2": 8,
+      "3": 110,
+      "7": 2,
+      "16": 2,
+      "48": 4880
+    },
+    "global_profile": {
+      "1": 349720,
+      "2": 60200,
+      "3": 62318,
+      "4": 20448,
+      "5": 11808,
+      "7": 2,
+      "8": 1152,
+      "16": 2,
+      "48": 4880
+    },
+    "live": 14336,
+    "physical": 14826,
+    "conservative_kappa_decimal": "0.001673618488042206",
+    "kappa_decimal": "0.001673618490895016"
+  },
+  "changed_rows_vs_predecessor": 163,
+  "relocated_rows_vs_predecessor": 142,
+  "offset_only_rows_vs_predecessor": 21,
+  "search_status": "finite CP-SAT search best; no optimality claim",
+  "word_ceiling": {
+    "a_hi": "0.001690054109089",
+    "implied_kappa_ceiling": "0.0016872026453254019737168092357730518079784723022911",
+    "fraction_realized": "0.99194871198902958766575607143578602999758455859606",
+    "fraction_of_selected_to_ceiling_gap_closed": "0.0658963196377817987102974155083040295071362586"
+  },
+  "packing_ceiling": {
+    "max_empty_cap48_bins": 4887,
+    "surrogate_E_max": 908139.013,
+    "not_a_kappa_bound": true
+  }
+}