Qu'est-ce qui fait autorité et qu'est-ce qui est disponible ?
Statut documentaire : guide — consulter la politique de maturité documentaire avant de lire cette page comme une garantie de version.
Hiérarchie des preuves
Si un exemple du livre et une version exécutée divergent, le guide LaTeX donne l'ordre de priorité suivant :
- Grammaire déclarative enregistrée, interfaces publiques du source et tests exécutables actuels.
- Contrats générés, en particulier manifests ABI et bindings de la version choisie.
- Exemples vérifiés dans le source et cartographies du livre Runtime.
- Patterns d'intégration et synthèse architecturale.
- Exemples et notes historiques.
L'existence d'une classe interne au Kernel n'en fait pas une API publique. De même, un type de valeur déclaré par l'ABI n'est pas nécessairement accepté par tous les ponts de marshalling.
Libellés de statut
| Libellé | Interprétation |
|---|---|
| Verified API | Symbole/parcours précis vérifié contre le source (et les tests si indiqué) pour la version documentée |
| Available | Capacité livrée, sans certification nécessairement identique sur toutes les plateformes |
| Integration pattern | Composition à adapter au Runtime, au binding et au déploiement |
| Source boundary | Mécanisme interne, pas une API applicative publique complète |
| Design / planned | Ni comportement livré ni engagement de déploiement |
Distinctions entre plateformes et bindings
Le guide source décrit la disponibilité du Runtime sur Windows, Linux et macOS ainsi que le déploiement en conteneurs, mais interdit d'en déduire la portabilité de chaque chargeur natif. Dans l'état du source documenté, TABINativeModule charge des DLL par les API Windows de bibliothèques dynamiques. Les bindings ABI Python et C# sont cités comme surfaces prises en charge ; génération exacte, propriété et sens des paramètres relèvent des artefacts versionnés. La référence ABI publique précise le sous-ensemble exercé et ses limites.
Avant de publier une nouvelle affirmation
Vérifier le build cible, les tests, le manifest exact et la matrice de plateformes ; distinguer exécution vérifiée et architecture. Éviter les chiffres de performance non étayés et ne pas inférer de droits de licence d'une page de capacité technique.
Source LaTeX : documentation-authority-and-runtime-status.tex ; complément : programming-example-verification-and-source-contract.tex.