Du run à la preuve
Le contrat moteur-agnostique garde les invariants ADA stables, quel que soit le moteur retenu.
Cycle d’une phase
1
Resolve
Vérifier activation, disponibilité, mode d’usage et modèle compatible.
2
Acquire
Acquérir le bail d’écriture sur le chemin canonique du workspace.
3
Start
Transmettre prompt, contexte, identité de tentative, permission, timeout et cwd.
4
Observe
Normaliser les événements, la sortie, l’usage et l’état terminal.
5
Close
Attendre la fin ou le drainage effectif avant de libérer le bail.
Invariants de sécurité
- Un seul écrivain par workspace protégé.
- Aucun succès déclaré après l’échec d’une phase obligatoire.
- Identités natives Claude et Codex conservées séparément.
- Mémoire filtrée par identité projet.
- Credentials API isolés des exécutions sur abonnement.