Runtime natif : parcours de programmation
Statut documentaire : guide. Cette section synthétise le livre LaTeX logiCells Runtime Programming with RadStudio. Elle explique les parcours d'implémentation ; les règles de référence et de preuve font autorité pour les signatures exactes et les garanties de plateforme.
Partir de la tâche, pas d'un catalogue de classes. Chaque lien mène directement à la décision ou au parcours recherché.
| Je veux… | Accès direct |
|---|---|
| Distinguer MODEL, APPLICATION, SEMANTIC et les états d'exécution | Couches, autorités et états |
| Initialiser une application sans confondre les couches Runtime | Parcours natif de bout en bout |
| Construire ou interroger une connaissance conceptuelle | Hypergraphe et H-Logic |
| Exécuter du code procédural ou exposer un appel natif à FPL | FPL et ABI native |
| Publier des services Runtime ou échanger des messages | Services et communication |
| Connecter collections, SQL et sérialisation | Données et persistance |
| Gérer les propriétaires, sessions et arrêts | Cycle de vie et propriété |
| Valider une extension avant déploiement | Tests et production |
| Combiner raisonnement, LLM et Runtime Tensor | Neuro-symbolique et inférence résidente |
| Vérifier la réalité d'un exemple ou d'une capacité | Autorité documentaire et statut |
Des frontières explicites
Le Runtime expose des couches composables ; une application n'a pas besoin de toutes les activer. L’accès natif au Runtime est une surface d’ingénierie, tandis que les SDK générés et la construction déclarative sont d'autres entrées fondées sur les contrats publiés.
Consultez exploitation et déploiement pour la configuration de production, ainsi que la référence ABI pour le contrat binaire. Le livre LaTeX est un compagnon orienté tâches, pas un substitut au source, aux manifests ABI générés ou aux tests actuels.
Traçabilité des sources
Synthèse de Runtime/logiCells Runtime Programming with RadStudio/main-matter.tex, runtime-overview.tex et runtime-layer-map-and-programming-paths.tex fournis. Chaque page détaillée identifie ses propres chapitres sources.