devflow-cli 3.0.0__tar.gz → 4.0.2__tar.gz

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/.idea/workspace.xml

@@ -4,17 +4,14 @@
     <option name="autoReloadType" value="SELECTIVE" />
   </component>
   <component name="ChangeListManager">
-    <list default="true" id="4d5164b1-14ff-40b3-8f55-b6f2c3abff01" name="Changes" comment="">
-      <change beforePath="$PROJECT_DIR$/pyproject.toml" beforeDir="false" afterPath="$PROJECT_DIR$/pyproject.toml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/devflow_cli/utils/paths.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/devflow_cli/utils/paths.py" afterDir="false" />
-    </list>
+    <list default="true" id="4d5164b1-14ff-40b3-8f55-b6f2c3abff01" name="Changes" comment="" />
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
     <option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
     <option name="LAST_RESOLUTION" value="IGNORE" />
   </component>
   <component name="EmbeddingIndexingInfo">
-    <option name="cachedIndexableFilesCount" value="1457" />
+    <option name="cachedIndexableFilesCount" value="1731" />
     <option name="fileBasedEmbeddingIndicesEnabled" value="true" />
   </component>
   <component name="Git.Settings">
@@ -197,34 +194,34 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent"><![CDATA[{
-  "keyToString": {
-    "ASKED_SHARE_PROJECT_CONFIGURATION_FILES": "true",
-    "ModuleVcsDetector.initialDetectionPerformed": "true",
-    "RunOnceActivity.MCP Project settings loaded": "true",
-    "RunOnceActivity.ShowReadmeOnStart": "true",
-    "RunOnceActivity.TerminalTabsStorage.copyFrom.TerminalArrangementManager.252": "true",
-    "RunOnceActivity.git.unshallow": "true",
-    "RunOnceActivity.typescript.service.memoryLimit.init": "true",
-    "SHARE_PROJECT_CONFIGURATION_FILES": "true",
-    "codeWithMe.voiceChat.enabledByDefault": "false",
-    "com.intellij.ml.llm.matterhorn.ej.ui.settings.DefaultModelSelectionForGA.v1": "true",
-    "dart.analysis.tool.window.visible": "false",
-    "git-widget-placeholder": "main",
-    "junie.onboarding.icon.badge.shown": "true",
-    "kotlin-language-version-configured": "true",
-    "last_opened_file_path": "/Users/kellysossoe/Code/Apps/devflow",
-    "node.js.detected.package.eslint": "true",
-    "node.js.detected.package.tslint": "true",
-    "node.js.selected.package.eslint": "(autodetect)",
-    "node.js.selected.package.tslint": "(autodetect)",
-    "nodejs_package_manager_path": "npm",
-    "settings.editor.selected.configurable": "settings.sync",
-    "show.migrate.to.gradle.popup": "false",
-    "to.speed.mode.migration.done": "true",
-    "vue.rearranger.settings.migration": "true"
+  <component name="PropertiesComponent">{
+  &quot;keyToString&quot;: {
+    &quot;ASKED_SHARE_PROJECT_CONFIGURATION_FILES&quot;: &quot;true&quot;,
+    &quot;ModuleVcsDetector.initialDetectionPerformed&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.MCP Project settings loaded&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.TerminalTabsStorage.copyFrom.TerminalArrangementManager.252&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.git.unshallow&quot;: &quot;true&quot;,
+    &quot;RunOnceActivity.typescript.service.memoryLimit.init&quot;: &quot;true&quot;,
+    &quot;SHARE_PROJECT_CONFIGURATION_FILES&quot;: &quot;true&quot;,
+    &quot;codeWithMe.voiceChat.enabledByDefault&quot;: &quot;false&quot;,
+    &quot;com.intellij.ml.llm.matterhorn.ej.ui.settings.DefaultModelSelectionForGA.v1&quot;: &quot;true&quot;,
+    &quot;dart.analysis.tool.window.visible&quot;: &quot;false&quot;,
+    &quot;git-widget-placeholder&quot;: &quot;main&quot;,
+    &quot;junie.onboarding.icon.badge.shown&quot;: &quot;true&quot;,
+    &quot;kotlin-language-version-configured&quot;: &quot;true&quot;,
+    &quot;last_opened_file_path&quot;: &quot;/Users/kellysossoe/Code/Apps/devflow&quot;,
+    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,
+    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,
+    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,
+    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,
+    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,
+    &quot;settings.editor.selected.configurable&quot;: &quot;settings.sync&quot;,
+    &quot;show.migrate.to.gradle.popup&quot;: &quot;false&quot;,
+    &quot;to.speed.mode.migration.done&quot;: &quot;true&quot;,
+    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
   }
-}]]></component>
+}</component>
   <component name="SharedIndexes">
     <attachedChunks>
       <set>
