El software establece las matemáticas
Un motor determinista decide cada resultado matemático. La IA propone interpretaciones; tú confirmas el significado. Son tipos de evidencia separados, nunca una única puntuación de «verificado por IA».
Acerca de
Hacemos tangible la lógica
Las reglas deciden quién entra, quién cumple los requisitos y qué pasa después. Tangibool existe para que quienes escriben esas reglas puedan ver exactamente lo que hacen, antes de que alguien más lo descubra por las malas.
Un paréntesis mal puesto
Una regla puede estar perfectamente bien formada y aun así ser incorrecta. Puede agrupar las condiciones de forma equivocada, olvidar una excepción o convertir una condición necesaria en una suficiente. Un diagrama por sí solo puede no mostrar el caso que falla, y una explicación plausible no es una evidencia.
Creemos que la brecha entre una regla escrita, una expresión simbólica y lo que realmente hace en cada caso debería ser visible y corregible, sin que nadie tenga que convertirse antes en experto en métodos formales.
Por eso Tangibool pone las palabras, la fórmula y el diagrama sobre un mismo modelo, comprueba cada caso de forma exacta y te dice con claridad qué estableció y qué no.
La regla escritaEntrada
«Permitir la entrada a socios e invitados, a menos que estén vetados».
Prevista
(member OR invited) AND NOT bannedParece correcta, no lo es
member OR (invited AND NOT banned)Contraejemplo: member = VERDADERO, invited = FALSO, banned = VERDADERO. La segunda versión deja entrar a un socio vetado.
En qué creemos
Los principios detrás de cada resultado
No son frases de marketing. Son reglas de diseño con las que el producto se construye y se prueba.
Decir exactamente qué se comprobó
Cada resultado nombra la propiedad, los supuestos, el método y la revisión. «No determinado» es una respuesta honesta; un tiempo agotado nunca es un aprobado.
Tus reglas son tuyas
Local primero, nube por elección, IA solo con consentimiento. Sin analítica de producto, y sin fórmulas, notas, prompts ni nombres en nuestros registros.
Utilizable por todo el mundo
Alternativas de teclado para cada arrastre, etiquetas para lectores de pantalla, valores de verdad que nunca dependen solo del color, y cuatro idiomas de contenido.
Sin dependencia del proveedor
Exportaciones deterministas en formatos abiertos, paquetes con historial completo que puedes volver a importar, y un ejecutor sin interfaz que funciona sin nosotros.
Todas las funciones para todo el mundo
Los planes se diferencian en los límites de nube, nunca en las capacidades. Las lecciones están abiertas a todos, los lectores y comentaristas son gratis, y nada se elimina por culpa de un plan.
Cómo está hecho
Un solo motor, contrastado consigo mismo
El mismo motor lógico determinista se ejecuta sin cambios en tu navegador, en nuestros servidores y en el ejecutor de línea de comandos, así que un resultado significa lo mismo dondequiera que lo veas.
Combina la enumeración exhaustiva con un solucionador SAT independiente, y cada testigo se reproduce en el evaluador antes de llegar a ti. Antes de cada versión publicada, se pasan casos aleatorizados por los tres y deben coincidir sin una sola discrepancia. El Python, PostgreSQL y SMT-LIB generados también se ejecutan y se comparan con el motor.
Los resultados exactos son exactos dentro de límites documentados, y cuando algo los supera, el producto lo dice.
- 50,000casos aleatorizados comparados entre comprobador, solucionador y evaluador
- 0discrepancias sin explicar permitidas en el control de publicación
- 5,000+modelos generados contrastados en Python, PostgreSQL y SMT-LIB
- 1,000+pruebas automatizadas entre el motor, el servidor, la app y el ejecutor
Para quién es
Hecho para cuatro tipos de personas
Desarrolladores
Que quieren un resultado de equivalencia exacto, o un contraejemplo reproducible, antes de refactorizar un condicional.
Analistas de cumplimiento en inversiones
Que necesitan restricciones de inversión y reglas previas a la operación enunciadas con precisión, comprobadas de forma exacta y conservadas con un historial revisable de cada cambio.
Analistas de producto y de negocio
Que convierten reglas escritas de elegibilidad, acceso y flujo de trabajo en lógica con una interpretación confirmada y pruebas independientes.
Estudiantes y docentes
Que quieren ejemplos resueltos y explicaciones ligadas a pasos de evaluación reales, no ilustraciones.
Quién está detrás
Hola, soy Muaz Notiar
Soy consultor de sistemas de inversión. Una pregunta que me gusta hacer cuando una regla parece clara sobre el papel es: «¿Qué le pasa a alguien que queda justo en el límite?». Creé Tangibool para que esa pregunta sea fácil de explorar, tanto si redactas políticas como si escribes código o estás aprendiendo lógica por primera vez.