@sponsio/sdk 0.1.0-alpha.3 → 0.2.0-alpha.4

package/dist/cli/validate.js

@@ -0,0 +1,205 @@
+"use strict";
+/**
+ * ``sponsio validate`` — CI-friendly config check.
+ *
+ * Mirrors the first half of Python's ``sponsio validate`` command:
+ * parse sponsio.yaml, surface structural errors, and report what
+ * the TS runtime can / cannot handle. Exits non-zero when the file
+ * doesn't load or when --strict is set and the loader had to skip
+ * any unsupported yaml items.
+ *
+ * Usage:
+ *
+ *   sponsio validate                    # validates ./sponsio.yaml
+ *   sponsio validate ./config.yaml
+ *   sponsio validate --agent support_bot
+ *   sponsio validate --strict           # non-zero on any skip
+ *   sponsio validate --format json      # machine-readable
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runValidateCli = runValidateCli;
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const HELP = [
+    "sponsio validate — parse sponsio.yaml and report what the TS runtime will use",
+    "",
+    "USAGE:",
+    "  sponsio validate [path] [options]",
+    "",
+    "ARGUMENTS:",
+    "  [path]            Path to sponsio.yaml (default: ./sponsio.yaml)",
+    "",
+    "OPTIONS:",
+    "      --agent <id>  Which agent block to project (default: first one found)",
+    "      --strict      Exit non-zero if the loader had to skip anything",
+    "      --format <f>  'text' (default) or 'json'",
+    "  -h, --help        Show this help",
+    "",
+    "EXIT CODES:",
+    "  0  config loads and the TS runtime can honour every declared contract",
+    "  1  yaml / schema error — config does not load at all",
+    "  2  loaded with warnings (unsupported yaml items skipped); only with --strict",
+].join("\n") + "\n";
+function parseArgs(argv) {
+    const a = {
+        path: "sponsio.yaml",
+        strict: false,
+        format: "text",
+        help: false,
+    };
+    const positional = [];
+    for (let i = 0; i < argv.length; i++) {
+        const flag = argv[i];
+        if (flag === "-h" || flag === "--help")
+            a.help = true;
+        else if (flag === "--agent")
+            a.agent = argv[++i];
+        else if (flag === "--strict")
+            a.strict = true;
+        else if (flag === "--format") {
+            const v = argv[++i];
+            if (v !== "text" && v !== "json") {
+                throw new Error(`--format must be 'text' or 'json', got ${v}`);
+            }
+            a.format = v;
+        }
+        else if (flag.startsWith("-")) {
+            throw new Error(`unknown flag: ${flag}`);
+        }
+        else {
+            positional.push(flag);
+        }
+    }
+    if (positional.length > 1) {
+        throw new Error(`validate accepts at most one positional path, got ${positional.length}`);
+    }
+    if (positional[0])
+        a.path = positional[0];
+    return a;
+}
+async function runValidateCli(argv) {
+    let args;
+    try {
+        args = parseArgs(argv);
+    }
+    catch (err) {
+        process.stderr.write(`${err instanceof Error ? err.message : String(err)}\n`);
+        process.exit(2);
+    }
+    if (args.help) {
+        process.stdout.write(HELP);
+        return;
+    }
+    const resolved = (0, node_path_1.resolve)(process.cwd(), args.path);
+    if (!(0, node_fs_1.existsSync)(resolved)) {
+        process.stderr.write(`[sponsio] config not found: ${resolved}\n`);
+        process.exit(1);
+    }
+    // Lazy-load: avoids paying for the ts-sdk import on `--help`.
+    let result;
+    try {
+        // Import through the dist of ``@sponsio/sdk`` when the scanner
+        // ships on npm, and through a relative path when we're running
+        // in-repo. ``require.resolve`` lets us tolerate either.
+        const sdk = await loadSdk();
+        const loaded = sdk.loadSponsoConfig(resolved, args.agent ?? "agent");
+        // ``loaded.contracts`` is ``(string | DetFormula)[]``:
+        //  - strings are NL that still needs ``parseNl`` (some rule
+        //    factories might reject, count those separately);
+        //  - objects are already-compiled DetFormula entries (structured
+        //    patterns, raw LTL, A/G composition) — those are det-valid by
+        //    construction.
+        const unparseable = [];
+        let preCompiled = 0;
+        for (const c of loaded.contracts) {
+            if (typeof c === "string") {
+                try {
+                    if (!sdk.parseNl(c))
+                        unparseable.push(c);
+                }
+                catch {
+                    unparseable.push(c);
+                }
+            }
+            else {
+                preCompiled++;
+            }
+        }
+        result = {
+            path: resolved,
+            agent: args.agent ?? "agent",
+            mode: loaded.mode,
+            detContracts: preCompiled +
+                (loaded.contracts.filter((c) => typeof c === "string").length -
+                    unparseable.length),
+            stoContracts: loaded.stoSpecs?.length ?? 0,
+            judgeConfigured: !!loaded.judge,
+            skipped: loaded.skipped ?? [],
+            unparseableNl: unparseable,
+        };
+    }
+    catch (err) {
+        const msg = err instanceof Error ? err.message : String(err);
+        const error = { path: resolved, error: msg };
+        if (args.format === "json") {
+            process.stdout.write(JSON.stringify(error, null, 2) + "\n");
+        }
+        else {
+            process.stderr.write(`[sponsio] validate failed: ${msg}\n`);
+        }
+        process.exit(1);
+    }
+    if (args.format === "json") {
+        process.stdout.write(JSON.stringify(result, null, 2) + "\n");
+    }
+    else {
+        process.stdout.write(renderText(result));
+    }
+    const hasWarnings = result.skipped.length > 0 ||
+        result.unparseableNl.length > 0 ||
+        // Sto contracts are not supported in this build (the engine is
+        // deterministic-only). They are rejected at load time. Surface as
+        // a strict-mode warning so CI catches it.
+        result.stoContracts > 0;
+    if (args.strict && hasWarnings)
+        process.exit(2);
+}
+function renderText(r) {
+    const lines = [];
+    lines.push(`✓ loaded ${r.path}`);
+    lines.push(`  agent:            ${r.agent}`);
+    lines.push(`  runtime.mode:     ${r.mode ?? "(unset — falls to observe)"}`);
+    lines.push(`  det contracts:    ${r.detContracts}`);
+    lines.push(`  sto contracts:    ${r.stoContracts}${r.stoContracts > 0 ? " (not supported in this build)" : ""}`);
+    lines.push(`  judge configured: ${r.judgeConfigured ? "yes (not supported in this build)" : "no"}`);
+    if (r.unparseableNl.length) {
+        lines.push("");
+        lines.push(`! ${r.unparseableNl.length} contract(s) failed NL parsing:`);
+        for (const c of r.unparseableNl)
+            lines.push(`    - ${c}`);
+    }
+    if (r.skipped.length) {
+        lines.push("");
+        lines.push(`! ${r.skipped.length} yaml item(s) skipped (Python-only):`);
+        for (const s of r.skipped)
+            lines.push(`    - [${s.kind}] ${s.detail}`);
+    }
+    lines.push("");
+    return lines.join("\n");
+}
+async function loadSdk() {
+    // Resolve order: installed ``@sponsio/sdk`` > sibling repo path
+    // (useful during local dev when ``scan-ts`` runs via npm link but
+    // the SDK isn't hoisted). The bare specifier goes through a
+    // function-wrapped require so TS doesn't complain when the SDK
+    // isn't a declared dep of this package.
+    const dynamicImport = new Function("s", "return import(s)");
+    try {
+        return await dynamicImport("@sponsio/sdk");
+    }
+    catch {
+        const devPath = (0, node_path_1.resolve)(__dirname, "..", "..", "ts-sdk", "dist", "index.js");
+        return await dynamicImport(devPath);
+    }
+}
+//# sourceMappingURL=validate.js.map

package/dist/cli/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/cli/validate.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;AAiFH,wCAsFC;AArKD,qCAAqC;AACrC,yCAAoC;AAUpC,MAAM,IAAI,GACR;IACE,+EAA+E;IAC/E,EAAE;IACF,QAAQ;IACR,qCAAqC;IACrC,EAAE;IACF,YAAY;IACZ,oEAAoE;IACpE,EAAE;IACF,UAAU;IACV,6EAA6E;IAC7E,sEAAsE;IACtE,gDAAgD;IAChD,oCAAoC;IACpC,EAAE;IACF,aAAa;IACb,yEAAyE;IACzE,wDAAwD;IACxD,gFAAgF;CACjF,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAEtB,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,CAAC,GAAiB;QACtB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,KAAK;KACZ,CAAC;IACF,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,QAAQ;YAAE,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;aACjD,IAAI,IAAI,KAAK,SAAS;YAAE,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;aAC5C,IAAI,IAAI,KAAK,UAAU;YAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;aACzC,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,qDAAqD,UAAU,CAAC,MAAM,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,CAAC,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,CAAC;AACX,CAAC;AAcM,KAAK,UAAU,cAAc,CAAC,IAAc;IACjD,IAAI,IAAkB,CAAC;IACvB,IAAI,CAAC;QACH,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CACxD,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,IAAA,oBAAU,EAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,+BAA+B,QAAQ,IAAI,CAAC,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,8DAA8D;IAC9D,IAAI,MAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,+DAA+D;QAC/D,+DAA+D;QAC/D,wDAAwD;QACxD,MAAM,GAAG,GAAG,MAAM,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC;QACrE,uDAAuD;QACvD,4DAA4D;QAC5D,sDAAsD;QACtD,iEAAiE;QACjE,kEAAkE;QAClE,mBAAmB;QACnB,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBACH,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;wBAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3C,CAAC;gBAAC,MAAM,CAAC;oBACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,WAAW,EAAE,CAAC;YAChB,CAAC;QACH,CAAC;QACD,MAAM,GAAG;YACP,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,OAAO;YAC5B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,YAAY,EACV,WAAW;gBACX,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,MAAM;oBAC3D,WAAW,CAAC,MAAM,CAAC;YACvB,YAAY,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC;YAC1C,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK;YAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,EAAE;YAC7B,aAAa,EAAE,WAAW;SAC3B,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,GAAG,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,WAAW,GACf,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACzB,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAC/B,+DAA+D;QAC/D,kEAAkE;QAClE,0CAA0C;QAC1C,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,MAAM,IAAI,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,CAAiB;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,IAAI,IAAI,4BAA4B,EAAE,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CACR,uBAAuB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,EAAE,EAAE,CACrG,CAAC;IACF,KAAK,CAAC,IAAI,CACR,uBAAuB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,IAAI,EAAE,CACxF,CAAC;IACF,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,iCAAiC,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,sCAAsC,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAiBD,KAAK,UAAU,OAAO;IACpB,gEAAgE;IAChE,kEAAkE;IAClE,4DAA4D;IAC5D,+DAA+D;IAC/D,wCAAwC;IACxC,MAAM,aAAa,GAAG,IAAI,QAAQ,CAChC,GAAG,EACH,kBAAkB,CACe,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,MAAM,aAAa,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,OAAO,GAAG,IAAA,mBAAO,EAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC7E,OAAO,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;AACH,CAAC"}

package/dist/cli/zod.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Static Zod-expression → JSON-Schema converter.
+ *
+ * We never execute the user's code — we read the TypeScript AST and
+ * translate common Zod call patterns:
+ *
+ *   z.object({ user_id: z.string(), count: z.number().int() })
+ *
+ * becomes:
+ *
+ *   { type: "object",
+ *     properties: {
+ *       user_id: { type: "string" },
+ *       count:   { type: "integer" }
+ *     },
+ *     required: ["user_id", "count"] }
+ *
+ * Unknown Zod calls degrade to ``{ type: "string" }`` so the tool
+ * still shows up in the inventory — downstream heuristics care more
+ * about *which* param names exist than their exact types.
+ */
+import { Expression, ObjectLiteralExpression } from "ts-morph";
+import type { JSONSchema, JSONSchemaProperty } from "./types";
+/**
+ * Convert a Zod expression (``z.object({ ... })``, ``z.string()``, etc.)
+ * into a JSON Schema property.  Returns ``{ type: "string" }`` for
+ * anything we can't statically decode — the param *name* carries most
+ * of the signal for the downstream Sponsio heuristics.
+ */
+export declare function zodExprToJsonSchema(expr: Expression): JSONSchemaProperty;
+/**
+ * Translate a ``z.object({...})`` inner literal into a top-level
+ * JSON Schema.
+ */
+export declare function objectLiteralToJsonSchema(literal: ObjectLiteralExpression): JSONSchema;
+//# sourceMappingURL=zod.d.ts.map

