@subseam/mcp 0.4.36 → 0.4.38

package/dist/main.js

@@ -30668,7 +30668,7 @@ 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 })
 ]);
-var admitBody = external_exports.discriminatedUnion("ok", [
+var admittedBody = external_exports.discriminatedUnion("ok", [
   external_exports.object({
     ok: external_exports.literal(true),
     definitionId: external_exports.string(),
@@ -30679,6 +30679,11 @@ var admitBody = external_exports.discriminatedUnion("ok", [
   }),
   external_exports.object({ ok: external_exports.literal(false), errors: compileErrors })
 ]);
+var admitJobBody = 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 admitBody = external_exports.union([admittedBody, admitJobBody]);
 var gapBody = external_exports.discriminatedUnion("kind", [
   external_exports.object({ kind: external_exports.literal("recorded") }),
   external_exports.object({ kind: external_exports.literal("known"), row: gapRow })
@@ -30784,11 +30789,13 @@ var input2 = external_exports.object({
   }).optional(),
   // Reads an authoring job a prior `nlIntent` call left running; takes no other arm beside it.
   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(),
   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. `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`. `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) {
@@ -30819,6 +30826,12 @@ var defineTool = {
       }
       return authorMode({ authorJobId: args2.authorJobId }, ctx);
     }
+    if (args2.admitJobId !== void 0) {
+      if (args2.source !== void 0 || args2.nlIntent !== void 0) {
+        return { text: "define: `admitJobId` reads an admission already submitted and takes no `source` or `nlIntent` beside it \u2014 read the job, or submit a new definition, not both." };
+      }
+      return admitMode({ admitJobId: args2.admitJobId }, ctx);
+    }
     const hasSource = args2.source !== void 0;
     const hasIntent = args2.nlIntent !== void 0;
     if (hasSource === hasIntent) {
@@ -30853,8 +30866,8 @@ var defineTool = {
       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 result2 = body2.value;
-      return { text: renderCompile(result2) };
+      const result = body2.value;
+      return { text: renderCompile(result) };
     }
     const payload = {
       repo: args2.repo,
@@ -30863,13 +30876,16 @@ var defineTool = {
       ...args2.createdBy !== void 0 ? { createdBy: args2.createdBy } : {},
       ...args2.basis !== void 0 ? { basis: args2.basis } : {}
     };
-    const rawAdmit = await ctx.gateway.invoke("define-admit", payload);
-    const admitted = readBody(admitBody, rawAdmit, "define", "define-admit");
-    if (!admitted.ok) return { text: admitted.text };
-    const result = admitted.value;
-    return { text: renderAdmit(result) };
+    return admitMode(payload, ctx);
   }
 };
+async function admitMode(payload, ctx) {
+  const rawAdmit = await ctx.gateway.invoke("define-admit", payload);
+  const isJob = typeof rawAdmit === "object" && rawAdmit !== null && "status" in rawAdmit;
+  const admitted = readBody(isJob ? admitJobBody : admittedBody, rawAdmit, "define", "define-admit");
+  if (!admitted.ok) return { text: admitted.text };
+  return { text: renderAdmit(admitted.value) };
+}
 async function mineMode(mine, ctx) {
   if (mine.jobId !== void 0 && mine.repo !== void 0) {
     return { text: "define: `mine` takes EITHER `repo` (+ optional `commit`) to submit a pass OR `jobId` to poll one \u2014 not both." };
@@ -30948,6 +30964,9 @@ function renderSay(r) {
   return "define (dry run): cannot say it: " + first.code + " at " + first.pointer + "\n" + errorLines(r.errors);
 }
 function renderAdmit(r) {
+  if ("status" in r) {
+    return r.status === "running" ? `define: admission job ${r.jobId} is still running (the gates and the first verdict). Call define with admitJobId: "${r.jobId}" to read it.` : `define: admission job ${r.jobId} failed: ${r.error}`;
+  }
   if (r.ok) {
     const standing = r.changeClass === "strengthen" ? "carries its predecessor's standing forward" : r.changeClass === "initial" ? "defaulted until approved" : "re-enters review (defaulted until approved)";
     const head = `define: admitted ${r.definitionId} v${r.version} [${r.changeClass}] \u2014 ${standing}.`;
@@ -31524,6 +31543,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(),
@@ -31536,7 +31559,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(),
@@ -31544,18 +31568,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;
@@ -48692,7 +48728,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.36";
+var version2 = "0.4.38";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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