devflow-cli 9.0.0__tar.gz → 9.0.1__tar.gz

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/.gitignore

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

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/activity-contract.json

@@ -0,0 +1,169 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-547:standard:rollback-check:v4",
+  "issueId": "KKS-547",
+  "profile": "standard",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Verrous de la CLI ignorés par git via .specify/specs/.gitignore, risques restants limités aux activités complétées et au passage en cours, condition morte retirée. Décisions dans need.md.",
+  "featurePath": ".specify/specs/046-kks-547-gates-observation-leftovers",
+  "inputs": [
+    ".specify/specs/046-kks-547-gates-observation-leftovers/need.md",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/assessment.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/workflow-state.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/risk-assessment.md",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/prepare-result.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/implement-result.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/evidence/targeted-tests.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/evidence/regression-check.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/evidence/diff-inspection.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/evidence/security-or-data-check.json",
+    ".specify/specs/046-kks-547-gates-observation-leftovers/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/046-kks-547-gates-observation-leftovers/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/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-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "e457ffdc-0412-447e-ba45-2c3152bcbfba",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 103.036,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 7089,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/assessment.json

@@ -0,0 +1,44 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-547",
+  "recommendedProfile": "standard",
+  "selectedProfile": "standard",
+  "confidence": "high",
+  "signals": {
+    "scope": "multiple",
+    "ambiguity": "low",
+    "risk": "low",
+    "contractChange": false,
+    "dataOrSecurity": true
+  },
+  "guardrails": {
+    "active": true,
+    "reasons": [
+      "le changement touche aux donnees ou a la securite"
+    ]
+  },
+  "reasons": [
+    "plusieurs composants sont affectes"
+  ],
+  "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-18T12:56:20Z",
+  "summary": "Verrous de la CLI ignorés par git via .specify/specs/.gitignore, risques restants limités aux activités complétées et au passage en cours, condition morte retirée. Décisions dans need.md."
+}

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/evidence/diff-inspection.json

@@ -0,0 +1,38 @@
+{
+  "schemaVersion": 1,
+  "id": "diff-inspection",
+  "outcome": "passed",
+  "generatedAt": "2026-10-18T13:25:51Z",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/cli-reference.md",
+    "docs/releases/9.0.1.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/commands/adaptive.py",
+    "src/devflow_cli/commands/feature.py",
+    "src/devflow_cli/core/automatic_evidence.py",
+    "src/devflow_cli/core/worklog.py",
+    "tests/test_activity_base.py",
+    "tests/test_cmd_adaptive.py",
+    "tests/test_cmd_feature.py",
+    "tests/test_worklog.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-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/evidence/regression-check.json

@@ -0,0 +1,112 @@
+{
+  "schemaVersion": 1,
+  "id": "regression-check",
+  "outcome": "passed",
+  "startedAt": "2026-10-18T13:16:55Z",
+  "completedAt": "2026-10-18T13:25:51Z",
+  "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-remaining-risks",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_worklog.py",
+        "tests/test_cmd_adaptive.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 24%]\n........................................................................ [ 48%]\n........................................................................ [ 72%]\n........................................................................ [ 96%]\n..........                                                               [100%]\n298 passed in 97.61s (0:01:37)\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-targeted-dead-condition",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_automatic_evidence.py",
+        "tests/test_assessment.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 25%]\n........................................................................ [ 51%]\n........................................................................ [ 77%]\n................................................................         [100%]\n280 passed in 22.36s\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-full-suite",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [  2%]\n........................................................................ [  5%]\n........................................................................ [  7%]\n........................................................................ [ 10%]\n........................................................................ [ 13%]\n........................................................................ [ 15%]\n........................................................................ [ 18%]\n........................................................................ [ 21%]\n........................................................................ [ 23%]\n........................................................................ [ 26%]\n........................................................................ [ 29%]\n........................................................................ [ 31%]\n........................................................................ [ 34%]\n........................................................................ [ 36%]\n........................................................................ [ 39%]\n........................................................................ [ 42%]\n........................................................................ [ 44%]\n........................................................................ [ 47%]\n........................................................................ [ 50%]\n........................................................................ [ 52%]\n........................................................................ [ 55%]\n........................................................................ [ 58%]\n........................................................................ [ 60%]\n........................................................................ [ 63%]\n........................................................................ [ 66%]\n........................................................................ [ 68%]\n........................................................................ [ 71%]\n........................................................................ [ 73%]\n........................................................................ [ 76%]\n........................................................................ [ 79%]\n........................................................................ [ 81%]\n........................................................................ [ 84%]\n........................................................................ [ 87%]\n........................................................................ [ 89%]\n........................................................................ [ 92%]\n........................................................................ [ 95%]\n........................................................................ [ 97%]\n..............................................................           [100%]\n2726 passed in 274.38s (0:04:34)\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": ""
+    }
+  ],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/evidence/security-or-data-check.json