package/dist/cli/zod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.d.ts","sourceRoot":"","sources":["../../src/cli/zod.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAEL,UAAU,EAEV,uBAAuB,EAGxB,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAkB,MAAM,SAAS,CAAC;AAe9E;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,kBAAkB,CAoExE;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,uBAAuB,GAC/B,UAAU,CAmBZ"}

package/dist/cli/zod.js

@@ -0,0 +1,226 @@
+"use strict";
+/**
+ * Static Zod-expression → JSON-Schema converter.
+ *
+ * We never execute the user's code — we read the TypeScript AST and
+ * translate common Zod call patterns:
+ *
+ *   z.object({ user_id: z.string(), count: z.number().int() })
+ *
+ * becomes:
+ *
+ *   { type: "object",
+ *     properties: {
+ *       user_id: { type: "string" },
+ *       count:   { type: "integer" }
+ *     },
+ *     required: ["user_id", "count"] }
+ *
+ * Unknown Zod calls degrade to ``{ type: "string" }`` so the tool
+ * still shows up in the inventory — downstream heuristics care more
+ * about *which* param names exist than their exact types.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.zodExprToJsonSchema = zodExprToJsonSchema;
+exports.objectLiteralToJsonSchema = objectLiteralToJsonSchema;
+const ts_morph_1 = require("ts-morph");
+const PRIMITIVE_MAP = {
+    string: "string",
+    number: "number",
+    bigint: "integer",
+    boolean: "boolean",
+    date: "string",
+    null: "null",
+    any: "string",
+    unknown: "string",
+    never: "string",
+    void: "null",
+};
+/**
+ * Convert a Zod expression (``z.object({ ... })``, ``z.string()``, etc.)
+ * into a JSON Schema property.  Returns ``{ type: "string" }`` for
+ * anything we can't statically decode — the param *name* carries most
+ * of the signal for the downstream Sponsio heuristics.
+ */
+function zodExprToJsonSchema(expr) {
+    const call = unwrapChain(expr);
+    if (!call)
+        return { type: "string" };
+    const head = getHeadMethod(call);
+    if (!head)
+        return { type: "string" };
+    // ── z.object({...}) — the only compound shape we emit as ``object``.
+    if (head === "object") {
+        const firstArg = call.getArguments()[0];
+        if (firstArg && ts_morph_1.Node.isObjectLiteralExpression(firstArg)) {
+            const nested = objectLiteralToJsonSchema(firstArg);
+            return {
+                type: "object",
+                properties: nested.properties,
+            };
+        }
+        return { type: "object", properties: {} };
+    }
+    // ── z.array(<inner>) → { type: "array", items: ... }
+    if (head === "array") {
+        const inner = call.getArguments()[0];
+        if (inner && ts_morph_1.Node.isExpression(inner)) {
+            return { type: "array", items: zodExprToJsonSchema(inner) };
+        }
+        return { type: "array", items: { type: "string" } };
+    }
+    // ── z.enum([...]) → { type: "string", enum: [...] }
+    if (head === "enum") {
+        const arr = call.getArguments()[0];
+        if (arr && ts_morph_1.Node.isArrayLiteralExpression(arr)) {
+            const values = arr
+                .getElements()
+                .map((e) => literalValue(e))
+                .filter((v) => v !== undefined);
+            return { type: "string", enum: values };
+        }
+        return { type: "string" };
+    }
+    // ── z.literal(x) → narrow type + enum
+    if (head === "literal") {
+        const arg = call.getArguments()[0];
+        if (arg && ts_morph_1.Node.isExpression(arg)) {
+            const lit = literalValue(arg);
+            if (typeof lit === "string")
+                return { type: "string", enum: [lit] };
+            if (typeof lit === "number")
+                return { type: "number", enum: [lit] };
+            if (typeof lit === "boolean")
+                return { type: "boolean", enum: [lit] };
+        }
+        return { type: "string" };
+    }
+    // ── Primitive: z.string(), z.number(), z.boolean(), ...
+    const prim = PRIMITIVE_MAP[head];
+    if (prim) {
+        const base = { type: prim };
+        // Walk the method chain beyond the primitive to catch ``.int()``
+        // and similar refinements.
+        if (head === "number" && chainContains(expr, "int")) {
+            base.type = "integer";
+        }
+        return base;
+    }
+    // Unknown method — degrade gracefully.
+    return { type: "string" };
+}
+/**
+ * Translate a ``z.object({...})`` inner literal into a top-level
+ * JSON Schema.
+ */
+function objectLiteralToJsonSchema(literal) {
+    const properties = {};
+    const required = [];
+    for (const prop of literal.getProperties()) {
+        if (!ts_morph_1.Node.isPropertyAssignment(prop))
+            continue;
+        const key = prop.getName().replace(/^['"`]|['"`]$/g, "");
+        const init = prop.getInitializer();
+        if (!init)
+            continue;
+        const schema = zodExprToJsonSchema(init);
+        properties[key] = schema;
+        if (!chainContains(init, "optional") && !chainContains(init, "nullish")) {
+            required.push(key);
+        }
+    }
+    const out = { type: "object", properties };
+    if (required.length)
+        out.required = required;
+    return out;
+}
+// ---------------------------------------------------------------------------
+// AST walk helpers
+// ---------------------------------------------------------------------------
+/** Return the *deepest* CallExpression in a ``a.b().c().d()`` chain. */
+function unwrapChain(expr) {
+    let cur = expr;
+    while (cur) {
+        if (ts_morph_1.Node.isCallExpression(cur))
+            return cur;
+        if (ts_morph_1.Node.isPropertyAccessExpression(cur)) {
+            cur = cur.getExpression();
+            continue;
+        }
+        return undefined;
+    }
+    return undefined;
+}
+/**
+ * Return the *head* method name of a Zod chain —
+ * ``z.string().min(3).optional()`` → ``"string"``.  This is the
+ * identifier immediately following the root ``z.`` / variable.
+ */
+function getHeadMethod(call) {
+    let cur = call;
+    let last;
+    while (cur) {
+        if (ts_morph_1.Node.isCallExpression(cur)) {
+            const callee = cur.getExpression();
+            if (ts_morph_1.Node.isPropertyAccessExpression(callee)) {
+                last = callee.getName();
+                cur = callee.getExpression();
+                continue;
+            }
+            if (ts_morph_1.Node.isIdentifier(callee)) {
+                return callee.getText();
+            }
+            return last;
+        }
+        if (ts_morph_1.Node.isPropertyAccessExpression(cur)) {
+            last = cur.getName();
+            cur = cur.getExpression();
+            continue;
+        }
+        return last;
+    }
+    return last;
+}
+/**
+ * Does any node in the method chain (at any depth) call a method
+ * whose name matches ``target``?  Used to detect ``.optional()`` and
+ * ``.int()`` refiners.
+ */
+function chainContains(expr, target) {
+    let found = false;
+    expr.forEachDescendant((node, traversal) => {
+        if (ts_morph_1.Node.isCallExpression(node) &&
+            ts_morph_1.Node.isPropertyAccessExpression(node.getExpression()) &&
+            node.getExpression().getName() === target) {
+            found = true;
+            traversal.stop();
+        }
+    });
+    if (found)
+        return true;
+    // Also check the immediate expression itself
+    if (ts_morph_1.Node.isCallExpression(expr)) {
+        const callee = expr.getExpression();
+        if (ts_morph_1.Node.isPropertyAccessExpression(callee) &&
+            callee.getName() === target) {
+            return true;
+        }
+    }
+    return false;
+}
+/** Extract a literal JS value from an AST node, or ``undefined``. */
+function literalValue(node) {
+    if (ts_morph_1.Node.isStringLiteral(node) || ts_morph_1.Node.isNoSubstitutionTemplateLiteral(node)) {
+        return node.getLiteralText();
+    }
+    if (ts_morph_1.Node.isNumericLiteral(node)) {
+        return Number(node.getLiteralText());
+    }
+    const k = node.getKind();
+    if (k === ts_morph_1.SyntaxKind.TrueKeyword)
+        return true;
+    if (k === ts_morph_1.SyntaxKind.FalseKeyword)
+        return false;
+    return undefined;
+}
+//# sourceMappingURL=zod.js.map

package/dist/cli/zod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.js","sourceRoot":"","sources":["../../src/cli/zod.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;AA+BH,kDAoEC;AAMD,8DAqBC;AA5HD,uCAOkB;AAGlB,MAAM,aAAa,GAAmC;IACpD,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,QAAQ;IACb,OAAO,EAAE,QAAQ;IACjB,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,MAAM;CACb,CAAC;AAEF;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,IAAgB;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAErC,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAErC,sEAAsE;IACtE,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,QAAQ,IAAI,eAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;YACnD,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,MAAM,CAAC,UAAU;aAC9B,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC5C,CAAC;IAED,sDAAsD;IACtD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,KAAK,IAAI,eAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IACtD,CAAC;IAED,qDAAqD;IACrD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,IAAI,eAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,GAAG;iBACf,WAAW,EAAE;iBACb,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;iBAC3B,MAAM,CAAC,CAAC,CAAC,EAAkC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YAClE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5B,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,IAAI,eAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,IAAI,OAAO,GAAG,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5B,CAAC;IAED,yDAAyD;IACzD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,IAAI,GAAuB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAChD,iEAAiE;QACjE,2BAA2B;QAC3B,IAAI,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;QACxB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uCAAuC;IACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,SAAgB,yBAAyB,CACvC,OAAgC;IAEhC,MAAM,UAAU,GAAuC,EAAE,CAAC;IAC1D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,eAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/C,MAAM,GAAG,GAAI,IAA2B,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QACjF,MAAM,IAAI,GAAI,IAA2B,CAAC,cAAc,EAAE,CAAC;QAC3D,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzC,UAAU,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACzB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;YACxE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvD,IAAI,QAAQ,CAAC,MAAM;QAAE,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC7C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,wEAAwE;AACxE,SAAS,WAAW,CAAC,IAAgB;IACnC,IAAI,GAAG,GAAqB,IAAI,CAAC;IACjC,OAAO,GAAG,EAAE,CAAC;QACX,IAAI,eAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,OAAO,GAAG,CAAC;QAC3C,IAAI,eAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,GAAG,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAoB;IACzC,IAAI,GAAG,GAAS,IAAI,CAAC;IACrB,IAAI,IAAwB,CAAC;IAC7B,OAAO,GAAG,EAAE,CAAC;QACX,IAAI,eAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,eAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;gBACxB,GAAG,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,IAAI,eAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,eAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;YACrB,GAAG,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAgB,EAAE,MAAc;IACrD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACzC,IACE,eAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC3B,eAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACpD,IAAI,CAAC,aAAa,EAAU,CAAC,OAAO,EAAE,KAAK,MAAM,EAClD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,SAAS,CAAC,IAAI,EAAE,CAAC;QACnB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC;IACvB,6CAA6C;IAC7C,IAAI,eAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IACE,eAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,KAAK,MAAM,EAC3B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qEAAqE;AACrE,SAAS,YAAY,CACnB,IAAU;IAEV,IAAI,eAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,eAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,eAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IACzB,IAAI,CAAC,KAAK,qBAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC,KAAK,qBAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/contract.d.ts

@@ -11,16 +11,16 @@
  *     contracts: [
  *       contract("refund policy gate")
  *         .assume("called `issue_refund`")
- *         .enforce("must call `check_policy` before `issue_refund`"),
+ *         .guarantees("must call `check_policy` before `issue_refund`"),
  *       contract("rate cap")
- *         .enforce("tool `issue_refund` at most 3 times"),
+ *         .guarantees("tool `issue_refund` at most 3 times"),
  *     ],
  *   });
  *
