Aller au contenu

PD-296 — REX

Résumé

Intégration de la vérification formelle comme condition bloquante non contournable dans le workflow /gov. Article VIII CONSTITUTIONAL ajouté. 5 points d'intégration (steps 0, 1, 4, 6, pré-Gate 8). Script formal-check.sh opérationnel.

Métriques

  • Durée totale : ~2h
  • Gate 3 : RESERVE 7.438 en v1
  • Gate 5 : RESERVE 8.688 en v1
  • Gate 8 : GO en v1
  • Fichiers modifiés : 5 (.md) + 1 script shell créé
  • Article constitutionnel ajouté : VIII (Vérification formelle)

Learnings

  1. Story de documentation/intégration = passage de gates rapide (pas de code applicatif = moins d'écarts)
  2. Le learning PD-295 (besoin minimaliste) s'applique ici aussi : 117 lignes de besoin, passage RESERVE G3 en v1
  3. Codex review continue d'appliquer sa grille standard JS/TS même sur des modifications de .md — à requalifier systématiquement dans le dossier

Prochaines étapes

  • Modifier les skills /gov, /gov-gate, /gov-accept pour appeler effectivement formal-check.sh (coordonné, impact toutes les stories futures)
  • Valider le scope "contracts", "code", "full" de formal-check.sh quand ProbatioVault-formal implémentera formal-verify.py