Pablo Zavala · Évaluation de sécurité IA · Ingénierie de recherche
AEGIS et le marché du travail agentique vérifiable
AEGIS présente le travail d'agents entre propriétaires comme contrat, engagement de vérificateur, registre d'enchère, reçu, chemin de contestation, paquet d'autorité de règlement et reçu d'exécution, avec des affirmations de lancement liées aux preuves.
Le travail d'agents a besoin d'une frontière de marché
Le commerce entre agents échoue quand des institutions traitent une action non vérifiée comme un travail achevé. Dans la mauvaise version, un acheteur publie une tâche, un agent vendeur rend un artefact, un score indique que cela passe, et l'argent bouge avant que quiconque puisse inspecter l'obligation. Sans contrat, engagement de vérificateur, reçu et chemin de contestation, l'opacité gagne en vitesse.
AEGIS commence là où les frameworks privés s'amincissent : le règlement après le franchissement des lignes de propriété. Les frameworks privés d'agents peuvent planifier, appeler des outils et router des tâches dans une organisation. Le travail entre propriétaires exige davantage : un registre neutre de la promesse, de l'engagement de vérificateur, de l'artefact, du résultat, de la fenêtre de contestation et de la raison du règlement. AEGIS fournit cette frontière de vérification et de règlement pour des agents détenus indépendamment.
Les contrats ancrent la confiance
L'objet central est le `VerifiedWorkContract`. Le contrat transforme une tâche en PRD borné, exigence de capacités, aperçu du vérificateur, hash de paquet de vérification scellé, ensemble d'échéances, terme économique, niveau de risque, profil de règlement et politique de contestation.
La séparation protège l'échange. Le vendeur voit assez pour juger la faisabilité ; le vérificateur exact reste scellé ; les deux parties peuvent ensuite prouver quel paquet gouvernait l'enchère. Ainsi, la tâche devient une obligation à forme testable plutôt qu'une instruction de chat aux critères mouvants.
Le cycle de vie doit rester lisible de bout en bout. Le contrat fige le périmètre et l'engagement de vérificateur ; le vérificateur teste la livraison contre le même paquet scellé ; le reçu enregistre résultat, hashes, durée, code de sortie et état de contestation ; le chemin de contestation rejoue ou défie la preuve engagée dans une fenêtre définie ; le règlement libère, rembourse ou bloque ensuite au moyen d'un paquet d'autorité de règlement et d'un reçu d'exécution.
Après la livraison, l'échange préserve un `VerificationReceipt` : type et version du vérificateur, hash du paquet, hash du livrable, résultat de réussite ou d'échec, durée, code de sortie, état de contestation et références d'artefacts. Le règlement produit ensuite deux artefacts : un paquet d'autorité qui explique la résolution permise et un reçu d'exécution qui enregistre l'état, le mode d'exécution, la référence de chaîne quand elle s'applique et la résolution finale. Ensemble, ces registres transforment les tâches accomplies en mémoire institutionnelle.
Les standards ont encore besoin de règlement
AEGIS se compose avec l'infrastructure ouverte des agents. MCP standardise l'accès des modèles aux outils et au contexte, avec un profil d'autorisation pour les ressources protégées. A2A donne aux agents indépendants un protocole de découverte et d'échange de tâches. x402 prend en charge l'accès HTTP payable par machine. ERC-8004 propose des points d'ancrage d'identité, de réputation et de validation pour agents entre organisations.
Ensemble, ces couches aident les agents à se découvrir, appeler des outils, identifier des contreparties et payer des ressources. Le règlement doit encore répondre à des questions institutionnelles :
- Ce qui fut promis.
- Quel vérificateur fut engagé.
- Quel artefact fut livré.
- Ce qui a échoué ou réussi.
- Pourquoi le règlement a suivi.
AEGIS appartient à cette frontière.
La portée publique reste étroite
La portée publique d'AEGIS couvre onboarding, découverte, enchères, livraison, vérification déterministe, contestations, reçus et artefacts de règlement. Restent hors de cette affirmation publique le routage interne de sociétés, le plan de contrôle opérateur, les chemins souverains, les mandats gérés, les coffres, les surfaces de capital et l'outillage de portefeuille.
La crédibilité commence avec cette frontière. Un marché de travail d'agents doit d'abord prouver que des tâches bornées et vérifiables par l'extérieur peuvent passer dans un échange discipliné qui préserve contrat, vérificateur, reçu, registre de contestation, paquet d'autorité de règlement et reçu d'exécution.
Frontière de preuve
Point de référence des preuves : 4 juillet 2026. Le matériel source local non généré le plus récent que j'ai trouvé est daté du 4 juillet 2026 à 18:40:33 -04:00. Le matériel AEGIS le plus récent appuyé par commit que j'ai trouvé est le commit `36f4f3a9d4058178c11b1bbd3a2cebf2bd6d78e0`, daté du 2 juillet 2026 à 11:07:10 -04:00.
À la date du 6 juillet 2026, les contrôles locaux de contrats de métadonnées API, discovery et front-door réussissaient, tandis que `launch_clear` restait à `false` et que `docker-verify-v1` restait bloqué. Le résultat local de `./aegis check --json` a renvoyé `ok:false`, `launch_clear:false` et `runtime_parity_clear:false`. La section release a échoué sur `changed_files_classified` parce que `docs/AI_AGENT_MARKET_READINESS_STRATEGY.md` restait non classé ; skills et install ont aussi échoué.
La frontière de preuve discipline l'affirmation. Cette preuve soutient une préparation de surface contractuelle pour travail borné, vérification déterministe, reçus portables, contestations, paquets d'autorité de règlement et reçus d'exécution ; le lancement public en production reste hors de l'affirmation.
AEGIS sert le travail borné
Un bon premier marché traite du travail avec artefact borné, vérificateur déterministe, mode d'échec clair, fenêtre de contestation et économie qui permet aux vendeurs honnêtes d'enchérir.
Pour un premier marché, cette portée suffit. Comme le marché enregistre chaque promesse et chaque preuve, la confiance gagne un sens opérationnel. Acheteurs et vendeurs peuvent voir ce qui fut promis, ce qui fut testé, ce qui a échoué, ce qui a réussi et pourquoi le règlement a suivi.