devflow-cli 8.2.0__tar.gz → 8.3.0__tar.gz

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/.gitignore

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

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/activity-contract.json

@@ -0,0 +1,169 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-530:standard:rollback-check:v4",
+  "issueId": "KKS-530",
+  "profile": "standard",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Corriger dix refus et reprises de verify relevés en 7.x et 8.1 : lot documentaire accepté sur observation en quick, validation protégée non bloquante refusée dès prepare ou plan, troisième voie de reprise et --refresh, statut sans stale après done, dérogation sur un contrôle présent dans deux preuves, motif dédié pour le pré-vol périmé, messages de reconcile et de assess. Décisions dans need.md.",
+  "featurePath": ".specify/specs/041-kks-530-verify-refusals-recovery",
+  "inputs": [
+    ".specify/specs/041-kks-530-verify-refusals-recovery/need.md",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/assessment.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/workflow-state.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/risk-assessment.md",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/prepare-result.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/implement-result.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/evidence/targeted-tests.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/evidence/regression-check.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/evidence/diff-inspection.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/evidence/security-or-data-check.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/041-kks-530-verify-refusals-recovery/need.md ; en cas d'ecart avec objective, il fait foi.",
+    "Preserver les changements utilisateur sans rapport avec cette activite.",
+    "Ne pas modifier state.json, workflow-state.json ou assessment.json.",
+    "Ne pas creer de commit et ne pas changer de branche.",
+    "Signaler tout blocage au lieu de contourner une validation.",
+    "Dans checks, status vaut passed si et seulement si exitCode vaut 0. Une commande dont l'absence de resultat constitue le succes attendu doit etre declaree failed, ou remplacee par une commande qui renvoie 0 en cas de succes.",
+    "Donner un id stable a chaque objectif de check. Si un check echoue puis est corrige et relance pour le meme objectif, reutiliser cet id : seule la derniere tentative fait foi ; signaler dans remainingRisks toute instabilite encore pertinente.",
+    "Si des sous-agents sont utilises, les lancer au premier plan, jamais en arriere-plan, et attendre qu'ils soient tous termines avant la sortie structuree. La sortie structuree du contrat est le dernier message de l'agent : ne rien envoyer apres elle.",
+    "Ne modifier aucun fichier pendant le controle de rollback.",
+    "Verifier une procedure de restauration actionnable, les donnees affectees, les validations post-rollback et les declencheurs.",
+    "Retourner blocked si un effet irreversible ou une inconnue critique empeche un retour arriere fiable.",
+    "Ne produire rollback-plan=passed que si le plan est applicable et verifiable."
+  ],
+  "completionCriteria": [
+    "Le plan de rollback precise les etapes, responsables, donnees et controles.",
+    "Les declencheurs et limites du rollback sont explicites.",
+    "La preuve rollback-plan contient un rapport exploitable."
+  ],
+  "requiredEvidence": [
+    "rollback-plan"
+  ],
+  "expectedOutput": {
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://devflow.dev/schemas/activity-result/v1",
+    "title": "Devflow Activity Result v1",
+    "type": "object",
+    "required": [
+      "schemaVersion",
+      "contractId",
+      "status",
+      "summary",
+      "changedFiles",
+      "checks",
+      "evidence",
+      "remainingRisks",
+      "blockers"
+    ],
+    "properties": {
+      "schemaVersion": {
+        "type": "integer",
+        "const": 1
+      },
+      "contractId": {
+        "type": "string",
+        "minLength": 1
+      },
+      "status": {
+        "type": "string",
+        "enum": [
+          "completed",
+          "blocked"
+        ]
+      },
+      "summary": {
+        "type": "string",
+        "minLength": 1
+      },
+      "changedFiles": {
+        "type": "array",
+        "items": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "checks": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "required": [
+            "command",
+            "exitCode",
+            "status"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "command": {
+              "type": "string",
+              "minLength": 1
+            },
+            "exitCode": {
+              "type": "integer"
+            },
+            "status": {
+              "type": "string",
+              "enum": [
+                "passed",
+                "failed"
+              ]
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "evidence": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "required": [
+            "id",
+            "outcome",
+            "report"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "outcome": {
+              "type": "string",
+              "enum": [
+                "passed",
+                "failed"
+              ]
+            },
+            "report": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "remainingRisks": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        }
+      },
+      "blockers": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        }
+      }
+    },
+    "additionalProperties": false
+  }
+}

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "72524d46-f4da-41be-91a1-4f4d7acea9e0",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 75.86,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 7488,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/assessment.json

