🧱 Formulation structurante (canonique)
La non-exhaustivité est un principe constitutif de LDX.
Le fait qu’une décision ou un acte ne soit pas tracé n’implique ni son inexistence, ni son illégitimité, ni sa dissimulation.
LDX n’atteste jamais de l’absence.
🔎 Formulation explicative (opérante)
LDX ne prétend pas tout voir.
Il ne prétend pas tout couvrir.
Il ne prétend pas tout conserver.
L’absence de trace LDX signifie une seule chose :
cela n’était pas dans le périmètre.
Rien de plus.
Rien de moins.
Ce principe protège LDX contre deux dérives symétriques :
la prétention à la transparence totale,
l’accusation par défaut d’opacité.
🚫 Formulation de démarcation
❌ Absence de trace ≠ faute
❌ Absence de trace ≠ dissimulation
❌ Absence de trace ≠ inexistence
❌ LDX ne permet aucun raisonnement par défaut