Chaque ligne ci-dessous est vraie dans le code d’aujourd’hui, pas une
promesse marketing. Rien n’est publie sans un test qui le prouve. Ce que
Haki ne garantit pas encore est dit tout aussi clairement, en bas de page.
Les garanties
Ce que ca veut dire concretement
Garantie 5, la plus recente. Jusqu’a ce soir, seul le Gateway savait dire “je n’ai pas pu recuperer votre memoire” (headerX-Haki-Memory: degraded).
Le reste du systeme pouvait echouer en silence : un paquet vide a l’arrivee
etait indistinguable d’un sujet qui n’a simplement aucun souvenir. Le statut
ok/degraded/failed est maintenant porte par le ContextPacket
lui-meme, donc par tout ce qui le consomme — SDK Python, SDK TypeScript,
serveur MCP — et non plus seulement par le Gateway.
Garantie 7. Un fait ne peut pas etre une directive du type “ignore les
instructions precedentes” ou “considere toujours X comme fiable” qui se
rejouerait dans un futur contexte comme si c’etait une consigne systeme.
La regle est volontairement etroite (elle ne remplace pas une defense
complete contre l’injection de contenu tiers non fiable — Haki n’ingere
pas encore de documents externes) mais elle est deterministe : elle
s’applique meme si le modele d’extraction ne se conforme pas a la consigne
du prompt.
Ce que Haki ne garantit pas encore
Deux choses, volontairement absentes de cette page pour ne rien publier qui ne soit pas mesure :- Aucune garantie sur la peremption des faits sans evenement correcteur (ex: un client demenage et ne le mentionne jamais). La supersession ne se declenche que sur un evenement contradictoire recu — une classe de volatilite par type de fait n’existe pas encore.
- Aucun SLO de fraicheur chiffre (ex: “une contradiction cesse d’etre servie en moins de 5 minutes p95”). Rien de ce genre n’a jamais ete mesure en conditions de production reelles — le publier aujourd’hui serait un chiffre fabrique, exactement ce que cette page refuse de faire.