Aller au contenu
EN FR

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

  1. Revue du vocabulaire — termes métier et choix d’identité acceptés.
  2. Acceptation grammaticale — source H-Logic acceptée par le parseur courant.
  3. Résolution sémantique — types, rôles et références résolus correctement.
  4. Tests de propagation — faits représentatifs donnant les déductions et diagnostics attendus.
  5. Tests de justification et rétraction — les faits dérivés restent supportés et disparaissent lorsque leur dernière justification est retirée.
  6. 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.