Copia la lección y pégala en tu chat para resolver dudas.
Aplicación práctica: del modelo a la solución verificada
¿Qué necesitas para aceptar una solución implementada por un agente? En esta lección integrarás reglas, modelos y comprobaciones en un recorrido de desarrollo dirigido con criterio.
Objetivos y conocimientos previos
Partimos de Fundamentos, Algoritmos y Diagramas. Tu objetivo es formular un encargo, evaluar evidencias y decidir qué hacer después. Puedes resolver el ejercicio sobre el modelo; una implementación delegada permite contrastarlo con un producto real, sin exigir que escribas código.
1. Definir la necesidad y el alcance
Una actividad tiene diez plazas. Queremos aceptar reservas, permitir su cancelación y consultar la disponibilidad. Antes de implementar, acordamos:
- Cada persona autorizada puede tener como máximo una reserva activa para esa actividad.
- Las reservas activas nunca superan la capacidad.
- Cancelar una reserva activa libera una plaza; repetir su cancelación no libera otra.
- Cada persona puede consultar y cancelar únicamente sus propias reservas.
- Las reservas deben conservarse al cerrar y volver a abrir el producto.
- Una confirmación de éxito corresponde a un cambio guardado. Si el resultado es incierto, debe indicarse y poder comprobarse.
Para acotar el ejercicio, no incluimos pagos, lista de espera ni cambios de capacidad. Una política real puede necesitar otras reglas. Las decisiones de negocio las acuerdas con las personas responsables; el agente puede señalar ambigüedades y proponer alternativas.
2. Modelar antes de aceptar una propuesta
Una reserva tiene identidad, una persona, una actividad y un estado. La identidad permite reconocer la misma reserva al consultarla o cancelarla.
| Estado previo | Solicitud | Resultado esperado |
|---|---|---|
| Sin reserva activa; hay plaza | Reservar con autorización | Crear una reserva activa. |
| Ya tiene una reserva activa | Reservar de nuevo | Mantener una sola reserva activa. |
| Aforo completo | Nueva reserva | Rechazar sin aumentar las reservas. |
| Reserva propia activa | Cancelar | Pasar a cancelada. |
| Reserva propia cancelada | Cancelar de nuevo | Mantenerla cancelada. |
| Reserva de otra persona | Consultar o cancelar | Denegar sin revelar sus datos ni alterar su estado. |
Esta tabla expresa resultados del dominio, no un diseño de almacenamiento. Todavía necesitamos resolver solicitudes simultáneas, fallos y respuestas perdidas. Es válido que el agente proponga el diseño; debes poder relacionarlo con estas reglas.
3. Identificar lo que necesitas aprender
El caso implica persistencia, identidad, autorización y coordinación de cambios de estado. Si desconoces cómo una tecnología garantiza alguno de esos puntos, pide al agente que identifique la documentación oficial de la versión propuesta y explique sus condiciones y límites.
Por ejemplo, necesitas comprender qué evita que dos solicitudes ocupen la última plaza. Una propuesta debe explicar el mecanismo y cómo se aplica al recorrido completo. Compara opciones por sus garantías, coste y adecuación; puedes mantener una solución existente si cumple lo necesario.
4. Acordar la delegación
Un encargo posible para delegar la codificación en un agente de IA, acompañado de las reglas y la tabla anterior:
Revisa el proyecto y propón un plan para implementar este modelo. Identifica ambigüedades, supuestos y decisiones pendientes. Explica cómo preservarás capacidad, identidad, permisos y persistencia ante concurrencia y solicitudes repetidas. Para las garantías tecnológicas, aporta documentación oficial de la versión utilizada. Acuerda conmigo las decisiones pendientes antes de implementarlas. Después implementa el alcance acordado y entrega evidencias por criterio, indicando fallos, límites y comprobaciones que no hayas podido realizar. No presentes tareas propuestas como ejecutadas. La publicación queda fuera de este encargo.
El alcance se ajusta al contexto y al impacto. Puedes delegar operaciones rutinarias dentro de lo acordado y reservar revisión para decisiones relevantes. No necesitas aprobar cada edición para mantener dirección sobre el resultado.
5. Evaluar el recorrido completo
Relaciona cada criterio con evidencia observable:
| Criterio | Comprobación propuesta | Qué observar |
|---|---|---|
| Capacidad | Dos personas solicitan la última plaza a la vez. | Como máximo una aceptación y ningún exceso en las reservas guardadas. |
| Una reserva activa por persona | La misma persona repite la solicitud, también simultáneamente. | Una sola reserva activa conservada. |
| Cancelación repetida | Cancelar dos veces la misma reserva. | Un único cambio de activa a cancelada y una sola plaza liberada. |
| Autorización | Intentar consultar y cancelar una reserva ajena. | Acceso denegado, sin datos ajenos ni cambios de estado. |
| Persistencia | Crear una reserva y volver a consultar tras cerrar y reabrir. | La misma reserva sigue conservada. |
| Respuesta perdida | Interrumpir la recepción de una confirmación y repetir o consultar. | Poder determinar el resultado sin crear otra reserva activa. |
| Fallo de guardado | Provocar un fallo controlado en un entorno de prueba. | Ningún éxito afirmado sin respaldo; estado final comprobable o incertidumbre explícita. |
Son comprobaciones propuestas, no resultados ya obtenidos. Un caso concurrente superado no demuestra corrección para todos los órdenes de ejecución; debe acompañarse del análisis del mecanismo que preserva la regla. Cerrar el navegador comprueba una parte de la persistencia, sin demostrar recuperación ante pérdida del servidor o de sus datos.
Pide al agente que distinga qué ejecutó, en qué entorno, qué observó y qué concluye. Las pruebas deben evaluar las reglas acordadas, sin limitarse a repetir supuestos de la implementación.
6. Decidir y revisar
Si una comprobación falla, distingue una regla ambigua, una laguna de conocimiento, una elección técnica inadecuada y un error de implementación. Vuelve al punto que corresponda y pide una nueva comprobación después de corregir.
Aceptar el alcance probado requiere conocer también sus límites. Conservar el estado del trabajo, integrarlo o publicarlo son decisiones con efectos distintos y necesitan el alcance correspondiente. Tras la integración, comprueba el nuevo estado del producto.
Conserva reglas, decisiones, versiones relevantes, evidencias y pendientes para poder revisar ante incidencias, cambios de dependencias o revisiones planificadas. Adaptarse incluye decidir mantener, modificar o sustituir una solución.
Practica: evalúa un informe del agente
El agente entrega: «Reservar y cancelar funciona en mi navegador. He añadido un botón que oculta las reservas ajenas. Todas las pruebas pasan».
- Separa hechos informados, afirmaciones sin detalle y criterios sin evidencia.
- Explica por qué ocultar un botón no demuestra que se impida consultar o cancelar una reserva ajena.
- Pide tres comprobaciones concretas y justifica su prioridad.
- Decide si aceptarías el trabajo, solicitarías correcciones o investigarías más.
Criterio de comprensión: debes exigir que los permisos se apliquen donde se accede a los datos o se modifican, identificar al menos un caso de concurrencia o repetición y pedir el detalle de las pruebas realmente ejecutadas. Tu decisión debe reconocer qué sigue sin comprobarse.
Profundiza con IA
Evalúa mi respuesta: [respuesta]. Pídeme justificar cada decisión con una regla y una evidencia. Plantea un fallo nuevo y ayúdame a distinguir si requiere aclarar el modelo, aprender un concepto o corregir la implementación. No inventes resultados de pruebas ni documentación consultada.
Continuar aprendiendo
Puedes volver a la introducción y explicar ahora qué evidencia pedirías para aceptar una reserva. Después continúa con el Curso II — Datos, Estado y Persistencia para profundizar en cómo se modelan la identidad, los tipos, las relaciones entre entidades, los cambios de estado y las transacciones.
El resultado buscado en Lógica es que puedas comprender una necesidad, expresar reglas, examinar una propuesta, dirigir la ejecución y justificar el siguiente paso.