MI*: Módulo de Inestabilidad Estructural para MiniSat

MI* es un módulo ligero de observación estructural integrado en MiniSat que detecta inestabilidad interna durante la búsqueda mediante un vector de estado de 256 bits y una métrica de distancia estructural. El sistema mantiene la corrección del solver, introduce un mecanismo de control basado en modos (SUAVE, MEDIA, AGRESIVA) y demuestra su validez sobre un caso UNSAT mínimo reproducible. Este preprint documenta la arquitectura, la integración y los resultados preliminares del módulo