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

{devflow_cli-8.5.1 → devflow_cli-9.0.1}/.specify/memory/constitution.md

@@ -1,8 +1,8 @@
 # Constitution — Devflow
 
-**Version** : 2.0.1
+**Version** : 2.0.2
 **Date de ratification** : 2026-03-15
-**Dernière modification** : 2026-10-13
+**Dernière modification** : 2026-10-18
 
 ---
 
@@ -139,11 +139,15 @@ Les gates sont vérifiées avant l'implémentation. Une violation non justifiée
   observée d'une friction est close sans option nouvelle : une friction consignée au moment où
   elle se produit porte la version observée ; une saisie a posteriori l'écrit dans son texte.
   Deux écarts à l'article III sont déclarés.
+- **2.0.2** (2026-10-18) : clôture des deux dérogations à l'article III du 2026-10-13 par la
+  9.0.0 (KKS-540) : le résultat d'activité passe en `activity-result-v2`, la fiche de tentative
+  en schéma 3 et l'avertissement d'amendement reçoit sa clé `amendmentWarning`. Aucun principe
+  ajouté ni redéfini.
 
 ## Suivi des dérogations
 
 | Date | Article | Dérogation | Justification | Échéance |
 |------|---------|------------|---------------|----------|
 | 2026-09-30 | Article IV | Les adaptateurs Codex et Cursor sont conservés sans usage mesuré | Leur sort se décide après observation | Fin de la période d'observation de dix parcours |
