@codexa/cli 9.0.7 → 9.0.9

package/protocol/process-return.ts

@@ -13,11 +13,13 @@ import { getDb } from "../db/connection";
 import { SubagentReturn, Knowledge } from "./subagent-protocol";
 import { addReasoning, addGraphRelation, upsertUtility, getNextDecisionId } from "../db/schema";
 import { extractUtilitiesFromFile, inferScopeFromPath } from "../commands/patterns";
+import { detectConflicts } from "../commands/decide";
 
 interface ProcessResult {
   success: boolean;
   knowledgeAdded: number;
   decisionsAdded: number;
+  conflictsDetected: number;
   artifactsAdded: number;
   patternsAdded: number;
   reasoningAdded: number;  // v8.0
@@ -42,6 +44,7 @@ export function processSubagentReturn(
     success: true,
     knowledgeAdded: 0,
     decisionsAdded: 0,
+    conflictsDetected: 0,
     artifactsAdded: 0,
     patternsAdded: 0,
     reasoningAdded: 0,
@@ -102,6 +105,39 @@ export function processSubagentReturn(
     }
   }
 
+  // 2b. v9.5: Conflict check (WARNING, nao bloqueia subagent)
+  if (savedDecisionIds.length > 0) {
+    try {
+      const existingDecisions = db
+        .query("SELECT * FROM decisions WHERE spec_id = ? AND status = 'active'")
+        .all(specId) as any[];
+
+      for (const dec of data.decisions_made!) {
+        const othersOnly = existingDecisions.filter(
+          (d) => !savedDecisionIds.includes(d.id)
+        );
+        if (othersOnly.length === 0) continue;
+
+        const analysis = detectConflicts(dec.title, dec.decision, othersOnly);
+        if (analysis.hasConflict) {
+          for (const conflict of analysis.conflictingDecisions) {
+            db.run(
+              `INSERT INTO knowledge (spec_id, task_origin, category, content, severity, broadcast_to, created_at)
+               VALUES (?, ?, 'decision', ?, 'warning', 'all', ?)`,
+              [specId, taskId,
+               `CONFLITO DE DECISAO: "${dec.title}" pode conflitar com "${conflict.title}" (${conflict.id}). Motivo: ${conflict.reason}`,
+               now]
+            );
+            result.conflictsDetected++;
+            result.knowledgeAdded++;
+          }
+        }
+      }
+    } catch (e) {
+      result.errors.push(`Aviso conflict detection: ${(e as Error).message}`);
+    }
+  }
+
   // 3. Registrar Artifacts (files_created e files_modified)
   const allFiles = [
     ...data.files_created.map((f) => ({ path: f, action: "created" })),
@@ -246,7 +282,6 @@ export function processSubagentReturn(
         targetType: "file",
         targetId: file,
         relation: "creates",
-        strength: 1.0,
       });
       result.relationsAdded++;
     }
@@ -259,7 +294,6 @@ export function processSubagentReturn(
         targetType: "file",
         targetId: file,
         relation: "modifies",
-        strength: 1.0,
       });
       result.relationsAdded++;
     }
@@ -274,7 +308,6 @@ export function processSubagentReturn(
             targetType: "file",
             targetId: file,
             relation: "implements",
-            strength: 0.8,
           });
           result.relationsAdded++;
         }
@@ -291,7 +324,6 @@ export function processSubagentReturn(
             targetType: "file",
             targetId: file,
             relation: "extracted_from",
-            strength: 0.9,
           });
           result.relationsAdded++;
         }
