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

devflow_cli-7.0.0/.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.0/.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.0/.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.0/.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.0/.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": []
+}