devflow-cli 10.0.0__tar.gz → 10.0.1__tar.gz

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/.gitignore

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

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/activity-contract.json

@@ -0,0 +1,162 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-554:quick:implement:v4",
+  "issueId": "KKS-554",
+  "profile": "quick",
+  "guardrails": false,
+  "activity": "implement",
+  "objective": "Consignes du contrat : rôle du validationPlan de plan et prepare, approbation des scripts du dépôt, fin de fichier propre pour implement. Aucune gate ne change. Décisions dans need.md.",
+  "featurePath": ".specify/specs/048-kks-554-contract-guidance",
+  "inputs": [
+    ".specify/specs/048-kks-554-contract-guidance/need.md",
+    ".specify/specs/048-kks-554-contract-guidance/assessment.json",
+    ".specify/specs/048-kks-554-contract-guidance/workflow-state.json",
+    ".specify/specs/048-kks-554-contract-guidance/preflight-evidence.md"
+  ],
+  "allowedActions": [
+    "read",
+    "write",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/048-kks-554-contract-guidance/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.",
+    "Limiter les modifications source au changement demande.",
+    "Suivre les conventions et les tests existants du depot.",
+    "Les preuves de gate sont produites par l'activite locale verify, pas par implement.",
+    "Ne pas retourner blocked uniquement parce qu'une validation d'integration exige un service externe inaccessible depuis le sandbox de l'agent (Docker, base de donnees ou reseau) : executer les autres controles, declarer le check echoue et le risque restant, puis retourner completed si le code est coherent et verifiable par verify.",
+    "Prendre en compte la preuve de pre-vol archivee et ne pas la presenter comme absente."
+  ],
+  "completionCriteria": [
+    "Le changement demande est implemente dans le depot.",
+    "Les fichiers modifies sont listes dans le resultat.",
+    "Les risques ou blocages restants sont explicites."
+  ],
+  "requiredEvidence": [],
+  "expectedOutput": {
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://devflow.dev/schemas/activity-result/v2",
+    "title": "Devflow Activity Result v2",
+    "type": "object",
+    "required": [
+      "schemaVersion",
+      "contractId",
+      "status",
+      "summary",
+      "changedFiles",
+      "checks",
+      "evidence",
+      "remainingRisks",
+      "blockers"
+    ],
+    "properties": {
+      "schemaVersion": {
+        "type": "integer",
+        "const": 2
+      },
+      "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-10.0.1/.specify/specs/048-kks-554-contract-guidance/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "dfde6b08-45bf-4016-979a-de9c335f4447",
+  "agent": "claude",
+  "activity": "implement",
+  "returnCode": 0,
+  "durationSeconds": 986.97,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 3426,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": true,
+  "worktreeChangedFileCount": 11
+}

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/assessment.json

@@ -0,0 +1,34 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-554",
+  "recommendedProfile": "quick",
+  "selectedProfile": "quick",
+  "confidence": "high",
+  "signals": {
+    "scope": "local",
+    "ambiguity": "low",
+    "risk": "low",
+    "contractChange": false,
+    "dataOrSecurity": false
+  },
+  "guardrails": {
+    "active": false,
+    "reasons": []
+  },
+  "reasons": [
+    "le changement est local, clair, peu risque et ne modifie aucun contrat"
+  ],
+  "activities": [
+    "assess",
+    "preflight-evidence",
+    "implement",
+    "verify",
+    "done"
+  ],
+  "requiredEvidence": [
+    "targeted-check",
+    "diff-inspection"
+  ],
+  "assessedAt": "2026-10-19T07:21:06Z",
+  "summary": "Consignes du contrat : rôle du validationPlan de plan et prepare, approbation des scripts du dépôt, fin de fichier propre pour implement. Aucune gate ne change. Décisions dans need.md."
+}

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/evidence/diff-inspection.json

