AELITIUM EVIDENCE LAYER / v0.4.0

01 / Des éléments vérifiables pour les interactions IA enregistrées

APRÈS UNE INTERACTION IA, POUVEZ-VOUS VÉRIFIER CE QUI A ÉTÉ ENREGISTRÉ ?

AELITIUM transforme les interactions IA enregistrées en éléments que vous pouvez vérifier plus tard. La vérification s’effectue hors ligne, selon des règles explicites de vérification et de comparaison.

Explorer un exemple Installer AELITIUM
pip install aelitium

Présentez-nous votre cas d’usage

Examiner une exécution LLM enregistrée

Exemple préparé · AELITIUM v0.4.0

Votre équipe plateforme examine une exécution LLM conservée. Consultez la requête et la réponse, puis observez ce qui se passe quand une copie est modifiée.

Exemple synthétique en français. Résultats précalculés de la version publiée ; aucun vérificateur ne s’exécute dans ce navigateur. Provenance ↗

Données de l’exemple indisponibles

01 Interaction enregistrée

Requête, réponse et contexte enregistrés. Sélectionnez un champ.

02 Représentation canonique

ai_canonical.json · UTF-8

Sélectionnez un champ pour examiner ses octets sérialisés.

Comment ces éléments sont-ils construits ?

Cette matrice montre le contenu canonique complet de record-a, sans le saut de ligne final du fichier. Les zones surlignées correspondent aux offsets UTF-8 exacts des valeurs sérialisées de premier niveau, pas aux octets d’une empreinte.

La requête sélectionne /prompt, une chaîne JSON contenant les messages enregistrés. Aucun paramètre supplémentaire n’a été fourni dans cet exemple ; la sélection « Paramètres » n’a donc pas de plage d’octets.

Lire l’objet source
03 Empreintes dérivées

Empreintes calculées à partir d’éléments enregistrés définis.

Que couvre chaque empreinte ?
ai_hash_sha256
Contenu canonique complet ; référence d’intégrité dans ai_manifest.json.
request_hash
Modèle et messages enregistrés sélectionnés.
response_hash
Contenu de la réponse et modèle enregistrés sélectionnés.
invocation_identity_hash
Format versionné, surface, mode et champs de requête sélectionnés. Il ne s’agit pas de l’identité complète de l’invocation réelle.
OPEN SOURCE / APACHE-2.0 / v0.4.0 ÉLÉMENTS ENREGISTRÉS / ASSURANCE EXPLICITE / LIMITES EXPLICITES

02 / Des enregistrements vérifiables

CONSERVER DES ENREGISTREMENTS EST UTILE. POUVOIR LES VÉRIFIER L’EST ENCORE PLUS.

AELITIUM ajoute des contrôles définis aux enregistrements d’interactions IA que vous conservez.

Essayez une modification

Que se passe-t-il lorsqu’une valeur conservée ne correspond plus ?

Changez la réponse dans cet exemple préparé pour voir le résultat du contrôle enregistré.

Éléments conservés

Réponse enregistrée

Le rapport relève trois risques opérationnels.

Empreinte attendue du contenu

—

Contenu examiné

Le rapport relève trois risques opérationnels.

Empreinte recalculée du contenu

—

Intégrité du contenu

Données de l’exemple indisponibles

Ce résultat n’établit pas quand, pourquoi ou par qui un enregistrement a changé. Le manifeste attendu et les empreintes conservées restent fixes.

03 / Assurance

DES QUESTIONS DIFFÉRENTES. DES ÉTATS DIFFÉRENTS.

AELITIUM distingue les propriétés au lieu de les regrouper dans une affirmation unique d’authenticité.

En savoir plus sur le modèle d’assurance

Données de l’exemple indisponibles

Contrôle des éléments : exemple

01 Intégrité du contenu —
payload_integrity
02 Cohérence des champs de liaison —
binding_field_consistency
03 Cohérence de l’identité d’invocation —
invocation_identity_consistency
04 Cohérence de la liaison d’invocation —
invocation_binding_consistency
05 Validité de la signature —
signature_validity
06 Identité du signataire reconnue par la source de confiance —
trusted_signer_identity
07 Récence déclarée —
freshness
08 Autorisation —
authorization
À propos de ces états
VALID
Le contrôle défini a réussi.
INVALID
Les éléments examinés ne satisfont pas le contrôle défini.
ABSENT
Les éléments nécessaires ne sont pas présents.
UNESTABLISHED
Les données disponibles ne permettent pas d’établir la propriété.
NOT_EVALUATED
Cette propriété n’a pas été évaluée.

04 / Comparer

TOUTE DIFFÉRENCE NE DOIT PAS DEVENIR UNE CONCLUSION.

Comparez des enregistrements validés selon une base explicite. Refuser une comparaison peut parfois être le résultat le plus informatif.

Exemples synthétiques. Résultats précalculés de la version publiée ; aucun vérificateur ne s’exécute dans ce navigateur.

A. Même identité de comparaison sélectionnée / réponses différentes

Données de l’exemple indisponibles

B. Identités de comparaison sélectionnées différentes

Données de l’exemple indisponibles
Explorer deux autres scénarios préparés

Exemple sélectionné

Données de l’exemple indisponibles

CHANGED décrit les éléments enregistrés. Ce résultat ne démontre ni dérive du modèle, ni régression, ni faute du fournisseur, ni causalité.

