AGUELLID — Certified Transformation Engine
Analyse syntaxique et sémantique du code source. Parsing déterministe, zéro LLM, extraction de la logique métier réelle — pas de l'interprétation probabiliste.
98,78 % équivalence sémantique mesurée
KIVUMIA.TECH · DNA-0001 — Documentation technique · Architectes & DSI · Swarmly SRL
Moteur. Preuve.
Moteur. Preuve.
Zéro hypothèse.
AGUELLID transforme le code legacy certifié. Pas d'estimation, pas de LLM — une équivalence sémantique mesurée, signée, reproductible.
EUIPO N° 019337963
INPI Classes 9 + 42
eSoleau v1–v5 horodatés
DNA-0001 signé 12/04/2026
11 services 24/7 en production
§ Architecture de confiance
Trois piliers. Un triptyque.
DNA-0001 — signé le 12 avril 2026. Chaque livrable repose sur ces trois fonctions, dans cet ordre.
DNA-0001 — Post-Quantum Signature Layer
Chaque transformation est scellée : blake2b (intégrité) + sha3-512 Lamport (signature post-quantique) + sha3-256 (empreinte souffle). Traçabilité cross-machines, vérifiable de façon indépendante.
3 couches — blake2b · Lamport · sha3-256
JUGURTHA — Compliance Audit Engine v2.0
Audit multi-référentiels DORA · NIS2 · RGPD · AI Act. Rapport structuré, opposable, avec recommandations priorisées. 75 % opérationnel — montée en charge en cours.
4 référentiels — DORA · NIS2 · RGPD · AI Act
§ Proof of Equivalence
Ce que les autres estiment, nous le prouvons.
La transformation certifiée n'est pas une promesse commerciale. C'est une mesure — sur corpus réel.
98,78 %Équivalence sémantique
6,23 MdValidations exécutées
0Erreur constatée
32 265Fichiers · 5 continents
500K+ l/sCadence moteur, scalable
Résultats sur corpus réel. Reproductibles par audit indépendant. Garantie d'équivalence opposable.
§ Flux de transformation
De l'analyse à la certification.
Cinq étapes déterministes. Aucune n'est probabiliste. Chaque étape produit une trace vérifiable.
01
Ingestion
Réception du corpus source (COBOL, PL/I, RPG, Assembler). Analyse statique, détection des dépendances et des copybooks.
02
Parsing
Extraction AST déterministe. Aucun LLM, aucune inférence. La logique métier est lue, pas interprétée.
03
Génération
Production Python sémantiquement équivalent. Règles de transformation versionnées et auditables.
04
Mesure
Calcul du taux d'équivalence sémantique sur la totalité du corpus. Rapport différentiel ligne à ligne.
05
Scellement
Signature DNA-0001 sur chaque livrable. Empreinte blake2b + Lamport + sha3-256. Horodatage reproductible.
§ Cryptographie post-quantique
Aujourd'hui en production. 2030 déjà couvert.
KIVUMIA.GUARD intègre les standards NIST FIPS 203/204/205 — les seuls validés pour la transition post-quantique. Lamport est en production. Kyber-1024, Dilithium et SPHINCS+ sont en roadmap.
Lamport SHA3-256
Signatures one-time post-quantiques. Utilisées dans DNA-0001 sur chaque livrable critique. Résistance prouvée aux attaques Shor et Grover.
Lamport 1979 · One-Time Signaturesblake2b + sha3-512
Couche d'intégrité et d'empreinte. Triptyque DNA-0001 : chaque couche couvre une propriété cryptographique distincte. Vérifiable sans infrastructure tierce.
DNA-0001 · Signé 12/04/2026Kyber-1024 (ML-KEM)
Encapsulation de clé post-quantique standardisée NIST FIPS 203. Remplace les échanges RSA/ECDH pour les communications critiques.
NIST FIPS 203 · 2024Dilithium + SPHINCS+
Signatures de volume (ML-DSA) et signatures stateless hash-based (SLH-DSA). Couverture complète du triptyque signataire pour entités NIS2 essentielles.
NIST FIPS 204 + 205 · 2024
§ Références académiques
Sur les épaules des géants.
AGUELLID et DNA-0001 s'appuient sur des fondements académiques vérifiés — pas sur des benchmarks marketing.
Necula · 1997
Proof-Carrying Code
Fondement théorique de la certification de transformation : le code livré porte sa propre preuve de correction.
Leroy · CompCert · 2021
Certified Compiler
Premier compilateur formellement vérifié en production. AGUELLID étend ce paradigme à la migration legacy multi-langages.
Cousot & Cousot · 1977
Abstract Interpretation
Base de l'analyse statique déterministe. Permet l'extraction de la sémantique du programme sans exécution.
Lamport · 1979
One-Time Signatures
Fondement des signatures post-quantiques Lamport intégrées dans DNA-0001. Résistance prouvée aux ordinateurs quantiques.
NIST FIPS 203/204/205 · 2024
Post-Quantum Cryptography Standards
Standards officiels US pour la cryptographie post-quantique. Kyber (ML-KEM), Dilithium (ML-DSA), SPHINCS+ (SLH-DSA) — roadmap KIVUMIA.GUARD.
DORA · NIS2 · AI Act · 2022–2024
Cadre réglementaire EU
KIVUMIA.JUGURTHA couvre les quatre référentiels en production. Obligation NIS2 : octobre 2026. DORA : en vigueur depuis janvier 2025.
§ Tarification AGUELLID
Ristourne 15 % sur tout engagement annuel payé d'avance — prix bloqué garanti tant que l'abonnement est actif sans interruption (grandfathering).
Du POC à l'industrialisation.
Diagnostic certifié
5 000 €
one-shot · convertible
Rapport opposable · taux d'équivalence sémantique mesuré sur votre corpus réel.
Démarrer →Envol
1 250 €
/ mois · ou 12 750 €/an (–15 %) · prix bloqué
Montée en production continue, avec le même triptyque de preuve que le POC.
Envol mensuel →Evolution
6 250 €
/ mois · ou 63 750 €/an (–15 %) · prix bloqué
Pour les corpus volumineux et les cadences de conversion soutenues.
Evolution mensuel →Enterprise
Sur devis
virement IBAN
Modernisation grands systèmes critiques · SLA contractuel négocié · accompagnement dédié.
Demander un devis →
Accès technique — analyse de corpus
▲ Analyse gratuite avant tout engagement
Soumettez votre corpus. On vous rend la preuve.
L'analyse initiale est gratuite. AGUELLID parcourt votre corpus, mesure le taux d'équivalence sémantique atteignable, identifie les zones de risque. Vous recevez un rapport structuré avant tout engagement commercial.
Langages supportés
COBOL · PL/I · RPG · Assembler
Délai d'analyse POC
90 jours · rapport opposable
Tarif POC
5 000 € · convertible abonnement
▲ Doctrine technique — applicable à tous les engagements
Déterminisme garanti
Zéro LLM dans la chaîne de transformation. Les règles sont versionnées, auditables, reproductibles. Le même corpus produit le même résultat.
Garantie d'équivalence
Remboursement renforcé si écart d'équivalence sémantique démontré par audit indépendant. La preuve est dans le livrable, pas dans la promesse commerciale.
Souveraineté des données
Corpus traité dans l'infrastructure KIVUMIA EU uniquement. Aucune dépendance cloud US, aucun transit hors territoire européen. Signé DNA-0001.
Le moteur tourne. Les preuves existent. Les références académiques sont citées. KIVUMIA.TECH n'est pas une démonstration — c'est une production.
Nous joindre
Parlons de votre besoin avant de parler de prix
Nous établissons chaque proposition sur devis, après avoir compris ce que vous voulez obtenir et dans quel périmètre. Écrivez-nous : une personne vous répond.