devflow-cli 7.2.0__tar.gz → 8.1.0__tar.gz

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/.gitignore

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

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/activity-contract.json

@@ -0,0 +1,170 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-508:deep:rollback-check:v4",
+  "issueId": "KKS-508",
+  "profile": "deep",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Base stable par activité pour les fichiers observés ; l'observation fait foi ; rupture 8.0.0",
+  "featurePath": ".specify/specs/038-kks-508-activity-base",
+  "inputs": [
+    ".specify/specs/038-kks-508-activity-base/need.md",
+    ".specify/specs/038-kks-508-activity-base/assessment.json",
+    ".specify/specs/038-kks-508-activity-base/workflow-state.json",
+    ".specify/specs/038-kks-508-activity-base/risk-assessment.md",
+    ".specify/specs/038-kks-508-activity-base/spec.md",
+    ".specify/specs/038-kks-508-activity-base/contracts.md",
+    ".specify/specs/038-kks-508-activity-base/plan.md",
+    ".specify/specs/038-kks-508-activity-base/tasks.md",
+    ".specify/specs/038-kks-508-activity-base/implement-result.json",
+    ".specify/specs/038-kks-508-activity-base/evidence/requirements-coverage.json",
+    ".specify/specs/038-kks-508-activity-base/evidence/test-suite.json",
+    ".specify/specs/038-kks-508-activity-base/evidence/security-or-data-check.json",
+    ".specify/specs/038-kks-508-activity-base/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/038-kks-508-activity-base/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-8.1.0/.specify/specs/038-kks-508-activity-base/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "8008d161-d469-4005-84ac-fb003aeac02b",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 55.939,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 5471,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/assessment.json

@@ -0,0 +1,46 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-508",
+  "recommendedProfile": "deep",
+  "selectedProfile": "deep",
+  "confidence": "high",
+  "signals": {
+    "scope": "multiple",
+    "ambiguity": "low",
+    "risk": "high",
+    "contractChange": true,
+    "dataOrSecurity": false
+  },
+  "guardrails": {
+    "active": true,
+    "reasons": [
+      "le risque d'impact est eleve"
+    ]
+  },
+  "reasons": [
+    "des contrats partages sont modifies"
+  ],
+  "activities": [
+    "assess",
+    "risk-assessment",
+    "spec",
+    "contracts",
+    "plan",
+    "tasks",
+    "preflight-evidence",
+    "implement",
+    "verify",
+    "review",
+    "rollback-check",
+    "done"
+  ],
+  "requiredEvidence": [
+    "requirements-coverage",
+    "test-suite",
+    "security-or-data-check",
+    "independent-review",
+    "rollback-plan"
+  ],
+  "assessedAt": "2026-10-08T10:36:42Z",
+  "summary": "Base stable par activité pour les fichiers observés ; l'observation fait foi ; rupture 8.0.0"
+}

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/attempt-discard-log.json

@@ -0,0 +1,23 @@
+{
+  "schemaVersion": 1,
+  "issueId": "KKS-508",
+  "entries": [
+    {
+      "sequence": 1,
+      "recordedAt": "2026-10-08T11:26:29Z",
+      "author": "kellysossoe",
+      "activity": "preflight-evidence",
+      "reason": "validation-approvals.json écrit par approve-command pendant l'activité, compté à tort (friction abd18c44)",
+      "attemptReason": "artifact-files-mismatch",
+      "discardedFiles": [
+        ".specify/specs/038-kks-508-activity-base/preflight-evidence.md",
+        ".specify/specs/038-kks-508-activity-base/validation-approvals.json"
+      ],
+      "archivePath": "attempts/discard-001",
+      "archivedFiles": [
+        "preflight-evidence-attempt.json",
+        "preflight-evidence-result.raw.txt"
+      ]
+    }
+  ]
+}

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/attempts/discard-001/preflight-evidence-attempt.json