@@ -354,6 +386,9 @@ export function formatProcessResult(result: ProcessResult): string {
   if (result.decisionsAdded > 0) {
     output += `    + ${result.decisionsAdded} decisao(es) registrada(s)\n`;
   }
+  if (result.conflictsDetected > 0) {
+    output += `    [!] ${result.conflictsDetected} conflito(s) de decisao detectado(s) (ver: knowledge list)\n`;
+  }
   if (result.artifactsAdded > 0) {
     output += `    + ${result.artifactsAdded} artefato(s) registrado(s)\n`;
   }

package/workflow.ts

@@ -4,10 +4,10 @@ import { Command } from "commander";
 import { planStart, planShow, planTaskAdd, planCancel } from "./commands/plan";
 import { checkRequest, checkApprove, checkReject } from "./commands/check";
 import { taskNext, taskStart, taskDone } from "./commands/task";
-import { decide, listDecisions } from "./commands/decide";
+import { decide, listDecisions, revokeDecision, supersedeDecision } from "./commands/decide";
 import { reviewStart, reviewApprove, reviewSkip } from "./commands/review";
 import { addKnowledge, listKnowledge, acknowledgeKnowledge, queryGraph, resolveKnowledge, compactKnowledge } from "./commands/knowledge";
-import { status, contextExport, recover, contextUpdate, contextDetail } from "./commands/utils";
+import { status, contextExport, recover, contextDetail } from "./commands/utils";
 import {
   discoverStart,
   discoverConfirm,
@@ -26,9 +26,8 @@ import {
 } from "./commands/discover";
 import { clearTasks, clearShow } from "./commands/clear";
 import { standardsList, standardsAdd, standardsEdit, standardsRemove, standardsExport } from "./commands/standards";
-import { productGuide, productImport, productSet, productGoalAdd, productFeatureAdd, productConfirm, productShow, productReset } from "./commands/product";
+import { productImport, productSet, productConfirm, productShow, productReset } from "./commands/product";
 import { researchStart, researchShow, researchFill, researchMapAgent, researchReset } from "./commands/research";
-import { patternsExtract, patternsAnalyze } from "./commands/patterns";
 import { syncAgents } from "./commands/sync";
 import {
   architectStart,
@@ -327,6 +326,24 @@ program
     listDecisions(options.json, options.spec);
   });
 
+program
+  .command("decide:revoke <id>")
+  .description("Revoga uma decisao ativa")
+  .option("--reason <text>", "Motivo da revogacao")
+  .option("--spec <id>", "ID do spec (padrao: mais recente)")
+  .action(wrapAction((id: string, options) => {
+    revokeDecision(id, options.reason, options.spec);
+  }));
+
+program
+  .command("decide:supersede <id> <title> <decision>")
+  .description("Substitui uma decisao ativa por uma nova")
+  .option("--rationale <text>", "Justificativa da nova decisao")
+  .option("--spec <id>", "ID do spec (padrao: mais recente)")
+  .action(wrapAction((id: string, title: string, decision: string, options) => {
+    supersedeDecision(id, title, decision, { rationale: options.rationale, specId: options.spec });
+  }));
+
 // ═══════════════════════════════════════════════════════════════
 // KNOWLEDGE BROADCAST
 // ═══════════════════════════════════════════════════════════════
@@ -458,17 +475,6 @@ contextCmd
     contextExport({ ...options, json: true, specId: options.spec }); // Sempre JSON
   });
 
-contextCmd
-  .command("update")
-  .description("Atualiza contexto durante implementacao")
-  .option("--approach <text>", "Adiciona nova abordagem descoberta")
-  .option("--pattern <text>", "Registra padrao identificado no codigo")
-  .option("--constraint <text>", "Adiciona nova limitacao encontrada")
-  .option("--spec <id>", "ID do spec (padrao: mais recente)")
-  .action((options) => {
-    contextUpdate({ ...options, specId: options.spec });
-  });
-
 contextCmd
   .command("detail <section>")
   .description("Mostra secao especifica do contexto (standards, decisions, patterns, knowledge, architecture)")
@@ -546,8 +552,29 @@ discoverCmd
   .option("--styling <value>", "Styling (tailwind, styled-components)")
   .option("--auth <value>", "Auth (supabase, next-auth, clerk)")
   .option("--testing <value>", "Testing (vitest, jest, playwright)")
-  .action((options) => {
-    discoverSetStack(options);
+  .option("--typecheck-command <cmd>", "Comando custom de typecheck (ex: 'mypy --strict', 'go vet ./...'). Vazio para usar preset automatico.")
+  .action((options) => {
+    // Tratar typecheck-command separadamente
+    if (options.typecheckCommand !== undefined) {
+      const { initSchema } = require("./db/schema");
+      const { getDb } = require("./db/connection");
+      initSchema();
+      const db = getDb();
+      const value = options.typecheckCommand === "" ? null : options.typecheckCommand;
+      db.run("UPDATE project SET typecheck_command = ? WHERE id = 'default'", [value]);
+      if (value) {
+        console.log(`\n[ok] Typecheck command configurado: ${value}`);
+      } else {
+        console.log(`\n[ok] Typecheck command removido (usando preset automatico da stack)`);
+      }
+      console.log("  Sera usado no gate 4.5 (typecheck-pass) em cada task done.\n");
+    }
+    // Tratar stack options normalmente
+    const stackOptions = { ...options };
+    delete stackOptions.typecheckCommand;
+    if (Object.keys(stackOptions).length > 0) {
+      discoverSetStack(stackOptions);
+    }
   });
 
 discoverCmd
@@ -656,45 +683,6 @@ discoverCmd
     discoverRefreshPatterns();
   });
 
