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

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

@@ -5,8 +5,7 @@
   </component>
   <component name="ChangeListManager">
     <list default="true" id="4d5164b1-14ff-40b3-8f55-b6f2c3abff01" name="Changes" comment="">
-      <change beforePath="$PROJECT_DIR$/pyproject.toml" beforeDir="false" afterPath="$PROJECT_DIR$/pyproject.toml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/src/devflow_cli/utils/paths.py" beforeDir="false" afterPath="$PROJECT_DIR$/src/devflow_cli/utils/paths.py" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -241,7 +240,7 @@
       <option name="presentableId" value="Default" />
       <updated>1786957258019</updated>
       <workItem from="1786957259143" duration="1286000" />
-      <workItem from="1787262300781" duration="880000" />
+      <workItem from="1787262300781" duration="3274000" />
     </task>
     <servers />
   </component>

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

@@ -5,6 +5,13 @@ Tous les changements notables de ce projet sont documentés dans ce fichier.
 Le format est basé sur [Keep a Changelog](https://keepachangelog.com/fr/1.1.0/),
 et ce projet adhère au [Semantic Versioning](https://semver.org/lang/fr/).
 
+## [3.0.1] - 2026-08-25
+
+### Fixed
+
+- Les réouvertures auditées sont transmises explicitement aux contrats d'activité et les preuves de pré-vol archivées deviennent des entrées d'implémentation.
+- Codex signale désormais distinctement une réponse finale structurée absente lorsque `--output-last-message` est vide, sans permettre de transition implicite.
+
 ## [3.0.0] - 2026-08-25
 
 ### Changed

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: devflow-cli
-Version: 3.0.0
+Version: 3.0.1
 Summary: Spec-Driven Development workflow CLI
 Project-URL: Homepage, https://github.com/sopequenoteck/devflow
 Project-URL: Repository, https://github.com/sopequenoteck/devflow

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

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

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

@@ -1,6 +1,6 @@
 """devflow CLI — workflow de développement adaptatif."""
 
-VERSION = "3.0.0"
+VERSION = "3.0.1"
 
 SUPPORTED_AGENTS = ["claude-code", "codex", "cursor"]
 

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/src/devflow_cli/adapters/agents.py

@@ -230,6 +230,23 @@ class CodexAdapter(AgentAdapter):
         command.append(prompt)
         return command
 
+    def _structured_payload(self, stdout: str, output_file: Path) -> object:
+        """Lit la reponse finale Codex et distingue son absence d'un JSON invalide."""
+        if output_file.is_file():
+            payload = output_file.read_text(encoding="utf-8")
+            if payload.strip():
+                return json.loads(payload)
+            raise ValueError(
+                "Codex a termine sans reponse finale structuree "
+                "(--output-last-message est vide)"
+            )
+        if stdout.strip():
+            return json.loads(stdout)
+        raise ValueError(
+            "Codex n'a pas produit de reponse finale structuree "
+            "ni de sortie standard exploitable"
+        )
+
 
 class CursorAdapter(AgentAdapter):
     name = "cursor"

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/src/devflow_cli/commands/adaptive.py

@@ -32,7 +32,11 @@ from devflow_cli.core.worktree_snapshot import changed_paths, snapshot_worktree
 from devflow_cli.core.automatic_evidence import run_automatic_verification
 from devflow_cli.core.worklog import refresh_worklog, safe_refresh_worklog
 from devflow_cli.core.waivers import create_validation_waiver
-from devflow_cli.core.remediation import carried_changed_files, reopen_activity
+from devflow_cli.core.remediation import (
+    carried_changed_files,
+    is_reopened_activity,
+    reopen_activity,
+)
 from devflow_cli.core.contract_schemas import diagnose_contract_file
 from devflow_cli.core.operational import ExitCode, exit_code_for_run_reason
 from devflow_cli.adapters.agents import get_agent_adapter
@@ -193,6 +197,8 @@ def contract(
                 assessment.to_dict(),
                 feature_path,
                 carried_changed_files(feature_dir, state.currentActivity),
+                reopened=is_reopened_activity(feature_dir, state.currentActivity),
+                preflight_evidence=(feature_dir / "preflight-evidence.md").is_file(),
             )
         except ValueError as exc:
             fail(f"Impossible de generer le contrat : {exc}")

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/src/devflow_cli/core/activity_contracts.py

@@ -97,11 +97,27 @@ class ActivityResult:
         return payload
 
 
+def document_artifact_name(activity: str, *, reopened: bool = False) -> str:
+    """Retourne l'artefact unique attendu pour une activite documentaire."""
+    if activity == "plan" and reopened:
+        return "preflight-evidence.md"
+    return DOCUMENT_ARTIFACTS[activity]
+
+
+def contract_is_reopened_plan(contract: ActivityContract) -> bool:
+    return (
+        contract.activity == "plan"
+        and f"{contract.featurePath}/reopen-log.json" in contract.inputs
+    )
+
+
 def build_activity_contract(
     state: AdaptiveWorkflowState,
     assessment: dict[str, Any],
     feature_path: str,
     carried_changed_files: list[str] | None = None,
+    reopened: bool = False,
+    preflight_evidence: bool = False,
 ) -> ActivityContract:
     """Construit le contrat de l'activite courante sans notion d'agent."""
     activity = state.currentActivity
@@ -126,7 +142,7 @@ def build_activity_contract(
         "Signaler tout blocage au lieu de contourner une validation.",
     ]
     if activity in DOCUMENT_ACTIVITIES:
-        artifact_name = DOCUMENT_ARTIFACTS[activity]
+        artifact_name = document_artifact_name(activity, reopened=reopened)
         allowed_actions = ["read", "write", "execute"]
         constraints = [
             *common_constraints,
@@ -134,6 +150,11 @@ def build_activity_contract(
             "Produire un artefact complet sans placeholder ni section vide.",
             "Declarer uniquement cet artefact dans changedFiles.",
         ]
+        if activity == "plan" and reopened:
+            constraints.append(
+                "Archiver les faits, la source, la reproductibilite et les limites connues "
+                "dans preflight-evidence.md, sans y recopier de donnees sensibles."
+            )
         completion_criteria = [
             f"{artifact_name} existe et respecte la structure devflow.",
             "Le contenu est coherent avec l'objectif et les artefacts en entree.",
@@ -301,8 +322,18 @@ def build_activity_contract(
         f"{feature_path}/assessment.json",
         f"{feature_path}/workflow-state.json",
     ]
-    if activity == "implement" and carried_changed_files:
+    if reopened:
         inputs.append(f"{feature_path}/reopen-log.json")
+        constraints.append(
+            "Cette execution suit une reouverture auditee : lire reopen-log.json et corriger explicitement le motif qui y est consigne."
+        )
+    if activity == "plan" and reopened:
+        inputs.append(f"{feature_path}/plan.md")
+    if activity == "implement" and preflight_evidence:
+        inputs.append(f"{feature_path}/preflight-evidence.md")
+        constraints.append(
+            "Prendre en compte la preuve de pre-vol archivee et ne pas la presenter comme absente."
+        )
     if activity == "implement" and state.profile == "standard":
         inputs.append(f"{feature_path}/prepare-result.json")
     if state.profile == "deep":
@@ -351,6 +382,8 @@ def build_activity_contract(
         if activity == "rollback-check":
             inputs.append(f"{feature_path}/review-result.json")
 
+    expected_output = _result_schema(activity)
+
     return ActivityContract(
         schemaVersion=ACTIVITY_CONTRACT_SCHEMA_VERSION,
         contractId=f"{state.issueId}:{state.profile}:{activity}:v1",
@@ -364,7 +397,7 @@ def build_activity_contract(
         constraints=constraints,
         completionCriteria=completion_criteria,
         requiredEvidence=required_evidence,
-        expectedOutput=_result_schema(activity),
+        expectedOutput=expected_output,
     )
 
 
@@ -432,9 +465,7 @@ def parse_activity_result(payload: dict[str, Any], contract: ActivityContract) -
     if contract.activity == "prepare" and status == "completed" and not validation_plan:
         raise ValueError("prepare complete requiert un plan de validation")
     if contract.activity in DOCUMENT_ACTIVITIES and status == "completed":
-        expected_artifact = (
-            f"{contract.featurePath}/{DOCUMENT_ARTIFACTS[contract.activity]}"
-        )
+        expected_artifact = f"{contract.featurePath}/{document_artifact_name(contract.activity, reopened=contract_is_reopened_plan(contract))}"
         if changed_files != [expected_artifact]:
             raise ValueError(
                 f"{contract.activity} doit declarer uniquement {expected_artifact}"

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/src/devflow_cli/core/adaptive_runner.py

@@ -14,6 +14,8 @@ from devflow_cli.core.activity_contracts import (
     ActivityResult,
     DOCUMENT_ARTIFACTS,
     build_activity_contract,
+    contract_is_reopened_plan,
+    document_artifact_name,
     parse_activity_result,
     write_activity_contract,
 )
@@ -30,7 +32,7 @@ from devflow_cli.core.traceability import analyze_traceability
 from devflow_cli.core.validators import validate_artifact
 from devflow_cli.core.verification import ValidationCommand, validate_command_policy
 from devflow_cli.core.waivers import is_protected_validation
-from devflow_cli.core.remediation import carried_changed_files
+from devflow_cli.core.remediation import carried_changed_files, is_reopened_activity
 
 
 @dataclass(frozen=True)
@@ -81,7 +83,12 @@ def run_current_activity(
         try:
             carried = carried_changed_files(feature_dir, state.currentActivity)
             contract = build_activity_contract(
-                state, assessment.to_dict(), feature_path, carried
+                state,
+                assessment.to_dict(),
+                feature_path,
+                carried,
+                reopened=is_reopened_activity(feature_dir, state.currentActivity),
+                preflight_evidence=(feature_dir / "preflight-evidence.md").is_file(),
             )
         except ValueError as exc:
             return AdaptiveRunOutcome(
@@ -176,7 +183,9 @@ def run_current_activity(
             result,
         )
     if contract.activity in DOCUMENT_ARTIFACTS:
-        artifact_name = DOCUMENT_ARTIFACTS[contract.activity]
+        artifact_name = document_artifact_name(
+            contract.activity, reopened=contract_is_reopened_plan(contract)
+        )
         expected = f"{feature_path}/{artifact_name}"
         allowed_declared = not declared or declared == [expected]
         allowed_observed = not observed or observed == [expected]
@@ -193,17 +202,29 @@ def run_current_activity(
                 result,
             )
     if contract.activity in DOCUMENT_ARTIFACTS and result.status == "completed":
-        artifact_name = DOCUMENT_ARTIFACTS[contract.activity]
-        validator_name = (
-            f"critical-{contract.activity}"
-            if contract.profile == "critical"
-            and contract.activity in {"research", "contracts"}
-            else contract.activity
-        )
-        validation = validate_artifact(
-            validator_name, feature_dir / artifact_name
+        artifact_name = document_artifact_name(
+            contract.activity, reopened=contract_is_reopened_plan(contract)
         )
-        if not validation.valid:
+        if artifact_name == "preflight-evidence.md":
+            try:
+                if not (feature_dir / artifact_name).read_text(encoding="utf-8").strip():
+                    raise OSError("artefact vide")
+            except OSError as exc:
+                return AdaptiveRunOutcome(
+                    "invalid-artifact", contract.activity, contract.activity, str(exc), result
+                )
+            validation = None
+        else:
+            validator_name = (
+                f"critical-{contract.activity}"
+                if contract.profile == "critical"
+                and contract.activity in {"research", "contracts"}
+                else contract.activity
+            )
+            validation = validate_artifact(
+                validator_name, feature_dir / artifact_name
+            )
+        if validation is not None and not validation.valid:
             return AdaptiveRunOutcome(
                 "invalid-artifact",
                 contract.activity,

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/src/devflow_cli/core/remediation.py

@@ -82,6 +82,17 @@ def carried_changed_files(feature_dir: Path, activity: str) -> list[str]:
     return sorted(set(files))
 
 
+def is_reopened_activity(feature_dir: Path, activity: str) -> bool:
+    """Indique si l'activite courante provient de la derniere reouverture auditee."""
+    try:
+        payload = json.loads((feature_dir / "reopen-log.json").read_text(encoding="utf-8"))
+        entries = payload["entries"]
+        entry = entries[-1]
+    except (OSError, json.JSONDecodeError, KeyError, IndexError, TypeError):
+        return False
+    return entry.get("targetActivity") == activity
+
+
 def _read_log(path: Path, issue_id: str) -> dict:
     if not path.exists():
         return {"schemaVersion": 1, "issueId": issue_id, "entries": []}

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/src/devflow_cli/core/validators.py

@@ -42,7 +42,7 @@ ARTIFACT_RULES: dict[str, dict] = {
     "spec": {
         "required_section_groups": [
             ["User Scenarios & Testing", "User Stories"],
-            ["Requirements"],
+            ["Requirements", "Exigences"],
             ["Success Criteria"],
         ],
         "min_size": 50,

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/tests/test_activity_contracts.py

@@ -101,6 +101,20 @@ def test_implement_contract_is_agent_neutral() -> None:
     assert evidence_schema["additionalProperties"] is False
 
 
+def test_reopened_activity_contract_exposes_the_audit_log() -> None:
+    state = create_quick_workflow(_assessment())
+
+    contract = build_activity_contract(
+        state,
+        _assessment(),
+        ".specify/specs/001-test",
+        reopened=True,
+    )
+
+    assert ".specify/specs/001-test/reopen-log.json" in contract.inputs
+    assert "reouverture auditee" in " ".join(contract.constraints)
+
+
 def test_output_schema_declares_a_type_for_every_property() -> None:
     state = create_quick_workflow(_assessment())
     contract = build_activity_contract(state, _assessment(), ".specify/specs/001-test")
@@ -331,6 +345,31 @@ def test_implement_contract_delegates_external_gate_to_local_verify() -> None:
     assert any("locale verify" in item for item in contract.constraints)
 
 
+def test_implement_contract_exposes_archived_preflight_evidence() -> None:
+    state = create_quick_workflow(_assessment())
+    contract = build_activity_contract(
+        state,
+        _assessment(),
+        ".specify/specs/001-test",
+        preflight_evidence=True,
+    )
+
+    assert ".specify/specs/001-test/preflight-evidence.md" in contract.inputs
+    assert any("preuve de pre-vol" in item for item in contract.constraints)
+
+
+def test_reopened_plan_requires_the_preflight_evidence_file() -> None:
+    assessment = _critical_assessment()
+    state = create_adaptive_workflow(assessment)
+    for activity in ("risk-assessment", "spec", "research", "contracts"):
+        complete_activity(state, activity)
+    contract = build_activity_contract(
+        state, assessment, ".specify/specs/001-critical", reopened=True,
+    )
+
+    assert contract.constraints[5].endswith("/preflight-evidence.md; ne modifier aucun autre fichier.")
+
+
 def test_review_contract_uses_verified_evidence_without_rebuilding() -> None:
     assessment = _critical_assessment()
     state = create_adaptive_workflow(assessment)

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/tests/test_agent_adapters.py

@@ -161,6 +161,21 @@ def test_codex_verify_contract_can_use_read_only_sandbox(tmp_path: Path) -> None
     assert command[command.index("--sandbox") + 1] == "read-only"
 
 
+def test_codex_structured_execution_explains_an_empty_last_message(tmp_path: Path) -> None:
+    schema = tmp_path / "schema.json"
+    output = tmp_path / "output.json"
+    schema.write_text(json.dumps({"type": "object"}))
+    output.write_text("")
+    completed = subprocess.CompletedProcess([], 0, "", "")
+
+    with patch("subprocess.run", return_value=completed):
+        result = CodexAdapter().execute_structured("prompt", tmp_path, 10, schema, output)
+
+    assert result.returncode == 1
+    assert "--output-last-message est vide" in result.stderr
+    assert not output.exists()
+
+
 def test_cursor_manual_does_not_force_edits() -> None:
     command = CursorAdapter().build_command("review", "manual")
 

{devflow_cli-3.0.0 → devflow_cli-3.0.1}/tests/test_validators.py

@@ -59,6 +59,22 @@ def test_validate_spec_accepts_french_template_heading(tmp_path: Path) -> None:
     assert result.valid is True
 
 
+def test_validate_spec_accepts_french_exigences_heading(tmp_path: Path) -> None:
+    """Une spec rédigée naturellement en français respecte le contrat."""
+    spec = tmp_path / "spec.md"
+    spec.write_text(
+        SPEC_VALID.replace("User Scenarios & Testing", "User Stories").replace(
+            "Requirements", "Exigences fonctionnelles"
+        ),
+        encoding="utf-8",
+    )
+
+    result = validate_artifact("spec", spec)
+
+    assert result.valid is True
+    assert result.issues == []
+
+
 def test_validate_spec_empty(tmp_path: Path) -> None:
     """spec.md de 0 octets → invalide avec issue empty_content."""
     spec = tmp_path / "spec.md"