agentxchain 2.100.0 → 2.101.0

package/bin/agentxchain.js

@@ -59,7 +59,7 @@ import { generateCommand } from '../src/commands/generate.js';
 import { doctorCommand } from '../src/commands/doctor.js';
 import { superviseCommand } from '../src/commands/supervise.js';
 import { validateCommand } from '../src/commands/validate.js';
-import { verifyExportCommand, verifyProtocolCommand, verifyTurnCommand } from '../src/commands/verify.js';
+import { verifyDiffCommand, verifyExportCommand, verifyProtocolCommand, verifyTurnCommand } from '../src/commands/verify.js';
 import { replayTurnCommand } from '../src/commands/replay.js';
 import { replayExportCommand } from '../src/commands/replay-export.js';
 import { kickoffCommand } from '../src/commands/kickoff.js';
@@ -401,6 +401,12 @@ verifyCmd
   .option('--format <format>', 'Output format: text or json', 'text')
   .action(verifyExportCommand);
 
+verifyCmd
+  .command('diff <left_export> <right_export>')
+  .description('Verify two export artifacts, then detect governance regressions between them')
+  .option('--format <format>', 'Output format: text or json', 'text')
+  .action(verifyDiffCommand);
+
 const replayCmd = program
   .command('replay')
   .description('Replay accepted governed evidence against the current workspace');

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agentxchain",
-  "version": "2.100.0",
+  "version": "2.101.0",
   "description": "CLI for AgentXchain — governed multi-agent software delivery",
   "type": "module",
   "bin": {

package/src/commands/verify.js

@@ -6,6 +6,7 @@ import { validateStagedTurnResult } from '../lib/turn-result-validator.js';
 import { getTurnStagingResultPath } from '../lib/turn-paths.js';
 import { resolve } from 'node:path';
 import { loadExportArtifact, verifyExportArtifact } from '../lib/export-verifier.js';
+import { buildExportDiff, resolveExportArtifact } from '../lib/export-diff.js';
 import { verifyProtocolConformance } from '../lib/protocol-conformance.js';
 import {
   DEFAULT_VERIFICATION_REPLAY_TIMEOUT_MS,
@@ -72,6 +73,18 @@ function emitProtocolVerifyError(format, message) {
   console.log(chalk.red(`Protocol verification failed: ${message}`));
 }
 
+function emitVerifyDiffError(format, message) {
+  if (format === 'json') {
+    console.log(JSON.stringify({
+      overall: 'error',
+      message,
+    }, null, 2));
+    return;
+  }
+
+  console.log(chalk.red(`Diff verification failed: ${message}`));
+}
+
 export async function verifyExportCommand(opts) {
   const format = opts.format || 'text';
   const loaded = loadExportArtifact(opts.input || '-', process.cwd());
@@ -104,6 +117,75 @@ export async function verifyExportCommand(opts) {
   process.exit(result.ok ? 0 : 1);
 }
 
+export async function verifyDiffCommand(leftRef, rightRef, opts = {}) {
+  const format = opts.format || 'text';
+  const leftLoaded = resolveExportArtifact(leftRef);
+  if (!leftLoaded.ok) {
+    emitVerifyDiffError(format, leftLoaded.error);
+    process.exit(2);
+  }
+
+  const rightLoaded = resolveExportArtifact(rightRef);
+  if (!rightLoaded.ok) {
+    emitVerifyDiffError(format, rightLoaded.error);
+    process.exit(2);
+  }
+
+  if (leftLoaded.artifact.export_kind !== rightLoaded.artifact.export_kind) {
+    emitVerifyDiffError(
+      format,
+      `Export kinds do not match: ${leftLoaded.artifact.export_kind} vs ${rightLoaded.artifact.export_kind}`,
+    );
+    process.exit(2);
+  }
+
+  const leftVerification = verifyExportArtifact(leftLoaded.artifact);
+  const rightVerification = verifyExportArtifact(rightLoaded.artifact);
+  const leftReport = { ...leftVerification.report, input: leftLoaded.resolved_ref };
+  const rightReport = { ...rightVerification.report, input: rightLoaded.resolved_ref };
+
+  let diff = null;
+  let overall = 'pass';
+  let exitCode = 0;
+  let message = null;
+
+  if (!leftVerification.ok || !rightVerification.ok) {
+    overall = 'fail';
+    exitCode = 1;
+    message = 'Diff skipped because one or both exports failed verification.';
+  } else {
+    const diffResult = buildExportDiff(leftLoaded.artifact, rightLoaded.artifact, {
+      left_ref: leftLoaded.resolved_ref,
+      right_ref: rightLoaded.resolved_ref,
+    });
+    if (!diffResult.ok) {
+      emitVerifyDiffError(format, diffResult.error);
+      process.exit(2);
+    }
+    diff = diffResult.diff;
+    if (diff.has_regressions) {
+      overall = 'fail';
+      exitCode = 1;
+    }
+  }
+
+  const report = {
+    overall,
+    left: leftReport,
+    right: rightReport,
+    diff,
+    message,
+  };
+
+  if (format === 'json') {
+    console.log(JSON.stringify(report, null, 2));
+  } else {
+    printVerifyDiffReport(report);
+  }
+
+  process.exit(exitCode);
+}
+
 export async function verifyTurnCommand(turnId, opts = {}) {
   const context = loadProjectContext();
   if (!context) {
@@ -237,6 +319,54 @@ function printExportReport(report) {
   console.log('');
 }
 
+function printVerifyDiffReport(report) {
+  console.log('');
+  console.log(chalk.bold('  AgentXchain Diff Verification'));
+  console.log(chalk.dim('  ' + '─'.repeat(41)));
+  console.log(chalk.dim(`  Left: ${report.left.input}`));
+  console.log(chalk.dim(`  Right: ${report.right.input}`));
+  console.log('');
+
+  const overallLabel = report.overall === 'pass'
+    ? chalk.green('PASS')
+    : report.overall === 'fail'
+      ? chalk.red('FAIL')
+      : chalk.red('ERROR');
+  console.log(`  Overall: ${overallLabel}`);
+  console.log(`  Left export: ${formatVerifyStatus(report.left.overall)}`);
+  console.log(`  Right export: ${formatVerifyStatus(report.right.overall)}`);
+
+  if (report.diff) {
+    console.log(chalk.dim(`  Diff subject: ${report.diff.subject_kind}`));
+    console.log(chalk.dim(`  Changed: ${report.diff.changed ? 'yes' : 'no'}`));
+    console.log(chalk.dim(`  Governance regressions: ${report.diff.regression_count}`));
+  }
+
+  if (report.message) {
+    console.log(chalk.yellow(`  ${report.message}`));
+  }
+
+  for (const error of report.left.errors || []) {
+    console.log(chalk.red(`    left ✗ ${error}`));
+  }
+  for (const error of report.right.errors || []) {
+    console.log(chalk.red(`    right ✗ ${error}`));
+  }
+
+  if (report.diff?.regressions?.length > 0) {
+    console.log('');
+    console.log(chalk.bold.red('  Governance Regressions'));
+    for (const regression of report.diff.regressions) {
+      const severity = regression.severity === 'error'
+        ? chalk.red(`[${regression.severity}]`)
+        : chalk.yellow(`[${regression.severity}]`);
+      console.log(`    ${severity} ${regression.id}: ${regression.message}`);
+    }
+  }
+
+  console.log('');
+}
+
 function resolveTargetTurnId(requestedTurnId, activeTurns) {
   const turnIds = Object.keys(activeTurns);
 
@@ -351,3 +481,9 @@ function formatOutcome(outcome) {
   if (outcome === 'mismatch') return chalk.red('mismatch');
   return chalk.yellow('not_reproducible');
 }
+
+function formatVerifyStatus(status) {
+  if (status === 'pass') return chalk.green('PASS');
+  if (status === 'fail') return chalk.red('FAIL');
+  return chalk.red(String(status || 'error').toUpperCase());
+}

package/src/lib/export-diff.js

@@ -193,6 +193,7 @@ function normalizeRunExport(artifact) {
     run_id: summary.run_id || null,
     status: summary.status || null,
     phase: summary.phase || null,
+    workflow_phase_order: Array.isArray(summary.workflow_phase_order) ? summary.workflow_phase_order : null,
     project_name: artifact.project?.name || null,
     project_goal: summary.project_goal || artifact.project?.goal || null,
     provenance_trigger: summary.provenance?.trigger || null,
@@ -213,6 +214,7 @@ function normalizeRunExport(artifact) {
     budget_warn_mode: budgetStatus.warn_mode === true,
     budget_exhausted: budgetStatus.exhausted === true,
     phase_gate_status: normalizeGateStatusMap(phaseGateStatus),
+    delegation_missing_decisions: normalizeDelegationMissingMap(summary.delegation_summary),
   };
 }
 
@@ -227,6 +229,7 @@ function normalizeCoordinatorExport(artifact) {
     super_run_id: summary.super_run_id || null,
     status: summary.status || null,
     phase: summary.phase || null,
+    workflow_phase_order: Array.isArray(summary.workflow_phase_order) ? summary.workflow_phase_order : null,
     project_name: artifact.coordinator?.project_name || null,
     barrier_count: toNumber(summary.barrier_count),
     history_entries: toNumber(summary.history_entries),
@@ -354,6 +357,27 @@ function normalizeNumericMap(value) {
   );
 }
 
+function normalizeDelegationMissingMap(summary) {
+  if (!summary || typeof summary !== 'object' || Array.isArray(summary)) return {};
+  const chains = Array.isArray(summary.delegation_chains) ? summary.delegation_chains : [];
+  const entries = [];
+  for (const chain of chains) {
+    const delegations = Array.isArray(chain?.delegations) ? chain.delegations : [];
+    for (const delegation of delegations) {
+      if (!delegation || typeof delegation !== 'object' || Array.isArray(delegation)) continue;
+      const delegationId = typeof delegation.delegation_id === 'string' && delegation.delegation_id.trim()
+        ? delegation.delegation_id.trim()
+        : null;
+      if (!delegationId) continue;
+      entries.push([
+        delegationId,
+        normalizeStringArray(delegation.missing_decision_ids),
+      ]);
+    }
+  }
+  return Object.fromEntries(entries.sort(([left], [right]) => left.localeCompare(right, 'en')));
+}
+
 function toNumber(value) {
   return typeof value === 'number' ? value : null;
 }
@@ -391,6 +415,39 @@ function detectRunRegressions(left, right) {
     });
   }
 
+  // Phase regression: backward movement in workflow phase order
+  if (left.phase && right.phase === null) {
+    // Phase disappeared — information loss
+    regressions.push({
+      id: `REG-PHASE-${String(++counter).padStart(3, '0')}`,
+      category: 'phase',
+      severity: 'warning',
+      message: `Phase regressed from "${left.phase}" to null (phase information lost)`,
+      field: 'phase',
+      left: left.phase,
+      right: null,
+    });
+  } else if (left.phase && right.phase && left.phase !== right.phase) {
+    // Use right export's phase order as canonical (or left if right doesn't have one)
+    const phaseOrder = right.workflow_phase_order || left.workflow_phase_order;
+    if (Array.isArray(phaseOrder) && phaseOrder.length > 0) {
+      const leftIndex = phaseOrder.indexOf(left.phase);
+      const rightIndex = phaseOrder.indexOf(right.phase);
+      // Only flag when both phases are known and right is earlier than left
+      if (leftIndex !== -1 && rightIndex !== -1 && rightIndex < leftIndex) {
+        regressions.push({
+          id: `REG-PHASE-${String(++counter).padStart(3, '0')}`,
+          category: 'phase',
+          severity: 'warning',
+          message: `Phase moved backward from "${left.phase}" (position ${leftIndex}) to "${right.phase}" (position ${rightIndex})`,
+          field: 'phase',
+          left: left.phase,
+          right: right.phase,
+        });
+      }
+    }
+  }
+
   // Budget warn_mode regression
   if (left.budget_warn_mode === false && right.budget_warn_mode === true) {
     regressions.push({
@@ -432,6 +489,29 @@ function detectRunRegressions(left, right) {
     });
   }
 
+  // Delegation contract regressions: newly missing required decisions.
+  const allDelegationIds = new Set([
+    ...Object.keys(left.delegation_missing_decisions || {}),
+    ...Object.keys(right.delegation_missing_decisions || {}),
+  ]);
+  for (const delegationId of allDelegationIds) {
+    const leftMissing = normalizeStringArray((left.delegation_missing_decisions || {})[delegationId]);
+    const rightMissing = normalizeStringArray((right.delegation_missing_decisions || {})[delegationId]);
+    const leftSet = new Set(leftMissing);
+    const newlyMissing = rightMissing.filter((decisionId) => !leftSet.has(decisionId));
+    if (newlyMissing.length > 0) {
+      regressions.push({
+        id: `REG-DELEGATION-MISSING-${String(++counter).padStart(3, '0')}`,
+        category: 'delegation',
+        severity: 'error',
+        message: `Delegation "${delegationId}" is now missing required decisions: ${newlyMissing.join(', ')}`,
+        field: `delegation_summary.${delegationId}.missing_decision_ids`,
+        left: leftMissing,
+        right: rightMissing,
+      });
+    }
+  }
+
   // Gate regressions: passed/approved -> failed/blocked
   const allGateIds = new Set([...Object.keys(left.phase_gate_status || {}), ...Object.keys(right.phase_gate_status || {})]);
   for (const gateId of allGateIds) {

package/src/lib/export.js

@@ -454,6 +454,9 @@ export function buildRunExport(startDir = process.cwd()) {
         run_id: state?.run_id || null,
         status: state?.status || null,
         phase: state?.phase || null,
+        workflow_phase_order: config.routing && Object.keys(config.routing).length > 0
+          ? Object.keys(config.routing)
+          : null,
         provenance: normalizeRunProvenance(state?.provenance),
         inherited_context: state?.inherited_context || null,
         active_turn_ids: activeTurns,
@@ -640,6 +643,10 @@ export function buildCoordinatorExport(startDir = process.cwd()) {
         super_run_id: coordState?.super_run_id || null,
         status: coordState?.status || null,
         phase: coordState?.phase || null,
+        workflow_phase_order: rawConfig.routing && typeof rawConfig.routing === 'object'
+            && Object.keys(rawConfig.routing).length > 0
+          ? Object.keys(rawConfig.routing)
+          : null,
         repo_run_statuses: repoRunStatuses,
         barrier_count: barrierCount,
         history_entries: countJsonl(files, '.agentxchain/multirepo/history.jsonl'),