Glossaire

Ce glossaire fixe le vocabulaire public de Touba. Il privilégie les termes utiles pour comprendre et utiliser le langage.

Termes principaux

Terme	Sens
Agents as Code	Positionnement public de Touba : l'autorité agentique, les capabilities, manifests, locks, run plans, reviews et traces sont traités comme des artefacts versionnés, relus et auditables.
AIR	Représentation intermédiaire compilée. C'est le contrat entre la source .tb, le runtime, la CLI, les traces et les surfaces Touba.
énumération (enum)	Type nominal à membres qualifiés ; un nom de membre JSON est validé contre le type attendu.
Optional of T	Présence ou absence typée ; some, none et if present remplacent une absence implicite par null.
limits run	Plafonds source du run entier, partagés entre appels et branches, conservés à la reprise et combinés par minimum entre modules importés.
parallel	Distribution bornée d'une liste sur une cible typée, avec valeurs isolées et autorité conservée par invocation.
jointure ordonnée	Restitution de tous les résultats dans l'ordre d'entrée, indépendamment de leur ordre de complétion ; aucun succès partiel implicite.
checkpoint	État privé de continuation ; son mécanisme détermine ce qui peut reprendre. Ce n'est ni une trace publique ni une preuve signée.
agent	Unité de responsabilité bornée. Un agent peut choisir des capacités autorisées dans son périmètre, mais il n'est pas libre d'invoquer n'importe quoi.
AI SDK provider	Adaptateur JavaScript du SDK Touba qui permet de relier un provider de décision à un modèle via l'AI SDK configuré par le projet.
answer_directly	Action de provider qui retourne une réponse sans demander ni appeler de capacité.
autonomie bornée	Autonomie exercée dans un périmètre déclaré : capacités, secrets, mémoires, callers, budgets, approvals et traces.
bind	Valeur locale immuable créée dans un bloc exécutable à partir d'une expression pure.
binding fragment	Fragment explicite de wiring qui peut alimenter un manifest assemblé. Un fragment seul n'accorde aucune autorité au runtime.
budget d'autonomie	Limite de runtime comme durée maximale, nombre de pas, appels tools, invocations agents, appels au decision provider ou quotas de trigger.
capability	Besoin déclaré par un tool, par exemple network ou secret_read. Une capability demandée doit être accordée par le manifest pour que le dispatch soit autorisé.
capacité agentique	Ressource déclarée dans uses qu'un agent peut sélectionner : function, tool, skill, agent ou strategy selon le programme.
catalogue de capacités	Liste structurée des capacités autorisées que le runtime peut présenter à un provider de décision.
callable_by	Règle qui déclare quels strategy ou agent peuvent invoquer un agent. En dehors de cette règle, l'invocation est refusée.
cancel	Annulation coopérative d'un run actif ou suspendu. Elle se distingue d'un échec runtime et d'un arrêt système brutal.
define	Constante de module immuable, non sensible et littérale.
defineTool	API JavaScript du SDK Touba pour écrire un handler de tool sans manipuler directement le protocole process.
grant	Autorisation accordée par le manifest pour satisfaire une capability requise. Ce n'est pas une sandbox système.
handler	Code hôte qui réalise l'effet externe d'un tool. Le handler exécute le métier ; Touba Engine reste l'autorité sur AIR, manifest, grants, secrets, limites et traces.
handle secret	Nom opaque d'un secret. La valeur du secret ne doit pas apparaître dans la source .tb, l'AIR, le manifest, les traces ou les prompts modèle.
human.approve	Validation humaine imposée par le programme. Le runtime suspend et ne reprend qu'après décision explicite.
manifest	Artefact explicite qui relie tools, handlers, grants, secrets, limites, triggers, ressources et profils d'exécution selon le cas.
memory	Ressource logique de contexte agentique avec scopes explicites. Une memory n'est pas une base de données par elle-même.
memory backend	Système hôte réel, par exemple PostgreSQL, qui peut être utilisé par un handler autorisé pour réaliser une lecture ou une écriture mémoire.
model input	Entrée structurée transmise au provider de décision. Elle sépare instructions, données utilisateur, ressources, observations et contexte runtime.
module	Identité logique déclarée dans un fichier .tb. Dans un projet structuré, elle suit la convention du chemin source.
maxAgentSteps	Limite du nombre de pas dans une boucle agentique pilotée par provider.
observation runtime	Résultat intermédiaire rendu au provider de décision pour continuer une boucle agentique, sans exposer de contenu sensible brut dans les traces.
OpenAI decision provider	Provider de décision utilisant OpenAI via le SDK. Il dépend d’une clé, d’un modèle et d’un quota configurés par le projet.
ownership	Métadonnées de responsabilité et de revue d'un projet multi-équipe. Elles n'accordent pas de grant, secret, scope, caller ou handler.
Probabilistic Agentic Programming	Probabilistic Agentic Programming : paradigme qui traite l'incertitude agentique comme une réalité de programmation gouvernée.
payload constraint	Contrainte déclarée dans le manifest, par exemple longueur maximale, bornes numériques ou valeurs autorisées. Le runtime peut refuser avant handler ou avant publication de résultat.
provider de décision	Fonction configurée par l'hôte qui reçoit une demande structurée et propose une réponse directe, une demande de catalogue, une capacité ou un review humain.
provider custom	Provider de décision fourni par le projet, sans passer par l'adaptateur modèle du SDK.
registry Touba	Index de distribution et de vérification des packages Touba.
resource interface	Partie de l'entrée modèle qui indique si le catalogue de capacités est absent, disponible sur demande ou déjà présenté.
resource binding	Liaison explicite entre une ressource logique et une configuration hôte, notamment pour des scénarios backend contrôlés.
request_capabilities	Action de provider qui demande au runtime de présenter le catalogue autorisé.
request_human_review	Action de provider qui demande un review humain gouverné pendant une décision agentique.
review humain demandé par agent	Demande dynamique d'aide ou de validation humaine proposée par l'agent via le provider et médiée par le runtime.
review gate	Point de contrôle multi-équipe lié à l'ownership. Il exprime une exigence de revue, sans accorder d'autorité runtime.
run plan	Plan explicite d'exécution projet. Il rassemble les entrées, artefacts et profils attendus sans contenir de payload sensible ni être découvert implicitement par le runtime.
runtime	Composant qui exécute l'AIR et applique les refus observables avant les effets externes.
sandbox de handler	Isolation de process exigée par un binding, appliquée par un backend OS. Sans backend disponible et compatible avec la politique, le lancement est refusé. Voir le profil d'exécution durci.
SDK Touba	Bibliothèque d’intégration JavaScript (@touba/sdk) ou Python (touba_sdk) : handlers, ToubaEngine, providers et tests.
select_capability	Action de provider qui choisit une capacité autorisée et fournit ses arguments.
skill	Capacité Touba exécutable, typée et bornée. Elle orchestre fonctions, tools, skills, interactions ou validations humaines.
skill pack	Nom utilisé dans les événements runtime pour un contexte de package : procédure, ressources et exemples déclarés dans touba.package.json. Ce n’est pas un format de distribution distinct.
Package Touba	Unité de distribution avec exports typés et/ou procédures contextuelles, déclarée dans touba.package.json.
SKILL.md	Procédure contextuelle d’un package. Elle guide le modèle dans les autorisations du programme.
strategy	Point d'orchestration exécutable de haut niveau.
tool	Déclaration Touba d'un effet externe. Un tool décrit le contrat ; le handler réalise l'effet.
tool binding	Contrat reliant un AirTool.id à un handler hôte avec grants, secrets, limites et traces d'autorité.
Touba	Thinking Orchestration Using Bounded Agency : langage et runtime construits comme première incarnation de Probabilistic Agentic Programming.
ToubaEngine	Interface JavaScript ou Python pour compiler et exécuter Touba depuis une application hôte.
touba prepare	Commande projet qui prépare AIR, manifest, run plan et squelettes de handlers selon les options, sans exécuter de handler.
trigger	Contrat d'entrée qui transforme un événement admissible en exécution Touba gouvernée. Les formes documentées couvrent schedule -> strategy avec runner foreground et request -> strategy avec service webhook, queue durable et contrat payload.
trace	Journal structurel d'une exécution : décisions, refus, appels, budgets, approvals, secrets utilisés comme handles et liens source/AIR.

