Workflow H-Logic-first

Statut documentaire : guide — voir Maturité et preuves.

Utiliser H-Logic-first lorsque l’ambiguïté et la cohérence sémantiques sont plus risquées qu’une livraison UI plus tardive.

Flux de construction

1. Écrire une spécification métier compacte sans termes d’implémentation.
2. Normaliser le vocabulaire et enregistrer les synonymes.
3. Décider quels concepts nécessitent une identité durable et lesquels sont de simples relations ou conclusions.
4. Déclarer les types fondamentaux avant leur utilisation structurelle.
5. Marquer un vocabulaire comme complet uniquement s’il est réellement fermé.
6. Propager le temps, le contexte et la provenance lorsqu’une conclusion en dépend.
7. Exposer les calculs remplaçables comme relations de support typées.
8. Représenter les états invalides par des faits diagnostiques positifs lorsqu’ils doivent être interrogés ou expliqués.
9. Dériver les projections indexées des vrais patterns de requêtes.
10. Définir les déductions attendues avant la génération.
11. Passer des gates de validation explicites.
12. Générer les squelettes déclaratifs via une politique de génération revue.
13. Ajouter une opérationnalisation uniquement lorsqu’une action ou relation de support déclarée nécessite une exécution concrète.

Verbes métier et opérationnalisation

Les verbes tels que Validate, Compute, Reserve, Approve, Publish ou Notify doivent devenir des actions déclarées avant l’introduction du code d’implémentation.

verbe ontologique -> action déclarée -> opérationnalisation candidate -> implémentation minimale