AGUELLID transforme le code legacy certifié. Pas d'estimation, pas de LLM — une équivalence sémantique mesurée, signée, reproductible.
DNA-0001 — signé le 12 avril 2026. Chaque livrable repose sur ces trois fonctions, dans cet ordre.
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.
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.
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.
La transformation certifiée n'est pas une promesse commerciale. C'est une mesure.
Voici les chiffres en production, sur corpus réel.
Résultats sur corpus réel. Reproductibles par audit indépendant. Garantie d'équivalence opposable.
Cinq étapes déterministes. Aucune n'est probabiliste. Chaque étape produit une trace vérifiable.
Réception du corpus source (COBOL, PL/I, RPG, Assembler). Analyse statique, détection des dépendances et des copybooks.
→Extraction AST déterministe. Aucun LLM, aucune inférence. La logique métier est lue, pas interprétée.
→Production Python sémantiquement équivalent. Règles de transformation versionnées et auditables.
→Calcul du taux d'équivalence sémantique sur la totalité du corpus. Rapport différentiel ligne à ligne.
→Signature DNA-0001 sur chaque livrable. Empreinte blake2b + Lamport + sha3-256. Horodatage reproductible.
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.
Signatures one-time post-quantiques. Utilisées dans DNA-0001 sur chaque livrable critique. Résistance prouvée aux attaques Shor et Grover.
Couche d'intégrité et d'empreinte. Triptyque DNA-0001 : chaque couche couvre une propriété cryptographique distincte. Vérifiable sans infrastructure tierce.
Encapsulation de clé post-quantique standardisée NIST FIPS 203. Remplace les échanges RSA/ECDH pour les communications critiques.
Signatures de volume (ML-DSA) et signatures stateless hash-based (SLH-DSA). Couverture complète du triptyque signataire pour entités NIS2 essentielles.
AGUELLID et DNA-0001 s'appuient sur des fondements académiques vérifiés — pas sur des benchmarks marketing.
Fondement théorique de la certification de transformation : le code livré porte sa propre preuve de correction.
Premier compilateur formellement vérifié en production. AGUELLID étend ce paradigme à la migration legacy multi-langages.
Base de l'analyse statique déterministe. Permet l'extraction de la sémantique du programme sans exécution.
Fondement des signatures post-quantiques Lamport intégrées dans DNA-0001. Résistance prouvée aux ordinateurs quantiques.
Standards officiels US pour la cryptographie post-quantique. Kyber (ML-KEM), Dilithium (ML-DSA), SPHINCS+ (SLH-DSA) — roadmap KIVUMIA.GUARD.
KIVUMIA.JUGURTHA couvre les quatre référentiels en production. Obligation NIS2 : octobre 2026. DORA : en vigueur depuis janvier 2025.
Ristourne 15 % sur tout engagement annuel payé d'avance — prix bloqué garanti tant que l'abonnement est actif sans interruption (grandfathering).
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.
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.
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.
Corpus traité dans l'infrastructure KIVUMIA EU uniquement. Aucune dépendance cloud US, aucun transit hors territoire européen. Signé DNA-0001.