Step 0441: Cerrar Riesgos — 0 Skips + 0 '*4' + HALT/Timer/IRQ Clean-Room

Implementación

1. Corrección HALT en CPU.cpp (2 lugares)

1.1. Instrucción HALT (0x76)

// src/core/cpp/CPU.cpp (línea ~3116)
case 0x76:  // HALT
    // ...
    halted_ = true;
    cycles_ += 1;  // HALT consume 1 M-Cycle
    return 1;  // Step 0441: Devolver 1 M-Cycle (antes: -1)

1.2. Bucle de HALT

// src/core/cpp/CPU.cpp (línea ~1368)
if (halted_) {
    cycles_ += 1;
    return 1;  // Step 0441: HALT devuelve 1 M-Cycle (antes: -1)
}

2. Encapsulación de Conversión M→T en viboy.py

# src/viboy.py (línea ~526)
@staticmethod
def _m_to_t_cycles(m_cycles: int) -> int:
    """
    Convierte M-cycles a T-cycles.
    
    En Game Boy: 1 M-Cycle = 4 T-Cycles
    Step 0441: Encapsulación para eliminar literales '*4'.
    """
    return m_cycles << 2  # Equivalente a m_cycles * 4

# Uso:
t_cycles = self._m_to_t_cycles(m_cycles)

3. Eliminación de Bloque Fallback Python Legacy

# src/viboy.py (línea ~1061, ELIMINADO)
# Antes:
else:
    # Fallback para modo Python (arquitectura antigua)
    CYCLES_PER_SCANLINE = 456
    # ...
    t_cycles = m_cycles * 4  # ← Ocurrencia eliminada
    # ...

# Después:
# Step 0441: Eliminado bloque fallback Python legacy (nunca se ejecuta)
# Si _use_cpp es False, el sistema debería fallar tempranamente

4. Actualización de Tests

4.1. Tests de HALT en test_core_cpu_interrupts.py

# tests/test_core_cpu_interrupts.py (línea ~142, ~173)
# Antes:
assert cycles == -1, "HALT debe devolver -1 para señalar avance rápido"

# Después (Step 0441):
assert cycles == 1, "HALT debe devolver 1 M-Cycle (Step 0441)"

4.2. Test de Wake-Up en test_emulator_halt_wakeup.py

# tests/test_emulator_halt_wakeup.py (línea ~140)
# Antes:
mmu.write(IO_IF, 0x01)  # Solo IF (insuficiente para despertar)

# Después (Step 0441):
mmu.write(IO_IE, 0x01)  # Habilitar VBlank en IE
mmu.write(IO_IF, 0x01)  # Establecer VBlank pendiente en IF
# Wake-up requiere (IE & IF) != 0