Research: Atomic MOVE

research/current-coded-atomic-move/ATTEMPTS.json

@@ -0,0 +1,46 @@
+{
+  "bounded_full_process_attempts": [
+    {
+      "status": "interrupted-without-completed-receipt",
+      "declared_limit_seconds": 600,
+      "observed_elapsed_seconds": 643.6766347885132,
+      "command": "check_move.py packet",
+      "hardware": "retained DenseTape",
+      "reason": "lead bounded exploratory fixture at10minutes",
+      "signal_issue": "cross-command os.kill process lookup failed; tool-session interrupt requested",
+      "tool_exit_code": 130
+    },
+    {
+      "status": "timeout-without-completed-receipt",
+      "exit_code": 124,
+      "limit_seconds": 590,
+      "command": "timeout 590s python -I -B research/current-coded-atomic-move/check_move.py packet",
+      "hardware": "independent literal primitive Tape",
+      "output_bytes": 0
+    }
+  ],
+  "rejected_smaller_fixture": {
+    "records": [
+      512,
+      1024
+    ],
+    "reason": "H>0 and complete two-front/one-back reservations imply a>=12 at rank9,f=K=H=1",
+    "executed": false
+  },
+  "bounded_exit_slice_attempt": {
+    "slice": "exit",
+    "command": [
+      "/opt/codex/runtimes/codex-primary-runtime/dependencies/python/bin/python",
+      "-I",
+      "-B",
+      "research/current-coded-atomic-move/check_slices.py",
+      "exit"
+    ],
+    "elapsed_seconds": 590.102,
+    "exit_code": 124,
+    "stderr": "Command '['/opt/codex/runtimes/codex-primary-runtime/dependencies/python/bin/python', '-I', '-B', 'research/current-coded-atomic-move/check_slices.py', 'exit']' timed out after 590 seconds",
+    "timeout_seconds": 590,
+    "status": "timeout-without-completed-receipt",
+    "output_bytes": 0
+  }
+}

research/current-coded-atomic-move/GATES.log

@@ -0,0 +1,9 @@
+CHECK Complete original source matrix, exact source custody, typed token/alias and source corruption controls, administrative success/failure action formulas and primitive-hardware equivalence; no full uninterrupted physical execution.
+PASS_CURRENT_CODED_ATOMIC_MOVE_SOURCE_AND_WRAPPER {"retained_files": 119, "source_columns": 512, "wrapper_rejection_cases": 4, "wrapper_success_cases": 24}
+CHECK Same bounded source/administrative receipt with assertions disabled; numerical long-run evidence is separately labelled.
+PASS_CURRENT_CODED_ATOMIC_MOVE_SOURCE_AND_WRAPPER {"retained_files": 119, "source_columns": 512, "wrapper_rejection_cases": 4, "wrapper_success_cases": 24}
+CHECK Integrity and exact source/interface consistency of saved PARTIAL entrance/leaf/rejection physical receipts; additive observed prefix bill, rolewise materialized backing, conservative visited bound and five mutation controls. Does not re-execute long physical traces.
+PASS_CURRENT_CODED_ATOMIC_MOVE_RECORDED_SLICES {"completed_prefix_actions": 3627001877, "fixed_private_ports": 4106, "physical_traces_reexecuted": false, "records": 4096}
+CHECK Integrity and exact source/interface consistency of saved PARTIAL entrance/leaf/rejection physical receipts; additive observed prefix bill, rolewise materialized backing, conservative visited bound and five mutation controls. Does not re-execute long physical traces.
+PASS_CURRENT_CODED_ATOMIC_MOVE_RECORDED_SLICES {"completed_prefix_actions": 3627001877, "fixed_private_ports": 4106, "physical_traces_reexecuted": false, "records": 4096}
+PASS_REGISTERED_RESEARCH_PACKAGE research/current-coded-atomic-move outcome=partial

research/current-coded-atomic-move/NOTICE.md

