@guanlin4924/devflow-pi 0.1.53 → 0.1.54

package/package.json

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

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

@@ -1361,6 +1361,31 @@ export default function devflowCore(pi: ExtensionAPI) {
     return stateRevision === contract.stateRevision && graphRevision === contract.graphRevision;
   }
 
+  // A successful graph mutation is already constrained by the active contract's
+  // allowed kinds and the graph's compare-and-swap revision. Re-freeze the
+  // Core-derived contract at that new revision so the next candidate remains in
+  // the same approved step instead of being rejected as stale.
+  async function rebaseActiveContractAfterGraphWrite(ctx: { cwd: string }, feature: string, graphRevision?: number): Promise<string | undefined> {
+    const previous = activeContract;
+    if (!previous || previous.feature !== feature) return undefined;
+    const written = await runRuby(ctx.cwd, "workflow-orchestrator/scripts/execution_contract.rb", [
+      "create", "--feature", previous.feature, "--step", previous.step, "--write", "--json",
+      ...(previous.stateRevision === undefined ? [] : ["--expected-state-revision", String(previous.stateRevision)]),
+      ...(graphRevision === undefined ? [] : ["--expected-graph-revision", String(graphRevision)]),
+    ]);
+    const payload = parseJsonResult(written);
+    const refreshed = payload?.contract && typeof payload.contract === "object"
+      ? contractFromRecord(payload.contract as Record<string, unknown>)
+      : null;
+    if (!controlPlaneSucceeded(written) || !refreshed) {
+      return written.stderr || written.stdout || "Core could not refresh the execution contract after graph write.";
+    }
+    refreshed.contractPath = typeof payload?.path === "string" ? payload.path : undefined;
+    activeContract = refreshed;
+    contractAgentCalls = 0;
+    return undefined;
+  }
+
   async function restoreActiveContract(cwd: string): Promise<ActiveExecutionContract | undefined> {
     try {
       const state = parseJsonResult(await runRuby(cwd, "workflow-orchestrator/scripts/inspect_state.rb", ["--json"]));
@@ -2975,10 +3000,17 @@ export default function devflowCore(pi: ExtensionAPI) {
           args.push("--confirmed-interactively");
         }
       }
-      return renderResult(
-        await runRuby(ctx.cwd, "workflow-orchestrator/scripts/requirement_graph.rb", args),
-        { action: params.action, feature: params.feature },
-      );
+      const result = await runRuby(ctx.cwd, "workflow-orchestrator/scripts/requirement_graph.rb", args);
+      if (graphWrite && controlPlaneSucceeded(result)) {
+        const revision = parseJsonResult(result)?.revision;
+        const rebaseError = await rebaseActiveContractAfterGraphWrite(
+          ctx,
+          params.feature,
+          typeof revision === "number" ? revision : undefined,
+        );
+        if (rebaseError) ctx.ui.notify(`图谱候选已写入，但执行合同未能刷新；后续写入将保持阻塞：${rebaseError}`, "error");
+      }
+      return renderResult(result, { action: params.action, feature: params.feature });
     },
   });
 

package/plugins/devflow-core/skills/workflow-orchestrator/scripts/execution_contract.rb

@@ -11,6 +11,7 @@ require_relative "control_io"
 require_relative "requirement_graph"
 
 POLICY = {
+  "domain-modeling" => { "checkers" => %w[requirement-graph-check], "agents" => [], "budget" => 0, "allowed_graph_delta" => %w[term object behavior rule boundary] },
   "requirement-baseline" => { "checkers" => %w[requirement-graph-check business-closure-check slice-independence-check acceptance-coverage-check change-impact-check], "agents" => [], "budget" => 0, "allowed_graph_delta" => %w[requirement rule boundary slice acceptance] },
   "api-contract" => { "checkers" => %w[requirement-graph-check contract-coverage-check api-test-schema-check change-impact-check], "agents" => [], "budget" => 0, "allowed_graph_delta" => %w[api] },
   "architecture-feasibility" => { "checkers" => %w[requirement-graph-check change-impact-check], "agents" => [], "budget" => 0, "allowed_graph_delta" => %w[workload_shape workload_constraint decision risk metric read_model] },

package/src/constants.ts

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