@codespar/types 0.10.5 → 0.10.7

package/dist/testing/conformance-kit.js

@@ -0,0 +1,323 @@
+import { describe, it, expect, afterEach } from "vitest";
+import { validateBaseUrl } from "./contract-suite.js";
+import { META_TOOL_CONTRACTS, } from "../meta-tool-contract.js";
+/** True when `value` matches the JSON-value kind `rule.kind` demands. */
+export function fieldMatches(rule, value) {
+    switch (rule.kind) {
+        case "string":
+            return typeof value === "string";
+        case "string-enum":
+            return (typeof value === "string" &&
+                (rule.values?.includes(value) ?? false));
+        case "number":
+            return typeof value === "number";
+        case "boolean":
+            return typeof value === "boolean";
+        case "array":
+            return Array.isArray(value);
+        case "object":
+            return (typeof value === "object" && value !== null && !Array.isArray(value));
+    }
+}
+/**
+ * Check a wire object against a {@link WireShape}. Returns the violations
+ * found (empty array = conforms). A field is checked when it is `required`
+ * (the default) or present; absent optional fields are skipped.
+ */
+export function checkWireShape(shape, obj) {
+    if (typeof obj !== "object" || obj === null || Array.isArray(obj)) {
+        return [
+            {
+                code: "wire-shape",
+                detail: `${shape.name}: expected an object, got ${describeType(obj)}`,
+            },
+        ];
+    }
+    const record = obj;
+    const violations = [];
+    for (const rule of shape.fields) {
+        const required = rule.required ?? true;
+        const present = rule.name in record && record[rule.name] != null;
+        if (!present) {
+            if (required) {
+                violations.push({
+                    code: "wire-shape",
+                    detail: `${shape.name}.${rule.name}: required field is missing`,
+                });
+            }
+            continue;
+        }
+        if (!fieldMatches(rule, record[rule.name])) {
+            violations.push({
+                code: "wire-shape",
+                detail: `${shape.name}.${rule.name}: expected ${describeRule(rule)}, got ${describeType(record[rule.name])}`,
+            });
+        }
+    }
+    return violations;
+}
+function describeType(value) {
+    if (value === null)
+        return "null";
+    if (Array.isArray(value))
+        return "array";
+    return typeof value;
+}
+function describeRule(rule) {
+    if (rule.kind === "string-enum") {
+        return `one of [${(rule.values ?? []).join(", ")}]`;
+    }
+    return rule.kind;
+}
+/**
+ * Verify a successful action result: the `ToolResult` reports success and
+ * its `data` conforms to the action's result wire shape. Also enforces that
+ * a `statusField`, when declared, holds a value the state machine knows —
+ * a terminal status or `in_progress`/non-terminal status drawn from the
+ * declared enum (the enum check is part of the wire shape).
+ */
+export function checkActionResult(descriptor, action, result) {
+    const rule = descriptor.stateMachine?.actions.find((a) => a.action === action);
+    if (!rule) {
+        return [
+            {
+                code: "action-state",
+                detail: `${descriptor.toolName}: action "${action}" is not in the state machine`,
+            },
+        ];
+    }
+    if (!result.success) {
+        return [
+            {
+                code: "action-state",
+                detail: `${descriptor.toolName}.${action}: expected a success result, got error "${result.error ?? ""}"`,
+            },
+        ];
+    }
+    return checkWireShape(rule.result, result.data);
+}
+/**
+ * Verify a single-shot tool's happy-path result: the `ToolResult` reports
+ * success and its `data` conforms to the descriptor's `singleShot` result
+ * wire shape. This gives a no-state-machine tool (e.g. `codespar_discover`)
+ * the same wire-shape teeth the action path has — a wrong-shaped result
+ * fails with a precise `[wire-shape]` violation rather than passing on
+ * `success: true` alone.
+ */
+export function checkSingleShotResult(descriptor, result) {
+    const rule = descriptor.singleShot;
+    if (!rule) {
+        return [
+            {
+                code: "wire-shape",
+                detail: `${descriptor.toolName}: no single-shot rule on the descriptor`,
+            },
+        ];
+    }
+    if (!result.success) {
+        return [
+            {
+                code: "wire-shape",
+                detail: `${descriptor.toolName}: expected a success result, got error "${result.error ?? ""}"`,
+            },
+        ];
+    }
+    return checkWireShape(rule.result, result.data);
+}
+/**
+ * Verify the unregistered-tool error rule: a runtime with no registered
+ * implementation returns `success: false` with an `error` that starts with
+ * the descriptor's `unregisteredErrorPrefix` (never an HTTP-level error and
+ * never a success result).
+ */
+export function checkUnregisteredError(descriptor, result) {
+    const prefix = descriptor.errors.unregisteredErrorPrefix;
+    if (result.success) {
+        return [
+            {
+                code: "error-unregistered",
+                detail: `${descriptor.toolName}: expected an unregistered error, got a success result`,
+            },
+        ];
+    }
+    if (!result.error || !result.error.startsWith(prefix)) {
+        return [
+            {
+                code: "error-unregistered",
+                detail: `${descriptor.toolName}: expected error starting with "${prefix}", got "${result.error ?? ""}"`,
+            },
+        ];
+    }
+    return [];
+}
+/**
+ * Verify the malformed-input error rule: a malformed input yields a typed
+ * error envelope (`success: false` with a non-empty `error`) rather than a
+ * success result. The error message itself is implementation-defined; only
+ * the shape of the failure is contracted.
+ */
+export function checkMalformedError(descriptor, result) {
+    if (result.success) {
+        return [
+            {
+                code: "error-malformed",
+                detail: `${descriptor.toolName}: expected a typed error for malformed input, got a success result`,
+            },
+        ];
+    }
+    if (!result.error) {
+        return [
+            {
+                code: "error-malformed",
+                detail: `${descriptor.toolName}: expected a non-empty error for malformed input`,
+            },
+        ];
+    }
+    return [];
+}
+async function openSession(baseUrl, apiKey, servers) {
+    const headers = {
+        "Content-Type": "application/json",
+        Authorization: `Bearer ${apiKey}`,
+    };
+    const res = await fetch(`${baseUrl}/v1/sessions`, {
+        method: "POST",
+        headers,
+        body: JSON.stringify({ servers, user_id: "conformance-suite" }),
+    });
+    if (!res.ok) {
+        const text = await res.text();
+        throw new Error(`session create failed: ${res.status} ${text}`);
+    }
+    const raw = (await res.json());
+    return {
+        get id() {
+            return raw.id;
+        },
+        async execute(toolName, params) {
+            const r = await fetch(`${baseUrl}/v1/sessions/${raw.id}/execute`, {
+                method: "POST",
+                headers,
+                body: JSON.stringify({ tool: toolName, input: params }),
+            });
+            if (!r.ok) {
+                const body = await r.text();
+                return {
+                    success: false,
+                    data: null,
+                    error: `${r.status}: ${body}`,
+                    duration: 0,
+                    server: "",
+                    tool: toolName,
+                };
+            }
+            return (await r.json());
+        },
+        async close() {
+            await fetch(`${baseUrl}/v1/sessions/${raw.id}`, {
+                method: "DELETE",
+                headers,
+            });
+        },
+    };
+}
+/** Build the action input the kit posts: the action rule's sample input
+ *  plus the `action` discriminator. */
+function actionInput(action, sample) {
+    return { action, ...sample };
+}
+/**
+ * Register the meta-tool conformance test suite against a live backend.
+ *
+ * Given a base URL and an `apiKey` for a backend that has an implementation
+ * of `opts.tool` registered, drives `execute(toolName, ...)` and asserts the
+ * tool's contract descriptor: every action's result wire shape, the action
+ * state machine (the declared status enum, terminal vs non-terminal), and
+ * the two error rules (unregistered → "Tool not registered"; malformed
+ * input → typed error envelope).
+ *
+ * The suite is implementation-agnostic — it tests whatever is registered at
+ * `baseUrl`. It validates the baseUrl before issuing any request: only
+ * https:// URLs and localhost are accepted, so a misconfigured CI
+ * environment fails early rather than leaking the apiKey to an arbitrary
+ * host.
+ *
+ * The unregistered-error leg uses a deliberately unregistered tool name
+ * (the contract'd tool name with a `__unregistered_probe` suffix) so it
+ * asserts the runtime's fall-through behavior without depending on any
+ * tool being absent.
+ *
+ * Backend prerequisites:
+ * - **Route prefix.** The kit drives `POST /v1/sessions`,
+ *   `POST /v1/sessions/:id/execute`, and `DELETE /v1/sessions/:id` — the
+ *   backend (or test harness) must mount the session routes under the `/v1`
+ *   prefix.
+ * - **`servers` option.** `opts.servers` defaults to `[]`. A self-hosted
+ *   OSS runtime accepts an empty server list on session create, but a
+ *   managed backend requires at least one server — so a managed-side
+ *   consumer MUST pass `opts.servers: [<seeded-server-id>]` (a server whose
+ *   meta-tool implementation is registered), or session create will be
+ *   rejected before any conformance case runs.
+ *
+ * @param baseUrl - API base URL (e.g. "https://your-runtime.example" or "http://localhost:3000")
+ * @param apiKey  - Bearer token for session creation
+ * @param opts    - The tool to assert and optional servers list (see {@link ConformanceSuiteOptions})
+ */
+export function runMetaToolConformanceSuite(baseUrl, apiKey, opts) {
+    validateBaseUrl(baseUrl);
+    const descriptor = META_TOOL_CONTRACTS[opts.tool];
+    const servers = opts.servers ?? [];
+    describe(`meta-tool conformance suite: ${descriptor.toolName}`, () => {
+        let session = null;
+        afterEach(async () => {
+            try {
+                if (session)
+                    await session.close();
+            }
+            finally {
+                session = null;
+            }
+        });
+        if (descriptor.stateMachine) {
+            for (const action of descriptor.stateMachine.actions) {
+                it(`${descriptor.toolName} action "${action.action}" returns a conforming ${action.result.name}`, async () => {
+                    session = await openSession(baseUrl, apiKey, servers);
+                    const result = await session.execute(descriptor.toolName, actionInput(action.action, action.sampleInput));
+                    const violations = checkActionResult(descriptor, action.action, result);
+                    expect(violations, formatViolations(violations)).toEqual([]);
+                });
+            }
+        }
+        else if (descriptor.singleShot) {
+            const singleShot = descriptor.singleShot;
+            it(`${descriptor.toolName} returns a conforming ${singleShot.result.name}`, async () => {
+                session = await openSession(baseUrl, apiKey, servers);
+                const result = await session.execute(descriptor.toolName, singleShot.sampleInput);
+                const violations = checkSingleShotResult(descriptor, result);
+                expect(violations, formatViolations(violations)).toEqual([]);
+            });
+        }
+        it(`${descriptor.toolName} returns "${descriptor.errors.unregisteredErrorPrefix}" for an unregistered name`, async () => {
+            session = await openSession(baseUrl, apiKey, servers);
+            const result = await session.execute(`${descriptor.toolName}__unregistered_probe`, {});
+            const violations = checkUnregisteredError(descriptor, result);
+            expect(violations, formatViolations(violations)).toEqual([]);
+        });
+        it(`${descriptor.toolName} returns a typed error for malformed input`, async () => {
+            session = await openSession(baseUrl, apiKey, servers);
+            const malformed = descriptor.errors.malformedAction
+                ? actionInput(descriptor.errors.malformedAction, descriptor.errors.malformedInput)
+                : descriptor.errors.malformedInput;
+            const result = await session.execute(descriptor.toolName, malformed);
+            const violations = checkMalformedError(descriptor, result);
+            expect(violations, formatViolations(violations)).toEqual([]);
+        });
+    });
+}
+/** Join violations into a single message for an assertion failure. */
+export function formatViolations(violations) {
+    if (violations.length === 0)
+        return "no violations";
+    return violations.map((v) => `[${v.code}] ${v.detail}`).join("; ");
+}
+//# sourceMappingURL=conformance-kit.js.map

