devflow-cli 6.4.0__tar.gz → 7.0.1__tar.gz

devflow_cli-7.0.1/.specify/memory/constitution.md

@@ -0,0 +1,144 @@
+# Constitution — Devflow
+
+**Version** : 2.0.0
+**Date de ratification** : 2026-03-15
+**Dernière modification** : 2026-09-30
+
+---
+
+## Préambule
+
+Devflow est un outil personnel qui pilote des agents de code avec un niveau de rigueur
+proportionné à ce qui est touché. Il produit lui-même les preuves qui font avancer un parcours.
+
+Cette constitution porte des principes, pas des mécanismes. Elle ne décrit ni route, ni fichier
+d'état, ni commande : ces éléments vivent dans le code et dans les documents de décision
+versionnés (`docs/*-decisions.md`, `docs/adr/`).
+
+## Principes fondamentaux
+
+### Article I — Une gate s'ouvre sur un fait, jamais sur une déclaration
+
+Ce qui fait avancer un parcours est enregistré par la CLI, avec sa source.
+
+**Rationale** : un agent qui déclare ses propres preuves se contrôle lui-même. Un travail valide
+produit hors de l'agent devait être maquillé pour passer, et un résultat sans provenance pouvait
+être consommé par la mauvaise activité.
+
+**Règles** :
+- MUST : les preuves d'exécution sont produites localement par la CLI, qui lance elle-même les
+  commandes.
+- MUST : tout résultat et toute preuve portent leur source.
+- MUST : ce qui ne vient pas de l'agent entre par une commande qui rejoue les mêmes validateurs
+  et laisse une trace.
+- MUST NOT : faire avancer un parcours en éditant un fichier d'état ou un résultat.
+- MUST NOT : accepter une preuve déclarée à la place d'une preuve exécutée.
+
+### Article II — La rigueur suit le risque, pas la taille
+
+Ce qu'il faut écrire avant de coder et ce qu'il faut contrôler sont deux questions distinctes.
+
+**Rationale** : un correctif de trente lignes sur une liste de commandes autorisées a payé toute
+la chaîne documentaire parce que contrôle et documentation étaient liés. À l'inverse, un gabarit
+partagé par quatre écrans est passé sans revue parce que le lot était petit.
+
+**Règles** :
+- MUST : la profondeur documentaire dépend de l'ampleur et de l'incertitude du changement.
+- MUST : les contrôles dépendent de la sensibilité de ce qui est touché, quelle que soit
+  l'ampleur.
+- MUST : le niveau de rigueur se déduit de signaux explicites, enregistrés et relisibles.
+- MUST NOT : réduire un niveau de rigueur recommandé sans trace, ni retirer un contrôle de
+  sensibilité par une option.
+- MUST NOT : déclarer un signal faux pour obtenir un parcours plus court.
+
+### Article III — Rupture assumée, jamais silencieuse
+
+Devflow préfère refuser un ancien format plutôt que faire cohabiter deux politiques.
+
+**Rationale** : maintenir plusieurs générations de formats a coûté trois lecteurs et deux
+commandes de migration. Un outil personnel gagne plus à rester petit qu'à rester compatible.
+
+**Règles** :
+- MUST : tout changement de format persistant augmente sa version.
+- MUST : un fichier d'une version antérieure est refusé par un message qui dit quoi faire.
+- MUST : toute rupture est consignée dans une décision versionnée, avec la marche à suivre avant
+  mise à jour.
+- MUST NOT : lire partiellement un ancien format, ou le convertir en silence.
+
+### Article IV — Un besoin observé, ou rien
+
+Devflow n'ajoute que ce qu'un usage réel a demandé, et retire ce qui ne sert plus.
+
+**Rationale** : chaque commande, option ou activité ajoutée est lue par l'agent à chaque parcours
+et maintenue à chaque version.
+
+**Règles** :
+- MUST : toute addition est justifiée par une friction consignée ou par une mesure, citée dans
+  sa décision.
+- MUST : ce qui n'a plus d'usage est supprimé, pas conservé par précaution.
+- MUST NOT : ajouter une capacité pour un utilisateur ou un agent hypothétique.
+- MUST NOT : garder une couche de compatibilité pour adoucir une suppression.
+
+### Article V — Chaque friction laisse une trace, chaque trace se referme
+
+Devflow s'améliore à partir de ce qui est observé pendant son usage réel.
+
+**Rationale** : un retour noté à la main s'est perdu, et le même défaut a bloqué deux parcours de
+plus. Les versions majeures sont nées de retours consignés, aucune d'une intuition.
+
+**Règles** :
+- MUST : une friction est consignée au moment où elle se produit, avec la version observée.
+- MUST : chaque parcours, terminé ou abandonné, se clôt par un bilan.
+- MUST : une friction traitée est marquée comme telle, avec la référence de ce qui la traite.
+- MUST NOT : consigner comme friction un refus justifié du travail de l'agent.
+
+## Gates obligatoires
+
+Les gates sont vérifiées avant l'implémentation. Une violation non justifiée est bloquante.
+
+### Gate 1 — Simplicité
+
+| Critère | Règle |
+|---------|-------|
+| Dépendances | Aucune nouvelle sans justification écrite |
+| Abstractions | Le minimum nécessaire : trois lignes similaires valent mieux qu'une abstraction |
+| Compatibilité | Aucune couche de compatibilité, aucun drapeau de fonctionnalité |
+
+### Gate 2 — Patterns existants
+
+| Critère | Règle |
+|---------|-------|
+| Formats persistants | Versionnés et validés à la lecture |
+| Refus | Toujours un message qui dit quoi faire, jamais une trace brute |
+| Nouveaux patterns | Aucun sans justification écrite |
+
+### Gate 3 — Tests
+
+| Critère | Règle |
+|---------|-------|
+| Couverture | Tout comportement de la CLI a un test |
+| Politique | Avant de modifier une règle de décision, figer son comportement actuel dans un test |
+| Isolation | Aucun test n'écrit dans les dossiers personnels du poste ni ne réinstalle l'outil |
+
+## Gouvernance
+
+- **Autorité** : cette constitution prime sur le besoin, la spec, le plan et les tâches. Un écart
+  se déclare dans la table des dérogations, avec sa justification et sa contrepartie.
+- **Versionnement** : MAJOR (principe supprimé ou redéfini) / MINOR (principe ajouté) / PATCH
+  (clarification).
+- **Amendement** : toute modification est justifiée et versionnée.
+- **Règle d'écriture** : un article qui cite une route, un fichier d'état ou une commande est à
+  réécrire.
+
+## Journal des amendements
+
+- **2.0.0** (2026-09-30) : réécriture complète. Les sept principes de la version 1.x décrivaient
+  un moteur disparu. Le principe de rétrocompatibilité est remplacé par l'article III.
+  L'intégration Linear sort des principes.
+
+## Suivi des dérogations
+
+| Date | Article | Dérogation | Justification | Échéance |
+|------|---------|------------|---------------|----------|
+| 2026-09-30 | Article IV | Les adaptateurs Codex et Cursor sont conservés sans usage mesuré | Leur sort se décide après observation | Fin de la période d'observation de dix parcours |
+| 2026-09-30 | Article V | La version observée d'une friction ne peut pas encore être indiquée | L'outil ne le permet pas | Livraison de KKS-430 |