En savoir plus sur la comparaison

05 / Vérifier hors ligne

EMPORTEZ LES ÉLÉMENTS À VÉRIFIER.

Une fois le bundle disponible, la vérification peut s’effectuer hors ligne.

  1. 01

    APPLICATION IA / PRODUCTION

    Collecte par un chemin d’instrumentation pris en charge.

  2. 02

    ÉLÉMENTS ENREGISTRÉS (via AELITIUM)

    Les éléments enregistrés sont conservés dans un bundle.

    ai_canonical.json ai_manifest.json
  3. 03

    TRANSFERT

    Copiez le bundle dans un autre environnement.

  4. 04

    EXAMEN HORS LIGNE

    Vérifiez les éléments disponibles hors ligne.

aelitium verify-bundle ./bundle

Une fois le bundle disponible, cette étape de vérification ne nécessite pas d’accès au système de production. Le bundle contient les éléments enregistrés et les données utilisées par les contrats de vérification et de comparaison. Des données de confiance ou des paramètres de politique de vérification supplémentaires peuvent être fournis localement ; le bundle n’est pas lui-même une source de confiance externe.

En savoir plus sur la vérification hors ligne

06 / Pour qui ?

POUR LES ÉQUIPES QUI ONT BESOIN DE CES ÉLÉMENTS.

AELITIUM complète l’observabilité. Il ajoute des contrôles définis aux éléments conservés ; il ne remplace ni la journalisation ni le traçage.

01

DÉVELOPPER AVEC L’IA

Conservez des éléments vérifiables issus des interactions IA enregistrées dans vos applications.

Développeurs · Équipes IA et plateformes · Produit et infrastructure.

02

EXAMINER LES ÉLÉMENTS TECHNIQUES

Examinez les éléments conservés hors ligne une fois le bundle disponible, sans accès à la production pour cette étape de vérification.

Gouvernance · Audit interne · Sécurité · Équipes risques.

03

INVESTIGUER

Inspectez ce qui a été enregistré après un incident ou un résultat inattendu. Comparez les enregistrements validés et examinez la relation précisément rapportée.

Réponse aux incidents · Investigation technique · Qualité et évaluation · Assurance client.

07 / Limites

LES ÉLÉMENTS ONT DES LIMITES. NOUS LES RENDONS VISIBLES.

AELITIUM contrôle les éléments enregistrés. Il n’établit pas que la réponse de l’IA est vraie ni que toutes les interactions ont été enregistrées.

Ce qu’AELITIUM peut vérifier

Contrôles de cohérence sur les éléments fournis

  • Intégrité du contenu
  • Cohérence des champs de liaison
  • Cohérence de l’identité d’invocation
  • Cohérence de la liaison d’invocation

Les éléments absents et les propriétés non évaluées sont indiqués séparément.

Contrôles complémentaires lorsque les éléments ou paramètres nécessaires sont fournis

Validité de la signature
Lorsque la signature et le matériel de vérification sont présents.
Identité du signataire
Lorsque la clé d’une signature valide correspond à une source de confiance externe fournie explicitement.
Récence déclarée
Avec un âge maximal et une heure UTC de référence fournis explicitement. Le contrôle porte sur le timestamp canonique déclaré, pas sur une heure historique fiable.
Ce que la vérification n’établit pas à elle seule

À elle seule, la vérification n’établit pas :

  • Exécution par le fournisseur.
  • Causalité de la réponse.
  • Exhaustivité de la collecte.
  • Vérité, exactitude ou sûreté de la réponse.
  • Identité complète de l’invocation réelle.
  • Réalité historique de l’événement.
  • Heure historique fiable.
  • Autorisation.
  • Conformité juridique.

En v0.4.0, authorization est toujours NOT_EVALUATED.

LES ÉLÉMENTS DOIVENT ÉTAYER UNE CONCLUSION.
ILS NE DOIVENT PAS SE TRANSFORMER SILENCIEUSEMENT EN UNE CONCLUSION PLUS FORTE.

08 / Version publiée

AELITIUM
v0.4.0

OPEN SOURCE / APACHE-2.0

ENREGISTRER

OpenAI · Anthropic · LiteLLM.
Chemins de collecte non-streaming pris en charge.

VÉRIFIER

8 dimensions d’assurance distinctes.
Vérification des bundles hors ligne.

COMPARER

Mode / base / motif explicites.

UNCHANGED
CHANGED
NOT_COMPARABLE
INVALID_BUNDLE

ANALYSER LE CODE

Motifs d’appels LLM Python pris en charge. Analyse du code source ; pas une preuve d’exhaustivité de la collecte ni une vérification de bundles.

pip install aelitium

Python 3.10 ou version ultérieure. Prérequis et extras

Lire la documentation Voir sur GitHub

09 / Vos retours

DITES-NOUS CE QUE VOUS CHERCHEZ À VÉRIFIER.

Les cas d’usage réels sont plus utiles que les suppositions sur les besoins des équipes. Ils orientent les prochaines validations et évolutions d’AELITIUM.

hello@aelitium.com

« Présenter votre cas d’usage » et « Contact » ouvrent votre application de messagerie avec l’objet préparé. Vous y envoyez le message ; ce site ne l’envoie pas.

N’incluez pas de clés API, prompts/réponses de production, bundles ou données confidentielles.