@ttfw/envoi 1.0.0

package/dist/types/report.d.ts

@@ -0,0 +1,161 @@
+/**
+ * Report types for envoi tick execution results.
+ *
+ * REPORT.json is the canonical source of truth for tick outcomes.
+ * REPORT.md is a deterministic rendering of REPORT.json.
+ */
+/**
+ * Verdict indicating the outcome of a tick.
+ */
+export type Verdict = 'success' | 'stop' | 'blocked';
+/**
+ * Report codes indicating specific outcomes or failure reasons.
+ */
+export type ReportCode = 'SUCCESS' | 'STOP_SCOPE_VIOLATION_FORBIDDEN' | 'STOP_SCOPE_VIOLATION_OUTSIDE_ALLOWED' | 'STOP_SCOPE_VIOLATION_NEW_FILE' | 'STOP_LOCKFILE_CHANGE_FORBIDDEN' | 'STOP_DIFF_TOO_LARGE' | 'STOP_VERIFY_FAILED_FAST' | 'STOP_VERIFY_FAILED_SLOW' | 'STOP_VERIFY_TAINTED' | 'STOP_VERIFY_ONLY_SIDE_EFFECTS' | 'STOP_QUESTION_SIDE_EFFECTS' | 'STOP_RUNNER_OWNED_MUTATION' | 'STOP_BUILDER_JSON_PARSE' | 'STOP_BUILDER_SCHEMA_INVALID' | 'STOP_BUILDER_SHAPE_INVALID' | 'STOP_BUILDER_CLI_ERROR' | 'STOP_BUILDER_TIMEOUT' | 'STOP_HEAD_MOVED' | 'STOP_INTERRUPTED' | 'STOP_REVIEWER_FORCED_PATCH' | 'STOP_REVIEWER_ASK_QUESTION' | 'STOP_ORCHESTRATOR_ASK_QUESTION' | 'STOP_REDISPATCH_IDENTICAL_TASK' | 'STOP_VERIFY_FLAKY_OR_TIMEOUT' | 'STOP_ORCHESTRATOR_TIMEOUT' | 'STOP_MERGE_DIRTY_WORKTREE' | 'STOP_BRANCH_MISMATCH' | 'STOP_EVIDENCE_INCOMPLETE' | 'BLOCKED_BUDGET_EXHAUSTED' | 'BLOCKED_BUDGET_CAP' | 'BLOCKED_DIRTY_WORKTREE' | 'BLOCKED_LOCK_HELD' | 'BLOCKED_CRASH_RECOVERY_REQUIRED' | 'BLOCKED_ORCHESTRATOR_OUTPUT_INVALID' | 'BLOCKED_HISTORY_CAP_CLEANUP_REQUIRED' | 'BLOCKED_MISSING_CONFIG' | 'BLOCKED_TRANSPORT_STALLED' | 'BLOCKED_ROLLBACK_FAILED' | 'BLOCKED_ROLLBACK_DIRTY' | 'BLOCKED_BUILDER_COMMAND_NOT_FOUND' | 'BLOCKED_BRANCH_FAILED';
+/**
+ * Blast radius information about changes made during the tick.
+ */
+export interface BlastRadius {
+    /** Number of files touched */
+    files_touched: number;
+    /** Number of lines added */
+    lines_added: number;
+    /** Number of lines deleted */
+    lines_deleted: number;
+    /** Number of new files created */
+    new_files: number;
+}
+/**
+ * Scope checking results.
+ */
+export interface ScopeResult {
+    /** Whether scope checks passed */
+    ok: boolean;
+    /** List of scope violations found */
+    violations: string[];
+    /** List of file paths that were touched */
+    touched_paths: string[];
+}
+/**
+ * Diff information.
+ */
+export interface DiffInfo {
+    /** Number of files changed */
+    files_changed: number;
+    /** Number of lines changed */
+    lines_changed: number;
+    /** Path to the diff patch file */
+    diff_patch_path: string;
+}
+/**
+ * Verification run result.
+ */
+export interface VerificationRun {
+    /** Template ID used */
+    template_id: string;
+    /** Phase (fast or slow) */
+    phase: 'fast' | 'slow';
+    /** Command executed */
+    cmd: string;
+    /** Command arguments */
+    args: string[];
+    /** Exit code */
+    exit_code: number;
+    /** Duration in milliseconds */
+    duration_ms: number;
+    /** Whether the command timed out */
+    timed_out: boolean;
+}
+/**
+ * Verification results.
+ */
+export interface VerificationResult {
+    /** Execution mode */
+    exec_mode: 'argv_no_shell';
+    /** List of verification runs */
+    runs: VerificationRun[];
+    /** Path to verification log file */
+    verify_log_path: string;
+}
+/**
+ * Budget information.
+ */
+export interface BudgetInfo {
+    /** Milestone ID */
+    milestone_id: string;
+    /** Number of ticks consumed */
+    ticks: number;
+    /** Number of orchestrator calls */
+    orchestrator_calls: number;
+    /** Number of builder calls */
+    builder_calls: number;
+    /** Number of verification runs */
+    verify_runs: number;
+    /** Estimated cost in USD */
+    estimated_cost_usd: number;
+    /** Budget warnings */
+    warnings: string[];
+}
+/**
+ * Task summary in report (minimal task info).
+ */
+export interface TaskSummary {
+    /** Task ID */
+    task_id: string;
+    /** Milestone ID */
+    milestone_id: string;
+    /** Task kind */
+    task_kind: 'execute' | 'verify_only' | 'question';
+    /** Task intent */
+    intent: string;
+}
+/**
+ * Optional pointers to related files.
+ */
+export interface ReportPointers {
+    /** Path to REPORT.md file */
+    report_md_path?: string;
+    /** Path to history directory */
+    history_dir?: string;
+}
+/**
+ * Complete report data structure.
+ *
+ * This matches the report.schema.json structure and serves as the
+ * canonical source of truth for tick execution results.
+ */
+export interface ReportData {
+    /** Unique run ID */
+    run_id: string;
+    /** ISO timestamp when tick started */
+    started_at: string;
+    /** ISO timestamp when tick ended */
+    ended_at: string;
+    /** Duration in milliseconds */
+    duration_ms: number;
+    /** Base commit SHA at start */
+    base_commit: string;
+    /** Head commit SHA at end */
+    head_commit: string;
+    /** Task summary */
+    task: TaskSummary;
+    /** Verdict */
+    verdict: Verdict;
+    /** Report code */
+    code: ReportCode;
+    /** Blast radius */
+    blast_radius: BlastRadius;
+    /** Scope checking results */
+    scope: ScopeResult;
+    /** Diff information */
+    diff: DiffInfo;
+    /** Verification results */
+    verification: VerificationResult;
+    /** Budget information */
+    budgets: BudgetInfo;
+    /** Optional pointers */
+    pointers?: ReportPointers;
+    /** Reviewer error message (if reviewer invocation failed) */
+    reviewer_error?: string;
+}
+//# sourceMappingURL=report.d.ts.map

