@sponsio/sdk 0.1.0-alpha.3

package/dist/core/formula.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Immutable AST nodes for the Sponsio formula language.
+ *
+ * Direct port of sponsio/formulas/formula.py.
+ * Three families: Propositional, Temporal (LTL), Arithmetic.
+ */
+export type Formula = Atom | Not | And | Or | Implies | G | F | X | U | Le | Lt | Ge | Gt | Eq | Var | Const;
+export declare class Atom {
+    readonly predicate: string;
+    readonly args: readonly string[];
+    readonly kind: "Atom";
+    constructor(predicate: string, args?: readonly string[]);
+    key(): string;
+}
+export declare class Not {
+    readonly child: Formula;
+    readonly kind: "Not";
+    constructor(child: Formula);
+}
+export declare class And {
+    readonly left: Formula;
+    readonly right: Formula;
+    readonly kind: "And";
+    constructor(left: Formula, right: Formula);
+}
+export declare class Or {
+    readonly left: Formula;
+    readonly right: Formula;
+    readonly kind: "Or";
+    constructor(left: Formula, right: Formula);
+}
+export declare class Implies {
+    readonly left: Formula;
+    readonly right: Formula;
+    readonly kind: "Implies";
+    constructor(left: Formula, right: Formula);
+}
+export declare class G {
+    readonly child: Formula;
+    readonly kind: "G";
+    constructor(child: Formula);
+}
+export declare class F {
+    readonly child: Formula;
+    readonly kind: "F";
+    constructor(child: Formula);
+}
+export declare class X {
+    readonly child: Formula;
+    readonly kind: "X";
+    constructor(child: Formula);
+}
+export declare class U {
+    readonly left: Formula;
+    readonly right: Formula;
+    readonly kind: "U";
+    constructor(left: Formula, right: Formula);
+}
+export declare class Var {
+    readonly name: string;
+    readonly kind: "Var";
+    readonly args: readonly string[];
+    constructor(name: string, ...args: string[]);
+    key(): string;
+}
+export declare class Const {
+    readonly value: number;
+    readonly kind: "Const";
+    constructor(value: number);
+}
+export type ArithExpr = Var | Const;
+export declare class Le {
+    readonly left: ArithExpr;
+    readonly right: ArithExpr;
+    readonly kind: "Le";
+    constructor(left: ArithExpr, right: ArithExpr);
+}
+export declare class Lt {
+    readonly left: ArithExpr;
+    readonly right: ArithExpr;
+    readonly kind: "Lt";
+    constructor(left: ArithExpr, right: ArithExpr);
+}
+export declare class Ge {
+    readonly left: ArithExpr;
+    readonly right: ArithExpr;
+    readonly kind: "Ge";
+    constructor(left: ArithExpr, right: ArithExpr);
+}
+export declare class Gt {
+    readonly left: ArithExpr;
+    readonly right: ArithExpr;
+    readonly kind: "Gt";
+    constructor(left: ArithExpr, right: ArithExpr);
+}
+export declare class Eq {
+    readonly left: ArithExpr;
+    readonly right: ArithExpr;
+    readonly kind: "Eq";
+    constructor(left: ArithExpr, right: ArithExpr);
+}
+export declare function predKey(predicate: string, ...args: string[]): string;
+//# sourceMappingURL=formula.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"formula.d.ts","sourceRoot":"","sources":["../../src/core/formula.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,MAAM,MAAM,OAAO,GACf,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,GAAG,OAAO,GAC/B,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GACb,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GACtB,GAAG,GAAG,KAAK,CAAC;AAIhB,qBAAa,IAAI;IAGb,QAAQ,CAAC,SAAS,EAAE,MAAM;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE;IAHlC,QAAQ,CAAC,IAAI,EAAG,MAAM,CAAU;gBAErB,SAAS,EAAE,MAAM,EACjB,IAAI,GAAE,SAAS,MAAM,EAAO;IAGvC,GAAG,IAAI,MAAM;CAGd;AAED,qBAAa,GAAG;IAEF,QAAQ,CAAC,KAAK,EAAE,OAAO;IADnC,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;gBACV,KAAK,EAAE,OAAO;CACpC;AAED,qBAAa,GAAG;IAEF,QAAQ,CAAC,IAAI,EAAE,OAAO;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO;IAD3D,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;gBACV,IAAI,EAAE,OAAO,EAAW,KAAK,EAAE,OAAO;CAC5D;AAED,qBAAa,EAAE;IAED,QAAQ,CAAC,IAAI,EAAE,OAAO;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO;IAD3D,QAAQ,CAAC,IAAI,EAAG,IAAI,CAAU;gBACT,IAAI,EAAE,OAAO,EAAW,KAAK,EAAE,OAAO;CAC5D;AAED,qBAAa,OAAO;IAEN,QAAQ,CAAC,IAAI,EAAE,OAAO;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO;IAD3D,QAAQ,CAAC,IAAI,EAAG,SAAS,CAAU;gBACd,IAAI,EAAE,OAAO,EAAW,KAAK,EAAE,OAAO;CAC5D;AAID,qBAAa,CAAC;IAEA,QAAQ,CAAC,KAAK,EAAE,OAAO;IADnC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAU;gBACR,KAAK,EAAE,OAAO;CACpC;AAED,qBAAa,CAAC;IAEA,QAAQ,CAAC,KAAK,EAAE,OAAO;IADnC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAU;gBACR,KAAK,EAAE,OAAO;CACpC;AAED,qBAAa,CAAC;IAEA,QAAQ,CAAC,KAAK,EAAE,OAAO;IADnC,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAU;gBACR,KAAK,EAAE,OAAO;CACpC;AAED,qBAAa,CAAC;IAEA,QAAQ,CAAC,IAAI,EAAE,OAAO;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO;IAD3D,QAAQ,CAAC,IAAI,EAAG,GAAG,CAAU;gBACR,IAAI,EAAE,OAAO,EAAW,KAAK,EAAE,OAAO;CAC5D;AAID,qBAAa,GAAG;IAGF,QAAQ,CAAC,IAAI,EAAE,MAAM;IAFjC,QAAQ,CAAC,IAAI,EAAG,KAAK,CAAU;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;gBACZ,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE;IAGpD,GAAG,IAAI,MAAM;CAMd;AAED,qBAAa,KAAK;IAEJ,QAAQ,CAAC,KAAK,EAAE,MAAM;IADlC,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;gBACZ,KAAK,EAAE,MAAM;CACnC;AAED,MAAM,MAAM,SAAS,GAAG,GAAG,GAAG,KAAK,CAAC;AAEpC,qBAAa,EAAE;IAED,QAAQ,CAAC,IAAI,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS;IAD/D,QAAQ,CAAC,IAAI,EAAG,IAAI,CAAU;gBACT,IAAI,EAAE,SAAS,EAAW,KAAK,EAAE,SAAS;CAChE;AAED,qBAAa,EAAE;IAED,QAAQ,CAAC,IAAI,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS;IAD/D,QAAQ,CAAC,IAAI,EAAG,IAAI,CAAU;gBACT,IAAI,EAAE,SAAS,EAAW,KAAK,EAAE,SAAS;CAChE;AAED,qBAAa,EAAE;IAED,QAAQ,CAAC,IAAI,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS;IAD/D,QAAQ,CAAC,IAAI,EAAG,IAAI,CAAU;gBACT,IAAI,EAAE,SAAS,EAAW,KAAK,EAAE,SAAS;CAChE;AAED,qBAAa,EAAE;IAED,QAAQ,CAAC,IAAI,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS;IAD/D,QAAQ,CAAC,IAAI,EAAG,IAAI,CAAU;gBACT,IAAI,EAAE,SAAS,EAAW,KAAK,EAAE,SAAS;CAChE;AAED,qBAAa,EAAE;IAED,QAAQ,CAAC,IAAI,EAAE,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS;IAD/D,QAAQ,CAAC,IAAI,EAAG,IAAI,CAAU;gBACT,IAAI,EAAE,SAAS,EAAW,KAAK,EAAE,SAAS;CAChE;AAaD,wBAAgB,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAGpE"}

