pm-orchestrator-runner 1.0.0

package/dist/repl/repl-interface.d.ts

@@ -0,0 +1,371 @@
+/**
+ * REPL Interface for PM Orchestrator Runner
+ * Provides an interactive CLI experience with slash commands
+ *
+ * Supports two execution modes (per spec 10_REPL_UX.md):
+ * - Interactive mode: TTY connected, readline with prompt
+ * - Non-interactive mode: stdin script / heredoc / pipe
+ *
+ * Non-interactive mode guarantees:
+ * - Sequential Processing: Each command completes before next starts
+ * - Output Flush: All stdout is flushed before exit
+ * - Deterministic Exit Code: 0=COMPLETE, 1=ERROR, 2=INCOMPLETE
+ *
+ * Project Mode (per spec 10_REPL_UX.md, Property 32, 33):
+ * - temp: Use temporary directory (default, cleaned up on exit)
+ * - fixed: Use specified directory (persists after exit)
+ */
+import { EventEmitter } from 'events';
+import { RunnerCore } from '../core/runner-core';
+import { ExecutorSupervisor } from '../supervisor/executor-supervisor';
+/**
+ * Project Mode - per spec 10_REPL_UX.md
+ * Controls how verification_root is determined
+ * - temp: Use temporary directory (default)
+ * - fixed: Use specified --project-root directory
+ */
+export type ProjectMode = 'temp' | 'fixed';
+/**
+ * Verified File record - per spec 06_CORRECTNESS_PROPERTIES.md Property 33
+ * Records file verification result with traceability information
+ */
+export interface VerifiedFile {
+    /** Path relative to verification_root */
+    path: string;
+    /** Whether the file exists */
+    exists: boolean;
+    /** ISO 8601 timestamp when detection occurred */
+    detected_at: string;
+    /** Method used to detect the file */
+    detection_method: 'diff' | 'executor_claim';
+}
+/**
+ * Task Log structure with verification info - per spec 05_DATA_MODELS.md
+ */
+export interface TaskLog {
+    task_id: string;
+    description: string;
+    verification_root: string;
+    verified_files?: VerifiedFile[];
+    created_at: string;
+}
+/**
+ * REPL configuration - extended for Property 32, 33
+ */
+export interface REPLConfig {
+    projectPath?: string;
+    evidenceDir?: string;
+    prompt?: string;
+    authMode?: 'claude-code' | 'api-key';
+    /** Timeout for Claude Code execution in milliseconds (default: 120000) */
+    timeout?: number;
+    /** Force non-interactive mode (for testing) */
+    forceNonInteractive?: boolean;
+    /**
+     * Project mode - per spec 10_REPL_UX.md
+     * - 'temp': Use temporary directory for verification_root (default)
+     * - 'fixed': Use projectRoot as verification_root
+     */
+    projectMode?: ProjectMode;
+    /**
+     * Project root for fixed mode - per spec 10_REPL_UX.md
+     * Required when projectMode is 'fixed'
+     * Must be an existing directory
+     */
+    projectRoot?: string;
+    /**
+     * Print project path on startup - per spec 10_REPL_UX.md
+     * Outputs PROJECT_PATH=<path> for machine-readable parsing
+     */
+    printProjectPath?: boolean;
+}
+/**
+ * REPL Execution Mode - per spec 05_DATA_MODELS.md
+ * Detected at startup, determines I/O behavior
+ */
+export type ReplExecutionMode = 'interactive' | 'non_interactive';
+/**
+ * Exit codes for non-interactive mode - per spec 10_REPL_UX.md
+ * These are deterministic based on session state
+ */
+export declare const EXIT_CODES: {
+    readonly COMPLETE: 0;
+    readonly ERROR: 1;
+    readonly INCOMPLETE: 2;
+};
+/**
+ * Command result - per spec 10_REPL_UX.md L66
+ * All commands must return a status (fail-closed principle)
+ */
+export interface CommandResult {
+    success: boolean;
+    message?: string;
+    error?: {
+        code: string;
+        message: string;
+    };
+}
+/**
+ * REPL session state
+ */
+interface REPLSession {
+    sessionId: string | null;
+    projectPath: string;
+    runner: RunnerCore | null;
+    supervisor: ExecutorSupervisor | null;
+    status: 'idle' | 'running' | 'paused';
+}
+/**
+ * REPL Interface class
+ */
+export declare class REPLInterface extends EventEmitter {
+    private readonly config;
+    private rl;
+    private session;
+    private running;
+    private initOnlyMode;
+    private inputQueue;
+    private isProcessingInput;
+    private executionMode;
+    private exitCode;
+    private hasError;
+    private hasIncompleteTasks;
+    private sessionCompleted;
+    private projectMode;
+    private verificationRoot;
+    private tempVerificationRoot;
+    private initCommand;
+    private modelCommand;
+    private sessionCommands;
+    private statusCommands;
+    private providerCommand;
+    private modelsCommand;
+    private keysCommand;
+    private logsCommand;
+    constructor(config?: REPLConfig);
+    /**
+     * Get project mode - per spec 10_REPL_UX.md
+     * @returns Current project mode ('temp' or 'fixed')
+     */
+    getProjectMode(): ProjectMode;
+    /**
+     * Get verification root - per spec Property 32, 33
+     * @returns Absolute path to verification root directory
+     */
+    getVerificationRoot(): string;
+    /**
+     * Initialize for use - called by start() or manually for testing
+     * Handles project path setup and PROJECT_PATH output
+     */
+    initialize(): Promise<void>;
+    /**
+     * Initialize temporary project root - per spec Property 32
+     * Creates a temporary directory for verification_root in temp mode
+     * Also creates minimal .claude structure to avoid init-only mode
+     */
+    initializeTempProjectRoot(): Promise<void>;
+    /**
+     * Verify files and return verification records - per spec Property 33
+     * @param absolutePaths - Array of absolute file paths to verify
+     * @returns Array of VerifiedFile records with relative paths
+     */
+    verifyFiles(absolutePaths: string[]): VerifiedFile[];
+    /**
+     * Create a TaskLog with verification info - per spec Property 33
+     * @param taskId - Task identifier
+     * @param description - Task description
+     * @returns TaskLog with verification_root populated
+     */
+    createTaskLog(taskId: string, description: string): TaskLog;
+    /**
+     * Cleanup resources - handles temp directory cleanup
+     * Per spec Property 32: temp mode directories may be cleaned up
+     */
+    cleanup(): Promise<void>;
+    /**
+     * Start the REPL
+     * Per spec 10_REPL_UX.md L45: validate project structure on startup
+     *
+     * If .claude is missing, enter init-only mode instead of throwing.
+     * In init-only mode, only /help, /init, /exit are available.
+     */
+    start(): Promise<void>;
+    /**
+     * Process input line
+     */
+    private processInput;
+    /**
+     * Enqueue input for sequential processing
+     * This prevents race conditions when piped input arrives faster than processing
+     */
+    private enqueueInput;
+    /**
+     * Process queued inputs sequentially
+     * Ensures each input completes before the next one starts
+     * Per spec 10_REPL_UX.md: Sequential Processing Guarantee
+     */
+    private processQueue;
+    /**
+     * Process slash command
+     * Per spec 10_REPL_UX.md L66: All commands must return a status (fail-closed)
+     *
+     * In init-only mode, only /help, /init, /exit are allowed.
+     * Other commands return ERROR with instruction to run /init first.
+     */
+    processCommand(input: string): Promise<CommandResult>;
+    /**
+     * Process natural language input
+     * Per spec 10_REPL_UX.md L117-118: Model selection is REPL-local
+     * Model is read from .claude/repl.json and passed to executor via runner
+     */
+    private processNaturalLanguage;
+    /**
+     * Print welcome message
+     */
+    private printWelcome;
+    /**
+     * Print help
+     */
+    private printHelp;
+    /**
+     * Handle /init command
+     */
+    private handleInit;
+    /**
+     * Handle /model command
+     * Per spec 10_REPL_UX.md L113-143:
+     * - /model displays current model or "UNSET"
+     * - /model <name> sets model and generates Evidence
+     * - .claude/ missing -> E101 ERROR
+     * - JSON parse error -> E105 ERROR
+     */
+    private handleModel;
+    /**
+     * Handle /provider command
+     * Per spec 10_REPL_UX.md Section 2.1
+     */
+    private handleProvider;
+    /**
+     * Handle /models command
+     * Per spec 10_REPL_UX.md Section 2.2
+     */
+    private handleModels;
+    /**
+     * Handle /keys command
+     * Per spec 10_REPL_UX.md Section 2.3
+     */
+    private handleKeys;
+    /**
+     * Handle /logs command
+     * Per spec 10_REPL_UX.md Section 2.4
+     */
+    private handleLogs;
+    /**
+     * Handle /tasks command
+     */
+    private handleTasks;
+    /**
+     * Handle /status command
+     */
+    private handleStatus;
+    /**
+     * Handle /start command
+     * Per spec Property 32, 33: Use verification_root for file operations in temp mode
+     */
+    private handleStart;
+    /**
+     * Handle /continue command
+     */
+    private handleContinue;
+    /**
+     * Handle /approve command
+     */
+    private handleApprove;
+    /**
+     * Handle /exit command
+     * Per spec 10_REPL_UX.md: Ensure clean exit with flushed output
+     *
+     * Guarantees:
+     * - Session state is persisted before exit
+     * - All output is flushed before readline closes
+     * - Double-completion is prevented via sessionCompleted flag
+     */
+    private handleExit;
+    /**
+     * Print execution result
+     * Per spec 10_REPL_UX.md: Error details must be visible for fail-closed debugging
+     */
+    private printExecutionResult;
+    /**
+     * Print message with flush guarantee for non-interactive mode
+     * Per spec 10_REPL_UX.md: Output Flush Guarantee
+     */
+    private print;
+    /**
+     * Flush stdout - ensures all output is written before continuing
+     * Critical for non-interactive mode where process may exit immediately after
+     */
+    private flushStdout;
+    /**
+     * Print error
+     */
+    private printError;
+    /**
+     * Validate project structure - per spec 10_REPL_UX.md L45
+     * "REPL の起動時点で validate 相当の検証を行い、必須構造がなければ即 ERROR とする。"
+     *
+     * @returns Validation result with valid flag and errors array
+     */
+    validateProjectStructure(): Promise<{
+        valid: boolean;
+        errors: string[];
+    }>;
+    /**
+     * Check if REPL is in init-only mode
+     * Init-only mode is active when .claude directory is missing
+     * In this mode, only /help, /init, /exit are allowed
+     *
+     * @returns true if in init-only mode (rechecks file system)
+     */
+    isInitOnlyMode(): Promise<boolean>;
+    /**
+     * Tab completion for slash commands
+     * Per spec 10_REPL_UX.md: Tab completion support
+     *
+     * @param line - Current input line
+     * @returns Tuple of [completions, original line]
+     */
+    private completer;
+    /**
+     * Detect execution mode based on TTY, environment, or config
+     * Per spec 10_REPL_UX.md: Non-interactive mode detection
+     */
+    private detectExecutionMode;
+    /**
+     * Check if running in non-interactive mode
+     */
+    isNonInteractiveMode(): boolean;
+    /**
+     * Get the current execution mode
+     */
+    getExecutionMode(): ReplExecutionMode;
+    /**
+     * Set exit code based on current state
+     * Per spec 10_REPL_UX.md: Deterministic exit codes
+     */
+    private updateExitCode;
+    /**
+     * Get the exit code (for non-interactive mode)
+     */
+    getExitCode(): number;
+    /**
+     * Get session state (for testing)
+     */
+    getSessionState(): REPLSession;
+    /**
+     * Check if running (for testing)
+     */
+    isRunning(): boolean;
+}
+export {};
+//# sourceMappingURL=repl-interface.d.ts.map

