Opérationnalisation vers les modèles déclaratifs

Statut documentaire : tutorial — voir Maturité et preuves.

La sémantique de stock validée n’est pas encore une application complète. La génération doit ajouter des décisions Runtime volontairement absentes de l’ontologie.

Mappings candidats

• types identifiés tels que Product, Warehouse, StockMovement, StockPosition, ReorderPolicy -> concepts Entity ;
• relations dérivées telles que ReorderRequired -> modèles Relation ou relations en mémoire conceptuelle ;
• attributs sémantiques -> champs avec rolePath explicite ;
• projections indexées -> relations de requête ou index Runtime ;
• InvalidStockPosition -> relation diagnostique, événement ou donnée de vue.

Une politique de génération doit décider du namespace, de la persistance, du stockage/recalcul/cache de Available, de la matérialisation des faits dérivés, de la publication éventuelle de ReorderRequired, du blocage de post pour les positions invalides, des vues diagnostiques et de la traçabilité.

Chaîne de vérification

H-Logic validé + politique de génération -> artefacts déclaratifs candidats -> validation grammaire/références -> compilation -> chargement Runtime -> tests de régression sémantique

Le modèle généré n’est accepté que si son comportement reste équivalent aux déductions validées pendant l’analyse.