Résumé en une page

Problème : un agent déclare qu'il a livré, un autre qu'il a vérifié. Personne ne détient de trace opposable — et l'écart entre la déclaration et le réel ne se découvre qu'à l'incident, c'est-à-dire trop tard.

Ce qui a déclenché le projet : trois agents d'un même essaim ont rendu des rapports de vérification fabriqués — « 12 passed », JSON valide, listing propre — alors que le disque disait l'inverse. Le besoin tient en une phrase : pas de « c'est fait » sans trace.

Solution : Cerberus confronte la déclaration à la trace, détecte les sorties de périmètre et les dérives comportementales, et scelle chaque constat dans un journal append-only à chaîne de hachage. Il propose des mesures de confinement — il ne les applique jamais seul. Le modèle V9 ajoute un avis sémantique sur les actions d'agent.

1. Il protège, il ne soigne pas

Position tenue depuis le début : Cerberus prévient, il empêche la propagation ou l'aggravation, il le prouve. Cerberus ne corrige rien et ne modifie rien sur la machine hôte. Il est un garde-fou en lecture seule : il observe, détecte, signale et prouve dans un journal. Il n'applique aucune correction, ne supprime rien, ne rejoue aucune commande. C'est à l'utilisateur d'associer Cerberus à un autre système qui effectuera la maintenance, ou de déterminer sa stratégie selon les résultats rapportés. Cerberus ne juge jamais la qualité d'un travail — seulement son existence, en disant qui est en cause : la demande, ou l'agent.

2. Ce que la ronde vérifie

3. Le modèle V9

Le modèle Cerberus V9 est un classifieur, pas un chatbot : il répond exclusivement en JSON mescode>{"risque": <0-1>, "raison": "<analyse>"}. Il vient en complément des règles déterministes : le risque retenu est max(règles, modèle) — le harnais borne le modèle, le modèle couvre les angles morts des règles.

3.1 Contenu de l'archive du modèle

L'archive du modèle (incluse dans cerberus-v9-product.tar.gz) contient :

Le produit complet inclut aussi le noyau (cerberus-0.9.0-beta.5/) et le harnais de vérification.

3.2 Comment le modèle a été construit

Base : Qwen2.5-1.5B-Instruct (Apache 2.0), retenue au banc du 18/09/2026 pour sa stabilité JSON.

Méthode : fine-tuning LoRA (Unsloth) sur un corpus de cas de sécurité, fusion des poids, conversion GGUF, puis quantification Q4_K_M. La v9 est une continuation de la v8 enrichie de 91 exemples de sécurité.

Corpus : cas réels d'incidents, techniques d'attaque cataloguées, CVE, OWASP Top 10 pour LLM. Règles de labellisation : le faux négatif est l'erreur critique ; réponses strictement JSON ; ~40 % de cas bénins pour éviter le faux positif.

Scores mesurés : modèle seul 30/33, modèle + harnais 33/33. La v10 a été produite puis rejetée (échec au banc) — elle n'est pas délivrée. L'achat v9 couvre la branche v9 (v9.1, v9.2…) ; la v11 ou ultérieure sera commercialisée séparément.

3.3 Ce que le modèle et le harnais détectent

Le harnais (règles déterministes, harness.py) détecte :

• accès à des secrets (/etc/shadow, ~/.ssh, clés, jetons) ;
• destruction ou écrasement de données (rm, truncate, dd, shred) ;
• exfiltration hors de la machine (curl | sh, scp, rsync, nc) ;
• ouverture d'accès distant ou d'écoute réseau ;
• énumérations suspectes (ls/find/whoami, ss/netstat, cat passwd, ssh/scp).

Le modèle V9 ajoute un avis sémantique sur les actions d'agent : injections de prompt, détournement d'outils, agence excessive, empoisonnement de mémoire, boucles de consommation, et les nuances de zone grise que les règles ne couvrent pas.

3.4 Installation du modèle

1. sha256sum -c SHA256SUMS — vérifier l'intégrité ;
2. ollama create cerberus:v9 -f Modelfile.cerberus-v9 — importer ;
3. dans cerberus.yaml : analyzer: ollama, analyzer_model: cerberus:v9.

4. Accès & licence

Produit complet (noyau + harnais + modèle V9) : vente unique à 1,99 USDC, par machine. Installation locale par archive, Linux uniquement.

Paiement en USDC sur Base (eip155:8453) à l'adresse : 0xEC643C22E089Be9A23A282c532e6557aE08b8902. Conservez votre hash de transaction comme preuve d'achat.

Les mises à jour incluses sont gratuites pour les clients qui prouvent un achat valable sur une machine unique (preuve liée à l'empreinte matérielle HWID). Périmètre : l'achat couvre la branche v9 et ses évolutions (v9.1, v9.2, etc.). La v10 est exclue (version problématique, échec au banc). La prochaine version commercialisée séparément sera la v11 ou une version ultérieure.

Double licence : noyau AGPL v3, modèle selon licence commerciale. La bêta antérieure (noyau seul) reste gratuite pour évaluation.