package/dist/types/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/types/report.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,gCAAgC,GAChC,sCAAsC,GACtC,+BAA+B,GAC/B,gCAAgC,GAChC,qBAAqB,GACrB,yBAAyB,GACzB,yBAAyB,GACzB,qBAAqB,GACrB,+BAA+B,GAC/B,4BAA4B,GAC5B,4BAA4B,GAC5B,yBAAyB,GACzB,6BAA6B,GAC7B,4BAA4B,GAC5B,wBAAwB,GACxB,sBAAsB,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,4BAA4B,GAC5B,4BAA4B,GAC5B,gCAAgC,GAChC,gCAAgC,GAChC,8BAA8B,GAC9B,2BAA2B,GAC3B,2BAA2B,GAC3B,sBAAsB,GACtB,0BAA0B,GAC1B,0BAA0B,GAC1B,oBAAoB,GACpB,wBAAwB,GACxB,mBAAmB,GACnB,iCAAiC,GACjC,qCAAqC,GACrC,sCAAsC,GACtC,wBAAwB,GACxB,2BAA2B,GAC3B,yBAAyB,GACzB,wBAAwB,GACxB,mCAAmC,GACnC,uBAAuB,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,4BAA4B;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,kCAAkC;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,qCAAqC;IACrC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,2CAA2C;IAC3C,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,kCAAkC;IAClC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,uBAAuB;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,2BAA2B;IAC3B,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IACvB,uBAAuB;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,wBAAwB;IACxB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,gBAAgB;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,oCAAoC;IACpC,SAAS,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,qBAAqB;IACrB,SAAS,EAAE,eAAe,CAAC;IAC3B,gCAAgC;IAChC,IAAI,EAAE,eAAe,EAAE,CAAC;IACxB,oCAAoC;IACpC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,mBAAmB;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,mCAAmC;IACnC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,kCAAkC;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,4BAA4B;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sBAAsB;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,cAAc;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,mBAAmB;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB;IAChB,SAAS,EAAE,SAAS,GAAG,aAAa,GAAG,UAAU,CAAC;IAClD,kBAAkB;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,oBAAoB;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,IAAI,EAAE,WAAW,CAAC;IAClB,cAAc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB;IAClB,IAAI,EAAE,UAAU,CAAC;IACjB,mBAAmB;IACnB,YAAY,EAAE,WAAW,CAAC;IAC1B,6BAA6B;IAC7B,KAAK,EAAE,WAAW,CAAC;IACnB,uBAAuB;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,2BAA2B;IAC3B,YAAY,EAAE,kBAAkB,CAAC;IACjC,yBAAyB;IACzB,OAAO,EAAE,UAAU,CAAC;IACpB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,6DAA6D;IAC7D,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB"}

