oxe-cc 1.7.0 → 1.8.3

package/packages/runtime/src/models/failure.ts

@@ -8,4 +8,6 @@ export type FailureClass =
   | 'test'             // verification / acceptance test failed
   | 'timeout'          // task or run exceeded time budget
   | 'evidence_missing' // required evidence was not collected
+  | 'verify'           // inline verification command failed after execution
+  | 'llm'              // LLM exhausted turn budget without calling finish_task
   | null;              // success — no failure

package/packages/runtime/src/scheduler/scheduler.ts

@@ -24,12 +24,15 @@ import type { FailureClass } from '../models/failure';
 import { listMemos } from '../decision/decision-memo';
 import type { RollbackPlan } from '../decision/decision-memo';
 import { runCapabilityAsync } from '../plugins/capability-adapter';
+import { verifyRun } from '../verification/verification-compiler';
+import type { AcceptanceCheckSuite } from '../verification/verification-compiler';
 
 export interface TaskResult {
   success: boolean;
   failure_class: FailureClass;
   evidence: string[];
   output: string;
+  completed_by?: string;
 }
 
 export interface TaskExecutor {
@@ -37,7 +40,8 @@ export interface TaskExecutor {
     node: GraphNode,
     lease: WorkspaceLease,
     runId: string,
-    attemptNumber: number
+    attemptNumber: number,
+    options?: { previousError?: string | null }
   ): Promise<TaskResult>;
 }
 