package/dist/testing/conformance-kit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-kit.js","sourceRoot":"","sources":["../../src/testing/conformance-kit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAEzD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EACL,mBAAmB,GAKpB,MAAM,0BAA0B,CAAC;AAmClC,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,IAAe,EAAE,KAAc;IAC1D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QACnC,KAAK,aAAa;YAChB,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;gBACzB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CACxC,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QACnC,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,QAAQ;YACX,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CACrE,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,GAAY;IAEZ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO;YACL;gBACE,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,6BAA6B,YAAY,CAAC,GAAG,CAAC,EAAE;aACtE;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,GAA8B,CAAC;IAC9C,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;QACjE,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,QAAQ,EAAE,CAAC;gBACb,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,YAAY;oBAClB,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,6BAA6B;iBAChE,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,cAAc,YAAY,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE;aAC7G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,OAAO,OAAO,KAAK,CAAC;AACtB,CAAC;AAED,SAAS,YAAY,CAAC,IAAe;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAAsC,EACtC,MAAc,EACd,MAAkB;IAElB,MAAM,IAAI,GAAG,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC3B,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,aAAa,MAAM,+BAA+B;aACjF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACL;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,IAAI,MAAM,2CAA2C,MAAM,CAAC,KAAK,IAAI,EAAE,GAAG;aACzG;SACF,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC,EACtC,MAAkB;IAElB,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL;gBACE,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,yCAAyC;aACxE;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO;YACL;gBACE,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,2CAA2C,MAAM,CAAC,KAAK,IAAI,EAAE,GAAG;aAC/F;SACF,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAsC,EACtC,MAAkB;IAElB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,uBAAuB,CAAC;IACzD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO;YACL;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,wDAAwD;aACvF;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,OAAO;YACL;gBACE,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,mCAAmC,MAAM,WAAW,MAAM,CAAC,KAAK,IAAI,EAAE,GAAG;aACxG;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAsC,EACtC,MAAkB;IAElB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,OAAO;YACL;gBACE,IAAI,EAAE,iBAAiB;gBACvB,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,oEAAoE;aACnG;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO;YACL;gBACE,IAAI,EAAE,iBAAiB;gBACvB,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,kDAAkD;aACjF;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAiBD,KAAK,UAAU,WAAW,CACxB,OAAe,EACf,MAAc,EACd,OAAiB;IAEjB,MAAM,OAAO,GAA2B;QACtC,cAAc,EAAE,kBAAkB;QAClC,aAAa,EAAE,UAAU,MAAM,EAAE;KAClC,CAAC;IAEF,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,cAAc,EAAE;QAChD,MAAM,EAAE,MAAM;QACd,OAAO;QACP,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;KAChE,CAAC,CAAC;IACH,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAmB,CAAC;IAEjD,OAAO;QACL,IAAI,EAAE;YACJ,OAAO,GAAG,CAAC,EAAE,CAAC;QAChB,CAAC;QACD,KAAK,CAAC,OAAO,CACX,QAAgB,EAChB,MAA+B;YAE/B,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,GAAG,OAAO,gBAAgB,GAAG,CAAC,EAAE,UAAU,EAAE;gBAChE,MAAM,EAAE,MAAM;gBACd,OAAO;gBACP,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;aACxD,CAAC,CAAC;YACH,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5B,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,GAAG,CAAC,CAAC,MAAM,KAAK,IAAI,EAAE;oBAC7B,QAAQ,EAAE,CAAC;oBACX,MAAM,EAAE,EAAE;oBACV,IAAI,EAAE,QAAQ;iBACf,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAe,CAAC;QACxC,CAAC;QACD,KAAK,CAAC,KAAK;YACT,MAAM,KAAK,CAAC,GAAG,OAAO,gBAAgB,GAAG,CAAC,EAAE,EAAE,EAAE;gBAC9C,MAAM,EAAE,QAAQ;gBAChB,OAAO;aACR,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED;uCACuC;AACvC,SAAS,WAAW,CAAC,MAAc,EAAE,MAA+B;IAClE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,2BAA2B,CACzC,OAAe,EACf,MAAc,EACd,IAA6B;IAE7B,eAAe,CAAC,OAAO,CAAC,CAAC;IAEzB,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;IAEnC,QAAQ,CAAC,gCAAgC,UAAU,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE;QACnE,IAAI,OAAO,GAA0B,IAAI,CAAC;QAE1C,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,IAAI,CAAC;gBACH,IAAI,OAAO;oBAAE,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;YACrC,CAAC;oBAAS,CAAC;gBACT,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;gBACrD,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,YAAY,MAAM,CAAC,MAAM,0BAA0B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,IAAI,EAAE;oBAC3G,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;oBACtD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAClC,UAAU,CAAC,QAAQ,EACnB,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAC/C,CAAC;oBACF,MAAM,UAAU,GAAG,iBAAiB,CAClC,UAAU,EACV,MAAM,CAAC,MAAM,EACb,MAAM,CACP,CAAC;oBACF,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC/D,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;YACzC,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,yBAAyB,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,IAAI,EAAE;gBACrF,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;gBACtD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAClC,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,WAAW,CACvB,CAAC;gBACF,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBAC7D,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/D,CAAC,CAAC,CAAC;QACL,CAAC;QAED,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,aAAa,UAAU,CAAC,MAAM,CAAC,uBAAuB,4BAA4B,EAAE,KAAK,IAAI,EAAE;YACtH,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAClC,GAAG,UAAU,CAAC,QAAQ,sBAAsB,EAC5C,EAAE,CACH,CAAC;YACF,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9D,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,4CAA4C,EAAE,KAAK,IAAI,EAAE;YAChF,OAAO,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,eAAe;gBACjD,CAAC,CAAC,WAAW,CACT,UAAU,CAAC,MAAM,CAAC,eAAe,EACjC,UAAU,CAAC,MAAM,CAAC,cAAc,CACjC;gBACH,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,cAAc,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACrE,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC3D,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,gBAAgB,CAAC,UAAuB;IACtD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC;IACpD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC"}

package/dist/testing/conformance-kit.test.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Unit tests for the meta-tool conformance kit.
+ *
+ * The kit's value is its pass/fail logic: a conforming implementation
+ * passes, and an implementation that violates a wire shape, an action-state
+ * rule, or an error rule fails — with a violation naming the specific
+ * breach. We prove that two ways without a real backend:
+ *
+ *   1. The pure verification core (`checkWireShape`, `checkActionResult`,
+ *      `checkUnregisteredError`, `checkMalformedError`) is exercised
+ *      directly against hand-built conforming and violating envelopes.
+ *   2. The live suite (`runMetaToolConformanceSuite`) is run end-to-end
+ *      against a FAKE backend (a stubbed `fetch`), asserting that a
+ *      conforming fake registers passing cases and a fake that breaks each
+ *      rule registers a failing case carrying the right violation.
+ */
+export {};
+//# sourceMappingURL=conformance-kit.test.d.ts.map

package/dist/testing/conformance-kit.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-kit.test.d.ts","sourceRoot":"","sources":["../../src/testing/conformance-kit.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG"}