devflow-cli 8.3.0__tar.gz → 8.5.0__tar.gz

{devflow_cli-8.3.0 → devflow_cli-8.5.0}/.specify/memory/constitution.md

@@ -1,8 +1,8 @@
 # Constitution — Devflow
 
-**Version** : 2.0.0
+**Version** : 2.0.1
 **Date de ratification** : 2026-03-15
-**Dernière modification** : 2026-09-30
+**Dernière modification** : 2026-10-13
 
 ---
 
@@ -135,10 +135,15 @@ Les gates sont vérifiées avant l'implémentation. Une violation non justifiée
 - **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.
+- **2.0.1** (2026-10-13) : suivi des dérogations. La dérogation à l'article V sur la version
+  observée d'une friction est close sans option nouvelle : une friction consignée au moment où
+  elle se produit porte la version observée ; une saisie a posteriori l'écrit dans son texte.
+  Deux écarts à l'article III sont déclarés.
 
 ## 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 |
+| 2026-10-13 | Article III | `activity-result-v1` a perdu deux champs en 7.0.0 sans changer de version | La rupture 7.0.0 changeait l'état dans la même livraison ; contrepartie : un résultat qui porte ces champs est refusé avec un message | Prochaine évolution du résultat d'activité, qui passera en v2 |
+| 2026-10-13 | Article III | En 8.4.1, le sens de `changedInputs` (fiche de tentative) et de `warning` (bloc d'observation du résultat) s'est élargi sans changement de version | Structure inchangée, décision prise sans la règle d'immuabilité sous les yeux ; contrepartie : limite écrite dans les notes de version 8.4 | Livraison de KKS-540, qui porte la fiche en version 3 et donne sa clé à l'avertissement d'amendement |

devflow_cli-8.5.0/.specify/specs/042-kks-531-amended-need-artifact-recovery/.gitignore

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

devflow_cli-8.5.0/.specify/specs/042-kks-531-amended-need-artifact-recovery/activity-contract.json

@@ -0,0 +1,169 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-531:standard:rollback-check:v4",
+  "issueId": "KKS-531",
+  "profile": "standard",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Un fichier d entrée du besoin (need.md, issue-*.md) amendé par le superviseur avant le lancement d une activité documentaire n est plus imputé à l agent ; avertissement qui nomme les activités déjà closes ; reprise dédiée du refus artifact-files-mismatch par cause observée ; test de bout en bout de l arbitrage après un blocage d implement. Décisions dans need.md.",
+  "featurePath": ".specify/specs/042-kks-531-amended-need-artifact-recovery",
+  "inputs": [
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/need.md",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/assessment.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/workflow-state.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/risk-assessment.md",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/prepare-result.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/implement-result.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/evidence/targeted-tests.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/evidence/regression-check.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/evidence/diff-inspection.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/evidence/security-or-data-check.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/042-kks-531-amended-need-artifact-recovery/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.",
+    "Si des sous-agents sont utilises, les lancer au premier plan, jamais en arriere-plan, et attendre qu'ils soient tous termines avant la sortie structuree. La sortie structuree du contrat est le dernier message de l'agent : ne rien envoyer apres elle.",
+    "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-8.5.0/.specify/specs/042-kks-531-amended-need-artifact-recovery/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "43b80b84-0d59-49f7-9e67-403ff25a3cd1",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 102.413,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 9875,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-8.5.0/.specify/specs/042-kks-531-amended-need-artifact-recovery/assessment.json

@@ -0,0 +1,45 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-531",
+  "recommendedProfile": "standard",
+  "selectedProfile": "standard",
+  "confidence": "high",
+  "signals": {
+    "scope": "multiple",
+    "ambiguity": "low",
+    "risk": "medium",
+    "contractChange": false,
+    "dataOrSecurity": true
+  },
+  "guardrails": {
+    "active": true,
+    "reasons": [
+      "le changement touche aux donnees ou a la securite"
+    ]
+  },
+  "reasons": [
+    "plusieurs composants sont affectes",
+    "le risque d'impact est modere"
+  ],
+  "activities": [
+    "assess",
+    "risk-assessment",
+    "prepare",
+    "preflight-evidence",
+    "implement",
+    "verify",
+    "review",
+    "rollback-check",
+    "done"
+  ],
+  "requiredEvidence": [
+    "targeted-tests",
+    "regression-check",
+    "diff-inspection",
+    "security-or-data-check",
+    "independent-review",
+    "rollback-plan"
+  ],
+  "assessedAt": "2026-10-11T21:09:26Z",
+  "summary": "Un fichier d entrée du besoin (need.md, issue-*.md) amendé par le superviseur avant le lancement d une activité documentaire n est plus imputé à l agent ; avertissement qui nomme les activités déjà closes ; reprise dédiée du refus artifact-files-mismatch par cause observée ; test de bout en bout de l arbitrage après un blocage d implement. Décisions dans need.md."
+}

devflow_cli-8.5.0/.specify/specs/042-kks-531-amended-need-artifact-recovery/attempts/reopen-001/activity-contract.json

@@ -0,0 +1,223 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-531:standard:prepare:v4",
+  "issueId": "KKS-531",
+  "profile": "standard",
+  "guardrails": true,
+  "activity": "prepare",
+  "objective": "Un fichier d entrée du besoin (need.md, issue-*.md) amendé par le superviseur avant le lancement d une activité documentaire n est plus imputé à l agent ; avertissement qui nomme les activités déjà closes ; reprise dédiée du refus artifact-files-mismatch par cause observée ; test de bout en bout de l arbitrage après un blocage d implement. Décisions dans need.md.",
+  "featurePath": ".specify/specs/042-kks-531-amended-need-artifact-recovery",
+  "inputs": [
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/need.md",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/assessment.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/workflow-state.json",
+    ".specify/specs/042-kks-531-amended-need-artifact-recovery/risk-assessment.md"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/042-kks-531-amended-need-artifact-recovery/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.",
+    "Si des sous-agents sont utilises, les lancer au premier plan, jamais en arriere-plan, et attendre qu'ils soient tous termines avant la sortie structuree. La sortie structuree du contrat est le dernier message de l'agent : ne rien envoyer apres elle.",
+    "Ne modifier aucun fichier du depot pendant la preparation.",
+    "Identifier les composants concernes et une strategie de validation.",
+    "Ne pas inventer de precision fonctionnelle manquante.",
+    "Dans validationPlan, workingDirectory est toujours relatif a la racine du depot : utiliser '.' pour la racine ou par exemple 'app', jamais un chemin absolu.",
+    "Les commandes de validation sont des listes d'arguments sans shell implicite : ne pas utiliser sh, bash, zsh, cmd ou powershell.",
+    "Pour npm, pnpm, yarn ou bun, utiliser uniquement test, un script dont le nom commence par test, check, lint, verify ou build, ou le controle non mutatif format:check; ne jamais lancer un script format qui ecrit les fichiers.",
+    "rg est autorise pour les inspections en lecture seule, sans option --pre.",
+    "Executables de validation autorises par defaut : bun, cargo, devflow, dotnet, eslint, git, go, gradle, gradlew, make, mvn, mvnw, mypy, nginx, nox, npm, pnpm, pyright, pytest, rg, ruff, tox, tsc, uv, yarn; python est limite a -m compileall, pytest ou unittest.",
+    "uv run accepte avant l'outil uniquement les options --all-extras, --all-groups, --extra, --frozen, --group, --isolated, --locked, --no-dev, --no-project, --no-sync, --offline, --python, --quiet, -p, -q, en forme separee (--python 3.12, pas --python=3.12); --python/-p exige un numero de version, jamais un chemin d'interpreteur; toute autre option de uv run est refusee.",
+    "Maven et Gradle acceptent uniquement les taches test, check, lint, verify ou build; mvn clean verify est refuse (clean est hors politique). Le fichier de projet Maven (-f/--file) et le repertoire de projet Gradle (-p/--project-dir) acceptent un chemin relatif au depot, sans '..', en forme separee (mvn -B -f api/pom.xml verify).",
+    "Aucun shell implicite ni operateur |, &&, ; ou redirection; aucune expression non resolue de type double accolade dans une commande.",
+    "Un executable hors liste, dont docker, requiert une approbation explicite pour la validation exacte avant son execution : renseigner approvalReason dans validationPlan, puis faire approuver son identifiant par le superviseur.",
+    "Pour un fichier cree par l'activite, ne pas utiliser git ls-files --error-unmatch : un fichier non indexe serait refuse a tort. Verifier sa presence dans le systeme de fichiers, par exemple avec rg --files -g CHEMIN, sans indexer ni committer les changements.",
+    "Les garde-fous sont actifs : inclure dans validationPlan au moins une validation bloquante explicitement consacree a la securite, aux donnees, a l'authentification, a une migration ou au rollback, dont id ou purpose contient l'un de ces termes."
+  ],
+  "completionCriteria": [
+    "Le perimetre et les fichiers probablement concernes sont identifies.",
+    "L'approche d'implementation et les validations sont resumees.",
+    "Les risques ou blocages restants sont explicites."
+  ],
+  "requiredEvidence": [],
+  "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",
+      "validationPlan"
+    ],
+    "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"
+        }
+      },
+      "validationPlan": {
+        "type": "array",
+        "minItems": 1,
+        "maxItems": 10,
+        "items": {
+          "type": "object",
+          "required": [
+            "id",
+            "command",
+            "purpose",
+            "blocking",
+            "timeoutSeconds",
+            "workingDirectory"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "command": {
+              "type": "array",
+              "minItems": 1,
+              "items": {
+                "type": "string",
+                "minLength": 1
+              }
+            },
+            "purpose": {
+              "type": "string",
+              "minLength": 1
+            },
+            "blocking": {
+              "type": "boolean"
+            },
+            "timeoutSeconds": {
+              "type": "integer",
+              "minimum": 1,
+              "maximum": 3600
+            },
+            "workingDirectory": {
+              "type": "string",
+              "minLength": 1,
+              "description": "Repertoire relatif a la racine du depot. Utiliser '.' pour la racine ou 'app'. Les chemins absolus et '..' sont interdits."
+            },
+            "approvalReason": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "additionalProperties": false
+        }
+      }
+    },
+    "additionalProperties": false
+  }
+}