Support misaligned load/store in executor memory

[gabrielbosio]

No description provided.

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base binary_search	59.7 ± 0.8	58.5	60.7	1.00
head binary_search	59.8 ± 1.6	58.0	62.2	1.00 ± 0.03

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base bitwise_ops	58.5 ± 1.0	57.6	60.8	1.00 ± 0.03
head bitwise_ops	58.4 ± 1.6	57.1	61.4	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base fibonacci_26	63.2 ± 1.0	62.2	64.9	1.00
head fibonacci_26	64.0 ± 1.2	62.9	66.3	1.01 ± 0.02

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base hashmap	135.8 ± 2.7	130.2	138.9	1.00
head hashmap	136.1 ± 2.4	132.0	139.7	1.00 ± 0.03

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base keccak	128.9 ± 3.3	125.4	136.1	1.00
head keccak	132.4 ± 2.4	127.2	135.0	1.03 ± 0.03

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base matrix_multiply	64.1 ± 0.5	62.9	64.7	1.00
head matrix_multiply	66.0 ± 1.7	63.9	70.0	1.03 ± 0.03

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base modular_exp	60.3 ± 1.4	58.8	62.2	1.00
head modular_exp	60.4 ± 1.4	58.6	62.4	1.00 ± 0.03

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base quicksort	63.7 ± 1.1	62.2	64.9	1.00
head quicksort	67.0 ± 9.3	63.1	93.3	1.05 ± 0.15

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base sieve	65.8 ± 0.4	65.1	66.3	1.00 ± 0.01
head sieve	65.7 ± 0.8	65.1	67.9	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base sum_array	75.5 ± 0.8	74.2	76.6	1.01 ± 0.02
head sum_array	74.7 ± 1.1	73.7	77.3	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base syscall_commit	92.1 ± 0.7	91.2	93.5	1.00 ± 0.02
head syscall_commit	92.0 ± 1.4	91.0	95.9	1.00

[gabrielbosio]

/claude /codex

[gabrielbosio]

/claude /codex

[gabrielbosio]

/claude /codex

[gabrielbosio]

/claude /codex

[github-actions]

Codex Code Review

No issues found in the PR diff.

I could not run the targeted tests because rustup tried to write to /home/runner/.rustup, which is read-only in this sandbox:

error: could not create temp file /home/runner/.rustup/tmp/...: Read-only file system

Static review of the changed memory/execution paths did not surface security, correctness, or significant performance concerns.

[gabrielbosio]

/bench

[github-actions]

Benchmark — fib_iterative_8M (median of 3)

_{Table parallelism: auto (cores / 3)}

Metric	main	PR	Δ
Peak heap	51873 MB	51815 MB	-58 MB (-0.1%) ⚪
Prove time	25.072s	24.988s	-0.084s (-0.3%) ⚪

✅ No significant change.

✅ Low variance (time: 0.3%, heap: 0.5%)

_{Commit: b9ac3b8 · Baseline: cached · Runner: self-hosted bench}