package/dist/types/report.js

@@ -0,0 +1,8 @@
+/**
+ * Report types for envoi tick execution results.
+ *
+ * REPORT.json is the canonical source of truth for tick outcomes.
+ * REPORT.md is a deterministic rendering of REPORT.json.
+ */
+export {};
+//# sourceMappingURL=report.js.map

package/dist/types/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/types/report.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/types/reviewer.d.ts

@@ -0,0 +1,66 @@
+/**
+ * Type definitions for Codex CLI reviewer invocation.
+ */
+/**
+ * Context information passed to the reviewer for review.
+ */
+export interface ReviewerContext {
+    /** The context/prompt to send to the reviewer */
+    prompt: string;
+    /** System prompt (optional) */
+    systemPrompt?: string;
+}
+/**
+ * Invocation parameters for Codex CLI reviewer.
+ */
+export interface ReviewerInvocationConfig {
+    /** Command to invoke Codex CLI */
+    command: string;
+    /** Model to use */
+    model: string;
+    /** Maximum conversation turns */
+    maxTurns: number;
+    /** Timeout in milliseconds */
+    timeout: number;
+}
+/**
+ * Successful reviewer result.
+ */
+export interface ReviewerResult {
+    /** Whether the review was successful */
+    success: true;
+    /** The reviewer's output (parsed JSON) */
+    result: object;
+    /** Raw JSON response from CLI */
+    raw: object;
+    /** Process exit code */
+    exitCode: number;
+    /** Duration of invocation in milliseconds */
+    durationMs: number;
+}
+/**
+ * Reviewer error result.
+ */
+export interface ReviewerError {
+    /** Whether the review was successful */
+    success: false;
+    /** Error message */
+    error: string;
+    /** Process exit code */
+    exitCode: number;
+    /** Standard error output */
+    stderr?: string;
+    /** Duration of invocation in milliseconds */
+    durationMs: number;
+}
+/**
+ * Union type for reviewer invocation result.
+ */
+export type ReviewerInvocationResult = ReviewerResult | ReviewerError;
+/**
+ * Risk flags indicating which risk conditions have been triggered.
+ *
+ * These flags are used to determine when the reviewer should be invoked.
+ */
+export type RiskFlags = 'high_risk_path' | 'diff_near_cap' | 'verify_failed' | 'repeated_stop' | 'budget_warning';
+//# sourceMappingURL=reviewer.d.ts.map

package/dist/types/reviewer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reviewer.d.ts","sourceRoot":"","sources":["../../src/types/reviewer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,iDAAiD;IACjD,MAAM,EAAE,MAAM,CAAC;IACf,+BAA+B;IAC/B,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,mBAAmB;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,wCAAwC;IACxC,OAAO,EAAE,IAAI,CAAC;IACd,0CAA0C;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,iCAAiC;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,OAAO,EAAE,KAAK,CAAC;IACf,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6CAA6C;IAC7C,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG,cAAc,GAAG,aAAa,CAAC;AAEtE;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB,gBAAgB,GAChB,eAAe,GACf,eAAe,GACf,eAAe,GACf,gBAAgB,CAAC"}

package/dist/types/reviewer.js

@@ -0,0 +1,5 @@
+/**
+ * Type definitions for Codex CLI reviewer invocation.
+ */
+export {};
+//# sourceMappingURL=reviewer.js.map

