@subseam/mcp 0.4.34 → 0.4.37

package/dist/main.js

@@ -30597,11 +30597,26 @@ var definitionDraft = external_exports.object({
   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) {
-  if (uncomputed.length <= 5) return uncomputed.map((u) => `  at tip, not computed: ${u.path} (${u.reason})`);
+var draftAt = external_exports.discriminatedUnion("state", [
+  external_exports.object({ state: external_exports.literal("current"), sha: external_exports.string(), ordinal: external_exports.number() }),
+  external_exports.object({
+    state: external_exports.literal("computing"),
+    tipSha: external_exports.string(),
+    tipOrdinal: external_exports.number(),
+    banked: external_exports.object({ sha: external_exports.string(), ordinal: external_exports.number() }).nullable()
+  })
+]);
+var sha8 = (sha) => sha.slice(0, 8);
+function draftAtLine(at) {
+  if (at.state === "current") return `verdict at ${sha8(at.sha)} (the tip)`;
+  return at.banked === null ? `computing at ${sha8(at.tipSha)}, no verdict banked yet` : `verdict at ${sha8(at.banked.sha)} (tip is ${sha8(at.tipSha)}, computing)`;
+}
+function notComputedLines(uncomputed, atTip) {
+  const at = atTip ? "at tip" : "at that commit";
+  if (uncomputed.length <= 5) return uncomputed.map((u) => `  ${at}, not computed: ${u.path} (${u.reason})`);
   const byCause = /* @__PURE__ */ new Map();
   for (const u of uncomputed) byCause.set(u.reason, [...byCause.get(u.reason) ?? [], u.path]);
-  return [...byCause].map(([reason, paths]) => `  at tip, not computed: ${paths.length} file${paths.length === 1 ? "" : "s"} (${reason}), e.g. ${paths.slice(0, 3).join(", ")}`);
+  return [...byCause].map(([reason, paths]) => `  ${at}, not computed: ${paths.length} file${paths.length === 1 ? "" : "s"} (${reason}), e.g. ${paths.slice(0, 3).join(", ")}`);
 }
 var FAILURES_SHOWN = 20;
 var EXAMPLES_FAILING_SHOWN = 3;
@@ -30614,7 +30629,7 @@ function exampleLines(examples) {
     ...examples.wouldFail === null ? [] : [`    would fail: ${where(examples.wouldFail)} ${examples.wouldFail.does}  (no code does this yet)`]
   ];
 }
-function renderDraft(d) {
+function renderDraft(d, atTip = true) {
   const at = (c) => `${c.sha.slice(0, 9)} (${c.committedAt.slice(0, 10)})`;
   const h = d.history;
   const since = h === null || h.since === null ? "" : ` since ${at(h.since)}`;
@@ -30625,10 +30640,10 @@ function renderDraft(d) {
   const shown = d.atTip.failures.slice(0, FAILURES_SHOWN).map((f) => `${f.path}:${f.line} ${f.cause}`);
   const more = d.atTip.failures.length - shown.length;
   const notEvaluated = d.atTip.notEvaluated ?? null;
-  const tipAt = `  at tip ${d.atTip.sha.slice(0, 9)}`;
+  const tipAt = `  at ${atTip ? "tip " : ""}${d.atTip.sha.slice(0, 9)}`;
   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);
+  const open7 = notComputedLines(d.atTip.uncomputed, atTip);
   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");
@@ -30653,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(),
@@ -30664,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 })
@@ -30769,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) {
@@ -30804,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) {
@@ -30838,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,
@@ -30848,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." };
@@ -30933,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}.`;
@@ -31315,7 +31349,9 @@ var showBody = external_exports.discriminatedUnion("ok", [
     bindings: external_exports.array(external_exports.object({ role: external_exports.string(), repo: external_exports.string(), anchorGrain: external_exports.string(), boundAtCommit: external_exports.string() })),
     violations: external_exports.array(showViolation),
     liveSuppressions: external_exports.array(showSuppression),
-    draft: definitionDraft.nullable()
+    draft: definitionDraft.nullable(),
+    /** Absent from older servers. */
+    draftAt: draftAt.nullable().optional()
   }),
   external_exports.object({ ok: external_exports.literal(false) })
 ]);
@@ -31369,8 +31405,10 @@ function renderObject(definitionId, r) {
     out2.push("Bindings (current version):");
     for (const [line, n] of counts) out2.push(`  \u2022 ${line}${n > 1 ? ` (\xD7${n})` : ""}`);
   }
-  out2.push(r.draft === null ? "Draft (current version): none \u2014 the version has no subject binding, or canvas has published no version of its repo." : `Draft (current version):
-${renderDraft(r.draft)}`);
+  const at = r.draftAt ?? null;
+  const atLine = at === null ? "" : ` ${draftAtLine(at)}`;
+  out2.push(r.draft === null ? at === null ? "Draft (current version): none \u2014 the version has no subject binding, or canvas has published no version of its repo." : `Draft (current version): ${draftAtLine(at)}` : `Draft (current version):${atLine}
+${renderDraft(r.draft, at?.state !== "computing")}`);
   if (r.violations.length === 0) {
     out2.push("Standing violations: none on the ledger.");
   } else {
@@ -48673,7 +48711,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.34";
+var version2 = "0.4.37";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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