@subseam/mcp 0.4.17 → 0.4.19

package/dist/main.js

@@ -30592,6 +30592,8 @@ var definitionDraft = external_exports.object({
     notEvaluated: external_exports.string().nullable().optional()
   }),
   gated: external_exports.string().nullable().optional(),
+  /** Absent from older servers. */
+  rung: external_exports.object({ disposition: external_exports.enum(["block", "warn", "off"]), means: external_exports.string() }).optional(),
   conflicts: external_exports.literal("not checked")
 });
 function notComputedLines(uncomputed) {
@@ -30626,8 +30628,9 @@ function renderDraft(d) {
   const tip = d.atTip.failures.length > 0 ? `${tipAt}: ${d.atTip.failures.length} failing: ` + shown.join("; ") + (more > 0 ? `; \u2026 and ${more} more` : "") : notEvaluated !== null ? `${tipAt}: not evaluated (${notEvaluated})` : `${tipAt}: holds`;
   const tipRest = d.atTip.failures.length > 0 && notEvaluated !== null ? [`${tipAt}, the rest was not evaluated (${notEvaluated})`] : [];
   const open7 = notComputedLines(d.atTip.uncomputed);
-  if (typeof d.gated === "string") return [`  ${d.statement}`, `  gated: ${d.gated} This definition is not evaluated.`, `  conflicts: ${d.conflicts}`].join("\n");
-  return [`  ${d.statement}`, ...exampleLines(d.examples), `  history: ${history}`, ...floor, tip, ...tipRest, ...open7, `  conflicts: ${d.conflicts}`].join("\n");
+  const rung = d.rung === void 0 ? [] : [`  on approval, in force at ${d.rung.means}`];
+  if (typeof d.gated === "string") return [`  ${d.statement}`, `  gated: ${d.gated} This definition is not evaluated.`, ...rung, `  conflicts: ${d.conflicts}`].join("\n");
+  return [`  ${d.statement}`, ...exampleLines(d.examples), `  history: ${history}`, ...floor, tip, ...tipRest, ...open7, ...rung, `  conflicts: ${d.conflicts}`].join("\n");
 }
 
 // ../define/src/tool/define.ts
@@ -30671,7 +30674,7 @@ var rungReport = external_exports.object({
   calls: external_exports.number(),
   outcome: external_exports.enum(["admitted", "exhausted"])
 });
-var authorBody = external_exports.discriminatedUnion("ok", [
+var authorResult = external_exports.discriminatedUnion("ok", [
   external_exports.object({
     ok: external_exports.literal(true),
     definitionId: external_exports.string(),
@@ -30684,6 +30687,11 @@ var authorBody = external_exports.discriminatedUnion("ok", [
   }),
   external_exports.object({ ok: external_exports.literal(false), bestFailingCandidate: external_exports.unknown(), errors: compileErrors, iterations: external_exports.number(), rungs: external_exports.array(rungReport).optional() })
 ]);
+var authorBody = 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() }),
+  external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("completed"), result: authorResult })
+]);
 var seedBody = external_exports.discriminatedUnion("status", [
   external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("submitted"), deduped: external_exports.boolean() }),
   external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("running") }),
@@ -30742,11 +30750,13 @@ var input2 = external_exports.object({
     commit: external_exports.string().min(1).optional(),
     jobId: external_exports.string().min(1).optional()
   }).optional(),
+  // Reads an authoring job a prior `nlIntent` call left running; takes no other arm beside it.
+  authorJobId: 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 intent, 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 intent sentence. `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 intent, 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 intent sentence. 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.",
   capability: "define",
   inputSchema: input2.shape,
   async handler(raw, ctx) {
@@ -30771,6 +30781,12 @@ var defineTool = {
       }
       return mineMode(args2.mine, ctx);
     }
+    if (args2.authorJobId !== void 0) {
+      if (args2.source !== void 0 || args2.nlIntent !== void 0) {
+        return { text: "define: `authorJobId` reads an authoring job already submitted and takes no `source` or `nlIntent` beside it \u2014 read the job, or submit a new intent, not both." };
+      }
+      return authorMode({ authorJobId: args2.authorJobId }, ctx);
+    }
     const hasSource = args2.source !== void 0;
     const hasIntent = args2.nlIntent !== void 0;
     if (hasSource === hasIntent) {
@@ -30798,10 +30814,7 @@ var defineTool = {
         ...args2.createdBy !== void 0 ? { createdBy: args2.createdBy } : {},
         ...args2.basis !== void 0 ? { basis: args2.basis } : {}
       };
-      const wire = await ctx.gateway.invoke("define-author", payload2);
-      const body2 = readBody(authorBody, wire, "define", "define-author");
-      if (!body2.ok) return { text: body2.text };
-      return { text: renderAuthor(body2.value) };
+      return authorMode(payload2, ctx);
     }
     if (args2.dry_run === true) {
       const payload2 = { repo: args2.repo, source: args2.source, ...args2.commit !== void 0 ? { commit: args2.commit } : {} };
@@ -30838,12 +30851,28 @@ async function mineMode(mine, ctx) {
   if (!body2.ok) return { text: body2.text };
   return { text: renderSeed(body2.value) };
 }
+async function authorMode(payload, ctx) {
+  const wire = await ctx.gateway.invoke("define-author", payload);
+  const body2 = readBody(authorBody, wire, "define", "define-author");
+  if (!body2.ok) return { text: body2.text };
+  return { text: renderAuthorJob(body2.value) };
+}
 function errorLines(errors) {
   return errors.map((e) => `  \u2022 [${e.stage}] ${e.pointer}: ${e.message}${e.repair ? ` (fix: ${e.repair.hint}${e.repair.candidates && e.repair.candidates.length > 0 ? `: ${e.repair.candidates.join(", ")}` : ""})` : ""}`).join("\n");
 }
 function rungLine(rungs) {
   return rungs.map((g3) => `${g3.rung} (${g3.model}): ${g3.calls} call${g3.calls === 1 ? "" : "s"}, ${g3.outcome}`).join(" \u2192 ");
 }
+function renderAuthorJob(r) {
+  switch (r.status) {
+    case "completed":
+      return renderAuthor(r.result);
+    case "running":
+      return `define: authoring job ${r.jobId} is still running (queued behind the shared model line or iterating). Call define with authorJobId: "${r.jobId}" to read it.`;
+    case "failed":
+      return `define: authoring job ${r.jobId} failed: ${r.error}`;
+  }
+}
 function renderAuthor(r) {
   const rungs = r.rungs === void 0 || r.rungs.length === 0 ? "" : `
 Model calls: ${rungLine(r.rungs)}`;
@@ -48350,7 +48379,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.17";
+var version2 = "0.4.19";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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