@@ -0,0 +1,25 @@
+# Attribution and scope
+
+Prepared for @CubeJerry with substantial OpenAI assistance in source analysis,
+composition proof, implementation, independent matrix/arithmetic checks and
+documentation. Apache-2.0. Same-session lead review is author-side evidence,
+not independent human or formal-kernel acceptance.
+
+The published current coded monomial and positive leaf are exact dependencies,
+not new algorithms in this package. Their computational files and attribution
+are retained unchanged; public source pins are in DEPENDENCIES.json and
+REMOTE-SOURCE-TREES.json. Shared runtime copies inside the monomial closure
+retain their original notices. The thin leaf source closure is connected by
+this package's discovery shim to that identical shared physical vocabulary.
+
+Credit Jose Manuel (`jmbarrancoml`) for #3087 and #3091 with OpenAI assistance,
+and the #3055/#2250/#2378/#2422 physical permutation and coefficient lineage.
+Credit Chris R (`Clear1nsight`) for #4129's older prepared common-grid binding.
+Credit DreamingOfClouds and the selected #6030 construction, Ali Romman and
+the retained native compiler/source lineage, #6293, unpaidmoon #6930, and
+Ali Romman's distinct stochastic-rounding use of event9896 in #6532.
+
+Only the whole-occurrence protected current join, its explicit full invoice,
+independent original-source matrix evaluation and bounded verification
+composition are claimed here. No new kappa or universal selected assumption
+discharge follows.

research/current-coded-atomic-move/PR-DESCRIPTION.md