@@ -0,0 +1,65 @@
+{
+  "schemaVersion": 1,
+  "id": "security-or-data-check",
+  "outcome": "passed",
+  "startedAt": "2026-10-18T13:16:55Z",
+  "completedAt": "2026-10-18T13:25:51Z",
+  "commands": [
+    {
+      "id": "PREP-data-gitignore-preservation",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_cmd_feature.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "...............                                                          [100%]\n15 passed in 0.28s\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-data-observation-locks",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_activity_base.py",
+        "tests/test_worktree_snapshot.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 41%]\n........................................................................ [ 82%]\n..............................                                           [100%]\n174 passed in 11.39s\n",
+      "stderr": ""
+    },
+    {
+      "id": "PREP-rollback-release-consistency",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_release.py",
+        "tests/test_version.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "..................................                                       [100%]\n34 passed in 0.29s\n",
+      "stderr": ""
+    }
+  ],
+  "executionFindings": [],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/evidence/targeted-tests.json

@@ -0,0 +1,31 @@
+{
+  "schemaVersion": 1,
+  "id": "targeted-tests",
+  "outcome": "passed",
+  "startedAt": "2026-10-18T13:16:55Z",
+  "completedAt": "2026-10-18T13:25:51Z",
+  "commands": [
+    {
+      "id": "AUTO-PYTHON",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_activity_base.py",
+        "tests/test_cmd_adaptive.py",
+        "tests/test_cmd_feature.py",
+        "tests/test_worklog.py"
+      ],
+      "blocking": true,
+      "returncode": 0,
+      "succeeded": true,
+      "timedOut": false,
+      "workingDirectory": ".",
+      "stdout": "........................................................................ [ 15%]\n........................................................................ [ 30%]\n........................................................................ [ 46%]\n........................................................................ [ 61%]\n........................................................................ [ 76%]\n........................................................................ [ 92%]\n.....................................                                    [100%]\n469 passed in 113.99s (0:01:53)\n",
+      "stderr": ""
+    }
+  ],
+  "worktreeMutations": [],
+  "waiversApplied": []
+}

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/implement-result.json

