@rengler33/prov 0.1.1

package/dist/cli.js

@@ -0,0 +1,381 @@
+#!/usr/bin/env node
+/**
+ * prov CLI entry point
+ *
+ * A provenance-first planning CLI for AI agent workflows.
+ * This CLI serves two audiences: human developers managing specs
+ * and AI agents creating/executing plans.
+ *
+ * @see spec:cli-interface:v1
+ * @see dec:cli-framework (Commander.js)
+ */
+import { Command, Option } from 'commander';
+import { VERSION } from './index.js';
+import { resolveFormat, output, error } from './output.js';
+import { runInit } from './commands/init.js';
+import { runSpecAdd, runSpecList, runSpecValidate } from './commands/spec.js';
+import { runConstraintAdd, runConstraintList, runConstraintCheck } from './commands/constraint.js';
+import { runPlanCreate, runPlanShow, runPlanValidate, runPlanNext, runPlanRemaining, runPlanProgress, } from './commands/plan.js';
+import { runTraceAdd, runTraceShow, runTraceWhy, runTraceScan } from './commands/trace.js';
+import { runGraphShow, runGraphExport, runGraphOrphans } from './commands/graph.js';
+import { runImpact, runStale } from './commands/impact.js';
+import { runAgentContext } from './commands/agent.js';
+import { runMcpServe } from './commands/mcp.js';
+/**
+ * Create the format option shared by all commands.
+ */
+function createFormatOption() {
+    return new Option('-f, --format <format>', 'Output format')
+        .choices(['table', 'yaml', 'json'])
+        .default(undefined, 'table (TTY) or yaml (pipe)');
+}
+/**
+ * Create the main CLI program.
+ */
+function createProgram() {
+    const program = new Command();
+    program
+        .name('prov')
+        .description('Provenance-first planning CLI for AI agent workflows')
+        .version(VERSION, '-v, --version', 'Output the version number')
+        .option('--verbose', 'Enable verbose output')
+        .option('-q, --quiet', 'Suppress non-essential output')
+        .option('-C, --dir <directory>', 'Run as if prov was started in <directory>')
+        .addOption(createFormatOption());
+    // Add command groups
+    program.addCommand(createInitCommand());
+    program.addCommand(createSpecCommand());
+    program.addCommand(createConstraintCommand());
+    program.addCommand(createPlanCommand());
+    program.addCommand(createTraceCommand());
+    program.addCommand(createGraphCommand());
+    program.addCommand(createAgentCommand());
+    program.addCommand(createMcpCommand());
+    program.addCommand(createImpactCommand());
+    program.addCommand(createStaleCommand());
+    return program;
+}
+// ============================================================================
+// Init Command
+// ============================================================================
+function createInitCommand() {
+    return new Command('init')
+        .description('Initialize provenance tracking in a directory')
+        .option('--force', 'Reinitialize even if already initialized')
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runInit(globalOpts, options);
+    });
+}
+// ============================================================================
+// Spec Commands
+// ============================================================================
+function createSpecCommand() {
+    const spec = new Command('spec')
+        .description('Manage specifications');
+    spec
+        .command('add <file>')
+        .description('Add a specification to tracking')
+        .action((file, _options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runSpecAdd(globalOpts, file, {});
+    });
+    spec
+        .command('list')
+        .description('List tracked specifications')
+        .option('-s, --status <status>', 'Filter by status')
+        .addOption(createFormatOption())
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runSpecList(globalOpts, { status: options.status });
+    });
+    spec
+        .command('validate')
+        .description('Validate specification consistency')
+        .option('--fix', 'Attempt to fix validation errors')
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runSpecValidate(globalOpts, { fix: options.fix });
+    });
+    spec
+        .command('diff <id1> <id2>')
+        .description('Show differences between spec versions')
+        .action((id1, id2, _options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        notImplemented('spec diff', globalOpts, { id1, id2 });
+    });
+    return spec;
+}
+// ============================================================================
+// Constraint Commands
+// ============================================================================
+function createConstraintCommand() {
+    const constraint = new Command('constraint')
+        .description('Manage constraints');
+    constraint
+        .command('add <file>')
+        .description('Add a constraint file to tracking')
+        .action((file, _options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runConstraintAdd(globalOpts, file, {});
+    });
+    constraint
+        .command('list')
+        .description('List tracked constraints')
+        .option('-s, --status <status>', 'Filter by status')
+        .addOption(createFormatOption())
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runConstraintList(globalOpts, { status: options.status });
+    });
+    constraint
+        .command('check [id]')
+        .description('Run constraint verification')
+        .option('--fix', 'Attempt automatic remediation')
+        .action((id, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runConstraintCheck(globalOpts, id, { fix: options.fix }).catch((err) => {
+            error(err.message);
+            process.exit(1);
+        });
+    });
+    return constraint;
+}
+// ============================================================================
+// Plan Commands
+// ============================================================================
+function createPlanCommand() {
+    const plan = new Command('plan')
+        .description('Manage implementation plans');
+    plan
+        .command('create')
+        .description('Create a new plan from specs and constraints')
+        .requiredOption('--from <specs...>', 'Spec IDs to derive from')
+        .option('--with <constraints...>', 'Constraint IDs to apply')
+        .option('-o, --output <file>', 'Output file path')
+        .option('-i, --interactive', 'Use interactive mode')
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runPlanCreate(globalOpts, options);
+    });
+    plan
+        .command('show <id>')
+        .description('Display plan details')
+        .addOption(createFormatOption())
+        .action((id, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runPlanShow(globalOpts, id, options);
+    });
+    plan
+        .command('validate')
+        .description('Validate plan completeness')
+        .action((_options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runPlanValidate(globalOpts, {});
+    });
+    plan
+        .command('remaining <id>')
+        .description('Show unimplemented plan steps')
+        .addOption(createFormatOption())
+        .action((id, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runPlanRemaining(globalOpts, id, options);
+    });
+    plan
+        .command('next <id>')
+        .description('Show the next step to implement')
+        .addOption(createFormatOption())
+        .action((id, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runPlanNext(globalOpts, id, options);
+    });
+    plan
+        .command('progress <id>')
+        .description('Show plan implementation progress')
+        .addOption(createFormatOption())
+        .action((id, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runPlanProgress(globalOpts, id, options);
+    });
+    return plan;
+}
+// ============================================================================
+// Trace Commands
+// ============================================================================
+function createTraceCommand() {
+    const trace = new Command('trace')
+        .description('Manage artifact traces');
+    trace
+        .command('add <path>')
+        .description('Link an artifact to a plan step')
+        .requiredOption('--to <step-id>', 'Step ID to trace to')
+        .option('--auto-hash', 'Recompute hash on each query')
+        .action((path, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runTraceAdd(globalOpts, path, options);
+    });
+    trace
+        .command('show <path>')
+        .description('Show provenance for an artifact')
+        .addOption(createFormatOption())
+        .action((path, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runTraceShow(globalOpts, path, options);
+    });
+    trace
+        .command('why <req-id>')
+        .description('Show implementations of a requirement')
+        .addOption(createFormatOption())
+        .action((reqId, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runTraceWhy(globalOpts, reqId, options);
+    });
+    trace
+        .command('scan')
+        .description('Scan source files for inline trace markers')
+        .option('--dirs <directories...>', 'Directories to scan (default: project root)')
+        .addOption(createFormatOption())
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runTraceScan(globalOpts, options);
+    });
+    return trace;
+}
+// ============================================================================
+// Graph Commands
+// ============================================================================
+function createGraphCommand() {
+    const graph = new Command('graph')
+        .description('Visualize and export the intent graph');
+    graph
+        .command('show')
+        .description('Display ASCII graph in terminal')
+        .option('--depth <n>', 'Maximum depth to display', parseInt)
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runGraphShow(globalOpts, options);
+    });
+    graph
+        .command('export')
+        .description('Export graph for external tools')
+        .addOption(new Option('--format <format>', 'Export format')
+        .choices(['dot', 'json', 'mermaid'])
+        .default('dot'))
+        .option('-o, --output <file>', 'Output file (stdout if not specified)')
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runGraphExport(globalOpts, options);
+    });
+    graph
+        .command('orphans')
+        .description('Find untraced code')
+        .option('--scan <dirs...>', 'Directories to scan')
+        .addOption(createFormatOption())
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runGraphOrphans(globalOpts, options);
+    });
+    return graph;
+}
+// ============================================================================
+// Agent Commands
+// ============================================================================
+function createAgentCommand() {
+    const agent = new Command('agent')
+        .description('AI agent support commands');
+    agent
+        .command('context')
+        .description('Output context for AI agents')
+        .option('--scope <spec-ids...>', 'Limit context to specific specs')
+        .addOption(createFormatOption())
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runAgentContext(globalOpts, options);
+    });
+    return agent;
+}
+// ============================================================================
+// MCP Commands
+// ============================================================================
+function createMcpCommand() {
+    const mcp = new Command('mcp')
+        .description('Model Context Protocol server');
+    mcp
+        .command('serve')
+        .description('Start MCP server for AI agent integration')
+        .action(() => {
+        runMcpServe().catch((err) => {
+            error(err.message);
+            process.exit(1);
+        });
+    });
+    return mcp;
+}
+// ============================================================================
+// Impact Command
+// ============================================================================
+function createImpactCommand() {
+    return new Command('impact')
+        .description('Analyze impact of spec/constraint changes')
+        .argument('<spec-id>', 'Spec or constraint ID to analyze')
+        .option('--changed', 'Auto-detect modified specs')
+        .addOption(createFormatOption())
+        .action((specId, options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runImpact(globalOpts, specId, options);
+    });
+}
+// ============================================================================
+// Stale Command
+// ============================================================================
+function createStaleCommand() {
+    return new Command('stale')
+        .description('Find stale artifacts needing regeneration')
+        .addOption(createFormatOption())
+        .action((options, cmd) => {
+        const globalOpts = cmd.optsWithGlobals();
+        runStale(globalOpts, options);
+    });
+}
+// ============================================================================
+// Helper Functions
+// ============================================================================
+/**
+ * Placeholder for unimplemented commands.
+ * Will be replaced as commands are implemented in subsequent phases.
+ */
+function notImplemented(command, globalOpts, options) {
+    const fmt = resolveFormat({ format: globalOpts.format });
+    if (fmt === 'json') {
+        output({
+            error: 'not_implemented',
+            command,
+            message: `Command '${command}' is not yet implemented`,
+            options: options ?? {},
+        }, { format: 'json' });
+    }
+    else if (fmt === 'yaml') {
+        output({
+            error: 'not_implemented',
+            command,
+            message: `Command '${command}' is not yet implemented`,
+            options: options ?? {},
+        }, { format: 'yaml' });
+    }
+    else {
+        error(`Command '${command}' is not yet implemented`);
+        if (globalOpts.verbose === true && options !== undefined) {
+            process.stderr.write(`Options: ${JSON.stringify(options, null, 2)}\n`);
+        }
+    }
+    process.exit(1);
+}
+// ============================================================================
+// Main Entry Point
+// ============================================================================
+const program = createProgram();
+program.parseAsync(process.argv).catch((err) => {
+    error(err.message);
+    process.exit(1);
+});
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAqB,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnG,OAAO,EACL,aAAa,EACb,WAAW,EACX,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,eAAe,GAChB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACpF,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAgBhD;;GAEG;AACH,SAAS,kBAAkB;IACzB,OAAO,IAAI,MAAM,CAAC,uBAAuB,EAAE,eAAe,CAAC;SACxD,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;SAClC,OAAO,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC;AACtD,CAAC;AAED;;GAEG;AACH,SAAS,aAAa;IACpB,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAE9B,OAAO;SACJ,IAAI,CAAC,MAAM,CAAC;SACZ,WAAW,CAAC,sDAAsD,CAAC;SACnE,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,2BAA2B,CAAC;SAC9D,MAAM,CAAC,WAAW,EAAE,uBAAuB,CAAC;SAC5C,MAAM,CAAC,aAAa,EAAE,+BAA+B,CAAC;SACtD,MAAM,CAAC,uBAAuB,EAAE,2CAA2C,CAAC;SAC5E,SAAS,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAEnC,qBAAqB;IACrB,OAAO,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACxC,OAAO,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACxC,OAAO,CAAC,UAAU,CAAC,uBAAuB,EAAE,CAAC,CAAC;IAC9C,OAAO,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACxC,OAAO,CAAC,UAAU,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,UAAU,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,UAAU,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACvC,OAAO,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,UAAU,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAEzC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,eAAe;AACf,+EAA+E;AAE/E,SAAS,iBAAiB;IACxB,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC;SACvB,WAAW,CAAC,+CAA+C,CAAC;SAC5D,MAAM,CAAC,SAAS,EAAE,0CAA0C,CAAC;SAC7D,MAAM,CAAC,CAAC,OAA4B,EAAE,GAAY,EAAE,EAAE;QACrD,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACP,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E,SAAS,iBAAiB;IACxB,MAAM,IAAI,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC;SAC7B,WAAW,CAAC,uBAAuB,CAAC,CAAC;IAExC,IAAI;SACD,OAAO,CAAC,YAAY,CAAC;SACrB,WAAW,CAAC,iCAAiC,CAAC;SAC9C,MAAM,CAAC,CAAC,IAAY,EAAE,QAAiC,EAAE,GAAY,EAAE,EAAE;QACxE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,UAAU,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,6BAA6B,CAAC;SAC1C,MAAM,CAAC,uBAAuB,EAAE,kBAAkB,CAAC;SACnD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,OAAmD,EAAE,GAAY,EAAE,EAAE;QAC5E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,WAAW,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,oCAAoC,CAAC;SACjD,MAAM,CAAC,OAAO,EAAE,kCAAkC,CAAC;SACnD,MAAM,CAAC,CAAC,OAA0B,EAAE,GAAY,EAAE,EAAE;QACnD,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,eAAe,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,kBAAkB,CAAC;SAC3B,WAAW,CAAC,wCAAwC,CAAC;SACrD,MAAM,CAAC,CAAC,GAAW,EAAE,GAAW,EAAE,QAAiC,EAAE,GAAY,EAAE,EAAE;QACpF,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,cAAc,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEL,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E,SAAS,uBAAuB;IAC9B,MAAM,UAAU,GAAG,IAAI,OAAO,CAAC,YAAY,CAAC;SACzC,WAAW,CAAC,oBAAoB,CAAC,CAAC;IAErC,UAAU;SACP,OAAO,CAAC,YAAY,CAAC;SACrB,WAAW,CAAC,mCAAmC,CAAC;SAChD,MAAM,CAAC,CAAC,IAAY,EAAE,QAAiC,EAAE,GAAY,EAAE,EAAE;QACxE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,gBAAgB,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEL,UAAU;SACP,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,0BAA0B,CAAC;SACvC,MAAM,CAAC,uBAAuB,EAAE,kBAAkB,CAAC;SACnD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,OAAmD,EAAE,GAAY,EAAE,EAAE;QAC5E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,iBAAiB,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEL,UAAU;SACP,OAAO,CAAC,YAAY,CAAC;SACrB,WAAW,CAAC,6BAA6B,CAAC;SAC1C,MAAM,CAAC,OAAO,EAAE,+BAA+B,CAAC;SAChD,MAAM,CAAC,CAAC,EAAsB,EAAE,OAA0B,EAAE,GAAY,EAAE,EAAE;QAC3E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,kBAAkB,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAU,EAAE,EAAE;YAC5E,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEL,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E,SAAS,iBAAiB;IACxB,MAAM,IAAI,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC;SAC7B,WAAW,CAAC,6BAA6B,CAAC,CAAC;IAE9C,IAAI;SACD,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,8CAA8C,CAAC;SAC3D,cAAc,CAAC,mBAAmB,EAAE,yBAAyB,CAAC;SAC9D,MAAM,CAAC,yBAAyB,EAAE,yBAAyB,CAAC;SAC5D,MAAM,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;SACjD,MAAM,CAAC,mBAAmB,EAAE,sBAAsB,CAAC;SACnD,MAAM,CAAC,CAAC,OAAoF,EAAE,GAAY,EAAE,EAAE;QAC7G,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,sBAAsB,CAAC;SACnC,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,EAAU,EAAE,OAAkC,EAAE,GAAY,EAAE,EAAE;QACvE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,WAAW,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,4BAA4B,CAAC;SACzC,MAAM,CAAC,CAAC,QAAiC,EAAE,GAAY,EAAE,EAAE;QAC1D,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,eAAe,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,gBAAgB,CAAC;SACzB,WAAW,CAAC,+BAA+B,CAAC;SAC5C,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,EAAU,EAAE,OAAkC,EAAE,GAAY,EAAE,EAAE;QACvE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,gBAAgB,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,iCAAiC,CAAC;SAC9C,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,EAAU,EAAE,OAAkC,EAAE,GAAY,EAAE,EAAE;QACvE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,WAAW,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEL,IAAI;SACD,OAAO,CAAC,eAAe,CAAC;SACxB,WAAW,CAAC,mCAAmC,CAAC;SAChD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,EAAU,EAAE,OAAkC,EAAE,GAAY,EAAE,EAAE;QACvE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,eAAe,CAAC,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEL,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,SAAS,kBAAkB;IACzB,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC;SAC/B,WAAW,CAAC,wBAAwB,CAAC,CAAC;IAEzC,KAAK;SACF,OAAO,CAAC,YAAY,CAAC;SACrB,WAAW,CAAC,iCAAiC,CAAC;SAC9C,cAAc,CAAC,gBAAgB,EAAE,qBAAqB,CAAC;SACvD,MAAM,CAAC,aAAa,EAAE,8BAA8B,CAAC;SACrD,MAAM,CAAC,CAAC,IAAY,EAAE,OAA2C,EAAE,GAAY,EAAE,EAAE;QAClF,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEL,KAAK;SACF,OAAO,CAAC,aAAa,CAAC;SACtB,WAAW,CAAC,iCAAiC,CAAC;SAC9C,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,IAAY,EAAE,OAAkC,EAAE,GAAY,EAAE,EAAE;QACzE,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEL,KAAK;SACF,OAAO,CAAC,cAAc,CAAC;SACvB,WAAW,CAAC,uCAAuC,CAAC;SACpD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,KAAa,EAAE,OAAkC,EAAE,GAAY,EAAE,EAAE;QAC1E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,WAAW,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEL,KAAK;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,4CAA4C,CAAC;SACzD,MAAM,CAAC,yBAAyB,EAAE,6CAA6C,CAAC;SAChF,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,OAAmD,EAAE,GAAY,EAAE,EAAE;QAC5E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,SAAS,kBAAkB;IACzB,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC;SAC/B,WAAW,CAAC,uCAAuC,CAAC,CAAC;IAExD,KAAK;SACF,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,iCAAiC,CAAC;SAC9C,MAAM,CAAC,aAAa,EAAE,0BAA0B,EAAE,QAAQ,CAAC;SAC3D,MAAM,CAAC,CAAC,OAA2B,EAAE,GAAY,EAAE,EAAE;QACpD,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEL,KAAK;SACF,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,iCAAiC,CAAC;SAC9C,SAAS,CACR,IAAI,MAAM,CAAC,mBAAmB,EAAE,eAAe,CAAC;SAC7C,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;SACnC,OAAO,CAAC,KAAK,CAAC,CAClB;SACA,MAAM,CAAC,qBAAqB,EAAE,uCAAuC,CAAC;SACtE,MAAM,CAAC,CAAC,OAAgE,EAAE,GAAY,EAAE,EAAE;QACzF,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEL,KAAK;SACF,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;SACjD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,OAAmD,EAAE,GAAY,EAAE,EAAE;QAC5E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,SAAS,kBAAkB;IACzB,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC;SAC/B,WAAW,CAAC,2BAA2B,CAAC,CAAC;IAE5C,KAAK;SACF,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,8BAA8B,CAAC;SAC3C,MAAM,CAAC,uBAAuB,EAAE,iCAAiC,CAAC;SAClE,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,OAAoD,EAAE,GAAY,EAAE,EAAE;QAC7E,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+EAA+E;AAC/E,eAAe;AACf,+EAA+E;AAE/E,SAAS,gBAAgB;IACvB,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC;SAC3B,WAAW,CAAC,+BAA+B,CAAC,CAAC;IAEhD,GAAG;SACA,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,2CAA2C,CAAC;SACxD,MAAM,CAAC,GAAG,EAAE;QACX,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,GAAU,EAAE,EAAE;YACjC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEL,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,SAAS,mBAAmB;IAC1B,OAAO,IAAI,OAAO,CAAC,QAAQ,CAAC;SACzB,WAAW,CAAC,2CAA2C,CAAC;SACxD,QAAQ,CAAC,WAAW,EAAE,kCAAkC,CAAC;SACzD,MAAM,CAAC,WAAW,EAAE,4BAA4B,CAAC;SACjD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,MAAc,EAAE,OAAqD,EAAE,GAAY,EAAE,EAAE;QAC9F,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E,SAAS,kBAAkB;IACzB,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC;SACxB,WAAW,CAAC,2CAA2C,CAAC;SACxD,SAAS,CAAC,kBAAkB,EAAE,CAAC;SAC/B,MAAM,CAAC,CAAC,OAAkC,EAAE,GAAY,EAAE,EAAE;QAC3D,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,EAAiB,CAAC;QACxD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACP,CAAC;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,cAAc,CACrB,OAAe,EACf,UAAyB,EACzB,OAAiC;IAEjC,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAEzD,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,MAAM,CACJ;YACE,KAAK,EAAE,iBAAiB;YACxB,OAAO;YACP,OAAO,EAAE,YAAY,OAAO,0BAA0B;YACtD,OAAO,EAAE,OAAO,IAAI,EAAE;SACvB,EACD,EAAE,MAAM,EAAE,MAAM,EAAE,CACnB,CAAC;IACJ,CAAC;SAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,CACJ;YACE,KAAK,EAAE,iBAAiB;YACxB,OAAO;YACP,OAAO,EAAE,YAAY,OAAO,0BAA0B;YACtD,OAAO,EAAE,OAAO,IAAI,EAAE;SACvB,EACD,EAAE,MAAM,EAAE,MAAM,EAAE,CACnB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,YAAY,OAAO,0BAA0B,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACzD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;AAEhC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAU,EAAE,EAAE;IACpD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/commands/agent.d.ts

