Le Triptyque de l'Exigence

Décrire ce qui est affirmé. Déclarer ce qui est autorisé. Prouver ce qui a été exécuté.

  1. Représentation

    Ce que PlanD-Pro affirme est publié dans des formats lisibles à la fois par un humain et par une machine : page web, JSON-LD, données structurées. Rendre une information lisible ne la rend pas vraie pour autant — c'est pour cela qu'elle est toujours accompagnée de sa source.

    Exemple : la page sur l'obligation de facturation électronique existe en HTML lisible et en JSON-LD structuré — la même affirmation, la même source, dans les deux formats.

  2. Contrat

    Ce que PlanD-Pro accepte, produit ou refuse est déclaré explicitement : types de données, conditions, cas d'erreur. Un contrat valide la conformité d'une demande, il ne garantit ni la pertinence de la règle sous-jacente ni sa légalité.

    Exemple : chaque preuve liée à cette obligation déclare sa portée exacte (obligation légale, France), son mode (texte de loi) et son statut de validation — jamais un simple oui/non isolé.

  3. Preuve

    Ce qui a été réellement exécuté — une vérification, un calcul, un appel — laisse une trace consultable : quand, avec quels paramètres, avec quel résultat. Un succès technique n'est pas la même chose qu'un résultat réellement vérifié.

    Exemple : la source citée pour cette obligation est reliée à une capture datée ; sa dernière revue est affichée séparément de la dernière modification de la page.

Le garde-fou

PlanD-Pro ne revendique pas l'infaillibilité. Il interdit qu'une action non conforme à son contrat soit exécutée silencieusement, et conserve une trace qui peut être contrôlée, rejouée ou contestée.

Pourquoi ce nom

Trois auteurs éclairent ce que "vérifiable" veut dire ici :

  • Raymond Duval : passer d'une représentation à une autre (un texte de loi vers une donnée structurée, par exemple) sans en trahir le sens.
  • Stephen Toulmin : une conclusion n'est solide que si elle s'appuie sur une donnée, une règle de passage explicite, et des conditions de validité assumées — y compris ses propres exceptions.
  • Bettina Pedemonte : le passage d'un raisonnement convaincant à une démonstration établie n'est jamais automatique ; il doit être vérifié, pas supposé.

Le Triptyque de l'Exigence est la façon dont PlanD-Pro applique concrètement cette exigence, affirmation par affirmation.