package/dist/repl/repl-interface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repl-interface.d.ts","sourceRoot":"","sources":["../../src/repl/repl-interface.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAMH,OAAO,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,OAAO,EAAE,kBAAkB,EAAoB,MAAM,mCAAmC,CAAC;AAUzF;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,OAAO,CAAC;AAE3C;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,8BAA8B;IAC9B,MAAM,EAAE,OAAO,CAAC;IAChB,iDAAiD;IACjD,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,gBAAgB,EAAE,MAAM,GAAG,gBAAgB,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,CAAC,EAAE,YAAY,EAAE,CAAC;IAChC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IACrC,0EAA0E;IAC1E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+CAA+C;IAC/C,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B;;;;OAIG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,aAAa,GAAG,iBAAiB,CAAC;AAElE;;;GAGG;AACH,eAAO,MAAM,UAAU;;;;CAIb,CAAC;AAEX;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAED;;GAEG;AACH,UAAU,WAAW;IACnB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACtC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,QAAQ,CAAC;CACvC;AAyBD;;GAEG;AACH,qBAAa,aAAc,SAAQ,YAAY;IAC7C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAa;IACpC,OAAO,CAAC,EAAE,CAAmC;IAC7C,OAAO,CAAC,OAAO,CAAc;IAC7B,OAAO,CAAC,OAAO,CAAkB;IACjC,OAAO,CAAC,YAAY,CAAkB;IAGtC,OAAO,CAAC,UAAU,CAAgB;IAClC,OAAO,CAAC,iBAAiB,CAAkB;IAG3C,OAAO,CAAC,aAAa,CAAoB;IACzC,OAAO,CAAC,QAAQ,CAA+B;IAC/C,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,kBAAkB,CAAkB;IAG5C,OAAO,CAAC,gBAAgB,CAAkB;IAG1C,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,oBAAoB,CAAuB;IAGnD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,cAAc,CAAiB;IAGvC,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,aAAa,CAAgB;IACrC,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,WAAW,CAAc;gBAErB,MAAM,GAAE,UAAe;IAiFnC;;;OAGG;IACH,cAAc,IAAI,WAAW;IAI7B;;;OAGG;IACH,mBAAmB,IAAI,MAAM;IAI7B;;;OAGG;IACG,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAYjC;;;;OAIG;IACG,yBAAyB,IAAI,OAAO,CAAC,IAAI,CAAC;IAgChD;;;;OAIG;IACH,WAAW,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,YAAY,EAAE;IAgBpD;;;;;OAKG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO;IAS3D;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAU9B;;;;;;OAMG;IACG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IA6E5B;;OAEG;YACW,YAAY;IAQ1B;;;OAGG;IACH,OAAO,CAAC,YAAY;IAepB;;;;OAIG;YACW,YAAY;IAoC1B;;;;;;OAMG;IACG,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC;IAuF3D;;;;OAIG;YACW,sBAAsB;IA8CpC;;OAEG;IACH,OAAO,CAAC,YAAY;IAepB;;OAEG;IACH,OAAO,CAAC,SAAS;IA2CjB;;OAEG;YACW,UAAU;IAqBxB;;;;;;;OAOG;YACW,WAAW;IAwCzB;;;OAGG;YACW,cAAc;IAsC5B;;;OAGG;YACW,YAAY;IAkB1B;;;OAGG;YACW,UAAU;IAkBxB;;;OAGG;YACW,UAAU;IAwCxB;;OAEG;YACW,WAAW;IAKzB;;OAEG;YACW,YAAY;IAK1B;;;OAGG;YACW,WAAW;IAgDzB;;OAEG;YACW,cAAc;IAqC5B;;OAEG;YACW,aAAa;IAgC3B;;;;;;;;OAQG;YACW,UAAU;IA0CxB;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAkE5B;;;OAGG;IACH,OAAO,CAAC,KAAK;IAIb;;;OAGG;YACW,WAAW;IAczB;;OAEG;IACH,OAAO,CAAC,UAAU;IAMlB;;;;;OAKG;IACG,wBAAwB,IAAI,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IA4B/E;;;;;;OAMG;IACG,cAAc,IAAI,OAAO,CAAC,OAAO,CAAC;IAMxC;;;;;;OAMG;IACH,OAAO,CAAC,SAAS;IAajB;;;OAGG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;OAEG;IACH,oBAAoB,IAAI,OAAO;IAI/B;;OAEG;IACH,gBAAgB,IAAI,iBAAiB;IAIrC;;;OAGG;IACH,OAAO,CAAC,cAAc;IAUtB;;OAEG;IACH,WAAW,IAAI,MAAM;IAIrB;;OAEG;IACH,eAAe,IAAI,WAAW;IAI9B;;OAEG;IACH,SAAS,IAAI,OAAO;CAGrB"}