package/dist/core/formula.js

@@ -0,0 +1,167 @@
+/**
+ * Immutable AST nodes for the Sponsio formula language.
+ *
+ * Direct port of sponsio/formulas/formula.py.
+ * Three families: Propositional, Temporal (LTL), Arithmetic.
+ */
+// --- Propositional ---
+export class Atom {
+    predicate;
+    args;
+    kind = "Atom";
+    constructor(predicate, args = []) {
+        this.predicate = predicate;
+        this.args = args;
+    }
+    key() {
+        return predKey(this.predicate, ...this.args);
+    }
+}
+export class Not {
+    child;
+    kind = "Not";
+    constructor(child) {
+        this.child = child;
+    }
+}
+export class And {
+    left;
+    right;
+    kind = "And";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+export class Or {
+    left;
+    right;
+    kind = "Or";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+export class Implies {
+    left;
+    right;
+    kind = "Implies";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+// --- Temporal (LTL) ---
+export class G {
+    child;
+    kind = "G";
+    constructor(child) {
+        this.child = child;
+    }
+}
+export class F {
+    child;
+    kind = "F";
+    constructor(child) {
+        this.child = child;
+    }
+}
+export class X {
+    child;
+    kind = "X";
+    constructor(child) {
+        this.child = child;
+    }
+}
+export class U {
+    left;
+    right;
+    kind = "U";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+// --- Arithmetic ---
+export class Var {
+    name;
+    kind = "Var";
+    args;
+    constructor(name, ...args) {
+        this.name = name;
+        this.args = args;
+    }
+    key() {
+        if (this.args.length > 0) {
+            return predKey(this.name, ...this.args);
+        }
+        return this.name;
+    }
+}
+export class Const {
+    value;
+    kind = "Const";
+    constructor(value) {
+        this.value = value;
+    }
+}
+export class Le {
+    left;
+    right;
+    kind = "Le";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+export class Lt {
+    left;
+    right;
+    kind = "Lt";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+export class Ge {
+    left;
+    right;
+    kind = "Ge";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+export class Gt {
+    left;
+    right;
+    kind = "Gt";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+export class Eq {
+    left;
+    right;
+    kind = "Eq";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+    }
+}
+// --- Predicate key ---
+function escape(s) {
+    return s
+        .replace(/\\/g, "\\\\")
+        .replace(/\(/g, "\\(")
+        .replace(/\)/g, "\\)")
+        .replace(/,/g, "\\,")
+        .replace(/ /g, "\\ ");
+}
+export function predKey(predicate, ...args) {
+    if (args.length === 0)
+        return `${predicate}()`;
+    return `${predicate}(${args.map(escape).join(", ")})`;
+}
+//# sourceMappingURL=formula.js.map

package/dist/core/formula.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula.js","sourceRoot":"","sources":["../../src/core/formula.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,wBAAwB;AAExB,MAAM,OAAO,IAAI;IAGJ;IACA;IAHF,IAAI,GAAG,MAAe,CAAC;IAChC,YACW,SAAiB,EACjB,OAA0B,EAAE;QAD5B,cAAS,GAAT,SAAS,CAAQ;QACjB,SAAI,GAAJ,IAAI,CAAwB;IACpC,CAAC;IAEJ,GAAG;QACD,OAAO,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;CACF;AAED,MAAM,OAAO,GAAG;IAEO;IADZ,IAAI,GAAG,KAAc,CAAC;IAC/B,YAAqB,KAAc;QAAd,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CACxC;AAED,MAAM,OAAO,GAAG;IAEO;IAAwB;IADpC,IAAI,GAAG,KAAc,CAAC;IAC/B,YAAqB,IAAa,EAAW,KAAc;QAAtC,SAAI,GAAJ,IAAI,CAAS;QAAW,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAChE;AAED,MAAM,OAAO,EAAE;IAEQ;IAAwB;IADpC,IAAI,GAAG,IAAa,CAAC;IAC9B,YAAqB,IAAa,EAAW,KAAc;QAAtC,SAAI,GAAJ,IAAI,CAAS;QAAW,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAChE;AAED,MAAM,OAAO,OAAO;IAEG;IAAwB;IADpC,IAAI,GAAG,SAAkB,CAAC;IACnC,YAAqB,IAAa,EAAW,KAAc;QAAtC,SAAI,GAAJ,IAAI,CAAS;QAAW,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAChE;AAED,yBAAyB;AAEzB,MAAM,OAAO,CAAC;IAES;IADZ,IAAI,GAAG,GAAY,CAAC;IAC7B,YAAqB,KAAc;QAAd,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CACxC;AAED,MAAM,OAAO,CAAC;IAES;IADZ,IAAI,GAAG,GAAY,CAAC;IAC7B,YAAqB,KAAc;QAAd,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CACxC;AAED,MAAM,OAAO,CAAC;IAES;IADZ,IAAI,GAAG,GAAY,CAAC;IAC7B,YAAqB,KAAc;QAAd,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CACxC;AAED,MAAM,OAAO,CAAC;IAES;IAAwB;IADpC,IAAI,GAAG,GAAY,CAAC;IAC7B,YAAqB,IAAa,EAAW,KAAc;QAAtC,SAAI,GAAJ,IAAI,CAAS;QAAW,UAAK,GAAL,KAAK,CAAS;IAAG,CAAC;CAChE;AAED,qBAAqB;AAErB,MAAM,OAAO,GAAG;IAGO;IAFZ,IAAI,GAAG,KAAc,CAAC;IACtB,IAAI,CAAoB;IACjC,YAAqB,IAAY,EAAE,GAAG,IAAc;QAA/B,SAAI,GAAJ,IAAI,CAAQ;QAC/B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IACD,GAAG;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,OAAO,KAAK;IAEK;IADZ,IAAI,GAAG,OAAgB,CAAC;IACjC,YAAqB,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;CACvC;AAID,MAAM,OAAO,EAAE;IAEQ;IAA0B;IADtC,IAAI,GAAG,IAAa,CAAC;IAC9B,YAAqB,IAAe,EAAW,KAAgB;QAA1C,SAAI,GAAJ,IAAI,CAAW;QAAW,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;CACpE;AAED,MAAM,OAAO,EAAE;IAEQ;IAA0B;IADtC,IAAI,GAAG,IAAa,CAAC;IAC9B,YAAqB,IAAe,EAAW,KAAgB;QAA1C,SAAI,GAAJ,IAAI,CAAW;QAAW,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;CACpE;AAED,MAAM,OAAO,EAAE;IAEQ;IAA0B;IADtC,IAAI,GAAG,IAAa,CAAC;IAC9B,YAAqB,IAAe,EAAW,KAAgB;QAA1C,SAAI,GAAJ,IAAI,CAAW;QAAW,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;CACpE;AAED,MAAM,OAAO,EAAE;IAEQ;IAA0B;IADtC,IAAI,GAAG,IAAa,CAAC;IAC9B,YAAqB,IAAe,EAAW,KAAgB;QAA1C,SAAI,GAAJ,IAAI,CAAW;QAAW,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;CACpE;AAED,MAAM,OAAO,EAAE;IAEQ;IAA0B;IADtC,IAAI,GAAG,IAAa,CAAC;IAC9B,YAAqB,IAAe,EAAW,KAAgB;QAA1C,SAAI,GAAJ,IAAI,CAAW;QAAW,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;CACpE;AAED,wBAAwB;AAExB,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC;SACL,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;SACtB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;SACpB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,SAAiB,EAAE,GAAG,IAAc;IAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,SAAS,IAAI,CAAC;IAC/C,OAAO,GAAG,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxD,CAAC"}

package/dist/core/grounding.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Grounding: convert tool-call events into per-timestep predicate valuations.
+ *
+ * Port of sponsio/tracer/grounding.py (Det-relevant atoms).
+ *
+ * Supported atoms:
+ *   called(tool)                       — tool was called at this timestep
+ *   count(tool)                        — cumulative invocation count
+ *   called_with(tool, pattern)         — tool args match regex pattern
+ *   count_with(tool, pattern)          — cumulative count of pattern matches
+ *   consecutive_count(tool)            — how many times same tool called in a row
+ *   arg_has(tool, pattern)             — tool args (serialized) match regex
+ *   arg_field_has(tool, field, p)      — specific arg field matches regex
+ *   arg_length_exceeds(tool, field, N) — field length > N chars
+ *   arg_numeric(tool, field)           — numeric value extracted from args (int)
+ *   arg_paths_within(tool, *prefixes)  — all paths in args within prefix set
+ *   token_count(type)                  — cumulative tokens (from event.args.tokens)
+ *   delegation_depth                   — depth of agent-to-agent delegation
+ */
+import type { Formula } from "./formula.js";
+export interface ToolEvent {
+    tool: string;
+    args?: Record<string, unknown>;
+}
+export interface GroundingState {
+    callCounts: Record<string, number>;
+    callWithCounts: Record<string, number>;
+    lastTool: string | null;
+    consecutiveCounts: Record<string, number>;
+    tokenCounts: Record<string, number>;
+    delegationDepth: number;
+}
+export declare function newGroundingState(): GroundingState;
+/**
+ * Collect content atoms from a formula tree.
+ * These are atoms whose grounding depends on event content (arg patterns).
+ */
+export declare function collectContentAtoms(formulas: Formula[]): Record<string, Set<string>>;
+/**
+ * Ground a single tool-call event into a predicate valuation dict.
+ */
+export declare function groundEvent(event: ToolEvent, state: GroundingState, contentAtoms?: Record<string, Set<string>>): Record<string, boolean | number>;
+//# sourceMappingURL=grounding.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"grounding.d.ts","sourceRoot":"","sources":["../../src/core/grounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAoC,MAAM,cAAc,CAAC;AAE9E,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,iBAAiB,IAAI,cAAc,CASlD;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,OAAO,EAAE,GAClB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAgC7B;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,EAChB,KAAK,EAAE,cAAc,EACrB,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,GACzC,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,CA6MlC"}

package/dist/core/grounding.js

@@ -0,0 +1,269 @@
+/**
+ * Grounding: convert tool-call events into per-timestep predicate valuations.
+ *
+ * Port of sponsio/tracer/grounding.py (Det-relevant atoms).
+ *
+ * Supported atoms:
+ *   called(tool)                       — tool was called at this timestep
+ *   count(tool)                        — cumulative invocation count
+ *   called_with(tool, pattern)         — tool args match regex pattern
+ *   count_with(tool, pattern)          — cumulative count of pattern matches
+ *   consecutive_count(tool)            — how many times same tool called in a row
+ *   arg_has(tool, pattern)             — tool args (serialized) match regex
+ *   arg_field_has(tool, field, p)      — specific arg field matches regex
+ *   arg_length_exceeds(tool, field, N) — field length > N chars
+ *   arg_numeric(tool, field)           — numeric value extracted from args (int)
+ *   arg_paths_within(tool, *prefixes)  — all paths in args within prefix set
+ *   token_count(type)                  — cumulative tokens (from event.args.tokens)
+ *   delegation_depth                   — depth of agent-to-agent delegation
+ */
+import { predKey } from "./formula.js";
+export function newGroundingState() {
+    return {
+        callCounts: {},
+        callWithCounts: {},
+        lastTool: null,
+        consecutiveCounts: {},
+        tokenCounts: {},
+        delegationDepth: 0,
+    };
+}
+/**
+ * Collect content atoms from a formula tree.
+ * These are atoms whose grounding depends on event content (arg patterns).
+ */
+export function collectContentAtoms(formulas) {
+    const atoms = {};
+    function walk(node) {
+        if (node.kind === "Atom") {
+            const pred = node.predicate;
+            if ([
+                "called_with", "count_with",
+                "arg_has", "arg_field_has", "arg_length_exceeds", "arg_paths_within",
+            ].includes(pred)) {
+                if (!atoms[pred])
+                    atoms[pred] = new Set();
+                atoms[pred].add(node.args.join("|"));
+            }
+        }
+        else if (node.kind === "Var") {
+            if ([
+                "count_with", "count", "consecutive_count",
+                "arg_numeric", "token_count", "delegation_depth",
+            ].includes(node.name)) {
+                const pred = node.name;
+                if (!atoms[pred])
+                    atoms[pred] = new Set();
+                atoms[pred].add(node.args.join("|"));
+            }
+        }
+        // Recurse into children
+        if ("child" in node && node.child)
+            walk(node.child);
+        if ("left" in node && node.left)
+            walk(node.left);
+        if ("right" in node && node.right)
+            walk(node.right);
+    }
+    for (const f of formulas)
+        walk(f);
+    return atoms;
+}
+/**
+ * Ground a single tool-call event into a predicate valuation dict.
+ */
+export function groundEvent(event, state, contentAtoms) {
+    const v = {};
+    const tool = event.tool;
+    const argsStr = event.args ? JSON.stringify(event.args) : "";
+    // called(tool)
+    v[predKey("called", tool)] = true;
+    // called_any — fires whenever any tool is invoked. Used by
+    // ``tool_allowlist`` to encode "whenever any tool runs, it must
+    // be one of the allowed ones".
+    v[predKey("called_any")] = true;
+    // count(tool)
+    state.callCounts[tool] = (state.callCounts[tool] || 0) + 1;
+    v[predKey("count", tool)] = state.callCounts[tool];
+    // consecutive_count(tool)
+    if (tool === state.lastTool) {
+        state.consecutiveCounts[tool] = (state.consecutiveCounts[tool] || 1) + 1;
+    }
+    else {
+        if (state.lastTool)
+            state.consecutiveCounts[state.lastTool] = 0;
+        state.consecutiveCounts[tool] = 1;
+    }
+    state.lastTool = tool;
+    v[predKey("consecutive_count", tool)] = state.consecutiveCounts[tool];
+    // called_with / count_with — regex on serialized args
+    if (contentAtoms) {
+        const cwPatterns = new Set();
+        for (const key of ["called_with", "count_with"]) {
+            const s = contentAtoms[key];
+            if (s)
+                for (const p of s)
+                    cwPatterns.add(p);
+        }
+        for (const raw of cwPatterns) {
+            const parts = raw.split("|");
+            if (parts.length >= 2) {
+                const targetTool = parts[0];
+                const pattern = parts.slice(1).join("|");
+                if (targetTool === tool) {
+                    const matched = new RegExp(pattern).test(argsStr);
+                    v[predKey("called_with", targetTool, pattern)] = matched;
+                    if (matched) {
+                        const cwKey = `${targetTool}|${pattern}`;
+                        state.callWithCounts[cwKey] = (state.callWithCounts[cwKey] || 0) + 1;
+                    }
+                    v[predKey("count_with", targetTool, pattern)] =
+                        state.callWithCounts[`${targetTool}|${pattern}`] || 0;
+                }
+            }
+        }
+        // arg_has(tool, pattern)
+        const argHasPatterns = contentAtoms["arg_has"];
+        if (argHasPatterns && argsStr) {
+            for (const raw of argHasPatterns) {
+                const parts = raw.split("|");
+                if (parts.length >= 2) {
+                    const targetTool = parts[0];
+                    const pattern = parts.slice(1).join("|");
+                    if (targetTool === tool) {
+                        v[predKey("arg_has", targetTool, pattern)] = new RegExp(pattern).test(argsStr);
+                    }
+                }
+            }
+        }
+        // arg_field_has(tool, field, pattern)
+        const afhPatterns = contentAtoms["arg_field_has"];
+        if (afhPatterns && event.args) {
+            for (const raw of afhPatterns) {
+                const parts = raw.split("|");
+                if (parts.length >= 3) {
+                    const targetTool = parts[0];
+                    const field = parts[1];
+                    const pattern = parts.slice(2).join("|");
+                    if (targetTool === tool) {
+                        const fieldVal = event.args[field];
+                        const matched = fieldVal != null && new RegExp(pattern).test(String(fieldVal));
+                        v[predKey("arg_field_has", targetTool, field, pattern)] = matched;
+                    }
+                }
+            }
+        }
+        // arg_length_exceeds(tool, field, max_chars)
+        const ale = contentAtoms["arg_length_exceeds"];
+        if (ale && event.args) {
+            for (const raw of ale) {
+                const parts = raw.split("|");
+                if (parts.length >= 3) {
+                    const targetTool = parts[0];
+                    const field = parts[1];
+                    const maxChars = parseInt(parts[2], 10) || 500;
+                    if (targetTool === tool) {
+                        const fieldVal = event.args[field] ?? "";
+                        v[predKey("arg_length_exceeds", targetTool, field, String(maxChars))] =
+                            String(fieldVal).length > maxChars;
+                    }
+                }
+            }
+        }
+        // arg_numeric(tool, field) — extract numeric value via 3 strategies:
+        //   1. Direct dict key
+        //   2. CLI flag "--field VALUE"
+        //   3. Positional token in command string
+        const anPatterns = contentAtoms["arg_numeric"];
+        if (anPatterns) {
+            for (const raw of anPatterns) {
+                const parts = raw.split("|");
+                if (parts.length >= 2) {
+                    const targetTool = parts[0];
+                    const field = parts[1];
+                    if (targetTool === tool) {
+                        let numericVal = null;
+                        // Strategy 1: direct dict key
+                        if (event.args && field in event.args) {
+                            const val = event.args[field];
+                            const n = typeof val === "number" ? val : parseFloat(String(val));
+                            if (!isNaN(n))
+                                numericVal = n;
+                        }
+                        // Strategy 2: CLI --field VALUE
+                        if (numericVal == null && argsStr) {
+                            const flagRe = new RegExp(`--${field.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\s+([+-]?\\d+(?:\\.\\d+)?)`);
+                            const m = argsStr.match(flagRe);
+                            if (m)
+                                numericVal = parseFloat(m[1]);
+                        }
+                        // Strategy 3: positional index
+                        if (numericVal == null && event.args && /^\d+$/.test(field)) {
+                            const cmdStr = String(event.args.command ?? "");
+                            const tokens = cmdStr.split(/\s+/);
+                            const pos = parseInt(field, 10);
+                            if (pos < tokens.length) {
+                                const n = parseFloat(tokens[pos]);
+                                if (!isNaN(n))
+                                    numericVal = n;
+                            }
+                        }
+                        if (numericVal != null) {
+                            v[predKey("arg_numeric", targetTool, field)] = numericVal;
+                        }
+                    }
+                }
+            }
+        }
+        // arg_paths_within(tool, *prefixes) — all /-paths in args within prefix set
+        const apw = contentAtoms["arg_paths_within"];
+        if (apw && argsStr) {
+            for (const raw of apw) {
+                const parts = raw.split("|");
+                if (parts.length >= 2) {
+                    const targetTool = parts[0];
+                    const prefixes = parts.slice(1);
+                    if (targetTool === tool) {
+                        const paths = argsStr.match(/(\/[^\s;|&>"']+)/g) ?? [];
+                        const allWithin = paths.length === 0 ||
+                            paths.every((p) => prefixes.some((pre) => p.startsWith(pre)));
+                        v[predKey("arg_paths_within", targetTool, ...prefixes)] = allWithin;
+                    }
+                }
+            }
+        }
+    }
+    // token_count(type) — cumulative token count
+    // Extract from event.args.tokens if present (gen_ai.usage.* convention)
+    if (event.args) {
+        const tokens = event.args.tokens;
+        if (tokens) {
+            if (typeof tokens.input === "number") {
+                state.tokenCounts["input_tokens"] = (state.tokenCounts["input_tokens"] || 0) + tokens.input;
+            }
+            if (typeof tokens.output === "number") {
+                state.tokenCounts["output_tokens"] = (state.tokenCounts["output_tokens"] || 0) + tokens.output;
+            }
+            const total = (tokens.input || 0) + (tokens.output || 0);
+            state.tokenCounts["total"] = (state.tokenCounts["total"] || 0) + total;
+        }
+    }
+    for (const [scope, cnt] of Object.entries(state.tokenCounts)) {
+        v[predKey("token_count", scope)] = cnt;
+    }
+    // delegation_depth — incremented by event.event_type === "delegation"
+    if (event.event_type === "delegation") {
+        state.delegationDepth += 1;
+    }
+    v[predKey("delegation_depth")] = state.delegationDepth;
+    // Emit count/count_with for all tracked vars
+    for (const [t, cnt] of Object.entries(state.callCounts)) {
+        v[predKey("count", t)] = cnt;
+    }
+    for (const [key, cnt] of Object.entries(state.callWithCounts)) {
+        const [t, p] = [key.split("|")[0], key.split("|").slice(1).join("|")];
+        v[predKey("count_with", t, p)] = cnt;
+    }
+    return v;
+}
+//# sourceMappingURL=grounding.js.map

package/dist/core/grounding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grounding.js","sourceRoot":"","sources":["../../src/core/grounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAiBvC,MAAM,UAAU,iBAAiB;IAC/B,OAAO;QACL,UAAU,EAAE,EAAE;QACd,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;QACd,iBAAiB,EAAE,EAAE;QACrB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,CAAC;KACnB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAmB;IAEnB,MAAM,KAAK,GAAgC,EAAE,CAAC;IAE9C,SAAS,IAAI,CAAC,IAAa;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC5B,IAAI;gBACF,aAAa,EAAE,YAAY;gBAC3B,SAAS,EAAE,eAAe,EAAE,oBAAoB,EAAE,kBAAkB;aACrE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,IAAI;gBACF,YAAY,EAAE,OAAO,EAAE,mBAAmB;gBAC1C,aAAa,EAAE,aAAa,EAAE,kBAAkB;aACjD,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;gBAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,IAAI,OAAO,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAgB,CAAC,CAAC;QAC/D,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,IAAe,CAAC,CAAC;QAC5D,IAAI,OAAO,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAgB,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,KAAgB,EAChB,KAAqB,EACrB,YAA0C;IAE1C,MAAM,CAAC,GAAqC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7D,eAAe;IACf,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;IAElC,2DAA2D;IAC3D,gEAAgE;IAChE,+BAA+B;IAC/B,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,GAAG,IAAI,CAAC;IAEhC,cAAc;IACd,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnD,0BAA0B;IAC1B,IAAI,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC5B,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3E,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,CAAC,QAAQ;YAAE,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAChE,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;IACtB,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAEtE,sDAAsD;IACtD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC;gBAAE,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACxB,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAClD,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC;oBACzD,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,KAAK,GAAG,GAAG,UAAU,IAAI,OAAO,EAAE,CAAC;wBACzC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;oBACvE,CAAC;oBACD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;wBAC3C,KAAK,CAAC,cAAc,CAAC,GAAG,UAAU,IAAI,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,MAAM,cAAc,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,cAAc,IAAI,OAAO,EAAE,CAAC;YAC9B,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACzC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;wBACxB,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACjF,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,MAAM,WAAW,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QAClD,IAAI,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC9B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACzC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;wBACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBACnC,MAAM,OAAO,GAAG,QAAQ,IAAI,IAAI,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;wBAC/E,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC;oBACpE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,MAAM,GAAG,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;QAC/C,IAAI,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;gBACtB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACvB,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC;oBAC/C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;wBACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;wBACzC,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;4BACnE,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,QAAQ,CAAC;oBACvC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,uBAAuB;QACvB,gCAAgC;QAChC,0CAA0C;QAC1C,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;QAC/C,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACvB,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;wBACxB,IAAI,UAAU,GAAkB,IAAI,CAAC;wBAErC,8BAA8B;wBAC9B,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;4BACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BAC9B,MAAM,CAAC,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;4BAClE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gCAAE,UAAU,GAAG,CAAC,CAAC;wBAChC,CAAC;wBAED,gCAAgC;wBAChC,IAAI,UAAU,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;4BAClC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,6BAA6B,CAAC,CAAC;4BAC1G,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;4BAChC,IAAI,CAAC;gCAAE,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBACvC,CAAC;wBAED,+BAA+B;wBAC/B,IAAI,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;4BAChD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;4BACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAChC,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gCACxB,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gCAClC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oCAAE,UAAU,GAAG,CAAC,CAAC;4BAChC,CAAC;wBACH,CAAC;wBAED,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;4BACvB,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;wBAC5D,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,4EAA4E;QAC5E,MAAM,GAAG,GAAG,YAAY,CAAC,kBAAkB,CAAC,CAAC;QAC7C,IAAI,GAAG,IAAI,OAAO,EAAE,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;gBACtB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;wBACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC;wBACvD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC;4BAClC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBAChE,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,CAAC,GAAG,SAAS,CAAC;oBACtE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,wEAAwE;IACxE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAA4C,CAAC;QACvE,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACrC,KAAK,CAAC,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;YAC9F,CAAC;YACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACtC,KAAK,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;YACjG,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;YACzD,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;QACzE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7D,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC;IACzC,CAAC;IAED,sEAAsE;IACtE,IAAK,KAA4C,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;QAC9E,KAAK,CAAC,eAAe,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC;IAEvD,6CAA6C;IAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACxD,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IACvC,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/core/nl-parser.d.ts

@@ -0,0 +1,12 @@
+/**
+ * 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 type { DetFormula } from "./patterns.js";
+export declare function parseNl(text: string): DetFormula | null;
+//# sourceMappingURL=nl-parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"nl-parser.d.ts","sourceRoot":"","sources":["../../src/core/nl-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAmHhD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CA8CvD"}