@@ -0,0 +1,16 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-508:deep:preflight-evidence:v4",
+  "activity": "preflight-evidence",
+  "agent": "claude",
+  "reason": "artifact-files-mismatch",
+  "recordedAt": "2026-10-08T11:25:56Z",
+  "head": "dd7a5d33ed0f888eba0c1bb1083cd3194ee8cc3c",
+  "branch": "038-kks-508-activity-base",
+  "observedFiles": {
+    ".specify/specs/038-kks-508-activity-base/preflight-evidence.md": "file:100644:f03f99fb139739ea05bbf8acafad2b3fb52bc2adabeffc3e053ac947a2db43f3",
+    ".specify/specs/038-kks-508-activity-base/validation-approvals.json": "file:100600:e8e5e685c0731e15e6864275964ebe748d94ab23578d8a0827cbb14480c1cbb0"
+  },
+  "carriedChangedFiles": [],
+  "rawOutputSha256": "c59d3b0bc9c7fdd8bd6df7064909c0b3b4f54d7741364e791e7c7f4d2ae47483"
+}

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/attempts/reopen-001/activity-contract.json

@@ -0,0 +1,170 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-508:deep:rollback-check:v4",
+  "issueId": "KKS-508",
+  "profile": "deep",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Base stable par activité pour les fichiers observés ; l'observation fait foi ; rupture 8.0.0",
+  "featurePath": ".specify/specs/038-kks-508-activity-base",
+  "inputs": [
+    ".specify/specs/038-kks-508-activity-base/need.md",
+    ".specify/specs/038-kks-508-activity-base/assessment.json",
+    ".specify/specs/038-kks-508-activity-base/workflow-state.json",
+    ".specify/specs/038-kks-508-activity-base/risk-assessment.md",
+    ".specify/specs/038-kks-508-activity-base/spec.md",
+    ".specify/specs/038-kks-508-activity-base/contracts.md",
+    ".specify/specs/038-kks-508-activity-base/plan.md",
+    ".specify/specs/038-kks-508-activity-base/tasks.md",
+    ".specify/specs/038-kks-508-activity-base/implement-result.json",
+    ".specify/specs/038-kks-508-activity-base/evidence/requirements-coverage.json",
+    ".specify/specs/038-kks-508-activity-base/evidence/test-suite.json",
+    ".specify/specs/038-kks-508-activity-base/evidence/security-or-data-check.json",
+    ".specify/specs/038-kks-508-activity-base/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/038-kks-508-activity-base/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-8.1.0/.specify/specs/038-kks-508-activity-base/attempts/reopen-001/contracts-result.json

@@ -0,0 +1,29 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-508:deep:contracts:v4",
+  "status": "completed",
+  "summary": "contracts.md rédigé : 16 contrats (CT-01 à CT-16). Ils couvrent la base d'activité et sa validation, le schéma workflow-state-v6 avec les invariants I1 à I6, les points d'entrée dans une activité, la liste unique des fichiers d'exécution Devflow (S4), snapshot_worktree en --no-renames et le calcul normatif des fichiers depuis la base, avec les refus base-history-rewritten et base-branch-changed et leurs messages exacts. Ils fixent aussi l'observation (sinceBase et duringExecution), le résultat enregistré avec son bloc observation et le lecteur parse_recorded_result, la gate (ordre des refus, avertissement d'écart, sortie --json warnings, worklog), la fiche de tentative en schéma 2, reopen et discard-attempt, les contraintes du contrat d'activité, le refus de rupture LegacySchemaError selon la version, la surface CLI, les suppressions, la documentation et la version 8.0.0. Le document contient aussi un tableau des 13 invariants de sécurité, une section Compatibilité et migration, 14 tests de contrat et une matrice FR/SR → CT → TC. Le validateur contracts de Devflow passe.",
+  "changedFiles": [
+    ".specify/specs/038-kks-508-activity-base/contracts.md"
+  ],
+  "checks": [
+    {
+      "id": "contracts-artifact-validation",
+      "command": "uv run python -c \"from pathlib import Path; from devflow_cli.core.validators import validate_artifact; r=validate_artifact('contracts', Path('.specify/specs/038-kks-508-activity-base/contracts.md')); import sys; sys.exit(0 if r.valid else 1)\"",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [],
+  "remainingRisks": [
+    "validation_approvals.py et automatic_evidence.py relisent les résultats enregistrés avec parse_activity_result, qui refuse les clés inattendues. Sans le passage à parse_recorded_result (CT-08), la clé observation casse la clôture de verify et les approbations ; plan doit recenser les autres lecteurs.",
+    "La liste S4 des fichiers d'exécution (CT-04) reste à confirmer en plan en recensant les écritures de la CLI. Les verrous hors du dossier de la feature compteraient s'ils étaient créés pendant une activité.",
+    "L'ordre « branche puis historique » dans CT-06 est un choix de contracts, car la spec ne fixe pas cet ordre. Il ne change que le message affiché quand les deux causes coexistent.",
+    "Activité documentaire avec des fichiers étrangers déjà modifiés depuis la base : l'agent est lancé puis refusé (artifact-files-mismatch). Un refus avant lancement n'est pas prévu.",
+    "reconcile sur une activité de contrôle : duringExecution est approché par la liste depuis la base de la tentative, ce qui peut surestimer les mutations.",
+    "Le changement de snapshot_worktree pour un dépôt sans commit (lecture de l'index par git ls-files) est ajouté par CT-05 pour rendre S5 correct dans ce cas.",
+    "Risque résiduel R2 accepté par D3, et aucune commande de réancrage après un historique réécrit : à confirmer par Kelly pour le lot B.",
+    "Validation sur un parcours réel impossible pendant ce parcours (R6)."
+  ],
+  "blockers": []
+}

devflow_cli-8.1.0/.specify/specs/038-kks-508-activity-base/attempts/reopen-001/evidence/diff-inspection.json

@@ -0,0 +1,66 @@
+{
+  "schemaVersion": 1,
+  "id": "diff-inspection",
+  "outcome": "passed",
+  "generatedAt": "2026-10-08T12:29:47Z",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "README.md",
+    "docs/activity-contracts.md",
+    "docs/cli-reference.md",
+    "docs/pipeline.md",
+    "docs/releases/8.0.0.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/commands/adaptive.py",
+    "src/devflow_cli/core/activity_base.py",
+    "src/devflow_cli/core/activity_contracts.py",
+    "src/devflow_cli/core/adaptive_runner.py",
+    "src/devflow_cli/core/adaptive_workflow.py",
+    "src/devflow_cli/core/automatic_evidence.py",
+    "src/devflow_cli/core/contract_schemas.py",
+    "src/devflow_cli/core/feedback.py",
+    "src/devflow_cli/core/remediation.py",
+    "src/devflow_cli/core/validation_approvals.py",
+    "src/devflow_cli/core/worklog.py",
+    "src/devflow_cli/core/worktree_snapshot.py",
+    "src/devflow_cli/schemas/workflow-state-v5.schema.json",
+    "src/devflow_cli/schemas/workflow-state-v6.schema.json",
+    "tests/conftest.py",
+    "tests/test_activity_base.py",
+    "tests/test_activity_contracts.py",
+    "tests/test_adaptive_runner.py",
+    "tests/test_adaptive_workflow.py",
+    "tests/test_automatic_evidence.py",
+    "tests/test_cmd_adaptive.py",
+    "tests/test_cmd_status.py",
+    "tests/test_cmd_verify.py",
+    "tests/test_contract_schemas.py",
+    "tests/test_guardrails.py",
+    "tests/test_legacy_schema.py",
+    "tests/test_release.py",
+    "tests/test_remediation.py",
+    "tests/test_waivers.py",
+    "tests/test_wheel_adaptive_acceptance.py",
+    "tests/test_wheel_install.py",
+    "tests/test_worklog.py",
+    "tests/test_worktree_snapshot.py",
+    "uv.lock"
+  ],
+  "findings": [],
+  "gitDiffCheck": {
+    "id": "AUTO-DIFF",
+    "command": [
+      "git",
+      "diff",
+      "--check"
+    ],
+    "blocking": true,
+    "returncode": 0,
+    "succeeded": true,
+    "timedOut": false,
+    "workingDirectory": ".",
+    "stdout": "",
+    "stderr": ""
+  }
+}