agentic-qe 3.14.0 → 3.14.2

package/dist/cli/commands/quality-gate.js

@@ -19,7 +19,7 @@ import { runQualityGate, listChecklistIds, } from '../../validation/quality-gate
 import { createRouterFrontierJudge, createUnavailableJudge, } from '../../validation/frontier-judge.js';
 export function createQualityGateCommand(_context, cleanupAndExit, _ensureInitialized) {
     return new Command('quality-gate')
-        .description('Two-gate, three-valued quality verdict against a pinned ADR-117 checklist (ADR-119)')
+        .description('Fail-closed quality and verification-reach verdict against a pinned checklist')
         .option('-c, --checklist <id>', 'Pinned anchor checklist id (e.g. A1-inRange)')
         .option('-a, --artifact-file <path>', 'File containing the artifact under judgement')
         .option('--artifact <text>', 'Inline artifact text (alternative to --artifact-file)')
@@ -27,6 +27,7 @@ export function createQualityGateCommand(_context, cleanupAndExit, _ensureInitia
         .option('--baseline-passed', 'Tests executed against the reference implementation')
         .option('--oracle-file <path>', 'JSON file with { passed, baselinePassed } from the ADR-113 oracle')
         .option('--anchor <path>', 'Override the frozen anchor path (ADR-117)')
+        .option('--verification-manifest <path>', 'Revision-bound failure-mode reach manifest (#651)')
         .option('--model <id>', 'Frontier judge model id (ADR-111: always frontier-tier)')
         .option('--list', 'List the available pinned checklist ids and exit')
         .option('-F, --format <format>', 'Output format (text|json)', 'text')
@@ -64,13 +65,14 @@ export function createQualityGateCommand(_context, cleanupAndExit, _ensureInitia
                 checklistId: options.checklist,
                 judge,
                 anchorPath: options.anchor,
+                verificationManifest: resolveVerificationManifest(options.verificationManifest),
             };
             const result = await runQualityGate(request);
             if (format === 'json') {
                 writeOutput(toJSON(result), options.output);
             }
             else {
-                printVerdict(result.verdict, result.mechanical, result.specCoverage, result.unmet, result.reason);
+                printVerdict(result.verdict, result.qualityVerdict, result.coverageVerdict, result.mechanical, result.specCoverage, result.unmet, result.reason, result.verification);
             }
             // Exit codes: 0 pass, 1 fail, 3 inconclusive (distinct so CI can branch).
             const code = result.verdict === 'pass' ? 0 : result.verdict === 'fail' ? 1 : 3;
@@ -82,6 +84,11 @@ export function createQualityGateCommand(_context, cleanupAndExit, _ensureInitia
         }
     });
 }
+function resolveVerificationManifest(path) {
+    if (!path)
+        return undefined;
+    return JSON.parse(fs.readFileSync(path, 'utf8'));
+}
 function resolveArtifact(options) {
     if (typeof options.artifact === 'string')
         return options.artifact;
@@ -121,11 +128,13 @@ export async function buildJudge(model) {
         logger: (message) => console.error(message),
     });
 }
-function printVerdict(verdict, mechanical, specCoverage, unmet, reason) {
+function printVerdict(verdict, qualityVerdict, coverageVerdict, mechanical, specCoverage, unmet, reason, verification) {
     const icon = verdict === 'pass' ? chalk.green('✓ PASS')
         : verdict === 'fail' ? chalk.red('✗ FAIL')
             : chalk.yellow('? INCONCLUSIVE');
     console.log(`\n  Quality Gate: ${icon}`);
+    console.log(`  Quality verdict: ${qualityVerdict}`);
+    console.log(`  Coverage verdict: ${coverageVerdict}`);
     console.log(`  Mechanical gate: ${mechanical === 'pass' ? chalk.green('pass') : chalk.red('fail')}`);
     if (specCoverage != null)
         console.log(`  Spec coverage:   ${chalk.cyan((specCoverage * 100).toFixed(0) + '%')}`);
@@ -134,6 +143,19 @@ function printVerdict(verdict, mechanical, specCoverage, unmet, reason) {
         for (const u of unmet)
             console.log(chalk.gray(`    - ${u}`));
     }
+    if (verification.kind === 'legacy-unknown') {
+        console.log(chalk.yellow(`  Verification reach: ${verification.reason}`));
+    }
+    else {
+        console.log(chalk.cyan('  Verification reach:'));
+        for (const risk of verification.risks) {
+            const direct = risk.directCheckIds.join(', ') || 'none';
+            const partial = risk.partialCheckIds.join(', ') || 'none';
+            const uncovered = risk.uncoveredObservations.join(', ') || 'none';
+            console.log(`    ${risk.riskId}: ${risk.verdict}`);
+            console.log(chalk.gray(`      direct=${direct}; partial=${partial}; uncovered=${uncovered}`));
+        }
+    }
     console.log(chalk.gray(`  ${reason}\n`));
 }
 //# sourceMappingURL=quality-gate.js.map

package/dist/cli/foreground-command.d.ts

@@ -0,0 +1,3 @@
+export declare function activateForegroundCommand(): () => void;
+export declare function isForegroundCommandActive(): boolean;
+//# sourceMappingURL=foreground-command.d.ts.map

package/dist/cli/foreground-command.js

@@ -0,0 +1,22 @@
+/**
+ * Tracks CLI commands that intentionally own the foreground process lifetime.
+ *
+ * Most AQE commands must be force-cleaned after Commander dispatch completes
+ * because native handles can keep Node alive. A foreground command is the
+ * inverse: the CLI must not force-exit merely because dispatch has completed.
+ */
+let foregroundCommandActive = false;
+export function activateForegroundCommand() {
+    foregroundCommandActive = true;
+    let released = false;
+    return () => {
+        if (released)
+            return;
+        released = true;
+        foregroundCommandActive = false;
+    };
+}
+export function isForegroundCommandActive() {
+    return foregroundCommandActive;
+}
+//# sourceMappingURL=foreground-command.js.map

package/dist/cli/handlers/init-handler.d.ts

@@ -66,6 +66,10 @@ export interface InitJsonOutput {
             agents: number;
             skills: number;
         };
+        codexGuidance?: {
+            policy: 'full' | 'compact' | 'none';
+            ownedBytes: number;
+        };
     };
     totalDurationMs: number;
     timestamp: string;
