Règles, diagnostics et propagation

Statut documentaire : tutorial — voir Maturité et preuves.

Le modèle de stock utilise des faits dérivés intermédiaires afin de préserver les explications.

Une position est ConsistentStockPosition lorsque son disponible déclaré est supporté par Subtract(onHand, reserved, available).

Une position devient BelowReorderThreshold lorsque la position et la ReorderPolicy applicable partagent le même produit, entrepôt et instant, et que LessThan(available, threshold) est vrai. Ce fait intermédiaire supporte ensuite ReorderRequired(product, warehouse, time).

Conserver ce fait intermédiaire permet de garder la position qui justifie la recommandation, tandis que la conclusion finale reste attachée au produit, à l’entrepôt et à l’instant qui nécessitent une action.

Diagnostics positifs

Dériver InvalidStockPosition lorsque le stock physique est négatif, le stock réservé est négatif ou le stock réservé dépasse le stock physique.

Un fait diagnostique positif est préférable à un échec invisible lorsque la condition doit être interrogée, expliquée, indexée, affichée dans une vue, retournée par un service ou reliée à ses justifications. Le blocage éventuel de la persistance reste une décision de politique applicative prise pendant l’opérationnalisation.