Stratégie de tests techniques

Statut documentaire : guide — voir Maturité et preuves.

Les tests techniques protègent les invariants du Runtime sous les tests de modèles applicatifs.

Familles de tests

• parsing et résolution sémantique ;
• identité, parcours et transformation de l'hypergraphe ;
• comportement transactionnel et persistance ;
• marshalling et durée de vie ABI/bindings ;
• correction tensorielle et vérification des gradients ;
• équivalence accélérateur et fallback ;
• sémantiques d'échec services/messaging ;
• benchmarks de performance séparés des tests de correction.

Règle de publication

Un fichier de test peut prouver qu'un chemin d'implémentation existe, mais ne suffit pas à le rendre API publique supportée. Une référence publique exige un contrat volontaire et une politique de compatibilité.