@subseam/mcp 0.4.20 → 0.4.22

package/dist/main.js

@@ -28993,7 +28993,7 @@ function decodeFormContract(v) {
     }
     return { kind: "file-set" };
   }
-  if (kind === "work-grade" || kind === "work-digest" || kind === "work-answer") {
+  if (kind === "work-grade" || kind === "work-digest" || kind === "work-answer" || kind === "decomposition") {
     const knownKeys = ["kind"];
     const actualKeys = Object.keys(obj);
     for (const key of actualKeys) {
@@ -29538,7 +29538,7 @@ ${lines.join("\n")}` };
       }
       const resumed = outcome.resumeFromBudgetCoordinate === void 0 ? "" : ` Resume from banked work at budget coordinate ${outcome.resumeFromBudgetCoordinate}.`;
       const part1 = `Claimed ${outcome.taskId} (${outcome.taskClass}, form ${outcome.oracleBinding}). You have ${outcome.attemptsLeft} of ${outcome.attemptBudget} attempt(s) left. Lease ${outcome.leaseId}; tasks_submit needs only the task id and your reply.${resumed}`;
-      const part2 = outcome.form === null ? "Reply form: none declared; the reply is accepted unvalidated." : outcome.form.kind === "first-token" ? `Reply form: the first token must be one of ${outcome.form.tokens.join(" | ")}.` : "Reply form: a file-set (JSON array of path/content entries).";
+      const part2 = outcome.form === null ? "Reply form: none declared; the reply is accepted unvalidated." : outcome.form.kind === "first-token" ? `Reply form: the first token must be one of ${outcome.form.tokens.join(" | ")}.` : outcome.form.kind === "decomposition" ? 'Reply form: a JSON object {"slices": [{"statement": "..."}], "leftover": [{"shard": "...", "why": "..."}]}.' : "Reply form: a file-set (JSON array of path/content entries).";
       const part3 = outcome.bundle === null ? `No bundle body is retained under ${outcome.bundleDigest}; this task cannot be worked from its bundle.` : `Bundle ${outcome.bundleDigest}:`;
       const part4 = outcome.bundle !== null ? outcome.bundle : void 0;
       const part5 = outcome.next === void 0 ? void 0 : `next: ${outcome.next}`;
@@ -30675,7 +30675,7 @@ var rungReport = external_exports.object({
   calls: external_exports.number(),
   outcome: external_exports.enum(["admitted", "exhausted"])
 });
-var authorResult = external_exports.discriminatedUnion("ok", [
+var sliceResult = external_exports.union([
   external_exports.object({
     ok: external_exports.literal(true),
     definitionId: external_exports.string(),
@@ -30686,12 +30686,28 @@ var authorResult = external_exports.discriminatedUnion("ok", [
     rungs: external_exports.array(rungReport).optional(),
     draft: definitionDraft.optional()
   }),
-  external_exports.object({ ok: external_exports.literal(false), bestFailingCandidate: external_exports.unknown(), errors: compileErrors, iterations: external_exports.number(), rungs: external_exports.array(rungReport).optional() })
+  external_exports.object({ ok: external_exports.literal(false), bestFailingCandidate: external_exports.unknown(), errors: compileErrors, iterations: external_exports.number(), rungs: external_exports.array(rungReport).optional() }),
+  external_exports.object({ ok: external_exports.literal(false), unavailable: external_exports.string() })
+]);
+var noteResult = external_exports.discriminatedUnion("kind", [
+  external_exports.object({
+    kind: external_exports.literal("awaiting-tasks"),
+    dispatch: external_exports.object({
+      blocking: external_exports.array(external_exports.object({ taskId: external_exports.string() })),
+      pullScope: external_exports.string(),
+      resumption: external_exports.string()
+    })
+  }),
+  external_exports.object({
+    kind: external_exports.literal("sliced"),
+    slices: external_exports.array(external_exports.object({ index: external_exports.number(), statement: external_exports.string(), result: sliceResult })),
+    leftover: external_exports.array(external_exports.object({ shard: external_exports.string(), why: external_exports.string() }))
+  })
 ]);
 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 })
+  external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("completed"), result: noteResult })
 ]);
 var seedBody = external_exports.discriminatedUnion("status", [
   external_exports.object({ jobId: external_exports.string(), status: external_exports.literal("submitted"), deduped: external_exports.boolean() }),
@@ -30757,7 +30773,7 @@ var input2 = external_exports.object({
 });
 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. 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. `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) {
@@ -30874,17 +30890,33 @@ function renderAuthorJob(r) {
       return `define: authoring job ${r.jobId} failed: ${r.error}`;
   }
 }
-function renderAuthor(r) {
+function renderSlice(r) {
+  if ("unavailable" in r) return `could not be authored: ${r.unavailable}`;
   const rungs = r.rungs === void 0 || r.rungs.length === 0 ? "" : `
-Model calls: ${rungLine(r.rungs)}`;
+    Model calls: ${rungLine(r.rungs)}`;
   if (r.ok) {
     const routed = r.clover.routedToHumanQueue ? " (routed to the human decision queue)" : "";
-    const head = `define: admitted definition ${r.definitionId} v${r.version} in ${r.iterations} iteration(s). Clover: ${r.clover.agreeCount} agreeing${r.clover.agreed ? "" : " \u2014 no consensus"}${routed}. It is defaulted until approved.`;
+    const head = `admitted definition ${r.definitionId} v${r.version} in ${r.iterations} iteration(s). Clover: ${r.clover.agreeCount} agreeing${r.clover.agreed ? "" : " \u2014 no consensus"}${routed}. It is defaulted until approved.`;
     return (r.draft === void 0 ? head : `${head}
 ${renderDraft(r.draft)}`) + rungs;
   }
-  return `define: could not converge in ${r.iterations} iteration(s). Best-failing candidate's errors \u2014
-` + errorLines(r.errors) + rungs;
+  return `could not converge in ${r.iterations} iteration(s). Best-failing candidate's errors \u2014
+${errorLines(r.errors)}${rungs}`;
+}
+function renderAuthor(r) {
+  if (r.kind === "awaiting-tasks") {
+    const ids = r.dispatch.blocking.map((b) => b.taskId).join(", ");
+    return `define: not done yet \u2014 your note is first decomposed into slices by your own agent (task ${ids}).
+${r.dispatch.resumption}`;
+  }
+  const lines = [`define: your note stated ${r.slices.length} slice(s).`];
+  for (const slice of r.slices) lines.push(`Slice ${slice.index} \u2014 ${slice.statement}
+  ${renderSlice(slice.result)}`);
+  if (r.leftover.length > 0) {
+    lines.push("Left over (not authored):");
+    for (const l of r.leftover) lines.push(`  \u2022 ${l.shard} \u2014 ${l.why}`);
+  }
+  return lines.join("\n");
 }
 function renderCompile(r) {
   if (r.ok) {
@@ -31964,39 +31996,42 @@ var defineProposalReadTool = {
 // ../define/src/tool/proposal-check.ts
 init_esm_shims();
 var input9 = external_exports.object({
-  taskId: external_exports.string().uuid(),
+  // Reads a check a prior call left measuring; takes no candidate beside it.
+  checkId: external_exports.string().min(1).optional(),
+  taskId: external_exports.string().uuid().optional(),
   files: external_exports.array(external_exports.object({ path: external_exports.string().min(1), content: external_exports.string().nullable() })).min(1).optional(),
   sha: external_exports.string().regex(/^[0-9a-f]{40}$/).optional(),
   gitDir: external_exports.string().startsWith("/").optional()
 });
 var site2 = external_exports.object({ definitionName: external_exports.string(), path: external_exports.string(), line: external_exports.number(), cause: external_exports.string() });
 var siteLine2 = (d) => `  ${d.definitionName} at ${d.path}:${d.line} \u2014 ${d.cause}`;
+var answer2 = external_exports.union([
+  external_exports.object({
+    ok: external_exports.literal(true),
+    delta: external_exports.object({
+      accepted: external_exports.boolean(),
+      closed: external_exports.array(site2),
+      regressions: external_exports.array(site2),
+      newlyUncomputed: external_exports.array(external_exports.object({ definitionName: external_exports.string(), path: external_exports.string(), reason: external_exports.string() })),
+      notComputed: external_exports.string().nullable()
+    }),
+    atCandidate: external_exports.array(site2)
+  }),
+  external_exports.object({ ok: external_exports.literal(false), status: external_exports.literal("pending"), checkId: external_exports.string(), wait: external_exports.string() })
+]);
 var defineProposalCheckTool = {
   name: "define_proposal_check",
-  description: "Before submitting a fill for a PR-check proposal, ask what the check would say about your candidate: pass `files`, the same file-set you would submit with tasks_submit ({path, content} each; content null deletes the file). Answers the divergences still standing at the candidate, the ones it closes and the ones it opens. Records nothing.",
+  description: "Before submitting a fill for a PR-check proposal, ask what the check would say about your candidate: pass `files`, the same file-set you would submit with tasks_submit ({path, content} each; content null deletes the file). Answers the divergences still standing at the candidate, the ones it closes and the ones it opens. Measuring can take minutes: then it answers a checkId, and you call it again with only `checkId` to read the result. Records nothing.",
   capability: "decision",
   inputSchema: input9.shape,
   async handler(raw, ctx) {
     const args2 = input9.parse(raw);
-    const candidate = args2.files !== void 0 ? { taskId: args2.taskId, files: args2.files } : args2.sha !== void 0 && args2.gitDir !== void 0 ? { taskId: args2.taskId, sha: args2.sha, gitDir: args2.gitDir } : null;
-    if (candidate === null) return { text: "define_proposal_check: pass `files`, the file-set you would submit as the fill." };
+    const candidate = args2.checkId !== void 0 ? { checkId: args2.checkId } : args2.taskId === void 0 ? null : args2.files !== void 0 ? { taskId: args2.taskId, files: args2.files } : args2.sha !== void 0 && args2.gitDir !== void 0 ? { taskId: args2.taskId, sha: args2.sha, gitDir: args2.gitDir } : null;
+    if (candidate === null) return { text: "define_proposal_check: pass `taskId` and `files`, the file-set you would submit as the fill, or `checkId` to read a check already asked." };
     const wire = await ctx.gateway.invoke("decision-proposal-check", candidate);
-    const body2 = readBody(
-      external_exports.object({
-        delta: external_exports.object({
-          accepted: external_exports.boolean(),
-          closed: external_exports.array(site2),
-          regressions: external_exports.array(site2),
-          newlyUncomputed: external_exports.array(external_exports.object({ definitionName: external_exports.string(), path: external_exports.string(), reason: external_exports.string() })),
-          notComputed: external_exports.string().nullable()
-        }),
-        atCandidate: external_exports.array(site2)
-      }),
-      wire,
-      "define_proposal_check",
-      "decision-proposal-check"
-    );
+    const body2 = readBody(answer2, wire, "define_proposal_check", "decision-proposal-check");
     if (!body2.ok) return { text: body2.text };
+    if (!body2.value.ok) return { text: `define_proposal_check: still measuring (checkId ${body2.value.checkId}) \u2014 ${body2.value.wait}.` };
     const { delta, atCandidate } = body2.value;
     if (delta.notComputed !== null) return { text: `define_proposal_check: not computed \u2014 ${delta.notComputed}. This is not a pass.` };
     return {
@@ -48380,7 +48415,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.20";
+var version2 = "0.4.22";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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