Gates de validation et provenance
Statut documentaire : guide — voir Maturité et preuves.
Le travail sémantique doit distinguer la confirmation humaine, les propositions de l’assistant et la validation par le moteur.
Statut d’analyse
- confirmed : accepté par un expert métier ou une source autoritative ;
- inferred : proposé pendant l’analyse mais pas encore accepté comme sens exécutable ;
- validated : accepté par le parseur ou le test sémantique/Runtime pertinent.
Conserver un registre d’analyse avec identifiants d’exigences stables, énoncés, statuts, sources, dépendances et preuves de validation. Ce registre ne remplace pas l’ontologie ; il explique pourquoi les énoncés existent et jusqu’où ils ont été validés.
Gates avant génération
- Revue du vocabulaire — termes métier et choix d’identité acceptés.
- Acceptation grammaticale — source H-Logic acceptée par le parseur courant.
- Résolution sémantique — types, rôles et références résolus correctement.
- Tests de propagation — faits représentatifs donnant les déductions et diagnostics attendus.
- Tests de justification et rétraction — les faits dérivés restent supportés et disparaissent lorsque leur dernière justification est retirée.
- Prêt pour génération — les décisions Runtime absentes de l’ontologie sont enregistrées explicitement.
L’acceptation par le parseur n’est pas une certification sémantique. Les deux résultats doivent être rapportés séparément.