MNP Check

Diseñado específicamente para la validación de parámetros, la herramienta evalúa M, N y P según un conjunto definido de reglas para obtener resultados deterministas. Es útil para desarrolladores, investigadores y docentes que requieren controles reproducibles. El motor ejecuta reglas estándar y expresiones de usuario opcionales, devolviendo resultados por regla y métricas derivadas.
La lógica principal es un motor de reglas pequeño con fórmulas claras para la positividad y desigualdades triangulares, además de un evaluador de expresiones extensible. Las entradas se analizan como números reales, se comprueban que sean finitos y luego se introducen en las comprobaciones. El conjunto de resultados incluye una bandera de aprobado/no aprobado para cada regla, un estado global y métricas simples como suma, mínimo y máximo para contextualizar el trío.
Este enfoque permite un comportamiento determinista en entornos diferentes y facilita la automatización de procesos posteriores, como ajuste de parámetros en simulaciones o validación de ejercicios en clase. La herramienta no realiza tareas de UI ni formatea; se centra en la lógica de dominio y la estructura de salida.
Los casos de uso incluyen validación de algoritmos, ayudas didácticas para desigualdades y validación rápida de barridos de parámetros en software o flujos de trabajo de investigación. Su valor único reside en combinar comprobaciones estándar bien definidas con expresiones de usuario opcionales, proporcionando resultados rápidos y coherentes para automatización e informes.