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

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/.gitignore

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

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/activity-contract.json

@@ -0,0 +1,169 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-545:standard:rollback-check:v4",
+  "issueId": "KKS-545",
+  "profile": "standard",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Une réouverture garde les preuves des activités qui restent complétées ; les verrous de lecture de l état s appliquent aussi à l écriture et nomment le verrou violé ; pas de commande de réparation. Décisions dans need.md.",
+  "featurePath": ".specify/specs/044-kks-545-reopen-keeps-gate-evidence",
+  "inputs": [
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/need.md",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/assessment.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/workflow-state.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/risk-assessment.md",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/prepare-result.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/implement-result.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/targeted-tests.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/regression-check.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/diff-inspection.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/security-or-data-check.json",
+    ".specify/specs/044-kks-545-reopen-keeps-gate-evidence/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/044-kks-545-reopen-keeps-gate-evidence/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.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "e505d59e-5952-4f7e-ac0e-c2bcac221b5b",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 68.772,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 5800,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/assessment.json

@@ -0,0 +1,45 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-545",
+  "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-14T21:58:43Z",
+  "summary": "Une réouverture garde les preuves des activités qui restent complétées ; les verrous de lecture de l état s appliquent aussi à l écriture et nomment le verrou violé ; pas de commande de réparation. Décisions dans need.md."
+}

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/diff-inspection.json

