@mcp-index/sdk 0.1.0

package/dist/src/schemaDiff.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Structured schema-object diff classifier — a faithful port of Python
+ * `tooling/cse/schema_diff.py`. Pure + deterministic + total: any structural
+ * surprise degrades to "no signal" rather than throwing (inputs are attacker-
+ * derived self-descriptions). The safety bit is DERIVED from the kind (single
+ * source of truth), so the two can never disagree.
+ */
+export declare enum ChangeKind {
+    ADDED_OPTIONAL_PARAM = "added-optional-param",
+    ADDED_REQUIRED_PARAM = "added-required-param",
+    REMOVED_PARAM = "removed-param",
+    TYPE_CHANGED = "type-changed",
+    ENUM_VALUES_REMOVED = "enum-values-removed",
+    CONSTRAINT_NARROWED = "constraint-narrowed",
+    REQUIRED_SET_EXPANDED = "required-set-expanded",
+    ANNOTATION_FLIP_TO_DESTRUCTIVE = "annotation-flip-to-destructive",
+    OUTPUT_SCHEMA_ADDED = "output-schema-added",
+    OUTPUT_SCHEMA_CHANGED = "output-schema-changed",
+    TOOL_ADDED = "tool-added",
+    TOOL_REMOVED = "tool-removed",
+    DESCRIPTION_ONLY = "description-only",
+    DEEP_SCHEMA_UNDIFFABLE = "deep-schema-undiffable"
+}
+export declare const MAX_DEPTH = 16;
+export interface Change {
+    readonly kind: ChangeKind;
+    readonly path: string;
+    readonly safetyRelevant: boolean;
+    readonly detail: string;
+}
+export declare function isSafetyRelevant(kind: ChangeKind): boolean;
+/** Classify every delta between two PUBLIC tool definitions into the taxonomy.
+ * Total: a structural surprise degrades to no-signal. Mirrors
+ * `schema_diff.classify_change`. */
+export declare function classifyChange(oldTool: Record<string, unknown>, newTool: Record<string, unknown>): Change[];
+//# sourceMappingURL=schemaDiff.d.ts.map

package/dist/src/schemaDiff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaDiff.d.ts","sourceRoot":"","sources":["../../src/schemaDiff.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,oBAAY,UAAU;IACpB,oBAAoB,yBAAyB;IAC7C,oBAAoB,yBAAyB;IAC7C,aAAa,kBAAkB;IAC/B,YAAY,iBAAiB;IAC7B,mBAAmB,wBAAwB;IAC3C,mBAAmB,wBAAwB;IAC3C,qBAAqB,0BAA0B;IAC/C,8BAA8B,mCAAmC;IACjE,mBAAmB,wBAAwB;IAC3C,qBAAqB,0BAA0B;IAC/C,UAAU,eAAe;IACzB,YAAY,iBAAiB;IAC7B,gBAAgB,qBAAqB;IACrC,sBAAsB,2BAA2B;CAClD;AAeD,eAAO,MAAM,SAAS,KAAK,CAAC;AAE5B,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAE1D;AAwdD;;oCAEoC;AACpC,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,MAAM,EAAE,CA2CV"}

package/dist/src/schemaDiff.js

