[CubeJerry]

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.
• Current positive leaf dependency.
• 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:

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.