pm-orchestrator-runner 1.0.0

package/dist/repl/commands/logs.js

@@ -0,0 +1,200 @@
+"use strict";
+/**
+ * Logs Command
+ *
+ * Per spec 10_REPL_UX.md Section 2.4:
+ * - /logs: list task logs for current session
+ * - /logs <task-id>: show task details (summary view)
+ * - /logs <task-id> --full: show task details (full view with executor logs)
+ *
+ * Per spec 13_LOGGING_AND_OBSERVABILITY.md:
+ * - Two-layer viewing (summary/full)
+ * - Logs stored in .claude/logs/
+ *
+ * Per spec 06_CORRECTNESS_PROPERTIES.md Property 25:
+ * - Log visibility control (summary default, --full for details)
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LogsCommand = void 0;
+const task_log_manager_1 = require("../../logging/task-log-manager");
+/**
+ * Logs Command class
+ */
+class LogsCommand {
+    logManager = null;
+    projectPath = '';
+    /**
+     * Initialize log manager with project path
+     *
+     * @param projectPath - Project path
+     */
+    ensureLogManager(projectPath) {
+        if (!this.logManager || this.projectPath !== projectPath) {
+            this.projectPath = projectPath;
+            this.logManager = new task_log_manager_1.TaskLogManager(projectPath);
+        }
+        return this.logManager;
+    }
+    /**
+     * List task logs for a session
+     * Per spec 10_REPL_UX.md: /logs shows task list (Layer 1)
+     *
+     * @param projectPath - Project path
+     * @param sessionId - Session ID
+     * @returns Logs result
+     */
+    async listLogs(projectPath, sessionId) {
+        try {
+            const manager = this.ensureLogManager(projectPath);
+            const entries = await manager.getTaskList(sessionId);
+            const output = manager.formatTaskList(entries, sessionId);
+            return {
+                success: true,
+                message: 'Task logs retrieved',
+                output,
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                message: 'Failed to retrieve logs',
+                error: {
+                    code: 'E107',
+                    message: 'Failed to retrieve logs: ' + err.message,
+                },
+            };
+        }
+    }
+    /**
+     * Get task detail
+     * Per spec 10_REPL_UX.md: /logs <task-id> shows details (Layer 2)
+     * Per spec 06_CORRECTNESS_PROPERTIES.md Property 25: --full for executor logs
+     *
+     * @param projectPath - Project path
+     * @param taskId - Task ID
+     * @param full - Show full details (executor logs)
+     * @returns Logs result
+     */
+    async getTaskDetail(projectPath, taskId, full = false) {
+        try {
+            const manager = this.ensureLogManager(projectPath);
+            const visibility = full ? 'full' : 'summary';
+            const { log, events } = await manager.getTaskDetail(taskId, visibility);
+            if (!log) {
+                return {
+                    success: false,
+                    message: 'Task not found',
+                    error: {
+                        code: 'E108',
+                        message: 'Task not found: ' + taskId,
+                    },
+                };
+            }
+            const output = manager.formatTaskDetail(taskId, log, events, full);
+            return {
+                success: true,
+                message: 'Task detail retrieved',
+                output,
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                message: 'Failed to retrieve task detail',
+                error: {
+                    code: 'E107',
+                    message: 'Failed to retrieve task detail: ' + err.message,
+                },
+            };
+        }
+    }
+    /**
+     * Create a new task log
+     * Called when starting a new task
+     *
+     * @param projectPath - Project path
+     * @param taskId - Task ID
+     * @param sessionId - Session ID
+     * @returns Logs result
+     */
+    async createTaskLog(projectPath, taskId, sessionId) {
+        try {
+            const manager = this.ensureLogManager(projectPath);
+            await manager.createTask(taskId, sessionId);
+            return {
+                success: true,
+                message: 'Task log created',
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                message: 'Failed to create task log',
+                error: {
+                    code: 'E107',
+                    message: 'Failed to create task log: ' + err.message,
+                },
+            };
+        }
+    }
+    /**
+     * Add event to task log
+     *
+     * @param projectPath - Project path
+     * @param taskId - Task ID
+     * @param eventType - Event type
+     * @param content - Event content
+     * @returns Logs result
+     */
+    async addEvent(projectPath, taskId, eventType, content) {
+        try {
+            const manager = this.ensureLogManager(projectPath);
+            await manager.addEvent(taskId, eventType, content);
+            return {
+                success: true,
+                message: 'Event added',
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                message: 'Failed to add event',
+                error: {
+                    code: 'E107',
+                    message: 'Failed to add event: ' + err.message,
+                },
+            };
+        }
+    }
+    /**
+     * Complete a task log
+     *
+     * @param projectPath - Project path
+     * @param taskId - Task ID
+     * @param status - Completion status
+     * @param filesModified - List of modified files
+     * @returns Logs result
+     */
+    async completeTask(projectPath, taskId, status, filesModified = []) {
+        try {
+            const manager = this.ensureLogManager(projectPath);
+            await manager.completeTask(taskId, status, filesModified);
+            return {
+                success: true,
+                message: 'Task completed',
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                message: 'Failed to complete task',
+                error: {
+                    code: 'E107',
+                    message: 'Failed to complete task: ' + err.message,
+                },
+            };
+        }
+    }
+}
+exports.LogsCommand = LogsCommand;
+//# sourceMappingURL=logs.js.map

