[thotypous]

An indexed word copy can become a numeric float conversion. A native input word of 1 then comes back as 1065353216 (1.0f bits).

cat > copy.c <<'C'
union block { float real[32]; unsigned integer[32]; } items;
__attribute__((naked)) unsigned transfer(unsigned index) {
 __asm__("movl 4(%esp),%eax; shll $2,%eax; movl _items(%eax),%edx;"
         "movl %edx,_items+64; flds _items+64; fstps _items+68;"
         "movl _items+64,%eax; retl");
}
C
clang --target=i686-w64-windows-gnu -O1 -c copy.c -o copy.obj
kuna decompile-project copy.obj -o output --option nanignore none \
 --option indexaliasguard full --option stackviews on \
 --assert 'typedef union block {float real[32];unsigned int integer[32];} block;' \
 --assert 'data 0x400028 block items' \
 --assert 'prototype _transfer unsigned int __cdecl transfer(unsigned int index)'
cat output/copy.obj.c

Before: items.real[0x10] = (unsigned int)items.integer[index];

• Use the same operation-facing global member lookup for rendering and storage-transfer checks. The walk must report named union members as well as unnamed typed pieces.
• Honor that resolved type for both CAST and COPY, keeping word copies as bit reinterpretations.

Tests cover PE32 and ELF64, strict Clang recompilation, and 4,096 native/regenerated ELF calls at each of -O0 and -O2.

[thotypous]

[AUTOMATED] Fixed the parity failure in 5a10955. Named frame-member type lookup now respects stackviews off, including temporary values whose variable group contains stack storage. Global-member resolution remains available independently.

The existing kuna-stacklifetimes-cfg.xml fixture passes all 12 assertions without changing expectations. The four focused bitcast integration tests and make check-spec also pass. The previous workspace CI job passed; both CI gates will rerun for this commit.

[mahaloz]

[AUTOMATED] Pushed two commits so this merges with current main:

• d325a7e / d2374f6: merged origin/main. [AUTOMATED] Use emitted member types for scalar bit transfers #1230 landed the same PartialWalk::result_type field and named-member branch in partial_piece_type. The auto-merge declared result_type twice (E0124), so I deduplicated it. The resolved branch keeps main's type list (with TYPE_BOOL) and this PR's stackviews frame-member gate.
• e97b9f3: moved the new spec paragraph into the storage-transfer section that [AUTOMATED] Use emitted member types for scalar bit transfers #1230 extended. It was a detached paragraph at the end of chapter 09.

Behavior is unchanged from 5a10955.