Méthode explicite
Chaque scénario fixe ses entrées, son résultat attendu et son unité de mesure avant l’exécution.
Lire la méthodologieRecherche et preuves publiques
Einvoi publie ici les éléments destinés à être lus, cités et contrôlés : méthode, corpus déclaré, résultats machine-readable, version et limites. Le code source et les fixtures privées restent distincts et propriétaires.
Compatibilité versionnée actuelle
31/31 scénarios contrôlés ont passé les régressions déterministes Einvoi. Séparément, l’oracle CI hors ligne a validé 4 fixtures officielles et rejeté comme prévu 2 mutations négatives avec les XSD, Schematron de profil et règles BR-FR officiels épinglés.
Ce résultat décrit uniquement ce corpus de compatibilité. Il ne constitue ni une certification ni une précision représentative sur des factures clients.
Statut produit vérifié
Les fonctionnalités couvertes par cette validation sont actuellement déployées dans la version de production d’Einvoi pour le marché France.
Publication actuelle
20/20 scénarios déclarés ont passé leur oracle sur un corpus synthétique contrôlé. TP 9, TN 11, FP 0, FN 0.
Cette mesure ne constitue pas une estimation de précision sur toutes les factures françaises ni sur des documents clients réels.
Le corpus ouvert associé réunit 29 cas synthétiques et reproductibles, avec leurs résultats CSV et JSON. Jeu de données ouvert publié sur data.gouv.fr.
Chaque scénario fixe ses entrées, son résultat attendu et son unité de mesure avant l’exécution.
Lire la méthodologieLa date, la version, les changements et les limites sont publiés sans transformer une preuve contrôlée en promesse générale.
Consulter le changelogLes résultats publics peuvent être lus, liés et cités. Ils n’accordent aucun droit sur le logiciel ou son code source.
Voir les conditionsMettre la méthode en pratique
Le vérificateur public réutilise les contrôles du produit sans publier le code source ni transmettre le document brut au serveur.