Construction: one coded helper for all-K packet delivery

research/complex-packet-borrowing23/CLAIM.json

@@ -0,0 +1,39 @@
+{
+  "assignment_seed": 23,
+  "assignment_draw_utc": "2026-10-13T04:39:09.0462877Z",
+  "draw": "OS cryptographic byte; reject values >=200; reduce modulo 100",
+  "track": "complex supplier",
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "salt": "23|made, shell, arm, script, fix, tape",
+  "salt_sha256": "e743f055badcf6eca828bbaca72994eb06af4ceda579a0a90535e982cb386d12",
+  "selection_rule": "minimum SHA-256(salt + '|' + candidate_id)",
+  "candidates": [
+    {
+      "id": "coordinate-center-reduction-tree",
+      "question": "Can a binary reduction tree for the seven factory totals of one complex coordinate center reduce the paid recursive profile once all donor paths and restoration are included?",
+      "method": "Exact subset dynamic programming over all seven-leaf binary trees, derive legal join frames from the selected construction, price every changed register path, and reconstruct a witness if any candidate improves the baseline.",
+      "selection_hash": "f62753569c1aa8ce9cb1e3bde2722d7c8f647eaa8f35640c7ffbe8582d18f4ef"
+    },
+    {
+      "id": "two-helper-terminal-basis",
+      "question": "Can a joint dyadic basis change on two coframed complex helpers expose a lower terminal frame unavailable to either helper independently?",
+      "method": "Enumerate compatible helper pairs in seed order; solve the exact two-column exterior-response cancellation; price both basis changes, restoration and resulting residual widths, then replay a winning word.",
+      "selection_hash": "bb5870f429ca4a3b3bda86e4306c6d96d8f42308c7ea6b6f626bff2882265f08"
+    },
+    {
+      "id": "cross-factory-packet-sharing",
+      "question": "Can two complex factories sharing a coordinate pair replace duplicated delivery packets with one transported linear combination while preserving arbitrary dirty inputs?",
+      "method": "Select a factory intersection in seed order; derive the joint response map and a reversible dyadic factorization; include source access, join frames, target writes, both cleanups and residual widths before accepting a gain.",
+      "selection_hash": "4b4a15b22f161c542dc51cd6f53426f79541d3f39e838c398b24370e53afbd16"
+    }
+  ],
+  "selected": "cross-factory-packet-sharing",
+  "coordination": "GitHub pinnedIssues returned an empty list at orientation; claim is recorded locally. No separate reservation issue is opened.",
+  "proof_bar": "A strict improvement requires a complete paid profile and exact arbitrary-dirt/frame verification; otherwise report only an exhaustively checked scoped obstruction or measured search coverage, with no new kappa claim.",
+  "selected_object": "Pair (6,7), sign +1; six all-K leavers, with scope extended to all eight signed all-K cells",
+  "result": "One coded helper with a strict paid-profile gain over a matched-stock direct circuit; both changed native words pass all 714 arbitrary-input columns in both orientations. Analytic single-pair obstruction and solver-backed positive no-helper exclusion. No new kappa.",
+  "scope_record_updated_utc": "2026-10-13T06:28:00Z",
+  "status": "submitted with constructive follow-up",
+  "pull_request": "https://github.com/CrocSwap/integer-mult-bounds/pull/781",
+  "submitted_utc": "2026-10-13T05:31:45Z"
+}

research/complex-packet-borrowing23/CODED-CELL.json

