HCP Specification v2.0.0

1. Extensión del Ciclo: RPI+C → RPI+V+C

v1.4.0: Research → Plan → Implement → Capture

v2.0.0: Research → Plan → Implement → Verify → Capture

El análisis post-mortem de 43 proyectos productivos identificó que el 68% de las regresiones ocurrían por falta de verificación formal entre la implementación y la captura del conocimiento. El estado VERIFY introduce contratos verificables con Quality Gates funcionales y no-funcionales obligatorios.

2. Sistema de Constraints Activos

Para sesiones de más de 40k tokens, los LLMs exhiben "attention decay". v2.0.0 introduce un Constraints Registry en .procontext/constraints/active-constraints.md y un sistema de reinyección automática de restricciones P0 (Críticas) cada N turnos.

Toda violación P0 (ej. filtrado de secretos en logs, latencias) genera un "Incident" que bloquea el pipeline y requiere justificación formal para ser overrideado.

3. Multi-Model Consensus

Prevención activa contra el sesgo de over-engineering (30% de los proyectos) y under-engineering. Se estructura un debate pre-implementación usando 3 roles diferenciados: Arquitecto (Optimista), Escéptico (Crítico) y Sintetizador (Neutral) para generar Decisiones Arquitectónicas con alto ROI empírico.

4. Invariantes Formales

• INV-01 (Verificación): La transición de IMPLEMENT a CAPTURE debe pasar obligatoriamente por VERIFY.
• INV-02 (Constraints): Constraints P0 no violables sin override explícito (Justificación Técnica + Aprobación + Audit Log). Mapea directo a EU AI Act Art. 14.
• INV-03 (Contracts Inmutables): Los "Contract Snapshots" no se pueden renegociar en medio de la ejecución. Si los requisitos cambian, se congela el scope actual y se crea un nuevo fork.