@subseam/mcp 0.4.48 → 0.4.50

package/dist/main.js

@@ -30506,11 +30506,24 @@ function readBody(schema, body2, tool, edge) {
 
 // ../define/src/tool/config.ts
 init_esm_shims();
+
+// ../define/src/tool/rung.ts
+init_esm_shims();
+var RUNGS = ["off", "warn", "new-code-only", "everywhere"];
+var readRung = external_exports.enum(["block", ...RUNGS]).transform((r) => r === "block" ? "new-code-only" : r);
+var RUNG_EFFECT = {
+  off: "not evaluated at all",
+  warn: "violations are reported, nothing is refused",
+  "new-code-only": "a violation a change adds refuses it; violations already on the trunk do not",
+  everywhere: "any violation on the trunk refuses a change, added by it or not"
+};
+
+// ../define/src/tool/config.ts
 var gapRow = external_exports.object({ construct: external_exports.string(), firstWitness: external_exports.string(), issue: external_exports.number(), recordedBy: external_exports.string(), recordedAt: external_exports.string() });
 var input = external_exports.object({
   set: external_exports.object({
     definitionId: external_exports.string().min(1),
-    disposition: external_exports.enum(["warn", "block", "off"]),
+    disposition: external_exports.enum(RUNGS),
     severity: external_exports.enum(["info", "low", "medium", "high", "critical"]).nullable().optional()
   }).optional()
 });
@@ -30522,17 +30535,17 @@ var configBody = external_exports.object({
   profile: external_exports.array(external_exports.object({
     definitionId: external_exports.string(),
     name: external_exports.string(),
-    disposition: external_exports.enum(["warn", "block", "off"]),
+    disposition: readRung,
     severity: external_exports.enum(["info", "low", "medium", "high", "critical"]).nullable(),
     setBy: external_exports.string(),
     setAt: external_exports.string()
   })),
-  defaultDisposition: external_exports.enum(["warn", "block", "off"]),
+  defaultDisposition: readRung,
   gaps: external_exports.array(gapRow)
 });
 var defineConfigTool = {
   name: "define_config",
-  description: "Read \u2014 or set \u2014 this tenant's DISPOSITION PROFILE: per definition, whether a violation blocks, only warns, or the definition is not evaluated at all. Called bare it is read-only and lists the definitions somebody has configured, with who set each and when. Pass `set: { definitionId, disposition }` to configure one \u2014 `block` refuses a land on violation (the DEFAULT for every definition nobody has configured), `warn` reports the violation on the land and refuses nothing, `off` means the definition is NOT EVALUATED and the conformance run names it as skipped. Optional `severity` (info|low|medium|high|critical) rides the row for your own triage; it changes nothing about blocking. This is CONFIG, not the definition: the definition stays a pure statement of what is true, and turning it off never edits or retires it \u2014 use define_ratify `supersede` to retire one. Your name is recorded automatically.",
+  description: "Read \u2014 or set \u2014 this tenant's DISPOSITION PROFILE: per definition, which rung of the ladder it is at. Called bare it is read-only and lists the definitions somebody has configured, with who set each and when. Pass `set: { definitionId, disposition }` to configure one. The rungs, weakest first: `off` means the definition is NOT EVALUATED and the conformance run names it as skipped; `warn` reports a violation and refuses nothing; `new-code-only` (the DEFAULT for every definition nobody has configured) fails a PR that adds a violation, and violations already on the trunk do not fail it; `everywhere` fails a PR while any violation of the definition is on the trunk, added by the PR or not. Optional `severity` (info|low|medium|high|critical) rides the row for your own triage; it changes nothing about blocking. This is CONFIG, not the definition: the definition stays a pure statement of what is true, and turning it off never edits or retires it \u2014 use define_ratify `supersede` to retire one. Your name is recorded automatically.",
   capability: "define",
   inputSchema: input.shape,
   async handler(raw, ctx) {
@@ -30555,8 +30568,7 @@ function renderConfig(r) {
   );
   for (const e of r.profile) {
     const severity = e.severity === null ? "" : `, severity ${e.severity}`;
-    const what = e.disposition === "block" ? "violations refuse a land" : e.disposition === "warn" ? "violations are reported, nothing is refused" : "not evaluated at all";
-    out2.push(`  \u2022 ${e.name} (${e.definitionId}): ${e.disposition}${severity} \u2014 ${what}; set by ${e.setBy} on ${e.setAt}`);
+    out2.push(`  \u2022 ${e.name} (${e.definitionId}): ${e.disposition}${severity} \u2014 ${RUNG_EFFECT[e.disposition]}; set by ${e.setBy} on ${e.setAt}`);
   }
   if (r.gaps.length === 0) {
     out2.push("gaps: none");
@@ -30596,7 +30608,7 @@ var definitionDraft = external_exports.object({
   }),
   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(),
+  rung: external_exports.object({ disposition: readRung, means: external_exports.string() }).optional(),
   conflicts: external_exports.literal("not checked")
 });
 var draftAt = external_exports.discriminatedUnion("state", [
@@ -30718,13 +30730,14 @@ var sliceResult = external_exports.union([
       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()
+      legs: external_exports.object({ nlVsCompiled: cloverLeg, compiledVsWitness: cloverLeg, nlVsWitness: cloverLeg }).optional(),
+      ourGaps: external_exports.array(ourGap).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, ourGaps: external_exports.array(ourGap).optional(), 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", [
@@ -30947,22 +30960,30 @@ 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")}`;
+var CLOVER_LEGS = [
+  ["nlVsCompiled", "the claim vs the definition in plain words"],
+  ["compiledVsWitness", "the definition vs its mutation evidence"],
+  ["nlVsWitness", "the claim vs what the definition does on the code"]
+];
+function cloverAdvice(c) {
+  const head = `Clover (advice): ${c.agreeCount} of 3 agree.`;
+  if (c.legs === void 0) return head;
+  const legs = c.legs;
+  const lines = CLOVER_LEGS.flatMap(([leg, name]) => legs[leg].outcome === "agree" ? [] : [`    \u2022 ${name} (${legs[leg].outcome}): ${legs[leg].reasoning.replace(/\s+/g, " ").trim()}`]);
+  const gaps = c.ourGaps ?? [];
+  const ours = gaps.length === 0 ? [] : [`    Abstaining checks had no evidence because of a gap on the platform's side, not something to fix in the definition:`, ...gaps.map((g3) => `      - ${g3.leg} \u2014 ours: ${g3.kind}: ${g3.reason}`)];
+  return [head, ...lines, ...ours].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 head = `admitted definition ${r.definitionId} v${r.version} in ${r.iterations} iteration(s). Clover: ${r.clover.agreeCount} agreeing${r.clover.agreed ? "" : " \u2014 no consensus"}.`;
+    const head = `admitted definition ${r.definitionId} v${r.version} in ${r.iterations} iteration(s).
+    ${cloverAdvice(r.clover)}`;
     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}`;
 }
@@ -31342,9 +31363,9 @@ var showViolation = external_exports.object({
   lastSeenAt: external_exports.string(),
   snooze: external_exports.object({ until: external_exports.string(), by: external_exports.string(), reason: external_exports.string(), lapsed: external_exports.boolean() }).nullable(),
   // The tenant's policy for the definition, beside the ledger's own state. `disposition` on this
-  // object is the LEDGER's (open/snoozed/resolved); this is warn/block/off.
+  // object is the LEDGER's (open/snoozed/resolved); this is the rung (off, warn, new-code-only, everywhere).
   policy: external_exports.object({
-    disposition: external_exports.enum(["warn", "block", "off"]),
+    disposition: readRung,
     severity: external_exports.enum(["info", "low", "medium", "high", "critical"]).nullable(),
     source: external_exports.enum(["profile", "default"])
   })
@@ -31467,7 +31488,7 @@ function violationLines(v) {
   const set2 = v.policy.source === "default" ? " (default \u2014 nobody configured it)" : "";
   const lines = [
     `  \u2022 ${v.repo}: ${v.status} [${v.disposition}] \u2014 first seen at ${v.firstSeenCommit} (${v.firstSeenAt}), last seen at ${v.lastSeenCommit} (${v.lastSeenAt})`,
-    `      policy: ${v.policy.disposition}${severity}${set2}` + (v.policy.disposition === "block" ? " \u2014 this violation refuses a land." : " \u2014 reported, refuses nothing.")
+    `      policy: ${v.policy.disposition}${severity}${set2} \u2014 ${RUNG_EFFECT[v.policy.disposition]}.`
   ];
   if (v.snooze !== null) {
     const lapsed = v.snooze.lapsed ? " (LAPSED \u2014 back in the gating lane)" : "";
@@ -48673,7 +48694,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.48";
+var version2 = "0.4.50";
 
 // src/server.ts
 var SERVER_VERSION = version2;

package/package.json

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