package/dist/types/reviewer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reviewer.js","sourceRoot":"","sources":["../../src/types/reviewer.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/state.d.ts

@@ -0,0 +1,124 @@
+/**
+ * State machine types for the envoi tick execution.
+ *
+ * A tick is one complete execution of the envoi loop through all phases:
+ * LOCK → PREFLIGHT → ORCHESTRATE → BUILD → JUDGE → REPORT → END
+ */
+import type { EnvoiConfig } from './config.js';
+import type { Task } from './task.js';
+import type { BuilderResult } from './builder.js';
+/**
+ * Phases of the tick state machine.
+ */
+export declare enum TickPhase {
+    LOCK = "LOCK",
+    PREFLIGHT = "PREFLIGHT",
+    ORCHESTRATE = "ORCHESTRATE",
+    BUILD = "BUILD",
+    JUDGE = "JUDGE",
+    REPORT = "REPORT",
+    END = "END"
+}
+/**
+ * Stop history entry representing a single stop event.
+ */
+export interface StopHistoryEntry {
+    /** Run ID when the stop occurred */
+    run_id: string;
+    /** Stop code/reason */
+    code: string;
+    /** ISO timestamp when the stop occurred */
+    at: string;
+}
+/**
+ * Verify history entry representing a single verification run.
+ */
+export interface VerifyHistoryEntry {
+    /** ISO timestamp when verification ran */
+    ts: string;
+    /** Task ID that was verified */
+    task: string;
+    /** Verification result */
+    result: 'PASS' | 'FAIL' | 'TIMEOUT';
+    /** Command that was executed */
+    cmd: string;
+    /** Duration in milliseconds */
+    ms: number;
+}
+/**
+ * Guardrail state tracking escalation and risk flags.
+ */
+export interface GuardrailState {
+    /** Force patch mode until success (escalation flag) */
+    force_patch_until_success: boolean;
+    /** Last risk flags that triggered reviewer */
+    last_risk_flags: string[];
+    /** History of stop events (capped to 50 entries) */
+    stop_history: StopHistoryEntry[];
+}
+/**
+ * Escalation state tracking escalation mode and configuration.
+ */
+export interface EscalationState {
+    /** Escalation mode */
+    mode: 'none' | 'reviewer' | 'human';
+    /** Reason for escalation */
+    reason: string;
+    /** Window ticks for escalation tracking */
+    window_ticks: number;
+    /** Maximum stops allowed in window */
+    max_stops_in_window: number;
+}
+/**
+ * Complete state of a tick execution.
+ */
+export interface TickState {
+    /** Current phase of the tick */
+    phase: TickPhase;
+    /** Unique ID for this tick run */
+    run_id: string;
+    /** ISO timestamp when the tick started */
+    started_at: string;
+    /** Git HEAD commit SHA at the start of the tick */
+    base_commit: string;
+    /** Envoi configuration */
+    config: EnvoiConfig;
+    /** Task from orchestrator (null until ORCHESTRATE phase completes) */
+    task: Task | null;
+    /** Builder result (null until BUILD phase completes) */
+    builder_result: BuilderResult | null;
+    /** Accumulated errors during execution */
+    errors: string[];
+    /** Guardrail state (optional - absent means no escalation state) */
+    guardrail?: GuardrailState;
+    /** Current TASK fingerprint (sha256) */
+    task_fingerprint?: string;
+    /** Fingerprint of last failed task */
+    last_failed_fingerprint?: string;
+    /** Consecutive failures count */
+    failure_streak?: number;
+    /** Last N verify results (capped to 50 entries) */
+    verify_history?: VerifyHistoryEntry[];
+    /** Current escalation state */
+    escalation?: EscalationState;
+    /** Retry count for transport stalls (resets on success) */
+    retry_count?: number;
+    /** Kind of error that triggered retry (e.g., 'transport_stalled') */
+    last_error_kind?: string;
+    /** Request ID from last transport stall (for debugging) */
+    last_request_id?: string | null;
+}
+/**
+ * Context passed between phase handlers.
+ */
+export interface TickContext {
+    /** Current tick state */
+    state: TickState;
+    /** Lock information (set during LOCK phase) */
+    lockInfo?: {
+        pid: number;
+        started_at: string;
+        boot_id: string;
+    };
+}
+//# sourceMappingURL=state.d.ts.map

