[P1][contract] Formalizar los resultados públicos de 0.3.x

[ruzer]

Especificación padre: #30

Ticket del desglose Project Brain Lite 0.3.1: 09/20.

Entrega

Formalizar el contrato público de RepositoryObservation, resultados de init y sync, DoctorCheckResult y Diagnostic.

Bloqueado por

• [P1][runtime] Añadir checkId y severity a Diagnostic #35 — [P1][runtime] Añadir checkId y severity a Diagnostic
• [P1][runtime] Advertir cuando GeneratedProjection está desactualizada #38 — [P1][runtime] Advertir cuando GeneratedProjection está desactualizada

Acceptance criteria

• Los contratos coinciden con las respuestas reales.
• Los nuevos campos son aditivos.
• No se eliminan, renombran ni reinterpretan campos existentes.
• Se conserva el export y la ruta actuales de CONTRACT_SCHEMA.
• El contrato declara explícitamente que warning-only implica ok: true.

Tests requeridos

• Validación de resultados reales contra el contrato.
• Ejemplos estructurados verificados automáticamente.
• Compatibilidad con consumidores de los campos existentes.
• Verificación del export y subpath actuales del schema.

Guardas de compatibilidad

• Node.js 20+ y cero dependencias npm.
• Comportamiento determinista, file-first y local-first.
• API pública, rutas, tres comandos y cinco archivos canónicos preservados.
• doctor permanece read-only e init permanece no destructivo.
• No se ejecutan comandos detectados ni se utiliza la red.

[ruzer]

Resuelto e integrado mediante la PR #29 y publicado en Project Brain Lite v0.3.1: https://github.com/ruzer/project-brain/releases/tag/v0.3.1. Se conserva el alcance Lite acordado en #30.