devflow_cli-7.0.1/.specify/specs/034-kks-421-decouple-guardrails/.gitignore

@@ -0,0 +1,2 @@
+# Traces brutes d'agent : elles peuvent contenir le contenu des fichiers lus.
+*.raw.txt

devflow_cli-7.0.1/.specify/specs/034-kks-421-decouple-guardrails/activity-contract.json

@@ -0,0 +1,170 @@
+{
+  "schemaVersion": 3,
+  "contractId": "KKS-421:critical:rollback-check:v3",
+  "issueId": "KKS-421",
+  "profile": "critical",
+  "activity": "rollback-check",
+  "objective": "Decoupler la route documentaire (quick, standard, deep) du bloc de garde-fous declenche par la sensibilite ; supprimer critical, research et adaptive omit ; revue systematique en standard ; rupture de schema, version 7.0.0",
+  "featurePath": ".specify/specs/034-kks-421-decouple-guardrails",
+  "inputs": [
+    ".specify/specs/034-kks-421-decouple-guardrails/need.md",
+    ".specify/specs/034-kks-421-decouple-guardrails/assessment.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/workflow-state.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/risk-assessment.md",
+    ".specify/specs/034-kks-421-decouple-guardrails/spec.md",
+    ".specify/specs/034-kks-421-decouple-guardrails/contracts.md",
+    ".specify/specs/034-kks-421-decouple-guardrails/plan.md",
+    ".specify/specs/034-kks-421-decouple-guardrails/tasks.md",
+    ".specify/specs/034-kks-421-decouple-guardrails/implement-result.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/evidence/requirements-coverage.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/evidence/test-suite.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/evidence/security-or-data-check.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/review-result.json",
+    ".specify/specs/034-kks-421-decouple-guardrails/omission-log.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/034-kks-421-decouple-guardrails/need.md ; en cas d'ecart avec objective, il fait foi.",
+    "Preserver les changements utilisateur sans rapport avec cette activite.",
+    "Ne pas modifier state.json, workflow-state.json ou assessment.json.",
+    "Ne pas creer de commit et ne pas changer de branche.",
+    "Signaler tout blocage au lieu de contourner une validation.",
+    "Dans checks, status vaut passed si et seulement si exitCode vaut 0. Une commande dont l'absence de resultat constitue le succes attendu doit etre declaree failed, ou remplacee par une commande qui renvoie 0 en cas de succes.",
+    "Donner un id stable a chaque objectif de check. Si un check echoue puis est corrige et relance pour le meme objectif, reutiliser cet id : seule la derniere tentative fait foi ; signaler dans remainingRisks toute instabilite encore pertinente.",
+    "Ne modifier aucun fichier pendant le controle de rollback.",
+    "Verifier une procedure de restauration actionnable, les donnees affectees, les validations post-rollback et les declencheurs.",
+    "Retourner blocked si un effet irreversible ou une inconnue critique empeche un retour arriere fiable.",
+    "Ne produire rollback-plan=passed que si le plan est applicable et verifiable."
+  ],
+  "completionCriteria": [
+    "Le plan de rollback precise les etapes, responsables, donnees et controles.",
+    "Les declencheurs et limites du rollback sont explicites.",
+    "La preuve rollback-plan contient un rapport exploitable."
+  ],
+  "requiredEvidence": [
+    "rollback-plan"
+  ],
+  "expectedOutput": {
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://devflow.dev/schemas/activity-result/v1",
+    "title": "Devflow Activity Result v1",
+    "type": "object",
+    "required": [
+      "schemaVersion",
+      "contractId",
+      "status",
+      "summary",
+      "changedFiles",
+      "checks",
+      "evidence",
+      "remainingRisks",
+      "blockers"
+    ],
+    "properties": {
+      "schemaVersion": {
+        "type": "integer",
+        "const": 1
+      },
+      "contractId": {
+        "type": "string",
+        "minLength": 1
+      },
+      "status": {
+        "type": "string",
+        "enum": [
+          "completed",
+          "blocked"
+        ]
+      },
+      "summary": {
+        "type": "string",
+        "minLength": 1
+      },
+      "changedFiles": {
+        "type": "array",
+        "items": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "checks": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "required": [
+            "command",
+            "exitCode",
+            "status"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "command": {
+              "type": "string",
+              "minLength": 1
+            },
+            "exitCode": {
+              "type": "integer"
+            },
+            "status": {
+              "type": "string",
+              "enum": [
+                "passed",
+                "failed"
+              ]
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "evidence": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "required": [
+            "id",
+            "outcome",
+            "report"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "outcome": {
+              "type": "string",
+              "enum": [
+                "passed",
+                "failed"
+              ]
+            },
+            "report": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "remainingRisks": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        }
+      },
+      "blockers": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        }
+      }
+    },
+    "additionalProperties": false
+  }
+}

