Mister-Meeseeks · Nov 10, 2026 · Nov 9, 2026
diff --git a/research/current-swap-flat-tables/.gitignore b/research/current-swap-flat-tables/.gitignore
@@ -0,0 +1,2 @@
+__pycache__/
+*.pyc
diff --git a/research/current-swap-flat-tables/DEPENDENCIES.json b/research/current-swap-flat-tables/DEPENDENCIES.json
@@ -0,0 +1,69 @@
+{
+  "schema_version": 1,
+  "files": [
+    {
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "ab239cb6ee884e7a900dd9101c34448077fad0b0",
+      "original_path": "research/compiled-owned-bank-lifecycle/machine.py",
+      "local_path": "vendor/lifecycle/machine.py",
+      "git_blob": "acf475e4fccaff2fb64bd5b0b3f3fc0d246dc592",
+      "bytes": 14932,
+      "sha256": "ec597bce13275003ff30e4be481c936401826c1d4af642b55eec0c410774d1df"
+    },
+    {
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "ab239cb6ee884e7a900dd9101c34448077fad0b0",
+      "original_path": "research/compiled-owned-bank-lifecycle/source_ir.py",
+      "local_path": "vendor/lifecycle/source_ir.py",
+      "git_blob": "79c95fa79439f3c893de52991173bd3a5eae2729",
+      "bytes": 27393,
+      "sha256": "54dd93bc50bd10e974c70794df1c13da27f0e3d8cdb6cfe6791a63280096f1b1"
+    },
+    {
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+      "original_path": "research/delimited-continuation-stack/stack.py",
+      "local_path": "vendor/stack.py",
+      "git_blob": "a5d6753b901901a5b2d1a4dd72134e53af70c666",
+      "bytes": 5657,
+      "sha256": "21a2213aa850c55e5eace4cd10b72b958d7ee84d83a014567902ce8ee9b3f4f2"
+    },
+    {
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "13193a22b1070a74a8580c5d3ea27470443f815a",
+      "original_path": "research/current-scalar-flat-tables/physical.py",
+      "local_path": "physical.py",
+      "git_blob": "781a0fef1745effd9b6cfebac7ebdef982eec955",
+      "sha256": "506326b47469ad3f8d9731a09ae935778130b4a8e532a1adc8ae144742e81fe5",
+      "bytes": 4915
+    },
+    {
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "13193a22b1070a74a8580c5d3ea27470443f815a",
+      "original_path": "research/current-scalar-flat-tables/tables.py",
+      "local_path": "vendor/scalar_tables.py",
+      "git_blob": "1cc22f75fbe53d48b84be42782e581c04820cd49",
+      "sha256": "654e9734ef80a9394807ca508543b1bc164afb5768d23d0e5a88c790d2f13bac",
+      "bytes": 12650
+    },
+    {
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+      "original_path": "research/p104-productive-controller/caller.py",
+      "local_path": "vendor/current_caller.py",
+      "usage": "reference-only; not imported",
+      "git_blob": "6ac5e735691555ecafe2afbcff71edd923178113",
+      "sha256": "300d40043953e4f6aecfde8f2d1004b8ad6dc5a79ec3c7666c9908c2466c91c8",
+      "bytes": 10267
+    },
+    {
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "13193a22b1070a74a8580c5d3ea27470443f815a",
+      "original_path": "research/current-scalar-flat-tables/source_binding.py",
+      "local_path": "source_binding.py",
+      "git_blob": "4b3812a7f4c87d7a9d62b16fed4ea68d8fa0e7ad",
+      "bytes": 1020,
+      "sha256": "6c64b140c4c9c4d58927a1b0f3f5e40b4b1657ea80fe6989e714ea295d18be31"
+    }
+  ]
+}
diff --git a/research/current-swap-flat-tables/OVERLAP.md b/research/current-swap-flat-tables/OVERLAP.md
@@ -0,0 +1,29 @@
+# Bounded source-class overlap check
+
+Prepared for @CubeJerry with substantial OpenAI assistance. No novelty priority
+is claimed for swapping, signed permutations or complement-plus-one negation.
+
+Canonical source base: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`.
+The lead's wave-2 assignment isolates the 10,920 original two-output services
+omitted from the frozen ADD/SCALE package. Native phase/Gaussian/MOVE, Compact,
+row, complete-Core, full-caller precision and κ work remain excluded.
+
+Inspected exact current `source_ir`, caller JSON and original `caller.py`.
+Bounded GitHub PR-body searches used `SIGNED_SWAP`, `swap physical`,
+`scalar table`, and the exact historical package slug. These identify nearby
+work but are not an exhaustive novelty certificate; arbitrary unpublished
+work and uninspected diffs remain limits.
+
+| Predecessor | Proved or implemented scope | Distinction here |
+| --- | --- | --- |
+| Frozen current ADD/SCALE tables | 366,842 current one-output arithmetic services on the coded ABI | Those tables are retained unchanged; only SWAP/SIGNED_SWAP are newly implemented |
+| #3098, physical-scalar-stream | Older inherited recipes on aligned sequential packets | Actual current ordered source/table/lifecycle join is the scope here |
+| #969, complex-swap-runs-seed37 | Deferred historical names, paid boundary materialization, 560 primitive saving | This executes every current swap physically and claims no primitive-count saving |
+| #4516, pr4470-controller-replay | Exact Laurent signs and complete old p16 algebra | This supplies numerical all-width tables; its source is the newer productive controller |
+| #6901 | Ideal common precision/temporary format | Geometry, common grid and source-cut range remain premises here |
+| #5427 and #4621 search matches | Retained algebraic response/reuse and query-shear window questions | Neither supplies these current coded two-output transition tables |
+
+The source instruction census is not offered as a stand-alone research result.
+The contribution is the executable source-class closure, exact signed success
+domain, complete two-work-port lifecycle proof, and tested composition with
+the retained scalar service registry. All five selected assumptions remain.
diff --git a/research/current-swap-flat-tables/PR-DESCRIPTION.md b/research/current-swap-flat-tables/PR-DESCRIPTION.md
@@ -0,0 +1,99 @@
+## Result and scope
+
+**No new κ.** This closes the current SWAP/SIGNED_SWAP source class on the
+same two-work-port coded lifecycle ABI as the preceding ADD/SCALE provider.
+The exact ordered operations are `(x,y) -> (y,x)` and `(x,y) -> (y,-x)`.
+The all-width theorem gives exact final signed admission, whole-pair validation
+before either public write, preserved complete shapes, head return and physical
+work erasure through unchanged `execute_table` and `Controller.primitive`.
+
+SWAP always succeeds on its admitted common shape/grid. SIGNED_SWAP succeeds
+exactly when no old first-operand component is most-negative in its original
+width; the old second operand may be most-negative. There is no extra
+intermediate-word headroom requirement. The 130-row and 171-row tables contain
+only local branch/write/unit-move/goto/halt/reject instructions, with no
+numerical callback or decoded field length.
+
+The source binder covers 10,920 current services: 2,808 right-boundary swaps,
+3,120 left-boundary swaps and 4,992 outer signed swaps. Together with the frozen
+scalar provider, this supplies tables for all 377,762 original
+ADD/SCALE/SWAP/SIGNED_SWAP services in the exact 642,410-event caller. This is
+one physical compiler/lifecycle implication; all five selected assumptions
+remain globally, and conditional κ remains 0.003125804.
+
+## Novelty and exact dependencies
+
+CrocSwap/integer-mult-bounds#3098 supplies older aligned scalar-recipe
+execution. CrocSwap/integer-mult-bounds#969 defers historical names and pays
+boundary copies, explicitly excluding physical-array/current production
+admission. CrocSwap/integer-mult-bounds#4516 verifies the older caller's exact
+Laurent signs. This package executes every original current two-output service
+on actual coded fields, keeps the current operand order, and proves its complete
+two-work-port physical contract. Classical swapping and signed negation are
+credited background, not new arithmetic discoveries or count improvements.
+
+- Canonical base: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`.
+- The exact original productive `caller.py`, selected word and controller have
+  Git blob/SHA256 pins in `SOURCES.json`; the original semantic source is also
+  retained unchanged as a reference-only file.
+- The unchanged lifecycle/source compiler is pinned at
+  `ab239cb6ee884e7a900dd9101c34448077fad0b0`.
+- The unchanged [preceding current scalar tables](https://github.com/CubeJerry/integer-mult-bounds/tree/13193a22b1070a74a8580c5d3ea27470443f815a/research/current-scalar-flat-tables)
+  are pinned at `13193a22b1070a74a8580c5d3ea27470443f815a` and retained for
+  the actual mixed right-boundary replay. No predecessor file is modified.
+
+## Reproduction and checks
+
+```sh
+python3 -B scripts/research_package.py --package research/current-swap-flat-tables
+```
+
+Eight bounded normal/optimized commands check arithmetic, complete source
+binding, real unchanged-controller blocks and controls against exact committed
+receipts. The independent direct permutation/sign oracle covers all 2,728
+signed x,y pairs at widths 1–5 for both operations, plus 96 wider/mixed-width
+fields up to width 129. Thirty-two boundary/failure controls include late
+component overflow, signed minimum/zero cases, aliases, shape/source failures,
+four code mutants, physical ordered inverse, dirty extra work and shrinking
+retained backing.
+
+On all 13,444 public fields, the actual full 5,720-service right boundary
+executes 11,015,757 physical actions and 1,493,648 table steps; the actual first
+104-service signed block executes 216,813 actions and 28,912 steps. Every
+public endpoint and spectator is checked. Receipts bind exact source cuts,
+compiled code, executed tables, complete physical input/output bodies and
+decoded outputs. These are explicit entry-cut fixtures, not execution of the
+omitted preceding native services or the complete recursive caller.
+
+A separate lead AI mathematical review checked the exact original source
+order, finite-carry identity, most-negative iff guard, staging induction and
+full lifecycle/cost premises. Its independent integer enumeration checked all
+8,190 first inputs at widths 1–12, with 8,178 admitted, without importing
+table code. This review is distinct from physical executor replay and from
+human or proof-kernel acceptance.
+
+## Limits and remaining obligations
+
+The complete positive bill is `O(V+D+Q)` and current work backing is
+`2V+3+O(1)`, with erased historical backing retained as a maximum. Actual
+matching coordinate shapes/grids, distinct owners, head origins and valid
+dirty work remain premises. Rejection preserves both public contents but may
+leave heads advanced and work occupied; no physical rollback is claimed.
+
+No native phase/Gaussian/MOVE service, row/recursive return, whole-caller
+precision/error contract, global ownership theorem, complete historical
+numerical allowance or analytic recovery is supplied. The new tables do not
+alter paid jobs, productive targets or the selected certificate.
+
+## Credit and assistance
+
+Prepared for **@CubeJerry**, with substantial OpenAI assistance in mathematical
+derivation, source analysis, implementation and verification. Preserve the
+preceding scalar/lifecycle package, Jose Manuel/jmbarrancoml's
+CrocSwap/integer-mult-bounds#3098 lineage, ToikY's
+CrocSwap/integer-mult-bounds#969 package, the exact controller replay of
+CrocSwap/integer-mult-bounds#4516, Ali Romman's productive caller and
+CrocSwap/integer-mult-bounds#5356 continuation source, DreamingOfClouds'
+CrocSwap/integer-mult-bounds#6030 selected word, and the retained native/compiler
+lineage. Separate AI review does not establish independent human or formal
+proof-kernel admission.