@subseam/mcp 0.4.37 → 0.4.39

package/dist/main.js

@@ -30660,10 +30660,15 @@ var compileError = external_exports.object({
   repair: external_exports.object({ hint: external_exports.string(), candidates: external_exports.array(external_exports.string()).optional() }).optional()
 });
 var compileErrors = external_exports.array(compileError);
-var compileBody = external_exports.discriminatedUnion("ok", [
+var compiledBody = external_exports.discriminatedUnion("ok", [
   external_exports.object({ ok: external_exports.literal(true), boundAtCommit: external_exports.string(), draft: definitionDraft.optional() }),
   external_exports.object({ ok: external_exports.literal(false), errors: compileErrors })
 ]);
+var compileJobBody = external_exports.discriminatedUnion("status", [
+  external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("running"), wait: external_exports.string().optional() }),
+  external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("failed"), error: external_exports.string() })
+]);
+var compileBody = external_exports.union([compiledBody, compileJobBody]);
 var sayBody = external_exports.discriminatedUnion("ok", [
   external_exports.object({ ok: external_exports.literal(true), canonicalHash: external_exports.string(), deferred: external_exports.tuple([external_exports.literal("bind"), external_exports.literal("capability"), external_exports.literal("strength")]) }),
   external_exports.object({ ok: external_exports.literal(false), errors: compileErrors })
@@ -30791,11 +30796,13 @@ var input2 = external_exports.object({
   authorJobId: external_exports.string().min(1).optional(),
   // Reads an admission a prior `source` call left running; takes no other arm beside it.
   admitJobId: external_exports.string().min(1).optional(),
+  // Reads a dry-run compile a prior `source` + `dry_run` call left running; takes no other arm beside it.
+  compileJobId: external_exports.string().min(1).optional(),
   gap: external_exports.object({ construct: external_exports.string().min(1), witness: external_exports.string().min(1), issue: external_exports.number().int().positive() }).optional()
 });
 var defineTool = {
   name: "define",
-  description: "Write a definition into this tenant's governing corpus. Pass exactly one of `source` (the SDL definition object \u2014 deterministic, no LLM) or `nlIntent` (a natural-language note: your own agent decomposes it into slices by pull \u2014 the first call answers with the task to pull, then re-issue the same call unchanged \u2014 and each slice is authored through the CEGIS loop), plus `repo` (org-qualified) and optional `commit` (defaults to resolved tip). Pass `basis` on either arm: free text citing what the definition stood on \u2014 the source doc plus its section (there is no fixed vocabulary), or `capture-note:<id>` for a captured note, which also marks that note formalized. It is required in effect with `source`; an admission that cites nothing is refused. With `nlIntent` it defaults to the note, with the slice number appended. Authoring answers within about 45 s; if it is still queued or iterating it returns a job id: call `define` again with `authorJobId` to read it. An admission of `source` answers the same way: a job id still running is read with `admitJobId`. `dry_run: true` with `source` validates against the live graph and admits NOTHING, returning per-gate errors with repair hints. `dry_run: true` with `source` and no `repo` answers only whether the language can say it (bind, capability and strength are deferred until a repo is named). `mine: {repo}` submits a whole-repo candidate mining pass instead (async \u2014 poll with `mine: {jobId}`). New versions land defaulted until approved. `gap: { construct, witness, issue }` records a construct the language cannot say yet (witness is the file:line that needed it) and admits nothing.",
+  description: "Write a definition into this tenant's governing corpus. Pass exactly one of `source` (the SDL definition object \u2014 deterministic, no LLM) or `nlIntent` (a natural-language note: your own agent decomposes it into slices by pull \u2014 the first call answers with the task to pull, then re-issue the same call unchanged \u2014 and each slice is authored through the CEGIS loop), plus `repo` (org-qualified) and optional `commit` (defaults to resolved tip). Pass `basis` on either arm: free text citing what the definition stood on \u2014 the source doc plus its section (there is no fixed vocabulary), or `capture-note:<id>` for a captured note, which also marks that note formalized. It is required in effect with `source`; an admission that cites nothing is refused. With `nlIntent` it defaults to the note, with the slice number appended. Authoring answers within about 45 s; if it is still queued or iterating it returns a job id: call `define` again with `authorJobId` to read it. An admission of `source` answers the same way: a job id still running is read with `admitJobId`, and a `dry_run` still running with `compileJobId`. `dry_run: true` with `source` validates against the live graph and admits NOTHING, returning per-gate errors with repair hints. `dry_run: true` with `source` and no `repo` answers only whether the language can say it (bind, capability and strength are deferred until a repo is named). `mine: {repo}` submits a whole-repo candidate mining pass instead (async \u2014 poll with `mine: {jobId}`). New versions land defaulted until approved. `gap: { construct, witness, issue }` records a construct the language cannot say yet (witness is the file:line that needed it) and admits nothing.",
   capability: "define",
   inputSchema: input2.shape,
   async handler(raw, ctx) {
@@ -30832,6 +30839,12 @@ var defineTool = {
       }
       return admitMode({ admitJobId: args2.admitJobId }, ctx);
     }
+    if (args2.compileJobId !== void 0) {
+      if (args2.source !== void 0 || args2.nlIntent !== void 0) {
+        return { text: "define: `compileJobId` reads a dry run already submitted and takes no `source` or `nlIntent` beside it \u2014 read the job, or submit a new dry run, not both." };
+      }
+      return compileMode({ compileJobId: args2.compileJobId }, ctx);
+    }
     const hasSource = args2.source !== void 0;
     const hasIntent = args2.nlIntent !== void 0;
     if (hasSource === hasIntent) {
@@ -30863,11 +30876,7 @@ var defineTool = {
     }
     if (args2.dry_run === true) {
       const payload2 = { repo: args2.repo, source: args2.source, ...args2.commit !== void 0 ? { commit: args2.commit } : {} };
-      const wire = await ctx.gateway.invoke("define-compile", payload2);
-      const body2 = readBody(compileBody, wire, "define", "define-compile");
-      if (!body2.ok) return { text: body2.text };
-      const result = body2.value;
-      return { text: renderCompile(result) };
+      return compileMode(payload2, ctx);
     }
     const payload = {
       repo: args2.repo,
@@ -30879,6 +30888,13 @@ var defineTool = {
     return admitMode(payload, ctx);
   }
 };
+async function compileMode(payload, ctx) {
+  const wire = await ctx.gateway.invoke("define-compile", payload);
+  const isJob = typeof wire === "object" && wire !== null && "status" in wire;
+  const body2 = readBody(isJob ? compileJobBody : compiledBody, wire, "define", "define-compile");
+  if (!body2.ok) return { text: body2.text };
+  return { text: renderCompile(body2.value) };
+}
 async function admitMode(payload, ctx) {
   const rawAdmit = await ctx.gateway.invoke("define-admit", payload);
   const isJob = typeof rawAdmit === "object" && rawAdmit !== null && "status" in rawAdmit;
@@ -30950,6 +30966,9 @@ ${r.dispatch.resumption}`;
   return lines.join("\n");
 }
 function renderCompile(r) {
+  if ("status" in r) {
+    return r.status === "running" ? `define (dry run): compile job ${r.jobId} is still running (the gates). Call define with compileJobId: "${r.jobId}" to read it.` : `define (dry run): compile job ${r.jobId} failed: ${r.error}`;
+  }
   if (r.ok) {
     const head = "define (dry run): compiles clean, bound at " + r.boundAtCommit + ". Nothing was admitted \u2014 call again without `dry_run` to admit it.";
     return r.draft === void 0 ? head : `${head}
@@ -31543,6 +31562,10 @@ var conformanceBody = external_exports.object({
     staticUnevaluable: external_exports.number()
   })
 });
+var conformanceJobBody = external_exports.union([
+  external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("running") }),
+  external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("failed"), error: external_exports.string() })
+]);
 var generationBody = external_exports.object({
   runId: external_exports.string(),
   planned: external_exports.number(),
@@ -31555,7 +31578,8 @@ var generationBody = external_exports.object({
   })
 });
 var input4 = external_exports.object({
-  repo: external_exports.string().min(1),
+  repo: external_exports.string().min(1).optional(),
+  conformanceJobId: external_exports.string().min(1).optional(),
   commit: external_exports.string().min(1).optional(),
   definitionIds: external_exports.array(external_exports.string().min(1)).min(1).optional(),
   baseOrdinal: external_exports.number().int().nonnegative().optional(),
@@ -31563,18 +31587,30 @@ var input4 = external_exports.object({
 });
 var evalTool = {
   name: "eval",
-  description: "Evaluate definitions against a repo's code as-built. With `definitionIds`: verdicts for those definitions, plus generated-and-executed behavioral checks (banked witnesses) where applicable. Without: the whole admitted corpus. Provide `repo` and optional `commit` (defaults to resolved tip). Returns conformant/violated/unevaluable per definition; violations carry a witness. Approved (store: ratified) MUST/MUST-NEVER violations are blocking.",
+  description: "Evaluate definitions against a repo's code as-built. With `definitionIds`: verdicts for those definitions, plus generated-and-executed behavioral checks (banked witnesses) where applicable. Without: the whole admitted corpus. Provide `repo` and optional `commit` (defaults to resolved tip). Returns conformant/violated/unevaluable per definition; violations carry a witness. Approved (store: ratified) MUST/MUST-NEVER violations are blocking. A pass that is still evaluating answers a job id: call again with `conformanceJobId` to read it.",
   capability: "define",
   inputSchema: input4.shape,
   async handler(raw, ctx) {
     const args2 = input4.parse(raw);
-    const conformancePayload = {
+    if (args2.conformanceJobId !== void 0 && args2.repo !== void 0) {
+      return { text: "eval: `conformanceJobId` reads a conformance pass already submitted and takes no `repo` beside it \u2014 read the job, or submit a new pass, not both." };
+    }
+    if (args2.conformanceJobId === void 0 && args2.repo === void 0) {
+      return { text: "eval: needs `repo` to submit a conformance pass, or `conformanceJobId` to read one." };
+    }
+    const conformancePayload = args2.conformanceJobId !== void 0 ? { conformanceJobId: args2.conformanceJobId } : {
       repo: args2.repo,
       ...args2.commit !== void 0 ? { commit: args2.commit } : {},
       ...args2.baseOrdinal !== void 0 ? { baseOrdinal: args2.baseOrdinal } : {},
       ...args2.headOrdinal !== void 0 ? { headOrdinal: args2.headOrdinal } : {}
     };
     const wire = await ctx.gateway.invoke("define-conformance", conformancePayload);
+    const job = conformanceJobBody.safeParse(wire);
+    if (job.success) {
+      return {
+        text: job.data.status === "running" ? `eval: conformance job ${job.data.jobId} is still evaluating. Call eval again with conformanceJobId: "${job.data.jobId}" to read it.` : `eval: conformance job ${job.data.jobId} failed: ${job.data.error}`
+      };
+    }
     const body2 = readBody(conformanceBody, wire, "eval", "define-conformance");
     if (!body2.ok) return { text: body2.text };
     const report = body2.value;
@@ -48711,7 +48747,7 @@ var workReadTools = createWorkReadToolProviders({ capability: "work" });
 var bundledProviders = [src_default2, src_default, tension_default, ...defineTools, ...decisionTools, ...captureTools, ...buildTools, secureTool, ...workTools, ...workReadTools];
 
 // package.json
-var version2 = "0.4.37";
+var version2 = "0.4.39";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@subseam/mcp",
-  "version": "0.4.37",
+  "version": "0.4.39",
   "private": false,
   "type": "module",
   "bin": {