agent-project-sdlc 0.1.22 → 0.1.23

package/assets/tools/transition.py

@@ -1,19 +1,14 @@
 #!/usr/bin/env python3
-from harness_utils import dump_yaml, load_lifecycle, load_phase_contracts, make_arg_parser, require, run_main
-
-
-RFC_INTERRUPT_SOURCES = {"SPRINTING", "REVIEWING", "TESTING", "RELEASING"}
-
-
-def phase_targets(phase: dict) -> list[str]:
-    targets: list[str] = []
-    next_phase = phase.get("next")
-    if next_phase:
-        targets.append(str(next_phase))
-    for return_phase in phase.get("returns") or []:
-        if return_phase:
-            targets.append(str(return_phase))
-    return list(dict.fromkeys(targets))
+from harness_utils import (
+    dump_yaml,
+    find_phase_transition,
+    load_lifecycle,
+    load_phase_contract_data,
+    make_arg_parser,
+    phase_transition_targets,
+    require,
+    run_main,
+)
 
 
 def main() -> None:
@@ -24,29 +19,25 @@ def main() -> None:
     args = parser.parse_args()
 
     lifecycle = load_lifecycle()
-    phases = load_phase_contracts()
+    contract_data = load_phase_contract_data()
+    phases = contract_data["phases"]
     target = args.to
     current = lifecycle.get("current_phase")
     require(target in phases, f"Unknown target phase: {target}")
     require(current in phases, f"Current phase is not declared in phase_contracts.yaml: {current}")
 
-    legal = set(lifecycle.get("allowed_next_phases") or [])
-    legal.update(phase_targets(phases[current]))
-    if target == "RFC_RECALIBRATION" and current in RFC_INTERRUPT_SOURCES:
-        legal.add(target)
-    if target == "BLOCKED":
-        legal.add(target)
     suspended = lifecycle.get("suspended_phase")
-    if current == "BLOCKED" and suspended:
-        legal.add(suspended)
+    legal = set(phase_transition_targets(contract_data, str(current), str(suspended or "")))
+    transition = find_phase_transition(contract_data, str(current), target, str(suspended or ""))
 
     require(args.force or target in legal, f"Illegal transition {current} -> {target}. Legal: {sorted(legal)}")
 
-    if target in {"RFC_RECALIBRATION", "BLOCKED"} and current not in {"RFC_RECALIBRATION", "BLOCKED"}:
+    effects = transition.get("effects") if transition else {}
+    if not isinstance(effects, dict):
+        effects = {}
+    if effects.get("set_suspended_phase"):
         lifecycle["suspended_phase"] = current
-    elif current == "RFC_RECALIBRATION" and target == "SPRINTING":
-        lifecycle["suspended_phase"] = ""
-    elif suspended and target == suspended:
+    if effects.get("clear_suspended_phase"):
         lifecycle["suspended_phase"] = ""
 
     phase = phases[target]
@@ -54,9 +45,11 @@ def main() -> None:
     lifecycle["active_role"] = phase.get("role", "")
     lifecycle["active_skill"] = phase.get("skill", "")
 
-    lifecycle["allowed_next_phases"] = phase_targets(phase)
-    if target == "BLOCKED" and lifecycle.get("suspended_phase"):
-        lifecycle["allowed_next_phases"] = [lifecycle["suspended_phase"]]
+    lifecycle["allowed_next_phases"] = phase_transition_targets(
+        contract_data,
+        target,
+        str(lifecycle.get("suspended_phase") or ""),
+    )
 
     dump_yaml(lifecycle, ".codex/state/lifecycle.yaml")
     print(f"Transitioned {current} -> {target}")

package/assets/tools/validate_design.py

@@ -129,6 +129,11 @@ def validate_self_test_contract_tech_plan_binding(task: dict, normalized_tech_re
         contains_any(section, ["module key test path", "模块关键测试路径"]),
         f"Draft task {task_id} tech plan Development Self-Test Contract must include Module key test path: {source}",
     )
+    if contract.get("graph_required") is True:
+        require(
+            contains_any(section, ["module key test graph", "module_key_test_graph", "模块关键测试图"]),
+            f"Draft task {task_id} tech plan Development Self-Test Contract must include Module Key Test Graph when graph_required is true: {source}",
+        )
     for scenario in contract.get("scenarios") or []:
         if not isinstance(scenario, dict):
             continue

package/assets/tools/validate_harness.py

@@ -1,5 +1,15 @@
 #!/usr/bin/env python3
-from harness_utils import load_lifecycle, load_phase_contracts, load_yaml, repo_path, require, require_paths, run_main
+from harness_utils import (
+    load_lifecycle,
+    load_phase_contract_data,
+    load_phase_contracts,
+    load_yaml,
+    phase_transition_contract_errors,
+    repo_path,
+    require,
+    require_paths,
+    run_main,
+)
 
 
 def main() -> None:
@@ -37,6 +47,7 @@ def main() -> None:
     require_paths(required_files + required_dirs)
 
     lifecycle = load_lifecycle()
+    phase_contract_data = load_phase_contract_data()
     phases = load_phase_contracts()
     load_yaml(".codex/pjsdlc_managed/policies/gates.yaml")
     load_yaml(".codex/pjsdlc_managed/policies/allowed_paths.yaml")
@@ -44,6 +55,8 @@ def main() -> None:
 
     current_phase = lifecycle.get("current_phase")
     require(current_phase in phases, f"Lifecycle current_phase is not declared: {current_phase}")
+    for error in phase_transition_contract_errors(phase_contract_data, require_transitions=True):
+        require(False, error)
 
     for phase_name, contract in phases.items():
         skill = contract.get("skill")

package/assets/tools/validate_prompt_language.py

@@ -68,7 +68,7 @@ YAML_KEYWORDS = {
         "next_task_sequence",
         "tasks",
     ],
-    "phase_contracts": ["phases"],
+    "phase_contracts": ["phases", "transitions"],
 }
 
 

package/assets/tools/validate_rfc.py

@@ -30,6 +30,11 @@ SELF_TEST_TRIGGER_TERMS = [
     "handoff",
     "blocker",
     "module key test path",
+    "module key test graph",
+    "module_key_test_graph",
+    "checkpoint",
+    "observable exit",
+    "evidence refs",
     "test route",
     "test path",
     "debug path",

package/dist/lib/init.js

@@ -53,7 +53,7 @@ async function createProjectState(projectRoot, root, report) {
     const files = [
         [
             harnessPath(root, "state", "lifecycle.yaml"),
-            `project_name: "Project"\nversion: "v0.1"\ncurrent_phase: "SPRINTING"\nactive_role: "developer"\nactive_skill: "pjsdlc_dev_sprint"\ncurrent_milestone: "MVP"\nblocked_reason: ""\nsuspended_phase: ""\nallowed_next_phases:\n  - "REVIEWING"\n`
+            `project_name: "Project"\nversion: "v0.1"\ncurrent_phase: "SPRINTING"\nactive_role: "developer"\nactive_skill: "pjsdlc_dev_sprint"\ncurrent_milestone: "MVP"\nblocked_reason: ""\nsuspended_phase: ""\nallowed_next_phases:\n  - "REVIEWING"\n  - "RFC_RECALIBRATION"\n  - "BLOCKED"\n`
         ],
         [harnessPath(root, "state", "plan.yaml"), `current_task_id: ""\nnext_task_sequence: 1\ntasks: []\n`],
         [harnessPath(root, "state", "plan.draft.yaml"), `next_task_sequence: 1\ntasks: []\n`],