@smartergpt/lexrunner 1.5.2 → 2.0.0

package/dist/sdk/index.d.ts

@@ -62,8 +62,8 @@ type GateStatus = z.infer<typeof GateStatus>;
  * Merge status
  */
 declare const MergeStatus: z.ZodEnum<{
-    error: "error";
     success: "success";
+    error: "error";
     conflict: "conflict";
 }>;
 type MergeStatus = z.infer<typeof MergeStatus>;
@@ -71,8 +71,8 @@ type MergeStatus = z.infer<typeof MergeStatus>;
  * Audit profile
  */
 declare const AuditProfile: z.ZodEnum<{
-    basic: "basic";
     debug: "debug";
+    basic: "basic";
     standard: "standard";
     compliance: "compliance";
 }>;
@@ -167,8 +167,8 @@ type MergeDryRunStartedPayload = z.infer<typeof MergeDryRunStartedPayload>;
 declare const MergeDryRunFinishedPayload: z.ZodObject<{
     item: z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>;
     status: z.ZodEnum<{
-        error: "error";
         success: "success";
+        error: "error";
         conflict: "conflict";
     }>;
     conflicts: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -188,8 +188,8 @@ type MergeConflictDetectedPayload = z.infer<typeof MergeConflictDetectedPayload>
 declare const MergeFinishedPayload: z.ZodObject<{
     item: z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>;
     status: z.ZodEnum<{
-        error: "error";
         success: "success";
+        error: "error";
         conflict: "conflict";
     }>;
     commit: z.ZodOptional<z.ZodString>;
@@ -595,8 +595,8 @@ declare const MergeDryRunFinishedEvent: z.ZodObject<{
     payload: z.ZodObject<{
         item: z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>;
         status: z.ZodEnum<{
-            error: "error";
             success: "success";
+            error: "error";
             conflict: "conflict";
         }>;
         conflicts: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -718,8 +718,8 @@ declare const MergeFinishedEvent: z.ZodObject<{
     payload: z.ZodObject<{
         item: z.ZodUnion<readonly [z.ZodString, z.ZodNumber]>;
         status: z.ZodEnum<{
-            error: "error";
             success: "success";
+            error: "error";
             conflict: "conflict";
         }>;
         commit: z.ZodOptional<z.ZodString>;

package/mcp-server.mjs

@@ -455,10 +455,23 @@ const tools = {
           type: "string",
           description: "Output directory for gate results",
         },
+        timeoutMs: {
+          type: "integer",
+          minimum: 1,
+          maximum: 86400000,
+          description:
+            "Operation-default gate timeout in milliseconds; a plan gate timeoutMs overrides it exactly",
+        },
       },
     },
     call: async (args) => {
       try {
+        if (
+          args.timeoutMs !== undefined &&
+          (!Number.isInteger(args.timeoutMs) || args.timeoutMs < 1 || args.timeoutMs > 86400000)
+        ) {
+          throw new Error("timeoutMs must be an integer from 1 through 86400000 milliseconds");
+        }
         const artifact = new core.PlanArtifactService().resolve({
           planFile: args.planFile,
           workingDir: process.cwd(),
@@ -472,6 +485,7 @@ const tools = {
           await new core.GateExecutionService().run({
             plan: artifact.plan,
             artifactDir: outDir,
+            timeoutMs: args.timeoutMs,
             onlyItem: args.onlyItem,
             onlyGate: args.onlyGate,
             options: { emitReceipt: false, suppressStdout: true },
@@ -621,7 +635,7 @@ const tools = {
   },
 
   health: {
-    description: "DEPRECATED: use doctor. Compatibility alias scheduled for removal in 2.0.0.",
+    description: "DEPRECATED: use doctor. Compatibility alias scheduled for removal in 3.0.0.",
     inputSchema: {
       type: "object",
       properties: {
@@ -640,7 +654,7 @@ const tools = {
         });
         const health = {
           ...doctor,
-          deprecation: { tool: "health", replacement: "doctor", removeIn: "2.0.0" },
+          deprecation: { tool: "health", replacement: "doctor", removeIn: "3.0.0" },
         };
 
         return {
@@ -884,17 +898,52 @@ const tools = {
           description:
             "Explicit plan.json path (default: repository plan.json, then profile runner fallback)",
         },
+        evidenceFile: {
+          type: "string",
+          minLength: 1,
+          maxLength: 4096,
+          description: "Explicit gate evidence manifest returned by gates.run",
+        },
+        evidenceSha256: {
+          type: "string",
+          pattern: "^sha256:[a-f0-9]{64}$",
+          description: "Expected SHA-256 returned with the gate evidence manifest",
+        },
       },
     },
     call: async (args) => {
       try {
+        const hasEvidenceFile = args.evidenceFile !== undefined;
+        const hasEvidenceDigest = args.evidenceSha256 !== undefined;
+        if (hasEvidenceFile !== hasEvidenceDigest) {
+          throw new Error("evidenceFile and evidenceSha256 must be supplied together");
+        }
+        if (
+          hasEvidenceFile &&
+          (typeof args.evidenceFile !== "string" ||
+            args.evidenceFile.length < 1 ||
+            Buffer.byteLength(args.evidenceFile, "utf8") > 4096 ||
+            typeof args.evidenceSha256 !== "string" ||
+            !/^sha256:[a-f0-9]{64}$/u.test(args.evidenceSha256))
+        ) {
+          throw new Error("evidenceFile or evidenceSha256 is invalid");
+        }
         const artifact = new core.PlanArtifactService().resolve({
           planFile: args.planFile,
           workingDir: process.cwd(),
           profileDir: config.profileDir,
         });
         const result = {
-          ...new core.IntegrationStatusQueryService().run(artifact.plan),
+          ...new core.IntegrationStatusQueryService().run(
+            artifact.plan,
+            args.evidenceFile
+              ? {
+                  evidenceFile: args.evidenceFile,
+                  evidenceSha256: args.evidenceSha256,
+                  repoRoot: process.cwd(),
+                }
+              : undefined
+          ),
           planArtifact: artifact.identity,
         };
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@smartergpt/lexrunner",
-  "version": "1.5.2",
+  "version": "2.0.0",
   "type": "module",
   "engines": {
     "node": ">=24"

package/schemas/gate-evidence-manifest.schema.json

@@ -0,0 +1,86 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://smartergpt.dev/schemas/lexrunner/gate-evidence-manifest-v1.json",
+  "title": "LexRunner Gate Evidence Manifest v1",
+  "type": "object",
+  "required": ["schemaVersion", "createdAt", "plan", "candidate", "selection", "entries"],
+  "properties": {
+    "schemaVersion": { "const": "lexrunner-gate-evidence-manifest/v1" },
+    "createdAt": { "type": "string" },
+    "plan": {
+      "type": "object",
+      "required": ["digest", "schemaVersion", "target", "itemCount"],
+      "properties": {
+        "digest": { "$ref": "#/$defs/sha256" },
+        "schemaVersion": { "type": "string" },
+        "target": { "type": "string" },
+        "itemCount": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "candidate": {
+      "type": "object",
+      "required": ["repositoryRoot", "head", "worktreeDigest"],
+      "properties": {
+        "repositoryRoot": { "type": "string", "minLength": 1 },
+        "head": { "type": "string", "pattern": "^[a-f0-9]{40,64}$" },
+        "worktreeDigest": { "$ref": "#/$defs/sha256" }
+      },
+      "additionalProperties": false
+    },
+    "selection": {
+      "type": "object",
+      "required": ["onlyItem", "onlyGate"],
+      "properties": {
+        "onlyItem": { "type": ["string", "null"] },
+        "onlyGate": { "type": ["string", "null"] }
+      },
+      "additionalProperties": false
+    },
+    "entries": {
+      "type": "array",
+      "maxItems": 16384,
+      "items": {
+        "type": "object",
+        "required": ["item", "gate", "declaredGateDigest", "result", "receipt"],
+        "properties": {
+          "item": { "type": "string", "minLength": 1, "maxLength": 512 },
+          "gate": { "type": "string", "minLength": 1, "maxLength": 512 },
+          "declaredGateDigest": { "$ref": "#/$defs/sha256" },
+          "result": {
+            "type": "object",
+            "required": ["status", "attempts"],
+            "properties": {
+              "status": {
+                "enum": ["pass", "fail", "blocked", "skipped", "retrying"]
+              },
+              "exitCode": { "type": "number" },
+              "duration": { "type": "number", "minimum": 0 },
+              "timeoutMs": { "type": "integer", "minimum": 1 },
+              "failureKind": {
+                "enum": ["nonzero_exit", "spawn_error", "timeout", "evidence_error"]
+              },
+              "attempts": { "type": "integer", "minimum": 0 },
+              "lastAttempt": { "type": "string" }
+            },
+            "additionalProperties": false
+          },
+          "receipt": {
+            "type": "object",
+            "required": ["path", "sha256"],
+            "properties": {
+              "path": { "type": "string", "minLength": 1, "maxLength": 4096 },
+              "sha256": { "$ref": "#/$defs/sha256" }
+            },
+            "additionalProperties": false
+          }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "$defs": {
+    "sha256": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" }
+  },
+  "additionalProperties": false
+}

package/schemas/gate-execution-receipt.schema.json

@@ -8,6 +8,7 @@
   "required": [
     "schemaVersion",
     "attempt",
+    "binding",
     "declaredGate",
     "execution",
     "outcome",
@@ -15,8 +16,27 @@
     "artifacts"
   ],
   "properties": {
-    "schemaVersion": { "const": "lexrunner-gate-execution-receipt/v1" },
+    "schemaVersion": { "const": "lexrunner-gate-execution-receipt/v2" },
     "attempt": { "type": "integer", "minimum": 1 },
+    "binding": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["item", "declaredGateDigest", "candidateDigest", "timeoutMs"],
+      "properties": {
+        "item": { "type": ["string", "null"], "minLength": 1 },
+        "declaredGateDigest": {
+          "type": "string",
+          "pattern": "^sha256:[a-f0-9]{64}$"
+        },
+        "candidateDigest": {
+          "anyOf": [
+            { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+            { "type": "null" }
+          ]
+        },
+        "timeoutMs": { "type": "integer", "minimum": 1 }
+      }
+    },
     "declaredGate": {
       "type": "object",
       "additionalProperties": false,

package/schemas/plan.schema.json

@@ -139,7 +139,7 @@
               "additionalProperties": false,
               "default": {}
             },
-            "security": {
+        "security": {
               "type": "object",
               "properties": {
                 "blockCritical": {
@@ -272,6 +272,11 @@
                     "input": {
                       "type": "object",
                       "additionalProperties": {}
+                    },
+                    "timeoutMs": {
+                      "type": "integer",
+                      "exclusiveMinimum": 0,
+                      "maximum": 86400000
                     }
                   },
                   "required": [
@@ -297,4 +302,4 @@
       "additionalProperties": false
     }
   }
-}
+}