package/dist/repl/commands/logs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logs.js","sourceRoot":"","sources":["../../../src/repl/commands/logs.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAGH,qEAAgE;AAgBhE;;GAEG;AACH,MAAa,WAAW;IACd,UAAU,GAA0B,IAAI,CAAC;IACzC,WAAW,GAAW,EAAE,CAAC;IAEjC;;;;OAIG;IACK,gBAAgB,CAAC,WAAmB;QAC1C,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;YACzD,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;YAC/B,IAAI,CAAC,UAAU,GAAG,IAAI,iCAAc,CAAC,WAAW,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,QAAQ,CAAC,WAAmB,EAAE,SAAiB;QACnD,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAE1D,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,qBAAqB;gBAC9B,MAAM;aACP,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,yBAAyB;gBAClC,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,2BAA2B,GAAI,GAAa,CAAC,OAAO;iBAC9D;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,aAAa,CAAC,WAAmB,EAAE,MAAc,EAAE,OAAgB,KAAK;QAC5E,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,UAAU,GAAoB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9D,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAExE,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,OAAO,EAAE,gBAAgB;oBACzB,KAAK,EAAE;wBACL,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE,kBAAkB,GAAG,MAAM;qBACrC;iBACF,CAAC;YACJ,CAAC;YAED,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAEnE,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,uBAAuB;gBAChC,MAAM;aACP,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,gCAAgC;gBACzC,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,kCAAkC,GAAI,GAAa,CAAC,OAAO;iBACrE;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,aAAa,CAAC,WAAmB,EAAE,MAAc,EAAE,SAAiB;QACxE,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAE5C,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,kBAAkB;aAC5B,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,2BAA2B;gBACpC,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,6BAA6B,GAAI,GAAa,CAAC,OAAO;iBAChE;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,QAAQ,CACZ,WAAmB,EACnB,MAAc,EACd,SAAiB,EACjB,OAAgC;QAEhC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,OAAO,CAAC,QAAQ,CACpB,MAAM,EACN,SAAmD,EACnD,OAAiD,CAClD,CAAC;YAEF,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,aAAa;aACvB,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,qBAAqB;gBAC9B,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,uBAAuB,GAAI,GAAa,CAAC,OAAO;iBAC1D;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,YAAY,CAChB,WAAmB,EACnB,MAAc,EACd,MAA2C,EAC3C,gBAA0B,EAAE;QAE5B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;YAE1D,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,gBAAgB;aAC1B,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,yBAAyB;gBAClC,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,2BAA2B,GAAI,GAAa,CAAC,OAAO;iBAC9D;aACF,CAAC;QACJ,CAAC;IACH,CAAC;CACF;AArMD,kCAqMC"}