- * Repeated ``.assume`` / ``.enforce`` calls AND-combine (matching
+ * Repeated ``.assume`` / ``.guarantees`` calls AND-combine (matching
  * the Python builder). If ``.assume`` is omitted the contract is
- * unconditional and the enforcement formula is used as-is. If
- * ``.assume`` is present the formula is ``A -> E``.
+ * unconditional and the guarantee formula is used as-is. If
+ * ``.assume`` is present the formula is ``A -> G``.
  *
  * The builder satisfies ``DetFormula`` structurally, so it can be
  * passed directly to ``Sponsio({ contracts: [...] })`` — no ``build()``
@@ -33,23 +33,23 @@ export declare class ContractBuilder implements DetFormula {
     readonly patternName: string;
     readonly liveness: boolean;
     private _assumption;
-    private _enforcement;
+    private _guarantee;
     constructor(desc?: string);
     /** Add an assumption clause (A side). Repeated calls AND-combine. */
     assume(clause: string | DetFormula): ContractBuilder;
-    /** Add an enforcement clause (E side). Repeated calls AND-combine. */
-    enforce(clause: string | DetFormula): ContractBuilder;
+    /** Add a guarantee clause (G side). Repeated calls AND-combine. */
+    guarantees(clause: string | DetFormula): ContractBuilder;
     /**
      * The compiled LTL formula. Accessed at `Sponsio` construction time.
      *
-     * - If both A and E are set: ``G(A -> E)``. We wrap in ``G`` because
-     *   the evaluator runs from ``pos=0``; a bare ``Implies(A, E)`` would
+     * - If both A and G are set: ``G(A -> G_)``. We wrap in ``G`` because
+     *   the evaluator runs from ``pos=0``; a bare ``Implies(A, G_)`` would
      *   short-circuit whenever ``A`` was false at step 0 regardless of
      *   later events. ``G`` lifts the implication to every step so the
-     *   enforcement fires whenever the assumption holds.
-     * - If only E: ``E`` (unconditional; the pattern factories already
+     *   guarantee fires whenever the assumption holds.
+     * - If only G: ``G_`` (unconditional; the pattern factories already
      *   emit safety properties wrapped in ``G`` where needed).
-     * - If neither: throws — every contract needs an enforcement.
+     * - If neither: throws — every contract needs a guarantee.
      */
     get formula(): Formula;
     private _clone;

package/dist/contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAmB,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,qBAAa,eAAgB,YAAW,UAAU;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAc;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAS;IAEnC,OAAO,CAAC,WAAW,CAAiB;IACpC,OAAO,CAAC,YAAY,CAAiB;gBAEzB,IAAI,CAAC,EAAE,MAAM;IAMzB,qEAAqE;IACrE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;IAOpD,sEAAsE;IACtE,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;IAOrD;;;;;;;;;;;OAWG;IACH,IAAI,OAAO,IAAI,OAAO,CASrB;IAED,OAAO,CAAC,MAAM;CAMf;AAeD,4EAA4E;AAC5E,wBAAgB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,eAAe,CAEvD"}
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,EAAmB,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,qBAAa,eAAgB,YAAW,UAAU;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAc;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAS;IAEnC,OAAO,CAAC,WAAW,CAAiB;IACpC,OAAO,CAAC,UAAU,CAAiB;gBAEvB,IAAI,CAAC,EAAE,MAAM;IAMzB,qEAAqE;IACrE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;IAOpD,mEAAmE;IACnE,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;IAOxD;;;;;;;;;;;OAWG;IACH,IAAI,OAAO,IAAI,OAAO,CASrB;IAED,OAAO,CAAC,MAAM;CAMf;AAeD,4EAA4E;AAC5E,wBAAgB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,eAAe,CAEvD"}

package/dist/contract.js

@@ -11,16 +11,16 @@
  *     contracts: [
  *       contract("refund policy gate")
  *         .assume("called `issue_refund`")
- *         .enforce("must call `check_policy` before `issue_refund`"),
+ *         .guarantees("must call `check_policy` before `issue_refund`"),
  *       contract("rate cap")
- *         .enforce("tool `issue_refund` at most 3 times"),
+ *         .guarantees("tool `issue_refund` at most 3 times"),
  *     ],
  *   });
  *
