Resumo
A recompilação estática do ACTION.ELF agora executa a instrução COP2 VSUB observada e retoma as trocas de thread com ABI 8. A sonda parcial avançou até o destino dinâmico 0x00348890, fora do código compilado.
Defeito
O subset parava em VSUB.xyzw vf31,vf0,vf0 porque o estado e a semântica VU0 ainda não estavam modelados. A validação também revelou que o backend escrevia ABI 7 ao entrar no módulo, apesar do contrato já ser ABI 8.
Solução aplicada
Anexei ao ABI 8 os registradores vetoriais VU0 e flags, implementei somente o encoding observado (vf0={0,0,0,1}; resultado vf31={0,0,0,0}; flags de zero), e corrigi a gravação da versão ABI no LLVM e na troca de thread. Build integrado: 0 avisos e 0 erros. A sonda executou 14.109.163 instruções, chegou a 0x00348890 com ABI 8, guest_error=0 e sem fault de memória; status 4 indica que esse destino ainda não pertence ao subset.
Detalhes e evidências
Próximo passo: identificar o estado válido na chegada a 0x00348890 e incluir o destino dinâmico no subset. Depois, retomar o replay da ISO/MOVIE. Esta execução partiu diretamente do ACTION.ELF e não demonstra boot retail, frame ou gameplay. Ynix é recompilador estático nativo, não emulador.
META 019