@@ -0,0 +1,45 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-530",
+  "recommendedProfile": "standard",
+  "selectedProfile": "standard",
+  "confidence": "high",
+  "signals": {
+    "scope": "multiple",
+    "ambiguity": "low",
+    "risk": "medium",
+    "contractChange": false,
+    "dataOrSecurity": true
+  },
+  "guardrails": {
+    "active": true,
+    "reasons": [
+      "le changement touche aux donnees ou a la securite"
+    ]
+  },
+  "reasons": [
+    "plusieurs composants sont affectes",
+    "le risque d'impact est modere"
+  ],
+  "activities": [
+    "assess",
+    "risk-assessment",
+    "prepare",
+    "preflight-evidence",
+    "implement",
+    "verify",
+    "review",
+    "rollback-check",
+    "done"
+  ],
+  "requiredEvidence": [
+    "targeted-tests",
+    "regression-check",
+    "diff-inspection",
+    "security-or-data-check",
+    "independent-review",
+    "rollback-plan"
+  ],
+  "assessedAt": "2026-10-10T22:17:29Z",
+  "summary": "Corriger dix refus et reprises de verify relevés en 7.x et 8.1 : lot documentaire accepté sur observation en quick, validation protégée non bloquante refusée dès prepare ou plan, troisième voie de reprise et --refresh, statut sans stale après done, dérogation sur un contrôle présent dans deux preuves, motif dédié pour le pré-vol périmé, messages de reconcile et de assess. Décisions dans need.md."
+}

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/attempts/reopen-001/activity-contract.json

