fix(data): resolve alignment check stuck state for pointer dereferences#1004

Closed

Stevengre wants to merge 3 commits intomasterfrom

worktree-fix-638-alignment-check

Commits on Mar 23, 2026

test(prove-rs): add alignment-check-fail reproducer for issue #638

Stevengre
and
claude
committed
fix(data): add transmute cast rules for pointer-to-usize conversion

Stevengre
and
claude
committed

Commits on Mar 31, 2026

fix(data): drop generic transmute round-trip simplification
Stevengre
committed