Abstract

MI* es un módulo de observación estructural diseñado para complementar el funcionamiento de solvers SAT clásicos sin modificar su semántica. El sistema introduce un vector de estado de 256 bits y una métrica de distancia estructural que permiten detectar variaciones internas en la dinámica de búsqueda, interpretadas como episodios de inestabilidad. Esta capa adicional opera en modos diferenciados (SUAVE, MEDIA, AGRESIVA) y puede modular el comportamiento del solver mediante restarts controlados. El preprint presenta la arquitectura conceptual de MI*, su integración mínima en MiniSat y un caso UNSAT reproducible que demuestra que el módulo preserva la corrección lógica del solver.El objetivo es situar MI* como un ejemplo de operador estructural aplicable a sistemas de resolución, con interés tanto técnico como teórico.