package/dist/repl/commands/model.d.ts

@@ -0,0 +1,85 @@
+/**
+ * /model Command Handler
+ *
+ * Per spec 10_REPL_UX.md L113-143:
+ * - /model is REPL-local feature
+ * - Model preference is stored in .claude/repl.json (NOT settings.json)
+ * - Runner Core and Configuration Manager ignore this file
+ * - .claude/ missing → E101 ERROR
+ * - repl.json corrupted → E105 ERROR
+ * - Model changes must generate Evidence
+ */
+/**
+ * Model command result
+ */
+export interface ModelResult {
+    success: boolean;
+    message?: string;
+    model?: string;
+    configPath?: string;
+    evidencePath?: string;
+    error?: {
+        code: string;
+        message: string;
+    };
+}
+/**
+ * Available models
+ */
+export declare const AVAILABLE_MODELS: readonly ["claude-sonnet-4-20250514", "claude-opus-4-20250514", "claude-3-5-sonnet-20241022", "claude-3-opus-20240229", "claude-3-sonnet-20240229", "claude-3-haiku-20240307"];
+export type ModelName = typeof AVAILABLE_MODELS[number] | string;
+/**
+ * REPL configuration stored in .claude/repl.json
+ * Per spec 10_REPL_UX.md L123-128:
+ * {
+ *   "selected_model": string,
+ *   "updated_at": string
+ * }
+ */
+export interface REPLConfig {
+    selected_model: string;
+    updated_at: string;
+}
+/**
+ * REPL Evidence record for model changes
+ * Per spec 10_REPL_UX.md L142: Model changes generate Evidence
+ */
+export interface REPLEvidence {
+    evidence_id: string;
+    timestamp: string;
+    operation_type: 'REPL_MODEL_CHANGE';
+    previous_model: string | null;
+    new_model: string;
+    config_path: string;
+    hash: string;
+}
+/**
+ * Model command handler
+ */
+export declare class ModelCommand {
+    /**
+     * Get current model configuration from repl.json
+     * Per spec 10_REPL_UX.md L133: If unset, display "UNSET"
+     * Per spec 10_REPL_UX.md L137: .claude/ missing → E101 ERROR
+     * Per spec 10_REPL_UX.md L138: JSON parse error → E105 ERROR
+     */
+    getModel(projectPath: string): Promise<ModelResult>;
+    /**
+     * Set model configuration in repl.json
+     * Per spec 10_REPL_UX.md L123-128: Schema: { "selected_model": string, "updated_at": string }
+     * Per spec 10_REPL_UX.md L129: Any non-empty string allowed (no validation)
+     * Per spec 10_REPL_UX.md L137: .claude/ missing → E101 ERROR
+     * Per spec 10_REPL_UX.md L142: Model changes must generate Evidence
+     */
+    setModel(projectPath: string, modelName: string): Promise<ModelResult>;
+    /**
+     * Generate Evidence for REPL model change
+     * Per spec 10_REPL_UX.md L142: Model changes are recorded as evidence
+     */
+    private generateEvidence;
+    /**
+     * List available models
+     */
+    listModels(): string[];
+}
+//# sourceMappingURL=model.d.ts.map

package/dist/repl/commands/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/repl/commands/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAOH;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,gLAOnB,CAAC;AAEX,MAAM,MAAM,SAAS,GAAG,OAAO,gBAAgB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,mBAAmB,CAAC;IACpC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,qBAAa,YAAY;IACvB;;;;;OAKG;IACG,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IAmDzD;;;;;;OAMG;IACG,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IAoE5E;;;OAGG;YACW,gBAAgB;IAwC9B;;OAEG;IACH,UAAU,IAAI,MAAM,EAAE;CAGvB"}

package/dist/repl/commands/model.js