@@ -0,0 +1,39 @@
+{
+  "schemaVersion": 1,
+  "id": "diff-inspection",
+  "outcome": "passed",
+  "generatedAt": "2026-10-14T22:42:26Z",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/activity-contracts.md",
+    "docs/cli-reference.md",
+    "docs/releases/8.5.1.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/commands/adaptive.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/remediation.py",
+    "tests/test_adaptive_workflow.py",
+    "tests/test_cmd_adaptive.py",
+    "tests/test_remediation.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-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/regression-check.json

@@ -0,0 +1,119 @@
+{
+  "schemaVersion": 1,
+  "id": "regression-check",
+  "outcome": "passed",
+  "startedAt": "2026-10-14T22:34:26Z",
+  "completedAt": "2026-10-14T22:42:26Z",
+  "commands": [
+    {
+      "id": "AUTO-REGRESSION-PYTHON",
+      "command": [
+        "uv",
+        "run",
+        "python",
+        "-m",
+        "compileall",
+        "-q",
+        "src"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-targeted-tests",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_remediation.py",
+        "tests/test_adaptive_workflow.py",
+        "tests/test_cmd_adaptive.py",
+        "tests/test_automatic_evidence.py",
+        "tests/test_guardrails.py",
+        "tests/test_adaptive_runner.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 10%]\n........................................................................ [ 20%]\n........................................................................ [ 30%]\n........................................................................ [ 40%]\n........................................................................ [ 50%]\n........................................................................ [ 60%]\n........................................................................ [ 70%]\n........................................................................ [ 81%]\n........................................................................ [ 91%]\n...............................................................          [100%]\n711 passed in 159.76s (0:02:39)\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-regression-suite",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [  2%]\n........................................................................ [  5%]\n........................................................................ [  8%]\n........................................................................ [ 11%]\n........................................................................ [ 14%]\n........................................................................ [ 17%]\n........................................................................ [ 20%]\n........................................................................ [ 23%]\n........................................................................ [ 26%]\n........................................................................ [ 29%]\n........................................................................ [ 32%]\n........................................................................ [ 34%]\n........................................................................ [ 37%]\n........................................................................ [ 40%]\n........................................................................ [ 43%]\n........................................................................ [ 46%]\n........................................................................ [ 49%]\n........................................................................ [ 52%]\n........................................................................ [ 55%]\n........................................................................ [ 58%]\n........................................................................ [ 61%]\n........................................................................ [ 64%]\n........................................................................ [ 67%]\n........................................................................ [ 69%]\n........................................................................ [ 72%]\n........................................................................ [ 75%]\n........................................................................ [ 78%]\n........................................................................ [ 81%]\n........................................................................ [ 84%]\n........................................................................ [ 87%]\n........................................................................ [ 90%]\n........................................................................ [ 93%]\n........................................................................ [ 96%]\n........................................................................ [ 99%]\n.....................                                                    [100%]\n2469 passed in 219.05s (0:03:39)\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-shell-tests",
+      "command": [
+        "./tests/run-tests.sh"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "==============================\n Tests devflow\n==============================\n\n>>> Suite: test-template-variants\n=== Tests create-new-feature.sh --type ===\n-- test_type_brownfield_uses_variant_template\n  [OK]   type brownfield: pas d'avertissement de fallback\n  [OK]   type brownfield: spec.md creee\n  [OK]   type brownfield: contenu du template variant present\n-- test_type_nonexistent_falls_back_to_generic_with_warning\n  [OK]   type nonexistent: avertissement fallback sur stderr\n  [OK]   type nonexistent: spec.md creee malgre le fallback\n  [OK]   type nonexistent: contenu du template generique present\n-- test_without_type_uses_generic_template\n  [OK]   sans --type: pas d'avertissement de fallback\n  [OK]   sans --type: spec.md creee\n  [OK]   sans --type: contenu du template generique present\n-- test_consecutive_features_use_correct_templates (FR-009)\n  [OK]   FR-009: spec brownfield creee (009-*)\n  [OK]   FR-009: spec 009 contient le template brownfield\n  [OK]   FR-009: spec greenfield creee (010-*)\n  [OK]   FR-009: spec 010 contient le template greenfield\n  [OK]   FR-009: spec brownfield ne contient pas le marker greenfield\n\n--- Resultats ---\nTotal: 14 | Passes: 14 | Echoues: 0\nSUCCES\n\n==============================\n Resultats globaux\n==============================\nSuites executees: 1\nTotal tests: 14 | Passes: 14 | Echoues: 0\nSUCCES\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-docs-sync",
+      "command": [
+        "uv",
+        "run",
+        "devflow",
+        "docs-sync",
+        "--check"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "[OK]   Documentation déjà synchronisée.\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-release-version-check",
+      "command": [
+        "uv",
+        "run",
+        "python",
+        "-m",
+        "pytest",
+        "-q",
+        "tests",
+        "-k",
+        "release or version"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 94%]\n....                                                                     [100%]\n76 passed, 2393 deselected in 1.66s\n",
+      "stderr": ""
+    }
+  ],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/security-or-data-check.json

@@ -0,0 +1,33 @@
+{
+  "schemaVersion": 1,
+  "id": "security-or-data-check",
+  "outcome": "passed",
+  "startedAt": "2026-10-14T22:34:26Z",
+  "completedAt": "2026-10-14T22:42:26Z",
+  "commands": [
+    {
+      "id": "PREP-data-state-integrity-and-rollback",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_adaptive_workflow.py",
+        "tests/test_remediation.py",
+        "tests/test_legacy_schema.py",
+        "tests/test_contract_schemas.py",
+        "tests/test_activity_base.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 22%]\n........................................................................ [ 44%]\n........................................................................ [ 66%]\n........................................................................ [ 88%]\n......................................                                   [100%]\n326 passed in 9.41s\n",
+      "stderr": ""
+    }
+  ],
+  "executionFindings": [],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/evidence/targeted-tests.json

@@ -0,0 +1,30 @@
+{
+  "schemaVersion": 1,
+  "id": "targeted-tests",
+  "outcome": "passed",
+  "startedAt": "2026-10-14T22:34:26Z",
+  "completedAt": "2026-10-14T22:42:26Z",
+  "commands": [
+    {
+      "id": "AUTO-PYTHON",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_adaptive_workflow.py",
+        "tests/test_cmd_adaptive.py",
+        "tests/test_remediation.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 19%]\n........................................................................ [ 38%]\n........................................................................ [ 57%]\n........................................................................ [ 77%]\n........................................................................ [ 96%]\n.............                                                            [100%]\n373 passed in 76.44s (0:01:16)\n",
+      "stderr": ""
+    }
+  ],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/implement-result.json

@@ -0,0 +1,83 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-545:standard:implement:v4",
+  "status": "completed",
+  "summary": "KKS-545 est implémentée, en version 8.5.1.\n\nR2 :\n- Les verrous métier de read_adaptive_state sont extraits tels quels dans une seule fonction, state_invariant_violation(state) dans core/adaptive_workflow.py. Elle rend le verrou violé, préfixé d'un nom stable (types, evidence-entry, profile, route, schema-version, status, current-activity, completed-activities, evidence-ids, gate-evidence, completed-state), ou None.\n- read_adaptive_state l'appelle et refuse les mêmes états qu'en 8.5.0.\n- write_adaptive_state contrôle les bases puis ces verrous, avant toute mutation. En cas de violation, il lève StateInvariantError(ValueError) avec le verrou nommé et laisse le fichier intact. Les bases passent en premier pour que les messages des tests 8.5.0 restent inchangés.\n- Les six appelants captent l'erreur avec leur code existant : start (INVALID_CONTRACT), complete, evidence et reopen (BLOCKED), le runner (transition-refused) et automatic_evidence (transition-refused).\n- _state affiche « workflow-state.json respecte le schema mais viole le verrou … », grâce à adaptive_state_violation(path). Les codes INVALID_CONTRACT et invalid-state sont inchangés.\n\nR1 : reopen_activity (core/remediation.py) garde l'union des gate_evidence des activités qui restent complétées et retire les autres. Il contrôle les verrous sur l'état calculé avant d'écrire reopen-log.json et l'archive (RK5). evidenceBefore est inchangé et ensure_fresh_devflow_evidence n'est pas modifié.\n\nR3 : aucune commande de réparation. Un état de forme KKS-541 est refusé avec le verrou gate-evidence nommé.\n\nLe reste a été délégué à l'agent dev, puis relu :\n- 31 cas de test, dont le cas KKS-541 de bout en bout depuis done (revue refaite, done atteint), rollback-check avec garde-fous, le profil deep, les réouvertures vers implement et prepare inchangées, la fraîcheur après réouverture, chaque verrou refusé à l'écriture (fichier inchangé octet pour octet) comme à la lecture, adaptive evidence refusé et l'état cassé refusé.\n- La documentation : docs/activity-contracts.md et docs/cli-reference.md.\n- La version 8.5.1 : pyproject, __init__, uv.lock, CHANGELOG et docs/releases/8.5.1.md avec le retour à la 8.5.0.\n\nLes preuves de gate restent à produire par l'activité verify.",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/activity-contracts.md",
+    "docs/cli-reference.md",
+    "docs/releases/8.5.1.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/commands/adaptive.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/remediation.py",
+    "tests/test_adaptive_workflow.py",
+    "tests/test_cmd_adaptive.py",
+    "tests/test_remediation.py",
+    "uv.lock"
+  ],
+  "checks": [
+    {
+      "id": "targeted-tests",
+      "command": "uv run pytest -q tests/test_remediation.py tests/test_adaptive_workflow.py tests/test_cmd_adaptive.py tests/test_automatic_evidence.py tests/test_guardrails.py tests/test_adaptive_runner.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "regression-suite",
+      "command": "uv run pytest -q -p no:cacheprovider",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "shell-tests",
+      "command": "./tests/run-tests.sh",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "docs-sync",
+      "command": "uv run devflow docs-sync --check",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "release-version-check",
+      "command": "uv run python scripts/check_release.py --main-pyproject <pyproject de main extrait par git show main:pyproject.toml>",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [
+    {
+      "id": "existing-lock-tests-unchanged",
+      "outcome": "passed",
+      "report": "Les 680 tests ciblés existants passent après l'extraction des verrous, sans modification de leur verdict. L'ordre bases puis verrous dans write_adaptive_state garde les messages attendus par test_tc02_write_refuses_a_violated_invariant_and_leaves_file_untouched."
+    },
+    {
+      "id": "full-suite",
+      "outcome": "passed",
+      "report": "2469 tests passent sur la suite complète en 198 s. ./tests/run-tests.sh passe 14 sur 14, docs-sync est déjà synchronisé et check_release valide 8.5.1 contre 8.5.0 sur main."
+    }
+  ],
+  "remainingRisks": [
+    "Les nouveaux tests n'ont pas été rejoués contre le code 8.5.0 pour montrer qu'ils échouent, car il aurait fallu un git stash ou un changement de branche, interdits. Le défaut avait été reproduit en pre-vol (preflight-evidence.md, faits 4, 5 et 10).",
+    "verify --refresh n'est pas exécuté dans les tests. Ils prouvent seulement le refus de fraîcheur de review et de done après une réouverture, avec la reprise --refresh dans le message.",
+    "Dans le test paramétré des verrous, les cas types, profile et status sont aussi refusés par le schéma à la lecture, avant les verrous. Ils prouvent l'écriture refusée avec le verrou nommé, mais pas que la lecture applique ce verrou précis.",
+    "La « variante depuis review actif » de need.md est refusée par la règle existante, qui exige une cible déjà complétée avant l'activité courante. Elle est couverte depuis done actif et depuis rollback-check actif.",
+    "Les écritures de start, complete, evidence, reopen et du runner sont désormais dans leur bloc try. Une OSError ou une erreur de bases levée à l'écriture sort donc avec le code de refus existant au lieu d'une traceback, ce qui est un effet de bord mineur.",
+    "La date 2026-10-15 de l'entrée CHANGELOG 8.5.1 est à ajuster si la publication se fait un autre jour. La phrase des notes 8.5.1 sur la lecture par la 8.5.0 d'un parcours rouvert en 8.5.1 vient de la lecture du code, pas d'un essai réel avec la 8.5.0.",
+    "La résolution de la friction aa362072 reste à faire après une publication vérifiée, hors de ce parcours."
+  ],
+  "blockers": [],
+  "observation": {
+    "baseRecordedAt": "2026-10-14T22:12:25Z",
+    "baseHead": "a9fdc4c98aef47c03db2f1e496851c493906ecc3",
+    "observedAt": "2026-10-14T22:33:48Z",
+    "head": "a9fdc4c98aef47c03db2f1e496851c493906ecc3"
+  }
+}

devflow_cli-8.5.1/.specify/specs/044-kks-545-reopen-keeps-gate-evidence/need.md

@@ -0,0 +1,98 @@
+# KKS-545 — Ne plus détruire un parcours en rouvrant une activité postérieure à verify
+
+Source : issue Linear KKS-545, conception du 2026-10-14 avec Kelly. Friction `aa362072`
+(majeure, kreview KKS-541, CLI 8.2.0) et bilan d'abandon du même parcours ; défaut reproduit
+par lecture du code 8.5.0. Article IV de la constitution : besoin observé. Article I : la
+réparation ne doit ouvrir aucune gate sur une déclaration.
+
+## Problème
+
+Constaté dans le code 8.5.0 :
+
+| Constat | Où |
+|---|---|
+| Une réouverture garde complétées les activités qui précèdent la cible (`completedActivities = activities[:index(cible)]`) mais vide **toutes** les preuves (`state.evidence = {}`). | `reopen_activity`, `src/devflow_cli/core/remediation.py` |
+| La lecture de l'état refuse un état où `verify`, `review` ou `rollback-check` est complétée sans ses preuves de gate ; elle rend `None`, et toutes les commandes refusent avec « invariants métier incohérents », sans dire quel verrou est violé. | `read_adaptive_state`, `src/devflow_cli/core/adaptive_workflow.py` |
+| L'écriture de l'état ne vérifie que le schéma et les bases, pas ces verrous : une commande peut écrire un état qu'aucune commande ne saura relire. | `write_adaptive_state`, même fichier |
+| Conséquence : `adaptive reopen ISSUE review` ou `… rollback-check`, depuis un parcours actif ou terminé, détruit le parcours. Rouvrir `prepare`, `preflight-evidence` ou `implement` fonctionne, car `verify` n'est alors plus complétée. | Cas réel KKS-541 : état `active`, `currentActivity` = `review`, `verify` complétée, `evidence` vide. |
+| La CLI propose elle-même cette commande quand une revue est périmée (« relancez devflow adaptive reopen ISSUE review »). | `ensure_fresh_devflow_evidence`, `src/devflow_cli/core/automatic_evidence.py` |
+
+## Décisions prises (non rediscutables dans ce parcours)
+
+| # | Sujet | Décision |
+|---|---|---|
+| R1 | Ce que garde une réouverture | Une réouverture **garde les preuves exigées par les gates des activités qui restent complétées** et retire toutes les autres. La répartition des preuves par activité est celle de `gate_evidence` (`verify`, `review`, `rollback-check`) ; rien d'autre ne la redéfinit. Exemple : rouvrir `review` garde les preuves de `verify` et retire celles de `review` et de `rollback-check`. Rouvrir une activité antérieure à `verify` retire toutes les preuves de gate, comme aujourd'hui. Le contrôle de fraîcheur existant (`ensure_fresh_devflow_evidence`) n'est pas modifié : si le code a changé depuis `verify`, il refuse toujours `review`, `rollback-check` et `done`, avec `verify --refresh` en reprise. L'entrée de `reopen-log.json` ne change pas (`evidenceBefore` garde toutes les preuves d'avant). |
+| R2 | Écrire seulement ce qu'on sait relire | Les verrous de `read_adaptive_state` deviennent **une seule fonction** qui rend le verrou violé ou rien. `read_adaptive_state` l'appelle et refuse exactement les mêmes états qu'aujourd'hui. `write_adaptive_state` l'appelle aussi : un état incohérent n'est **jamais écrit**, la commande échoue avec un message qui nomme le verrou violé, et le fichier d'état sur le disque reste celui d'avant. Le message de refus à la lecture nomme lui aussi le verrou violé. **Ce qui est accepté ou refusé à la lecture ne change pas.** |
+| R3 | Parcours déjà cassés | Aucune commande de réparation. Un état déjà cassé (forme KKS-541) reste refusé, avec un message qui nomme le verrou violé. |
+
+## Attendu
+
+- Le cas KKS-541 se rejoue de bout en bout dans un dépôt temporaire : parcours terminé
+  (`done`), puis `adaptive reopen ISSUE review` ; l'état reste lisible, `review` est
+  l'activité courante, les preuves de `verify` sont conservées, la revue peut être refaite et
+  le parcours atteint `done`. Précision du superviseur après la préparation :
+  `verify --refresh` n'est pas accepté sur un parcours terminé ; le test le lance, s'il en a
+  besoin, sur l'état actif obtenu après la réouverture.
+- Changement visible à documenter dans les notes 8.5.1 : une commande qui écrirait un état
+  incohérent échoue désormais sans rien écrire (par exemple `adaptive evidence` sur une
+  preuve de gate après la complétion de son activité), avec son code de refus existant.
+- `adaptive reopen ISSUE rollback-check` (profil avec garde-fous) : mêmes garanties ; les
+  preuves de `verify` et de `review` sont conservées.
+- Réouverture vers `implement` ou une activité antérieure : comportement inchangé.
+- Après une réouverture vers `review`, une modification du code fait toujours refuser
+  `review` et `done` par le contrôle de fraîcheur, avec `verify --refresh` en reprise.
+- Aucune commande ne peut écrire un état incohérent : un appel à `write_adaptive_state` avec
+  un état qui viole un verrou lève une erreur qui nomme le verrou, et le fichier ne change pas
+  (octet pour octet).
+- Un état déjà cassé est refusé avec un message qui nomme le verrou ; les commandes qui
+  affichaient « invariants métier incohérents » affichent ce message.
+- `docs/cli-reference.md` et `docs/activity-contracts.md` (ou là où la réouverture et ses
+  effets sur les preuves sont décrits) disent ce que garde une réouverture.
+
+## Points laissés à la préparation
+
+- Forme de la fonction de verrous et de son retour (nom du verrou, message) ; comment les
+  appelants de `read_adaptive_state` qui reçoivent `None` affichent le message, sans changer
+  les codes de sortie existants.
+- Appelants de `write_adaptive_state` qui écriraient aujourd'hui un état transitoire
+  incohérent : les lister ; s'il en existe un légitime, s'arrêter et le signaler avant
+  `implement` (rendre un résultat `blocked`), sans assouplir un verrou.
+- Lieu exact de la répartition des preuves lors de la réouverture (réutiliser
+  `gate_evidence`).
+
+## Tests attendus
+
+- Dépôts git temporaires hors du dépôt ; aucun agent réel ; aucun appel à Linear.
+- R1 : cas KKS-541 (depuis `done` et depuis `review` actif) ; `rollback-check` avec garde-fous ;
+  profils `standard` et `deep` ; réouverture vers `implement` et vers `prepare` inchangées ;
+  fraîcheur après réouverture.
+- R2 : chacun des verrous de `read_adaptive_state` déclenché à l'écriture, fichier inchangé,
+  message qui nomme le verrou ; mêmes états refusés à la lecture qu'en 8.5.0 (les tests des
+  verrous ajoutés en 8.5.0 restent verts sans modification de leur verdict).
+- R3 : état de forme KKS-541 refusé avec le message du verrou.
+- Suite complète verte, `./tests/run-tests.sh` vert.
+
+## Livraison
+
+- Version **8.5.1** si aucun format persistant ne change ; sinon s'arrêter et le signaler
+  (article III).
+- La version de la PR doit être strictement supérieure à celle de `main` (8.5.0) : le
+  contrôle CI lance `scripts/check_release.py --main-pyproject`.
+- Concordance dans `pyproject.toml`, `src/devflow_cli/__init__.py`, `uv.lock`,
+  `CHANGELOG.md`. Notes dans `docs/releases/8.5.1.md`, avec le retour à la 8.5.0.
+- `uv run devflow docs-sync --check` passe.
+- Résolution de `aa362072` au journal après publication vérifiée, pas pendant le parcours.
+
+## Hors périmètre
+
+- Les points de KKS-540 (imputation pour `prepare`, réouverture et entrées imputées, fiche de
+  tentative en version 3, verrous de la CLI et git, etc.).
+- Une commande de réparation des états cassés.
+
+## Contraintes d'exécution
+
+- **La CLI qui pilote ce parcours (8.5.0) porte le défaut : ne jamais lancer
+  `adaptive reopen … review` ni `adaptive reopen … rollback-check` pendant ce parcours.**
+- Aucun test ni aucune activité ne lance un agent réel, ni n'appelle Linear.
+- Aucun commit, aucun `git stash`, aucun changement de branche pendant les activités.
+- La sortie structurée du contrat est le dernier message de l'agent.