@sponsio/sdk 0.1.0-alpha.3

package/dist/core/nl-parser.js

@@ -0,0 +1,152 @@
+/**
+ * NL → Formula parser (rule-based keyword matching).
+ *
+ * Simplified port of sponsio/generation/nl_to_contract.py.
+ * Handles common NL patterns like:
+ *   "tool `A` must precede `B`"
+ *   "tool `X` at most 3 times"
+ *   "tools `A` and `B` are mutually exclusive"
+ */
+import { mustPrecede, alwaysFollowedBy, rateLimit, idempotent, mutualExclusion, noReversal, cooldown, deadline, } from "./patterns.js";
+import { Atom } from "./formula.js";
+/** Extract backtick-wrapped tool names from NL text. */
+function extractTools(text) {
+    const matches = text.match(/`([^`]+)`/g);
+    if (!matches)
+        return [];
+    return matches.map((m) => m.replace(/`/g, ""));
+}
+/** Extract a number from text. */
+function extractNumber(text) {
+    const m = text.match(/(\d+)/);
+    return m ? parseInt(m[1], 10) : null;
+}
+const KEYWORD_RULES = [
+    // Deadline (before rate_limit so "within N steps" doesn't get swallowed by
+    // any "N times"-style rule). Mirrors the Python ``nl_to_contract`` regex set.
+    {
+        patterns: [
+            /within\s+\d+\s+steps?\s+(?:of|after)/,
+            /deadline\s+(?:of\s+)?\d+\s+steps?/,
+            /must.*within\s+\d+\s+steps?/,
+        ],
+        patternName: "deadline",
+        minArgs: 2,
+    },
+    // Rate limit (before idempotent — "at most N times")
+    {
+        patterns: [/at most.*times/, /maximum.*invocations/, /limit.*calls/, /no more than.*times/],
+        patternName: "rate_limit",
+        minArgs: 1,
+    },
+    // Idempotent
+    {
+        patterns: [/idempotent/, /at most once/, /only (?:once|call(?:ed)? once)/, /single invocation/],
+        patternName: "idempotent",
+        minArgs: 1,
+    },
+    // Mutual exclusion
+    {
+        patterns: [/mutually exclusive/, /exactly one of/, /either.*or.*not both/, /only one of/],
+        patternName: "mutual_exclusion",
+        minArgs: 2,
+    },
+    // Always followed by
+    {
+        patterns: [/(?:must be |always )?followed by/, /must eventually follow/],
+        patternName: "always_followed_by",
+        minArgs: 2,
+    },
+    // No reversal
+    {
+        patterns: [/cannot.*after\s+approv/, /no reversal/, /cannot\s+deny\s+after/, /must\s+not.*after/],
+        patternName: "no_reversal",
+        minArgs: 2,
+    },
+    // Cooldown
+    {
+        patterns: [/cooldown/, /minimum\s+\d+\s+steps?\s+between/],
+        patternName: "cooldown",
+        minArgs: 1,
+    },
+    // Must precede (last — most general, requires backtick context)
+    {
+        patterns: [/precede/, /`[^`]+`\s+(?:must\s+)?before\s+`/, /before\s+`/, /is\s+required\s+before/],
+        patternName: "must_precede",
+        minArgs: 2,
+    },
+];
+/**
+ * Recognise bare "called \`X\`" / "calls \`X\`" / "\`X\` was called"
+ * phrasings — Python's parser treats these as standalone ``called(X)``
+ * atoms, which is what the ``contract().assume("called \`X\`")``
+ * builder snippet leans on. Keeping this as a fallback path (after
+ * the richer pattern rules) means a phrase like "tool \`A\` must
+ * precede \`B\`" still binds to ``must_precede`` first.
+ */
+function parseBareCalledAtom(text, tools) {
+    if (tools.length !== 1)
+        return null;
+    const lower = text.toLowerCase();
+    if (/\bcalled\s+`[^`]+`/.test(lower) ||
+        /\bcalls\s+`[^`]+`/.test(lower) ||
+        /`[^`]+`\s+(?:was|is)\s+called/.test(lower)) {
+        return {
+            formula: new Atom("called", [tools[0]]),
+            desc: `called(${tools[0]})`,
+            patternName: "called",
+            liveness: false,
+        };
+    }
+    return null;
+}
+export function parseNl(text) {
+    const lower = text.toLowerCase();
+    const tools = extractTools(text);
+    for (const rule of KEYWORD_RULES) {
+        const matched = rule.patterns.some((p) => p.test(lower));
+        if (!matched)
+            continue;
+        if (tools.length < rule.minArgs)
+            continue;
+        switch (rule.patternName) {
+            case "must_precede":
+                return mustPrecede(tools[0], tools[1]);
+            case "always_followed_by":
+                return alwaysFollowedBy(tools[0], tools[1]);
+            case "rate_limit": {
+                const n = extractNumber(text);
+                if (n == null)
+                    continue;
+                return rateLimit(tools[0], n);
+            }
+            case "idempotent":
+                return idempotent(tools[0]);
+            case "mutual_exclusion":
+                return mutualExclusion(tools[0], tools[1]);
+            case "no_reversal":
+                return noReversal(tools[0], tools[1]);
+            case "cooldown": {
+                const n = extractNumber(text);
+                if (n == null)
+                    continue;
+                return cooldown(tools[0], n);
+            }
+            case "deadline": {
+                const n = extractNumber(text);
+                if (n == null)
+                    continue;
+                // Parity with Python NL parser: ``deadline(actions[0], actions[1], n)``,
+                // i.e. tools[0] is the trigger and tools[1] is the action that must
+                // occur within ``n`` steps. NL phrasings to use: "after `X`, `Y` must
+                // occur within N steps".
+                return deadline(tools[0], tools[1], n);
+            }
+            default:
+                continue;
+        }
+    }
+    // Fallback: single-atom phrasings used in A/E contract assumptions.
+    return parseBareCalledAtom(text, tools);
+}
+//# sourceMappingURL=nl-parser.js.map

package/dist/core/nl-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nl-parser.js","sourceRoot":"","sources":["../../src/core/nl-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,SAAS,EACT,UAAU,EACV,eAAe,EACf,UAAU,EAEV,QAAQ,EACR,QAAQ,GACT,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,wDAAwD;AACxD,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,kCAAkC;AAClC,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAQD,MAAM,aAAa,GAAkB;IACnC,2EAA2E;IAC3E,8EAA8E;IAC9E;QACE,QAAQ,EAAE;YACR,sCAAsC;YACtC,mCAAmC;YACnC,6BAA6B;SAC9B;QACD,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC;KACX;IACD,qDAAqD;IACrD;QACE,QAAQ,EAAE,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,cAAc,EAAE,qBAAqB,CAAC;QAC3F,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,CAAC;KACX;IACD,aAAa;IACb;QACE,QAAQ,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gCAAgC,EAAE,mBAAmB,CAAC;QAC/F,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,CAAC;KACX;IACD,mBAAmB;IACnB;QACE,QAAQ,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,aAAa,CAAC;QACzF,WAAW,EAAE,kBAAkB;QAC/B,OAAO,EAAE,CAAC;KACX;IACD,qBAAqB;IACrB;QACE,QAAQ,EAAE,CAAC,kCAAkC,EAAE,wBAAwB,CAAC;QACxE,WAAW,EAAE,oBAAoB;QACjC,OAAO,EAAE,CAAC;KACX;IACD,cAAc;IACd;QACE,QAAQ,EAAE,CAAC,wBAAwB,EAAE,aAAa,EAAE,uBAAuB,EAAE,mBAAmB,CAAC;QACjG,WAAW,EAAE,aAAa;QAC1B,OAAO,EAAE,CAAC;KACX;IACD,WAAW;IACX;QACE,QAAQ,EAAE,CAAC,UAAU,EAAE,kCAAkC,CAAC;QAC1D,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC;KACX;IACD,gEAAgE;IAChE;QACE,QAAQ,EAAE,CAAC,SAAS,EAAE,kCAAkC,EAAE,YAAY,EAAE,wBAAwB,CAAC;QACjG,WAAW,EAAE,cAAc;QAC3B,OAAO,EAAE,CAAC;KACX;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,IAAY,EAAE,KAAe;IACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IACE,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAChC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/B,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3C,CAAC;QACD,OAAO;YACL,OAAO,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE,UAAU,KAAK,CAAC,CAAC,CAAC,GAAG;YAC3B,WAAW,EAAE,QAAQ;YACrB,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEjC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO;YAAE,SAAS;QAE1C,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;YACzB,KAAK,cAAc;gBACjB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,KAAK,oBAAoB;gBACvB,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,KAAK,YAAY;gBACf,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,KAAK,kBAAkB;gBACrB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,aAAa;gBAChB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,yEAAyE;gBACzE,oEAAoE;gBACpE,sEAAsE;gBACtE,yBAAyB;gBACzB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;YACD;gBACE,SAAS;QACb,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,OAAO,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC"}

package/dist/core/pack-loader.d.ts

@@ -0,0 +1,15 @@
+import type { SkippedItem } from "./config-loader.js";
+export declare function bundledContractsDir(): string | null;
+export declare class IncludeResolveError extends Error {
+}
+export interface PackContractItem {
+    raw: unknown;
+    packSource: string;
+}
+/**
+ * Resolve a single ``include:`` entry to a flat list of contract
+ * items (pre-projection). The caller projects each item through the
+ * same pipeline as user-yaml contracts.
+ */
+export declare function loadPackContracts(spec: string, baseDir: string, seen?: Set<string>, skipped?: SkippedItem[]): PackContractItem[];
+//# sourceMappingURL=pack-loader.d.ts.map

package/dist/core/pack-loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack-loader.d.ts","sourceRoot":"","sources":["../../src/core/pack-loader.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAqBtD,wBAAgB,mBAAmB,IAAI,MAAM,GAAG,IAAI,CAmBnD;AAmBD,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AA0DjD,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,OAAO,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,IAAI,GAAE,GAAG,CAAC,MAAM,CAAa,EAC7B,OAAO,GAAE,WAAW,EAAO,GAC1B,gBAAgB,EAAE,CAsFpB"}

package/dist/core/pack-loader.js

@@ -0,0 +1,220 @@
+/**
+ * Resolve and load contract packs referenced via ``include:`` in
+ * sponsio.yaml.
+ *
+ * Mirrors the Python ``sponsio.config._resolve_include_spec`` /
+ * ``_load_pack_contracts`` behaviour:
+ *
+ *   - ``sponsio:<category>/<name>`` resolves to the bundled pack
+ *     yaml under this package's ``contracts/`` directory. Confined
+ *     to that subtree so ``sponsio:../../etc/passwd`` can't escape.
+ *   - Bare paths resolve relative to the directory containing the
+ *     including yaml (or absolute as-is). Confined to the including
+ *     directory's subtree.
+ *   - Pack files must declare exactly one agent named ``"*"`` (the
+ *     template). The pack's contract list is pulled out and stamped
+ *     with ``packSource = spec`` for downstream attribution.
+ *   - Nested includes are resolved recursively, with cycle detection.
+ *
+ * Lives separately from ``config-loader.ts`` so the loader's main
+ * path stays focused on user-yaml schema; pack expansion is a
+ * recursive sub-pass.
+ */
+import { readFileSync, existsSync, readdirSync } from "node:fs";
+import { dirname, isAbsolute, join, resolve, relative } from "node:path";
+import { createRequire } from "node:module";
+import { fileURLToPath } from "node:url";
+const requireCjs = createRequire(import.meta.url);
+function loadYamlLib() {
+    return requireCjs("yaml");
+}
+/**
+ * Locate the bundled ``contracts/`` directory shipped with this SDK
+ * package. In a published install it lives at
+ * ``node_modules/@sponsio/sdk/contracts/``; during local development
+ * (``pnpm/npm link``, monorepo workspaces) it lives at
+ * ``ts/packages/sdk/contracts/``. Walks up from this file's location
+ * until it finds the directory.
+ */
+let _bundledContractsDir;
+export function bundledContractsDir() {
+    if (_bundledContractsDir !== undefined)
+        return _bundledContractsDir;
+    // Override hook for embedded / non-standard layouts.
+    if (process.env.SPONSIO_CONTRACTS_DIR && existsSync(process.env.SPONSIO_CONTRACTS_DIR)) {
+        _bundledContractsDir = resolve(process.env.SPONSIO_CONTRACTS_DIR);
+        return _bundledContractsDir;
+    }
+    const here = dirname(fileURLToPath(import.meta.url));
+    // dist/core/pack-loader.js → ../../contracts
+    // src/core/pack-loader.ts  → ../../contracts (during dev)
+    const candidates = [join(here, "..", "..", "contracts"), join(here, "..", "contracts")];
+    for (const c of candidates) {
+        if (existsSync(join(c, "core"))) {
+            _bundledContractsDir = resolve(c);
+            return _bundledContractsDir;
+        }
+    }
+    _bundledContractsDir = null;
+    return null;
+}
+function listAvailablePacks(root) {
+    const out = [];
+    function walk(dir, prefix) {
+        if (!existsSync(dir))
+            return;
+        for (const entry of readdirSync(dir, { withFileTypes: true })) {
+            if (entry.isDirectory()) {
+                walk(join(dir, entry.name), prefix ? `${prefix}/${entry.name}` : entry.name);
+            }
+            else if (entry.isFile() && entry.name.endsWith(".yaml")) {
+                const stem = entry.name.replace(/\.yaml$/, "");
+                out.push(`sponsio:${prefix}/${stem}`);
+            }
+        }
+    }
+    walk(root, "");
+    return out.sort();
+}
+export class IncludeResolveError extends Error {
+}
+function resolveIncludeSpec(spec, baseDir) {
+    if (typeof spec !== "string" || !spec.trim()) {
+        throw new IncludeResolveError(`include: entry must be a non-empty string, got ${JSON.stringify(spec)}`);
+    }
+    if (spec.startsWith("sponsio:")) {
+        const rel = spec.slice("sponsio:".length).trim();
+        if (!rel) {
+            throw new IncludeResolveError(`include: bundled spec is empty: '${spec}' — expected e.g. 'sponsio:core/universal'`);
+        }
+        const root = bundledContractsDir();
+        if (!root) {
+            throw new IncludeResolveError(`include: cannot locate bundled contracts/ directory for '${spec}'. ` +
+                `Set SPONSIO_CONTRACTS_DIR if running from a non-standard layout.`);
+        }
+        const filename = rel.endsWith(".yaml") ? rel : rel + ".yaml";
+        const candidate = resolve(root, filename);
+        // Confine to the bundled tree.
+        const relFromRoot = relative(root, candidate);
+        if (relFromRoot.startsWith("..") || isAbsolute(relFromRoot)) {
+            throw new IncludeResolveError(`include: spec '${spec}' resolves outside the bundled contracts tree`);
+        }
+        if (!existsSync(candidate)) {
+            const available = listAvailablePacks(root);
+            throw new IncludeResolveError(`include: bundled pack not found: '${spec}'. Available: ${available.join(", ")}`);
+        }
+        return candidate;
+    }
+    // Bare filesystem include.
+    let candidate;
+    if (isAbsolute(spec)) {
+        candidate = resolve(spec);
+    }
+    else {
+        candidate = resolve(baseDir, spec);
+        // Confine to baseDir subtree (mirror Python's safe_resolve).
+        const relFromBase = relative(baseDir, candidate);
+        if (relFromBase.startsWith("..") || isAbsolute(relFromBase)) {
+            throw new IncludeResolveError(`include: spec '${spec}' resolves outside the including file's directory (${baseDir}). ` +
+                `Use an absolute path or the bundled 'sponsio:...' form for cross-tree includes.`);
+        }
+    }
+    if (!existsSync(candidate)) {
+        throw new IncludeResolveError(`include: file not found: ${candidate}`);
+    }
+    return candidate;
+}
+/**
+ * Resolve a single ``include:`` entry to a flat list of contract
+ * items (pre-projection). The caller projects each item through the
+ * same pipeline as user-yaml contracts.
+ */
+export function loadPackContracts(spec, baseDir, seen = new Set(), skipped = []) {
+    if (seen.has(spec)) {
+        const chain = [...seen, spec].join(" -> ");
+        throw new IncludeResolveError(`include: cycle detected: ${chain}`);
+    }
+    let path;
+    try {
+        path = resolveIncludeSpec(spec, baseDir);
+    }
+    catch (e) {
+        if (e instanceof IncludeResolveError) {
+            skipped.push({ kind: "pack", detail: e.message });
+            return [];
+        }
+        throw e;
+    }
+    const yamlLib = loadYamlLib();
+    let raw;
+    try {
+        raw = yamlLib.parse(readFileSync(path, "utf-8"));
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        skipped.push({ kind: "pack", detail: `${spec}: invalid yaml in ${path}: ${msg}` });
+        return [];
+    }
+    if (!raw || typeof raw !== "object" || Array.isArray(raw)) {
+        skipped.push({ kind: "pack", detail: `${spec}: pack root must be a mapping` });
+        return [];
+    }
+    const agents = raw["agents"];
+    if (!agents || typeof agents !== "object" || Array.isArray(agents)) {
+        skipped.push({
+            kind: "pack",
+            detail: `${spec}: pack must define an 'agents:' mapping with a single '*' agent`,
+        });
+        return [];
+    }
+    const agentKeys = Object.keys(agents);
+    if (agentKeys.length !== 1 || agentKeys[0] !== "*") {
+        skipped.push({
+            kind: "pack",
+            detail: `${spec}: pack must define exactly one agent named '*' (got ${JSON.stringify(agentKeys)})`,
+        });
+        return [];
+    }
+    const template = agents["*"];
+    if (!template || typeof template !== "object" || Array.isArray(template)) {
+        skipped.push({ kind: "pack", detail: `${spec}: '*' agent value must be a mapping` });
+        return [];
+    }
+    const out = [];
+    // Recurse into nested includes first (matches Python order).
+    const nested = template["include"];
+    if (Array.isArray(nested)) {
+        seen.add(spec);
+        try {
+            for (const child of nested) {
+                if (typeof child !== "string") {
+                    skipped.push({
+                        kind: "pack",
+                        detail: `${spec}: nested include entry must be a string, got ${typeof child}`,
+                    });
+                    continue;
+                }
+                for (const item of loadPackContracts(child, dirname(path), seen, skipped)) {
+                    out.push(item);
+                }
+            }
+        }
+        finally {
+            seen.delete(spec);
+        }
+    }
+    else if (nested !== undefined) {
+        skipped.push({ kind: "pack", detail: `${spec}: nested 'include' must be a list of strings` });
+    }
+    const contracts = template["contracts"];
+    if (Array.isArray(contracts)) {
+        for (const item of contracts) {
+            out.push({ raw: item, packSource: spec });
+        }
+    }
+    else if (contracts !== undefined) {
+        skipped.push({ kind: "pack", detail: `${spec}: '*' agent's 'contracts' must be a list` });
+    }
+    return out;
+}
+//# sourceMappingURL=pack-loader.js.map

package/dist/core/pack-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack-loader.js","sourceRoot":"","sources":["../../src/core/pack-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAMlD,SAAS,WAAW;IAClB,OAAO,UAAU,CAAC,MAAM,CAAY,CAAC;AACvC,CAAC;AAED;;;;;;;GAOG;AACH,IAAI,oBAA+C,CAAC;AACpD,MAAM,UAAU,mBAAmB;IACjC,IAAI,oBAAoB,KAAK,SAAS;QAAE,OAAO,oBAAoB,CAAC;IACpE,qDAAqD;IACrD,IAAI,OAAO,CAAC,GAAG,CAAC,qBAAqB,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACvF,oBAAoB,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAClE,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,6CAA6C;IAC7C,0DAA0D;IAC1D,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IACxF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;YAChC,oBAAoB,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAClC,OAAO,oBAAoB,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,oBAAoB,GAAG,IAAI,CAAC;IAC5B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,SAAS,IAAI,CAAC,GAAW,EAAE,MAAc;QACvC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9D,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/E,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC/C,GAAG,CAAC,IAAI,CAAC,WAAW,MAAM,IAAI,IAAI,EAAE,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACf,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;AACpB,CAAC;AAED,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,SAAS,kBAAkB,CAAC,IAAY,EAAE,OAAe;IACvD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAAC,kDAAkD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,mBAAmB,CAC3B,oCAAoC,IAAI,4CAA4C,CACrF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,mBAAmB,CAC3B,4DAA4D,IAAI,KAAK;gBACnE,kEAAkE,CACrE,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,OAAO,CAAC;QAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1C,+BAA+B;QAC/B,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9C,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,mBAAmB,CAC3B,kBAAkB,IAAI,+CAA+C,CACtE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,IAAI,mBAAmB,CAC3B,qCAAqC,IAAI,iBAAiB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjF,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,2BAA2B;IAC3B,IAAI,SAAiB,CAAC;IACtB,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACnC,6DAA6D;QAC7D,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACjD,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,mBAAmB,CAC3B,kBAAkB,IAAI,sDAAsD,OAAO,KAAK;gBACtF,iFAAiF,CACpF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,mBAAmB,CAAC,4BAA4B,SAAS,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAOD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,OAAe,EACf,OAAoB,IAAI,GAAG,EAAE,EAC7B,UAAyB,EAAE;IAE3B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,IAAI,mBAAmB,CAAC,4BAA4B,KAAK,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,mBAAmB,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAClD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;IAC9B,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,qBAAqB,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC;QACnF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,+BAA+B,EAAE,CAAC,CAAC;QAC/E,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAI,GAA+B,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,GAAG,IAAI,iEAAiE;SACjF,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAiC,CAAC,CAAC;IACjE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,GAAG,IAAI,uDAAuD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG;SACnG,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,QAAQ,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,qCAAqC,EAAE,CAAC,CAAC;QACrF,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,GAAG,GAAuB,EAAE,CAAC;IAEnC,6DAA6D;IAC7D,MAAM,MAAM,GAAI,QAAoC,CAAC,SAAS,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,CAAC;YACH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC9B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,GAAG,IAAI,gDAAgD,OAAO,KAAK,EAAE;qBAC9E,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC1E,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,8CAA8C,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,SAAS,GAAI,QAAoC,CAAC,WAAW,CAAC,CAAC;IACrE,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;SAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,0CAA0C,EAAE,CAAC,CAAC;IAC5F,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/core/parser.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Formula repr() ↔ AST parser.
+ *
+ * Port of sponsio/formulas/parser.py parse_repr().
+ * Parses the human-readable repr format back into Formula AST:
+ *
+ *   "G((called('auth') -> F(called('query'))))"  →  G(Implies(Atom('called', ['auth']), F(Atom('called', ['query']))))
+ *
+ * Uses recursive descent with tokenizer — the repr uses custom infix
+ * operators (!, ->, &, |, U, <=, >=) that aren't valid JS.
+ */
+import { Formula } from "./formula.js";
+export declare class ParseError extends Error {
+}
+/**
+ * Parse a formula repr string back into an AST.
+ */
+export declare function parseRepr(text: string): Formula;
+//# sourceMappingURL=parser.d.ts.map

package/dist/core/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/core/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EAKR,MAAM,cAAc,CAAC;AAEtB,qBAAa,UAAW,SAAQ,KAAK;CAAG;AAExC;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAY/C"}

package/dist/core/parser.js

@@ -0,0 +1,235 @@
+/**
+ * Formula repr() ↔ AST parser.
+ *
+ * Port of sponsio/formulas/parser.py parse_repr().
+ * Parses the human-readable repr format back into Formula AST:
+ *
+ *   "G((called('auth') -> F(called('query'))))"  →  G(Implies(Atom('called', ['auth']), F(Atom('called', ['query']))))
+ *
+ * Uses recursive descent with tokenizer — the repr uses custom infix
+ * operators (!, ->, &, |, U, <=, >=) that aren't valid JS.
+ */
+import { Atom, Not, And, Or, Implies, G, F, X, U, Le, Lt, Ge, Gt, Eq, Var, Const, } from "./formula.js";
+export class ParseError extends Error {
+}
+/**
+ * Parse a formula repr string back into an AST.
+ */
+export function parseRepr(text) {
+    const trimmed = text.trim();
+    if (!trimmed)
+        throw new ParseError("Empty formula");
+    const tokens = tokenize(trimmed);
+    const state = { pos: 0, tokens };
+    const result = parseExpr(state);
+    if (state.pos !== tokens.length) {
+        throw new ParseError(`Unexpected tokens at position ${state.pos}: ${tokens.slice(state.pos).join(" ")}`);
+    }
+    return result;
+}
+// --- Tokenizer ---
+function tokenize(text) {
+    const tokens = [];
+    let i = 0;
+    while (i < text.length) {
+        const c = text[i];
+        if (c === " " || c === "\t" || c === "\n") {
+            i++;
+        }
+        else if (text.slice(i, i + 2) === "->") {
+            tokens.push("->");
+            i += 2;
+        }
+        else if (text.slice(i, i + 2) === "<=") {
+            tokens.push("<=");
+            i += 2;
+        }
+        else if (text.slice(i, i + 2) === ">=") {
+            tokens.push(">=");
+            i += 2;
+        }
+        else if (text.slice(i, i + 2) === "==") {
+            tokens.push("==");
+            i += 2;
+        }
+        else if ("()<>&|!,".includes(c)) {
+            tokens.push(c);
+            i++;
+        }
+        else if (c === "'" || c === '"') {
+            // Quoted string — include quotes
+            const q = c;
+            let j = i + 1;
+            while (j < text.length && text[j] !== q) {
+                if (text[j] === "\\")
+                    j++;
+                j++;
+            }
+            tokens.push(text.slice(i, j + 1));
+            i = j + 1;
+        }
+        else if (c >= "0" && c <= "9" || (c === "-" && i + 1 < text.length && text[i + 1] >= "0" && text[i + 1] <= "9")) {
+            let j = c === "-" ? i + 1 : i;
+            while (j < text.length && ((text[j] >= "0" && text[j] <= "9") || text[j] === "."))
+                j++;
+            tokens.push(text.slice(i, j));
+            i = j;
+        }
+        else if ((c >= "a" && c <= "z") || (c >= "A" && c <= "Z") || c === "_") {
+            let j = i;
+            while (j < text.length && ((text[j] >= "a" && text[j] <= "z") ||
+                (text[j] >= "A" && text[j] <= "Z") ||
+                (text[j] >= "0" && text[j] <= "9") ||
+                text[j] === "_"))
+                j++;
+            tokens.push(text.slice(i, j));
+            i = j;
+        }
+        else {
+            i++;
+        }
+    }
+    return tokens;
+}
+function peek(s) {
+    return s.tokens[s.pos];
+}
+function consume(s, expected) {
+    if (s.pos >= s.tokens.length) {
+        throw new ParseError(`Unexpected end, expected ${expected ?? "token"}`);
+    }
+    const t = s.tokens[s.pos];
+    if (expected != null && t !== expected) {
+        throw new ParseError(`Expected ${expected} at position ${s.pos}, got ${t}`);
+    }
+    s.pos++;
+    return t;
+}
+function parseExpr(s) {
+    let left = parseUnary(s);
+    while (true) {
+        const op = peek(s);
+        if (op === "->" || op === "&" || op === "|" || op === "U" ||
+            op === "<=" || op === ">=" || op === "<" || op === ">" || op === "==") {
+            consume(s);
+            const right = parseUnary(s);
+            switch (op) {
+                case "->":
+                    left = new Implies(left, right);
+                    break;
+                case "&":
+                    left = new And(left, right);
+                    break;
+                case "|":
+                    left = new Or(left, right);
+                    break;
+                case "U":
+                    left = new U(left, right);
+                    break;
+                case "<=":
+                    left = new Le(left, right);
+                    break;
+                case ">=":
+                    left = new Ge(left, right);
+                    break;
+                case "<":
+                    left = new Lt(left, right);
+                    break;
+                case ">":
+                    left = new Gt(left, right);
+                    break;
+                case "==":
+                    left = new Eq(left, right);
+                    break;
+            }
+        }
+        else {
+            break;
+        }
+    }
+    return left;
+}
+function parseUnary(s) {
+    const t = peek(s);
+    if (t === "!") {
+        consume(s, "!");
+        // Accept both ``!(expr)`` and the bare ``!foo`` / ``!foo(a)`` /
+        // ``!Atom(...)`` forms. LTL-style yaml in the README writes
+        // ``!called(git_commit)`` without explicit parens — without
+        // this loosening the loader has to pre-wrap every negation.
+        const child = parseUnary(s);
+        return new Not(child);
+    }
+    else if (t === "(") {
+        consume(s, "(");
+        const expr = parseExpr(s);
+        consume(s, ")");
+        return expr;
+    }
+    else if (t === "G" || t === "F" || t === "X") {
+        consume(s);
+        consume(s, "(");
+        const child = parseExpr(s);
+        consume(s, ")");
+        return t === "G" ? new G(child) : t === "F" ? new F(child) : new X(child);
+    }
+    else if (t === "Var") {
+        consume(s, "Var");
+        consume(s, "(");
+        const args = [];
+        while (peek(s) !== ")") {
+            if (peek(s) === ",")
+                consume(s, ",");
+            args.push(stripQuotes(consume(s)));
+        }
+        consume(s, ")");
+        return new Var(args[0], ...args.slice(1));
+    }
+    else if (t === "Atom") {
+        consume(s, "Atom");
+        consume(s, "(");
+        const args = [];
+        while (peek(s) !== ")") {
+            if (peek(s) === ",")
+                consume(s, ",");
+            args.push(stripQuotes(consume(s)));
+        }
+        consume(s, ")");
+        return new Atom(args[0], args.slice(1));
+    }
+    else if (t === "Not") {
+        consume(s, "Not");
+        consume(s, "(");
+        const child = parseExpr(s);
+        consume(s, ")");
+        return new Not(child);
+    }
+    else if (t && (/^[-0-9.]/.test(t))) {
+        consume(s);
+        return new Const(parseFloat(t));
+    }
+    else if (t) {
+        // Atom shorthand: predicate_name('arg1', 'arg2', ...)
+        const name = consume(s);
+        if (peek(s) === "(") {
+            consume(s, "(");
+            const args = [];
+            while (peek(s) !== ")") {
+                if (peek(s) === ",")
+                    consume(s, ",");
+                args.push(stripQuotes(consume(s)));
+            }
+            consume(s, ")");
+            return new Atom(name, args);
+        }
+        return new Atom(name);
+    }
+    throw new ParseError(`Unexpected token: ${t}`);
+}
+function stripQuotes(s) {
+    if (s.length >= 2 && (s[0] === "'" || s[0] === '"')) {
+        return s.slice(1, -1);
+    }
+    return s;
+}
+//# sourceMappingURL=parser.js.map