Block a user
Gardes nommées, reprise de revue : « nommée » jamais « déclarée », exclusions, registre du refus
Instrument : les gardes nommées, comme candidats — le plus petit lecteur qui prouve la thèse
SPEC v1.2 : la mesure nomme ce qu'elle a examiné (relations.confirms)
SPEC v1.1 : une décroissance montrée nomme sa lecture
Autonomie : le dépôt public devient la source de vérité du contrat