Spec Kit: de intención comprobable a aceptación trazable
Crear un cuaderno de convergencia de solo añadido antes de conectar un agente
Practica trazabilidad con un modelo sintético puro que conserva tareas, asigna IDs y separa evaluación de cambios de código.
Qué aprenderás
- Modelar el contrato de escritura
- Mostrar referencias y limitaciones
- Convertirlo en una ayuda de revisión legible
Antes de empezar
- Conceptos básicos de requisitos, Git y pruebas
- Distinguir desarrollo local y despliegue de aplicación
Trazar una funcionalidad desde intención hasta evidencia y separar contratos de comportamiento verificado.
Conclusiones clave
- Prueba preservación por separado de evaluación semántica.
- La referencia explica por qué existe una tarea nueva.
- Una simulación no prueba obediencia del agente.
Modelar el contrato de escritura
Un proyecto didáctico recibe un documento de tareas y hallazgos sintéticos ya revisados, y previsualiza la nueva fase. No infiere requisitos, inspecciona código real ni determina corrección. Así separa formato y preservación del problema más difícil de evaluación semántica.
La instrucción upstream exige IDs superiores al máximo existente, una fase posterior y ninguna modificación de tareas anteriores. Sin hallazgos accionables, tasks.md debe permanecer idéntico byte a byte. Son invariantes concretos que un modelo pequeño puede probar sin agente.
Mostrar referencias y limitaciones
Nuestro modelo acepta un formato Markdown acotado y hallazgos con referencia, tipo de brecha y severidad. Ordena primero infracciones de constitución, después severidad, asigna IDs y devuelve una cadena nueva. Rechaza hallazgos mal formados en vez de fingir reparar cualquier entrada.
Doce casos sintéticos cubren salida intacta, IDs y fases existentes, trazabilidad, orden, entradas inválidas y preservación. Es un modelo didáctico propio, no la implementación upstream ni un parser Markdown completo. Tampoco garantiza que un modelo real respete una instrucción de solo añadido.
Convertirlo en una ayuda de revisión legible
Muestra referencia, brecha observada, tarea propuesta y estado de verificación en una tabla. Una vista antes-después es más útil que una escena tridimensional decorativa porque la relación importante es textual. Conserva observaciones desconocidas y exige revisión de los hallazgos.
Una integración posterior podría recoger evidencia de un proyecto aislado, pero escritura, agente y publicación deben seguir siendo pasos explícitos separados. Este prototipo no accede a la red, modifica documentos reales ni crea incidencias o versiones.
Cómo elegir
| Criterio | Opción A | Opción B |
|---|---|---|
| Best when | You need predictable behavior and easy auditing | You need adaptive optimization and have reliable telemetry |
| Main risk | May leave performance on the table | Can become difficult to explain or debug |
Pasos de implementación
- 1
Prepara tareas y hallazgos sintéticos revisados.
- 2
Comprueba salida idéntica sin hallazgos.
- 3
Previsualiza IDs, orden y referencias.
- 4
Excluye mutación y evaluación real del prototipo.
Ejemplo para copiar
{
"modeloDidactico": true,
"tareaExistente": "T007",
"hallazgo": {
"fuente": "FR-002",
"brecha": "ausente",
"severidad": "alta"
},
"siguienteTarea": "T008",
"escrituraReal": false,
"evaluacionSemantica": false
}Preguntas frecuentes
¿Descubre automáticamente implementación ausente?
No. Recibe hallazgos sintéticos ya proporcionados.
¿Ejecuta Spec Kit o escribe tasks.md?
No. Es un modelo puro de cadenas sin ejecución upstream ni escritura real.
Fuentes
- Spec Kit / templates/commands/converge.mdFuente verificada 2026-09-14