devflow_cli-7.0.1/.specify/specs/034-kks-421-decouple-guardrails/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "6235e687-a1ce-4765-b791-63e49793c678",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 83.088,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 6766,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-7.0.1/.specify/specs/034-kks-421-decouple-guardrails/assessment.json

@@ -0,0 +1,41 @@
+{
+  "schemaVersion": 3,
+  "issueId": "KKS-421",
+  "recommendedProfile": "critical",
+  "selectedProfile": "critical",
+  "confidence": "high",
+  "signals": {
+    "scope": "transversal",
+    "ambiguity": "medium",
+    "risk": "high",
+    "contractChange": true,
+    "dataOrSecurity": true
+  },
+  "reasons": [
+    "le changement touche aux donnees ou a la securite"
+  ],
+  "activities": [
+    "assess",
+    "risk-assessment",
+    "spec",
+    "research",
+    "contracts",
+    "plan",
+    "tasks",
+    "preflight-evidence",
+    "implement",
+    "verify",
+    "review",
+    "rollback-check",
+    "done"
+  ],
+  "requiredEvidence": [
+    "requirements-coverage",
+    "test-suite",
+    "security-or-data-check",
+    "rollback-plan",
+    "independent-review"
+  ],
+  "assessedAt": "2026-09-29T20:41:36Z",
+  "summary": "Decoupler la route documentaire (quick, standard, deep) du bloc de garde-fous declenche par la sensibilite ; supprimer critical, research et adaptive omit ; revue systematique en standard ; rupture de schema, version 7.0.0"
+}

