Checklist d’implémentation du cas stock
Statut documentaire : tutorial — voir Maturité et preuves.
Un développeur doit pouvoir terminer ce cas sans le PDF lorsque tous les points suivants sont satisfaits.
- La spécification nomme objets, politiques, observations et invariants sans termes d’implémentation.
- Le vocabulaire canonique et les synonymes sont enregistrés.
- Les choix d’identité pour mouvements, positions et politiques sont explicites.
- Le vocabulaire des mouvements est volontairement fermé ou volontairement extensible.
- Le temps traverse positions, politiques et conclusions dérivées.
- Les dépendances arithmétiques sont visibles via des relations de support typées.
- Les conditions invalides produisent des faits diagnostiques explicites lorsqu’elles doivent rester observables.
- Les projections orientées requêtes sont justifiées par de vrais accès.
- Les faits de référence et les déductions attendues existent avant génération.
- L’acceptation par le parseur et le comportement sémantique sont rapportés séparément.
- Les tests couvrent propagation, justifications, rétractions et cycles de projection.
- Une politique de génération revue couvre persistance, caches, publication, vues, index et diagnostics.
- Les artefacts générés gardent le lien vers les exigences et constructions sémantiques.
- L’application générée passe compilation, chargement et tests d’équivalence comportementale.
Continuer avec De la sémantique validée aux modèles déclaratifs pour la discipline générale de génération.