Provenance scientifique

La chaine ne s'arrête pas à la mesure. Un résultat se cite dans une figure, une figure entre dans un article, et l'on doit pouvoir repartir de l'article pour retrouver le prélèvement, le protocole de digestion et la ligne exacte de l'export d'instrument. Cette page décrit les trois natures de nœud, ce qu'elles changent à la forme du graphe, et les outils que l'assistant IA reçoit.

Trois natures de nœud

NatureCe que c'estComportement
AliquoteDe la matière.Se transforme et se consomme.
RésultatUne donnée mesurée.Ne se transforme plus, mais se cite.
ProductionUne figure, un tableau, un article.Cite des résultats.

Cette distinction commande la forme du graphe. En amont d'un résultat, c'est une lignée : la matière ne se duplique pas. En aval, c'est un réseau : le même delta parait dans trois figures, et la même figure en cite quarante. Les deux se joignent exactement au nœud résultat, ce qui évite tout cycle.

Valeur d'un résultat

{ "grandeur": "d53Cr", "valeur": -0.12, "incertitude": 0.05, "unite": "permil" }

La valeur est structurée et non écrite en chaine de caractères. Une valeur écrite « δ53Cr = -0.12 ± 0.05 ‰ » ne se compare pas, ne se convertit pas, et impose de la relire pour en faire quoi que ce soit.

Production et référence

Une production porte une référence : un identifiant local, plus un titre, un DOI et une année qui survivent au partage du dossier. Un identifiant de publication est local à une base ; le titre et le DOI restent lisibles chez le destinataire.

Une production se cite et ne se fabrique pas depuis de la matière. Sans cette garde, une figure rattachée par erreur à un minéralisat apparaitrait dans sa lignée comme si elle en était issue.

Il n'y a pas de règle unique

Une figure peut pointer directement les deltas, ou bien être produite depuis un classeur de synthèse. Les deux usages existent et le modèle sait dire les deux : dans le premier cas ce sont des arêtes depuis des nœuds résultat, dans le second c'est un fichier accroché au nœud figure. Les deux remontent jusqu'à la pesée, le second par les rattachements du classeur, qui portent déjà leurs repères.

Un exemple complet

BCR-482 Digestion Purification Mesure MC-ICP-MS δ53Cr Figure 4 Publication

Depuis l'article, la remontée atteint le matériau brut et ramasse au passage le protocole de digestion, cinq étapes plus haut, ainsi que l'export de mesure avec sa ligne exacte. Depuis l'échantillon, la question symétrique rend les productions qui le citent, et elles seules.

Les outils de l'assistant

Trois tâches en lecture seule sont déclarées, donc disponibles jusqu'en mode conversation.

TâcheRôle
core.provenance_resoudreTraduit un nom parlant, « BCR-723 », en nœuds concrets, à travers les campagnes connues.
core.provenance_recitRend la lignée d'un nœud dans le sens du travail, du prélèvement vers le résultat.
core.provenance_comparerRend ce qui diffère entre deux nœuds, et rien d'autre.
Le raisonnement de graphe se fait dans le code, le modèle rédige. Un outil qui rendrait le descripteur entier aurait trois défauts cumulés : quatre-vingt-sept kilo-octets remplissent la fenêtre de contexte et font disparaitre la consigne par troncature ; un modèle à qui l'on donne un graphe à remonter propose des chemins plausibles plutôt qu'exacts ; et une réponse construite par le code porte les chemins, lignes et empreintes réels.

Ce que fait la comparaison

PointComportement
AlignementSur l'étape, non sur le rang. Sinon une digestion serait comparée à une purification dès qu'une chaine a une étape de plus.
FichiersComparés par chemin, non par repère : deux échantillons d'un même export diffèrent normalement par la ligne.
Étapes identiquesÉnoncées. Sans elles, un modèle conclut que tout diffère.
Écart de valeursRefusé entre deux grandeurs ou deux unités différentes. Rendu en écarts-types combinés, avec un verdict de compatibilité à 2σ.
Aucune différenceC'est une réponse, pas un échec : elle dit que la cause est ailleurs.

Toutes les sorties sont bornées, quarante nœuds, trente étapes, vingt-cinq fichiers, et la troncature est annoncée. Un modèle qui reçoit une liste coupée sans le savoir conclut que la chaine commence là.

Liens dans les réponses

Les fichiers et les nœuds cités dans une réponse de l'assistant deviennent cliquables. Seul devient cliquable ce qui figure mot pour mot dans le résultat d'un outil réellement appelé pendant ce message. Chercher dans la prose ce qui ressemble à un nom de fichier attraperait davantage de mentions et poserait des liens morts, ce qui vaut moins que pas de lien du tout dans un logiciel de traçabilité.

La règle a un effet secondaire utile et gratuit : un fichier inventé par le modèle reste en texte simple, à côté de fichiers cliquables. La différence se voit sans rien vérifier.

Le lien est marqué par un souligné pointillé et non par la couleur seule. Un appel d'outil en erreur n'atteste rien et ne produit aucun lien ; un nœud dont la campagne n'est pas connue n'est pas cliquable, un lien vers la mauvaise campagne étant pire que pas de lien.

Ce qui n'est pas fait par le modèle

La détection d'incohérences, par exemple entre un facteur de dilution et une concentration d'injectat, n'est pas confiée au modèle. C'est une opération arithmétique : une règle la fait, explique son verdict en montrant les deux nombres et leur provenance, et rend le même résultat demain. Le coût du faux positif est décisif, puisque après trois alertes fausses sur des données de thèse, toutes les alertes sont ignorées, y compris la bonne.

Ce qui manque d'abord n'est donc pas l'assistance mais le modèle de quantités, masses, volumes et dilutions avec leurs unités. Une fois ces règles écrites, le modèle a son rôle : expliquer une alerte en français.

Pages liées