@subseam/mcp 0.4.47 → 0.4.49
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/main.js +19 -17
- package/package.json +1 -1
package/dist/main.js
CHANGED
|
@@ -20687,16 +20687,9 @@ init_esm_shims();
|
|
|
20687
20687
|
// ../verify/src/poll-until-terminal.ts
|
|
20688
20688
|
init_esm_shims();
|
|
20689
20689
|
|
|
20690
|
-
// ../verify/src/delta/delta-files.ts
|
|
20691
|
-
init_esm_shims();
|
|
20692
|
-
|
|
20693
20690
|
// ../verify/src/delta/pushed-head.ts
|
|
20694
20691
|
init_esm_shims();
|
|
20695
20692
|
|
|
20696
|
-
// ../verify/src/delta/walk-lag.ts
|
|
20697
|
-
init_esm_shims();
|
|
20698
|
-
var SCRATCH_BODY_LIMIT_BYTES = 64 * 1024 * 1024;
|
|
20699
|
-
|
|
20700
20693
|
// ../verify/src/service/gateway-verify.ts
|
|
20701
20694
|
init_esm_shims();
|
|
20702
20695
|
|
|
@@ -30725,13 +30718,14 @@ var sliceResult = external_exports.union([
|
|
|
30725
30718
|
agreed: external_exports.boolean(),
|
|
30726
30719
|
agreeCount: external_exports.number(),
|
|
30727
30720
|
// Optional so a core that predates per-leg outcomes still parses.
|
|
30728
|
-
legs: external_exports.object({ nlVsCompiled: cloverLeg, compiledVsWitness: cloverLeg, nlVsWitness: cloverLeg }).optional()
|
|
30721
|
+
legs: external_exports.object({ nlVsCompiled: cloverLeg, compiledVsWitness: cloverLeg, nlVsWitness: cloverLeg }).optional(),
|
|
30722
|
+
ourGaps: external_exports.array(ourGap).optional()
|
|
30729
30723
|
}),
|
|
30730
30724
|
iterations: external_exports.number(),
|
|
30731
30725
|
rungs: external_exports.array(rungReport).optional(),
|
|
30732
30726
|
draft: definitionDraft.optional()
|
|
30733
30727
|
}),
|
|
30734
|
-
external_exports.object({ ok: external_exports.literal(false), bestFailingCandidate: external_exports.unknown(), errors: compileErrors,
|
|
30728
|
+
external_exports.object({ ok: external_exports.literal(false), bestFailingCandidate: external_exports.unknown(), errors: compileErrors, iterations: external_exports.number(), rungs: external_exports.array(rungReport).optional() }),
|
|
30735
30729
|
external_exports.object({ ok: external_exports.literal(false), unavailable: external_exports.string() })
|
|
30736
30730
|
]);
|
|
30737
30731
|
var noteResult = external_exports.discriminatedUnion("kind", [
|
|
@@ -30954,22 +30948,30 @@ function renderAuthorJob(r) {
|
|
|
30954
30948
|
return `define: authoring job ${r.jobId} failed: ${r.error}`;
|
|
30955
30949
|
}
|
|
30956
30950
|
}
|
|
30957
|
-
|
|
30958
|
-
|
|
30959
|
-
|
|
30960
|
-
|
|
30951
|
+
var CLOVER_LEGS = [
|
|
30952
|
+
["nlVsCompiled", "the claim vs the definition in plain words"],
|
|
30953
|
+
["compiledVsWitness", "the definition vs its mutation evidence"],
|
|
30954
|
+
["nlVsWitness", "the claim vs what the definition does on the code"]
|
|
30955
|
+
];
|
|
30956
|
+
function cloverAdvice(c) {
|
|
30957
|
+
const head = `Clover (advice): ${c.agreeCount} of 3 agree.`;
|
|
30958
|
+
if (c.legs === void 0) return head;
|
|
30959
|
+
const legs = c.legs;
|
|
30960
|
+
const lines = CLOVER_LEGS.flatMap(([leg, name]) => legs[leg].outcome === "agree" ? [] : [` \u2022 ${name} (${legs[leg].outcome}): ${legs[leg].reasoning.replace(/\s+/g, " ").trim()}`]);
|
|
30961
|
+
const gaps = c.ourGaps ?? [];
|
|
30962
|
+
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}`)];
|
|
30963
|
+
return [head, ...lines, ...ours].join("\n");
|
|
30961
30964
|
}
|
|
30962
30965
|
function renderSlice(r) {
|
|
30963
30966
|
if ("unavailable" in r) return `could not be authored: ${r.unavailable}`;
|
|
30964
30967
|
const rungs = r.rungs === void 0 || r.rungs.length === 0 ? "" : `
|
|
30965
30968
|
Model calls: ${rungLine(r.rungs)}`;
|
|
30966
30969
|
if (r.ok) {
|
|
30967
|
-
const head = `admitted definition ${r.definitionId} v${r.version} in ${r.iterations} iteration(s).
|
|
30970
|
+
const head = `admitted definition ${r.definitionId} v${r.version} in ${r.iterations} iteration(s).
|
|
30971
|
+
${cloverAdvice(r.clover)}`;
|
|
30968
30972
|
return (r.draft === void 0 ? head : `${head}
|
|
30969
30973
|
${renderDraft(r.draft)}`) + rungs;
|
|
30970
30974
|
}
|
|
30971
|
-
if (r.errors.some((e) => e.code === "CLOVER_ABSTAINED")) return `not admitted: it needs a person. No check disagreed; ${ourGapLines(r.ourGaps)}
|
|
30972
|
-
${errorLines(r.errors)}${rungs}`;
|
|
30973
30975
|
return `could not converge in ${r.iterations} iteration(s). Best-failing candidate's errors \u2014
|
|
30974
30976
|
${errorLines(r.errors)}${rungs}`;
|
|
30975
30977
|
}
|
|
@@ -48680,7 +48682,7 @@ var workReadTools = createWorkReadToolProviders({ capability: "work" });
|
|
|
48680
48682
|
var bundledProviders = [src_default2, src_default, tension_default, ...defineTools, ...decisionTools, ...captureTools, ...buildTools, secureTool, ...workTools, ...workReadTools];
|
|
48681
48683
|
|
|
48682
48684
|
// package.json
|
|
48683
|
-
var version2 = "0.4.
|
|
48685
|
+
var version2 = "0.4.49";
|
|
48684
48686
|
|
|
48685
48687
|
// src/server.ts
|
|
48686
48688
|
var SERVER_VERSION = version2;
|