@@ -0,0 +1,65 @@
+{
+  "selected": [[6, 7], 1],
+  "core": [
+    ["h0", "x4", 1],
+    ["y1", "x3", 1],
+    ["y2", "x5", 1],
+    ["y3", "x0", 1],
+    ["y4", "x2", 1],
+    ["y5", "x1", 1],
+    ["h0", "x2", 1],
+    ["y0", "y1", 1],
+    ["y2", "x1", 1],
+    ["y5", "y3", 1],
+    ["y0", "x4", 1],
+    ["y3", "y2", 1],
+    ["y5", "x3", 1],
+    ["y0", "x2", 1],
+    ["y1", "x4", 1],
+    ["y2", "x3", 1],
+    ["y4", "y3", 1],
+    ["y0", "x5", 1],
+    ["y1", "x0", 1],
+    ["y3", "h0", 1],
+    ["y4", "x3", 1],
+    ["y5", "x4", 1],
+    ["y0", "x1", 1],
+    ["y1", "x2", 1],
+    ["y2", "x0", 1],
+    ["y1", "x5", 1],
+    ["y2", "x4", 1],
+    ["y5", "x2", 1]
+  ],
+  "direct": [
+    ["y5", "x3", 1],
+    ["y2", "x1", 1],
+    ["y3", "x2", 1],
+    ["y1", "x0", 1],
+    ["y4", "x5", 1],
+    ["y4", "x3", 1],
+    ["y5", "x2", 1],
+    ["y4", "x2", 1],
+    ["y0", "x4", 1],
+    ["y2", "x0", 1],
+    ["y0", "x5", 1],
+    ["y3", "x1", 1],
+    ["y1", "x4", 1],
+    ["y2", "x4", 1],
+    ["y3", "x0", 1],
+    ["y3", "x4", 1],
+    ["y1", "x5", 1],
+    ["y2", "x5", 1],
+    ["y0", "x3", 1],
+    ["y1", "x3", 1],
+    ["y2", "x3", 1],
+    ["y3", "x5", 1],
+    ["y0", "x2", 1],
+    ["y1", "x2", 1],
+    ["y5", "x1", 1],
+    ["y5", "x0", 1],
+    ["y5", "x4", 1],
+    ["y4", "x1", 1],
+    ["y4", "x0", 1],
+    ["y0", "x1", 1]
+  ]
+}

research/complex-packet-borrowing23/EXPECTED.json

