@subseam/mcp 0.4.38 → 0.4.40

package/dist/main.js

@@ -20259,6 +20259,9 @@ var UNIT_KIND_ACTION = {
   [BUILD_PACKAGE_UNIT_KIND]: "build"
 };
 
+// ../execution-contract/src/workload/narrowed-units.ts
+init_esm_shims();
+
 // ../execution-contract/src/report/artifact.ts
 init_esm_shims();
 
@@ -30660,10 +30663,15 @@ var compileError = external_exports.object({
   repair: external_exports.object({ hint: external_exports.string(), candidates: external_exports.array(external_exports.string()).optional() }).optional()
 });
 var compileErrors = external_exports.array(compileError);
-var compileBody = external_exports.discriminatedUnion("ok", [
+var compiledBody = external_exports.discriminatedUnion("ok", [
   external_exports.object({ ok: external_exports.literal(true), boundAtCommit: external_exports.string(), draft: definitionDraft.optional() }),
   external_exports.object({ ok: external_exports.literal(false), errors: compileErrors })
 ]);
+var compileJobBody = 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 compileBody = external_exports.union([compiledBody, compileJobBody]);
 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 })
@@ -30695,18 +30703,29 @@ var rungReport = external_exports.object({
   calls: external_exports.number(),
   outcome: external_exports.enum(["admitted", "exhausted"])
 });
+var cloverLeg = external_exports.object({ outcome: external_exports.enum(["agree", "disagree", "abstain"]), reasoning: external_exports.string() });
+var ourGap = external_exports.object({
+  leg: external_exports.enum(["nlVsCompiled", "compiledVsWitness", "nlVsWitness"]),
+  kind: external_exports.enum(["mutation-not-yet", "not-run-on-code"]),
+  reason: external_exports.string()
+});
 var sliceResult = external_exports.union([
   external_exports.object({
     ok: external_exports.literal(true),
     definitionId: external_exports.string(),
     versionId: external_exports.string(),
     version: external_exports.number(),
-    clover: external_exports.object({ agreed: external_exports.boolean(), agreeCount: external_exports.number(), routedToHumanQueue: external_exports.boolean() }),
+    clover: external_exports.object({
+      agreed: external_exports.boolean(),
+      agreeCount: external_exports.number(),
+      // Optional so a core that predates per-leg outcomes still parses.
+      legs: external_exports.object({ nlVsCompiled: cloverLeg, compiledVsWitness: cloverLeg, nlVsWitness: cloverLeg }).optional()
+    }),
     iterations: external_exports.number(),
     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, ourGaps: external_exports.array(ourGap).optional(), 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", [
@@ -30791,11 +30810,13 @@ var input2 = external_exports.object({
   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(),
+  // Reads a dry-run compile a prior `source` + `dry_run` call left running; takes no other arm beside it.
+  compileJobId: 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. 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.",
+  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`, and a `dry_run` still running with `compileJobId`. `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) {
@@ -30832,6 +30853,12 @@ var defineTool = {
       }
       return admitMode({ admitJobId: args2.admitJobId }, ctx);
     }
+    if (args2.compileJobId !== void 0) {
+      if (args2.source !== void 0 || args2.nlIntent !== void 0) {
+        return { text: "define: `compileJobId` reads a dry run already submitted and takes no `source` or `nlIntent` beside it \u2014 read the job, or submit a new dry run, not both." };
+      }
+      return compileMode({ compileJobId: args2.compileJobId }, ctx);
+    }
     const hasSource = args2.source !== void 0;
     const hasIntent = args2.nlIntent !== void 0;
     if (hasSource === hasIntent) {
@@ -30863,11 +30890,7 @@ var defineTool = {
     }
     if (args2.dry_run === true) {
       const payload2 = { repo: args2.repo, source: args2.source, ...args2.commit !== void 0 ? { commit: args2.commit } : {} };
-      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 result = body2.value;
-      return { text: renderCompile(result) };
+      return compileMode(payload2, ctx);
     }
     const payload = {
       repo: args2.repo,
@@ -30879,6 +30902,13 @@ var defineTool = {
     return admitMode(payload, ctx);
   }
 };
+async function compileMode(payload, ctx) {
+  const wire = await ctx.gateway.invoke("define-compile", payload);
+  const isJob = typeof wire === "object" && wire !== null && "status" in wire;
+  const body2 = readBody(isJob ? compileJobBody : compiledBody, wire, "define", "define-compile");
+  if (!body2.ok) return { text: body2.text };
+  return { text: renderCompile(body2.value) };
+}
 async function admitMode(payload, ctx) {
   const rawAdmit = await ctx.gateway.invoke("define-admit", payload);
   const isJob = typeof rawAdmit === "object" && rawAdmit !== null && "status" in rawAdmit;
@@ -30921,16 +30951,22 @@ function renderAuthorJob(r) {
       return `define: authoring job ${r.jobId} failed: ${r.error}`;
   }
 }
+function ourGapLines(gaps) {
+  if (gaps === void 0 || gaps.length === 0) return "a check had no evidence to judge, which is a gap on the platform's side, not the author's.";
+  return `each check below had no evidence because of a gap on the platform's side, not something to fix in the definition:
+${gaps.map((g3) => `  \u2022 ${g3.leg} \u2014 ours: ${g3.kind}: ${g3.reason}`).join("\n")}`;
+}
 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)}`;
   if (r.ok) {
-    const routed = r.clover.routedToHumanQueue ? " (routed to the human decision queue)" : "";
-    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.`;
+    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"}. It is defaulted until approved.`;
     return (r.draft === void 0 ? head : `${head}
 ${renderDraft(r.draft)}`) + rungs;
   }
+  if (r.errors.some((e) => e.code === "CLOVER_ABSTAINED")) return `not admitted: it needs a person. No check disagreed; ${ourGapLines(r.ourGaps)}
+${errorLines(r.errors)}${rungs}`;
   return `could not converge in ${r.iterations} iteration(s). Best-failing candidate's errors \u2014
 ${errorLines(r.errors)}${rungs}`;
 }
@@ -30950,6 +30986,9 @@ ${r.dispatch.resumption}`;
   return lines.join("\n");
 }
 function renderCompile(r) {
+  if ("status" in r) {
+    return r.status === "running" ? `define (dry run): compile job ${r.jobId} is still running (the gates). Call define with compileJobId: "${r.jobId}" to read it.` : `define (dry run): compile job ${r.jobId} failed: ${r.error}`;
+  }
   if (r.ok) {
     const head = "define (dry run): compiles clean, bound at " + r.boundAtCommit + ". Nothing was admitted \u2014 call again without `dry_run` to admit it.";
     return r.draft === void 0 ? head : `${head}
@@ -48728,7 +48767,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.38";
+var version2 = "0.4.40";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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