@@ -0,0 +1,223 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-530:standard:prepare:v4",
+  "issueId": "KKS-530",
+  "profile": "standard",
+  "guardrails": true,
+  "activity": "prepare",
+  "objective": "Corriger dix refus et reprises de verify relevés en 7.x et 8.1 : lot documentaire accepté sur observation en quick, validation protégée non bloquante refusée dès prepare ou plan, troisième voie de reprise et --refresh, statut sans stale après done, dérogation sur un contrôle présent dans deux preuves, motif dédié pour le pré-vol périmé, messages de reconcile et de assess. Décisions dans need.md.",
+  "featurePath": ".specify/specs/041-kks-530-verify-refusals-recovery",
+  "inputs": [
+    ".specify/specs/041-kks-530-verify-refusals-recovery/need.md",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/assessment.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/workflow-state.json",
+    ".specify/specs/041-kks-530-verify-refusals-recovery/risk-assessment.md"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/041-kks-530-verify-refusals-recovery/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 du depot pendant la preparation.",
+    "Identifier les composants concernes et une strategie de validation.",
+    "Ne pas inventer de precision fonctionnelle manquante.",
+    "Dans validationPlan, workingDirectory est toujours relatif a la racine du depot : utiliser '.' pour la racine ou par exemple 'app', jamais un chemin absolu.",
+    "Les commandes de validation sont des listes d'arguments sans shell implicite : ne pas utiliser sh, bash, zsh, cmd ou powershell.",
+    "Pour npm, pnpm, yarn ou bun, utiliser uniquement test, un script dont le nom commence par test, check, lint, verify ou build, ou le controle non mutatif format:check; ne jamais lancer un script format qui ecrit les fichiers.",
+    "rg est autorise pour les inspections en lecture seule, sans option --pre.",
+    "Executables de validation autorises par defaut : bun, cargo, devflow, dotnet, eslint, git, go, gradle, gradlew, make, mvn, mvnw, mypy, nginx, nox, npm, pnpm, pyright, pytest, rg, ruff, tox, tsc, uv, yarn; python est limite a -m compileall, pytest ou unittest.",
+    "uv run accepte avant l'outil uniquement les options --all-extras, --all-groups, --extra, --frozen, --group, --isolated, --locked, --no-dev, --no-project, --no-sync, --offline, --python, --quiet, -p, -q, en forme separee (--python 3.12, pas --python=3.12); --python/-p exige un numero de version, jamais un chemin d'interpreteur; toute autre option de uv run est refusee.",
+    "Maven et Gradle acceptent uniquement les taches test, check, lint, verify ou build; mvn clean verify est refuse (clean est hors politique). Le fichier de projet Maven (-f/--file) et le repertoire de projet Gradle (-p/--project-dir) acceptent un chemin relatif au depot, sans '..', en forme separee (mvn -B -f api/pom.xml verify).",
+    "Aucun shell implicite ni operateur |, &&, ; ou redirection; aucune expression non resolue de type double accolade dans une commande.",
+    "Un executable hors liste, dont docker, requiert une approbation explicite pour la validation exacte avant son execution : renseigner approvalReason dans validationPlan, puis faire approuver son identifiant par le superviseur.",
+    "Pour un fichier cree par l'activite, ne pas utiliser git ls-files --error-unmatch : un fichier non indexe serait refuse a tort. Verifier sa presence dans le systeme de fichiers, par exemple avec rg --files -g CHEMIN, sans indexer ni committer les changements.",
+    "Les garde-fous sont actifs : inclure dans validationPlan au moins une validation bloquante explicitement consacree a la securite, aux donnees, a l'authentification, a une migration ou au rollback, dont id ou purpose contient l'un de ces termes."
+  ],
+  "completionCriteria": [
+    "Le perimetre et les fichiers probablement concernes sont identifies.",
+    "L'approche d'implementation et les validations sont resumees.",
+    "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/v1",
+    "title": "Devflow Activity Result v1",
+    "type": "object",
+    "required": [
+      "schemaVersion",
+      "contractId",
+      "status",
+      "summary",
+      "changedFiles",
+      "checks",
+      "evidence",
+      "remainingRisks",
+      "blockers",
+      "validationPlan"
+    ],
+    "properties": {
+      "schemaVersion": {
+        "type": "integer",
+        "const": 1
+      },
+      "contractId": {
+        "type": "string",
+        "minLength": 1
+      },
+      "status": {
+        "type": "string",
+        "enum": [
+          "completed",
+          "blocked"
+        ]
+      },
+      "summary": {
+        "type": "string",
+        "minLength": 1
+      },
+      "changedFiles": {
+        "type": "array",
+        "items": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "checks": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "required": [
+            "command",
+            "exitCode",
+            "status"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "command": {
+              "type": "string",
+              "minLength": 1
+            },
+            "exitCode": {
+              "type": "integer"
+            },
+            "status": {
+              "type": "string",
+              "enum": [
+                "passed",
+                "failed"
+              ]
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "evidence": {
+        "type": "array",
+        "items": {
+          "type": "object",
+          "required": [
+            "id",
+            "outcome",
+            "report"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "outcome": {
+              "type": "string",
+              "enum": [
+                "passed",
+                "failed"
+              ]
+            },
+            "report": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "remainingRisks": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        }
+      },
+      "blockers": {
+        "type": "array",
+        "items": {
+          "type": "string"
+        }
+      },
+      "validationPlan": {
+        "type": "array",
+        "minItems": 1,
+        "maxItems": 10,
+        "items": {
+          "type": "object",
+          "required": [
+            "id",
+            "command",
+            "purpose",
+            "blocking",
+            "timeoutSeconds",
+            "workingDirectory"
+          ],
+          "properties": {
+            "id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "command": {
+              "type": "array",
+              "minItems": 1,
+              "items": {
+                "type": "string",
+                "minLength": 1
+              }
+            },
+            "purpose": {
+              "type": "string",
+              "minLength": 1
+            },
+            "blocking": {
+              "type": "boolean"
+            },
+            "timeoutSeconds": {
+              "type": "integer",
+              "minimum": 1,
+              "maximum": 3600
+            },
+            "workingDirectory": {
+              "type": "string",
+              "minLength": 1,
+              "description": "Repertoire relatif a la racine du depot. Utiliser '.' pour la racine ou 'app'. Les chemins absolus et '..' sont interdits."
+            },
+            "approvalReason": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "additionalProperties": false
+        }
+      }
+    },
+    "additionalProperties": false
+  }
+}

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/attempts/reopen-001/prepare-result.json

@@ -0,0 +1,126 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-530:standard:prepare:v4",
+  "status": "completed",
+  "summary": "Préparation faite sur lecture du code 8.2.0 (HEAD d6fa2b6), sans modification du dépôt. Aucun test n'a été exécuté pendant cette activité (session en lecture seule) : la durée de la suite complète n'est pas mesurée.\n\nFICHIERS PROBABLEMENT CONCERNÉS\n- src/devflow_cli/core/automatic_evidence.py (V1)\n- src/devflow_cli/core/adaptive_runner.py (V2, 6dcddf40, b7652ba5)\n- src/devflow_cli/core/activity_contracts.py (consigne V2 dans les contraintes de prepare/plan, type d'erreur du pré-vol périmé)\n- src/devflow_cli/core/waivers.py (1330a5e8)\n- src/devflow_cli/commands/adaptive.py (V3, V4, reprise 6dcddf40, message b7652ba5, sortie structurée absente)\n- src/devflow_cli/commands/assess.py (a05f4fe6)\n- src/devflow_cli/core/worklog.py (affichage d'une preuve ciblée sans commande, si nécessaire)\n- tests : test_automatic_evidence.py, test_adaptive_runner.py, test_cmd_adaptive.py, test_waivers.py, test_cmd_assess.py, test_activity_contracts.py, test_guardrails.py\n- docs/cli-reference.md, docs/activity-contracts.md, docs/pipeline.md, README.md, docs/pipeline-reference.generated.md (si docs-sync le régénère), CHANGELOG.md, docs/releases/8.3.0.md, pyproject.toml, src/devflow_cli/__init__.py, uv.lock\n\nAPPROCHE PAR POINT (un test de présence du défaut avant chaque correction ; défaut absent = test de non-régression seul)\n- V1 — Constat qui corrige R1 : adaptive_runner.py:626 enregistre déjà la liste OBSERVÉE dans changedFiles de implement-result.json ; la liste déclarée n'y figure qu'en cas d'écart (observation.declaredChangedFiles). Mais cette liste date de la fin d'implement. Source retenue : recalcul au moment de verify par files_since_base(project_root, feature_dir, ActivityBase.from_dict(state.implementBase, feature_path=…), issue_id=…) (activity_base.py:201), implementBase étant conservée après implement. Condition fermée : profil quick, guardrails_active(state) faux, aucune commande retenue (le cas qui sort aujourd'hui en no-safe-validation, automatic_evidence.py:565), au moins un fichier observé, tous documentaires. Prédicat unique extrait de _non_document_fingerprint (l.309-312) et réutilisé par lui, empreinte inchangée. Suppression : un fichier documentaire supprimé (empreinte « deleted ») compte comme documentaire par son chemin. Renommage : le diff est fait avec --no-renames, l'ancien chemin apparaît donc ; src/a.py → docs/a.md est refusé. Lien symbolique (empreinte « symlink: ») : non documentaire, refus. Base inobservable (BaseObservationError, erreur git) : non éligible, comportement actuel. Dans ce cas, checks_passed (l.664, bool(results)) accepte la liste vide, diff-inspection reste exécutée sur la liste observée et exigée.\n- V1, forme de la preuve — Lecteurs de evidence/targeted-check.json inventoriés : worklog.py:42-285 (lecture par .get, tolère commands vide et clés inconnues), waivers.py:_find_failed_command (.get(\"commands\")), remediation.py:195 (liste les fichiers). read_adaptive_state et adaptive status ne lisent pas le fichier, seulement l'entrée evidence de workflow-state.json (chemin, source, outcome, worktree). Aucun lecteur ne valide les clés ni schemaVersion des fichiers de preuve. Les champs existants (schemaVersion, id, outcome, startedAt, completedAt, commands, worktreeMutations, waiversApplied) n'ont aucun champ de texte : la mention explicite exige une clé. Voir remainingRisks (décision à prendre).\n- V2 — Insertion dans _validated_result (adaptive_runner.py:718-744), après la boucle validate_planned_command et avant le contrôle existant « aucune validation bloquante protégée » : si contract.guardrails, toute validation is_protected_validation(id, purpose) avec blocking faux lève ValueError (donc invalid-result pour run, reconcile et reconcile --result). Consigne ajoutée aux contraintes de prepare et plan quand les garde-fous sont actifs (texte dans constraints, forme du contrat inchangée). Un test fige d'abord la règle actuelle de security-or-data-check (l.671-675), non modifiée.\n- V3 — _verify_recovery reçoit refresh depuis _execute_local_verification ; la commande verify de toutes les reprises porte --refresh quand refresh est vrai ; kind check-failed gagne une troisième commande, libellé proposé : « voie 3 : echec passager (reseau, conteneur, service externe), relancer la verification ». Champs kind, summary, validations, commands inchangés ; branches approbation et code 127 inchangées hors --refresh.\n- V4 — _operational_status (adaptive.py:1251-1252) : ensemble stale vide quand state.status == \"completed\". Appelants vérifiés : commande status (l.216) et _print_completion_summary (l.1335) ; aucune gate ne l'appelle (les gates passent par ensure_fresh_devflow_evidence).\n- V6 — test seul, cas PREP-mpl-header, dans tests/test_cmd_adaptive.py.\n- 1330a5e8 — _find_failed_command (waivers.py:190) : plusieurs occurrences acceptées si toutes portent la même commande, le même dossier de travail, blocking vrai, succeeded faux, sans timeout ; une occurrence dans PROTECTED_EVIDENCE ou des occurrences incohérentes refusent l'ensemble avec le motif. Départage déterministe : plus grand (completedAt, id de preuve) ; à horodatage égal entre targeted-tests et regression-check, targeted-tests. Les refus de create_validation_waiver restent tels quels ; format de waivers.json inchangé.\n- 6dcddf40 — sous-classe de ValueError levée par validate_preflight_evidence pour le seul cas « desuete apres » (activity_contracts.py:208), interceptée avant le ValueError générique dans adaptive_runner.py:158. Motif proposé : preflight-evidence-stale ; code de sortie 3 (gate non satisfaite) car hors INVALID_CONTRACT_REASONS, au lieu de 4 aujourd'hui. Reprise « devflow adaptive reopen ID preflight-evidence --reason MOTIF » en texte et en --json, proposée seulement si _reopenable. Fichier absent, sections manquantes, secret détecté gardent unsupported-activity.\n- b7652ba5 — reconcile_current_activity (adaptive_runner.py:340) : absence du fichier de tentative traitée à part (message : aucune tentative échouée à réconcilier ; après un résultat blocked, lever le blocage puis relancer adaptive run) ; motif reconcile-refused conservé (test existant test_reconcile_refuses_without_attempt_fiche) ; fiche illisible ou invalide garde son libellé.\n- a05f4fe6 — assess.py:141 : « Suite : devflow adaptive start » seulement si validate_need_statement réussit (même test que adaptive start) ; sinon rappel de rédiger need.md puis de lancer start ; code de sortie inchangé.\n- Sortie structurée absente — _missing_output_recovery (adaptive.py:1489) : ajout de « devflow adaptive run ID --agent AGENT » à côté de la réconciliation pour les activités réconciliables.\n- V5 : aucun code.\n\nVALIDATIONS : tests ciblés des modules touchés, suite complète, contrôle protégé bloquant sur les gates (dérogations, garde-fous, preuves automatiques), docs-sync, concordance de version et notes de retour à la 8.2.0. Toutes sont bloquantes et réussissent en code 0.",
+  "changedFiles": [],
+  "checks": [
+    {
+      "id": "depot-sans-modification-suivie",
+      "command": "git diff --quiet HEAD",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [],
+  "remainingRisks": [
+    "DÉCISION À PRENDRE AVANT implement (V1, R4, article III) : consigner « lot documentaire » dans targeted-check.json exige une clé nouvelle, aucun champ existant ne peut porter la mention. Recommandation : clé optionnelle additive (par exemple documentaryLot, liste des fichiers observés), schemaVersion 1 conservé, sur le précédent de executionFindings (présent dans la seule preuve security-or-data-check sous la même version) et parce qu'aucun lecteur ne valide ces fichiers ; la 8.2.0 ignore la clé, le retour arrière reste lisible. C'est une interprétation de l'article III (« tout changement de format persistant augmente sa version ») que Kelly doit confirmer. Lecture stricte : schemaVersion 2 pour cette preuve et livraison qui n'est plus une 8.3.0 mineure ; dans ce cas prepare doit être rouvert, deux validations du plan citant 8.3.0.",
+    "Lecture de V1 retenue, à confirmer : le passage sans commande ne s'applique que lorsqu'aucun contrôle n'est retenu (cas no-safe-validation de la friction 0df6465d). Dans un dépôt où la stack fournit une commande même pour un lot documentaire (pyproject.toml présent : AUTO-PYTHON lance pytest), le contrôle reste exécuté. need.md écrit « sans commande exécutée » sans distinguer ces deux cas ; la lecture retenue est la plus restrictive et satisfait les attendus et les tests listés.",
+    "V1 : un fichier non documentaire du dossier de la feature modifié depuis la base d'implement (need.md par exemple) fait refuser le lot ; conséquence directe de « tous les fichiers observés ».",
+    "6dcddf40 : le motif dédié fait passer le code de sortie de ce cas de 4 (contrat invalide) à 3 (gate non satisfaite). Nom proposé preflight-evidence-stale, non fixé par need.md. docs/cli-reference.md ne contient pas de « table des motifs stables » : unsupported-activity n'y apparaît nulle part ; seules existent la table des reprises de verify (l.265) et la table des codes de sortie (l.289). Le motif sera documenté dans la section des reprises de adaptive run, sauf indication contraire.",
+    "V2 : is_protected_validation détecte par sous-chaîne (auth, data, donnee, secret, securite, security, rollback, migration, permission) ; faux positifs possibles sur une validation non bloquante sans rapport, corrigés par reconcile --result (R5, accepté).",
+    "1330a5e8 : départage à horodatage égal par ordre de l'identifiant de preuve (targeted-tests retenue devant regression-check) ; règle proposée, need.md dit seulement « la preuve la plus récente ».",
+    "R14 : le parcours est jugé par la 8.2.0 installée ; ne pas réinstaller l'outil global avant done. Les validations du plan exécutent le code modifié par uv run.",
+    "Non exécuté pendant cette préparation : uv run pytest, ./tests/run-tests.sh, uv run devflow docs-sync --check. Durée de la suite complète non mesurée ; le délai de 2400 s est une estimation.",
+    "./tests/run-tests.sh (lancé par la CI) n'est pas dans le plan : exécutable hors liste, approbation requise ; le lot ne touche ni gabarits ni scripts bash. À lancer à la main avant la PR.",
+    "Comportement sur les projets à l'origine des frictions (kreview, kbudget) non vérifiable ici : confirmation au premier parcours réel en 8.3.0, avant résolution au journal."
+  ],
+  "blockers": [],
+  "validationPlan": [
+    {
+      "id": "tests-cibles-verify-reprises",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_automatic_evidence.py",
+        "tests/test_adaptive_runner.py",
+        "tests/test_cmd_adaptive.py",
+        "tests/test_cmd_assess.py",
+        "tests/test_activity_contracts.py"
+      ],
+      "purpose": "Tests des dix points : lot documentaire en quick, refus du plan en prepare et plan, trois voies de reprise et --refresh, statut sans stale, motif du pre-vol perime, messages de reconcile et de assess",
+      "blocking": true,
+      "timeoutSeconds": 1500,
+      "workingDirectory": "."
+    },
+    {
+      "id": "securite-integrite-des-gates",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q",
+        "tests/test_waivers.py",
+        "tests/test_guardrails.py",
+        "tests/test_automatic_evidence.py"
+      ],
+      "purpose": "Controle de securite : integrite des gates. Derogation refusee avec garde-fous, sur preuve protegee et sur validation protegee ; lot documentaire limite a quick sans garde-fous et decide par l'observation ; regle de security-or-data-check inchangee",
+      "blocking": true,
+      "timeoutSeconds": 1200,
+      "workingDirectory": "."
+    },
+    {
+      "id": "suite-complete",
+      "command": [
+        "uv",
+        "run",
+        "pytest",
+        "-q"
+      ],
+      "purpose": "Suite complete pytest, non-regression de l'ensemble de la CLI",
+      "blocking": true,
+      "timeoutSeconds": 2400,
+      "workingDirectory": "."
+    },
+    {
+      "id": "docs-sync",
+      "command": [
+        "uv",
+        "run",
+        "devflow",
+        "docs-sync",
+        "--check"
+      ],
+      "purpose": "Documentation generee synchronisee avec le code",
+      "blocking": true,
+      "timeoutSeconds": 300,
+      "workingDirectory": "."
+    },
+    {
+      "id": "version-concordance",
+      "command": [
+        "rg",
+        "-n",
+        "8\\.3\\.0",
+        "pyproject.toml",
+        "src/devflow_cli/__init__.py",
+        "CHANGELOG.md"
+      ],
+      "purpose": "Version 8.3.0 presente dans pyproject.toml, __init__.py et CHANGELOG.md",
+      "blocking": true,
+      "timeoutSeconds": 60,
+      "workingDirectory": "."
+    },
+    {
+      "id": "rollback-notes-de-version",
+      "command": [
+        "rg",
+        "-n",
+        "8\\.2\\.0",
+        "docs/releases/8.3.0.md"
+      ],
+      "purpose": "Rollback : les notes 8.3.0 existent et citent le retour a la 8.2.0",
+      "blocking": true,
+      "timeoutSeconds": 60,
+      "workingDirectory": "."
+    }
+  ],
+  "observation": {
+    "baseRecordedAt": "2026-10-10T22:20:34Z",
+    "baseHead": "d6fa2b6af73f794697b418bbf5290bb8b173b215",
+    "observedAt": "2026-10-10T22:23:51Z",
+    "head": "d6fa2b6af73f794697b418bbf5290bb8b173b215"
+  }
+}

devflow_cli-8.3.0/.specify/specs/041-kks-530-verify-refusals-recovery/attempts/reopen-001/risk-assessment-result.json

@@ -0,0 +1,46 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-530:standard:risk-assessment:v4",
+  "status": "completed",
+  "summary": "risk-assessment.md rédigé à partir de need.md, de la constitution et de la lecture du code 8.2.0 : matrice de 16 risques (probabilité, impact, mitigation, responsable), analyses sécurité, données, migrations (aucune) et rollback avec déclencheurs. Deux risques critiques : R1 (V1 décidée sur la liste déclarée par l'agent — constat : verify lit aujourd'hui changedFiles d'implement-result.json et le bloc observation ne contient pas la liste des fichiers observés) et R7 (dérogation rendue possible sur un contrôle protégé). Aucun blocage ; six points à trancher en prepare.",
+  "changedFiles": [
+    ".specify/specs/041-kks-530-verify-refusals-recovery/risk-assessment.md"
+  ],
+  "checks": [
+    {
+      "id": "structure-risk-assessment",
+      "command": "f=.specify/specs/041-kks-530-verify-refusals-recovery/risk-assessment.md && grep -q \"^## Matrice des risques\" $f && grep -q \"^## Sécurité\" $f && grep -q \"^## Données\" $f && grep -q \"^## Rollback\" $f && test \"$(grep -c '^| R[0-9]' $f)\" -eq 16 && ! grep -nE \"TODO|TBD|\\[\\.\\.\\.\\]|XXX\" $f",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [
+    {
+      "id": "risk-assessment-structure",
+      "outcome": "passed",
+      "report": "Sections Matrice des risques, Sécurité, Données, Rollback présentes ; 16 lignes de risque avec probabilité, impact, mitigation et responsable ; aucun placeholder ; seul risk-assessment.md a été écrit (git status ne montre aucun fichier suivi modifié)."
+    },
+    {
+      "id": "risk-assessment-coherence",
+      "outcome": "passed",
+      "report": "Contenu fondé sur need.md (V1 à V6 et cinq points inclus), la constitution 2.0.0 et le code 8.2.0 lu (automatic_evidence.py, waivers.py, adaptive_runner.py, activity_base.py, activity_contracts.py, commands/adaptive.py, commands/assess.py, operational.py). Risques critiques R1 et R7, mitigations et déclencheurs de rollback explicites. Aucun test exécuté : activité documentaire."
+    }
+  ],
+  "remainingRisks": [
+    "R1 (critique) : V1 doit se fonder sur des fichiers observés par la CLI ; aujourd'hui verify lit changedFiles du résultat d'implement et le bloc observation ne porte pas la liste observée. Source à fixer en prepare avant toute implémentation de V1.",
+    "R7 (critique) : l'assouplissement de adaptive waive ne doit lever que l'ambiguïté ; chaque occurrence doit rester soumise aux refus de protection (garde-fous, preuve protégée, validation protégée, délai dépassé).",
+    "R3 : la définition existante de « documentaire » inclut tout README.md quelle que soit sa profondeur ; traitement des suppressions, renommages et liens symboliques à décider en prepare.",
+    "R4 : une preuve targeted-check sans commande peut exiger un champ nouveau, donc un changement de format persistant et une requalification de la version 8.3.0 ; inventaire des lecteurs à faire en prepare.",
+    "R5 : V2 peut refuser à tort une validation non bloquante dont l'id ou le purpose contient un terme protégé par sous-chaîne (data, auth, secret…) ; correction par reconcile --result.",
+    "R11 : nom, code de sortie et périmètre du motif dédié du pré-vol périmé à fixer en prepare ; unsupported-activity appartient aujourd'hui à INVALID_CONTRACT_REASONS.",
+    "R14 : ne pas réinstaller l'outil global avant done ; le plan de ce parcours doit contenir une validation protégée bloquante qui renvoie 0 en cas de succès.",
+    "Non vérifiable dans ce parcours : comportement sur les projets réels à l'origine des frictions (kreview, kbudget) ; confirmation au premier parcours réel en 8.3.0."
+  ],
+  "blockers": [],
+  "observation": {
+    "baseRecordedAt": "2026-10-10T22:17:30Z",
+    "baseHead": "d6fa2b6af73f794697b418bbf5290bb8b173b215",
+    "observedAt": "2026-10-10T22:20:34Z",
+    "head": "d6fa2b6af73f794697b418bbf5290bb8b173b215"
+  }
+}