package/dist/types/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/types/state.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD;;GAEG;AACH,oBAAY,SAAS;IACnB,IAAI,SAAS;IACb,SAAS,cAAc;IACvB,WAAW,gBAAgB;IAC3B,KAAK,UAAU;IACf,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,GAAG,QAAQ;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,0CAA0C;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,0BAA0B;IAC1B,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACpC,gCAAgC;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,+BAA+B;IAC/B,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,uDAAuD;IACvD,yBAAyB,EAAE,OAAO,CAAC;IACnC,8CAA8C;IAC9C,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,oDAAoD;IACpD,YAAY,EAAE,gBAAgB,EAAE,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,sBAAsB;IACtB,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,OAAO,CAAC;IACpC,4BAA4B;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,gCAAgC;IAChC,KAAK,EAAE,SAAS,CAAC;IACjB,kCAAkC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,sEAAsE;IACtE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAClB,wDAAwD;IACxD,cAAc,EAAE,aAAa,GAAG,IAAI,CAAC;IACrC,0CAA0C;IAC1C,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,oEAAoE;IACpE,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,wCAAwC;IACxC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,sCAAsC;IACtC,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,iCAAiC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,cAAc,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACtC,+BAA+B;IAC/B,UAAU,CAAC,EAAE,eAAe,CAAC;IAC7B,2DAA2D;IAC3D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,yBAAyB;IACzB,KAAK,EAAE,SAAS,CAAC;IACjB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE;QACT,GAAG,EAAE,MAAM,CAAC;QACZ,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;CACH"}

package/dist/types/state.js

@@ -0,0 +1,20 @@
+/**
+ * State machine types for the envoi tick execution.
+ *
+ * A tick is one complete execution of the envoi loop through all phases:
+ * LOCK → PREFLIGHT → ORCHESTRATE → BUILD → JUDGE → REPORT → END
+ */
+/**
+ * Phases of the tick state machine.
+ */
+export var TickPhase;
+(function (TickPhase) {
+    TickPhase["LOCK"] = "LOCK";
+    TickPhase["PREFLIGHT"] = "PREFLIGHT";
+    TickPhase["ORCHESTRATE"] = "ORCHESTRATE";
+    TickPhase["BUILD"] = "BUILD";
+    TickPhase["JUDGE"] = "JUDGE";
+    TickPhase["REPORT"] = "REPORT";
+    TickPhase["END"] = "END";
+})(TickPhase || (TickPhase = {}));
+//# sourceMappingURL=state.js.map

package/dist/types/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/types/state.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;GAEG;AACH,MAAM,CAAN,IAAY,SAQX;AARD,WAAY,SAAS;IACnB,0BAAa,CAAA;IACb,oCAAuB,CAAA;IACvB,wCAA2B,CAAA;IAC3B,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,8BAAiB,CAAA;IACjB,wBAAW,CAAA;AACb,CAAC,EARW,SAAS,KAAT,SAAS,QAQpB"}