@@ -0,0 +1,35 @@
+{
+  "schemaVersion": 1,
+  "id": "diff-inspection",
+  "outcome": "passed",
+  "generatedAt": "2026-10-19T07:40:03Z",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/activity-contracts.md",
+    "docs/cli-reference.md",
+    "docs/releases/10.0.1.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/core/activity_contracts.py",
+    "src/devflow_cli/core/verification.py",
+    "tests/test_activity_contracts.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-10.0.1/.specify/specs/048-kks-554-contract-guidance/evidence/targeted-check.json

@@ -0,0 +1,29 @@
+{
+  "schemaVersion": 1,
+  "id": "targeted-check",
+  "outcome": "passed",
+  "startedAt": "2026-10-19T07:39:58Z",
+  "completedAt": "2026-10-19T07:40:03Z",
+  "commands": [
+    {
+      "id": "AUTO-PYTHON",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_activity_contracts.py",
+        "tests/test_verification.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [  9%]\n........................................................................ [ 18%]\n........................................................................ [ 27%]\n........................................................................ [ 37%]\n........................................................................ [ 46%]\n........................................................................ [ 55%]\n........................................................................ [ 64%]\n........................................................................ [ 74%]\n........................................................................ [ 83%]\n........................................................................ [ 92%]\n..........................................................               [100%]\n778 passed in 0.94s\n",
+      "stderr": "   Building devflow-cli @ file:///Users/kellysossoe/Code/Apps/devflow\n      Built devflow-cli @ file:///Users/kellysossoe/Code/Apps/devflow\nUninstalled 1 package in 1ms\nInstalled 1 package in 1ms\n"
+    }
+  ],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/implement-result.json

@@ -0,0 +1,77 @@
+{
+  "schemaVersion": 2,
+  "contractId": "KKS-554:quick:implement:v4",
+  "status": "completed",
+  "summary": "Les trois consignes de need.md sont implémentées, sans toucher à aucune gate ni à aucun validateur. D1 : la constante VALIDATION_PLAN_ROLE_CONSTRAINT est ajoutée aux contrats de prepare (standard) et de plan (deep). Les règles de validation_policy_guidance étaient déjà dans le contrat de plan depuis la 6.0.0, comme l'indique la preuve de pré-vol : elles ne sont pas dupliquées, et un test vérifie qu'elles n'y figurent qu'une fois. D2 : validation_policy_guidance précise qu'un script du dépôt invoqué par son chemin (./tests/run-tests.sh) est un exécutable hors liste et exige approvalReason. D3 : la constante FILE_ENDING_CONSTRAINT est ajoutée au seul contrat d'implement. Tests ajoutés : présence et absence par activité et par profil, sur toutes les combinaisons de route, et textes exacts. La documentation est alignée dans docs/activity-contracts.md et docs/cli-reference.md. La version passe à 10.0.1 (pyproject.toml, __init__.py, uv.lock, CHANGELOG.md), avec des notes dans docs/releases/10.0.1.md qui incluent le retour à la 10.0.0.",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/activity-contracts.md",
+    "docs/cli-reference.md",
+    "docs/releases/10.0.1.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/core/activity_contracts.py",
+    "src/devflow_cli/core/verification.py",
+    "tests/test_activity_contracts.py",
+    "tests/test_verification.py",
+    "uv.lock"
+  ],
+  "checks": [
+    {
+      "id": "targeted-tests",
+      "command": "uv run --no-sync pytest -q tests/test_verification.py tests/test_activity_contracts.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "full-suite-real-home",
+      "command": "uv run --no-sync pytest -q",
+      "exitCode": 1,
+      "status": "failed"
+    },
+    {
+      "id": "full-suite-isolated-home",
+      "command": "UV_CACHE_DIR=$(uv cache dir) HOME=<scratchpad>/home uv run --no-sync pytest -q",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "run-tests",
+      "command": "./tests/run-tests.sh",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "docs-sync",
+      "command": "uv run --no-sync devflow docs-sync --check",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "release-version",
+      "command": "uv run --no-sync python scripts/check_release.py --main-pyproject <scratchpad>/main-pyproject.toml",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "diff-check",
+      "command": "git diff --check",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [],
+  "remainingRisks": [
+    "La suite complète lancée avec le vrai HOME a échoué uniquement sur le garde-fou de télémétrie (2735 tests passés). Pendant l'exécution, des parcours Devflow réels lancés en parallèle ont écrit dans ~/.devflow/telemetry.jsonl : KKS-552 dans kreview à 07:31Z, KKS-481 dans kpanel à 07:33Z. C'est la limite que le garde-fou annonce lui-même. Relancée avec un HOME isolé, la suite passe en code 0 et n'écrit aucun fichier .devflow. verify peut retomber sur le même échec si d'autres parcours tournent en même temps.",
+    "Contrairement à ce que dit le constat C1 de need.md, plan recevait déjà les règles de validation_policy_guidance. Les notes 10.0.1 le précisent ; rien n'a été dupliqué.",
+    "Les tests automatisés ne peuvent pas montrer l'effet des nouvelles consignes sur un agent réel : il ne sera observable qu'au prochain parcours.",
+    "La friction 3c84719c sera résolue après la publication vérifiée, pas pendant ce parcours."
+  ],
+  "blockers": [],
+  "observation": {
+    "baseRecordedAt": "2026-10-19T07:23:14Z",
+    "baseHead": "f9fff5931acff5041f3b48d479ac122d002fccc6",
+    "observedAt": "2026-10-19T07:39:42Z",
+    "head": "f9fff5931acff5041f3b48d479ac122d002fccc6"
+  }
+}

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/need.md

@@ -0,0 +1,63 @@
+# KKS-554 — Préciser le contrat : rôle du validationPlan, approbation des scripts du dépôt, fin de fichier propre
+
+Source : issue Linear KKS-554, conception du 2026-10-19 avec Kelly (option A). **Aucune gate ne
+change** : seules les consignes que le contrat d'activité donne à l'agent sont précisées.
+Constitution, article IV : chaque consigne répond à un constat observé.
+
+## Constats
+
+| # | Constat observé | Où |
+|---|---|---|
+| C1 | Friction `3c84719c` (KKS-553, 9.0.1) : en `deep`, `plan` a été validé avec un `validationPlan` qui ne contrôlait que `plan.md` (`rg`) et contenait `git diff --exit-code`, sans aucun test ; `verify` tire de cette liste la preuve `test-suite`. Le contrat ne dit nulle part que cette liste est celle que `verify` exécutera après `implement`. `plan` ne reçoit pas les règles de `validation_policy_guidance`, que reçoit `prepare`. | consignes de `plan` et `prepare`, `build_activity_contract` (`src/devflow_cli/core/activity_contracts.py`) ; `validation_policy_guidance` (`src/devflow_cli/core/verification.py`) |
+| C2 | `approvalReason` oublié pour `./tests/run-tests.sh` en `prepare` (KKS-545, KKS-547) : la consigne parle d'« exécutable hors liste, dont docker », sans dire qu'un script du dépôt en est un. | `validation_policy_guidance` |
+| C3 | `implement` a laissé une ligne vide finale (KKS-540, KKS-553) ; `verify` l'a refusée chaque fois (`git diff --check`, `diff-inspection-failed`). | consignes d'`implement` |
+
+## Décisions (non rediscutables dans ce parcours)
+
+- **D1** — `plan` (deep) et `prepare` (standard) reçoivent une consigne explicite : le
+  `validationPlan` est la liste que `verify` exécutera **après `implement`** pour produire la
+  preuve ; il lance les tests du lot (suite du projet et tests ciblés) ; il ne contrôle pas le
+  document produit par l'activité ; il ne contient aucune commande vouée à échouer après
+  `implement` (par exemple `git diff --exit-code`). `plan` reçoit aussi les règles de
+  `validation_policy_guidance`, comme `prepare`.
+- **D2** — `validation_policy_guidance` dit qu'un script du dépôt invoqué par son chemin (par
+  exemple `./tests/run-tests.sh`) est un exécutable hors liste et exige `approvalReason`.
+- **D3** — `implement` reçoit la consigne : chaque fichier créé ou modifié se termine par un seul
+  saut de ligne, sans espace en fin de ligne ; `git diff --check` doit être propre avant la
+  sortie structurée.
+- Aucun validateur, aucune gate, aucun motif de refus ni format ne change.
+
+## Attendu
+
+- Le contrat de `plan` et celui de `prepare` contiennent la consigne D1 ; celui de `plan`
+  contient aussi les règles de politique ; celui d'`implement` contient D3 ; la politique
+  contient D2 (tests sur `build_activity_contract` et `validation_policy_guidance`).
+- Les autres activités ne reçoivent pas ces consignes.
+- Documentation (`docs/activity-contracts.md` ou l'endroit qui décrit le `validationPlan` et
+  ses approbations) alignée.
+
+## Tests attendus
+
+- Aucun agent réel ; aucun appel à Linear.
+- Présence et absence des consignes par activité et par profil ; textes exacts testés une fois.
+- Suite complète verte, `./tests/run-tests.sh` vert, `uv run devflow docs-sync --check` vert.
+
+## Livraison
+
+- Version **10.0.1**. La version de la PR doit être strictement supérieure à celle de `main`
+  (10.0.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/10.0.1.md`, avec le retour à la 10.0.0.
+- Résolution de `3c84719c` au journal après publication vérifiée, pas pendant le parcours.
+
+## Hors périmètre
+
+- Tout refus automatique d'un `validationPlan` (détection de commandes de test, refus de
+  `git diff --exit-code`) : écarté par Kelly, un seul cas observé.
+
+## Contraintes d'exécution
+
+- Le parcours est piloté par la CLI 10.0.0 installée.
+- 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.

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/preflight-evidence-result.json

@@ -0,0 +1,58 @@
+{
+  "schemaVersion": 2,
+  "contractId": "KKS-554:quick:preflight-evidence:v4",
+  "status": "completed",
+  "summary": "J'ai écrit preflight-evidence.md avec les sections Faits observés, Source, Reproductibilité, Périmètre, Confidentialité et Limites. La capture a été faite sur HEAD f9fff59, en version 10.0.0. Les constats C2 et C3 sont reproduits. C2 : sans approvalReason, le validateur refuse ./tests/run-tests.sh. C3 : une ligne vide en fin de fichier fait sortir git diff --check en code 2. C1 est confirmé par le validationPlan archivé de KKS-553, qui ne contient aucun test. Il y a un écart avec need.md : le contrat de plan reçoit déjà validation_policy_guidance depuis ae5fbba (v6.0.0), et un test existant ainsi que docs/activity-contracts.md le vérifient. Il reste seulement à ajouter la consigne sur le rôle du validationPlan, sans dupliquer ces règles. Référence : 593 tests ciblés passent et docs-sync --check passe.",
+  "changedFiles": [
+    ".specify/specs/048-kks-554-contract-guidance/preflight-evidence.md"
+  ],
+  "checks": [
+    {
+      "id": "targeted-tests-baseline",
+      "command": "uv run --no-sync pytest -q tests/test_verification.py tests/test_activity_contracts.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "docs-sync-baseline",
+      "command": "uv run --no-sync devflow docs-sync --check",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "c2-script-policy",
+      "command": "uv run --no-sync python <scratchpad>/c2.py (validate_planned_command sur ./tests/run-tests.sh)",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [
+    {
+      "id": "c1-plan-guidance",
+      "outcome": "passed",
+      "report": "Le contrat de plan reçoit déjà validation_policy_guidance (activity_contracts.py:280-281, commit ae5fbba, test test_plan_and_tasks_contracts_expose_executable_policy). Ni plan ni prepare ne contient de consigne sur le rôle du validationPlan. Le validationPlan archivé de KKS-553 se limite à 3 rg sur plan.md, git diff --exit-code et docs-sync, sans aucun test."
+    },
+    {
+      "id": "c2-repo-script",
+      "outcome": "passed",
+      "report": "Sans approvalReason, validate_planned_command refuse ./tests/run-tests.sh avec le message 'chemin exécutable non approuvé'. Avec approvalReason, la commande est acceptée au plan. La consigne verification.py:103-105 ne mentionne pas les scripts du dépôt."
+    },
+    {
+      "id": "c3-eof",
+      "outcome": "passed",
+      "report": "Dans un dépôt jetable, une ligne vide en fin de fichier fait sortir git diff --check en code 2 ; un seul saut de ligne final donne le code 0. Les consignes d'implement ne disent rien de la fin de fichier."
+    }
+  ],
+  "remainingRisks": [
+    "Écart avec need.md : C1 et D1 supposent que plan ne reçoit pas validation_policy_guidance, or il la reçoit déjà en 10.0.0. implement ne doit pas dupliquer ces règles, et les notes 10.0.1 doivent le refléter.",
+    "La suite complète et ./tests/run-tests.sh n'ont pas été lancés pendant cette activité ; seuls les tests ciblés l'ont été.",
+    "L'effet des nouvelles consignes sur un agent réel ne peut pas être prouvé par des tests automatisés."
+  ],
+  "blockers": [],
+  "observation": {
+    "baseRecordedAt": "2026-10-19T07:21:07Z",
+    "baseHead": "f9fff5931acff5041f3b48d479ac122d002fccc6",
+    "observedAt": "2026-10-19T07:23:14Z",
+    "head": "f9fff5931acff5041f3b48d479ac122d002fccc6"
+  }
+}

devflow_cli-10.0.1/.specify/specs/048-kks-554-contract-guidance/preflight-evidence.md

@@ -0,0 +1,156 @@
+# Preflight evidence — KKS-554
+
+Objectif (`need.md`, qui fait foi) : préciser les consignes du contrat d'activité sans changer
+aucune gate. D1 : `plan` (deep) et `prepare` (standard) reçoivent une consigne sur le rôle du
+`validationPlan` (liste exécutée par `verify` après `implement`, tests du lot, pas de contrôle
+du document produit, aucune commande vouée à échouer comme `git diff --exit-code`) ; `plan`
+reçoit aussi les règles de `validation_policy_guidance`. D2 : un script du dépôt invoqué par son
+chemin est un exécutable hors liste qui exige `approvalReason`. D3 : `implement` termine chaque
+fichier par un seul saut de ligne, sans espace en fin de ligne, `git diff --check` propre.
+Version cible 10.0.1. L'`objective` du contrat résume ce périmètre sans contradiction.
+
+Capture faite le 2026-10-19 sur la branche `048-kks-554-contract-guidance`, HEAD `f9fff59`,
+dépôt en 10.0.0 (`pyproject.toml` : `version = "10.0.0"` ; `uv run --no-sync devflow --version`
+et CLI globale `devflow --version` : `devflow CLI v10.0.0`), macOS (Darwin 27.0.0). Arbre de
+travail : aucun fichier suivi modifié ; seul le dossier de cette feature est non suivi. État du
+parcours (lu, non modifié) : profil `quick` sans garde-fous, activité courante
+`preflight-evidence`, preuves exigées par `verify` : `targeted-check` et `diff-inspection`.
+
+## Faits observés
+
+« Reproduit » : rejoué par exécution pendant cette activité ; « lu » : constaté par lecture du
+code ou des fichiers.
+
+### C1 — rôle du validationPlan (D1)
+
+1. **Lu.** `src/devflow_cli/core/activity_contracts.py:280-281` : `if activity in {"plan",
+   "tasks"}: constraints.extend(validation_policy_guidance())`. Le contrat de `plan` reçoit
+   donc **déjà** les six règles de `validation_policy_guidance`, depuis le commit `ae5fbba`
+   (2026-09-23, contenu dans `v6.0.0`). Le test
+   `tests/test_activity_contracts.py:233` (`test_plan_and_tasks_contracts_expose_executable_policy`)
+   le vérifie pour `plan` et `tasks`, et `docs/activity-contracts.md:162-163` l'écrit
+   (« Le contrat de `prepare`, `plan` et `tasks` expose la liste des exécutables autorisés »).
+   **Écart avec `need.md`** : le constat C1 affirme que « `plan` ne reçoit pas les règles de
+   `validation_policy_guidance` » ; c'est inexact en 10.0.0 comme en 9.0.1 (le contrat `tasks`
+   archivé de KKS-553, `attempts/reopen-001/activity-contract.json`, contient ces règles, issues
+   de la même branche de code). La seconde moitié de D1 est donc déjà satisfaite : `implement`
+   n'a rien à ajouter pour elle, sinon éviter un doublon dans le contrat de `plan`.
+2. **Lu.** `prepare` reçoit `*validation_policy_guidance()` (`activity_contracts.py:400`).
+   Ni `plan` (`:330-349`) ni `prepare` (`:389-407`) ne contient de consigne disant que le
+   `validationPlan` est exécuté par `verify` après `implement`, qu'il doit lancer les tests du
+   lot, ni qu'il ne doit pas contrôler le document produit. Le reste de D1 est donc à ajouter.
+3. **Lu.** Le `validationPlan` du `plan` de KKS-553 avant réouverture
+   (`.specify/specs/047-kks-553-cli-surface-reduction/attempts/reopen-001/plan-result.json`)
+   contient 5 commandes : trois `rg` sur `plan.md` (présence, section `Summary`, mention
+   `PL-13`), `git diff --exit-code --stat` et `uv run devflow docs-sync --check` ; aucune
+   commande de test. Conforme au constat C1 et à la friction `3c84719c`.
+4. **Reproduit.** `devflow feedback list` affiche la friction `3c84719c` (`friction`,
+   `majeur`, `ouvert`, version 9.0.1) ; à résoudre après publication, pas pendant ce parcours.
+
+### C2 — script du dépôt et approvalReason (D2)
+
+5. **Lu.** `src/devflow_cli/core/verification.py:103-105` : la règle actuelle dit « Un
+   executable hors liste, dont docker, requiert une approbation explicite… », sans mentionner
+   les scripts du dépôt invoqués par leur chemin. `DEFAULT_ALLOWED_PATHS` ne contient que
+   `./gradlew` et `./mvnw` (`verification.py:43`).
+6. **Reproduit.** `validate_planned_command` sur `["./tests/run-tests.sh"]` :
+   sans `approvalReason`, refus « run-tests: chemin exécutable non approuvé
+   './tests/run-tests.sh'; renseignez approvalReason dans validationPlan, puis faites approuver
+   la validation par devflow adaptive approve-command ID VALIDATION » ; avec `approvalReason`,
+   acceptée au plan (exécution soumise à approbation). Le validateur traite déjà ce cas ; seule
+   la consigne donnée à l'agent manque. D2 ne touche donc aucune gate.
+
+### C3 — fin de fichier propre (D3)
+
+7. **Lu.** Les consignes d'`implement` (`activity_contracts.py:409-421`) ne disent rien de la
+   fin de fichier ni de `git diff --check`.
+8. **Reproduit.** Dans un dépôt git jetable (répertoire temporaire de session), un fichier
+   modifié terminé par une ligne vide fait sortir `git diff --check` en code 2
+   (« new blank line at EOF ») ; terminé par un seul saut de ligne, code 0. Cohérent avec les
+   refus `diff-inspection-failed` de `verify` cités par C3.
+
+### Référence de tests et de documentation
+
+9. **Reproduit.** `uv run --no-sync pytest -q tests/test_verification.py
+   tests/test_activity_contracts.py` : `593 passed`, code 0, sur le code 10.0.0 non modifié.
+10. **Reproduit.** `uv run --no-sync devflow docs-sync --check` : « Documentation déjà
+    synchronisée. », code 0.
+11. **Lu.** `tests/test_activity_contracts.py` ne contient aucune assertion sur
+    `approvalReason` pour un script, sur `git diff --check` ni sur le saut de ligne final :
+    les tests de D1 (partie consigne), D2 et D3 sont à créer.
+12. **Lu.** La documentation qui décrit le `validationPlan` et ses approbations est
+    `docs/activity-contracts.md:153-177` ; `docs/cli-reference.md:180-193` décrit
+    `approvalReason` et `approve-command`. Ce sont les endroits à aligner.
+
+## Source
+
+- `need.md` et `assessment.json` de cette feature (lus).
+- Code : `src/devflow_cli/core/activity_contracts.py` (`build_activity_contract`),
+  `src/devflow_cli/core/verification.py` (`validation_policy_guidance`,
+  `validate_planned_command`, `DEFAULT_ALLOWED_PATHS`).
+- Tests : `tests/test_activity_contracts.py`, `tests/test_verification.py`.
+- Documentation : `docs/activity-contracts.md`, `docs/cli-reference.md`.
+- Archives KKS-553 : `.specify/specs/047-kks-553-cli-surface-reduction/attempts/reopen-001/`
+  (`plan-result.json`, `activity-contract.json`).
+- Journal de retours : `devflow feedback list` (entrée `3c84719c`).
+- Historique git : `git log -S` sur la ligne `if activity in {"plan", "tasks"}`, puis
+  `git tag --contains ae5fbba`.
+
+## Reproductibilité
+
+Depuis la racine du dépôt, HEAD `f9fff59`, sans modification :
+
+1. `sed -n 265,421p src/devflow_cli/core/activity_contracts.py` et
+   `sed -n 85,110p src/devflow_cli/core/verification.py` (faits 1, 2, 5, 7).
+2. `git log --oneline -S'if activity in {"plan", "tasks"}' -- src/devflow_cli/core/activity_contracts.py`
+   puis `git tag --contains ae5fbba` (fait 1).
+3. Lecture de `validationPlan` dans le `plan-result.json` archivé de KKS-553 (fait 3).
+4. `devflow feedback list`, recherche de `3c84719c` (fait 4).
+5. Script Python lancé par `uv run --no-sync python` : construire
+   `ValidationCommand(id="run-tests", args=["./tests/run-tests.sh"], blocking=True, timeout=600)`
+   et appeler `validate_planned_command` avec `None` puis avec un motif (fait 6).
+6. Dans un répertoire temporaire : `git init`, commit d'un fichier, réécriture avec une ligne
+   vide finale, `git diff --check` (code 2), réécriture propre, `git diff --check` (code 0)
+   (fait 8).
+7. `uv run --no-sync pytest -q tests/test_verification.py tests/test_activity_contracts.py`
+   et `uv run --no-sync devflow docs-sync --check` (faits 9, 10).
+
+Les scripts ad hoc ont été écrits dans le répertoire temporaire de session, hors du dépôt.
+
+## Périmètre
+
+- Couvert : état actuel des consignes de `plan`, `prepare` et `implement`, de la politique
+  `validation_policy_guidance`, du traitement d'un script du dépôt par le validateur, du
+  comportement de `git diff --check`, de la référence de tests ciblés et de `docs-sync`.
+- Fichiers que l'implémentation touchera vraisemblablement : `activity_contracts.py`,
+  `verification.py`, `tests/test_activity_contracts.py`, `tests/test_verification.py`,
+  `docs/activity-contracts.md` (et au besoin `docs/cli-reference.md`), puis `pyproject.toml`,
+  `src/devflow_cli/__init__.py`, `uv.lock`, `CHANGELOG.md`, `docs/releases/10.0.1.md`.
+- Hors périmètre (`need.md`) : tout refus automatique d'un `validationPlan`, tout changement
+  de validateur, de gate, de motif de refus ou de format.
+- Cette activité n'a modifié que `preflight-evidence.md`.
+
+## Confidentialité
+
+Aucun secret, jeton ni donnée utilisateur n'est recopié. Les faits reposent sur le code, les
+tests, la documentation et les artefacts de parcours du dépôt. Le journal de retours n'est cité
+que par l'identifiant, le type, la gravité, le statut et la version de l'entrée `3c84719c`.
+Aucun appel à Linear ni à un agent réel n'a été fait.
+
+## Limites
+
+- **Écart avec `need.md` (fait 1)** : la partie de C1 et D1 « `plan` reçoit aussi les règles
+  de `validation_policy_guidance` » est déjà satisfaite en 10.0.0. `implement` doit ajouter
+  uniquement la consigne sur le rôle du `validationPlan` et ne pas dupliquer les règles dans le
+  contrat de `plan` ; l'attendu « celui de `plan` contient aussi les règles de politique » est
+  déjà couvert par le test existant. Le constat de la friction `3c84719c` (validationPlan sans
+  test) reste fondé : la cause est l'absence de consigne sur le rôle de la liste, pas l'absence
+  des règles de politique. Cet écart ne bloque pas l'activité ; il est à prendre en compte dans
+  les notes de version 10.0.1.
+- La suite complète (`uv run pytest -q`) et `./tests/run-tests.sh` n'ont pas été lancés pendant
+  cette activité ; seule la référence ciblée (593 tests) l'a été. `verify` les exécutera.
+- Les refus `diff-inspection-failed` de KKS-540 et KKS-553 (C3) et l'oubli d'`approvalReason`
+  en KKS-545 et KKS-547 (C2) sont repris de `need.md` ; leur cause est confirmée ici par
+  reproduction minimale (faits 6 et 8), pas par relecture de ces parcours.
+- L'effet des nouvelles consignes sur le comportement d'un agent réel ne peut pas être prouvé
+  par les tests automatisés ; il ne sera observable que lors d'un prochain parcours réel.