PD-297 — Clarifications PO (2026-04-14)¶

Q1 : Quel est le périmètre exact des modèles formels à enrichir ?¶

Tout (4 formalismes) : Enrichir les 4 formalismes d'un coup — Prolog, TLA+, Alloy, Z.

Q2 : Où persister les prédicats enrichis ?¶

ProbatioVault-formal existe : Le repo est déjà là avec une structure coherence/ontology/ et normes/{norme}/formal/.

Q3 : L'enrichissement doit-il être intégré dans gov-compounder ou gov-retrospective ?¶

gov-retrospective : Intégré dans l'étape 10 (rétrospective), pas dans le compounder.

Q4 : formal-verify.py — infrastructure seule ou avec vérification ?¶

Infrastructure + verify : En plus de l'infra (extraction + persistance), implémenter formal-verify.py pour que --scope contracts/code/full retourne GO/FAIL au lieu de SKIP.