@@ -0,0 +1,448 @@
+/**
+ * Structured schema-object diff classifier — a faithful port of Python
+ * `tooling/cse/schema_diff.py`. Pure + deterministic + total: any structural
+ * surprise degrades to "no signal" rather than throwing (inputs are attacker-
+ * derived self-descriptions). The safety bit is DERIVED from the kind (single
+ * source of truth), so the two can never disagree.
+ */
+export var ChangeKind;
+(function (ChangeKind) {
+    ChangeKind["ADDED_OPTIONAL_PARAM"] = "added-optional-param";
+    ChangeKind["ADDED_REQUIRED_PARAM"] = "added-required-param";
+    ChangeKind["REMOVED_PARAM"] = "removed-param";
+    ChangeKind["TYPE_CHANGED"] = "type-changed";
+    ChangeKind["ENUM_VALUES_REMOVED"] = "enum-values-removed";
+    ChangeKind["CONSTRAINT_NARROWED"] = "constraint-narrowed";
+    ChangeKind["REQUIRED_SET_EXPANDED"] = "required-set-expanded";
+    ChangeKind["ANNOTATION_FLIP_TO_DESTRUCTIVE"] = "annotation-flip-to-destructive";
+    ChangeKind["OUTPUT_SCHEMA_ADDED"] = "output-schema-added";
+    ChangeKind["OUTPUT_SCHEMA_CHANGED"] = "output-schema-changed";
+    ChangeKind["TOOL_ADDED"] = "tool-added";
+    ChangeKind["TOOL_REMOVED"] = "tool-removed";
+    ChangeKind["DESCRIPTION_ONLY"] = "description-only";
+    ChangeKind["DEEP_SCHEMA_UNDIFFABLE"] = "deep-schema-undiffable";
+})(ChangeKind || (ChangeKind = {}));
+const SAFETY_RELEVANT = new Set([
+    ChangeKind.ADDED_REQUIRED_PARAM,
+    ChangeKind.REMOVED_PARAM,
+    ChangeKind.TYPE_CHANGED,
+    ChangeKind.ENUM_VALUES_REMOVED,
+    ChangeKind.CONSTRAINT_NARROWED,
+    ChangeKind.REQUIRED_SET_EXPANDED,
+    ChangeKind.ANNOTATION_FLIP_TO_DESTRUCTIVE,
+    ChangeKind.OUTPUT_SCHEMA_CHANGED,
+    ChangeKind.TOOL_REMOVED,
+    ChangeKind.DEEP_SCHEMA_UNDIFFABLE,
+]);
+export const MAX_DEPTH = 16;
+export function isSafetyRelevant(kind) {
+    return SAFETY_RELEVANT.has(kind);
+}
+function mk(kind, path, detail) {
+    return { kind, path, safetyRelevant: SAFETY_RELEVANT.has(kind), detail };
+}
+function isDict(v) {
+    return v !== null && typeof v === "object" && !Array.isArray(v);
+}
+function props(schema) {
+    const p = schema["properties"];
+    return isDict(p) ? p : {};
+}
+const COMBINATOR_KEYS = ["allOf", "anyOf", "oneOf"];
+function required(schema) {
+    // EFFECTIVE required set: the top-level `required` UNIONED with `required`
+    // collected from combinator branches (allOf/anyOf/oneOf). A param made required
+    // ONLY inside a branch is still required to call the tool; reading only the
+    // top-level `required` would misclassify a newly-added such param as OPTIONAL and
+    // auto-accept it (FIX 3). Fail SAFE: required in ANY branch -> treated as required.
+    // Mirrors Python `schema_diff._required`.
+    const out = new Set();
+    const r = schema["required"];
+    if (Array.isArray(r)) {
+        for (const x of r)
+            if (typeof x === "string")
+                out.add(x);
+    }
+    for (const key of COMBINATOR_KEYS) {
+        const branches = schema[key];
+        if (!Array.isArray(branches))
+            continue;
+        for (const branch of branches) {
+            if (!isDict(branch))
+                continue;
+            const br = branch["required"];
+            if (Array.isArray(br)) {
+                for (const x of br)
+                    if (typeof x === "string")
+                        out.add(x);
+            }
+        }
+    }
+    return out;
+}
+/** Property schemas declared INSIDE a combinator branch (allOf/anyOf/oneOf), keyed
+ * by name, so a param introduced only by a branch is still SEEN by the object differ
+ * (FIX 3). Later branches win on a name clash (value unused for classification).
+ * Mirrors Python `schema_diff._combinator_props`. */
+function combinatorProps(schema) {
+    const out = {};
+    for (const key of COMBINATOR_KEYS) {
+        const branches = schema[key];
+        if (!Array.isArray(branches))
+            continue;
+        for (const branch of branches) {
+            if (isDict(branch)) {
+                const bp = branch["properties"];
+                if (isDict(bp))
+                    Object.assign(out, bp);
+            }
+        }
+    }
+    return out;
+}
+/** True iff the object schema carries any allOf/anyOf/oneOf combinator the top-level
+ * property differ does not fully model — the signal to FAIL SAFE on an added param.
+ * Mirrors Python `schema_diff._has_combinator`. */
+function hasCombinator(schema) {
+    return COMBINATOR_KEYS.some((k) => Array.isArray(schema[k]));
+}
+function reprValue(x) {
+    // A total, order-independent stringification of an enum member for set
+    // membership. TYPE-TAGGED so distinct-typed primitives never collapse: Python's
+    // `frozenset([1, "1"])` keeps `1` and `"1"` apart (hash by type), but JS
+    // `String(1) === "1"` would merge them — fixing toward FLAGGING (a real
+    // enum-narrowing on mixed-type enums is no longer masked as a no-op). The tag is
+    // the JS `typeof` (or "null"/"array"); objects/arrays use JSON of their value.
+    if (x === null)
+        return "null:";
+    if (Array.isArray(x)) {
+        try {
+            return `array:${JSON.stringify(x)}`;
+        }
+        catch {
+            return `array:${String(x)}`;
+        }
+    }
+    const tag = typeof x;
+    if (tag === "object") {
+        try {
+            return `object:${JSON.stringify(x)}`;
+        }
+        catch {
+            return `object:${String(x)}`;
+        }
+    }
+    return `${tag}:${String(x)}`;
+}
+function typeSignature(prop) {
+    if (!isDict(prop))
+        return { t: null, enumSet: null, ref: null };
+    const rawT = prop["type"];
+    let t;
+    if (Array.isArray(rawT)) {
+        t = rawT.map((x) => String(x)).sort();
+    }
+    else {
+        t = rawT === undefined ? null : rawT;
+    }
+    const e = prop["enum"];
+    let enumSet = null;
+    if (Array.isArray(e)) {
+        enumSet = new Map(e.map((x) => [reprValue(x), x]));
+    }
+    const ref = prop["$ref"] ?? null;
+    return { t, enumSet, ref };
+}
+function typeEqual(a, b) {
+    if (Array.isArray(a) && Array.isArray(b)) {
+        return a.length === b.length && a.every((v, i) => v === b[i]);
+    }
+    return a === b;
+}
+function strFacet(prop, key) {
+    if (!isDict(prop))
+        return null;
+    return prop[key] ?? null;
+}
+function isRealNumber(v) {
+    return typeof v === "number" && Number.isFinite(v);
+}
+function classifyConstraintDelta(path, oldProp, newProp) {
+    const oldPat = strFacet(oldProp, "pattern");
+    const newPat = strFacet(newProp, "pattern");
+    if (typeof newPat === "string" && newPat !== oldPat) {
+        return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.pattern`, `string pattern added/tightened: ${reprPy(oldPat)} -> ${reprPy(newPat)}`);
+    }
+    const oldMin = isDict(oldProp) ? oldProp["minLength"] : null;
+    const newMin = isDict(newProp) ? newProp["minLength"] : null;
+    if (isRealNumber(newMin)) {
+        if (!isRealNumber(oldMin)) {
+            return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.minLength`, `minLength added: ${newMin}`);
+        }
+        if (newMin > oldMin) {
+            return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.minLength`, `minLength increased: ${oldMin} -> ${newMin}`);
+        }
+    }
+    const oldMax = isDict(oldProp) ? oldProp["maxLength"] : null;
+    const newMax = isDict(newProp) ? newProp["maxLength"] : null;
+    if (isRealNumber(newMax)) {
+        if (!isRealNumber(oldMax)) {
+            return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.maxLength`, `maxLength added: ${newMax}`);
+        }
+        if (newMax < oldMax) {
+            return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.maxLength`, `maxLength decreased: ${oldMax} -> ${newMax}`);
+        }
+    }
+    const oldFmt = strFacet(oldProp, "format");
+    const newFmt = strFacet(newProp, "format");
+    if (typeof newFmt === "string" && newFmt !== oldFmt) {
+        return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.format`, `string format added/changed: ${reprPy(oldFmt)} -> ${reprPy(newFmt)}`);
+    }
+    // Numeric/array bound narrowing (FIX 1 defense-in-depth). The canonical hash
+    // already includes these facets, so narrowing one CHANGES the hash and reaches the
+    // gate — but if the differ does not MODEL the facet, classifyChange returns an EMPTY
+    // list and the gate (mis)reads "all allowlisted -> PROVEN BENIGN". Modeling them
+    // here makes the diff NON-EMPTY and explanatory; narrowing an input constraint can
+    // break existing callers -> CONSTRAINT_NARROWED (breaking, NOT auto-accepted).
+    const numeric = classifyNumericBoundDelta(path, oldProp, newProp);
+    if (numeric !== null)
+        return numeric;
+    const array = classifyArrayBoundDelta(path, oldProp, newProp);
+    if (array !== null)
+        return array;
+    // additionalProperties: true/absent -> false is a NARROWING (extra keys a caller
+    // used to be allowed to send are now rejected). false/dict -> true is a loosening
+    // (ignored). A dict additionalProperties is not modeled beyond true->false.
+    const oldAp = isDict(oldProp) ? oldProp["additionalProperties"] : undefined;
+    const newAp = isDict(newProp) ? newProp["additionalProperties"] : undefined;
+    if (newAp === false && oldAp !== false) {
+        return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.additionalProperties`, `additionalProperties narrowed: ${reprPy(oldAp ?? null)} -> False (extra properties no longer accepted)`);
+    }
+    return null;
+}
+/** A numeric facet of a property schema as a real number, or null when absent /
+ * non-numeric / boolean (a bool is not a numeric bound). Mirrors `_num_facet`. */
+function numFacet(prop, key) {
+    if (!isDict(prop))
+        return null;
+    const v = prop[key];
+    if (typeof v === "boolean")
+        return null;
+    if (typeof v === "number" && Number.isFinite(v))
+        return v;
+    return null;
+}
+/** Numeric-bound NARROWING (FIX 1): `minimum`/`exclusiveMinimum` added or increased;
+ * `maximum`/`exclusiveMaximum` added or decreased; `multipleOf` added or changed.
+ * Loosening returns null. Returns the single most-severe narrowing. Mirrors
+ * `_classify_numeric_bound_delta`. */
+function classifyNumericBoundDelta(path, oldProp, newProp) {
+    for (const facet of ["minimum", "exclusiveMinimum"]) {
+        const oldV = numFacet(oldProp, facet);
+        const newV = numFacet(newProp, facet);
+        if (newV !== null && (oldV === null || newV > oldV)) {
+            return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.${facet}`, `${facet} added/raised: ${reprPy(oldV ?? null)} -> ${newV}`);
+        }
+    }
+    for (const facet of ["maximum", "exclusiveMaximum"]) {
+        const oldV = numFacet(oldProp, facet);
+        const newV = numFacet(newProp, facet);
+        if (newV !== null && (oldV === null || newV < oldV)) {
+            return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.${facet}`, `${facet} added/lowered: ${reprPy(oldV ?? null)} -> ${newV}`);
+        }
+    }
+    const oldMul = numFacet(oldProp, "multipleOf");
+    const newMul = numFacet(newProp, "multipleOf");
+    if (newMul !== null && newMul !== oldMul) {
+        return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.multipleOf`, `multipleOf added/changed: ${reprPy(oldMul ?? null)} -> ${newMul}`);
+    }
+    return null;
+}
+/** Array-bound NARROWING (FIX 1): `minItems` added or increased; `maxItems` added or
+ * decreased. Loosening returns null. Mirrors `_classify_array_bound_delta`. */
+function classifyArrayBoundDelta(path, oldProp, newProp) {
+    const oldMin = numFacet(oldProp, "minItems");
+    const newMin = numFacet(newProp, "minItems");
+    if (newMin !== null && (oldMin === null || newMin > oldMin)) {
+        return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.minItems`, `minItems added/raised: ${reprPy(oldMin ?? null)} -> ${newMin}`);
+    }
+    const oldMax = numFacet(oldProp, "maxItems");
+    const newMax = numFacet(newProp, "maxItems");
+    if (newMax !== null && (oldMax === null || newMax < oldMax)) {
+        return mk(ChangeKind.CONSTRAINT_NARROWED, `${path}.maxItems`, `maxItems added/lowered: ${reprPy(oldMax ?? null)} -> ${newMax}`);
+    }
+    return null;
+}
+/** A Python-`repr`-ish rendering for detail strings (so detail text matches the
+ * Python classifier's `!r` formatting closely enough for human reading). */
+function reprPy(v) {
+    if (v === null || v === undefined)
+        return "None";
+    if (typeof v === "string")
+        return `'${v}'`;
+    return String(v);
+}
+function classifyParamTypeDelta(path, oldProp, newProp) {
+    const oldSig = typeSignature(oldProp);
+    const newSig = typeSignature(newProp);
+    if (oldSig.ref !== newSig.ref) {
+        return mk(ChangeKind.TYPE_CHANGED, `${path}.$ref`, `$ref changed: ${reprPy(oldSig.ref)} -> ${reprPy(newSig.ref)}`);
+    }
+    if (oldSig.enumSet !== null && newSig.enumSet !== null) {
+        // Membership compared by TYPE-TAGGED key (so `1` !== `"1"`); the detail renders
+        // the ORIGINAL value untagged (parity with Python's `sorted(map(str, removed))`).
+        const newKeys = newSig.enumSet;
+        const removed = [...oldSig.enumSet].filter(([k]) => !newKeys.has(k)).map(([, v]) => v);
+        if (removed.length > 0) {
+            return mk(ChangeKind.ENUM_VALUES_REMOVED, `${path}.enum`, `enum values removed: ${JSON.stringify(removed.map(String).sort())}`);
+        }
+    }
+    if (oldSig.enumSet === null && newSig.enumSet !== null) {
+        return mk(ChangeKind.TYPE_CHANGED, path, "narrowed: free value constrained to an enum");
+    }
+    if (!typeEqual(oldSig.t, newSig.t)) {
+        return mk(ChangeKind.TYPE_CHANGED, `${path}.type`, `type changed: ${reprPy(oldSig.t)} -> ${reprPy(newSig.t)}`);
+    }
+    return classifyConstraintDelta(path, oldProp, newProp);
+}
+function jsonEqual(a, b) {
+    if (isDict(a) && isDict(b)) {
+        const ak = Object.keys(a);
+        const bk = Object.keys(b);
+        if (ak.length !== bk.length)
+            return false;
+        const bs = new Set(bk);
+        for (const k of ak) {
+            if (!bs.has(k))
+                return false;
+            if (!jsonEqual(a[k], b[k]))
+                return false;
+        }
+        return true;
+    }
+    if (Array.isArray(a) && Array.isArray(b)) {
+        return a.length === b.length && a.every((x, i) => jsonEqual(x, b[i]));
+    }
+    return a === b;
+}
+function undiffableAtBound(oldV, newV, path) {
+    if (jsonEqual(oldV, newV))
+        return [];
+    return [
+        mk(ChangeKind.DEEP_SCHEMA_UNDIFFABLE, path, `schema nesting exceeds MAX_DEPTH=${MAX_DEPTH} and the subtrees differ; ` +
+            "deeper delta not classifiable, flagged conservatively"),
+    ];
+}
+function diffObjectSchema(oldSchema, newSchema, path, depth) {
+    if (depth > MAX_DEPTH)
+        return undiffableAtBound(oldSchema, newSchema, path);
+    const changes = [];
+    // Combinator-scoped properties are folded into the name sets so a param introduced
+    // ONLY by an allOf/anyOf/oneOf branch is still SEEN by the differ (FIX 3).
+    const oldProps = { ...combinatorProps(oldSchema), ...props(oldSchema) };
+    const newProps = { ...combinatorProps(newSchema), ...props(newSchema) };
+    const oldReq = required(oldSchema);
+    const newReq = required(newSchema);
+    const oldNames = new Set(Object.keys(oldProps));
+    const newNames = new Set(Object.keys(newProps));
+    // FAIL-SAFE: the NEW schema uses a combinator the differ cannot fully model — an
+    // added param under it is classified REQUIRED (the safe over-classification).
+    const newHasCombinator = hasCombinator(newSchema);
+    for (const name of [...oldNames].filter((n) => !newNames.has(n)).sort()) {
+        changes.push(mk(ChangeKind.REMOVED_PARAM, `${path}.${name}`, "parameter removed (or renamed away)"));
+    }
+    for (const name of [...newNames].filter((n) => !oldNames.has(n)).sort()) {
+        if (newReq.has(name)) {
+            changes.push(mk(ChangeKind.ADDED_REQUIRED_PARAM, `${path}.${name}`, "new REQUIRED parameter; existing callers omit it"));
+        }
+        else if (newHasCombinator) {
+            changes.push(mk(ChangeKind.ADDED_REQUIRED_PARAM, `${path}.${name}`, "new parameter under an allOf/anyOf/oneOf combinator the differ cannot fully model; classified REQUIRED fail-safe (cannot prove optional)"));
+        }
+        else {
+            changes.push(mk(ChangeKind.ADDED_OPTIONAL_PARAM, `${path}.${name}`, "new optional parameter"));
+        }
+    }
+    for (const name of [...oldNames].filter((n) => newNames.has(n)).sort()) {
+        const childPath = `${path}.${name}`;
+        const oldP = oldProps[name];
+        const newP = newProps[name];
+        const delta = classifyParamTypeDelta(childPath, oldP, newP);
+        if (delta !== null)
+            changes.push(delta);
+        if (isDict(oldP) && isDict(newP)) {
+            changes.push(...diffNested(oldP, newP, childPath, depth + 1));
+        }
+    }
+    const newlyRequired = [...newReq].filter((n) => !oldReq.has(n) && oldNames.has(n) && newNames.has(n));
+    for (const name of newlyRequired.sort()) {
+        changes.push(mk(ChangeKind.REQUIRED_SET_EXPANDED, `${path}.${name}.required`, "existing optional parameter became required"));
+    }
+    return changes;
+}
+function diffNested(oldP, newP, path, depth) {
+    if (depth > MAX_DEPTH)
+        return undiffableAtBound(oldP, newP, path);
+    const changes = [];
+    if (isDict(oldP["properties"]) && isDict(newP["properties"])) {
+        changes.push(...diffObjectSchema(oldP, newP, `${path}.properties`, depth + 1));
+    }
+    const oldItems = oldP["items"];
+    const newItems = newP["items"];
+    if (isDict(oldItems) && isDict(newItems)) {
+        const itemPath = `${path}.items`;
+        const delta = classifyParamTypeDelta(itemPath, oldItems, newItems);
+        if (delta !== null)
+            changes.push(delta);
+        changes.push(...diffNested(oldItems, newItems, itemPath, depth + 1));
+    }
+    return changes;
+}
+function annotationFlip(oldAnn, newAnn) {
+    const oldDest = oldAnn["destructiveHint"];
+    const newDest = newAnn["destructiveHint"];
+    if (oldDest !== true && newDest === true) {
+        return mk(ChangeKind.ANNOTATION_FLIP_TO_DESTRUCTIVE, "annotations.destructiveHint", "destructiveHint gained true (was absent/None/False)");
+    }
+    const oldRo = oldAnn["readOnlyHint"];
+    const newRo = newAnn["readOnlyHint"];
+    if (oldRo === true && newRo !== true) {
+        return mk(ChangeKind.ANNOTATION_FLIP_TO_DESTRUCTIVE, "annotations.readOnlyHint", "readOnlyHint dropped (was true, now absent/None/False)");
+    }
+    return null;
+}
+function dictish(v) {
+    return isDict(v) ? v : {};
+}
+/** Classify every delta between two PUBLIC tool definitions into the taxonomy.
+ * Total: a structural surprise degrades to no-signal. Mirrors
+ * `schema_diff.classify_change`. */
+export function classifyChange(oldTool, newTool) {
+    const changes = [];
+    const oldIn = dictish(oldTool["inputSchema"]);
+    const newIn = dictish(newTool["inputSchema"]);
+    changes.push(...diffObjectSchema(oldIn, newIn, "properties", 0));
+    const ann = annotationFlip(dictish(oldTool["annotations"]), dictish(newTool["annotations"]));
+    if (ann !== null)
+        changes.push(ann);
+    const oldOut = oldTool["outputSchema"];
+    const newOut = newTool["outputSchema"];
+    const oldOutPresent = oldOut !== undefined && oldOut !== null;
+    const newOutPresent = newOut !== undefined && newOut !== null;
+    if ((oldOutPresent || newOutPresent) && !jsonEqual(oldOut ?? null, newOut ?? null)) {
+        if (!oldOutPresent) {
+            changes.push(mk(ChangeKind.OUTPUT_SCHEMA_ADDED, "outputSchema", "result schema documented for the first time; additive, no prior shape for a parser to depend on"));
+        }
+        else {
+            changes.push(mk(ChangeKind.OUTPUT_SCHEMA_CHANGED, "outputSchema", "result schema changed; structured-output parsers may break"));
+        }
+    }
+    if (changes.length === 0) {
+        const oldDesc = oldTool["description"] === undefined || oldTool["description"] === null ? "" : String(oldTool["description"]);
+        const newDesc = newTool["description"] === undefined || newTool["description"] === null ? "" : String(newTool["description"]);
+        if (oldDesc !== newDesc) {
+            changes.push(mk(ChangeKind.DESCRIPTION_ONLY, "description", "description text changed; no structural delta"));
+        }
+    }
+    return changes;
+}
+//# sourceMappingURL=schemaDiff.js.map

package/dist/src/schemaDiff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaDiff.js","sourceRoot":"","sources":["../../src/schemaDiff.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,MAAM,CAAN,IAAY,UAeX;AAfD,WAAY,UAAU;IACpB,2DAA6C,CAAA;IAC7C,2DAA6C,CAAA;IAC7C,6CAA+B,CAAA;IAC/B,2CAA6B,CAAA;IAC7B,yDAA2C,CAAA;IAC3C,yDAA2C,CAAA;IAC3C,6DAA+C,CAAA;IAC/C,+EAAiE,CAAA;IACjE,yDAA2C,CAAA;IAC3C,6DAA+C,CAAA;IAC/C,uCAAyB,CAAA;IACzB,2CAA6B,CAAA;IAC7B,mDAAqC,CAAA;IACrC,+DAAiD,CAAA;AACnD,CAAC,EAfW,UAAU,KAAV,UAAU,QAerB;AAED,MAAM,eAAe,GAA4B,IAAI,GAAG,CAAC;IACvD,UAAU,CAAC,oBAAoB;IAC/B,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,YAAY;IACvB,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,qBAAqB;IAChC,UAAU,CAAC,8BAA8B;IACzC,UAAU,CAAC,qBAAqB;IAChC,UAAU,CAAC,YAAY;IACvB,UAAU,CAAC,sBAAsB;CAClC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,CAAC;AAS5B,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,EAAE,CAAC,IAAgB,EAAE,IAAY,EAAE,MAAc;IACxD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;AAC3E,CAAC;AAID,SAAS,MAAM,CAAC,CAAU;IACxB,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,KAAK,CAAC,MAAY;IACzB,MAAM,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAU,CAAC;AAE7D,SAAS,QAAQ,CAAC,MAAY;IAC5B,2EAA2E;IAC3E,gFAAgF;IAChF,4EAA4E;IAC5E,kFAAkF;IAClF,oFAAoF;IACpF,0CAA0C;IAC1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,SAAS;QACvC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;YAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,MAAM,CAAC,IAAI,EAAE;oBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;qDAGqD;AACrD,SAAS,eAAe,CAAC,MAAY;IACnC,MAAM,GAAG,GAAS,EAAE,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,SAAS;QACvC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;gBAChC,IAAI,MAAM,CAAC,EAAE,CAAC;oBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;mDAEmD;AACnD,SAAS,aAAa,CAAC,MAAY;IACjC,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAYD,SAAS,SAAS,CAAC,CAAU;IAC3B,uEAAuE;IACvE,gFAAgF;IAChF,yEAAyE;IACzE,wEAAwE;IACxE,iFAAiF;IACjF,+EAA+E;IAC/E,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC;IACrB,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,UAAU,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,IAAI,CAA2B,CAAC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,CAAC;SAAM,CAAC;QACN,CAAC,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,IAAe,CAAC;IACnD,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,OAAO,GAAgC,IAAI,CAAC;IAChD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAqB,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IACjC,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,SAAS,CAAC,CAA2B,EAAE,CAA2B;IACzE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAa,EAAE,GAAW;IAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAY,EACZ,OAAgB,EAChB,OAAgB;IAEhB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC5C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,EAAE,CACP,UAAU,CAAC,mBAAmB,EAC9B,GAAG,IAAI,UAAU,EACjB,mCAAmC,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CACzE,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,YAAY,EAAE,oBAAoB,MAAM,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;YACpB,OAAO,EAAE,CACP,UAAU,CAAC,mBAAmB,EAC9B,GAAG,IAAI,YAAY,EACnB,wBAAwB,MAAM,OAAO,MAAM,EAAE,CAC9C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,YAAY,EAAE,oBAAoB,MAAM,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;YACpB,OAAO,EAAE,CACP,UAAU,CAAC,mBAAmB,EAC9B,GAAG,IAAI,YAAY,EACnB,wBAAwB,MAAM,OAAO,MAAM,EAAE,CAC9C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,EAAE,CACP,UAAU,CAAC,mBAAmB,EAC9B,GAAG,IAAI,SAAS,EAChB,gCAAgC,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CACtE,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,mFAAmF;IACnF,qFAAqF;IACrF,iFAAiF;IACjF,mFAAmF;IACnF,+EAA+E;IAC/E,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAClE,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IACrC,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAEjC,iFAAiF;IACjF,kFAAkF;IAClF,4EAA4E;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACvC,OAAO,EAAE,CACP,UAAU,CAAC,mBAAmB,EAC9B,GAAG,IAAI,uBAAuB,EAC9B,kCAAkC,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,iDAAiD,CACzG,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;kFACkF;AAClF,SAAS,QAAQ,CAAC,IAAa,EAAE,GAAW;IAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC1D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;sCAGsC;AACtC,SAAS,yBAAyB,CAAC,IAAY,EAAE,OAAgB,EAAE,OAAgB;IACjF,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACpD,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,GAAG,KAAK,kBAAkB,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC7H,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACpD,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,GAAG,KAAK,mBAAmB,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC9H,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACzC,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,aAAa,EAAE,6BAA6B,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;+EAC+E;AAC/E,SAAS,uBAAuB,CAAC,IAAY,EAAE,OAAgB,EAAE,OAAgB;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,WAAW,EAAE,0BAA0B,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;IACjI,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,EAAE,GAAG,IAAI,WAAW,EAAE,2BAA2B,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;IAClI,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;4EAC4E;AAC5E,SAAS,MAAM,CAAC,CAAU;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC;IAC3C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAY,EACZ,OAAgB,EAChB,OAAgB;IAEhB,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAEtC,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC;QAC9B,OAAO,EAAE,CACP,UAAU,CAAC,YAAY,EACvB,GAAG,IAAI,OAAO,EACd,iBAAiB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAC/D,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACvD,gFAAgF;QAChF,kFAAkF;QAClF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QAC/B,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,CACP,UAAU,CAAC,mBAAmB,EAC9B,GAAG,IAAI,OAAO,EACd,wBAAwB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACvD,OAAO,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;IAC1F,CAAC;IAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,CACP,UAAU,CAAC,YAAY,EACvB,GAAG,IAAI,OAAO,EACd,iBAAiB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC3D,CAAC;IACJ,CAAC;IAED,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,IAAa,EAAE,IAAY;IACnE,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,OAAO;QACL,EAAE,CACA,UAAU,CAAC,sBAAsB,EACjC,IAAI,EACJ,oCAAoC,SAAS,4BAA4B;YACvE,uDAAuD,CAC1D;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAe,EACf,SAAe,EACf,IAAY,EACZ,KAAa;IAEb,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAE5E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,mFAAmF;IACnF,2EAA2E;IAC3E,MAAM,QAAQ,GAAS,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;IAC9E,MAAM,QAAQ,GAAS,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;IAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,iFAAiF;IACjF,8EAA8E;IAC9E,MAAM,gBAAgB,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,qCAAqC,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,IAAI,CACV,EAAE,CAAC,UAAU,CAAC,oBAAoB,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,kDAAkD,CAAC,CAC3G,CAAC;QACJ,CAAC;aAAM,IAAI,gBAAgB,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CACV,EAAE,CACA,UAAU,CAAC,oBAAoB,EAC/B,GAAG,IAAI,IAAI,IAAI,EAAE,EACjB,0IAA0I,CAC3I,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,oBAAoB,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACvE,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAC5D,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC;QACxC,OAAO,CAAC,IAAI,CACV,EAAE,CAAC,UAAU,CAAC,qBAAqB,EAAE,GAAG,IAAI,IAAI,IAAI,WAAW,EAAE,6CAA6C,CAAC,CAChH,CAAC;IACJ,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,UAAU,CAAC,IAAU,EAAE,IAAU,EAAE,IAAY,EAAE,KAAa;IACrE,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAElE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,aAAa,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,GAAG,IAAI,QAAQ,CAAC;QACjC,MAAM,KAAK,GAAG,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,MAAY,EAAE,MAAY;IAChD,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACzC,OAAO,EAAE,CACP,UAAU,CAAC,8BAA8B,EACzC,6BAA6B,EAC7B,qDAAqD,CACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACrC,OAAO,EAAE,CACP,UAAU,CAAC,8BAA8B,EACzC,0BAA0B,EAC1B,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,CAAU;IACzB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5B,CAAC;AAED;;oCAEoC;AACpC,MAAM,UAAU,cAAc,CAC5B,OAAgC,EAChC,OAAgC;IAEhC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAC9C,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IAEjE,MAAM,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC7F,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEpC,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IACvC,MAAM,aAAa,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,CAAC;IAC9D,MAAM,aAAa,GAAG,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,CAAC;IAC9D,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,CACV,EAAE,CACA,UAAU,CAAC,mBAAmB,EAC9B,cAAc,EACd,iGAAiG,CAClG,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CACV,EAAE,CACA,UAAU,CAAC,qBAAqB,EAChC,cAAc,EACd,4DAA4D,CAC7D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QAC9H,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QAC9H,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,aAAa,EAAE,+CAA+C,CAAC,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/src/wrap.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Pre-flight drift INTERCEPTOR — the TypeScript SDK-wrapper surface, at parity
+ * with Python `tooling/cse/preflight_intercept.py`.
+ *
+ * `wrap(session)` returns a transparent JS `Proxy` over the real
+ * `@modelcontextprotocol/sdk` `Client`: every method/prop passes through the
+ * get-trap UNTOUCHED, EXCEPT the three gated seams:
+ *   - `listTools`  — TOFU-pin every observed tool's PUBLIC contract.
+ *   - `callTool`   — run the shared Gate before delegating; HOLD on drift.
+ *   - `request`    — the low-level RPC chokepoint (the TS analog of Python's
+ *     `send_request`). `callTool` is sugar over `request({method:'tools/call'})`,
+ *     so a caller can invoke any tool straight through `request`; we gate a
+ *     `tools/call` there too, or the pre-flight check is a paper wall.
+ *   - `requestStream` — the EXPERIMENTAL streaming chokepoint. The SDK's task
+ *     surface (`client.experimental.tasks.callToolStream`) invokes a tool via
+ *     `requestStream({method:'tools/call'})`, a SECOND RPC path that does NOT go
+ *     through `request`. `requestStream` is also reachable directly on the
+ *     session. We gate a `tools/call` on BOTH the session-level `requestStream`
+ *     AND a wrapped `experimental` accessor (whose `tasks.callToolStream` /
+ *     `tasks.requestStream` desugar to it), or the streaming surface is a hole
+ *     in the wall. The gate runs PRE-FLIGHT: a HELD verdict yields a throwing
+ *     async generator that NEVER touches the upstream stream (fail-closed).
+ *
+ * NO CREDENTIAL (structural): the wrapper holds NO token, NO auth, opens NO
+ * connection. It reuses the wrapped session's own authenticated transport. The
+ * shared Gate reads only the PUBLIC contract.
+ */
+import { Ownership, Posture } from "./gate.js";
+import type { BehavioralVerifier } from "./gate.js";
+import { PreflightPin } from "./preflight.js";
+import type { PinnedTool, PreflightVerdict } from "./preflight.js";
+import { ChangeKind } from "./schemaDiff.js";
+import { ErrorStore } from "./errors.js";
+import { LocalStats, OutcomeStore } from "./outcomes.js";
+import type { Provenance } from "./provenance.js";
+/** A HOLD raised before delegating to the wrapped session. Carries the structured
+ * verdict + (when a complete provenance backs the finding) the provenance. Honest
+ * voice: a HOLD is a CONTRACT DIFF, not a safety verdict. */
+export declare class PreflightHold extends Error {
+    readonly verdict: PreflightVerdict;
+    readonly provenance: Provenance | null;
+    constructor(verdict: PreflightVerdict, provenance: Provenance | null, message: string);
+}
+export interface WrapOptions {
+    pin: PreflightPin;
+    serverId: string;
+    failOpen?: boolean;
+    autoAcceptBenign?: boolean;
+    onHold?: ((verdict: PreflightVerdict) => unknown) | null;
+    now?: () => string;
+    ownership?: Ownership;
+    behavioralMandatedKinds?: ReadonlySet<ChangeKind>;
+    verifier?: BehavioralVerifier | null;
+    autoValidateBehavior?: boolean;
+    posture?: Posture;
+    stats?: LocalStats | null;
+    outcomes?: OutcomeStore | null;
+    errors?: ErrorStore | null;
+}
+/** Wrap an already-authenticated MCP client session. Returns a TRANSPARENT
+ * drop-in `Proxy` with the same surface: `listTools` / `callTool` are gated and
+ * the low-level `request` chokepoint gates a `tools/call`; EVERY other method is
+ * delegated UNTOUCHED. NO credential is read, stored, or transmitted.
+ *
+ * `T` is the wrapped session type (e.g. the SDK `Client`); the return type adds
+ * the wrapper's management methods (`repin` / `validateBehaviorNow` /
+ * `holdBanner`). */
+export type Wrapped<T> = T & {
+    repin(tool?: string): PinnedTool[];
+    validateBehaviorNow(toolName: string, verifier?: BehavioralVerifier): PreflightVerdict;
+    holdBanner(verdict: PreflightVerdict): string;
+    readonly __interceptor__: unknown;
+};
+export declare function wrap<T extends object>(session: T, opts: WrapOptions): Wrapped<T>;
+/** Module-level convenience: re-pin observed contracts on a wrapped session. */
+export declare function repin<T extends object>(wrapped: Wrapped<T>, tool?: string): PinnedTool[];
+//# sourceMappingURL=wrap.d.ts.map

package/dist/src/wrap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wrap.d.ts","sourceRoot":"","sources":["../../src/wrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAEL,SAAS,EACT,OAAO,EAMR,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAY,YAAY,EAAa,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAW,MAAM,gBAAgB,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAa,MAAM,aAAa,CAAC;AACpD,OAAO,EAAU,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAOlD;;6DAE6D;AAC7D,qBAAa,aAAc,SAAQ,KAAK;IACtC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;gBAE3B,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM;CAMtF;AAED,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,YAAY,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC;IACzD,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,uBAAuB,CAAC,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAClD,QAAQ,CAAC,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACrC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,QAAQ,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IAC/B,MAAM,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;CAC5B;AAidD;;;;;;;oBAOoB;AACpB,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG;IAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,EAAE,CAAC;IACnC,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,kBAAkB,GAAG,gBAAgB,CAAC;IACvF,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,CAAC;IAC9C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;CACnC,CAAC;AAEF,wBAAgB,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAqEhF;AAED,gFAAgF;AAChF,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,EAAE,CAExF"}