@@ -0,0 +1,124 @@
+# Protected current-coded raw MOVE composition, with complete action and backing bills
+
+## Why this change is needed
+
+The published current coded monomial and positive Gaussian leaf give separate
+numerical services. They do not by themselves show that the selected source's
+entrance, positive child and exit use the same complete encoded field and
+descriptor. Moreover, a child-local rollback after a successful entrance
+does not restore the original MOVE input.
+
+## Exact result
+
+This package joins the actual selected #6030 raw event 9896,
+`MOVE 236, frame 3 -> frame 7`, through its consecutive source-bound
+`SERVICE` / positive rank-one `PAID` / `SERVICE` events. For every positive
+column width in the admitted direct-leaf domain `f <= cutoff`, the shared
+descriptor selects the same coordinate-zero child in all rank-nine columns.
+The exact operator is the original source transition on each column, with
+absolute phase, complete coefficient fibres and every spectator retained.
+
+One additional complete protected field supplies whole-occurrence return on
+the inherited named arithmetic failures. The added literal physical action
+invoice is **22V + 35** on success and **13V + 21** after a named rejection,
+plus every executed factor's complete bill. The constructor-fixed inventory
+is **1 + Q_R + 349 + Q_L**: the exercised binary capacity-64 template has
+**4,106 private ports**, while a capacity-65 control has 4,118. These are
+compiled constants, not a universal 4,106-port assertion for every ordinary
+factory. Both monomial cohorts, the leaf and the new stage
+retain their erased backing; they cannot be charged only by peak active size.
+
+The wrapper changes no numerical predecessor implementation. Its new source
+join, protected copying/commit/retirement and explicit complete invoice are
+the contribution. The all-width phase lemma and individual numerical kernels
+remain credited predecessor results.
+
+## Pins and novelty
+
+- Canonical base: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`.
+- [Current monomial dependency](https://github.com/CubeJerry/integer-mult-bounds/tree/7d1ff23714e6f9182c1d0ff9214f65def2f30e04/research/current-coded-gaussian-monomial).
+- [Current positive leaf dependency](https://github.com/CubeJerry/integer-mult-bounds/tree/61edc4fe348f0aeadc82a3b642a802cbfb03aed8/research/current-coded-gaussian-leaf).
+- Shared current codec/header export:
+  `5629e7772d1720d6727465e328a45694f8620538`.
+- The 119 retained dependency files have public commit, exact path, Git blob
+  and SHA-256 custody records. No external download is required to replay.
+
+The monomial's published remaining obligations expressly include the positive
+child/full MOVE join. #6930 audits this source event's phase, while #6532
+studies stochastic rounding of the same event; neither is this protected
+current coded physical composition. #4129 supplies an older prepared
+signed-packet interface, whose encoding and source boundary are different.
+
+## Verification
+
+Run from the repository root with Python 3.12 and its standard library:
+
+```sh
+python3 -B scripts/research_package.py --package research/current-coded-atomic-move
+```
+
+The registered gates state their scope in `VERIFY.json`. They independently
+evaluate the original source circuit on all **512 basis columns** and
+**262,144 matrix positions**, including absolute phase and normalization.
+They check source custody/corruption, typed rank/owner/token rejection,
+obvious aliases, administrative action formulas and rollback, shrinking
+reuse, four numerical join countercontrols, and the literal hardware
+definitions. Recorded long physical traces have a separately labelled
+consistency check; replaying that checker does not re-execute those traces.
+
+`VERIFICATION.md` and the generated receipts report **partial physical
+evidence**. The full 4,096-record, 73,728-bit entrance and positive leaf traces
+completed, with byte-identical intermediate packets and a combined prefix
+bill of 3,627,001,877 literal actions. The exit slice timed out at 590.102 s
+with no receipt. Therefore there is **no complete three-factor sliced
+witness**. Two uninterrupted whole-MOVE attempts also ended without complete
+receipts; no uninterrupted MOVE run is claimed.
+
+The late-child control completed the actual leaf and stage retirement in
+236,954,760 actions on a separately seeded **reachable postentrance packet**.
+Its reachability is matched algebraically to the exact right monomial; the
+bad entrance was not physically replayed. The leaf rejected at the final
+pair, preserved its complete stage input, and cleanup preserved the protected
+original. This is not a full failed-MOVE execution. All commands, raw
+receipts, time bounds and limits remain in the package.
+
+The theorem is the reviewed all-width source factorization and composition
+of the explicit provider contracts. The completed entrance/leaf traces give
+partial implementation evidence; they do not supply a missing exit trace.
+
+The lead separately reviewed the tensor-coordinate/absolute-phase join,
+numerical guard argument, whole-stage rollback, literal administrative
+counts and retained backing. This is author-side AI cross-review, not
+independent human acceptance or a proof-kernel certificate.
+
+## Inherited premises and open obligations
+
+The numerical domain retains exact signed range and Gaussian parity guards,
+a caller-supplied common grid, blank private stage and work, origin heads,
+genuine disjoint segments, and the completed ordinary-service premises.
+Finite symbolic worst-case bounds retain the predecessor program constants;
+measured fixture actions do not instantiate a universal numerical ceiling.
+
+Only the exact raw `current_local` occurrence and an already normalized
+descriptor are covered. Nested `source_ir.remap` tokens, the real enclosing
+placement/stock contract, producer `H=dG`, `K=128G` geometry, ordinary tariff,
+nonleaf recursion, literal lifecycle table export and the other framework
+obligations remain open. Atomicity excludes physical interruption and
+arbitrary malformed output reported as successful by a factor.
+
+**Kappa status: No new kappa.** The selected certificate and all five selected
+assumptions remain unchanged. This is a reusable source-composition lemma
+toward `native_all_columns`, `owned_erasure` and `precision_tape`, not a full
+assumption discharge or an unconditional multiplication theorem.
+
+## Credit and assistance
+
+Prepared for **@CubeJerry**, with substantial OpenAI assistance in research,
+proof development, implementation, independent oracle checks and writing.
+Credit Jose Manuel (`jmbarrancoml`) for #3087/#3091 and their physical
+permutation/coefficient lineage; Chris R (`Clear1nsight`) for #4129;
+DreamingOfClouds for the selected #6030 construction; the retained native
+Clifford compiler authors and #6293; unpaidmoon for #6930; and Ali Romman
+for the distinct #6532 study. The exact current binding authors and notices
+are retained in their pinned source packages. No predecessor result is
+claimed as new here.