Casos de uso

28 reglas de negocio, 10 sectores.

El catálogo entiende conceptos («estado del pedido», «saldo», «ya procesado»), no nombres de variables: funciona con tu código en español o en inglés. Y solo se comprueba lo que tiene sentido en tu dominio. ¿Falta una regla tuya? La escribes en dos líneas — más abajo.

Comercio

Pagos y pedidos

  • Pedido ENVIADO o COMPLETADO sin haberse cobrado
  • Importes negativos que invierten el flujo de dinero
  • Reembolsos por encima de lo cobrado y descuentos que superan el importe
  • Cobrar de más: la otra mitad de cobrar de menos
7 reglas
Fintech

Saldos y monedero

  • Saldo por debajo de cero (sobregiro y doble gasto)
  • Retiradas mayores que el saldo disponible
  • Consumo del servicio con los créditos agotados
3 reglas
Operaciones

Inventario

  • Stock en negativo: vender lo que no existe
  • Pedidos por más cantidad de la disponible
2 reglas
Seguridad

Autenticación y permisos

  • Acceso concedido sin haber iniciado sesión
  • Cuentas activadas sin verificar
  • Acciones autorizadas sin comprobar el rol
3 reglas
SaaS

Suscripciones

  • Funciones premium accesibles sin suscripción activa
  • Suscripciones que siguen ACTIVAS con el pago fallido
2 reglas
Fintech

Idempotencia

  • Cobrar dos veces el mismo pedido cuando la pasarela reintenta
  • Devoluciones que se emiten por duplicado
2 reglas
Logística

Máquinas de estado

  • Pedidos que pasan a ENVIADO sin estar pagados
  • Entregas registradas sin que exista el envío
  • Pedidos cancelados que acaban saliendo del almacén
3 reglas
Seguridad

Caducidades y ventanas

  • Tokens y sesiones caducados que siguen abriendo la puerta
  • La fecha de expiración se comprueba… y no se respeta
3 reglas
Reservas

Aforos y overbooking

  • Más reservas confirmadas que plazas hay
  • Plazas libres que se quedan por debajo de cero
2 reglas
API

Cuotas y límites

  • Consumo por encima del tope que define tu propio código
  • Cuota agotada que sigue sirviendo peticiones
1 regla
¿Tu sector no está?

Reglas deducidas de tu código

  • Detecta guardas que protegen una acción en un camino y faltan en otro
  • Funciona en cualquier dominio: citas médicas, reservas, moderación…
sin catálogo · pruébalo en la demo
Y las tuyas

Lo que tu negocio sabe y ningún catálogo puede saber

Nuestras 28 reglas cubren lo que supimos prever. Que en tu empresa una transferencia grande necesita una segunda firma, eso lo sabes tú. Se escribe una vez, en un fichero logicproof.yaml en la raíz de tu repositorio, y se comprueba en todo tu código con el mismo solver matemático:

reglas:
  - regla: no se envía nada sin haberlo cobrado
    siempre: "@enviado == true implica @pago_ok == true"

  - regla: una transferencia grande necesita segunda firma
    siempre: "transferencia_enviada == true implica segundo_aprobador == true"

Dos palabras que aprender: siempre (lo que debe cumplirse) y nunca (lo que no puede pasar). Y ese @enviado es un concepto: LogicProof lo traduce al nombre que use cada fichero —shipped, enviado, pedido.Despachado—, en español y en inglés. Por eso la regla se escribe una sola vez.

Empieza

Deja de suponer que tu lógica es segura.
Demuéstralo.

Elige un plan y conéctalo a tu repositorio en un minuto. ¿Prefieres empezar por correo? Déjanoslo y te enviamos cómo dar el primer paso.

Ver todos los planes

Pago seguro con Stripe · 20 €/mes con el IVA incluido · cancela cuando quieras.