#migración de actores

Migración determinista de actores en XState: modelo formal

Migración determinista de actores XState sin replay. Modelo formal con pruebas que evita ciclos. Acceso anticipado a StateKeep.