Scoped negative result: no relocation or Steinberg rewrite with exact reframing raises PR589's bit c (no new kappa)

research/bit589-transport-reframe/CLAIM.json

@@ -0,0 +1,23 @@
+{
+  "status": "local sprint claim (no pinned coordination issue existed at 2026-10-13T11:35Z; no authenticated GitHub access from this session)",
+  "track": "00-19 bit supplier",
+  "assignment_seed": 14,
+  "seed_source": "python3 secrets.randbelow(100) (OS randomness)",
+  "base_commit": "f567884aeb8851b6e794af1184119a3bfbe1e631",
+  "object": "PR589's tuned punctured R439 bit word (research/e8-bit-p111-tuned/tune/bitE8mut-p111-tuned.json.gz), the selected #799 bit supplier",
+  "question": "Does one commuting relocation of a phase-A or phase-B summand or gate, followed by an exact optimum over all frame assignments, raise the nine-stage bit c = 1733427039589844234749/10^24?",
+  "why_not_a_duplicate": "PR589's tuner relocates one summand greedily with all other frames held fixed; open PR886 proves frame-only optimality with the gate order fixed and names gate-order moves as the remaining avenue; PR711 covers adjacent swaps on the older R420 word. This class contains both PR589's single-transport class and PR886's frame-only class.",
+  "method": "standard-library exact enumeration of every commuting relocation slot; per-candidate forward/backward frame bounds, independent free-gate components and exhaustive component enumeration; exact moment certification of any improvement",
+  "expected_deliverable": "either a verified word with larger bit c (construction, no new kappa because the selected assembly is complex-bound) or a scoped negative result with complete coverage counts",
+  "expected_finish": "2026-10-13T16:00Z",
+  "result": {
+    "status": "scoped negative result; no new kappa",
+    "scope_extensions_during_work": "cross-scatter relocations, Steinberg 3->2 rewrites (PR548's mechanism) and interacting pairs of relocations were added to the claimed class",
+    "depth_one_relocations": "10,886 classes (1,442,430 insertion indices): 2,805 no legal framing, 7,968 identical profile, 113 worse (17 distinct, certified), 0 better",
+    "steinberg_3_to_2": "659 rewrites, all F2-checked, all identical profile",
+    "depth_two_interacting_pairs": "891,589 pairs, 685,524 legal: 663,741 identical profile, 21,783 worse (58 distinct, certified), 0 better",
+    "independent_checks": "code-disjoint implementation: 0 mismatches on all depth-one classes and all 659 Steinberg optima; seed-14 sample of 2,000 pairs agrees",
+    "finished": "2026-10-13 (local)",
+    "link": "submitted as one pull request to CrocSwap/integer-mult-bounds from ianlibanio:research/bit589-transport-reframe-seed14 (2026-10-13); gh became available after the claim was recorded"
+  }
+}

research/bit589-transport-reframe/EXPECTED.json