package/dist/types/task.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Task type definition matching task.schema.json.
+ *
+ * This represents the task structure output by the orchestrator.
+ */
+/**
+ * Task kind indicating the type of task.
+ */
+export type TaskKind = 'execute' | 'verify_only' | 'question';
+/**
+ * Question object for question-type tasks.
+ */
+export interface Question {
+    /** The question prompt */
+    prompt: string;
+    /** Optional list of choices */
+    choices?: string[];
+}
+/**
+ * Scope configuration for the task.
+ */
+export interface TaskScope {
+    /** Glob patterns for allowed file access */
+    allowed_globs: string[];
+    /** Glob patterns for forbidden file access */
+    forbidden_globs: string[];
+    /** Whether new files can be created */
+    allow_new_files: boolean;
+    /** Whether lockfile changes are allowed */
+    allow_lockfile_changes: boolean;
+}
+/**
+ * Diff limits for the task.
+ */
+export interface DiffLimits {
+    /** Maximum number of files that can be touched */
+    max_files_touched: number;
+    /** Maximum number of lines that can be changed */
+    max_lines_changed: number;
+}
+/**
+ * Verification configuration.
+ */
+export interface TaskVerification {
+    /** Fast verification template IDs */
+    fast: string[];
+    /** Slow verification template IDs */
+    slow: string[];
+    /** Optional parameters for verification templates */
+    params?: Record<string, Record<string, string | number | boolean | null>>;
+}
+/**
+ * Builder configuration.
+ */
+export interface TaskBuilder {
+    /** Builder mode */
+    mode: 'claude_code' | 'patch' | 'cursor';
+    /** Maximum number of turns */
+    max_turns: number;
+    /** Instructions for the builder */
+    instructions: string;
+    /** Patch content (required if mode is 'patch') */
+    patch?: string;
+}
+/**
+ * Control configuration for stopping the loop.
+ */
+export interface TaskControl {
+    /** Action: continue or stop */
+    action: 'continue' | 'stop';
+    /** Optional reason for the action */
+    reason?: string;
+}
+/**
+ * Orchestrator planning metadata for PM-style idea triage.
+ */
+export interface TaskPlanningDecision {
+    /** Idea IDs considered when preparing this task */
+    idea_ids_considered: string[];
+    /** Scheduling decision */
+    decision: 'schedule_now' | 'schedule_next' | 'defer';
+    /** Short rationale for the decision */
+    rationale_short: string;
+    /** Optional milestone suggestion from orchestrator */
+    suggested_milestone?: string;
+}
+/**
+ * Task structure output by the orchestrator.
+ *
+ * This matches the structure defined in task.schema.json.
+ * Note: Either builder or control must be present (XOR), enforced by schema.
+ */
+export interface Task {
+    /** Unique task identifier */
+    task_id: string;
+    /** Milestone identifier */
+    milestone_id: string;
+    /** Task kind */
+    task_kind: TaskKind;
+    /** Intent description */
+    intent: string;
+    /** Question object (required if task_kind is 'question') */
+    question?: Question;
+    /** Scope configuration */
+    scope: TaskScope;
+    /** Diff limits */
+    diff_limits: DiffLimits;
+    /** Verification configuration */
+    verification: TaskVerification;
+    /** Builder configuration (mutually exclusive with control) */
+    builder?: TaskBuilder;
+    /** Control configuration for stopping the loop (mutually exclusive with builder) */
+    control?: TaskControl;
+    /** Optional PM-style planning metadata */
+    planning_decision?: TaskPlanningDecision;
+}
+//# sourceMappingURL=task.d.ts.map

package/dist/types/task.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../../src/types/task.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,aAAa,GAAG,UAAU,CAAC;AAE9D;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,0BAA0B;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,8CAA8C;IAC9C,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,uCAAuC;IACvC,eAAe,EAAE,OAAO,CAAC;IACzB,2CAA2C;IAC3C,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,kDAAkD;IAClD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qCAAqC;IACrC,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,qCAAqC;IACrC,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,qDAAqD;IACrD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC;CAC3E;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,mBAAmB;IACnB,IAAI,EAAE,aAAa,GAAG,OAAO,GAAG,QAAQ,CAAC;IACzC,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,mCAAmC;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,kDAAkD;IAClD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,+BAA+B;IAC/B,MAAM,EAAE,UAAU,GAAG,MAAM,CAAC;IAC5B,qCAAqC;IACrC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,mDAAmD;IACnD,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,0BAA0B;IAC1B,QAAQ,EAAE,cAAc,GAAG,eAAe,GAAG,OAAO,CAAC;IACrD,uCAAuC;IACvC,eAAe,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;GAKG;AACH,MAAM,WAAW,IAAI;IACnB,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,2BAA2B;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB;IAChB,SAAS,EAAE,QAAQ,CAAC;IACpB,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,0BAA0B;IAC1B,KAAK,EAAE,SAAS,CAAC;IACjB,kBAAkB;IAClB,WAAW,EAAE,UAAU,CAAC;IACxB,iCAAiC;IACjC,YAAY,EAAE,gBAAgB,CAAC;IAC/B,8DAA8D;IAC9D,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,oFAAoF;IACpF,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,0CAA0C;IAC1C,iBAAiB,CAAC,EAAE,oBAAoB,CAAC;CAC1C"}

package/dist/types/task.js

@@ -0,0 +1,7 @@
+/**
+ * Task type definition matching task.schema.json.
+ *
+ * This represents the task structure output by the orchestrator.
+ */
+export {};
+//# sourceMappingURL=task.js.map

package/dist/types/task.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task.js","sourceRoot":"","sources":["../../src/types/task.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/types/workspace_state.d.ts

