Agent-Safe Change Control (ASCC)
Le système qui vous permet de pointer un agent IA vers une véritable base de données en toute sécurité — borné, attribué, révisé, réversible.
En service aujourd'hui. Chaque piste ASCC est livrée et opérationnelle — la dernière vague s'est achevée le 2026-07-17 (cli-v0.1.46+). Les capacités continuent de mûrir ; dites-nous ce qui casse.
ASCC est le système de sûreté des agents de Kisenon. Le sandboxing n'en est qu'une partie. La promesse, en une ligne : le seul Postgres où les changements d'un agent IA sont contenus, révisables et réversibles.
Le rempart est structurel, ce n'est pas une liste de fonctionnalités. cp est le seul rédacteur en production, et promote est un unique point de contrôle gouverné par lequel transite chaque changement d'agent — pas une branche que l'on peut discrètement fusionner en la contournant. Deux garanties tiennent en dessous, toutes deux déterministes, avec aucun LLM dans le chemin de confiance :
- L'agent se connecte avec une identification à portée limitée, non-superutilisateur, vers un fork et
ne détient jamais d'identification capable d'écrire sur
main. - Chaque instruction est attribuée à un journal d'actions en lecture seule — le vrai SQL, pas un résumé.
Le cycle de vie
Un changement d'agent traverse cinq étapes. C'est la colonne vertébrale de tout ce qui suit.
Entrer en sécurité → Travailler de façon observable → Promouvoir par une porte → Atterrir de façon réversible → Le prouver après coup.
De quoi avez-vous peur ?
| De quoi avez-vous peur ? | Étape | Ce qui l'arrête |
|---|---|---|
| Il détruit des données | Promote / Land | LINT + POLICY + UNDO |
| Il fait fuiter des PII vers l'agent | Enter | MASK |
| Il met la prod à terre (verrous, emballement) | Enter + Gate | LEASH + BLAST |
| Je ne peux pas savoir ce qu'il a fait | Prove | DIFF |
| Je ne peux pas le prouver plus tard | Prove | LEDGER |
| L'agent dépasse son couloir | Enter | SCOPE |
| Je ne peux pas annuler une mauvaise promotion | Land | UNDO |
| Mon schéma de référence dérive | Prove | EMIT |
Les pistes
Chaque piste est une garantie. Regroupées selon l'étape à laquelle elle appartient.
Enter — comment l'agent entre, borné.
- SCOPE — des droits dérivés du couloir ; l'identification ne peut toucher que son couloir.
- LEASH — des budgets par sandbox sur les instructions, le calcul et le temps réel.
- MASK — des forks masqués ; les PII n'entrent jamais dans le fork que l'agent voit.
Voir Guardrails et Masked forks.
Work — ce que vous voyez pendant l'exécution.
- capture + un journal d'actions en direct de chaque instruction.
- DIFF — un diff déterministe et lisible par un humain du changement.
- BLAST — un essai à blanc du rayon d'explosion : verrous, durées et nombres de lignes mesurés.
Voir Sandboxes & promote.
Gate — ce que promote vérifie avant d'atterrir.
- LINT — classification statique du risque du jeu d'instructions.
- POLICY — des paliers de politique de promotion par projet.
Voir Guardrails.
Land — comment le changement atteint main, de façon réversible.
- promote — en libre-service ou approuvé par un humain.
- UNDO — promotion réversible en un clic.
- EMIT — migrations up/down déterministes.
Voir Sandboxes & promote.
Prove — ce que vous pouvez montrer après coup.
- LEDGER — des attestations signées, vérifiables hors ligne, de ce qui a atterri.
Voir Sandboxes & promote.
L'invariant qu'aucune fonctionnalité n'affaiblit
Sous chaque fonctionnalité ASCC reposent trois portes de promotion codées en dur. Aucune piste ne les assouplit jamais :
- une exigence de verdict vert — le changement doit avoir réussi dans le sandbox ;
- un garde-volatile — les instructions dont le résultat de rejeu ne peut être fiable sont refusées ;
- une vérification fail-closed des trous de séquence — un trou dans la séquence d'instructions attribuée bloque la promotion plutôt que de la laisser passer.
Une fonctionnalité peut ajouter des frictions par-dessus. Aucune ne peut retrancher celles-ci.
Commencez ici
Nouveau ici ? Commencez par Sandboxes & promote. Avant de brancher un agent, lisez Common pitfalls — les anti-patrons qui défont discrètement ces garanties.