fix(soundness): bind ShardRam y-sign to is_global_write#1344

Merged

kunxian-xia merged 3 commits into

fix/issue-1338-shard-ram-y-sign

May 27, 2026

Commits on May 25, 2026

fix(soundness): bind ShardRam y-sign to is_global_write (#1338)

spherel
and
claude
committed

Commits on May 26, 2026

docs(shard_ram): clarify y6 == 0 rejection comment

spherel
and
claude
committed
refactor(shard_ram): hoist y6 top-byte LTU bound into shared constant

Copilot
and
kunxian-xia
authored