@smartergpt/lexrunner 1.5.2 → 2.0.0

package/dist/cli.d.ts

@@ -20,6 +20,7 @@ declare const GateResult: z.ZodObject<{
     }>;
     exitCode: z.ZodOptional<z.ZodNumber>;
     duration: z.ZodOptional<z.ZodNumber>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
     stdout: z.ZodOptional<z.ZodString>;
     stderr: z.ZodOptional<z.ZodString>;
     failureKind: z.ZodOptional<z.ZodEnum<{
@@ -65,6 +66,7 @@ declare const NodeResult: z.ZodObject<{
         }>;
         exitCode: z.ZodOptional<z.ZodNumber>;
         duration: z.ZodOptional<z.ZodNumber>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
         stdout: z.ZodOptional<z.ZodString>;
         stderr: z.ZodOptional<z.ZodString>;
         failureKind: z.ZodOptional<z.ZodEnum<{
@@ -122,6 +124,7 @@ declare const PlanItem: z.ZodObject<{
         }, z.core.$strip>>;
         artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
         input: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
     }, z.core.$strict>>>;
     tier: z.ZodOptional<z.ZodObject<{
         suggested: z.ZodEnum<{
@@ -205,6 +208,7 @@ declare const Plan: z.ZodObject<{
             }, z.core.$strip>>;
             artifacts: z.ZodDefault<z.ZodArray<z.ZodString>>;
             input: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            timeoutMs: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strict>>>;
         tier: z.ZodOptional<z.ZodObject<{
             suggested: z.ZodEnum<{
@@ -635,6 +639,7 @@ declare function executeGatesWithPolicy(plan: Plan, executionState: ExecutionSta
     onlyGate?: string;
     emitReceipt?: boolean;
     suppressStdout?: boolean;
+    candidateDigest?: string;
 }): Promise<void>;
 
 /**
@@ -1251,12 +1256,12 @@ type ArtifactType = keyof typeof ARTIFACT_TYPES;
 declare const ListArtifactsInputSchema: z.ZodObject<{
     runId: z.ZodString;
     type: z.ZodOptional<z.ZodEnum<{
-        gate: "gate";
         failure: "failure";
+        gate: "gate";
         log: "log";
         decision: "decision";
-        report: "report";
         plan: "plan";
+        report: "report";
     }>>;
     path: z.ZodOptional<z.ZodString>;
     latestOnly: z.ZodOptional<z.ZodBoolean>;
@@ -1270,12 +1275,12 @@ declare const ListArtifactsOutputSchema: z.ZodObject<{
     artifacts: z.ZodArray<z.ZodObject<{
         path: z.ZodString;
         type: z.ZodEnum<{
-            gate: "gate";
             failure: "failure";
+            gate: "gate";
             log: "log";
             decision: "decision";
-            report: "report";
             plan: "plan";
+            report: "report";
         }>;
         size: z.ZodNumber;
         createdAt: z.ZodString;
@@ -2064,7 +2069,6 @@ declare const WorkItem_v1: z.ZodObject<{
 }, z.core.$strict>;
 type WorkItem_v1 = z.infer<typeof WorkItem_v1>;
 declare const RunStatus: z.ZodEnum<{
-    created: "created";
     blocked: "blocked";
     completed: "completed";
     planning: "planning";
@@ -2073,6 +2077,7 @@ declare const RunStatus: z.ZodEnum<{
     failed: "failed";
     paused: "paused";
     cancelled: "cancelled";
+    created: "created";
     executing: "executing";
     delivering: "delivering";
     awaiting_human: "awaiting_human";
@@ -2099,7 +2104,6 @@ declare const Run_v1: z.ZodObject<{
         release: z.ZodBoolean;
     }, z.core.$strict>;
     status: z.ZodEnum<{
-        created: "created";
         blocked: "blocked";
         completed: "completed";
         planning: "planning";
@@ -2108,6 +2112,7 @@ declare const Run_v1: z.ZodObject<{
         failed: "failed";
         paused: "paused";
         cancelled: "cancelled";
+        created: "created";
         executing: "executing";
         delivering: "delivering";
         awaiting_human: "awaiting_human";
@@ -2186,9 +2191,9 @@ declare const Attempt_v1: z.ZodObject<{
 }, z.core.$strict>;
 type Attempt_v1 = z.infer<typeof Attempt_v1>;
 declare const AttemptRetryDeltaDimension_v1: z.ZodEnum<{
+    evidence: "evidence";
     strategy: "strategy";
     environment: "environment";
-    evidence: "evidence";
     premise: "premise";
     inputs: "inputs";
     authority: "authority";
@@ -2204,9 +2209,9 @@ declare const AttemptRetryDelta_v1: z.ZodObject<{
     work_item_revision: z.ZodNumber;
     changes: z.ZodArray<z.ZodObject<{
         dimension: z.ZodEnum<{
+            evidence: "evidence";
             strategy: "strategy";
             environment: "environment";
-            evidence: "evidence";
             premise: "premise";
             inputs: "inputs";
             authority: "authority";
@@ -2503,25 +2508,12 @@ declare function computeFanInEvidenceSetHash(candidates: AgentWorkFanInDecision_
 declare const AgentTaskPacketHashInput_v1: z.ZodObject<{
     objective: z.ZodString;
     run_id: z.ZodString;
-    created_at: z.ZodString;
-    repository: z.ZodObject<{
-        id: z.ZodString;
-        remote_url: z.ZodOptional<z.ZodString>;
-        default_branch: z.ZodOptional<z.ZodString>;
-        base_sha: z.ZodString;
-    }, z.core.$strict>;
     scope: z.ZodObject<{
         read_globs: z.ZodArray<z.ZodString>;
         write_globs: z.ZodArray<z.ZodString>;
         deny_globs: z.ZodArray<z.ZodString>;
         cross_repo_allowed: z.ZodBoolean;
     }, z.core.$strict>;
-    schema_version: z.ZodLiteral<"1.0.0">;
-    budget: z.ZodObject<{
-        max_tokens: z.ZodOptional<z.ZodNumber>;
-        max_tool_calls: z.ZodOptional<z.ZodNumber>;
-        max_elapsed_ms: z.ZodOptional<z.ZodNumber>;
-    }, z.core.$strict>;
     verification: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         argv: z.ZodArray<z.ZodString>;
@@ -2529,6 +2521,19 @@ declare const AgentTaskPacketHashInput_v1: z.ZodObject<{
         depends_on: z.ZodOptional<z.ZodArray<z.ZodString>>;
         expected_exit_codes: z.ZodArray<z.ZodNumber>;
     }, z.core.$strict>>;
+    budget: z.ZodObject<{
+        max_tokens: z.ZodOptional<z.ZodNumber>;
+        max_tool_calls: z.ZodOptional<z.ZodNumber>;
+        max_elapsed_ms: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    schema_version: z.ZodLiteral<"1.0.0">;
+    created_at: z.ZodString;
+    repository: z.ZodObject<{
+        id: z.ZodString;
+        remote_url: z.ZodOptional<z.ZodString>;
+        default_branch: z.ZodOptional<z.ZodString>;
+        base_sha: z.ZodString;
+    }, z.core.$strict>;
     acceptance_criteria: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         text: z.ZodString;
@@ -6165,11 +6170,6 @@ declare const AttemptPrepareRequestJsonSchema: z.core.ZodStandardJSONSchemaPaylo
             deny_globs: z.ZodArray<z.ZodString>;
             cross_repo_allowed: z.ZodBoolean;
         }, z.core.$strict>;
-        budget: z.ZodObject<{
-            max_tokens: z.ZodOptional<z.ZodNumber>;
-            max_tool_calls: z.ZodOptional<z.ZodNumber>;
-            max_elapsed_ms: z.ZodOptional<z.ZodNumber>;
-        }, z.core.$strict>;
         verification: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             argv: z.ZodArray<z.ZodString>;
@@ -6177,6 +6177,11 @@ declare const AttemptPrepareRequestJsonSchema: z.core.ZodStandardJSONSchemaPaylo
             depends_on: z.ZodOptional<z.ZodArray<z.ZodString>>;
             expected_exit_codes: z.ZodArray<z.ZodNumber>;
         }, z.core.$strict>>;
+        budget: z.ZodObject<{
+            max_tokens: z.ZodOptional<z.ZodNumber>;
+            max_tool_calls: z.ZodOptional<z.ZodNumber>;
+            max_elapsed_ms: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strict>;
         authority: z.ZodObject<{
             edit: z.ZodBoolean;
             git_write: z.ZodBoolean;
@@ -7129,9 +7134,9 @@ declare const AxfExternalAwaitResult_v1: z.ZodObject<{
             name: z.ZodString;
             appSlug: z.ZodNullable<z.ZodString>;
             state: z.ZodEnum<{
-                error: "error";
                 success: "success";
                 failure: "failure";
+                error: "error";
                 completed: "completed";
                 pending: "pending";
                 missing: "missing";
@@ -7226,9 +7231,9 @@ declare const AttemptAwaitableTerminalResult_v1: z.ZodObject<{
                 name: z.ZodString;
                 appSlug: z.ZodNullable<z.ZodString>;
                 state: z.ZodEnum<{
-                    error: "error";
                     success: "success";
                     failure: "failure";
+                    error: "error";
                     completed: "completed";
                     pending: "pending";
                     missing: "missing";
@@ -7367,9 +7372,9 @@ declare const AttemptAwaitableRecord_v1: z.ZodObject<{
                     name: z.ZodString;
                     appSlug: z.ZodNullable<z.ZodString>;
                     state: z.ZodEnum<{
-                        error: "error";
                         success: "success";
                         failure: "failure";
+                        error: "error";
                         completed: "completed";
                         pending: "pending";
                         missing: "missing";
@@ -7473,9 +7478,9 @@ declare const AttemptAwaitableCompletion_v1: z.ZodObject<{
                     name: z.ZodString;
                     appSlug: z.ZodNullable<z.ZodString>;
                     state: z.ZodEnum<{
-                        error: "error";
                         success: "success";
                         failure: "failure";
+                        error: "error";
                         completed: "completed";
                         pending: "pending";
                         missing: "missing";
@@ -9098,6 +9103,12 @@ declare function detectProjectType(baseDir?: string): string;
  */
 declare function getEnvironmentSuggestions(): string[];
 
+interface GateEvidenceArtifactReference {
+    kind: "gate-evidence-manifest";
+    path: string;
+    sha256: string;
+}
+
 type GateExecutor = typeof executeGatesWithPolicy;
 interface GateExecutionServiceInput {
     plan: Plan;
@@ -9120,6 +9131,7 @@ interface BoundedGateRunResult {
             name: string;
             status: string;
             failureKind?: "nonzero_exit" | "spawn_error" | "timeout" | "evidence_error";
+            timeoutMs?: number;
             timeoutCleanup?: {
                 method: "process-group" | "taskkill" | "direct-child";
                 forceKilled: boolean;
@@ -9131,15 +9143,15 @@ interface BoundedGateRunResult {
     artifactRefs: Array<{
         kind: "gate-results-directory";
         path: string;
-    }>;
+    } | GateEvidenceArtifactReference>;
 }
 interface GateExecutionServiceResult {
     summary: BoundedGateRunResult;
     executionState: ExecutionState;
 }
 declare class GateExecutionServiceError extends Error {
-    readonly code: "GATE_EXECUTION_FAILED" | "GATE_RESULT_LIMIT_EXCEEDED" | "GATE_SELECTION_NOT_FOUND";
-    constructor(code: "GATE_EXECUTION_FAILED" | "GATE_RESULT_LIMIT_EXCEEDED" | "GATE_SELECTION_NOT_FOUND", message: string);
+    readonly code: "GATE_EXECUTION_FAILED" | "GATE_RESULT_LIMIT_EXCEEDED" | "GATE_SELECTION_NOT_FOUND" | "GATE_TIMEOUT_INVALID" | "GATE_CANDIDATE_CHANGED";
+    constructor(code: "GATE_EXECUTION_FAILED" | "GATE_RESULT_LIMIT_EXCEEDED" | "GATE_SELECTION_NOT_FOUND" | "GATE_TIMEOUT_INVALID" | "GATE_CANDIDATE_CHANGED", message: string);
 }
 /** One bounded transport-neutral owner for canonical CLI and MCP gate execution. */
 declare class GateExecutionService {
@@ -9231,9 +9243,22 @@ interface BoundedIntegrationStatus {
         policy?: Plan["policy"];
     };
     mergeSummary: ReturnType<MergeEligibilityEvaluator["getMergeSummary"]>;
+    evidence?: GateEvidenceArtifactReference & {
+        applied: number;
+        authority: "unverified";
+        observations: {
+            passed: string[];
+            failed: string[];
+            other: string[];
+        };
+    };
 }
 declare class IntegrationStatusQueryService {
-    run(plan: Plan): BoundedIntegrationStatus;
+    run(plan: Plan, evidence?: {
+        evidenceFile: string;
+        evidenceSha256: string;
+        repoRoot?: string;
+    }): BoundedIntegrationStatus;
 }
 interface BoundedMergeOrderResult {
     contract: "bounded-ax-v1";
@@ -9611,7 +9636,7 @@ declare class ConfigurationQueryService {
     }): BoundedProfileResult;
 }
 
-declare const INTEGRATION_RECORD_REMOVAL_VERSION: "2.0.0";
+declare const INTEGRATION_RECORD_REMOVAL_VERSION: "3.0.0";
 declare const INTEGRATION_RECORD_REPLACEMENTS: {
     readonly "lexrunner.startRun": "plan.create, gates.run, or merge.apply for integration; start_attempt for ADR-010 orchestration";
     readonly "lexrunner.getStatus": "status for integration; get_attempt_status for ADR-010 orchestration";