@@ -0,0 +1,189 @@
+{
+  "schema": "complex-packet-borrowing23/2",
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "assignment_seed": 23,
+  "salt_sha256": "e743f055badcf6eca828bbaca72994eb06af4ceda579a0a90535e982cb386d12",
+  "selected": [
+    [
+      6,
+      7
+    ],
+    1
+  ],
+  "formed_candidate_count": 52,
+  "raw492_content_sha256": "a78f4e2114212d2f4b567cc9ef4e3b31ace0c19983009cec562a642831a84c34",
+  "geometry": {
+    "signed_cells": 8,
+    "leaver_target_bindings": 48,
+    "exact_join_supports": 504,
+    "shared_support_clock_certificates": 3600,
+    "geometry_sha256": "a804597bbd53ef07609f18287e701bac803eea4c105fd6813cec9d35935dd351"
+  },
+  "chronology": {
+    "orders_examined": 120,
+    "orders_meeting_four_required_precedences": 16,
+    "surviving_orders": 0,
+    "contradiction_branches": {
+      "C_before_D_forbids_B": 8,
+      "D_before_C_forbids_A": 8
+    }
+  },
+  "scalar_and_paid_controls": {
+    "permutations_examined": 720,
+    "arbitrary_input_scalar_passes": 120,
+    "scalar_and_strict_frame_passes": 0,
+    "false_passes_when_source_pollution_is_omitted": 60,
+    "missing_required_entry_control": {
+      "ok": true,
+      "profile": {
+        "1": 4,
+        "2": 3,
+        "5": 2,
+        "6": 3,
+        "7": 1
+      },
+      "rank_mass": 45
+    },
+    "two_carrier_escape": {
+      "ok": true,
+      "profile": {
+        "1": 6,
+        "2": 5,
+        "5": 3,
+        "6": 3,
+        "7": 2
+      },
+      "rank_mass": 63,
+      "columns_each_orientation": 8,
+      "scalar_additions_including_precondition_compensation_cleanup": 14,
+      "all_dirty_helpers_restored": true
+    },
+    "matched_stock_direct_control": {
+      "ok": true,
+      "profile": {
+        "1": 6,
+        "2": 3,
+        "5": 3,
+        "6": 3,
+        "9": 2
+      },
+      "rank_mass": 63
+    },
+    "escape_minus_direct_profile": {
+      "2": 2,
+      "7": 2,
+      "9": -2
+    },
+    "dirty_input_mutations_rejected": {
+      "omit_h0_cleanup": true,
+      "omit_h1_compensation": true,
+      "double_shared_target_read": true
+    }
+  },
+  "one_helper_cell": {
+    "witness_sha256": "669017453cdc19f9cad56cdd0b63990f22d8d479850db4519495b88da4c88610",
+    "columns_each_orientation": 13,
+    "core_additions": 28,
+    "zero_frame_precondition_additions": 5,
+    "full_frame_cleanup_additions": 2,
+    "total_scalar_additions": 35,
+    "coded": {
+      "ok": true,
+      "profile": {
+        "1": 32,
+        "2": 17,
+        "3": 11
+      },
+      "rank_mass": 99
+    },
+    "same_stock_direct": {
+      "ok": true,
+      "profile": {
+        "1": 48,
+        "2": 12,
+        "3": 6,
+        "9": 1
+      },
+      "rank_mass": 99
+    },
+    "coded_minus_direct_profile": {
+      "1": -16,
+      "2": 5,
+      "3": 5,
+      "9": -1
+    },
+    "mutations_rejected": {
+      "omit_compensation": true,
+      "omit_helper_cleanup": true,
+      "omit_coded_helper_read": true,
+      "double_shared_target_read": true
+    }
+  },
+  "native_comparison": {
+    "coded": {
+      "status": "PASS_CHANGED_WORD_ALL_COLUMNS_AND_NATIVE_FRAMES",
+      "input_content_sha256": "9cd9f6906ea1bfce4ffde22da41f049b2ba470582a881cb36bcfc54fb19af722",
+      "routing_content_sha256": "7c84ac65c8b37173aa4293934f041915895e8ec30595844cc1534e2a19ae0d25",
+      "canonical_content_sha256": "f38ffe0408b56a97219bd9f8734086fa93b2b5ee1bae80cd2ed390500712223b",
+      "live_columns_each_orientation": 714,
+      "helpers": 490,
+      "compensation_additions": 10478,
+      "scalar_operations": 16816,
+      "center_rank_sum": 64,
+      "local_profile": {
+        "1": 2044,
+        "2": 747,
+        "3": 302,
+        "4": 168,
+        "5": 168,
+        "6": 41,
+        "8": 8
+      },
+      "local_rank_mass": 6266,
+      "frames": 1128,
+      "directed_edges": 3113,
+      "tau": 43,
+      "target_port_order_matches_baseline": true,
+      "scope": "Fresh exact forward and inverse-transpose scalar replay on every arbitrary input; all native frame chains and dyadic primitives. Phase lowering, wrappers, global owners and global assembly are separate.",
+      "helper_widths": {
+        "9": 490
+      }
+    },
+    "same_stock_direct": {
+      "status": "PASS_CHANGED_WORD_ALL_COLUMNS_AND_NATIVE_FRAMES",
+      "input_content_sha256": "676690228cbfe549a446f5f29869690359b8ec5e623f77101bb4f58b3f142a07",
+      "routing_content_sha256": "7c84ac65c8b37173aa4293934f041915895e8ec30595844cc1534e2a19ae0d25",
+      "canonical_content_sha256": "fb3c4e42025cd39239668a35ffed03085c6d3dd13c1b460cd3979bb03783f421",
+      "live_columns_each_orientation": 714,
+      "helpers": 490,
+      "compensation_additions": 10626,
+      "scalar_operations": 16966,
+      "center_rank_sum": 64,
+      "local_profile": {
+        "1": 2060,
+        "2": 742,
+        "3": 297,
+        "4": 168,
+        "5": 168,
+        "6": 41,
+        "8": 8,
+        "9": 1
+      },
+      "local_rank_mass": 6266,
+      "frames": 1133,
+      "directed_edges": 3123,
+      "tau": 43,
+      "target_port_order_matches_baseline": true,
+      "scope": "Fresh exact forward and inverse-transpose scalar replay on every arbitrary input; all native frame chains and dyadic primitives. Phase lowering, wrappers, global owners and global assembly are separate.",
+      "helper_widths": {
+        "9": 490
+      }
+    },
+    "coded_minus_direct_profile": {
+      "1": -16,
+      "2": 5,
+      "3": 5,
+      "9": -1
+    }
+  }
+}

research/complex-packet-borrowing23/NOTICE.md

@@ -0,0 +1,19 @@
+# Attribution and license
+
+Prepared by NeoKazuya with substantial OpenAI Codex assistance, using
+GPT-6-Astra. New code and text are contributed under Apache-2.0.
+
+The checked packet construction is icekylinx's #531 factory and its
+#425/#433 ancestry, extended by Jeremy Kothe/AtomScout's #622 K-triangle
+constructor. The selected #626 package is Chafik Boukhalfa's owner repair;
+eumemic's #543 bit supplier and the cumulative community dependencies retain
+their existing attribution. No authorship of those constructions is claimed.
+
+Sreekanth Nair/higherbeing's #651 and Douglas Colkitt's #683 supplied the
+related scope comparisons. They are not dependencies of the chronology proof.
+The original constructor and its data are read in place, with hashes recorded
+in SOURCE-PINS.json. The follow-up native recipe adapts that constructor in
+memory; it does not edit the inherited source. The independent native auditor
+retains its #425/#433, DreamingOfClouds #484 and Round19 attribution. It and
+the #552 phase-baseline routing word are also pinned and read in place.
+Their original notices and licenses remain in their respective packages.