juliusbrussee/backprop

Protocole bogue → spécification. Lorsqu'un bogue est découvert ou qu'un test échoue, retrace la cause, décide si une nouvelle invariant §V permettrait d'éviter la récurrence, et l'ajoute à §B. C'est la seule chose non évidente que SDD fait que planifier puis exécuter ne fait pas. Déclenché par échec de test, rapport de bogue, post-mortem ou demande explicite de l'utilisateur.

Qu'est-ce que backprop ?

Cette compétence implémente un protocole de rétroaction allant du bug vers la spécification. Lorsqu'un bug est découvert ou qu'un test échoue, elle trace la cause racine, détermine si un nouvel invariant dans la section §V permettrait de capturer la récurrence, puis met à jour la spécification (§B). C'est un mécanisme clé de la méthodologie SDD (Specification-Driven Development) qui la distingue des approches 'plan then execute' classiques. Le protocole est déclenché automatiquement sur échec de test, rapport de bug, analyse post-mortem, ou à la demande explicite de l'utilisateur. Cette capacité est cruciale pour maintenir une spécification vivante et auto-adaptative qui évolue avec les découvertes de l'équipe.

Compatible avec~Claude Code~Codex CLI~Cursor
npx skills add https://github.com/juliusbrussee/cavekit/tree/main/skills/backprop

Installed? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Demander à votre IA préférée

Ouvre une nouvelle conversation avec cette compétence d'agent déjà préchargée.

Documentation

Que fait backprop ?

Protocole bogue → spécification. Lorsqu'un bogue est découvert ou qu'un test échoue, retrace la cause, décide si une nouvelle invariant §V permettrait d'éviter la récurrence, et l'ajoute à §B. C'est la seule chose non évidente que SDD fait que planifier puis exécuter ne fait pas. Déclenché par échec de test, rapport de bogue, post-mortem ou demande explicite de l'utilisateur.

Individual skills in this repo

This repo contains 4 individual skills — each has its own dedicated page.

juliusbrussee/build

Plan-then-execute implementation against SPEC.md. Native single-thread loop, no sub-agents. On test or build failure, auto-invokes the backprop skill before retrying — a failed verification always considers whether a new §V invariant would prevent recurrence. Triggers when the user asks to build, implement, execute the spec, or tackle a specific §T task (`build §T.3`, `build --next`, `implement next task`, `run the build`). Expects SPEC.md to exist; if not, defers to the spec skill.

juliusbrussee/caveman

Caveman encoding for SPEC.md and spec-adjacent writes. Loaded by /spec, /build, /check. Cuts tokens ~75% vs prose while staying precise. Triggers on any write to SPEC.md or when user says "caveman", "compress this", "be brief".

juliusbrussee/check

Read-only drift detector. Diffs SPEC.md against current code and reports violations grouped by severity. Writes nothing — suggests remedies via the spec or build skills but never invokes them. Triggers when the user asks to check drift, audit the spec, verify invariants, or ask whether code still matches the spec. Phrasings: "check drift", "audit the spec", "does the code still match §V", "check invariants", "spec vs code".

juliusbrussee/spec

Create, amend, or backprop bugs into SPEC.md at repo root. Sole mutator of the project spec. Triggers when the user asks to write a spec, start a new spec, distill a spec from existing code, add invariants, amend sections (§G, §C, §I, §V, §T, §B), or record a bug via backprop. Common phrasings: "write the spec for...", "new spec", "bug: ...", "amend §V.3", "distill spec from code", "spec this idea". Reads and follows FORMAT.md for the caveman encoding rules and pipe-table shape of §T and §B.

Skills associés