@@ -241,7 +238,8 @@
       <option name="presentableId" value="Default" />
       <updated>1786957258019</updated>
       <workItem from="1786957259143" duration="1286000" />
-      <workItem from="1787262300781" duration="880000" />
+      <workItem from="1787262300781" duration="3274000" />
+      <workItem from="1787616969795" duration="2101000" />
     </task>
     <servers />
   </component>

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/CHANGELOG.md

@@ -5,6 +5,41 @@ Tous les changements notables de ce projet sont documentés dans ce fichier.
 Le format est basé sur [Keep a Changelog](https://keepachangelog.com/fr/1.1.0/),
 et ce projet adhère au [Semantic Versioning](https://semver.org/lang/fr/).
 
+## [4.0.2] - 2026-08-27
+
+### Fixed
+
+- La vérification V4 accepte les preuves de plan V1 conservées lors d'une migration V3 vers V4, sans réécrire les artefacts historiques.
+- Une régression couvre la reprise d'un workflow critical migré avec un plan V1 et une implémentation V2.
+
+## [4.0.1] - 2026-08-26
+
+### Fixed
+
+- Les échecs de clôture structurée Codex sont catégorisés sans exposer de contenu de dépôt ou de sortie.
+- Les écritures observées sont tracées par indicateur et compteur dans l'audit et le worklog, sans relance automatique.
+- La migration V3 → V4 est couverte pour les quatre profils, y compris une reprise critical avancée.
+
+## [4.0.0] - 2026-08-26
+
+### Added
+
+- Activité `preflight-evidence` dédiée avant toute implémentation, avec artefact unique, contrôle de fraîcheur et détection de secrets.
+- Schémas publics `assessment` v2 et `workflow-state` v3, sans modification des schémas V3 publiés.
+- Migration atomique et auditée via `devflow adaptive migrate`, avec dry-run et sauvegarde restaurable.
+
+### Changed
+
+- Les quatre profils utilisent une route V4 explicite et transmettent la preuve de pré-vol à `implement`.
+- La version du paquet et de la CLI passe à 4.0.0.
+
+## [3.0.1] - 2026-08-25
+
+### Fixed
+
+- Les réouvertures auditées sont transmises explicitement aux contrats d'activité et les preuves de pré-vol archivées deviennent des entrées d'implémentation.
+- Codex signale désormais distinctement une réponse finale structurée absente lorsque `--output-last-message` est vide, sans permettre de transition implicite.
+
 ## [3.0.0] - 2026-08-25
 
 ### Changed

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/CLAUDE.md

@@ -5,7 +5,7 @@ politique passent par `assessment.json`; les transitions passent par la CLI et
 ne doivent jamais être réalisées en éditant les fichiers d’état.
 
 <!-- devflow:pipeline:start -->
-Workflow adaptatif à quatre profils, sélectionné par `devflow assess` : quick: assess → implement → verify → done; standard: assess → prepare → implement → verify → done; deep: assess → spec → plan → tasks → implement → verify → review → done; critical: assess → risk-assessment → spec → research → contracts → plan → tasks → implement → verify → review → rollback-check → done. `assessment.json` porte la politique et `workflow-state.json` porte uniquement la progression et les preuves.
+Workflow adaptatif à quatre profils, sélectionné par `devflow assess` : quick: assess → preflight-evidence → implement → verify → done; standard: assess → prepare → preflight-evidence → implement → verify → done; deep: assess → spec → plan → tasks → preflight-evidence → implement → verify → review → done; critical: assess → risk-assessment → spec → research → contracts → plan → tasks → preflight-evidence → implement → verify → review → rollback-check → done. `assessment.json` porte la politique et `workflow-state.json` porte uniquement la progression et les preuves.
 <!-- devflow:pipeline:end -->
 
 ## Commandes de développement

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: devflow-cli
-Version: 3.0.0
+Version: 4.0.2
 Summary: Spec-Driven Development workflow CLI
 Project-URL: Homepage, https://github.com/sopequenoteck/devflow
 Project-URL: Repository, https://github.com/sopequenoteck/devflow
@@ -73,6 +73,10 @@ Chaque invocation de `adaptive run` traite une activité. La politique est dans
 `workflow-state.json`. Les résultats agent sont validés par schéma et les
 preuves d’exécution sensibles sont produites localement par Devflow.
 
+En V4, chaque profil exécute `preflight-evidence` avant `implement`. Cette
+activité archive des faits externes reproductibles dans
+`preflight-evidence.md`, sans secret ni donnée utilisateur.
+
 Les trois adaptateurs acceptent les mêmes contrats structurés :
 
 ```bash
@@ -83,6 +87,19 @@ devflow adaptive run KS-123 --agent cursor
 
 ## Migrer une ancienne feature
 
+Pour un workflow adaptatif V3 déjà persisté :
+
+```bash
+devflow adaptive migrate KS-123 --dry-run
+devflow adaptive migrate KS-123
+```
+
+La migration V4 traite ensemble `assessment.json` et `workflow-state.json`,
+conserve une sauvegarde auditée et restaure le couple original en cas d'échec.
+Voir [le guide V4](docs/v4-migration.md).
+
+Pour une feature antérieure au moteur adaptatif :
+
 ```bash
 devflow migrate KS-123 --dry-run
 devflow migrate KS-123 --profile deep

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/README.md

@@ -45,6 +45,10 @@ Chaque invocation de `adaptive run` traite une activité. La politique est dans
 `workflow-state.json`. Les résultats agent sont validés par schéma et les
 preuves d’exécution sensibles sont produites localement par Devflow.
 
+En V4, chaque profil exécute `preflight-evidence` avant `implement`. Cette
+activité archive des faits externes reproductibles dans
+`preflight-evidence.md`, sans secret ni donnée utilisateur.
+
 Les trois adaptateurs acceptent les mêmes contrats structurés :
 
 ```bash
@@ -55,6 +59,19 @@ devflow adaptive run KS-123 --agent cursor
 
 ## Migrer une ancienne feature
 
+Pour un workflow adaptatif V3 déjà persisté :
+
+```bash
+devflow adaptive migrate KS-123 --dry-run
+devflow adaptive migrate KS-123
+```
+
+La migration V4 traite ensemble `assessment.json` et `workflow-state.json`,
+conserve une sauvegarde auditée et restaure le couple original en cas d'échec.
+Voir [le guide V4](docs/v4-migration.md).
+
+Pour une feature antérieure au moteur adaptatif :
+
 ```bash
 devflow migrate KS-123 --dry-run
 devflow migrate KS-123 --profile deep

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/docs/activity-contracts.md

@@ -5,10 +5,10 @@
 Les quatre frontières centrales sont décrites par des JSON Schemas Draft
 2020-12 embarqués dans le wheel :
 
-- `assessment-v1.schema.json` pour la sélection de politique ;
-- `workflow-state-v2.schema.json` pour la progression et les preuves ;
-- `activity-contract-v1.schema.json` pour l'instruction portable envoyée à
-  l'adaptateur ;
+- `assessment-v1.schema.json` et `workflow-state-v2.schema.json` pour les workflows V3 conservés ;
+- `assessment-v2.schema.json` et `workflow-state-v3.schema.json` pour les routes Devflow V4 ;
+- `activity-contract-v1.schema.json` pour les activités V3 et
+  `activity-contract-v2.schema.json` pour l'instruction V4 incluant le pré-vol ;
 - `activity-result-v1.schema.json` pour la réponse structurée de l'agent.
 
 Le schéma vérifie la structure, les types, les champs obligatoires et refuse les
@@ -43,12 +43,20 @@ validation par devflow
 ```
 
 Le moteur construit un contrat uniquement pour l'activité courante. Dans le
-profil `quick`, l'activité agentique est `implement`. Le profil `standard`
+profil `quick`, `preflight-evidence` précède `implement`. Le profil `standard`
 ajoute `prepare`, exécutée en lecture seule et conservée dans
 `prepare-result.json`. Deep enchaîne `spec`, `plan`, `tasks`, `implement`,
 `verify` et `review`. `assess` est déjà terminé au démarrage, tandis que `done`
 reste une transition déterministe de la CLI.
 
+`preflight-evidence` est une activité documentaire autonome : elle ne réutilise
+pas le contrat conditionnel de `plan`, écrit uniquement
+`preflight-evidence.md` et emploie l'`ActivityResult` commun sans
+`validationPlan`. L'artefact doit décrire les faits, leur source, leur
+reproductibilité, le périmètre, la confidentialité et les limites. Il est
+revalidé avant `implement`; une preuve absente, vide, plus ancienne qu'un
+artefact d'entrée ou ressemblant à un secret bloque la transition.
+
 ## Contenu du contrat
 
 Un `ActivityContract` versionné contient :
@@ -149,6 +157,12 @@ Les sorties brutes et validées sont conservées respectivement dans
 `activity-result.raw.txt` et `activity-result.json`. Une réponse bloquée ou
 invalide ne fait jamais progresser la machine d'état.
 
+`agent-execution.json` conserve uniquement les métadonnées non sensibles de
+l'exécution : code retour, durée, présence et taille de la réponse finale,
+timeout et identifiant opaque de session lorsqu'il est disponible. Codex
+distingue une réponse finale absente, un fichier vide, un JSON invalide et un
+payload refusé par le schéma; aucun de ces cas ne fait progresser le workflow.
+
 Les activités documentaires Deep écrivent exclusivement `spec.md`, `plan.md`
 ou `tasks.md`, puis réutilisent les validateurs historiques et le contrôle de
 traçabilité exigences-tâches. Leurs résultats sont conservés dans

devflow_cli-4.0.2/docs/adr/0001-v4-workflow-compatibility.md

@@ -0,0 +1,49 @@
+# ADR-0001 — Compatibilité des workflows Devflow V3 vers V4
+
+- Statut : accepté
+- Date : 2026-08-26
+
+## Contexte
+
+Devflow V3 persiste la route dans `assessment.json` v1 et
+`workflow-state.json` v2. Le lecteur vérifie son égalité exacte avec la
+politique du profil. Insérer silencieusement `preflight-evidence` rendrait donc
+les états V3 illisibles ou, pire, changerait leur sens pendant une reprise.
+
+## Décision
+
+Devflow V4 publie `assessment` v2, `workflow-state` v3 et
+`activity-contract` v2. Les quatre routes — quick, standard, deep et critical
+— insèrent l'activité autonome `preflight-evidence` immédiatement avant
+`implement`. Les schémas V3 restent immuables et leur lecteur demeure utile à
+la validation de migration.
+
+La migration est une commande latérale explicite. Elle verrouille le workflow,
+valide le couple V3, calcule les deux documents V4, sauvegarde les originaux et
+remplace les deux fichiers. Une interruption restaure le couple original. Le
+dry-run n'écrit rien. Aucune migration automatique n'a lieu lors de `start`,
+`status` ou `run`.
+
+Un workflow situé avant `implement` conserve son activité. S'il attendait
+`implement`, il reprend à `preflight-evidence`. S'il a dépassé
+`implement`, sa progression n'est conservée que lorsqu'un
+`preflight-evidence.md` V4 valide est déjà présent; cette preuve est alors
+reconnue explicitement dans l'audit. Il n'existe aucune réécriture silencieuse
+spécifique à KKS-300.
+
+## Invariants
+
+- Assessment et état sont toujours migrés ou restaurés ensemble.
+- Les dates, preuves et activités V3 terminées sont conservées.
+- La migration est idempotente par détection d'un couple déjà V4.
+- Les originaux et leurs empreintes sont archivés sous `migrations/v4-*`.
+- Une route non canonique, des versions mélangées ou une preuve manquante
+  provoquent un refus actionnable.
+
+## Conséquences
+
+La V4 ajoute des fichiers de schéma et une étape obligatoire à chaque nouveau
+workflow. La compatibilité demande une action opérateur, mais les reprises,
+rollbacks et audits restent déterministes. Le détournement historique d'un
+`plan` rouvert pour produire une preuve disparaît au profit d'un contrat simple
+et stable.

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/docs/cli-reference.md

@@ -24,6 +24,7 @@ Un profil forcé peut augmenter mais jamais réduire la recommandation.
 
 ```bash
 devflow adaptive start ISSUE_ID
+devflow adaptive migrate ISSUE_ID [--dry-run] [--json]
 devflow adaptive status ISSUE_ID [--json]
 devflow adaptive contract ISSUE_ID [--json|--prompt]
 devflow adaptive run ISSUE_ID --agent codex|claude|cursor

devflow_cli-4.0.2/docs/pipeline-reference.generated.md

@@ -0,0 +1,31 @@
+# Référence générée du workflow adaptatif
+
+> Généré par `devflow docs-sync`. Ne pas modifier manuellement.
+
+Workflow adaptatif à quatre profils, sélectionné par `devflow assess` : quick: assess → preflight-evidence → implement → verify → done; standard: assess → prepare → preflight-evidence → implement → verify → done; deep: assess → spec → plan → tasks → preflight-evidence → implement → verify → review → done; critical: assess → risk-assessment → spec → research → contracts → plan → tasks → preflight-evidence → implement → verify → review → rollback-check → done. `assessment.json` porte la politique et `workflow-state.json` porte uniquement la progression et les preuves.
+
+| Profil | Activités | Preuves requises |
+|---|---|---|
+| `quick` | `assess → preflight-evidence → implement → verify → done` | `targeted-check, diff-inspection` |
+| `standard` | `assess → prepare → preflight-evidence → implement → verify → done` | `targeted-tests, regression-check, diff-inspection` |
+| `deep` | `assess → spec → plan → tasks → preflight-evidence → implement → verify → review → done` | `requirements-coverage, test-suite, implementation-review` |
+| `critical` | `assess → risk-assessment → spec → research → contracts → plan → tasks → preflight-evidence → implement → verify → review → rollback-check → done` | `requirements-coverage, test-suite, security-or-data-check, rollback-plan, independent-review` |
+
+## Synchronisation Linear
+
+| Activité | Statut |
+|---|---|
+| `assess` | Backlog |
+| `prepare` | Plan |
+| `risk-assessment` | Research |
+| `spec` | Spec |
+| `research` | Research |
+| `contracts` | Plan |
+| `plan` | Plan |
+| `tasks` | Tasks |
+| `preflight-evidence` | Plan |
+| `implement` | In Progress |
+| `verify` | Review |
+| `review` | Review |
+| `rollback-check` | Review |
+| `done` | Done |

devflow_cli-4.0.2/docs/pipeline.md

@@ -0,0 +1,46 @@
+# Workflow adaptatif
+
+<!-- devflow:pipeline:start -->
+Workflow adaptatif à quatre profils, sélectionné par `devflow assess` : quick: assess → preflight-evidence → implement → verify → done; standard: assess → prepare → preflight-evidence → implement → verify → done; deep: assess → spec → plan → tasks → preflight-evidence → implement → verify → review → done; critical: assess → risk-assessment → spec → research → contracts → plan → tasks → preflight-evidence → implement → verify → review → rollback-check → done. `assessment.json` porte la politique et `workflow-state.json` porte uniquement la progression et les preuves.
+<!-- devflow:pipeline:end -->
+
+## Sources de vérité
+
+- `assessment.json` : identité, signaux, profil, route et preuves exigées.
+- `workflow-state.json` : activité courante, progression et preuves constatées.
+- `activity-contract.json` : autorisations et critères de l’activité courante.
+- `activity-result.json` : résultat structuré et validé de l’agent.
+- `worklog.md` : synthèse humaine, sans autorité sur les transitions.
+
+## Cycle
+
+1. `feature` crée seulement la branche et l’espace de travail.
+2. `assess` calcule la politique de façon déterministe.
+3. `adaptive start` initialise la route choisie.
+4. `adaptive run` archive une preuve externe reproductible dans
+   `preflight-evidence.md` avant toute implémentation.
+5. `adaptive run` construit un contrat, appelle l’adaptateur et valide le
+   résultat.
+6. `verify` produit localement les preuves de tests, régression, sécurité et
+   inspection du diff selon le profil.
+7. Une transition n’est acceptée que lorsque ses preuves ont la bonne source
+   et le résultat `passed`.
+
+Une activité bloquée reste courante. `adaptive reopen` permet une remédiation
+explicite avec motif, sans réécrire l’historique.
+
+## Compatibilité V3 → V4
+
+Les schémas V3 publiés restent inchangés. Un couple persisté
+`assessment` v1 / `workflow-state` v2 se migre explicitement et ensemble :
+
+```bash
+devflow adaptive migrate KS-123 --dry-run
+devflow adaptive migrate KS-123
+```
+
+La migration vérifie les invariants, verrouille le workflow, écrit les deux
+fichiers atomiquement et conserve les originaux avec un journal d'audit sous
+`migrations/v4-*`. Un workflow ayant déjà dépassé `implement` n'est accepté
+que si une preuve de pré-vol V4 valide existe déjà. Aucun fichier n'est modifié
+en dry-run et une erreur intermédiaire restaure le couple original.

devflow_cli-4.0.2/docs/releases/4.0.0.md

@@ -0,0 +1,53 @@
+# Devflow 4.0.0 — Notes de release et décision go/no-go
+
+Date de validation : 2026-08-26
+
+## Contenu
+
+- Routes V4 pour quick, standard, deep et critical avec
+  `preflight-evidence` avant `implement`.
+- Schémas publics `assessment` v2, `workflow-state` v3 et
+  `activity-contract` v2; les versions V3 restent inchangées.
+- Migration V3 → V4 atomique, auditée, réversible et disponible en dry-run.
+- Validation du pré-vol : structure, fraîcheur, confidentialité et propagation
+  explicite vers l'implémentation.
+- Diagnostics Codex distincts pour sortie absente, vide, JSON invalide et
+  schéma refusé, avec arrêt sûr après mutation partielle.
+
+## Matrice validée
+
+| Parcours | Preuve |
+|---|---|
+| Nouveau quick, standard, deep, critical | Test d'acceptation black-box depuis le wheel installé |
+| V3 avant implémentation | Migration positionnant le workflow sur `preflight-evidence` |
+| V3 avancé sans preuve | Refus sans mutation |
+| Dry-run | Empreintes des deux fichiers inchangées |
+| Interruption au second remplacement | Restauration byte-for-byte des deux originaux |
+| Pré-vol vide, incomplet, secret ou désuet | Refus ciblé |
+| Codex final absent, vide, JSON invalide ou hors schéma | Aucun avancement |
+| Build et installation hors dépôt | Wheel 4.0.0 importé avec tous les schémas publics |
+
+## Retour arrière
+
+Pour une migration, restaurer ensemble `assessment.json` et
+`workflow-state.json` depuis le même dossier `migrations/v4-*`, après arrêt des
+exécutions. Pour la distribution, réinstaller 3.0.1 et reprendre uniquement un
+couple V3 restauré; la CLI 3.x ne doit jamais ouvrir un état V4.
+
+## Risques résiduels
+
+- La détection de secrets est défensive mais ne remplace pas une politique DLP;
+  le contrat interdit toute donnée utilisateur ou privée.
+- La fraîcheur repose sur les dates de modification des artefacts d'entrée;
+  les systèmes qui réécrivent arbitrairement ces dates doivent régénérer la
+  preuve.
+- La reprise de session Codex dépend des capacités du CLI installé. Après une
+  mutation suivie d'une réponse finale absente, Devflow exige une
+  réconciliation manuelle et ne rejoue pas automatiquement l'activité.
+
+## Décision
+
+**GO** pour la release 4.0.0 : la suite complète, l'acceptation des quatre
+profils, la migration/ restauration, la synchronisation documentaire, le build
+source+wheel et l'import depuis l'installation hors dépôt sont validés. Les
+risques résiduels ci-dessus sont documentés et ne contournent aucune gate.

devflow_cli-4.0.2/docs/releases/4.0.1.md

@@ -0,0 +1,17 @@
+# Devflow 4.0.1 — Correctif de fiabilité Codex
+
+## Correctifs
+
+- Les sorties structurées Codex distinguent désormais quatre échecs sûrs :
+  fichier final vide, absent, JSON invalide et schéma refusé.
+- L'audit d'exécution et le worklog indiquent le diagnostic, la présence
+  d'écritures observées et leur nombre, sans révéler de chemin ou de contenu.
+- Une écriture suivie d'un échec reste bloquée pour réconciliation manuelle ;
+  aucune relance automatique n'est effectuée.
+
+## Validation
+
+- Suite complète : 476 tests.
+- Acceptation adaptative depuis le wheel installé : validée.
+- Migration V3 → V4 couverte pour quick, standard, deep et critical, dont une
+  reprise critical avec preuve de pré-vol valide.

devflow_cli-4.0.2/docs/v4-migration.md

@@ -0,0 +1,53 @@
+# Migration vers Devflow V4
+
+Devflow V4 ajoute `preflight-evidence` immédiatement avant `implement` dans
+les quatre profils. Les workflows V3 ne sont jamais réécrits silencieusement.
+
+## Contrôles préalables
+
+Le dossier doit contenir un couple cohérent `assessment.json` v1 et
+`workflow-state.json` v2. Commencez toujours par :
+
+```bash
+devflow adaptive migrate ISSUE_ID --dry-run --json
+```
+
+Le dry-run valide les schémas, l'identité, le profil, la route et la
+progression sans créer de sauvegarde ni modifier un octet. Si `implement` a
+déjà commencé ou est terminé, fournissez un `preflight-evidence.md` complet;
+sinon la migration est refusée.
+
+## Migration et reprise
+
+```bash
+devflow adaptive migrate ISSUE_ID
+devflow adaptive status ISSUE_ID
+```
+
+La commande sérialise l'opération avec le verrou du workflow. Les originaux et
+`migration-audit.json` sont conservés sous `migrations/v4-<horodatage>/`. Si
+l'écriture du second fichier échoue, les deux originaux sont restaurés. Une
+nouvelle tentative est sûre : un couple déjà migré est détecté et n'est pas
+réécrit.
+
+Un workflow qui attendait `implement` attend désormais
+`preflight-evidence`. Un workflow moins avancé conserve son activité courante.
+Un workflow plus avancé conserve sa progression uniquement si sa preuve de
+pré-vol existante est reconnue et validée.
+
+## Retour arrière
+
+Arrêtez toute exécution du workflow, puis restaurez ensemble
+`assessment.json` et `workflow-state.json` depuis le même dossier
+`migrations/v4-*`. Ne restaurez jamais un seul des deux fichiers. Vérifiez les
+empreintes `beforeSha256` de `migration-audit.json`, puis utilisez la CLI V3
+pour reprendre ce couple V3.
+
+## Diagnostics
+
+- « migration attend assessment v1 et workflow-state v2 ensemble » : versions
+  mélangées ou fichier déjà altéré ; restaurez un couple cohérent.
+- « route V3 non canonique » : la route persistée ne correspond pas au profil ;
+  examinez le fichier au lieu de forcer une réécriture.
+- « preflight-evidence.md absent/vide/desuète » : produisez une preuve complète
+  sans secret avant de migrer un workflow déjà avancé.

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "devflow-cli"
-version = "3.0.0"
+version = "4.0.2"
 description = "Spec-Driven Development workflow CLI"
 requires-python = ">=3.11"
 license = {text = "MIT"}

{devflow_cli-3.0.0 → devflow_cli-4.0.2}/src/devflow_cli/__init__.py

@@ -1,6 +1,6 @@
 """devflow CLI — workflow de développement adaptatif."""
 
-VERSION = "3.0.0"
+VERSION = "4.0.2"
 
 SUPPORTED_AGENTS = ["claude-code", "codex", "cursor"]
 
@@ -13,6 +13,7 @@ ACTIVITY_LINEAR_MAPPING = {
     "contracts": "Plan",
     "plan": "Plan",
     "tasks": "Tasks",
+    "preflight-evidence": "Plan",
     "implement": "In Progress",
     "verify": "Review",
     "review": "Review",
@@ -38,6 +39,7 @@ ARTIFACTS = [
     "contracts.md",
     "plan.md",
     "tasks.md",
+    "preflight-evidence.md",
     "worklog.md",
     "activity-contract.json",
     "activity-result.json",