PD-297 — Acceptabilité¶
Validation fonctionnelle¶
- enrich-ontology.py: 18 invariants extraits de PD-296 spec → ontology/tooling/PD-296.pl
- extract-formal-invariants.py: --help OK, syntaxe OK
- formal-non-regression.sh: --help OK, syntaxe OK
- Ontologie Prolog compilée (global.pl recompilé, 1 fichier)