analyse de source · trace · en développement

Tout ce qu'une source dit. Et ce qu'elle étaye.

Orves VERI lit une seule source structurée à la fois — sortie de ORIS ou votre propre JSON/Markdown — et capture chaque assertion qu'elle contient : le span exact dont elle vient, qui l'a affirmée, les qualificatifs qui l'accompagnent, les relations énoncées à l'intérieur, les endroits où elle se contredit et les assertions qu'elle n'étaye pas. Une source en entrée, un résultat vérifiable en sortie. En développement ; le contrat d'API est en cours de finalisation.

assertions & preuvesspans exactsqualificatifsrelations internes à la sourceABSTAINED

sans état · une source à la fois · en développement — contrat d'API en définition

analyse de source · aperçu illustratif
# one source in · one verifiable result out
# illustrative preview — the API contract is in definition
{ "source": "macro_outlook_may.pdf", "scope": "within_source",
  "claim": "IPCA forecast for 2026: 4.2%",
  "says": "asserted", "supports": "SUPPORTED",
  "span": "p.8 · para 2 · bbox[72,410,486,433]",
  "asserted_by": "Institution A · 2026-05-14",
  "qualifiers": ["preliminary", "subject to revision"],
  "contradicted_within_source": "claim c_31 · annex p.24",
  "abstains_when": "insufficient_evidence" }
Le problème

L'extraction rend du texte. Elle ne rend pas ce que le texte étaye.

Les pipelines tirent des énoncés d'un document et abandonnent tout ce qui les rend défendables : d'où ils viennent exactement, qui les a affirmés, la nuance qui les accompagne et le passage, deux pages plus loin, qui les contredit. Ce qui reste se lit comme un fait et ne peut pas être vérifié.

spans jetésqualificatifs aplatisauteurs perduscontradictions internes fusionnéesdes suppositions là où la preuve manque
Ce que vous obtenez
moins d'hallucinationauditabilitéconformitéreproductibilitéexplicabilitécitations défendablesconfiance institutionnelle
À l'intérieur d'une source

VERI lit une source. Rien d'autre.

Chaque résultat est produit à partir d'une seule source structurée, sans accès à vos autres fichiers, sans mémoire des exécutions précédentes et sans état antérieur à consulter. Cette contrainte est le produit : la même source donne toujours le même résultat, et n'importe qui peut le vérifier face au fichier lui-même.

Ce que VERI reçoit

  • une source structurée — sortie de ORIS ou votre propre JSON/Markdown
  • le texte, les tableaux, la mise en page et les positions qu'elle contient
  • ce que cette source déclare d'elle-même — auteur, date, périmètre

Une source en entrée, un résultat vérifiable en sortie.

Ce que VERI ne reçoit jamais

  • vos autres sources
  • les résultats des exécutions précédentes
  • l'état actuel du Corpus
  • tout ce que la source ne contient pas

Mettre les sources en relation les unes avec les autres, c'est Orves MESH.

Une source, de bout en bout
source structuréeassertions localisées par spandit versus étayequalificatifs et auteursrelations within_sourceun résultat vérifiable

Rien n'est déduit de l'extérieur du fichier — là où la source n'étaye pas une assertion, l'état est ABSTAINED.

Dit × étaye

Ce qu'une source dit n'est pas ce qu'elle étaye.

Un document peut affirmer quelque chose qu'il n'appuie jamais, nuancer un chiffre jusqu'à le vider de sens, ou donner un montant page 8 et un autre en annexe. Aplatir tout cela en une liste de faits, c'est ainsi que des assertions indéfendables entrent dans un audit.

une source · deux passages
# macro_outlook_may.pdf · Institution A
p.8 para 2:  "IPCA forecast for 2026: 4.2%"
                 preliminary, subject to revision

annex p.24:  "2026 scenario built on IPCA of 4.4%"
                 no qualifier attached
le résultat au niveau de la source
# the same file disagrees with itself
├── two claims · same subject · same source
├── span: p.8 para 2 · bbox | annex p.24
├── qualifiers: preliminary | none
├── relationship: contradicts · scope: within_source
└── both preserved — neither averaged nor dropped
Relations à l'intérieur d'une source

VERI capture ces relations à l'intérieur de chaque source, chacune portant scope: within_source. Orves MESH découvre les mêmes relations à travers le Corpus, portant scope: cross_source. Même vocabulaire, deux échelles différentes — jamais mélangées, jamais promues en silence de l'une à l'autre.

supportscontradictssupersedesrefinesexplainsdepends_onderived_fromrelated_to
Ce qu'il produit

Une source, analysée jusqu'au fond.

Des assertions avec leur preuve

Chaque assertion conserve le span exact dont elle vient — page, zone, paragraphe ou horodatage audio — ainsi que qui l'a affirmée et quand, tel que la source elle-même le déclare.

Dit, et étaye

Ce qu'une source énonce et ce qu'elle appuie réellement sont deux faits différents. Les deux sont consignés, avec les qualificatifs et les nuances qui les séparent. Preuve insuffisante signifie ABSTAINED, jamais une supposition.

Relations à l'intérieur de la source

Des assertions qui se soutiennent, se précisent, se contredisent ou se remplacent à l'intérieur d'un même fichier, chacune portant scope: within_source. Les relations entre sources appartiennent à Orves MESH.

Benchmarks

Mesuré avant d'être affirmé.

Ce que nous mesurons : extraction d'assertions, exactitude des spans, fidélité des qualificatifs, détection des contradictions internes et calibrage de l'abstention.

Les résultats publics ne sont diffusés qu'après une évaluation préenregistrée — jusque-là, aucun chiffre n'apparaît sur ce site. Notre méthode de benchmark →

Une propriété, pas un produit

Chaque artefact est vérifiable.

La certification traverse tout ce qu'Orves produit. La vérification est conçue pour être publique, reproductible et indépendante d'un compte Orves.

✓ provenance✓ intégritéversionpreuveétat de résolutionvérificationtrust →
API d'abord

Intégrez en quelques minutes.

Tout est livré par l'API gérée — aucune infrastructure supplémentaire à déployer.

REST APIPythonTypeScriptGoJavaOpenAPIExemples

Prouvez ce que vos sources disent réellement.

Partez de la sortie de ORIS ou connectez votre propre source structurée — 15 000 crédits offerts, sans carte bancaire.