@@ -0,0 +1,320 @@
+{
+ "pins": {
+  "tuned": "e3e301e62bc2b41dbf1ceac0acf3d35824ebeab1848c5a2142d4577b109da52f",
+  "base555": "1bc3c53d4baf4927c6a00c339ea3975516471a48074d4d97c6addaded2a4d858",
+  "moment": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482",
+  "xcheck": "af3decc877e27c00001cf56f50c6c09566e8e101297ab34c7860aed96a06d80e"
+ },
+ "depth1": {
+  "candidates": 10886,
+  "legal": 8081,
+  "illegal": 2805,
+  "improving": 0,
+  "same_cost": 7968,
+  "by_kind": {
+   "summand/A": {
+    "candidates": 6779,
+    "legal": 4972,
+    "improving": 0,
+    "same_cost": 4925
+   },
+   "gate/A": {
+    "candidates": 23,
+    "legal": 1,
+    "improving": 0,
+    "same_cost": 0
+   },
+   "summand/B": {
+    "candidates": 3788,
+    "legal": 2951,
+    "improving": 0,
+    "same_cost": 2886
+   },
+   "gate/B": {
+    "candidates": 56,
+    "legal": 0,
+    "improving": 0,
+    "same_cost": 0
+   },
+   "xsummand/A": {
+    "candidates": 224,
+    "legal": 153,
+    "improving": 0,
+    "same_cost": 153
+   },
+   "xsummand/B": {
+    "candidates": 16,
+    "legal": 4,
+    "improving": 0,
+    "same_cost": 4
+   }
+  },
+  "base_profile": {
+   "1": 1323,
+   "2": 1342,
+   "3": 79,
+   "4": 44,
+   "5": 102,
+   "6": 11,
+   "7": 19
+  },
+  "base_free_gates": 149,
+  "base_components": 125
+ },
+ "control555": {
+  "improving": 5,
+  "top": [
+   [
+    [
+     "summand",
+     "A",
+     1993,
+     470,
+     1993
+    ],
+    {
+     "1": 1322,
+     "2": 1342,
+     "3": 80,
+     "4": 45,
+     "5": 102,
+     "6": 10,
+     "7": 19
+    }
+   ],
+   [
+    [
+     "summand",
+     "A",
+     1993,
+     470,
+     2037
+    ],
+    {
+     "1": 1322,
+     "2": 1342,
+     "3": 79,
+     "4": 46,
+     "5": 102,
+     "6": 11,
+     "7": 18
+    }
+   ],
+   [
+    [
+     "summand",
+     "A",
+     1994,
+     469,
+     2029
+    ],
+    {
+     "1": 1322,
+     "2": 1342,
+     "3": 79,
+     "4": 46,
+     "5": 102,
+     "6": 11,
+     "7": 18
+    }
+   ],
+   [
+    [
+     "summand",
+     "A",
+     1993,
+     470,
+     1994
+    ],
+    {
+     "1": 1321,
+     "2": 1343,
+     "3": 79,
+     "4": 46,
+     "5": 103,
+     "6": 10,
+     "7": 18
+    }
+   ],
+   [
+    [
+     "summand",
+     "A",
+     1994,
+     469,
+     1995
+    ],
+    {
+     "1": 1321,
+     "2": 1343,
+     "3": 79,
+     "4": 46,
+     "5": 103,
+     "6": 10,
+     "7": 18
+    }
+   ]
+  ]
+ },
+ "independent": {
+  "insertion_indices": 1323506,
+  "cross_scatter_indices": 118924,
+  "classes": 10886,
+  "primary_candidates": 10886,
+  "base_profile": {
+   "1": 1323,
+   "2": 1342,
+   "3": 79,
+   "4": 44,
+   "5": 102,
+   "6": 11,
+   "7": 19
+  },
+  "outcome": {
+   "same": 7968,
+   "illegal": 2805,
+   "worse": 113
+  },
+  "mismatches_vs_primary": 0,
+  "first_mismatches": []
+ },
+ "certify_depth1": {
+  "distinct_profiles": 18,
+  "certified_below": 17,
+  "base": 1,
+  "not_certified": 0,
+  "smallest_moment_excess": "1.442682815942970358633218113399708916169425181805479623411127407509955E-7",
+  "base_endpoint_control": "pass"
+ },
+ "explicit_control": {
+  "moves": [
+   [
+    "summand",
+    "A",
+    1993,
+    470,
+    1993
+   ],
+   [
+    "summand",
+    "A",
+    1995,
+    469,
+    2030
+   ]
+  ],
+  "profile": {
+   "1": 1323,
+   "2": 1342,
+   "3": 79,
+   "4": 44,
+   "5": 102,
+   "6": 11,
+   "7": 19
+  },
+  "xcheck_last_line": "PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1"
+ },
+ "negative_controls": {
+  "noncommuting_index": 603,
+  "noncommuting_endpoint_holds": false,
+  "lowered_gate": 241,
+  "lowered_profile_legal": false
+ },
+ "pair_control555": {
+  "first": [
+   [
+    "summand",
+    "A",
+    1993,
+    470,
+    1993
+   ]
+  ],
+  "improving_pairs": 1,
+  "best_m2": [
+   "summand",
+   "A",
+   1995,
+   469,
+   2030
+  ],
+  "best_profile": {
+   "1": 1323,
+   "2": 1342,
+   "3": 79,
+   "4": 44,
+   "5": 102,
+   "6": 11,
+   "7": 19
+  }
+ },
+ "depth2": {
+  "first_candidates": 10886,
+  "first_moves": 8081,
+  "pairs": 891589,
+  "legal_pairs": 685524,
+  "improving_pairs": 0,
+  "distinct_optimal_profiles": 59,
+  "pairs_with_base_profile": 663741
+ },
+ "certify_depth2": {
+  "distinct_profiles": 59,
+  "certified_below": 58,
+  "base": 1,
+  "not_certified": 0,
+  "smallest_moment_excess": "1.442682815942970358633218113399708916169425181805479623411127407509955E-7",
+  "base_endpoint_control": "pass"
+ },
+ "steinberg": {
+  "word": "bitE8mut-p111-tuned.json.gz",
+  "c": "1733427039589844234749/1000000000000000000000000",
+  "triples": 659,
+  "by_section_case": {
+   "A/case2": 503,
+   "A/case1": 16,
+   "B/case2": 121,
+   "B/case1": 19
+  },
+  "f2_checked": 659,
+  "independent_agree": 659,
+  "outcome": {
+   "same": 659
+  }
+ },
+ "steinberg_control": {
+  "pair_index": 1778,
+  "c_slot": 1778,
+  "moved_by": -2,
+  "triples_in_expanded_A": 518,
+  "recovering_triples": [
+   [
+    1,
+    1779,
+    1780,
+    1778
+   ]
+  ],
+  "recovered_word_identical": true,
+  "recovered_profile": {
+   "1": 1323,
+   "2": 1342,
+   "3": 79,
+   "4": 44,
+   "5": 102,
+   "6": 11,
+   "7": 19
+  }
+ },
+ "pair_sample": {
+  "seed": 14,
+  "pairs": 2000,
+  "agree": 2000,
+  "disagree": 0,
+  "primary_outcomes": {
+   "illegal": 481,
+   "base": 1476,
+   "other": 43
+  },
+  "first_disagreements": []
+ }
+}