-| 2026-10-13 | Article III | `activity-result-v1` a perdu deux champs en 7.0.0 sans changer de version | La rupture 7.0.0 changeait l'état dans la même livraison ; contrepartie : un résultat qui porte ces champs est refusé avec un message | Prochaine évolution du résultat d'activité, qui passera en v2 |
-| 2026-10-13 | Article III | En 8.4.1, le sens de `changedInputs` (fiche de tentative) et de `warning` (bloc d'observation du résultat) s'est élargi sans changement de version | Structure inchangée, décision prise sans la règle d'immuabilité sous les yeux ; contrepartie : limite écrite dans les notes de version 8.4 | Livraison de KKS-540, qui porte la fiche en version 3 et donne sa clé à l'avertissement d'amendement |
+| 2026-10-13 | Article III | `activity-result-v1` a perdu deux champs en 7.0.0 sans changer de version | La rupture 7.0.0 changeait l'état dans la même livraison ; contrepartie : un résultat qui porte ces champs est refusé avec un message | Prochaine évolution du résultat d'activité, qui passera en v2. Close en 9.0.0 (KKS-540) |
+| 2026-10-13 | Article III | En 8.4.1, le sens de `changedInputs` (fiche de tentative) et de `warning` (bloc d'observation du résultat) s'est élargi sans changement de version | Structure inchangée, décision prise sans la règle d'immuabilité sous les yeux ; contrepartie : limite écrite dans les notes de version 8.4 | Livraison de KKS-540, qui porte la fiche en version 3 et donne sa clé à l'avertissement d'amendement. Close en 9.0.0 (KKS-540) |

devflow_cli-9.0.1/.specify/specs/045-kks-540-attempt-card-v3-input-imputation/.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/045-kks-540-attempt-card-v3-input-imputation/activity-contract.json

@@ -0,0 +1,171 @@
+{
+  "schemaVersion": 4,
+  "contractId": "KKS-540:deep:rollback-check:v4",
+  "issueId": "KKS-540",
+  "profile": "deep",
+  "guardrails": true,
+  "activity": "rollback-check",
+  "objective": "Refus avant l agent d une entrée imputée pour toute activité, reopen refusé tant qu une entrée est imputée et retrait des fiches archivées, fiche de tentative schéma 3 et activity-result-v2, motif imputed-input, rupture 9.0.0. Décisions dans need.md.",
+  "featurePath": ".specify/specs/045-kks-540-attempt-card-v3-input-imputation",
+  "inputs": [
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/need.md",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/assessment.json",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/workflow-state.json",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/risk-assessment.md",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/spec.md",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/contracts.md",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/plan.md",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/tasks.md",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/implement-result.json",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/evidence/requirements-coverage.json",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/evidence/test-suite.json",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/evidence/security-or-data-check.json",
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/review-result.json"
+  ],
+  "allowedActions": [
+    "read",
+    "execute"
+  ],
+  "constraints": [
+    "Respecter strictement l'objectif et le perimetre du contrat.",
+    "Le besoin de reference est .specify/specs/045-kks-540-attempt-card-v3-input-imputation/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-9.0.1/.specify/specs/045-kks-540-attempt-card-v3-input-imputation/agent-execution.json

@@ -0,0 +1,15 @@
+{
+  "schemaVersion": 1,
+  "runId": "261e8e80-ee00-45a2-8dcc-e726eb57cbe6",
+  "agent": "claude",
+  "activity": "rollback-check",
+  "returnCode": 0,
+  "durationSeconds": 91.976,
+  "finalOutputStatus": "present",
+  "finalOutputBytes": 7156,
+  "finalOutputDiagnostic": "validated",
+  "sessionId": null,
+  "timedOut": false,
+  "worktreeChanged": false,
+  "worktreeChangedFileCount": 0
+}

devflow_cli-9.0.1/.specify/specs/045-kks-540-attempt-card-v3-input-imputation/assessment.json

@@ -0,0 +1,47 @@
+{
+  "schemaVersion": 4,
+  "issueId": "KKS-540",
+  "recommendedProfile": "deep",
+  "selectedProfile": "deep",
+  "confidence": "high",
+  "signals": {
+    "scope": "multiple",
+    "ambiguity": "low",
+    "risk": "high",
+    "contractChange": true,
+    "dataOrSecurity": true
+  },
+  "guardrails": {
+    "active": true,
+    "reasons": [
+      "le changement touche aux donnees ou a la securite",
+      "le risque d'impact est eleve"
+    ]
+  },
+  "reasons": [
+    "des contrats partages sont modifies"
+  ],
+  "activities": [
+    "assess",
+    "risk-assessment",
+    "spec",
+    "contracts",
+    "plan",
+    "tasks",
+    "preflight-evidence",
+    "implement",
+    "verify",
+    "review",
+    "rollback-check",
+    "done"
+  ],
+  "requiredEvidence": [
+    "requirements-coverage",
+    "test-suite",
+    "security-or-data-check",
+    "independent-review",
+    "rollback-plan"
+  ],
+  "assessedAt": "2026-10-17T20:07:53Z",
+  "summary": "Refus avant l agent d une entrée imputée pour toute activité, reopen refusé tant qu une entrée est imputée et retrait des fiches archivées, fiche de tentative schéma 3 et activity-result-v2, motif imputed-input, rupture 9.0.0. Décisions dans need.md."
+}

devflow_cli-9.0.1/.specify/specs/045-kks-540-attempt-card-v3-input-imputation/contracts-result.json

@@ -0,0 +1,52 @@
+{
+  "schemaVersion": 1,
+  "contractId": "KKS-540:deep:contracts:v4",
+  "status": "completed",
+  "summary": "contracts.md rédigé : 15 contrats CT-01 à CT-15. Ils couvrent le calcul unique de l'imputation (activité et contractId courants), le refus imputed-input de run pour toute activité et de reconcile (code 3, reprise guidée à deux sorties), le refus de reopen avant toute écriture et le retrait des *-attempt.json archivés, la fiche schéma 3 avec attempt_violation (invariants A1 à A10) appelée à l'écriture et à la lecture, activity-result-v2, le bloc observation avec amendmentWarning (quatre formes), le lecteur worklog à texte identique à la 8.5.1, le refus de rupture check_feature_files appelé depuis read_adaptive_state (code 1, legacy-schema, archives ignorées), la constitution, les suppressions, la documentation et la version 9.0.0. Le document comprend aussi les sections Sécurité et invariants (INV-01 à INV-12), Compatibilité et migration, les tests de contrat TC-01 à TC-14 et une matrice qui relie FR-001 à FR-020 et SR-001 à SR-004.",
+  "changedFiles": [
+    ".specify/specs/045-kks-540-attempt-card-v3-input-imputation/contracts.md"
+  ],
+  "checks": [
+    {
+      "id": "fr-coverage-and-sections",
+      "command": "for i in $(seq -w 1 20); do grep -q \"FR-0$i\" contracts.md || echo manque; done; grep -c '^## (Contrats|Sécurité et invariants|Compatibilité et migration)' contracts.md",
+      "exitCode": 0,
+      "status": "passed"
+    },
+    {
+      "id": "need-unchanged",
+      "command": "shasum -a 256 .specify/specs/045-kks-540-attempt-card-v3-input-imputation/need.md",
+      "exitCode": 0,
+      "status": "passed"
+    }
+  ],
+  "evidence": [
+    {
+      "id": "traceability",
+      "outcome": "passed",
+      "report": "Les FR-001 à FR-020 et SR-001 à SR-004 apparaissent tous dans la matrice de traçabilité. Les trois sections requises sont présentes et le document ne contient aucun placeholder."
+    },
+    {
+      "id": "need-integrity",
+      "outcome": "passed",
+      "report": "L'empreinte de need.md (1cdad1b9145fdae1…) est la même avant et après l'activité. Seul contracts.md a été créé dans le dossier de la feature."
+    }
+  ],
+  "remainingRisks": [
+    "Inventaire laissé à plan : tests à retirer, lecteurs de observation.warning hors worklog.py, prompts d'adaptateurs, et littéraux schemaVersion 1 qui désignent un résultat d'activité (relevés à confirmer dans adaptive_runner.py, activity_contracts.py et commands/adaptive.py).",
+    "RK6 : plan doit vérifier que chaque commande qui lit un parcours passe par read_adaptive_state ou appelle check_feature_files (assessment.py et feedback.py traitent LegacySchemaError).",
+    "Forme du contrôle de reopen (paramètre de reopen_activity ou contrôle dans la commande sous le même verrou) laissée à plan ; l'ordre et le résultat sont fixés.",
+    "Si le retrait d'une fiche échoue après l'écriture du journal, reopen-log.json garde une entrée alors que l'état n'est pas écrit ; risque accepté sans champ ajouté au journal.",
+    "Le motif imputed-input pour reconcile (au lieu de reconcile-refused) est à confirmer par Kelly en revue.",
+    "L'avertissement de discard-attempt garde sa condition documentaire : pour une activité non documentaire, l'entrée est listée parmi les fichiers comptés dans le lot. À confirmer en revue.",
+    "Une fiche schéma 3 corrompue ou supprimée hors devflow lève l'imputation sans trace ; hors périmètre, à proposer pour KKS-547.",
+    "Le parcours est piloté par la CLI 8.5.1 : le superviseur doit vérifier need.md après chaque activité (RK12)."
+  ],
+  "blockers": [],
+  "observation": {
+    "baseRecordedAt": "2026-10-17T20:15:30Z",
+    "baseHead": "6b7b4649f4e9d8a087c0792a58f42f665195a1f4",
+    "observedAt": "2026-10-17T20:21:05Z",
+    "head": "6b7b4649f4e9d8a087c0792a58f42f665195a1f4"
+  }
+}