@@ -0,0 +1,125 @@
+/**
+ * TypeScript interfaces for workspace state persistence.
+ *
+ * WorkspaceState tracks milestone progress and budget consumption
+ * across restarts, enabling budget enforcement and crash recovery.
+ *
+ * @see docs/NEW-PLAN.md lines 32-45
+ */
+/**
+ * Count-based budget tracking for a single milestone.
+ *
+ * All fields are counts (not dollar amounts) per NEW-PLAN.md decision:
+ * "Do not implement dollar cost estimation in v1. Track counts only."
+ */
+export interface BudgetCounts {
+    /** Number of ticks consumed in current milestone */
+    ticks: number;
+    /** Number of orchestrator invocations in current milestone */
+    orchestrator_calls: number;
+    /** Number of builder invocations in current milestone */
+    builder_calls: number;
+    /** Number of verification runs in current milestone */
+    verify_runs: number;
+}
+/**
+ * Partial budget counts for applying incremental changes.
+ *
+ * Used by applyDeltas() to add to specific budget counters
+ * without requiring all fields.
+ */
+export type BudgetDeltas = Partial<BudgetCounts>;
+/**
+ * Delivery timing preference for user ideas.
+ */
+export type IdeaTestabilityNeed = 'soon' | 'later' | 'unknown';
+/**
+ * Lifecycle status of a user-submitted idea.
+ */
+export type IdeaStatus = 'new' | 'triaged' | 'scheduled' | 'deferred' | 'done';
+/**
+ * A user idea captured between execution boundaries.
+ */
+export interface IdeaInboxEntry {
+    /** Stable ID for reference in planning decisions */
+    id: string;
+    /** Raw user idea text */
+    text: string;
+    /** ISO timestamp when the idea was submitted */
+    submitted_at: string;
+    /** Where the idea was captured from */
+    source: 'interactive' | 'cli' | 'api';
+    /** Current planning status */
+    status: IdeaStatus;
+    /** Optional target date or milestone hint */
+    target_by?: string | null;
+    /** Optional testability urgency */
+    testability_need?: IdeaTestabilityNeed;
+    /** Last orchestrator task that triaged this idea */
+    triaged_by_task_id?: string;
+    /** ISO timestamp when triaged */
+    triaged_at?: string;
+}
+/**
+ * Rolling PM-style digest generated from orchestrator planning decisions.
+ */
+export interface PlanningDigest {
+    /** Last update timestamp */
+    updated_at: string;
+    /** Human-readable summary of the latest planning decision */
+    summary: string;
+    /** Last task that updated the digest */
+    last_task_id?: string;
+    /** Last milestone suggested by orchestrator */
+    suggested_milestone?: string;
+}
+/**
+ * Open product-level question asked by the orchestrator.
+ */
+export interface ProductQuestion {
+    /** Stable question ID */
+    id: string;
+    /** Prompt shown to the user */
+    prompt: string;
+    /** Optional choices */
+    choices?: string[];
+    /** Created timestamp */
+    created_at: string;
+    /** Resolution status */
+    resolved: boolean;
+    /** Optional resolution timestamp */
+    resolved_at?: string;
+    /** Optional free-text resolution */
+    resolution?: string;
+}
+/**
+ * Workspace state persisted to STATE.json.
+ *
+ * This state survives restarts and enables:
+ * - Budget enforcement (hard cap in preflight, soft stop in loop)
+ * - Milestone tracking (crash recovery knows which milestone is active)
+ * - Resume logic (last_run_id + last_verdict for continuation)
+ */
+export interface WorkspaceState {
+    /** Current milestone being worked on, or null if none active */
+    milestone_id: string | null;
+    /** Count-based budget consumption for current milestone */
+    budgets: BudgetCounts;
+    /**
+     * True when approaching budget limit.
+     * Triggers soft stop in loop (PR2) - runner breaks loop gracefully.
+     * Computed by computeBudgetWarning() using warn_at_fraction from config.
+     */
+    budget_warning: boolean;
+    /** ID of last tick run, for crash recovery and resume logic */
+    last_run_id: string | null;
+    /** Last verdict (PASS/FAIL/STOP/etc) for resume logic */
+    last_verdict: string | null;
+    /** Optional inbox of user-submitted ideas */
+    idea_inbox?: IdeaInboxEntry[];
+    /** Optional rolling digest of planning decisions */
+    planning_digest?: PlanningDigest | null;
+    /** Optional list of open product questions from orchestrator */
+    open_product_questions?: ProductQuestion[];
+}
+//# sourceMappingURL=workspace_state.d.ts.map