-// v8.0: Extração automática de patterns via grepai
-discoverCmd
-  .command("extract-patterns")
-  .description("Extrai patterns automaticamente via grepai (busca semântica)")
-  .option("--scope <scope>", "Escopo (frontend, backend, database, testing)")
-  .option("--all", "Extrair de todos os escopos")
-  .option("--dry-run", "Apenas mostrar o que seria extraido")
-  .option("--json", "Saida em JSON")
-  .action((options) => {
-    patternsExtract(options);
-  });
-
-discoverCmd
-  .command("analyze-file <path>", { hidden: true })
-  .description("Analisa estrutura de um arquivo (imports, exports, convencoes)")
-  .option("--json", "Saida em JSON")
-  .action((path, options) => {
-    patternsAnalyze(path, options.json);
-  });
-
-// v9.0: Analise profunda com metadata enriquecida + grepai
-discoverCmd
-  .command("analyze-deep <files...>", { hidden: true })
-  .description("Analise profunda de arquivos (hooks, patterns, directives)")
-  .option("--json", "Saida em JSON")
-  .action((files, options) => {
-    const { patternsAnalyzeDeep } = require("./commands/patterns");
-    patternsAnalyzeDeep(files, options.json);
-  });
-
-// v9.0: Anti-patterns de gate bypasses
-discoverCmd
-  .command("extract-anti-patterns", { hidden: true })
-  .description("Extrai anti-patterns do historico de gate bypasses")
-  .action(() => {
-    const { extractAntiPatternsFromHistory } = require("./commands/patterns");
-    extractAntiPatternsFromHistory();
-  });
-
 discoverCmd
   .command("export-patterns", { hidden: true })
   .description("Regenera arquivo patterns.md")
@@ -729,6 +717,8 @@ standardsCmd
   .option("--enforcement <level>", "Nivel de enforcement (required, recommended)")
   .option("--required", "Alias para --enforcement required")
   .option("--recommended", "Alias para --enforcement recommended")
+  .option("--semantic-query <query>", "Query semantica para grepai (ingles)")
+  .option("--expect <type>", "Expectativa: no_match ou must_match", "no_match")
   .action((options) => {
     // Resolver aliases de enforcement
     let enforcement = options.enforcement;
@@ -742,6 +732,8 @@ standardsCmd
       examples: options.examples,
       antiExamples: options.antiExamples,
       enforcement: enforcement,
+      semanticQuery: options.semanticQuery,
+      expect: options.expect,
     });
   });
 
@@ -752,12 +744,16 @@ standardsCmd
   .option("--examples <list>", "Novos exemplos")
   .option("--anti-examples <list>", "Novos anti-exemplos")
   .option("--enforcement <level>", "Novo nivel de enforcement")
+  .option("--semantic-query <query>", "Query semantica para grepai (ingles)")
+  .option("--expect <type>", "Expectativa: no_match ou must_match")
   .action((id, options) => {
     standardsEdit(id, {
       rule: options.rule,
       examples: options.examples,
       antiExamples: options.antiExamples,
       enforcement: options.enforcement,
+      semanticQuery: options.semanticQuery,
+      expect: options.expect,
     });
   });
 
@@ -781,14 +777,6 @@ standardsCmd
 
 const productCmd = program.command("product").description("Comandos de contexto de produto (PRD)");
 
-productCmd
-  .command("guide")
-  .description("Inicia modo guiado para definir contexto de produto")
-  .option("--json", "Saida em JSON")
-  .action((options) => {
-    productGuide(options.json);
-  });
-
 productCmd
   .command("import")
   .description("Importa PRD existente")
@@ -809,30 +797,12 @@ productCmd
   .option("--successMetrics <list>", "Metricas de sucesso (separadas por virgula)")
   .option("--outOfScope <list>", "Itens fora do escopo (separados por virgula)")
   .option("--constraints <list>", "Restricoes (separadas por virgula)")
+  .option("--goal <spec>", "Adiciona objetivo (formato: categoria:texto:prioridade)")
+  .option("--feature <spec>", "Adiciona feature (formato: nome:descricao:prioridade)")
   .action((options) => {
     productSet(options);
   });
 
-productCmd
-  .command("goal-add")
-  .description("Adiciona um objetivo do produto")
-  .requiredOption("--category <cat>", "Categoria (negocio, tecnico, usuario, operacional)")
-  .requiredOption("--goal <text>", "Descricao do objetivo")
-  .option("--priority <level>", "Prioridade (high, medium, low)", "medium")
-  .action((options) => {
-    productGoalAdd(options);
-  });
-
-productCmd
-  .command("feature-add")
-  .description("Adiciona uma feature core do produto")
-  .requiredOption("--name <name>", "Nome da feature")
-  .option("--description <text>", "Descricao da feature")
-  .option("--priority <level>", "Prioridade (high, medium, low)", "medium")
-  .action((options) => {
-    productFeatureAdd(options);
-  });
-
 productCmd
   .command("show")
   .description("Mostra contexto de produto")