Objetivo

Usar ProofKit como contrato compartido entre personas y agentes de IA para que el estado del repositorio sobreviva a sesiones y handoffs.

1. Empezar cada cambio con un workflow nombrado

Abrí o retomá un cambio con:

proofkit run <change-name> --root .

Esto alinea a todos sobre la misma carpeta, el mismo set de artefactos y la misma fase actual.

2. Darle a los agentes un contrato de repositorio

En lugar de prompts vagos, usá reglas explícitas:

• correr proofkit run <change-name> --root . antes de cada handoff
• seguir la fase actual reportada por ProofKit
• actualizar el artefacto correspondiente a esa fase
• registrar la transición cuando el artefacto esté realmente completo
• usar proofkit verify --command para cualquier afirmación de éxito basada en ejecución

3. Asignación recomendada por fase

• Proposal y delta spec: intención de producto/ingeniería
• Design: arquitectura y tradeoffs
• Tasks: checklist de ejecución
• Verify: comandos reales y evidencia
• Archive: sólo cuando artefactos, estado y evidencia coinciden

4. Patrón de handoff