@@ -0,0 +1,225 @@
+"use strict";
+/**
+ * /model Command Handler
+ *
+ * Per spec 10_REPL_UX.md L113-143:
+ * - /model is REPL-local feature
+ * - Model preference is stored in .claude/repl.json (NOT settings.json)
+ * - Runner Core and Configuration Manager ignore this file
+ * - .claude/ missing → E101 ERROR
+ * - repl.json corrupted → E105 ERROR
+ * - Model changes must generate Evidence
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ModelCommand = exports.AVAILABLE_MODELS = void 0;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const crypto = __importStar(require("crypto"));
+const uuid_1 = require("uuid");
+/**
+ * Available models
+ */
+exports.AVAILABLE_MODELS = [
+    'claude-sonnet-4-20250514',
+    'claude-opus-4-20250514',
+    'claude-3-5-sonnet-20241022',
+    'claude-3-opus-20240229',
+    'claude-3-sonnet-20240229',
+    'claude-3-haiku-20240307',
+];
+/**
+ * Model command handler
+ */
+class ModelCommand {
+    /**
+     * Get current model configuration from repl.json
+     * Per spec 10_REPL_UX.md L133: If unset, display "UNSET"
+     * Per spec 10_REPL_UX.md L137: .claude/ missing → E101 ERROR
+     * Per spec 10_REPL_UX.md L138: JSON parse error → E105 ERROR
+     */
+    async getModel(projectPath) {
+        const claudeDir = path.join(path.resolve(projectPath), '.claude');
+        const replPath = path.join(claudeDir, 'repl.json');
+        // Per spec 10_REPL_UX.md L137: .claude/ missing → E101
+        if (!fs.existsSync(claudeDir)) {
+            return {
+                success: false,
+                error: {
+                    code: 'E101',
+                    message: '.claude/ directory not found. Run /init first.',
+                },
+            };
+        }
+        // Per spec 10_REPL_UX.md L133: If unset, return "UNSET"
+        if (!fs.existsSync(replPath)) {
+            return {
+                success: true,
+                model: 'UNSET',
+                configPath: undefined,
+            };
+        }
+        try {
+            const content = fs.readFileSync(replPath, 'utf-8');
+            const config = JSON.parse(content);
+            return {
+                success: true,
+                model: config.selected_model,
+                configPath: replPath,
+            };
+        }
+        catch (err) {
+            // Per spec 10_REPL_UX.md L138: JSON parse error is E105
+            if (err instanceof SyntaxError) {
+                return {
+                    success: false,
+                    error: {
+                        code: 'E105',
+                        message: 'repl.json is corrupted (JSON parse error). Cannot recover.',
+                    },
+                };
+            }
+            return {
+                success: false,
+                message: `Failed to read REPL config: ${err.message}`,
+            };
+        }
+    }
+    /**
+     * Set model configuration in repl.json
+     * Per spec 10_REPL_UX.md L123-128: Schema: { "selected_model": string, "updated_at": string }
+     * Per spec 10_REPL_UX.md L129: Any non-empty string allowed (no validation)
+     * Per spec 10_REPL_UX.md L137: .claude/ missing → E101 ERROR
+     * Per spec 10_REPL_UX.md L142: Model changes must generate Evidence
+     */
+    async setModel(projectPath, modelName) {
+        const claudeDir = path.join(path.resolve(projectPath), '.claude');
+        const replPath = path.join(claudeDir, 'repl.json');
+        const evidenceDir = path.join(claudeDir, 'evidence', 'repl');
+        // Per spec 10_REPL_UX.md L137: .claude/ missing → E101
+        if (!fs.existsSync(claudeDir)) {
+            return {
+                success: false,
+                error: {
+                    code: 'E101',
+                    message: '.claude/ directory not found. Run /init first.',
+                },
+            };
+        }
+        // Validate model name (allow any non-empty string per spec L129)
+        if (!modelName || modelName.trim().length === 0) {
+            return {
+                success: false,
+                message: 'Model name cannot be empty',
+            };
+        }
+        try {
+            // Get previous model for Evidence (null if unset)
+            let previousModel = null;
+            if (fs.existsSync(replPath)) {
+                try {
+                    const existingContent = fs.readFileSync(replPath, 'utf-8');
+                    const existingConfig = JSON.parse(existingContent);
+                    previousModel = existingConfig.selected_model;
+                }
+                catch {
+                    // Ignore parse errors when reading previous value
+                }
+            }
+            // Create spec-compliant config
+            const config = {
+                selected_model: modelName,
+                updated_at: new Date().toISOString(),
+            };
+            // Write to repl.json
+            fs.writeFileSync(replPath, JSON.stringify(config, null, 2), 'utf-8');
+            // Per spec 10_REPL_UX.md L142: Generate Evidence for model change
+            const evidencePath = await this.generateEvidence(evidenceDir, previousModel, modelName, replPath);
+            return {
+                success: true,
+                model: modelName,
+                configPath: replPath,
+                evidencePath,
+            };
+        }
+        catch (err) {
+            return {
+                success: false,
+                message: `Failed to save REPL config: ${err.message}`,
+            };
+        }
+    }
+    /**
+     * Generate Evidence for REPL model change
+     * Per spec 10_REPL_UX.md L142: Model changes are recorded as evidence
+     */
+    async generateEvidence(evidenceDir, previousModel, newModel, configPath) {
+        // Ensure evidence directory exists
+        if (!fs.existsSync(evidenceDir)) {
+            fs.mkdirSync(evidenceDir, { recursive: true });
+        }
+        const timestamp = new Date().toISOString();
+        const evidenceId = `repl-model-${(0, uuid_1.v4)()}`;
+        // Create hash from change details
+        const hashContent = JSON.stringify({
+            previous_model: previousModel,
+            new_model: newModel,
+            config_path: configPath,
+            timestamp,
+        });
+        const hash = `sha256:${crypto.createHash('sha256').update(hashContent).digest('hex')}`;
+        const evidence = {
+            evidence_id: evidenceId,
+            timestamp,
+            operation_type: 'REPL_MODEL_CHANGE',
+            previous_model: previousModel,
+            new_model: newModel,
+            config_path: configPath,
+            hash,
+        };
+        // Write evidence file
+        const evidencePath = path.join(evidenceDir, `${evidenceId}.json`);
+        fs.writeFileSync(evidencePath, JSON.stringify(evidence, null, 2), 'utf-8');
+        return evidencePath;
+    }
+    /**
+     * List available models
+     */
+    listModels() {
+        return [...exports.AVAILABLE_MODELS];
+    }
+}
+exports.ModelCommand = ModelCommand;
+//# sourceMappingURL=model.js.map

