devflow-cli 6.1.1__tar.gz → 6.1.2__tar.gz

devflow_cli-6.1.2/.specify/specs/030-kks-416/.gitignore

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

devflow_cli-6.1.2/.specify/specs/030-kks-416/activity-contract.json

@@ -0,0 +1,169 @@
+{
+  "schemaVersion": 3,
+  "contractId": "KKS-416:critical:rollback-check:v3",
+  "issueId": "KKS-416",
+  "profile": "critical",
+  "activity": "rollback-check",
+  "objective": "Accepter une liste explicite d'options de uv dans les validations uv run",
+  "featurePath": ".specify/specs/030-kks-416",
+  "inputs": [
+    ".specify/specs/030-kks-416/need.md",
+    ".specify/specs/030-kks-416/assessment.json",
+    ".specify/specs/030-kks-416/workflow-state.json",
+    ".specify/specs/030-kks-416/risk-assessment.md",
+    ".specify/specs/030-kks-416/spec.md",
+    ".specify/specs/030-kks-416/plan.md",
+    ".specify/specs/030-kks-416/tasks.md",
+    ".specify/specs/030-kks-416/implement-result.json",
+    ".specify/specs/030-kks-416/evidence/requirements-coverage.json",
+    ".specify/specs/030-kks-416/evidence/test-suite.json",
+    ".specify/specs/030-kks-416/evidence/security-or-data-check.json",
+    ".specify/specs/030-kks-416/review-result.json",
+    ".specify/specs/030-kks-416/omission-log.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/030-kks-416/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-6.1.2/.specify/specs/030-kks-416/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "dbd1eedc-2905-4e3e-8fe5-c06d5bebf630",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 152.85,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 6898,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/assessment.json

@@ -0,0 +1,41 @@
+{
+  "schemaVersion": 3,
+  "issueId": "KKS-416",
+  "recommendedProfile": "critical",
+  "selectedProfile": "critical",
+  "confidence": "high",
+  "signals": {
+    "scope": "local",
+    "ambiguity": "low",
+    "risk": "medium",
+    "contractChange": false,
+    "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-28T20:02:26Z",
+  "summary": "Accepter une liste explicite d'options de uv dans les validations uv run"
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/evidence/diff-inspection.json

@@ -0,0 +1,31 @@
+{
+  "schemaVersion": 1,
+  "id": "diff-inspection",
+  "outcome": "passed",
+  "generatedAt": "2026-09-28T21:34:02Z",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/releases/6.1.2.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/core/verification.py",
+    "tests/test_verification.py",
+    "uv.lock"
+  ],
+  "findings": [],
+  "gitDiffCheck": {
+    "id": "AUTO-DIFF",
+    "command": [
+      "git",
+      "diff",
+      "--check"
+    ],
+    "blocking": true,
+    "returncode": 0,
+    "succeeded": true,
+    "timedOut": false,
+    "workingDirectory": ".",
+    "stdout": "",
+    "stderr": ""
+  }
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/evidence/requirements-coverage.json

@@ -0,0 +1,141 @@
+{
+  "schemaVersion": 1,
+  "id": "requirements-coverage",
+  "outcome": "passed",
+  "valid": true,
+  "requirements": [
+    "FR-001",
+    "FR-002",
+    "FR-003",
+    "FR-004",
+    "FR-005",
+    "FR-006",
+    "FR-007",
+    "FR-008",
+    "FR-009",
+    "FR-010",
+    "FR-011",
+    "FR-012",
+    "FR-013",
+    "FR-014",
+    "FR-015"
+  ],
+  "taskIds": [
+    "T-001",
+    "T-002",
+    "T-003",
+    "T-004",
+    "T-005",
+    "T-006",
+    "T-007",
+    "T-008",
+    "T-009",
+    "T-010",
+    "T-011",
+    "T-012",
+    "T-013",
+    "T-014",
+    "T-015",
+    "T-016",
+    "T-017",
+    "T-018",
+    "T-019",
+    "T-020",
+    "T-021",
+    "T-022",
+    "T-023",
+    "T-024",
+    "T-025",
+    "T-026"
+  ],
+  "coverage": {
+    "FR-001": [
+      "T-005",
+      "T-009"
+    ],
+    "FR-002": [
+      "T-001",
+      "T-009"
+    ],
+    "FR-003": [
+      "T-003",
+      "T-005",
+      "T-009"
+    ],
+    "FR-004": [
+      "T-002",
+      "T-003",
+      "T-005",
+      "T-007",
+      "T-012"
+    ],
+    "FR-005": [
+      "T-006",
+      "T-010",
+      "T-011",
+      "T-023"
+    ],
+    "FR-006": [
+      "T-007",
+      "T-012"
+    ],
+    "FR-007": [
+      "T-008",
+      "T-013"
+    ],
+    "FR-008": [
+      "T-001",
+      "T-007",
+      "T-011"
+    ],
+    "FR-009": [
+      "T-008",
+      "T-013",
+      "T-014",
+      "T-022"
+    ],
+    "FR-010": [
+      "T-006",
+      "T-008",
+      "T-013",
+      "T-023"
+    ],
+    "FR-011": [
+      "T-006",
+      "T-007",
+      "T-010",
+      "T-012"
+    ],
+    "FR-012": [
+      "T-004",
+      "T-014",
+      "T-022",
+      "T-025",
+      "T-026"
+    ],
+    "FR-013": [
+      "T-015",
+      "T-016",
+      "T-017",
+      "T-025"
+    ],
+    "FR-014": [
+      "T-018",
+      "T-019",
+      "T-020",
+      "T-021",
+      "T-024"
+    ],
+    "FR-015": [
+      "T-022",
+      "T-023",
+      "T-024",
+      "T-025",
+      "T-026"
+    ]
+  },
+  "missingRequirements": [],
+  "unknownRequirements": [],
+  "duplicateTaskIds": [],
+  "tasksWithoutRequirement": []
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/evidence/security-or-data-check.json

@@ -0,0 +1,29 @@
+{
+  "schemaVersion": 1,
+  "id": "security-or-data-check",
+  "outcome": "passed",
+  "startedAt": "2026-09-28T21:34:01Z",
+  "completedAt": "2026-09-28T21:34:02Z",
+  "commands": [
+    {
+      "id": "PLAN-security-policy-tests",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_verification.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 57%]\n.....................................................                    [100%]\n125 passed in 0.14s\n",
+      "stderr": ""
+    }
+  ],
+  "executionFindings": [],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/evidence/test-suite.json

@@ -0,0 +1,95 @@
+{
+  "schemaVersion": 1,
+  "id": "test-suite",
+  "outcome": "passed",
+  "startedAt": "2026-09-28T21:34:01Z",
+  "completedAt": "2026-09-28T21:34:02Z",
+  "commands": [
+    {
+      "id": "AUTO-PYTHON",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_verification.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 57%]\n.....................................................                    [100%]\n125 passed in 0.14s\n",
+      "stderr": ""
+    },
+    {
+      "id": "AUTO-REGRESSION-PYTHON",
+      "command": [
+        "python",
+        "-m",
+        "compileall",
+        "-q",
+        "src"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "",
+      "stderr": ""
+    },
+    {
+      "id": "PLAN-plan-exists",
+      "command": [
+        "rg",
+        "--files",
+        "-g",
+        "plan.md",
+        ".specify/specs/030-kks-416"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": ".specify/specs/030-kks-416/plan.md\n",
+      "stderr": ""
+    },
+    {
+      "id": "PLAN-plan-sections",
+      "command": [
+        "rg",
+        "-n",
+        "^## (Summary|Validation Commands|Sécurité|Retour arrière)",
+        ".specify/specs/030-kks-416/plan.md"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "7:## Summary\n203:## Validation Commands\n222:## Sécurité\n240:## Retour arrière\n",
+      "stderr": ""
+    },
+    {
+      "id": "PLAN-release-consistency",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_release.py"
+      ],
+      "blocking": false,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "...........                                                              [100%]\n11 passed in 0.02s\n",
+      "stderr": ""
+    }
+  ],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/implement-result.json

@@ -0,0 +1,81 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-416:critical:implement:v3",
+  "status": "completed",
+  "summary": "La branche uv de _validate_allowed_shape() analyse désormais une à une les options placées entre 'uv run' et l'outil. Elle s'appuie sur une allowlist fermée et exacte (UV_RUN_FLAG_OPTIONS, UV_RUN_VALUE_OPTIONS, UV_QUIET_OPTIONS, UV_PYTHON_VERSION_RE, UV_RUN_NAME_RE), puis valide l'outil imbriqué par l'appel récursif existant à _validate_command(), avec le même explicit. Les options ne sont jamais comparées à explicit, ce qui ferme le contournement R7. Une option refusée produit un message qui la nomme comme option de 'uv run', sans sa valeur attachée ni --allow-command. Une valeur manquante ou hors format et une répétition de -q/--quiet sont refusées. 'uv run <options>' sans outil garde le message existant. La guidance agents liste les options acceptées, générées depuis les mêmes constantes. 82 tests uv_run ont été ajoutés sans modifier les tests existants : 78 d'entre eux échouent sur le code 6.1.1. La version passe à 6.1.2 dans pyproject.toml, __init__.py et uv.lock (uv lock --check OK), avec une entrée CHANGELOG et docs/releases/6.1.2.md. T-017 : docs/activity-contracts.md ne décrit pas la politique en détail et docs-sync --check passe, donc aucune mise à jour de doc n'était nécessaire.",
+  "changedFiles": [
+    "src/devflow_cli/core/verification.py",
+    "tests/test_verification.py",
+    "src/devflow_cli/__init__.py",
+    "pyproject.toml",
+    "uv.lock",
+    "CHANGELOG.md",
+    "docs/releases/6.1.2.md"
+  ],
+  "checks": [
+    {
+      "id": "VAL-001",
+      "command": "uv run pytest -q tests/test_verification.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "VAL-002",
+      "command": "uv run pytest -q tests/test_verification.py -k uv_run",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "VAL-003",
+      "command": "uv run pytest -q tests/test_release.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "VAL-004",
+      "command": "uv run pytest -q",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "VAL-005",
+      "command": "uv run devflow docs-sync --check",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "uv-lock-check",
+      "command": "uv lock --check --offline",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "shell-tests",
+      "command": "./tests/run-tests.sh",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [
+    {
+      "id": "red-before-fix",
+      "outcome": "passed",
+      "report": "Avec src/devflow_cli/core/verification.py restauré depuis HEAD (6.1.1), 'uv run pytest -q tests/test_verification.py -k uv_run' donne 78 échecs et 4 réussites. Les 4 réussites sont des non-régressions attendues : uv run seul, uv sync, uv --offline run pytest et uv run pytest -q tests/. Le correctif a ensuite été remis en place à l'identique."
+    },
+    {
+      "id": "suite-complete",
+      "outcome": "passed",
+      "report": "767 tests pytest réussis (685 avant le changement, plus 82 nouveaux) et 14 tests shell réussis via ./tests/run-tests.sh, lancé ici hors CLI Devflow. docs-sync --check : documentation synchronisée."
+    }
+  ],
+  "remainingRisks": [
+    "R11 : la CLI 6.1.1 qui pilote ce parcours garde le défaut. Les validations déclarées en verify ne doivent pas placer d'option entre 'uv run' et l'outil.",
+    "./tests/run-tests.sh a été lancé hors CLI pendant implement ; la politique le refuse (chemin hors DEFAULT_ALLOWED_PATHS). Sa relance en verify demande une approbation explicite, sinon il faut déclarer une exécution manuelle.",
+    "Forme attachée sans '=' (ex. '-p3.12') : le message reprend le token entier, puisque seule la partie avant '=' est isolée (D9). La valeur reste visible dans ce cas limite, sans enjeu de secret pour une version.",
+    "R8 : '--python <version>' peut télécharger un interpréteur géré par uv ; risque accepté, bloqué par --offline.",
+    "Hors périmètre : les variables d'environnement et fichiers de configuration de uv (UV_PYTHON, UV_INDEX_URL, uv.toml) ; 'uv run --no-project --python 3.12 python scripts/check_release.py' reste refusée par la politique Python existante.",
+    "La guidance ajoutée modifie le texte des contrats d'activité générés ; la suite complète le tolère, aucun fixture textuel n'a dû être ajusté.",
+    "Aucun commit créé : il faudra committer les changements après la review (pre-commit-review sur les fichiers staged)."
+  ],
+  "blockers": []
+}

devflow_cli-6.1.2/.specify/specs/030-kks-416/need.md

@@ -0,0 +1,59 @@
+# KKS-416 — Accepter les options de uv dans les commandes de validation « uv run »
+
+Source : relevé en conditions réelles sur KKS-413 (CLI 6.1.1), activité `prepare`.
+
+## Problème
+
+L'agent déclare la validation `uv run --no-project --python 3.12 python -m pytest -q
+tests/test_release.py`, qui est la forme utilisée par `.github/workflows/release.yml`. Devflow la
+refuse :
+
+`script-on-repo: exécutable non approuvé '--no-project'; utilisez --allow-command --no-project
+après audit` → `prepare` rejetée (`invalid-result`).
+
+Cause : `_validate_allowed_shape()` (`src/devflow_cli/core/verification.py:352`) valide `uv run`
+en reprenant `args[2:]` comme commande imbriquée. Toute option de `uv run` placée avant l'outil
+est donc prise pour l'exécutable.
+
+Deux défauts :
+
+- une commande légitime est refusée et brûle une tentative (52 s, 0,57 USD ici) ;
+- le message propose `--allow-command --no-project`, ce qui n'a pas de sens et oriente vers une
+  mauvaise piste.
+
+## Attendu
+
+- Les options de `uv run` placées avant l'outil sont passées, puis l'outil imbriqué est validé
+  exactement comme aujourd'hui (même politique, mêmes messages).
+- Liste explicite d'options autorisées, limitée à celles qui ne changent ni le code exécuté ni
+  le répertoire ni la source des paquets : `--no-project`, `--frozen`, `--locked`, `--offline`,
+  `--no-sync`, `--isolated`, `--extra <nom>`, `--all-extras`, `--group <nom>`, `--all-groups`,
+  `--no-dev`, `-q`/`--quiet`, `--python <version>` / `-p <version>`.
+- `--python` / `-p` : la valeur doit être un numéro de version (ex. `3.12`, `3.11.9`), jamais un
+  chemin d'interpréteur.
+- Toute autre option reste refusée, notamment celles qui injectent du code ou changent de
+  contexte ou de source : `--with`, `--with-editable`, `--with-requirements`, `--directory`,
+  `--project`, `--script`, `--env-file`, `--index`, `--index-url`, `--extra-index-url`,
+  `--find-links`.
+- Une option refusée donne un message qui la nomme comme option de `uv run`, sans proposer
+  `--allow-command <option>`.
+- Aucun changement pour les autres exécutables.
+
+## Tests attendus
+
+- `uv run --no-project --python 3.12 python -m pytest …` acceptée.
+- `uv run pytest …` : comportement inchangé.
+- `uv run --with x pytest`, `uv run --directory .. pytest`, `uv run --index-url u pytest` :
+  refusées, message qui nomme l'option.
+- `uv run --python /tmp/python pytest` : refusée (valeur qui n'est pas une version).
+- `uv run --python` sans valeur, `uv run --no-project` sans outil : refusées.
+- Outil imbriqué non approuvé derrière des options autorisées : toujours refusé.
+
+## Livraison
+
+La PR augmente la version en 6.1.2 (`pyproject.toml`, `VERSION`, `uv.lock`, `CHANGELOG.md`
+concordants, cf. `scripts/check_release.py`). Le tag est posé à la main après le merge.
+
+Contrainte de ce parcours : la CLI qui l'exécute (6.1.1) a encore le défaut. Les commandes de
+validation déclarées ne doivent donc pas mettre d'options entre `uv run` et l'outil
+(ex. `uv run pytest -q tests/…`).