Marque LANXAS
Marque française « LANXAS » déposée à l'INPI sous le numéro 5244762 (déposante : Aurélie Charlotte Luylier ; dépôt du 3 avril 2026 ; publication du 25 avril 2026). Information publique.
Transparence et conformité
Preuves, transparence et conformité
LANXAS présente ici les éléments vérifiables de sa technologie : titres de propriété industrielle, architecture du moteur, validation reproductible et fondements mathématiques. Chaque chiffre avancé est appuyé par une preuve reproductible.
119tests automatisés réussis (0 échec)
96 %couverture de code mesurée
8/8preuves formelles validées
6endpoints API testés en direct
α = 0,35coefficient optimal démontré
Résultats issus d'un bundle de validation reproductible (16 mai 2026). Le détail complet est communiqué aux autorités d'évaluation et aux investisseurs sous accord de confidentialité (NDA).
Décisioning de masse en direct
Lancez le moteur sur 2 000 000 de dossiers : chacun est évalué, scoré et décidé en direct par le moteur déterministe (CSP / AC-3, 16 règles, référentiel HCSF et Banque de France). Regardez le traitement défiler à pleine vitesse.
0dossiers traités
0décisions / seconde
0accordés
0sous conditions
0refusés
0 stemps moteur
En attente. Cliquez sur « Lancer le décisioning de masse » pour traiter 2 000 000 de dossiers en direct.
Traitement réalisé en direct par le moteur LANXAS déployé (api.lanxas.com). Dossiers générés pour la démonstration ; aucune donnée personnelle réelle.
Reproductibilité prouvée en direct
Le moteur LANXAS est déterministe : sur un dossier identique, il rend exactement le même résultat à chaque exécution. Lancez plusieurs exécutions réelles ci-dessous et comparez les empreintes : elles sont strictement identiques. C'est la même constance que le coefficient de stabilisation α = 0,35, obtenu de façon reproductible dans les preuves formelles.
0exécutions du moteur
…score obtenu (identique)
0 / 0empreintes identiques
α = 0,35coefficient démontré · P < 1e-20
En attente. Cliquez pour exécuter plusieurs fois le moteur sur un dossier identique et comparer les résultats.
Exécutions réelles sur le moteur LANXAS déployé (api.lanxas.com). L'empreinte est un SHA-256 du résultat (décision, score, motifs) calculé dans votre navigateur ; son invariance prouve le déterminisme.
Propriété industrielle
Références publiques, vérifiables sur le registre de l'INPI.
Brevet INPI FR2604698
Invention dont Aurélie Charlotte Luylier est l'inventrice : « Architecture informatique hybride à interface tangible pour la modélisation topologique et la résolution dynamique de problèmes de satisfaction de contraintes avec stabilisation probabiliste des états logiques. » Dépôt de demande internationale (PCT) en cours ; procédure d'extension de la protection en cours.
Confidentialité du brevet
Le contenu technique protégé n'est pas divulgué sur ce site, la procédure d'extension étant en cours ; seuls la référence et l'intitulé officiels sont communiqués. Tout investisseur ou partenaire souhaitant examiner l'invention en détail est invité à en faire la demande : la communication des éléments techniques est subordonnée à la signature d'un accord de confidentialité (NDA). Éditeur : LANXAS SASU, RCS Paris 948 047 733, siège social à Paris.
Le moteur RuleCore
Un moteur de décision déterministe de résolution sous contraintes avec stabilisation probabiliste : ni IA générative, ni modèle statistique. À entrées identiques, la décision est toujours la même. Explicable, reproductible, sans boîte noire.
Architecture brevetée et protégée
L'architecture interne du moteur, le détail de ses modules et les formules de ses preuves sont couverts par un brevet (demande internationale PCT en cours) et ne sont pas publiés. Ils sont présentés aux autorités d'évaluation et aux investisseurs uniquement sous accord de confidentialité (NDA).
Validation reproductible
Chaque résultat est reproductible : moteur déterministe, suite de tests automatisés et preuves formelles. Bundle de validation du 16 mai 2026.
119 tests automatisés
Suite de tests automatisés couvrant le moteur, les preuves mathématiques, l'API et la configuration. 119 réussis, 0 échec.
96 % de couverture
Couverture de code mesurée sur l'ensemble des modules du cœur et de l'API : 357 instructions analysées, 96 % couvertes.
8/8 preuves formelles
Preuves formelles validées (dont le coefficient α = 0,35 et une probabilité de fausse attribution négligeable). EXIT = 0.
Environnement de test intégralement consigné et horodaté. 6 endpoints de l'API ont par ailleurs été testés en conditions réelles : tous ont répondu HTTP 200.
Performances mesurées
Benchmarks relevés sur le moteur LANXAS déployé (api.lanxas.com, décisioning de crédit, 16 règles, CSP / AC-3). Chaque chiffre est mesuré, daté et reproductible avec le script fourni.
0,72 ms par décision (médiane)
Latence interne du moteur, réseau exclu : médiane (p50) 0,72 ms, p95 0,77 ms, p99 0,87 ms, sur 40 décisions complètes et justifiées. Aucune latence d'inférence.
2 000 000 de dossiers en 13,6 secondes
En décisioning de masse, le moteur évalue 2 000 000 de dossiers complets en 13,56 s (mesure côté serveur), chacun scoré, noté et justifié.
Jusqu'à 147 452 décisions par seconde
Débit mesuré jusqu'à 147 452 décisions par seconde en lot, sans aucune perte de traçabilité.
Protocole de mesure (opposable)
ServeurIntel Xeon D-1541 @ 2,10 GHz
Cœurs / RAM16 cœurs · 62,7 Go
SystèmeUbuntu 24.04.4 LTS
RuntimePython 3.12.3
Échantillon latence40 requêtes + 3 de chauffe
Mesure latencedurée interne moteur (réseau exclu)
Lots de débit100 k / 1 M / 2 M dossiers
Date15 juin 2026
| Latence moteur | min | p50 | p95 | p99 | max | écart-type |
|---|---|---|---|---|---|---|
| Décision unitaire (ms) | 0,375 | 0,722 | 0,773 | 0,872 | 0,880 | 0,11 |
Le temps réseau (aller-retour) est mesuré séparément et exclu de la latence moteur (médiane réseau 57 ms, p95 119 ms, selon la liaison de l'appelant). Le débit en lot est mesuré côté serveur. Protocole de mesure reproductible, communicable aux évaluateurs sur demande.
Fondements et données
Fondement mathématique
Le moteur repose sur une formalisation mathématique rigoureuse, validée par des preuves formelles. Les démonstrations détaillées sont protégées par le brevet et communicables aux évaluateurs sous accord de confidentialité (NDA).
Conformité RGPD
LANXAS est conçu dans le respect du RGPD (règlement (UE) 2016/679 et loi n° 78-17 du 6 janvier 1978 modifiée) : confidentialité et protection des données dès la conception.
Le traité fondateur
La technologie LANXAS repose sur un travail théorique de longue haleine.
LANXAS : Traité axiomatique des systèmes contraints, des transitions et des résolutions (Tome I)
Ouvrage d'Aurélie Charlotte Luylier, fruit de plus de dix années de recherche, posant la formalisation axiomatique à l'origine du moteur LANXAS. Premier tome d'un traité en plusieurs volumes. Consultable dans la bibliothèque LANXAS.
Tester les produits LANXAS
Chaque logiciel s'ouvre directement en ligne. Toute autorité d'évaluation peut l'ouvrir, le tester et reproduire les résultats.