@aipper/aiws 0.0.24 → 0.0.25

package/src/commands/dashboard.js

@@ -5,7 +5,8 @@ import { fileURLToPath } from "node:url";
 import { UserError } from "../errors.js";
 import { runCommand } from "../exec.js";
 import { pathExists } from "../fs.js";
-import { computeChangeStatus, validateChangeArtifacts } from "./change.js";
+import { loadWorkflowStageContracts as loadWorkflowStageContractsSpec } from "../spec.js";
+import { computeChangeNextAdvice, computeChangeStatus, validateChangeArtifacts } from "./change.js";
 
 const __filename = fileURLToPath(import.meta.url);
 const __dirname = path.dirname(__filename);
@@ -82,6 +83,33 @@ async function listChangeIds(gitRoot) {
   }
 }
 
+export async function loadWorkflowStageContracts() {
+  return loadWorkflowStageContractsSpec();
+}
+
+/**
+ * @param {string} gitRoot
+ */
+export async function collectDashboardChanges(gitRoot) {
+  const ids = await listChangeIds(gitRoot);
+  const changes = [];
+  for (const id of ids) {
+    try {
+      const st = await computeChangeStatus(gitRoot, id);
+      const nextAdvice = await computeChangeNextAdvice(gitRoot, id);
+      changes.push({
+        ...st,
+        collaboration: st.collaboration?.counts || null,
+        nextAdvice,
+        governance: st.governance || null,
+      });
+    } catch (e) {
+      changes.push({ changeId: id, ok: false, error: e instanceof Error ? e.message : String(e) });
+    }
+  }
+  return changes;
+}
+
 function parseUrl(reqUrl) {
   const u = new URL(reqUrl || "/", "http://127.0.0.1");
   return { pathname: u.pathname, searchParams: u.searchParams };
@@ -109,26 +137,24 @@ export async function dashboardServeCommand(options) {
       }
 
       if (pathname === "/api/changes") {
-        const ids = await listChangeIds(gitRoot);
-        const changes = [];
-        for (const id of ids) {
-          try {
-            const st = await computeChangeStatus(gitRoot, id);
-            changes.push(st);
-          } catch (e) {
-            changes.push({ changeId: id, ok: false, error: e instanceof Error ? e.message : String(e) });
-          }
-        }
+        const changes = await collectDashboardChanges(gitRoot);
         sendJson(res, 200, { ok: true, changes });
         return;
       }
 
+      if (pathname === "/api/workflow-stages") {
+        const stages = await loadWorkflowStageContracts();
+        sendJson(res, 200, stages);
+        return;
+      }
+
       const m = pathname.match(/^\/api\/change\/([^/]+)\/validate$/);
       if (m) {
         const changeId = decodeURIComponent(m[1] || "");
         const strict = searchParams.get("strict") === "1" || searchParams.get("strict") === "true";
         const allowTruthDrift = searchParams.get("allow_truth_drift") === "1" || searchParams.get("allow_truth_drift") === "true";
-        const result = await validateChangeArtifacts(gitRoot, changeId, { strict, allowTruthDrift });
+        const checkScope = searchParams.get("check_scope") === "1" || searchParams.get("check_scope") === "true";
+        const result = await validateChangeArtifacts(gitRoot, changeId, { strict, allowTruthDrift, checkScope });
         sendJson(res, 200, result);
         return;
       }

package/src/commands/opencode-status.js

@@ -0,0 +1,61 @@
+import { resolveWorkspaceRoot } from "../workspace.js";
+import { detectOpenCodeEnvironment } from "../opencode-env.js";
+
+/**
+ * @param {{ targetPath: string }} options
+ */
+export async function opencodeStatusCommand(options) {
+  const workspaceRoot = await resolveWorkspaceRoot(options.targetPath, { create: false });
+  const env = await detectOpenCodeEnvironment(workspaceRoot);
+
+  console.log(`✓ aiws opencode status: ${workspaceRoot}`);
+  console.log(`.opencode/: ${env.opencodeDirExists ? "ok" : "missing"}`);
+  console.log(`mode: ${env.mode}`);
+  console.log(
+    `oMo config: ${
+      env.configStatus === "loaded"
+        ? `${env.rel.configPath} (ok)`
+        : env.configStatus === "invalid"
+          ? `${env.rel.configPath} (invalid JSON: ${env.configError})`
+          : "missing"
+    }`,
+  );
+  console.log(`oMo example: ${env.exampleExists ? `${env.rel.examplePath} (present)` : "missing"}`);
+  console.log(`recommended_agents_ready: ${env.recommendedAgentsReady}`);
+  console.log(`enabled_agents: ${env.enabledAgents.length > 0 ? env.enabledAgents.join(", ") : "(none)"}`);
+
+  const planner = env.agents["planner-sisyphus"];
+  const librarian = env.agents.librarian;
+  const explore = env.agents.explore;
+  const oracle = env.agents.oracle;
+  console.log(
+    `aiws_roles: planner=${planner.enabled ? "planner-sisyphus" : "missing"}, explorer=${[
+      explore.enabled ? "explore" : "",
+      librarian.enabled ? "librarian" : "",
+    ]
+      .filter(Boolean)
+      .join("+") || "missing"}, reviewer=${oracle.enabled ? "oracle" : "missing"}, integrator=current-agent`,
+  );
+
+  if (planner.present) {
+    console.log(`planner-sisyphus.replace_plan: ${planner.replacePlan === null ? "(unset)" : String(planner.replacePlan)}`);
+  }
+
+  if (env.configStatus === "invalid") {
+    console.log(`Next: 修复 ${env.rel.configPath} 的 JSON，然后重新运行 aiws opencode status .`);
+    return;
+  }
+  if (!env.configExists && env.exampleExists) {
+    console.log(`Next: 如需启用 oMo 优先模式，可复制 ${env.rel.examplePath} -> ${env.rel.configPath} 后按项目调整 agents。`);
+    return;
+  }
+  if (env.mode === "oMo-enabled" && !env.recommendedAgentsReady) {
+    console.log("Next: 补齐 planner-sisyphus / librarian / explore / oracle，或接受 fallback 到 standard-opencode。");
+    return;
+  }
+  if (env.mode === "oMo-enabled") {
+    console.log("Next: 运行 /using-aiws 或 /ws-preflight，确认技能路由输出 OpenCode mode: oMo-enabled。");
+    return;
+  }
+  console.log("Next: 当前按 standard-opencode 运行；如需多 agent 优先委托，可启用 oh-my-opencode 项目配置。");
+}

package/src/dashboard/app.js

@@ -38,6 +38,14 @@ function tasksBadge(done, total, unchecked) {
   return `<span class="badge"><span class="dot ${cls}"></span>${label}</span>`;
 }
 
+function summarizeNextAdvice(advice) {
+  const a = advice && typeof advice === "object" ? advice : {};
+  const actions = Array.isArray(a.actions) ? a.actions : [];
+  const recommended = Array.isArray(a.recommended) ? a.recommended : [];
+  const prohibitions = Array.isArray(a.prohibitions) ? a.prohibitions : [];
+  return actions[0] || recommended[0] || prohibitions[0] || "";
+}
+
 function renderDetails(obj) {
   return JSON.stringify(obj, null, 2);
 }
@@ -48,6 +56,8 @@ function renderValidateGroups(groups) {
     ["missing_files", "Missing files"],
     ["placeholders", "Placeholders / WS:TODO"],
     ["bindings", "Bindings"],
+    ["scope_gate", "Scope gate"],
+    ["finish_gate", "Finish gate"],
     ["plan_quality", "Plan quality"],
     ["other", "Other"],
   ];
@@ -70,20 +80,148 @@ async function runStrictValidate(changeId) {
   return fetchJson(`/api/change/${encodeURIComponent(changeId)}/validate?strict=1`);
 }
 
+function normalizeStageId(value) {
+  return String(value || "").trim();
+}
+
+function stageLabel(stageId) {
+  return normalizeStageId(stageId) || "(unknown)";
+}
+
+function renderContractField(label, value) {
+  return `<div class="contract-field">
+    <div class="contract-field-label">${escapeHtml(label)}</div>
+    <div>${escapeHtml(value || "(none)")}</div>
+  </div>`;
+}
+
+function renderContractCard(title, contract) {
+  if (!contract) return "";
+  return `<div class="contract-card">
+    <div class="contract-title">${escapeHtml(title)}</div>
+    <div class="contract-stage"><code>${escapeHtml(contract.stage || "")}</code></div>
+    ${renderContractField("目标", contract.goal)}
+    ${renderContractField("必需输入", contract.requiredInputs)}
+    ${renderContractField("必需输出", contract.requiredOutputs)}
+    ${renderContractField("阻断条件", contract.blockers)}
+    ${renderContractField("下一步", contract.next)}
+  </div>`;
+}
+
+function normalizeGateStatus(value) {
+  return String(value || "missing").trim() || "missing";
+}
+
+function reviewGateText(reviewGates) {
+  const gates = reviewGates && typeof reviewGates === "object" ? reviewGates : {};
+  const spec = normalizeGateStatus(gates?.specReview?.status);
+  const quality = normalizeGateStatus(gates?.qualityReview?.status);
+  const validate = normalizeGateStatus(gates?.validateStamp?.status);
+  const preComplete = normalizeGateStatus(gates?.verifyBeforeComplete?.status);
+  return `review-gates: spec=${spec}, quality=${quality}, validate=${validate}, pre-complete=${preComplete}`;
+}
+
+function renderReviewGateBadges(reviewGates) {
+  const gates = reviewGates && typeof reviewGates === "object" ? reviewGates : {};
+  const items = [
+    ["spec", gates?.specReview],
+    ["quality", gates?.qualityReview],
+    ["validate", gates?.validateStamp],
+    ["pre-complete", gates?.verifyBeforeComplete],
+  ];
+  return `<div class="governance-head">${items
+    .map(([label, gate]) => {
+      const ready = gate?.ready === true;
+      const status = normalizeGateStatus(gate?.status);
+      const cls = ready ? "good" : "warn";
+      return `<span class="badge"><span class="dot ${cls}"></span>${escapeHtml(`${label}=${status}`)}</span>`;
+    })
+    .join("")}</div>`;
+}
+
+function scopeGateText(scopeGate) {
+  const gate = scopeGate && typeof scopeGate === "object" ? scopeGate : {};
+  const status = String(gate.status || "not_run").trim() || "not_run";
+  const details = [];
+  if (typeof gate.errors === "number") details.push(`errors=${gate.errors}`);
+  if (typeof gate.warnings === "number") details.push(`warnings=${gate.warnings}`);
+  if (gate.lastRunAt) details.push(`at=${gate.lastRunAt}`);
+  return `scope-gate: ${status}${details.length > 0 ? ` (${details.join(", ")})` : ""}`;
+}
+
+function renderScopeGateBadge(scopeGate) {
+  const gate = scopeGate && typeof scopeGate === "object" ? scopeGate : {};
+  const status = String(gate.status || "not_run").trim() || "not_run";
+  const ready = gate.ready === true;
+  const cls = ready ? "good" : status === "failed" ? "bad" : "warn";
+  return `<span class="badge"><span class="dot ${cls}"></span>${escapeHtml(`scope=${status}`)}</span>`;
+}
+
+function renderGovernanceSummary(selected, stageData) {
+  const governance = selected?.governance && typeof selected.governance === "object" ? selected.governance : {};
+  const currentStage = normalizeStageId(governance.currentStage);
+  const recommendedStage = normalizeStageId(governance.recommendedStage);
+  const phase = normalizeStageId(governance.phase || selected?.phase);
+  const contracts = Array.isArray(stageData?.stages) ? stageData.stages : [];
+  const byStage = new Map(contracts.map((contract) => [normalizeStageId(contract.stage), contract]));
+  const currentContract = byStage.get(currentStage) || null;
+  const recommendedContract = byStage.get(recommendedStage) || null;
+
+  const rail = contracts.length > 0
+    ? `<div class="governance-rail">${contracts
+        .map((contract, index) => {
+          const stage = normalizeStageId(contract.stage);
+          const cls = [
+            "stage-chip",
+            stage === currentStage ? "active" : "",
+            stage === recommendedStage && stage !== currentStage ? "recommended" : "",
+          ]
+            .filter(Boolean)
+            .join(" ");
+          const arrow = index < contracts.length - 1 ? `<span class="rail-arrow">&rarr;</span>` : "";
+          return `<span class="${cls}"><code>${escapeHtml(stageLabel(stage))}</code></span>${arrow}`;
+        })
+        .join("")}</div>`
+    : `<div class="muted">(workflow-stage-contracts unavailable)</div>`;
+
+  const cards = [];
+  if (currentContract) cards.push(renderContractCard(`Current Contract (${phase || "unknown"})`, currentContract));
+  if (recommendedContract && recommendedStage && recommendedStage !== currentStage) {
+    cards.push(renderContractCard("Next Contract", recommendedContract));
+  }
+
+  return `<div class="governance-head">
+      <span class="badge"><span class="dot good"></span>phase=${escapeHtml(phase || "(unknown)")}</span>
+      <span class="badge"><span class="dot warn"></span>current=${escapeHtml(stageLabel(currentStage))}</span>
+      <span class="badge"><span class="dot good"></span>next=${escapeHtml(stageLabel(recommendedStage || currentStage))}</span>
+    </div>
+    ${governance.rationale ? `<div class="muted">${escapeHtml(governance.rationale)}</div>` : ""}
+    ${governance.warning ? `<div class="muted">warning: ${escapeHtml(governance.warning)}</div>` : ""}
+    ${selected?.reviewGates ? renderReviewGateBadges(selected.reviewGates) : ""}
+    ${selected?.scopeGate ? `<div class="governance-head">${renderScopeGateBadge(selected.scopeGate)}</div>` : ""}
+    ${rail}
+    <div class="governance-grid">
+      ${cards.join("") || `<div class="muted">No contract summary available.</div>`}
+    </div>`;
+}
+
 async function refresh() {
   const summaryEl = document.getElementById("summary");
   const bodyEl = document.getElementById("changes-body");
   const detailsTitleEl = document.getElementById("details-title");
   const detailsEl = document.getElementById("details");
+  const governanceEl = document.getElementById("governance-summary");
 
   summaryEl.textContent = "Loading…";
   bodyEl.innerHTML = "";
+  if (governanceEl) governanceEl.innerHTML = `<div class="muted">Loading workflow governance…</div>`;
 
-  const data = await fetchJson("/api/changes");
+  const [data, stageData] = await Promise.all([fetchJson("/api/changes"), fetchJson("/api/workflow-stages")]);
   if (!data || data.ok === false) {
     summaryEl.textContent = "Failed";
     detailsTitleEl.textContent = "Error";
     detailsEl.textContent = renderDetails(data);
+    if (governanceEl) governanceEl.innerHTML = `<div class="muted">Failed to load governance summary.</div>`;
     return;
   }
 
@@ -99,8 +237,24 @@ async function refresh() {
       const bindings = c.bindings || {};
       const planFile = bindings.planFile || "";
       const evidencePaths = Array.isArray(bindings.evidencePaths) ? bindings.evidencePaths : [];
+      const collaboration = c.collaboration && typeof c.collaboration === "object" ? c.collaboration : {};
+      const nextHint = summarizeNextAdvice(c.nextAdvice);
+      const governance = c.governance && typeof c.governance === "object" ? c.governance : {};
+      const reviewGateLine = reviewGateText(c.reviewGates);
+      const scopeGateLine = scopeGateText(c.scopeGate);
+      const collabLabel = `analysis=${collaboration.analysis || 0}, patches=${collaboration.patches || 0}, review=${collaboration.review || 0}`;
+      const stageLine = `phase=${governance.phase || c.phase || "unknown"}, current=${governance.currentStage || "unknown"}, next=${governance.recommendedStage || governance.currentStage || "unknown"}`;
+      const rationaleLine = governance.rationale ? `<div class="muted">${escapeHtml(governance.rationale)}</div>` : "";
+      const warningLine = governance.warning ? `<div class="muted">warning: ${escapeHtml(governance.warning)}</div>` : "";
       const pe = `${planFile ? `<div><code>${escapeHtml(planFile)}</code></div>` : `<div class="muted">(no Plan_File)</div>`}
-        <div class="muted">${evidencePaths.length} evidence path(s)</div>`;
+        <div class="muted">${evidencePaths.length} evidence path(s)</div>
+        <div class="muted">${escapeHtml(collabLabel)}</div>
+        <div class="muted">${escapeHtml(stageLine)}</div>
+        <div class="muted">${escapeHtml(reviewGateLine)}</div>
+        <div class="muted">${escapeHtml(scopeGateLine)}</div>
+        ${rationaleLine}
+        ${warningLine}
+        ${nextHint ? `<div class="muted">${escapeHtml(nextHint)}</div>` : ""}`;
       return `<tr data-change="${escapeHtml(changeId)}">
         <td><a class="link" href="#" data-open="${escapeHtml(changeId)}">${escapeHtml(changeId)}</a></td>
         <td>${tasksBadge(tasks.done || 0, tasks.total || 0, tasks.unchecked || 0)}</td>
@@ -122,9 +276,12 @@ async function refresh() {
       detailsTitleEl.textContent = changeId ? `change: ${changeId}` : "Details";
       if (!selected) {
         detailsEl.textContent = renderDetails(selected);
+        if (governanceEl) governanceEl.innerHTML = `<div class="muted">No governance summary available.</div>`;
         return;
       }
+      if (governanceEl) governanceEl.innerHTML = renderGovernanceSummary(selected, stageData);
       const b = selected.bindings || {};
+      const governance = selected.governance && typeof selected.governance === "object" ? selected.governance : {};
       const evid = Array.isArray(b.evidencePaths) ? b.evidencePaths : [];
       const lines = [];
       lines.push(`changeId: ${selected.changeId || ""}`);
@@ -136,6 +293,52 @@ async function refresh() {
         lines.push("Evidence_Path:");
         for (const p of evid) lines.push(`- ${p}`);
       }
+      if (selected.collaboration && typeof selected.collaboration === "object") {
+        lines.push("Collaboration:");
+        lines.push(`- analysis: ${selected.collaboration.analysis || 0}`);
+        lines.push(`- patches: ${selected.collaboration.patches || 0}`);
+        lines.push(`- review: ${selected.collaboration.review || 0}`);
+        lines.push(`- evidence: ${selected.collaboration.evidence || 0}`);
+      }
+      if (selected.reviewGates && typeof selected.reviewGates === "object") {
+        lines.push("");
+        lines.push("Review gates:");
+        lines.push(`- ${reviewGateText(selected.reviewGates)}`);
+        for (const [label, gate] of [
+          ["ws-spec-review", selected.reviewGates.specReview],
+          ["ws-quality-review", selected.reviewGates.qualityReview],
+          ["validate-stamp", selected.reviewGates.validateStamp],
+          ["ws-verify-before-complete", selected.reviewGates.verifyBeforeComplete],
+        ]) {
+          if (!gate || typeof gate !== "object") continue;
+          const foundPath = gate.foundPath ? ` path=${gate.foundPath}` : "";
+          lines.push(`- ${label}: ready=${gate.ready === true} status=${normalizeGateStatus(gate.status)}${foundPath}`);
+        }
+      }
+      if (selected.scopeGate && typeof selected.scopeGate === "object") {
+        lines.push("");
+        lines.push("Scope gate:");
+        lines.push(`- ${scopeGateText(selected.scopeGate)}`);
+      }
+      if (selected.nextAdvice && typeof selected.nextAdvice === "object") {
+        const actions = Array.isArray(selected.nextAdvice.actions) ? selected.nextAdvice.actions : [];
+        const recommended = Array.isArray(selected.nextAdvice.recommended) ? selected.nextAdvice.recommended : [];
+        const prohibitions = Array.isArray(selected.nextAdvice.prohibitions) ? selected.nextAdvice.prohibitions : [];
+        if (actions.length > 0 || recommended.length > 0 || prohibitions.length > 0) {
+          lines.push("");
+          lines.push("Next:");
+          for (const x of actions) lines.push(`- action: ${x}`);
+          for (const x of recommended) lines.push(`- recommended: ${x}`);
+          for (const x of prohibitions) lines.push(`- do-not: ${x}`);
+        }
+      }
+      if (governance.rationale) {
+        lines.push("");
+        lines.push(`Governance rationale: ${governance.rationale}`);
+      }
+      if (governance.warning) {
+        lines.push(`Governance warning: ${governance.warning}`);
+      }
       if (Array.isArray(selected.blockersStrict) && selected.blockersStrict.length > 0) {
         lines.push("");
         lines.push("Blockers (strict):");

package/src/dashboard/index.html

@@ -34,7 +34,7 @@
                 <th>Tasks</th>
                 <th>Truth drift</th>
                 <th>Blockers (strict)</th>
-                <th>Plan & Evidence</th>
+                <th>Plan / Evidence / Next</th>
                 <th>Actions</th>
               </tr>
             </thead>
@@ -42,7 +42,7 @@
           </table>
         </div>
         <div class="hint">
-          建议：先运行执行前质量门 <code>aiws change validate &lt;id&gt; --strict</code>（等价 <code>$ws-plan-verify</code>），通过后再进入 <code>$ws-dev</code>。
+          建议：先看 Details 里的 <code>Next</code>，优先通过 <code>aiws change validate &lt;id&gt; --strict</code>，再按阶段进入 <code>$ws-dev</code> 或 <code>$ws-deliver</code>。
         </div>
       </section>
 
@@ -51,6 +51,9 @@
           <div class="panel-title">Details</div>
           <div class="panel-meta" id="details-title">Select a change</div>
         </div>
+        <div class="governance" id="governance-summary">
+          <div class="muted">Select a change to inspect workflow stage contracts.</div>
+        </div>
         <pre class="log" id="details"></pre>
       </section>
     </main>

package/src/dashboard/style.css

@@ -205,6 +205,92 @@ code {
   font-size: 12px;
 }
 
+.governance {
+  padding: 14px;
+  border-bottom: 1px solid var(--border);
+  background: rgba(255, 255, 255, 0.02);
+}
+
+.governance-head {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 8px;
+  margin-bottom: 12px;
+}
+
+.governance-rail {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 6px;
+  align-items: center;
+  margin-bottom: 12px;
+}
+
+.rail-arrow {
+  color: var(--muted);
+  font-size: 12px;
+}
+
+.stage-chip {
+  display: inline-flex;
+  align-items: center;
+  gap: 6px;
+  padding: 5px 9px;
+  border-radius: 999px;
+  border: 1px solid var(--border);
+  font-size: 12px;
+  color: var(--muted);
+  background: rgba(255, 255, 255, 0.03);
+}
+
+.stage-chip.active {
+  color: var(--text);
+  border-color: rgba(61, 220, 151, 0.55);
+  background: rgba(61, 220, 151, 0.14);
+}
+
+.stage-chip.recommended {
+  color: var(--text);
+  border-color: rgba(138, 180, 255, 0.55);
+  background: rgba(138, 180, 255, 0.14);
+}
+
+.governance-grid {
+  display: grid;
+  grid-template-columns: 1fr;
+  gap: 10px;
+}
+
+.contract-card {
+  border: 1px solid var(--border);
+  border-radius: 12px;
+  background: rgba(255, 255, 255, 0.04);
+  padding: 12px;
+}
+
+.contract-title {
+  font-weight: 700;
+  margin-bottom: 8px;
+}
+
+.contract-stage {
+  color: var(--link);
+  font-size: 12px;
+  margin-bottom: 8px;
+}
+
+.contract-field {
+  margin-top: 8px;
+  font-size: 12px;
+  line-height: 1.45;
+}
+
+.contract-field-label {
+  color: rgba(255, 255, 255, 0.78);
+  font-weight: 600;
+  margin-bottom: 3px;
+}
+
 .log {
   margin: 0;
   padding: 12px 14px;