Backpropagation
Retracer un bug d'exécution jusqu'à l'écart de spécification, le combler et générer un test de régression 'fail-first'
Testé · Fonctionne
Ce que fait
Une boucle de débogage pilotée par les spécifications : étant donné un bug ou un test échoué, elle retrace l'échec jusqu'au critère d'acceptation manquant/incomplet dans .forge/specs, classifie l'écart, propose une mise à jour de la spécification (avec votre approbation), écrit un test de régression minimal prouvé pour échouer avant le correctif, et enregistre la correction afin que les catégories de modèles récurrents fassent surface des correctifs systémiques. Se déclenche sur 'trace this bug to the spec', 'backprop this failure', 'generate a regression test and update the spec'.
Rapport de test
J'ai construit un scénario réel (spécification R001 'user registration' + une fonction register() qui laissait passer 'Alice@x.com' et 'alice@x.com') et j'ai exécuté la boucle de la compétence de bout en bout : elle a retracé jusqu'à un missing_criterion, a proposé un critère de gestion des doublons testable, et le test de régression qu'elle a spécifié a échoué contre le code buggé (exit 1) puis a réussi après le correctif de normalisation de casse (exit 0). Une base sans compétence se contente de patcher toLowerCase et passe à autre chose, ne laissant aucun critère de spécification, aucun test durable et aucun journal de modèle pour détecter la prochaine variante de casse/espacement.
Testé le: 2026-07-18 · Claude Code 2.x (agent harness)
Installation
git clone https://github.com/LucasDuys/forge.git mkdir -p ~/.claude/skills cd forge && cp -r skills/backpropagation ~/.claude/skills/backpropagation
Commandes et exemples de prompts
/backpropagationRetracer un bug d'exécution jusqu'à l'écart de spécification, le combler et générer un test de régression 'fail-first'
Les skills se déclenchent sur des demandes en langage courant — aucune commande à retenir. Après installation, des prompts comme ceux-ci l'activent (en anglais) :
Trace this registration bug back to the spec gap that caused it.Our spec missed this duplicate-email edge case, can you backprop it?Generate a regression test and update the spec for this failure.