- * Repeated ``.assume`` / ``.enforce`` calls AND-combine (matching
+ * Repeated ``.assume`` / ``.guarantees`` calls AND-combine (matching
  * the Python builder). If ``.assume`` is omitted the contract is
- * unconditional and the enforcement formula is used as-is. If
- * ``.assume`` is present the formula is ``A -> E``.
+ * unconditional and the guarantee formula is used as-is. If
+ * ``.assume`` is present the formula is ``A -> G``.
  *
  * The builder satisfies ``DetFormula`` structurally, so it can be
  * passed directly to ``Sponsio({ contracts: [...] })`` — no ``build()``
@@ -33,11 +33,11 @@ export class ContractBuilder {
     patternName = "contract";
     liveness = false;
     _assumption;
-    _enforcement;
+    _guarantee;
     constructor(desc) {
         this.desc = desc ?? "contract";
         this._assumption = null;
-        this._enforcement = null;
+        this._guarantee = null;
     }
     /** Add an assumption clause (A side). Repeated calls AND-combine. */
     assume(clause) {
@@ -46,37 +46,37 @@ export class ContractBuilder {
         next._assumption = next._assumption ? new And(next._assumption, f) : f;
         return next;
     }
-    /** Add an enforcement clause (E side). Repeated calls AND-combine. */
-    enforce(clause) {
+    /** Add a guarantee clause (G side). Repeated calls AND-combine. */
+    guarantees(clause) {
         const next = this._clone();
-        const f = toFormula(clause, "enforce");
-        next._enforcement = next._enforcement ? new And(next._enforcement, f) : f;
+        const f = toFormula(clause, "guarantees");
+        next._guarantee = next._guarantee ? new And(next._guarantee, f) : f;
         return next;
     }
     /**
      * The compiled LTL formula. Accessed at `Sponsio` construction time.
      *
-     * - If both A and E are set: ``G(A -> E)``. We wrap in ``G`` because
-     *   the evaluator runs from ``pos=0``; a bare ``Implies(A, E)`` would
+     * - If both A and G are set: ``G(A -> G_)``. We wrap in ``G`` because
+     *   the evaluator runs from ``pos=0``; a bare ``Implies(A, G_)`` would
      *   short-circuit whenever ``A`` was false at step 0 regardless of
      *   later events. ``G`` lifts the implication to every step so the
-     *   enforcement fires whenever the assumption holds.
-     * - If only E: ``E`` (unconditional; the pattern factories already
+     *   guarantee fires whenever the assumption holds.
+     * - If only G: ``G_`` (unconditional; the pattern factories already
      *   emit safety properties wrapped in ``G`` where needed).
-     * - If neither: throws — every contract needs an enforcement.
+     * - If neither: throws — every contract needs a guarantee.
      */
     get formula() {
-        if (!this._enforcement) {
-            throw new Error(`contract(${JSON.stringify(this.desc)}): .enforce(...) is required`);
+        if (!this._guarantee) {
+            throw new Error(`contract(${JSON.stringify(this.desc)}): .guarantees(...) is required`);
         }
         return this._assumption
-            ? new G(new Implies(this._assumption, this._enforcement))
-            : this._enforcement;
+            ? new G(new Implies(this._assumption, this._guarantee))
+            : this._guarantee;
     }
     _clone() {
         const next = new ContractBuilder(this.desc);
         next._assumption = this._assumption;
-        next._enforcement = this._enforcement;
+        next._guarantee = this._guarantee;
         return next;
     }
 }

package/dist/contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAgB,MAAM,mBAAmB,CAAC;AAGlE,MAAM,OAAO,eAAe;IACjB,IAAI,CAAS;IACb,WAAW,GAAW,UAAU,CAAC;IACjC,QAAQ,GAAY,KAAK,CAAC;IAE3B,WAAW,CAAiB;IAC5B,YAAY,CAAiB;IAErC,YAAY,IAAa;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,UAAU,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;IAC3B,CAAC;IAED,qEAAqE;IACrE,MAAM,CAAC,MAA2B;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,sEAAsE;IACtE,OAAO,CAAC,MAA2B;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;OAWG;IACH,IAAI,OAAO;QACT,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,8BAA8B,CACpE,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,WAAW;YACrB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;YACzD,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;IACxB,CAAC;IAEO,MAAM;QACZ,MAAM,IAAI,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QACpC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,SAAS,SAAS,CAAC,MAA2B,EAAE,KAAa;IAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,cAAc,KAAK,KAAK,MAAM,+BAA+B,CAC9D,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,QAAQ,CAAC,IAAa;IACpC,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC"}
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAgB,MAAM,mBAAmB,CAAC;AAGlE,MAAM,OAAO,eAAe;IACjB,IAAI,CAAS;IACb,WAAW,GAAW,UAAU,CAAC;IACjC,QAAQ,GAAY,KAAK,CAAC;IAE3B,WAAW,CAAiB;IAC5B,UAAU,CAAiB;IAEnC,YAAY,IAAa;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,UAAU,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;IACzB,CAAC;IAED,qEAAqE;IACrE,MAAM,CAAC,MAA2B;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mEAAmE;IACnE,UAAU,CAAC,MAA2B;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAC1C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;OAWG;IACH,IAAI,OAAO;QACT,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC,CACvE,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,WAAW;YACrB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IACtB,CAAC;IAEO,MAAM;QACZ,MAAM,IAAI,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QACpC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,SAAS,SAAS,CAAC,MAA2B,EAAE,KAAa;IAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACb,cAAc,KAAK,KAAK,MAAM,+BAA+B,CAC9D,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,QAAQ,CAAC,IAAa;IACpC,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC"}