package/dist/repl/commands/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../src/repl/commands/model.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAC7B,+CAAiC;AACjC,+BAAoC;AAiBpC;;GAEG;AACU,QAAA,gBAAgB,GAAG;IAC9B,0BAA0B;IAC1B,wBAAwB;IACxB,4BAA4B;IAC5B,wBAAwB;IACxB,0BAA0B;IAC1B,yBAAyB;CACjB,CAAC;AA+BX;;GAEG;AACH,MAAa,YAAY;IACvB;;;;;OAKG;IACH,KAAK,CAAC,QAAQ,CAAC,WAAmB;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAEnD,uDAAuD;QACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,gDAAgD;iBAC1D;aACF,CAAC;QACJ,CAAC;QAED,wDAAwD;QACxD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,OAAO;gBACd,UAAU,EAAE,SAAS;aACtB,CAAC;QACJ,CAAC;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACnD,MAAM,MAAM,GAAe,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAE/C,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,MAAM,CAAC,cAAc;gBAC5B,UAAU,EAAE,QAAQ;aACrB,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,wDAAwD;YACxD,IAAI,GAAG,YAAY,WAAW,EAAE,CAAC;gBAC/B,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE,4DAA4D;qBACtE;iBACF,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,+BAAgC,GAAa,CAAC,OAAO,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,QAAQ,CAAC,WAAmB,EAAE,SAAiB;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QAE7D,uDAAuD;QACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,gDAAgD;iBAC1D;aACF,CAAC;QACJ,CAAC;QAED,iEAAiE;QACjE,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,4BAA4B;aACtC,CAAC;QACJ,CAAC;QAED,IAAI,CAAC;YACH,kDAAkD;YAClD,IAAI,aAAa,GAAkB,IAAI,CAAC;YACxC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC;oBACH,MAAM,eAAe,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC3D,MAAM,cAAc,GAAe,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,aAAa,GAAG,cAAc,CAAC,cAAc,CAAC;gBAChD,CAAC;gBAAC,MAAM,CAAC;oBACP,kDAAkD;gBACpD,CAAC;YACH,CAAC;YAED,+BAA+B;YAC/B,MAAM,MAAM,GAAe;gBACzB,cAAc,EAAE,SAAS;gBACzB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACrC,CAAC;YAEF,qBAAqB;YACrB,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YAErE,kEAAkE;YAClE,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAC9C,WAAW,EACX,aAAa,EACb,SAAS,EACT,QAAQ,CACT,CAAC;YAEF,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,SAAS;gBAChB,UAAU,EAAE,QAAQ;gBACpB,YAAY;aACb,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,+BAAgC,GAAa,CAAC,OAAO,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,gBAAgB,CAC5B,WAAmB,EACnB,aAA4B,EAC5B,QAAgB,EAChB,UAAkB;QAElB,mCAAmC;QACnC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAChC,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,cAAc,IAAA,SAAM,GAAE,EAAE,CAAC;QAE5C,kCAAkC;QAClC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;YACjC,cAAc,EAAE,aAAa;YAC7B,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,UAAU;YACvB,SAAS;SACV,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAEvF,MAAM,QAAQ,GAAiB;YAC7B,WAAW,EAAE,UAAU;YACvB,SAAS;YACT,cAAc,EAAE,mBAAmB;YACnC,cAAc,EAAE,aAAa;YAC7B,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,UAAU;YACvB,IAAI;SACL,CAAC;QAEF,sBAAsB;QACtB,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,UAAU,OAAO,CAAC,CAAC;QAClE,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAE3E,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,CAAC,GAAG,wBAAgB,CAAC,CAAC;IAC/B,CAAC;CACF;AAvLD,oCAuLC"}

