# Bound local-copy calls — in progress

Base: 125375bb. The active compiler-structure goal remains unfinished.

The executable low copy arena now retains a checked CopyRun. Raw LocalCopy descriptors remain movement geometry, before selection. CopyRun binds the helper, raw storage access requirements, ABI and detailed cost. Coalescing rebinds changed descriptors; no mutable descriptor/helper pair or fallback selector is retained. KernelAccess uses the same raw StorageAccess without inventing numerical tensor formats for byte copies.

Migration in progress: production consumers have been converted; test fixtures and hardware cost calibration remain. A first compile found 31 expected consumer migration errors. The last committed state passed all gates; this work has not yet passed them.

Halfword helpers read/modify an aligned 32-bit word. Their access contract must include a possible two-byte tail. The conservative four-byte base alignment is less restrictive than the old unconditional eight-byte local-copy requirement. Other helpers require their actual word alignment. Copy ranges are checked against the interpreting shard storage, including strided last-row bounds; placement still combines alias and Repeat constraints.

Detailed cost formulae are provisional until checked against hardware. Do not claim physical padding bytes as useful logical work. That part of the profiling contract is still unfinished.

Next: migrate and strengthen affected tests, measure contiguous/strided helpers once per distinct hardware program, validate representative saved packages, measure source size including untracked source, document and commit. Remaining overall work also includes movement policies, geometry-cache consolidation/measurements, comprehensibility/extension audit and net implementation-size reduction.

Migration and validation are now complete for the binding/ABI/access/cost slice; see verification.md. The working tree compiles again. All build and hardware jobs finished. The larger refactor, including logical copy usefulness and net source reduction, remains active.