Identifiants techniques

Codes de tranche

Les codes de tranche servent à relier documentation, spécifications, tests et historique de livraison. Dans les guides, le nom lisible reste prioritaire.

Code	Nom lisible	À retenir
BF-1	Fragments de bindings	Composition de fragments explicites vers un manifest assemblé.
BQ-1	Budgets d’autonomie	Limites de durée, étapes, appels tools, invocations agents et quotas de triggers.
D/I-1	Séparation données/instructions	Un contenu externe ne devient pas automatiquement une instruction agentique.
IM-1	Imports purs	Imports de type, define non sensible et function pure.
IM-2 / IM-2A	Imports effectifs	Imports de composants comme tool, skill, agent, strategy ou memory, sans autorité implicite ; IM-2A couvre le cas tool.
PC-1 / PC-2	Contraintes de payload	Non-vide, longueur, bornes numériques et valeurs autorisées portables.
PC-3A	Cardinalité de listes	Contraintes min_items et max_items sur listes déjà validées par l’AIR.
PI-1	Provenance et intégrité mémoire	Metadata de provenance et évidences d’intégrité, sans conclure Verified.
PKG-1	Packages explicites	Packages de projet résolus explicitement ; les metadata de registry n’accordent aucune autorité runtime.
RB-1 / RB-2	Resource bindings	Validation des liaisons, puis transmission aux handlers des seules ressources autorisées et utilisées.
RP-1	Run plan	Plan explicite généré ou vérifié par touba prepare, puis consommé par touba run.
SC-1	Lock supply chain	Digests AIR, manifest, handlers, metadata SDK et identité de paquet handler.
SC-2	Artefacts de dépendances	Fichiers de paquet handler et artefacts de dépendances déclarés, vérifiés par digest.
SC-3	Provenance et revue	Provenance, review déclarée et evidence contrôlée par digest.
SKILL-V1	Contexte de package	Création, validation, découverte, activation progressive, ressources, scripts non exécutables et refus d'autorité implicite.
TA-1	Audit des traces	Manifest d’audit, digests, redaction, export borné et validation de cohérence.
TD-1	État durable de trigger	État explicite de trigger pour event_id, acceptations, refus et replay refusé.
TEAM-1	Responsabilité multi-équipe	Owners, reviewers, review gates et graphes de responsabilité.