@@ -94,6 +98,7 @@ interface InitOptions {
     withRoocode?: boolean;
     withCodex?: boolean;
     withRuflo?: boolean;
+    codexGuidance?: 'full' | 'compact' | 'none';
     withWindsurf?: boolean;
     withContinuedev?: boolean;
     withAllPlatforms?: boolean;

package/dist/cli/handlers/init-handler.js

@@ -3,6 +3,7 @@
  *
  * Handles the 'aqe init' command for system initialization.
  */
+import { Option } from 'commander';
 import chalk from 'chalk';
 import { createRequire } from 'node:module';
 import { ALL_DOMAINS } from '../../shared/types/index.js';
@@ -49,6 +50,9 @@ export class InitHandler {
             .option('--with-kilocode', 'Include Kilo Code MCP config and custom QE mode')
             .option('--with-roocode', 'Include Roo Code MCP config and custom QE mode')
             .option('--with-codex', 'Include OpenAI Codex CLI MCP, AGENTS.md, hooks, and QE skills')
+            .addOption(new Option('--codex-guidance <mode>', 'Codex AGENTS.md guidance policy')
+            .choices(['full', 'compact', 'none'])
+            .default('full'))
             .option('--with-ruflo', 'Add optional Ruflo guidance and lifecycle hooks to the Codex setup')
             .option('--with-windsurf', 'Include Windsurf MCP config and rules')
             .option('--with-continuedev', 'Include Continue.dev MCP config and rules')
@@ -181,6 +185,7 @@ export class InitHandler {
             withRooCode: options.withRoocode,
             withCodex: options.withCodex,
             withRuflo: options.withRuflo,
+            codexGuidance: options.codexGuidance,
             withWindsurf: options.withWindsurf,
             withContinueDev: options.withContinuedev,
             noMcp: options.noMcp && !options.withMcp,
@@ -447,6 +452,7 @@ Options:
   --with-n8n                 Install n8n workflow testing agents and skills
   --with-opencode            Include OpenCode agent/skill provisioning
   --with-codex               Include OpenAI Codex hooks, instructions, skills, and MCP
+  --codex-guidance <mode>    Codex AGENTS.md guidance: full, compact, or none
   --with-ruflo               Opt into Ruflo guidance and lifecycle hooks for Codex
   --auto-migrate             Automatically migrate from v2 if detected
   --with-claude-flow         Force Claude Flow integration setup

package/dist/cli/index.js

@@ -10,6 +10,7 @@
  * See: cli/commands/ for additional command modules
  */
 import { toErrorMessage } from '../shared/error-utils.js';
+import { createRequire } from 'node:module';
 import { Command } from 'commander';
 import chalk from 'chalk';
 import { ALL_DOMAINS } from '../shared/types/index.js';
@@ -207,7 +208,9 @@ async function cleanupAndExit(code = 0) {
 // CLI Program
 // ============================================================================
 const program = new Command();
-const VERSION = typeof __CLI_VERSION__ !== 'undefined' ? __CLI_VERSION__ : '0.0.0-dev';
+const require = createRequire(import.meta.url);
+const packageVersion = require('../../package.json').version;
+const VERSION = typeof __CLI_VERSION__ !== 'undefined' ? __CLI_VERSION__ : packageVersion;
 program
     .name('aqe')
     .description('Agentic QE - Domain-Driven Quality Engineering')
@@ -216,6 +219,7 @@ program
 // Register Handlers (lazy — each handler loads only when its command runs)
 // ============================================================================
 import { registerLazyCommand, registerLazyHandler } from './lazy-registry.js';
+import { isForegroundCommandActive } from './foreground-command.js';
 registerLazyHandler(program, 'init', 'Initialize the AQE v3 system', () => import('./handlers/init-handler.js').then(m => m.createInitHandler(cleanupAndExit)), context);
 registerLazyHandler(program, 'status', 'Show system status', () => import('./handlers/status-handler.js').then(m => m.createStatusHandler(cleanupAndExit, ensureInitializedStrict)), context);
 registerLazyHandler(program, 'health', 'Check system health', () => import('./handlers/status-handler.js').then(m => m.createHealthHandler(cleanupAndExit, ensureInitializedStrict)), context);
@@ -403,6 +407,9 @@ async function main() {
         verbose: process.env.AQE_VERBOSE === 'true',
     });
     await program.parseAsync();
+    // Foreground commands own their process lifetime after command dispatch.
+    if (isForegroundCommandActive())
+        return;
     // If the command didn't explicitly exit, clean up and exit now.
     // This prevents process hangs from active handles (domain init, embeddings, etc.)
     await cleanupAndExit(0);