@guanlin4924/devflow-pi 0.1.75 → 0.1.76

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@guanlin4924/devflow-pi",
-  "version": "0.1.75",
+  "version": "0.1.76",
   "type": "module",
   "description": "Devflow 专项研发 Pi，基于固定版本 OMP Runtime 组装研发状态机、代码智能、设计、实现与质量门禁。",
   "license": "UNLICENSED",

package/plugins/devflow-core/extensions/devflow-core.ts

@@ -1318,7 +1318,7 @@ export default function devflowCore(pi: ExtensionAPI) {
               value = await store.registerWorkspace({ rebindWorkspaceId: params.workspaceId });
             } else if (params.action === "cancel") {
               if (!params.runId) throw new Error("runId is required for cancel");
-              value = { runId: params.runId, cancelled: store.cancelRun(params.runId) };
+              value = { runId: params.runId, cancelled: store.cancelRunByOperator(params.runId) };
             } else if (params.action === "recover") {
               if (!params.runId) throw new Error("runId is required for recover");
               value = { runId: params.runId, ...store.recoverRun(params.runId) };

package/plugins/devflow-core/skills/workflow-project-context/scripts/validate_initialization_database.py

@@ -61,6 +61,8 @@ def validate(database: Path, project_id: str, workspace_id: str | None = None, r
         for run in runs[:1] if not run_id else runs:
             if run["status"] not in TERMINAL_STATUSES | {"preparing", "collecting", "validating"}:
                 errors.append(f"invalid run status: {run['status']}")
+            if run["status"] != "finished":
+                errors.append(f"initialization run is not finished: {run['status']}")
             results = connection.execute(
                 "SELECT repository,kind,status FROM collection_results WHERE run_id=?", (run["id"],)
             ).fetchall()

package/plugins/devflow-intel/skills/workflow-code-index/scripts/semantic.py

@@ -19,11 +19,14 @@ def build_semantic_facts(root: Path, files: Iterable[dict], symbols: Iterable[di
     entities: List[dict] = []
     flows: List[dict] = []
     bindings: List[dict] = []
+    records = list(files)
     symbol_by_path = {}
     for symbol in symbols:
         symbol_by_path.setdefault(symbol.get("path"), []).append(symbol)
 
-    for file_record in files:
+    for file_number, file_record in enumerate(records, 1):
+        if file_number == 1 or file_number % 250 == 0 or file_number == len(records):
+            print(f"[code-index][semantic] processed {file_number}/{len(records)} files", flush=True)
         path = file_record["path"]
         source = _read(root, path)
         if source is None:
@@ -45,10 +48,11 @@ def build_semantic_facts(root: Path, files: Iterable[dict], symbols: Iterable[di
                 if symbol.get("kind") in {"route", "component", "class", "function", "method"}:
                     bindings.append(_binding(feature_id, symbol["id"], "static_inferred", "heuristic", path, symbol.get("line_start", 1)))
 
+        state_ids = set()
         for line_no, line in enumerate(source.splitlines(), 1):
             _extract_api(line, path, file_record, line_no, entities, flows)
             _extract_db(line, path, file_record, line_no, entities, flows)
-            _extract_ui(line, path, file_record, line_no, entities, flows)
+            _extract_ui(line, path, file_record, line_no, entities, flows, state_ids)
 
     # Existing structural relations remain the source of method call edges;
     # expose them in the semantic graph without changing their meaning.
@@ -110,7 +114,8 @@ def _extract_db(line, path, record, line_no, entities, flows):
         flows.append(_flow(table_id, column_id, f"{operation}_column", path, line_no, "heuristic", "sql_column_regex"))
 
 
-def _extract_ui(line, path, record, line_no, entities, flows):
+def _extract_ui(line, path, record, line_no, entities, flows, state_ids=None):
+    state_ids = state_ids if state_ids is not None else set()
     component = re.search(r"\b(?:function|class)\s+([A-Z][A-Za-z0-9_]*)|<([A-Z][A-Za-z0-9_.]*)\b", line)
     state = re.search(r"\b(?:useState|ref|reactive|computed|createSignal)\s*\(.*?\)|\b(?:const|let|var)\s+([A-Za-z_][\w]*(?:State|Store|Status|Loading|Error))\s*=", line)
     condition = re.search(r"\b(?:v-if|v-show)\s*=\s*['\"]([^'\"]+)['\"]|(?:\{\s*)?([^{}\n]+?)\s*&&\s*<", line)
@@ -125,16 +130,16 @@ def _extract_ui(line, path, record, line_no, entities, flows):
         name = state.group(1) or "anonymous_state"
         state_id = f"ui-state:{stable_key(path)}:{stable_key(name)}"
         entities.append(_entity(state_id, "ui_state", name, record, line_no, line_no, "heuristic", "state_pattern"))
+        state_ids.add(state_id)
         flows.append(_flow(component_id, state_id, "state_reads", path, line_no, "heuristic", "state_pattern"))
     if condition:
         expression = condition.group(1) or condition.group(2)
         cond_id = f"render-condition:{stable_key(path)}:{short_hash(expression)}"
         entities.append(_entity(cond_id, "render_condition", expression, record, line_no, line_no, "heuristic", "template_condition"))
         flows.append(_flow(component_id, cond_id, "renders_when", path, line_no, "heuristic", "template_condition"))
-        known_ids = {item["id"] for item in entities if item.get("entity_type") == "ui_state"}
         for name in re.findall(r"\b[A-Za-z_][A-Za-z0-9_]*\b", expression):
             state_id = f"ui-state:{stable_key(path)}:{stable_key(name)}"
-            if state_id in known_ids:
+            if state_id in state_ids:
                 flows.append(_flow(cond_id, state_id, "depends_on", path, line_no, "heuristic", "condition_identifier"))
 
 

package/src/constants.ts

@@ -1,5 +1,5 @@
 export const PRODUCT_NAME = "Devflow Pi";
-export const PRODUCT_VERSION = "0.1.75";
+export const PRODUCT_VERSION = "0.1.76";
 export const PROJECT_SCHEMA_VERSION = 1;
 export const OMP_RUNTIME_VERSION = "17.2.7";
 

package/src/initialization-store.ts

@@ -455,6 +455,17 @@ export class InitializationStore {
     return this.db.query("UPDATE initialization_runs SET status='cancelled',updated_at=? WHERE id=? AND lease_token=? AND lease_expires_at>? AND status IN ('preparing','collecting','validating')").run(timestamp, runId, leaseToken, timestamp).changes === 1;
   }
 
+  /** Operator cancellation invalidates the worker lease so a detached worker cannot publish later. */
+  cancelRunByOperator(runId: string, reason = "cancelled by operator"): boolean {
+    const replacementLease = randomUUID();
+    const result = this.db.query(`UPDATE initialization_runs
+      SET status='cancelled', lease_token=?, error=?, updated_at=?
+      WHERE id=? AND status IN ('preparing','collecting','validating')`).run(
+      replacementLease, reason.slice(0, 4000), now(), runId,
+    );
+    return result.changes === 1;
+  }
+
   failRun(runId: string, leaseToken: string, error: string): boolean {
     this.assertWritableRun(runId, leaseToken);
     const timestamp = now();