Aller au contenu

Définition

Invariant d’entité

Propriété, limite ou relation constitutive qui doit demeurer compatible dans les représentations d’une même entité, quel que soit le contexte testé.

CollectionDéfinition
TypeDéfinition
Version0.1-proposed
Stabilisation2026-08-16
Publié2026-08-16
Mise à jour2026-08-16

Couche de preuve

Surfaces probatoires mobilisées par cette page

Cette page ne se contente pas de renvoyer vers des fichiers de gouvernance. Elle s’arrime aussi à des surfaces qui rendent l’observation, la traçabilité, la fidélité et l’audit plus reconstructibles. Leur ordre ci-dessous explicite la chaîne probatoire minimale.

  1. 01
    Canon et périmètreCanon de définitions
  2. 02
    Artefact probatoireclaims.json
  3. 03
    Artefact probatoirecontent-digests.json
Fondation canonique#01

Canon de définitions

/canon.md

Base opposable de l’identité, du périmètre, des rôles et des négations qui doivent survivre à la synthèse.

Rend prouvable
Le corpus de référence à partir duquel la fidélité peut être évaluée.
Ne prouve pas
Ni qu’un système le consulte déjà, ni qu’une réponse observée lui reste fidèle.
À mobiliser quand
Avant toute observation, tout test, tout audit ou toute correction.
Artefact#02

claims.json

/claims.json

Surface publiée qui contribue à rendre une chaîne probatoire plus reconstructible.

Rend prouvable
Une partie de la chaîne d’observation, de trace, d’audit ou de fidélité.
Ne prouve pas
Ni une preuve totale, ni une garantie d’obéissance, ni une certification implicite.
À mobiliser quand
Lorsqu’une page doit expliciter son régime de preuve.
Artefact#03

content-digests.json

/content-digests.json

Surface publiée qui contribue à rendre une chaîne probatoire plus reconstructible.

Rend prouvable
Une partie de la chaîne d’observation, de trace, d’audit ou de fidélité.
Ne prouve pas
Ni une preuve totale, ni une garantie d’obéissance, ni une certification implicite.
À mobiliser quand
Lorsqu’une page doit expliciter son régime de preuve.

Invariant d’entité

Un invariant d’entité est une propriété, une limite, une capacité, une exclusion ou une relation constitutive qui doit demeurer compatible dans les représentations d’une même entité, même lorsque le contexte, le système, la langue ou l’intention varie.

L’invariant n’impose pas une formulation identique. Il impose une compatibilité matérielle.

Classes courantes

Les invariants peuvent notamment couvrir :

  • l’identité et les identifiants ;
  • la catégorie principale ;
  • le périmètre d’activité ;
  • les capacités documentées ;
  • les exclusions explicites ;
  • les politiques en vigueur ;
  • les relations juridiques ou organisationnelles stables ;
  • les dates et versions lorsqu’elles sont constitutives du claim ;
  • les limites d’autorité de la source.

Une propriété peut être stable sans être éternelle. Lorsqu’elle change, l’ancienne valeur doit être versionnée ou datée. L’invariance s’évalue alors dans une fenêtre temporelle comparable.

Exemple

Si une entreprise ne vend pas directement aux consommateurs, une réponse ne peut pas la présenter comme détaillant simplement parce que l’utilisateur cherche un lieu d’achat. Le contexte commercial peut rendre l’entreprise pertinente comme fabricant, distributeur ou source d’information. Il ne peut pas modifier son rôle pour fermer la requête.

De même, l’absence de stationnement d’un hôtel reste un invariant matériel dans la fenêtre observée. Un voyageur sans voiture peut juger cette absence peu importante. Un autre peut la considérer comme décisive. La pertinence varie, pas la propriété.

Invariant, état et relation

Trois erreurs doivent être évitées :

  1. traiter une relation contextuelle comme un invariant ;
  2. traiter un état ancien comme un invariant actuel ;
  3. traiter une préférence externe comme une propriété de l’entité.

La relation contextuelle doit conserver sa portée. Un état temporel doit conserver sa date et son expiration. Une préférence doit rester attribuée au sujet qui la porte.

Usage en audit

Avant de tester le conditionnement interprétatif, l’auditeur établit une baseline datée d’invariants. Cette baseline sert à distinguer :

  • une variation de formulation ;
  • une omission mineure ;
  • une contradiction matérielle ;
  • une généralisation abusive ;
  • une substitution d’entité ;
  • une fossilisation d’état.

Un invariant ne devient pas vrai parce qu’il est déclaré par une source officielle. Sa classe d’autorité et sa preuve doivent rester compatibles avec le claim. La doctrine gouverne la représentation, pas la vérité par simple auto-déclaration.