shallnot: Porte de Traçabilité Specs-Tests pour Agents de Code

shallnot referme la boucle sur ce que l’agent déclare de lui-même. Chaque exigence d’une spécification Markdown ou YAML porte un identifiant et une révision, notés PWD-2~1; chaque test en cite une via une étiquette [verifies PWD-2~1], placée là où son runner la reportera dans le JUnit XML. La porte joint ces trois entrées et échoue tant que chaque exigence n’est pas citée par un test réellement exécuté et réussi: une étiquette posée dans un commentaire, ou sur un test qui ne tourne jamais, ne lie rien. Incrémenter une révision invalide tous les tests qui citent encore le sens précédent, ce qui empêche une exigence reformulée de profiter d’un vert périmé. shallnot init outille un dépôt en une commande: configuration du runner détecté, instructions d’agent, skills, et un hook de fin de tour qui renvoie les constats pour que l’agent poursuive au lieu de s’arrêter. Le déterminisme est imposé plutôt que promis: un test d’architecture fait échouer le build si le binaire lie un paquet réseau, ou si les couches domaine et analyse touchent un fichier. L’outil se contrôle lui-même, en liant ses propres 57 exigences à des tests étiquetés dans sa CI. Ce que le vert ne prouve pas, à savoir la qualité des tests eux-mêmes, le projet le dit sans détour: ce jugement relève de la revue, confié à un skill plutôt que revendiqué par la porte.