@subseam/mcp 0.4.20 → 0.4.21

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) {
@@ -48380,7 +48412,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.21";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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