@@ -0,0 +1,87 @@
+{
+  "schemaVersion": 2,
+  "contractId": "KKS-547:standard:implement:v4",
+  "status": "completed",
+  "summary": "KKS-547 est implémenté conformément à need.md (Q2, Q3, P3) et livré en 9.0.1.\n\n(Q2) feature.py : nouvelle fonction _ignore_cli_locks(specs_root), sur le modèle de _ignore_agent_traces et appelée juste après elle. Elle écrit dans .specify/specs/.gitignore les règles .workflow-state.lock, .agent-run.lock et .feature-lock. Seules les règles absentes sont ajoutées, après comparaison ligne à ligne ; un saut de ligne est ajouté si le fichier n'en a pas en fin ; le contenu existant n'est jamais réécrit. Le code d'observation est inchangé.\n\n(Q3) worklog.latest_remaining_risks(feature_dir, state) reste la seule fonction et garde ses deux appelants (worklog.py, adaptive._operational_status). Elle reçoit désormais l'état et ne lit que :\n- les résultats des activités de completedActivities ;\n- celui de currentActivity si observation.observedAt >= activityBase.recordedAt.\nUn bloc absent ou invalide, ou une base nulle, compte comme « hors du passage en cours », sans exception. L'ordre de la route et la règle « dernier résultat lisible » sont inchangés.\n\n(P3) La condition `and not guardrails_active(state)` est retirée de run_automatic_verification.\n\nDocumentation : docs/cli-reference.md (devflow feature, risques restants). La limite d'observation de docs/pipeline.md reste exacte et n'est pas modifiée.\n\nVersion 9.0.1 dans pyproject.toml, __init__.py, uv.lock et CHANGELOG.md. Notes dans docs/releases/9.0.1.md, avec le retour à la 9.0.0.\n\nTests :\n- Nouveaux : création, idempotence, contenu préservé, règle partielle et git status réel à deux features (test_cmd_feature) ; observation d'une autre feature (test_activity_base) ; cas unitaires Q3 sur la base (antérieur, égal, postérieur, sans bloc, base invalide) dans test_worklog ; réouverture réelle depuis done vers implement et vers review, résultat courant du passage, blocked réel écrit par le runner (test_cmd_adaptive).\n- Adaptés : les tests H1 existants, qui supposaient des résultats d'activités non complétées.\n\nLa preuve de pré-vol archivée (preflight-evidence.md) a été prise en compte : faits 1 à 14, et limites R5/R6 couvertes par des tests.",
+  "changedFiles": [
+    "CHANGELOG.md",
+    "docs/cli-reference.md",
+    "docs/releases/9.0.1.md",
+    "pyproject.toml",
+    "src/devflow_cli/__init__.py",
+    "src/devflow_cli/commands/adaptive.py",
+    "src/devflow_cli/commands/feature.py",
+    "src/devflow_cli/core/automatic_evidence.py",
+    "src/devflow_cli/core/worklog.py",
+    "tests/test_activity_base.py",
+    "tests/test_cmd_adaptive.py",
+    "tests/test_cmd_feature.py",
+    "tests/test_worklog.py",
+    "uv.lock"
+  ],
+  "checks": [
+    {
+      "id": "data-gitignore-preservation",
+      "command": "uv run pytest -q tests/test_cmd_feature.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "data-observation-locks",
+      "command": "uv run pytest -q tests/test_activity_base.py tests/test_worktree_snapshot.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "targeted-remaining-risks",
+      "command": "uv run pytest -q tests/test_worklog.py tests/test_cmd_adaptive.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "targeted-dead-condition",
+      "command": "uv run pytest -q tests/test_automatic_evidence.py tests/test_assessment.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "rollback-release-consistency",
+      "command": "uv run pytest -q tests/test_release.py tests/test_version.py",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "full-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"
+    }
+  ],
+  "evidence": [],
+  "remainingRisks": [
+    "Pendant implement, activityBase reprend implementBase, posée à la première entrée dans implement et conservée après une réouverture. Un implement-result d'avant la réouverture compte donc encore pour le passage en cours. C'est conforme à Q3, et les notes 9.0.1 le disent.",
+    "R7 accepté (need.md Q3) : une égalité à la seconde entre observedAt et recordedAt compte comme passage en cours ; c'est couvert par un test.",
+    "Le .specify/specs/.gitignore de ce dépôt n'a pas été créé pendant implement : la création aurait modifié l'observation des verrous déjà présents dans la base en cours. Les 19 verrous restent visibles dans git status jusqu'à la prochaine exécution de devflow feature en 9.0.1, ou jusqu'à l'ajout manuel du fichier.",
+    "Le contrôle CI scripts/check_release.py --main-pyproject n'a pas été rejoué localement. La concordance de version est couverte par tests/test_release.py et tests/test_version.py, qui passent.",
+    "La date 2026-10-18 du CHANGELOG et des notes est celle d'une publication prévue le jour même ; à ajuster si la publication est décalée."
+  ],
+  "blockers": [],
+  "observation": {
+    "baseRecordedAt": "2026-10-18T13:02:17Z",
+    "baseHead": "85f364d65a6c7c680851f0b55bf00c90c083bcbe",
+    "observedAt": "2026-10-18T13:16:41Z",
+    "head": "85f364d65a6c7c680851f0b55bf00c90c083bcbe"
+  }
+}

devflow_cli-9.0.1/.specify/specs/046-kks-547-gates-observation-leftovers/need.md