devflow_cli-7.0.1/.specify/specs/034-kks-421-decouple-guardrails/contracts-result.json

@@ -0,0 +1,27 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-421:critical:contracts:v3",
+  "status": "completed",
+  "summary": "contracts.md rédigé avec 14 contrats (CT-01 à CT-14). Ils couvrent la politique d'évaluation (compute_guardrails, plancher standard, confidence), un calcul unique de route et de preuves (compute_route) avec sa table normative et les gates par activité. Ils fixent aussi les schémas assessment-v4, workflow-state-v5 et activity-contract-v4 (JSON complet ou écarts avec la version précédente), le prédicat unique guardrails_active et les points de contrôle concernés, le refus d'un validationPlan sans validation protégée, l'interdiction des dérogations quand les garde-fous sont actifs et les entrées des contrats par profil × garde-fous. Ils couvrent encore le refus des champs d'omission (S5), le validateur contracts unique, la surface CLI (--profile, message S8 avec la correspondance raison → signal, sortie texte, suppression de adaptive omit), LegacySchemaError et son message actionnable, ainsi que la télémétrie inchangée. Le document contient aussi 15 invariants testables, une section Compatibilité et migration (rupture, correspondance des parcours 6.x, livraison), 15 tests de contrat et une matrice de traçabilité FR-001 à FR-029 et SR-001 à SR-004. Les validateurs Devflow critical-contracts et contracts acceptent le fichier.",
+  "changedFiles": [
+    ".specify/specs/034-kks-421-decouple-guardrails/contracts.md"
+  ],
+  "checks": [
+    {
+      "id": "contracts-validator",
+      "command": "uv run python -c \"validate_artifact('critical-contracts' puis 'contracts', contracts.md)\"",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [],
+  "remainingRisks": [
+    "Décision prise dans contracts.md, à confirmer en plan : devflow assess refuse aussi un assessment.json de schéma 3 au lieu de le réécrire (FR-022 appliquée strictement). Une feature 6.x jamais démarrée demande alors la suppression manuelle du fichier avant d'être réévaluée.",
+    "read_assessment() et read_adaptive_state() renvoient aujourd'hui None sur toute erreur. La propagation de LegacySchemaError impose d'inventorier leurs appelants en plan (R6).",
+    "La liste des points de contrôle de CT-05 est minimale : l'inventaire exhaustif des occurrences de critical (R1) reste à faire en plan et à tracer en tasks.",
+    "Ordre des preuves en deep avec garde-fous : independent-review précède désormais rollback-plan, l'inverse de la 6.x, conformément à la table FR-009 de la spec. C'est visible dans les fichiers et les tests.",
+    "--profile critical sort avec le code 2 (Typer) et non 1 : TC-07 vérifie seulement un code non nul.",
+    "Risques résiduels hérités et acceptés : R10 (validations protégées détectées par mots-clés), R7 et R15 (publication automatique au merge, merge décidé par Kelly après KKS-423)."
+  ],
+  "blockers": []
+}