@@ -477,6 +481,7 @@ export class Scheduler {
 
     let lease: WorkspaceLease | null = null;
     let lastResult: TaskResult | null = null;
+    let lastError: string | null = null;
     const maxAttempts = node.policy.max_retries + 1;
     const quotaBlocked = this.consumeQuotaForNode(ctx, node);
     if (quotaBlocked) {
@@ -542,21 +547,33 @@ export class Scheduler {
           payload: { workspace_id: lease.workspace_id, strategy: lease.strategy },
         });
 
-        lastResult = await this.executeNode(node, lease, ctx, attempt, attemptId);
+        lastResult = await this.executeNode(node, lease, ctx, attempt, attemptId, { previousError: lastError });
 
         if (lastResult.success) {
-          this.emit(ctx, {
-            type: 'WorkItemCompleted',
-            work_item_id: nodeId,
-            attempt_id: attemptId,
-            payload: { attempt_number: attempt, evidence: lastResult.evidence },
-          });
-          status.set(nodeId, 'completed');
-          completed.push(nodeId);
-          this.recordProgress();
-          return;
+          const verifyResult = await this.verifyNode(node, lease, ctx, attemptId, attempt);
+          if (verifyResult && verifyResult.status === 'failed') {
+            lastResult = {
+              success: false,
+              failure_class: 'verify',
+              evidence: lastResult.evidence,
+              output: `Verification failed: ${(verifyResult.gaps || []).join('; ') || 'checks did not pass'}`,
+            };
+          } else {
+            this.emit(ctx, {
+              type: 'WorkItemCompleted',
+              work_item_id: nodeId,
+              attempt_id: attemptId,
+              payload: { attempt_number: attempt, evidence: lastResult.evidence },
+            });
+            status.set(nodeId, 'completed');
+            completed.push(nodeId);
+            this.recordProgress();
+            return;
+          }
         }
 
+        lastError = lastResult.output || (lastResult.failure_class ?? 'unknown error');
+
         if (lastResult.failure_class === 'policy') break;
 
         if (attempt < maxAttempts) {
@@ -592,6 +609,7 @@ export class Scheduler {
           evidence: [],
           output: `[error_boundary] ${message}`,
         };
+        lastError = lastResult.output;
         if (attempt < maxAttempts) {
           const backoffMs = Math.min(1_000 * Math.pow(2, attempt - 1) + Math.random() * 500, 30_000);
           await new Promise<void>(resolve => setTimeout(resolve, backoffMs));
@@ -660,12 +678,13 @@ export class Scheduler {
     lease: WorkspaceLease,
     ctx: SchedulerContext,
     attempt: number,
-    attemptId: string
+    attemptId: string,
+    options: { previousError?: string | null } = {},
   ): Promise<TaskResult> {
     const primaryAction = pickPrimaryAction(node, ctx.pluginRegistry);
     const provider = primaryAction ? ctx.pluginRegistry?.toolProviderFor(primaryAction.type) : null;
     if (!provider || !primaryAction) {
-      return ctx.executor.execute(node, lease, ctx.runId, attempt);
+      return ctx.executor.execute(node, lease, ctx.runId, attempt, options);
     }
 
     ctx.auditTrail?.record('plugin_invoked', ctx.policyActor ?? 'runtime', {
@@ -733,6 +752,62 @@ export class Scheduler {
     };
   }
 
+  private async verifyNode(
+    node: GraphNode,
+    lease: WorkspaceLease,
+    ctx: SchedulerContext,
+    attemptId: string,
+    attempt: number,
+  ): Promise<{ status: string; gaps?: string[] } | null> {
+    if (!node.verify?.command) return null;
+    this.emit(ctx, {
+      type: 'VerificationStarted',
+      work_item_id: node.id,
+      payload: { command: node.verify.command, attempt_number: attempt },
+    });
+    const suite: AcceptanceCheckSuite = {
+      checks: [{
+        id: `inline-${node.id}`,
+        type: 'custom',
+        command: node.verify.command,
+        evidence_type_expected: 'stdout',
+        acceptance_ref: null,
+        description: `Verify ${node.id}`,
+      }],
+      compiled_at: new Date().toISOString(),
+      spec_hash: '',
+      plan_hash: '',
+    };
+    let result: { status: string; gaps?: string[] };
+    try {
+      result = await verifyRun({
+        suite,
+        cwd: lease.root_path,
+        timeoutMs: (ctx.options as Record<string, unknown>)?.verifyTimeoutMs as number ?? 60_000,
+        runId: ctx.runId,
+        workItemId: node.id,
+        attemptNumber: attempt,
+        projectRoot: ctx.projectRoot,
+        pluginRegistry: ctx.pluginRegistry,
+      });
+    } catch (err) {
+      this.emit(ctx, {
+        type: 'VerificationCompleted',
+        work_item_id: node.id,
+        attempt_id: attemptId,
+        payload: { status: 'error', error: String(err) },
+      });
+      return null;
+    }
+    this.emit(ctx, {
+      type: 'VerificationCompleted',
+      work_item_id: node.id,
+      attempt_id: attemptId,
+      payload: { status: result.status },
+    });
+    return result;
+  }
+
   private evaluatePolicyForNode(node: GraphNode, ctx: SchedulerContext): PersistedPolicyDecision | null {
     if (!ctx.policyEngine) return null;
     const primaryAction = pickPrimaryAction(node, ctx.pluginRegistry);
@@ -767,7 +842,10 @@ export class Scheduler {
     ctx: SchedulerContext,
     decision: PersistedPolicyDecision | null
   ): Promise<string> {
-    if (!ctx.gateManager) return 'gate-missing-manager';
+    if (!ctx.gateManager) {
+      console.warn('[scheduler] ctx.gateManager not configured — gates will not be persisted');
+      return 'gate-missing-manager';
+    }
     const scope = inferGateScope(node);
     const primaryAction = pickPrimaryAction(node, ctx.pluginRegistry);
     const gate = await ctx.gateManager.request(scope, {

package/packages/runtime/src/verification/verification-compiler.ts

@@ -188,16 +188,18 @@ export async function runCheck(
 
   const start = Date.now();
   try {
-    // Split command into program + args (simple split; no shell expansion)
-    const parts = check.command.split(/\s+/);
-    const prog = parts[0];
-    const args = parts.slice(1);
+    // Use shell so the full command string is interpreted (handles quotes, &&, node -e "...")
+    const isWin = process.platform === 'win32';
+    const shell = isWin ? 'cmd' : 'sh';
+    const shellArgs = isWin ? ['/c', check.command] : ['-c', check.command];
 
-    const result = spawnSync(prog, args, {
+    const result = spawnSync(shell, shellArgs, {
       cwd,
       encoding: 'utf8',
       timeout: timeoutMs,
       maxBuffer: 2 * 1024 * 1024,
+      // On Windows, prevent Node from re-quoting the args (preserves double-quotes inside node -e "...")
+      windowsVerbatimArguments: isWin,
     });
 
     const duration_ms = Date.now() - start;

package/vscode-extension/package.json

@@ -1,185 +1,185 @@
-{
-  "name": "oxe-agents",
-  "displayName": "OXE Agents",
-  "description": "Agentes OXE para GitHub Copilot Chat — cada fase do ciclo como um @agente no VS Code",
-  "version": "1.7.0",
-  "publisher": "oxe-cc",
+{
+  "name": "oxe-agents",
+  "displayName": "OXE Agents",
+  "description": "Agentes OXE para GitHub Copilot Chat — cada fase do ciclo como um @agente no VS Code",
+  "version": "1.8.3",
+  "publisher": "oxe-cc",
   "license": "MIT",
-  "engines": {
-    "vscode": "^1.95.0"
-  },
-  "categories": [
-    "AI",
-    "Programming Languages",
-    "Other"
-  ],
-  "keywords": [
-    "oxe",
-    "copilot",
-    "chat",
-    "agent",
-    "workflow",
-    "spec-driven"
-  ],
-  "extensionDependencies": [
-    "GitHub.copilot-chat"
-  ],
-  "activationEvents": [
-    "onStartupFinished"
-  ],
-  "main": "./src/extension.js",
-  "contributes": {
-    "chatParticipants": [
-      {
-        "id": "oxe.router",
-        "name": "oxe",
-        "fullName": "OXE",
-        "description": "Router universal — lê STATE.md e sugere o próximo passo do ciclo OXE",
-        "isSticky": false,
-        "sampleRequest": "Qual é a situação atual do projeto e o próximo passo recomendado?"
-      },
-      {
-        "id": "oxe.ask",
-        "name": "oxe-ask",
-        "fullName": "OXE Ask",
-        "description": "Situational awareness — responde perguntas sobre o estado atual do projeto com evidência explícita",
-        "isSticky": false,
-        "sampleRequest": "Qual é a fase atual e o que foi implementado até agora?"
-      },
-      {
-        "id": "oxe.scan",
-        "name": "oxe-scan",
-        "fullName": "OXE Scan",
-        "description": "Mapeamento do codebase — reconstrói .oxe/codebase/ e contextualiza o projeto para um novo ciclo",
-        "isSticky": false,
-        "sampleRequest": "Mapeie o codebase e atualize o contexto do projeto."
-      },
-      {
-        "id": "oxe.spec",
-        "name": "oxe-spec",
-        "fullName": "OXE Spec",
-        "description": "Especificação — gera SPEC.md com critérios de aceite verificáveis a partir de requisitos",
-        "isSticky": true,
-        "sampleRequest": "Preciso adicionar autenticação JWT ao sistema. Gere a especificação.",
-        "commands": [
-          {
-            "name": "discuss",
-            "description": "Abrir discussão estruturada antes de gerar a spec"
-          }
-        ]
-      },
-      {
-        "id": "oxe.plan",
-        "name": "oxe-plan",
-        "fullName": "OXE Plan",
-        "description": "Planejamento — gera PLAN.md com ondas, tarefas, hipóteses críticas e confidence vector",
-        "isSticky": true,
-        "sampleRequest": "Gere o plano de implementação para o SPEC atual.",
-        "commands": [
-          {
-            "name": "replan",
-            "description": "Replanejar ciclo atual com motivo e lições aplicadas"
-          },
-          {
-            "name": "agents",
-            "description": "Gerar blueprint multi-agente para planos com múltiplos domínios"
-          }
-        ]
-      },
-      {
-        "id": "oxe.quick",
-        "name": "oxe-quick",
-        "fullName": "OXE Quick",
-        "description": "Plano rápido — para tarefas S/M sem SPEC formal; objetivo → passos → verify",
-        "isSticky": true,
-        "sampleRequest": "Preciso renomear a função processPayment para handlePayment em todos os arquivos."
-      },
-      {
-        "id": "oxe.execute",
-        "name": "oxe-execute",
-        "fullName": "OXE Execute",
-        "description": "Execução — implementa a onda atual do PLAN validando hipóteses antes de mutar",
-        "isSticky": true,
-        "sampleRequest": "Execute a onda atual do plano.",
-        "commands": [
-          {
-            "name": "wave",
-            "description": "Executar uma onda específica (ex: /wave 2)"
-          },
-          {
-            "name": "task",
-            "description": "Executar uma tarefa específica (ex: /task T3)"
-          }
-        ]
-      },
-      {
-        "id": "oxe.debug",
-        "name": "oxe-debug",
-        "fullName": "OXE Debug",
-        "description": "Debug — diagnóstico orientado a hipóteses durante execução travada ou falha inline",
-        "isSticky": false,
-        "sampleRequest": "A tarefa T3 está falhando com erro de timeout. Ajude a diagnosticar."
-      },
-      {
-        "id": "oxe.verify",
-        "name": "oxe-verify",
-        "fullName": "OXE Verify",
-        "description": "Verificação — valida critérios A* do SPEC contra evidências reais produzidas pelo executor",
-        "isSticky": true,
-        "sampleRequest": "Verifique se a implementação atende todos os critérios do SPEC.",
-        "commands": [
-          {
-            "name": "audit",
-            "description": "Auditoria adversarial: sem acesso ao PLAN, apenas SPEC + evidências"
-          }
-        ]
-      },
-      {
-        "id": "oxe.review",
-        "name": "oxe-review",
-        "fullName": "OXE Review",
-        "description": "Revisão de código — auditor adversarial de PR e mudanças, findings por severidade",
-        "isSticky": false,
-        "sampleRequest": "Revise as mudanças desta branch e liste os findings por severidade."
-      },
-      {
-        "id": "oxe.capabilities",
-        "name": "oxe-capabilities",
-        "fullName": "OXE Capabilities",
-        "description": "Capabilities — lista, instala, remove e atualiza capabilities nativas do projeto em .oxe/",
-        "isSticky": false,
-        "sampleRequest": "Liste as capabilities disponíveis neste projeto.",
-        "commands": [
-          {
-            "name": "list",
-            "description": "Listar capabilities instaladas"
-          },
-          {
-            "name": "install",
-            "description": "Instalar uma capability"
-          }
-        ]
-      },
-      {
-        "id": "oxe.skill",
-        "name": "oxe-skill",
-        "fullName": "OXE Skill",
-        "description": "Skills — gerencia skills e habilidades registradas no framework OXE do projeto",
-        "isSticky": false,
-        "sampleRequest": "Quais skills estão disponíveis neste projeto OXE?"
-      },
-      {
-        "id": "oxe.dashboard",
-        "name": "oxe-dashboard",
-        "fullName": "OXE Dashboard",
-        "description": "Dashboard — exibe status operacional: runtime, ondas, checkpoints e saúde do ciclo",
-        "isSticky": false,
-        "sampleRequest": "Mostre o status do dashboard: fase, active run e próximo passo."
-      }
-    ]
-  },
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/oxe-cc/oxe-cc"
-  }
-}
+  "engines": {
+    "vscode": "^1.95.0"
+  },
+  "categories": [
+    "AI",
+    "Programming Languages",
+    "Other"
+  ],
+  "keywords": [
+    "oxe",
+    "copilot",
+    "chat",
+    "agent",
+    "workflow",
+    "spec-driven"
+  ],
+  "extensionDependencies": [
+    "GitHub.copilot-chat"
+  ],
+  "activationEvents": [
+    "onStartupFinished"
+  ],
+  "main": "./src/extension.js",
+  "contributes": {
+    "chatParticipants": [
+      {
+        "id": "oxe.router",
+        "name": "oxe",
+        "fullName": "OXE",
+        "description": "Router universal — lê STATE.md e sugere o próximo passo do ciclo OXE",
+        "isSticky": false,
+        "sampleRequest": "Qual é a situação atual do projeto e o próximo passo recomendado?"
+      },
+      {
+        "id": "oxe.ask",
+        "name": "oxe-ask",
+        "fullName": "OXE Ask",
+        "description": "Situational awareness — responde perguntas sobre o estado atual do projeto com evidência explícita",
+        "isSticky": false,
+        "sampleRequest": "Qual é a fase atual e o que foi implementado até agora?"
+      },
+      {
+        "id": "oxe.scan",
+        "name": "oxe-scan",
+        "fullName": "OXE Scan",
+        "description": "Mapeamento do codebase — reconstrói .oxe/codebase/ e contextualiza o projeto para um novo ciclo",
+        "isSticky": false,
+        "sampleRequest": "Mapeie o codebase e atualize o contexto do projeto."
+      },
+      {
+        "id": "oxe.spec",
+        "name": "oxe-spec",
+        "fullName": "OXE Spec",
+        "description": "Especificação — gera SPEC.md com critérios de aceite verificáveis a partir de requisitos",
+        "isSticky": true,
+        "sampleRequest": "Preciso adicionar autenticação JWT ao sistema. Gere a especificação.",
+        "commands": [
+          {
+            "name": "discuss",
+            "description": "Abrir discussão estruturada antes de gerar a spec"
+          }
+        ]
+      },
+      {
+        "id": "oxe.plan",
+        "name": "oxe-plan",
+        "fullName": "OXE Plan",
+        "description": "Planejamento — gera PLAN.md com ondas, tarefas, hipóteses críticas e confidence vector",
+        "isSticky": true,
+        "sampleRequest": "Gere o plano de implementação para o SPEC atual.",
+        "commands": [
+          {
+            "name": "replan",
+            "description": "Replanejar ciclo atual com motivo e lições aplicadas"
+          },
+          {
+            "name": "agents",
+            "description": "Gerar blueprint multi-agente para planos com múltiplos domínios"
+          }
+        ]
+      },
+      {
+        "id": "oxe.quick",
+        "name": "oxe-quick",
+        "fullName": "OXE Quick",
+        "description": "Plano rápido — para tarefas S/M sem SPEC formal; objetivo → passos → verify",
+        "isSticky": true,
+        "sampleRequest": "Preciso renomear a função processPayment para handlePayment em todos os arquivos."
+      },
+      {
+        "id": "oxe.execute",
+        "name": "oxe-execute",
+        "fullName": "OXE Execute",
+        "description": "Execução — implementa a onda atual do PLAN validando hipóteses antes de mutar",
+        "isSticky": true,
+        "sampleRequest": "Execute a onda atual do plano.",
+        "commands": [
+          {
+            "name": "wave",
+            "description": "Executar uma onda específica (ex: /wave 2)"
+          },
+          {
+            "name": "task",
+            "description": "Executar uma tarefa específica (ex: /task T3)"
+          }
+        ]
+      },
+      {
+        "id": "oxe.debug",
+        "name": "oxe-debug",
+        "fullName": "OXE Debug",
+        "description": "Debug — diagnóstico orientado a hipóteses durante execução travada ou falha inline",
+        "isSticky": false,
+        "sampleRequest": "A tarefa T3 está falhando com erro de timeout. Ajude a diagnosticar."
+      },
+      {
+        "id": "oxe.verify",
+        "name": "oxe-verify",
+        "fullName": "OXE Verify",
+        "description": "Verificação — valida critérios A* do SPEC contra evidências reais produzidas pelo executor",
+        "isSticky": true,
+        "sampleRequest": "Verifique se a implementação atende todos os critérios do SPEC.",
+        "commands": [
+          {
+            "name": "audit",
+            "description": "Auditoria adversarial: sem acesso ao PLAN, apenas SPEC + evidências"
+          }
+        ]
+      },
+      {
+        "id": "oxe.review",
+        "name": "oxe-review",
+        "fullName": "OXE Review",
+        "description": "Revisão de código — auditor adversarial de PR e mudanças, findings por severidade",
+        "isSticky": false,
+        "sampleRequest": "Revise as mudanças desta branch e liste os findings por severidade."
+      },
+      {
+        "id": "oxe.capabilities",
+        "name": "oxe-capabilities",
+        "fullName": "OXE Capabilities",
+        "description": "Capabilities — lista, instala, remove e atualiza capabilities nativas do projeto em .oxe/",
+        "isSticky": false,
+        "sampleRequest": "Liste as capabilities disponíveis neste projeto.",
+        "commands": [
+          {
+            "name": "list",
+            "description": "Listar capabilities instaladas"
+          },
+          {
+            "name": "install",
+            "description": "Instalar uma capability"
+          }
+        ]
+      },
+      {
+        "id": "oxe.skill",
+        "name": "oxe-skill",
+        "fullName": "OXE Skill",
+        "description": "Skills — gerencia skills e habilidades registradas no framework OXE do projeto",
+        "isSticky": false,
+        "sampleRequest": "Quais skills estão disponíveis neste projeto OXE?"
+      },
+      {
+        "id": "oxe.dashboard",
+        "name": "oxe-dashboard",
+        "fullName": "OXE Dashboard",
+        "description": "Dashboard — exibe status operacional: runtime, ondas, checkpoints e saúde do ciclo",
+        "isSticky": false,
+        "sampleRequest": "Mostre o status do dashboard: fase, active run e próximo passo."
+      }
+    ]
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/oxe-cc/oxe-cc"
+  }
+}