@@ -0,0 +1,107 @@
+/**
+ * prov agent commands implementation.
+ *
+ * Commands for AI agent support:
+ * - agent context: Output structured context for AI agents
+ *
+ * @see req:agent:context-retrieval
+ */
+import { type GlobalOptions } from '../cli.js';
+/**
+ * Options for agent context command.
+ */
+export interface AgentContextOptions {
+    scope?: string[];
+    format?: string;
+}
+/**
+ * Requirement summary for agent context.
+ */
+export interface RequirementSummary {
+    id: string;
+    description: string;
+    acceptance: string[];
+}
+/**
+ * Spec summary for agent context.
+ */
+export interface SpecSummary {
+    id: string;
+    title: string;
+    status: string;
+    intent: string;
+    requirements: RequirementSummary[];
+    hash?: string;
+}
+/**
+ * Invariant summary for agent context.
+ */
+export interface InvariantSummary {
+    id: string;
+    rule: string;
+    verification: string;
+    blocking: boolean;
+}
+/**
+ * Constraint summary for agent context.
+ */
+export interface ConstraintSummary {
+    id: string;
+    title: string;
+    status: string;
+    description: string;
+    invariants: InvariantSummary[];
+    hash?: string;
+}
+/**
+ * Step summary for agent context.
+ */
+export interface StepSummary {
+    id: string;
+    number: number;
+    action: string;
+    description?: string;
+    status: string;
+    tracesTo: string[];
+}
+/**
+ * Plan summary for agent context.
+ */
+export interface PlanSummary {
+    id: string;
+    title: string;
+    status: string;
+    sources: string[];
+    totalSteps: number;
+    completedSteps: number;
+    remainingSteps: StepSummary[];
+    hash?: string;
+}
+/**
+ * Result of agent context command.
+ */
+export interface AgentContextResult {
+    success: boolean;
+    context?: {
+        specs: SpecSummary[];
+        constraints: ConstraintSummary[];
+        plans: PlanSummary[];
+        remainingWork: {
+            totalSteps: number;
+            completedSteps: number;
+            pendingSteps: number;
+            nextStep?: StepSummary;
+        };
+    };
+    error?: string;
+}
+/**
+ * Execute the agent context command.
+ *
+ * Outputs structured context for AI agent consumption, including specs,
+ * constraints, current plan state, and remaining work items.
+ *
+ * @see req:agent:context-retrieval
+ */
+export declare function runAgentContext(globalOpts: GlobalOptions, options: AgentContextOptions): void;
+//# sourceMappingURL=agent.d.ts.map

package/dist/commands/agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent.d.ts","sourceRoot":"","sources":["../../src/commands/agent.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,WAAW,CAAC;AAgB/C;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,WAAW,EAAE,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE;QACR,KAAK,EAAE,WAAW,EAAE,CAAC;QACrB,WAAW,EAAE,iBAAiB,EAAE,CAAC;QACjC,KAAK,EAAE,WAAW,EAAE,CAAC;QACrB,aAAa,EAAE;YACb,UAAU,EAAE,MAAM,CAAC;YACnB,cAAc,EAAE,MAAM,CAAC;YACvB,YAAY,EAAE,MAAM,CAAC;YACrB,QAAQ,CAAC,EAAE,WAAW,CAAC;SACxB,CAAC;KACH,CAAC;IACF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAMD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,aAAa,EACzB,OAAO,EAAE,mBAAmB,GAC3B,IAAI,CA6MN"}