@@ -0,0 +1,72 @@
+# KKS-547 — Verrous de la CLI ignorés par git, risques restants après une réouverture, condition morte retirée
+
+Source : issue Linear KKS-547, conception du 2026-10-18 avec Kelly. Constats revus dans le code
+9.0.0. Constitution 2.0.2, article IV : seuls les constats observés ou rejoués sont traités ; le
+code sans usage est retiré. Quatre constats de l'issue sont clos comme non observés et **ne font
+pas partie de ce parcours** (voir Hors périmètre).
+
+## Problème
+
+Constaté dans le code 9.0.0 :
+
+| # | Constat | Où |
+|---|---|---|
+| P1 | Les verrous de la CLI (`.workflow-state.lock` et `.agent-run.lock` de chaque feature, `.specify/specs/.feature-lock`) sont des fichiers non suivis : ils encombrent `git status` à chaque commit (19 lignes dans ce dépôt), et ceux des autres features que la courante sont observés comme du travail (seuls ceux de la feature courante sont des fichiers d'exécution). | `is_runtime_file`, `src/devflow_cli/core/activity_base.py` ; verrou global, `src/devflow_cli/utils/paths.py` |
+| P2 | Après `adaptive reopen`, les résultats des activités qui ne sont plus complétées restent dans le dossier de la feature : `latest_remaining_risks` prend le dernier résultat de la route, donc les risques d'une activité postérieure (par exemple `review`) s'affichent dans `adaptive status` et `worklog.md` jusqu'à sa relance. Rejoué par la revue pre-commit de KKS-430. | `latest_remaining_risks`, `src/devflow_cli/core/worklog.py` ; appelants : `worklog.py`, `commands/adaptive.py` |
+| P3 | `not guardrails_active(state)` dans `run_automatic_verification` ne peut pas être faux à cet endroit : un état `quick` avec garde-fous est refusé en amont. | `src/devflow_cli/core/automatic_evidence.py` |
+
+## Décisions prises (non rediscutables dans ce parcours)
+
+| # | Sujet | Décision |
+|---|---|---|
+| Q2 | Verrous | `devflow feature` écrit, de façon idempotente (sans dupliquer une règle ni écraser un contenu existant), un fichier `.specify/specs/.gitignore` qui nomme `.workflow-state.lock`, `.agent-run.lock` et `.feature-lock`, sur le modèle de `_ignore_agent_traces` (`src/devflow_cli/commands/feature.py`). Une règle sans `/` vaut à toute profondeur : les dossiers existants et futurs sont couverts. Le code d'observation ne change pas (un fichier ignoré par git n'est pas observé hors de la feature courante ; dans la feature courante, les verrous restent des fichiers d'exécution). |
+| Q3 | Risques restants | `latest_remaining_risks` ne lit que les résultats des activités complétées (`completedActivities`), plus celui de l'activité courante **s'il date du passage en cours** : `observation.observedAt` postérieur ou égal à `activityBase.recordedAt` de l'état. Un résultat de l'activité courante antérieur à sa base (resté d'avant une réouverture) est ignoré. Ordre de la route et règle « le dernier résultat fait foi » (H1 de la 8.5.0) inchangés par ailleurs. Une seule fonction, mêmes appelants. |
+| P3 | Condition morte | La condition est retirée (article IV), sans changement de comportement. |
+
+## Attendu
+
+- Après `devflow feature`, `.specify/specs/.gitignore` contient les trois règles ; une seconde
+  exécution ne les duplique pas ; un `.gitignore` existant garde son contenu.
+- Dans un dépôt temporaire avec deux features, les verrous des deux features et le verrou global
+  n'apparaissent plus dans `git status --porcelain` et ne sont plus observés par une activité de
+  l'autre feature.
+- Après `adaptive reopen … implement` depuis un parcours terminé, `adaptive status` (texte et
+  `--json`) et `worklog.md` n'affichent plus les risques de `review` ni de `rollback-check` ;
+  après un résultat `blocked` de l'activité courante dans le passage en cours, ses risques
+  s'affichent comme en 9.0.0.
+- `docs/cli-reference.md` (ou l'endroit où `devflow feature` et les risques restants sont
+  décrits) dit ce qui précède ; la limite d'observation des fichiers ignorés reste exacte.
+
+## Tests attendus
+
+- Dépôts git temporaires hors du dépôt ; aucun agent réel ; aucun appel à Linear.
+- Q2 : création, idempotence, contenu existant préservé, effet sur `git status` et sur
+  l'observation d'une autre feature.
+- Q3 : réouverture depuis `done` vers `implement` et vers `review` ; résultat courant antérieur et
+  postérieur à la base ; résultat `blocked` du passage en cours ; parcours sans réouverture
+  inchangé.
+- P3 : suite verte sans la condition.
+- Suite complète verte, `./tests/run-tests.sh` vert, `uv run devflow docs-sync --check` vert.
+
+## Livraison
+
+- Version **9.0.1** : aucun format persistant ne change. La version de la PR doit être
+  strictement supérieure à celle de `main` (9.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/9.0.1.md`, avec le retour à la 9.0.0.
+
+## Hors périmètre
+
+- Clos comme non observés le 2026-10-18 (à rouvrir si un parcours les rencontre) :
+  `attempts/` et `evidence/` exclus sans filtre de nom ; FIFO ou socket lus par la sauvegarde des
+  fichiers d'exécution ; `diff-inspection` après relance d'`implement` ; validation protégée non
+  bloquante absente de la liste des échecs de `security-or-data-check`.
+- Retrait des résultats par `reopen` ; tout changement de format.
+- Classement d'une session d'agent expirée (en attente d'un corpus).
+
+## Contraintes d'exécution
+
+- 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.