package/dist/repl/commands/models.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Models Command
+ *
+ * Per spec 10_REPL_UX.md Section 2.2:
+ * - /models: list models for current provider
+ * - /models <provider>: list models for specific provider
+ *
+ * Per spec 12_LLM_PROVIDER_AND_MODELS.md:
+ * - OpenAI models with pricing
+ * - Anthropic models with pricing
+ * - claude-code delegates model selection
+ */
+import { ModelInfo } from '../../models/repl/model-registry';
+/**
+ * Models command result
+ */
+export interface ModelsResult {
+    success: boolean;
+    message: string;
+    provider?: string;
+    models?: ModelInfo[];
+    currentModel?: string;
+    error?: {
+        code: string;
+        message: string;
+    };
+}
+/**
+ * Models Command class
+ */
+export declare class ModelsCommand {
+    /**
+     * List models for current or specified provider
+     *
+     * @param projectPath - Project path
+     * @param providerId - Optional provider ID (uses current if not specified)
+     * @returns Models result
+     */
+    listModels(projectPath: string, providerId?: string): Promise<ModelsResult>;
+    /**
+     * Format model list for display
+     *
+     * @param models - Model list
+     * @param currentModel - Current selected model (optional)
+     * @param provider - Provider name
+     * @returns Formatted string
+     */
+    formatModelList(models: ModelInfo[], currentModel?: string, provider?: string): string;
+}
+//# sourceMappingURL=models.d.ts.map

package/dist/repl/commands/models.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../../../src/repl/commands/models.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAUH,OAAO,EACL,SAAS,EAGV,MAAM,kCAAkC,CAAC;AAE1C;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAOD;;GAEG;AACH,qBAAa,aAAa;IACxB;;;;;;OAMG;IACG,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IAiFjF;;;;;;;OAOG;IACH,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,YAAY,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM;CAiCvF"}