DEROGATIONS-LABORATOIRE — registre des mentions de laboratoire tolérées en section opératoire

Régime écrit (CONVENTIONS.md §3) : aucun script n'écrit dans ce fichier ; le vérificateur bin/check-synthese.py le lit pour appliquer la porte de sortie L-3. Si un script et ce fichier divergent, c'est le script qu'on corrige.

Pourquoi ce registre existe, et pourquoi il est vide

synthese/00-methode.md §4.2 exclut douze termes — le matériau que Judge produit avec l'appareil académique complet sur des objets dont il déclare lui-même ne pas avoir la compétence formelle — des sept sections opératoires, celles où le lecteur cherche ce qui est utilisable tel quel. La règle est de rangement, pas de censure : mélanger l'opératoire au spéculatif est exactement ce que ce projet existe pour éviter.

Mais un contrôle bloquant sans issue légitime se contourne. C'est la leçon d'overrides.json (phase 3), d'ecarts_justifies (04-03), de N-3 (05-03) et de reserve = par_defaut (06-03). Il faut donc une porte — étroite, écrite, et vérifiée dans les deux sens.

Ce fichier est créé vide, et c'est le point. Un registre pré-rempli est un registre qui autorise avant qu'on ait demandé. L-3b refuse d'ailleurs toute entrée qui ne correspond à aucune mention marquée : on ne peut pas s'inscrire d'avance ici pour se blanchir plus tard — même réciproque que W-3 pour Wayback.

Les trois conditions, toutes nécessaires

1. La ligne porte le marqueur <!-- LAB-RENVOI -->.
2. La même ligne renvoie explicitement à 90-laboratoire-falsifiable.md, où le matériau est traité pour lui-même. Sans cette condition, le marqueur ne serait qu'un interrupteur : on éteindrait le contrôle au lieu de ranger le matériau (L-3c).
3. Une entrée ci-dessous, datée (AAAA-MM-JJ) et motivée en 15 mots au moins, nommant le fichier et la section. Le plancher de 15 mots relève celui de 10 mots que CONVENTIONS §10.4 exige pour reserve = par_defaut : déplacer du matériau spéculatif dans une section opératoire coûte plus cher à justifier qu'un classement par défaut (L-3d).

Les quatre refus symétriques — L-3a, L-3b, L-3c, L-3d — sont chacun couverts par une fixture de tests/fixtures/synthese/, vue rouge avant d'être fermée. Une porte dont on ne teste que le sens passant est un contournement qu'on n'a pas encore mesuré.

Registre

Décompte au 2026-09-01 : 0 dérogation. S'il reste vide à la fin de la phase, la porte n'aura rien coûté — et ce sera la bonne nouvelle, pas un défaut d'usage.

Vérification : python3 bin/check-synthese.py (code 0) et grep -cE '^\| [0-9]{4}-' synthese/DEROGATIONS-LABORATOIRE.md (rend 0).