@sponsio/sdk 0.1.0-alpha.3

package/dist/core/config-loader.js

@@ -0,0 +1,530 @@
+/**
+ * sponsio.yaml loader for the TypeScript runtime.
+ *
+ * Parses a Python-compatible sponsio.yaml into the shape the
+ * {@link Sponsio} constructor expects: a list of NL-string contracts
+ * plus runtime settings (mode, dashboard).
+ *
+ * Intentionally conservative — this loader understands the **subset**
+ * of the yaml schema that makes sense in TS today:
+ *
+ *   - `runtime.mode` / `runtime.dashboard`
+ *   - `agents.<id>.contracts[]` with either a plain-string `E:` field
+ *     or a top-level `desc:` / direct-string entry. Structured
+ *     `{ pattern, args }` forms that need pack-runtime support
+ *     (token_budget, delegation_depth_limit, loop_detection, …)
+ *     are *skipped with a warning* — the TS runtime does not ship
+ *     pack infrastructure yet.
+ *   - `include:` pack references are skipped with a warning for the
+ *     same reason.
+ *
+ * The loader is therefore a **strict superset of inline TS usage**:
+ * contracts that work when passed as `contracts: string[]` to the
+ * ctor also work when loaded from yaml. More exotic Python-side
+ * features (sto contracts, packs, LTL patterns) are logged and
+ * ignored rather than crashing, so a user can share a single
+ * sponsio.yaml between Python and TS without the TS side refusing
+ * to start.
+ */
+import { readFileSync } from "node:fs";
+import { createRequire } from "node:module";
+import { buildPatternByName, isAePair, PatternFactoryError, } from "./pattern-factory.js";
+import { parseRepr, ParseError } from "./parser.js";
+import { And, G, Implies } from "./formula.js";
+import { loadPackContracts } from "./pack-loader.js";
+import { dirname, resolve as resolvePath } from "node:path";
+// Use createRequire so we can lazily load the optional `yaml` package
+// without breaking non-yaml users (ESM dynamic import would force the
+// entire constructor path async, which we don't want).
+const requireCjs = createRequire(import.meta.url);
+function loadYamlLib() {
+    try {
+        return requireCjs("yaml");
+    }
+    catch {
+        throw new Error("[sponsio] config loading requires the `yaml` package. " +
+            "Install it with: npm install yaml");
+    }
+}
+/**
+ * Load sponsio.yaml and project it onto the TS runtime's contract
+ * surface. Reads synchronously so it can be called from a ctor.
+ *
+ * @param path       Path to sponsio.yaml (absolute or CWD-relative).
+ * @param agentId    Which agent block to pull contracts from. Falls
+ *                   back to `agents["*"]` (the wildcard block used by
+ *                   packs) if `agentId` is missing.
+ */
+export function loadSponsoConfig(path, agentId) {
+    const yamlLib = loadYamlLib();
+    let raw;
+    try {
+        raw = readFileSync(path, "utf-8");
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new Error(`[sponsio] cannot read config ${path}: ${msg}`);
+    }
+    let parsed;
+    try {
+        parsed = yamlLib.parse(raw);
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        throw new Error(`[sponsio] invalid yaml in ${path}: ${msg}`);
+    }
+    if (!isObject(parsed)) {
+        throw new Error(`[sponsio] ${path}: expected a YAML mapping at the top level`);
+    }
+    const skipped = [];
+    const contracts = [];
+    const stoSpecs = [];
+    const runtime = getObject(parsed["runtime"]);
+    const mode = extractMode(runtime);
+    const dashboard = extractDashboard(runtime);
+    const judge = extractJudge(parsed["judge"]);
+    const agents = getObject(parsed["agents"]);
+    const agentBlock = agents
+        ? (getObject(agents[agentId]) ?? getObject(agents["*"]) ?? null)
+        : null;
+    if (agentBlock) {
+        extractAgentContracts(agentBlock, contracts, stoSpecs, skipped);
+    }
+    // `include:` resolution. Both placements are supported (agent-level
+    // and top-level) for legacy reasons; agent-level takes precedence
+    // since it scopes pack additions to a specific agent. Each pack's
+    // contracts are projected through the same pipeline as user-yaml
+    // contracts.
+    const baseDir = dirname(resolvePath(path));
+    const agentIncludes = agentBlock?.["include"];
+    expandIncludes(agentIncludes, baseDir, contracts, stoSpecs, skipped);
+    expandIncludes(parsed["include"], baseDir, contracts, stoSpecs, skipped);
+    return { contracts, stoSpecs, judge, mode, dashboard, skipped };
+}
+function expandIncludes(raw, baseDir, detOut, stoOut, skipped) {
+    if (!Array.isArray(raw))
+        return;
+    for (const spec of raw) {
+        if (typeof spec !== "string") {
+            skipped.push({ kind: "pack", detail: `include entry must be a string, got ${typeof spec}` });
+            continue;
+        }
+        const items = loadPackContracts(spec, baseDir, new Set(), skipped);
+        for (const item of items) {
+            const projected = projectContract(item.raw);
+            if (projected.kind === "nl")
+                detOut.push(projected.value);
+            else if (projected.kind === "det")
+                detOut.push(projected.value);
+            else if (projected.kind === "sto")
+                stoOut.push(projected.value);
+            else
+                skipped.push(projected.reason);
+        }
+    }
+}
+function extractJudge(raw) {
+    if (!isObject(raw))
+        return undefined;
+    const provider = raw["provider"];
+    const model = raw["model"];
+    const apiKey = raw["api_key"];
+    const baseUrl = raw["base_url"];
+    const fallbackMode = raw["fallback_mode"];
+    const spec = {};
+    if (provider === "openai")
+        spec.provider = provider;
+    if (typeof model === "string")
+        spec.model = model;
+    if (typeof apiKey === "string" && apiKey)
+        spec.apiKey = apiKey;
+    if (typeof baseUrl === "string" && baseUrl)
+        spec.baseUrl = baseUrl;
+    if (fallbackMode === "allow" ||
+        fallbackMode === "deny" ||
+        fallbackMode === "skip") {
+        spec.fallbackMode = fallbackMode;
+    }
+    return Object.keys(spec).length > 0 ? spec : undefined;
+}
+/* -----------------------------------------------------------------
+ * helpers
+ * -----------------------------------------------------------------*/
+function extractMode(runtime) {
+    if (!runtime)
+        return undefined;
+    const m = runtime["mode"];
+    if (m === "enforce" || m === "observe")
+        return m;
+    return undefined;
+}
+function extractDashboard(runtime) {
+    if (!runtime)
+        return undefined;
+    const d = runtime["dashboard"];
+    if (typeof d === "string" || typeof d === "boolean")
+        return d;
+    return undefined;
+}
+function extractAgentContracts(agent, detOut, stoOut, skipped) {
+    const raw = agent["contracts"];
+    if (!Array.isArray(raw))
+        return;
+    for (const entry of raw) {
+        const projected = projectContract(entry);
+        if (projected.kind === "nl") {
+            detOut.push(projected.value);
+        }
+        else if (projected.kind === "det") {
+            detOut.push(projected.value);
+        }
+        else if (projected.kind === "sto") {
+            stoOut.push(projected.value);
+        }
+        else {
+            skipped.push(projected.reason);
+        }
+    }
+}
+const STO_ATOMS = new Set([
+    "tone",
+    "llm_judge",
+    "relevance",
+    "semantic_pii_free",
+    "hallucination_free",
+    "scope_respect",
+    "metric_integrity",
+    "injection_free",
+]);
+function projectContract(entry) {
+    // Simplest form: a bare string on the contracts list.
+    if (typeof entry === "string") {
+        return { kind: "nl", value: entry };
+    }
+    if (!isObject(entry)) {
+        return {
+            kind: "skip",
+            reason: {
+                kind: "unknown-contract",
+                detail: `unexpected contract entry type: ${typeof entry}`,
+            },
+        };
+    }
+    // Accept both short-key (``A`` / ``E``) and long-key
+    // (``assumption`` / ``enforcement``) — matches Python's loader.
+    const eField = entry["E"] ?? entry["enforcement"];
+    const aField = entry["A"] ?? entry["assumption"];
+    const desc = stringOr(entry["desc"], "");
+    // Legacy ``sto: true`` flag without a structured pattern — caller
+    // declared intent to run a stochastic rule but didn't pick an
+    // atom. Skip with reason so the user knows to switch to
+    // ``E: { pattern: tone | llm_judge, args, threshold }``.
+    if (entry["sto"] === true || entry["type"] === "sto") {
+        if (!(isObject(eField) && "pattern" in eField)) {
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "sto-contract",
+                    detail: desc ||
+                        "sto flag set without a `pattern:` (use pattern: tone | llm_judge)",
+                },
+            };
+        }
+    }
+    // Sto takes priority — if ``E.pattern`` matches a known sto atom,
+    // route straight to the sto spec builder (no A-side composition
+    // is supported for sto today, matching Python).
+    if (isObject(eField) && typeof eField["pattern"] === "string") {
+        const pattern = String(eField["pattern"]);
+        if (STO_ATOMS.has(pattern)) {
+            return projectSto(pattern, eField, desc);
+        }
+    }
+    // ``desc:`` as sole contract body — matches the old loader's
+    // lossy-but-useful fallback when the user wrote only a human
+    // description. Runs before ``buildConstraint`` so the "missing E"
+    // error doesn't preempt it.
+    if (eField === undefined && aField === undefined && desc) {
+        return { kind: "nl", value: desc };
+    }
+    // Build the enforcement formula. Possible shapes:
+    //  - string: NL
+    //  - { pattern: X, args: [...] }: structured det
+    //  - { ltl: "G(…)" }: raw LTL
+    //  - list of any of the above: AND-combined
+    const eBuilt = buildConstraint(eField, "E", desc);
+    if (eBuilt.kind === "skip")
+        return eBuilt;
+    if (eBuilt.kind === "nl-string") {
+        // No A-side composition for NL strings — the NL parser already
+        // handles conditional forms ("if X then Y") via its own rules.
+        if (aField !== undefined) {
+            // User wrote an A alongside an NL E — we can't cleanly compose
+            // without reparsing both sides, so fall through to NL-only with
+            // a note in skipped so they know A was dropped.
+            return { kind: "nl", value: eBuilt.value };
+        }
+        return { kind: "nl", value: eBuilt.value };
+    }
+    // We have a structured E formula. Compose with A if present.
+    if (aField !== undefined) {
+        const aBuilt = buildConstraint(aField, "A", desc);
+        if (aBuilt.kind === "skip")
+            return aBuilt;
+        if (aBuilt.kind === "nl-string") {
+            // NL on A side composes poorly with a structured E — would
+            // need to re-parse, defer to Python. Surface as skipped.
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "structured-contract",
+                    detail: `${desc || "contract"}: mixed NL A with structured E not supported in TS`,
+                },
+            };
+        }
+        // Both sides structured: compose as ``G(A -> E)``. ``G`` is
+        // required because ``evaluate`` runs from ``pos=0``; a bare
+        // ``Implies(A, E)`` short-circuits to ``true`` whenever ``A`` is
+        // false at step 0, regardless of later events. Lifting the
+        // implication under ``G`` makes it fire at every state where the
+        // assumption holds.
+        const composed = {
+            formula: new G(new Implies(aBuilt.formula.formula, eBuilt.formula.formula)),
+            desc: desc || `${aBuilt.formula.desc} => ${eBuilt.formula.desc}`,
+            patternName: `${aBuilt.formula.patternName}__implies__${eBuilt.formula.patternName}`,
+            liveness: eBuilt.formula.liveness,
+        };
+        return { kind: "det", value: composed };
+    }
+    // Plain structured E, no A.
+    const naked = {
+        formula: eBuilt.formula.formula,
+        desc: desc || eBuilt.formula.desc,
+        patternName: eBuilt.formula.patternName,
+        liveness: eBuilt.formula.liveness,
+    };
+    return { kind: "det", value: naked };
+}
+/** Parse one side (A or E) of a yaml contract into a DetFormula or
+ *  an NL string. Lists are AND-combined pairwise. */
+function buildConstraint(raw, side, parentDesc) {
+    if (raw === undefined || raw === null) {
+        if (side === "A") {
+            // A is optional — caller falls through to plain-E path.
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "unknown-contract",
+                    detail: `${parentDesc || "contract"}: missing ${side}:`,
+                },
+            };
+        }
+        return {
+            kind: "skip",
+            reason: {
+                kind: "unknown-contract",
+                detail: `${parentDesc || "contract"}: missing E: / enforcement:`,
+            },
+        };
+    }
+    if (typeof raw === "string") {
+        const trimmed = raw.trim();
+        if (!trimmed) {
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "unknown-contract",
+                    detail: `${parentDesc || "contract"}: empty ${side}:`,
+                },
+            };
+        }
+        return { kind: "nl-string", value: trimmed };
+    }
+    if (Array.isArray(raw)) {
+        // AND-combine every item; every item must itself be structured
+        // (list of bare NL strings on the A/E side is unusual and would
+        // compose ambiguously through parseNl — defer to Python).
+        const parts = [];
+        for (const item of raw) {
+            const r = buildConstraint(item, side, parentDesc);
+            if (r.kind !== "formula") {
+                return {
+                    kind: "skip",
+                    reason: {
+                        kind: "structured-contract",
+                        detail: `${parentDesc || "contract"}: list-valued ${side} mixes shapes TS can't merge`,
+                    },
+                };
+            }
+            parts.push(r.formula);
+        }
+        if (parts.length === 0) {
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "unknown-contract",
+                    detail: `${parentDesc || "contract"}: empty list ${side}:`,
+                },
+            };
+        }
+        const combined = parts
+            .map((p) => p.formula)
+            .reduce((acc, f) => (acc ? new And(acc, f) : f), undefined);
+        return {
+            kind: "formula",
+            formula: {
+                formula: combined,
+                desc: parts.map((p) => p.desc).join(" ∧ "),
+                patternName: "and_of_" + parts.map((p) => p.patternName).join("_"),
+                liveness: parts.some((p) => p.liveness),
+            },
+        };
+    }
+    if (!isObject(raw)) {
+        return {
+            kind: "skip",
+            reason: {
+                kind: "unknown-contract",
+                detail: `${parentDesc || "contract"}: ${side} must be string / mapping / list`,
+            },
+        };
+    }
+    // { ltl: "G(!called(foo))" } — raw formula, parsed via parseRepr.
+    const ltl = raw["ltl"];
+    if (typeof ltl === "string" && ltl.trim()) {
+        try {
+            const f = parseRepr(ltl);
+            return {
+                kind: "formula",
+                formula: {
+                    formula: f,
+                    desc: parentDesc || `ltl(${ltl})`,
+                    patternName: "ltl",
+                    liveness: false,
+                },
+            };
+        }
+        catch (err) {
+            const msg = err instanceof ParseError ? err.message : String(err);
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "structured-contract",
+                    detail: `${parentDesc || "contract"}: ${side}.ltl parse error — ${msg}`,
+                },
+            };
+        }
+    }
+    // { pattern: <name>, args: [...] } — structured det pattern.
+    if (typeof raw["pattern"] === "string") {
+        const pattern = String(raw["pattern"]);
+        const args = Array.isArray(raw["args"]) ? raw["args"] : [];
+        try {
+            const built = buildPatternByName(pattern, args);
+            if (built === null) {
+                return {
+                    kind: "skip",
+                    reason: {
+                        kind: "structured-contract",
+                        detail: parentDesc || `pattern=${pattern}`,
+                    },
+                };
+            }
+            const det = isAePair(built) ? built.enforcement : built;
+            return { kind: "formula", formula: det };
+        }
+        catch (err) {
+            const msg = err instanceof PatternFactoryError ? err.message : String(err);
+            return {
+                kind: "skip",
+                reason: {
+                    kind: "structured-contract",
+                    detail: `${parentDesc || "contract"}: pattern=${pattern} — ${msg}`,
+                },
+            };
+        }
+    }
+    // { nl: "..." } — rare, but Python accepts it. Treat as NL string.
+    if (typeof raw["nl"] === "string" && raw["nl"].trim()) {
+        return { kind: "nl-string", value: raw["nl"].trim() };
+    }
+    return {
+        kind: "skip",
+        reason: {
+            kind: "unknown-contract",
+            detail: `${parentDesc || "contract"}: ${side} has no pattern / ltl / nl`,
+        },
+    };
+}
+function projectSto(atom, eField, desc) {
+    const rawThreshold = eField["threshold"];
+    let threshold = 0.7;
+    if (typeof rawThreshold === "number" && Number.isFinite(rawThreshold)) {
+        threshold = clamp01(rawThreshold);
+    }
+    const args = [];
+    const rawArgs = eField["args"];
+    if (Array.isArray(rawArgs)) {
+        for (const a of rawArgs) {
+            if (typeof a === "string" || typeof a === "number")
+                args.push(String(a));
+        }
+    }
+    const promptOverride = typeof eField["prompt_override"] === "string"
+        ? eField["prompt_override"]
+        : undefined;
+    // Per-atom arg requirements — tone/scope_respect need at least
+    // one arg (the target tone / scope blurb). Other atoms run
+    // unconditionally on the output (+ optional context fields set
+    // via guard.setContext).
+    if ((atom === "tone" || atom === "scope_respect") && args.length === 0) {
+        const need = atom === "tone" ? "[target_tone]" : "[scope_description]";
+        return {
+            kind: "skip",
+            reason: {
+                kind: "sto-contract",
+                detail: `${desc || atom} (missing args: expected ${need})`,
+            },
+        };
+    }
+    const defaultDesc = atom === "tone"
+        ? `tone(${args[0]})`
+        : atom === "scope_respect"
+            ? `scope_respect(${args[0]})`
+            : atom;
+    const spec = {
+        atom,
+        desc: desc || defaultDesc,
+        threshold,
+        args,
+    };
+    if (promptOverride)
+        spec.promptOverride = promptOverride;
+    return { kind: "sto", value: spec };
+}
+function clamp01(n) {
+    if (n < 0)
+        return 0;
+    if (n > 1)
+        return 1;
+    return n;
+}
+function recordIncludes(raw, skipped) {
+    if (!Array.isArray(raw))
+        return;
+    for (const pack of raw) {
+        if (typeof pack === "string") {
+            skipped.push({ kind: "pack", detail: pack });
+        }
+    }
+}
+function isObject(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+function getObject(v) {
+    return isObject(v) ? v : null;
+}
+function stringOr(v, fallback) {
+    return typeof v === "string" ? v : fallback;
+}
+//# sourceMappingURL=config-loader.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/core/config-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EACL,kBAAkB,EAClB,QAAQ,EACR,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAgB,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AAE5D,sEAAsE;AACtE,sEAAsE;AACtE,uDAAuD;AACvD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAqElD,SAAS,WAAW;IAClB,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,MAAM,CAAY,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,wDAAwD;YACtD,mCAAmC,CACtC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAe;IAC5D,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;IAE9B,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,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,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,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,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,aAAa,IAAI,4CAA4C,CAC9D,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAE5C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,MAAM;QACvB,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC;IAET,IAAI,UAAU,EAAE,CAAC;QACf,qBAAqB,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,oEAAoE;IACpE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,aAAa;IACb,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9C,cAAc,CAAC,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrE,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEzE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,cAAc,CACrB,GAAY,EACZ,OAAe,EACf,MAA+B,EAC/B,MAAyB,EACzB,OAAsB;IAEtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO;IAChC,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,uCAAuC,OAAO,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7F,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;QACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;iBACrD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;iBAC3D,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;;gBAC3D,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IAChC,MAAM,YAAY,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,IAAI,QAAQ,KAAK,QAAQ;QAAE,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IAClD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM;QAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IAC/D,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO;QAAE,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACnE,IACE,YAAY,KAAK,OAAO;QACxB,YAAY,KAAK,MAAM;QACvB,YAAY,KAAK,MAAM,EACvB,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED;;sEAEsE;AAEtE,SAAS,WAAW,CAAC,OAAuC;IAI1D,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAuC;IAEvC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAA8B,EAC9B,MAA+B,EAC/B,MAAyB,EACzB,OAAsB;IAEtB,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO;IAEhC,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAc;IACrC,MAAM;IACN,WAAW;IACX,WAAW;IACX,mBAAmB;IACnB,oBAAoB;IACpB,eAAe;IACf,kBAAkB;IAClB,gBAAgB;CACjB,CAAC,CAAC;AAQH,SAAS,eAAe,CAAC,KAAc;IACrC,sDAAsD;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,mCAAmC,OAAO,KAAK,EAAE;aAC1D;SACF,CAAC;IACJ,CAAC;IAED,qDAAqD;IACrD,gEAAgE;IAChE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAEzC,kEAAkE;IAClE,8DAA8D;IAC9D,wDAAwD;IACxD,yDAAyD;IACzD,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,SAAS,IAAI,MAAM,CAAC,EAAE,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,cAAc;oBACpB,MAAM,EACJ,IAAI;wBACJ,mEAAmE;iBACtE;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,gEAAgE;IAChE,gDAAgD;IAChD,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAsB,CAAC,EAAE,CAAC;YAC1C,OAAO,UAAU,CAAC,OAAsB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,6DAA6D;IAC7D,kEAAkE;IAClE,4BAA4B;IAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,EAAE,CAAC;QACzD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACrC,CAAC;IAED,kDAAkD;IAClD,gBAAgB;IAChB,iDAAiD;IACjD,8BAA8B;IAC9B,4CAA4C;IAC5C,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,+DAA+D;QAC/D,+DAA+D;QAC/D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,+DAA+D;YAC/D,gEAAgE;YAChE,gDAAgD;YAChD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC7C,CAAC;IAED,6DAA6D;IAC7D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,2DAA2D;YAC3D,yDAAyD;YACzD,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,qBAAqB;oBAC3B,MAAM,EAAE,GAAG,IAAI,IAAI,UAAU,oDAAoD;iBAClF;aACF,CAAC;QACJ,CAAC;QACD,4DAA4D;QAC5D,4DAA4D;QAC5D,iEAAiE;QACjE,2DAA2D;QAC3D,iEAAiE;QACjE,oBAAoB;QACpB,MAAM,QAAQ,GAAe;YAC3B,OAAO,EAAE,IAAI,CAAC,CACZ,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAC5D;YACD,IAAI,EAAE,IAAI,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE;YAChE,WAAW,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,cAAc,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE;YACpF,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;SAClC,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC1C,CAAC;IAED,4BAA4B;IAC5B,MAAM,KAAK,GAAe;QACxB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO;QAC/B,IAAI,EAAE,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI;QACjC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW;QACvC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;KAClC,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAOD;qDACqD;AACrD,SAAS,eAAe,CACtB,GAAY,EACZ,IAAe,EACf,UAAkB;IAElB,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,wDAAwD;YACxD,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,aAAa,IAAI,GAAG;iBACxD;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,6BAA6B;aACjE;SACF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,WAAW,IAAI,GAAG;iBACtD;aACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,+DAA+D;QAC/D,gEAAgE;QAChE,0DAA0D;QAC1D,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE;wBACN,IAAI,EAAE,qBAAqB;wBAC3B,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,iBAAiB,IAAI,8BAA8B;qBACvF;iBACF,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,gBAAgB,IAAI,GAAG;iBAC3D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAY,KAAK;aAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aACrB,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAgC,CAAE,CAAC;QACtF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,OAAO,EAAE;gBACP,OAAO,EAAE,QAAQ;gBACjB,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC1C,WAAW,EAAE,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBAClE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;aACxC;SACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,KAAK,IAAI,kCAAkC;aAC/E;SACF,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE;oBACP,OAAO,EAAE,CAAC;oBACV,IAAI,EAAE,UAAU,IAAI,OAAO,GAAG,GAAG;oBACjC,WAAW,EAAE,KAAK;oBAClB,QAAQ,EAAE,KAAK;iBAChB;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,GAAG,YAAY,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAClE,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,qBAAqB;oBAC3B,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,KAAK,IAAI,sBAAsB,GAAG,EAAE;iBACxE;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,IAAI,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,MAAM,CAAe,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAChD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE;wBACN,IAAI,EAAE,qBAAqB;wBAC3B,MAAM,EAAE,UAAU,IAAI,WAAW,OAAO,EAAE;qBAC3C;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC;YACxD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,GACP,GAAG,YAAY,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACjE,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE;oBACN,IAAI,EAAE,qBAAqB;oBAC3B,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,aAAa,OAAO,MAAM,GAAG,EAAE;iBACnE;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACxD,CAAC;IAED,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE;YACN,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE,GAAG,UAAU,IAAI,UAAU,KAAK,IAAI,4BAA4B;SACzE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAAiB,EACjB,MAA+B,EAC/B,IAAY;IAEZ,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,SAAS,GAAG,GAAG,CAAC;IACpB,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACtE,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAClB,OAAO,MAAM,CAAC,iBAAiB,CAAC,KAAK,QAAQ;QAC3C,CAAC,CAAE,MAAM,CAAC,iBAAiB,CAAY;QACvC,CAAC,CAAC,SAAS,CAAC;IAEhB,+DAA+D;IAC/D,2DAA2D;IAC3D,+DAA+D;IAC/D,yBAAyB;IACzB,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,eAAe,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,qBAAqB,CAAC;QACvE,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,GAAG,IAAI,IAAI,IAAI,4BAA4B,IAAI,GAAG;aAC3D;SACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GACf,IAAI,KAAK,MAAM;QACb,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG;QACpB,CAAC,CAAC,IAAI,KAAK,eAAe;YACxB,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,CAAC,GAAG;YAC7B,CAAC,CAAC,IAAI,CAAC;IAEb,MAAM,IAAI,GAAoB;QAC5B,IAAI;QACJ,IAAI,EAAE,IAAI,IAAI,WAAW;QACzB,SAAS;QACT,IAAI;KACL,CAAC;IACF,IAAI,cAAc;QAAE,IAAI,CAAC,cAAc,GAAG,cAAc,CAAC;IACzD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,GAAY,EAAE,OAAsB;IAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO;IAChC,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,SAAS,CAAC,CAAU;IAC3B,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED,SAAS,QAAQ,CAAC,CAAU,EAAE,QAAgB;IAC5C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9C,CAAC"}

package/dist/core/evaluator.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Finite-trace LTL evaluator with weak semantics.
+ *
+ * Direct port of sponsio/formulas/evaluator.py.
+ *
+ * Weak finite-trace semantics at trace end:
+ *   G(φ) → true  (vacuously globally)
+ *   F(φ) → false (never eventually)
+ *   U    → false (ψ never discharged)
+ *   X(φ) → true  (weak next)
+ */
+import { Formula } from "./formula.js";
+export type Valuation = Record<string, boolean | number>;
+export declare function evaluate(formula: Formula, trace: Valuation[], pos?: number): boolean;
+//# sourceMappingURL=evaluator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.d.ts","sourceRoot":"","sources":["../../src/core/evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EAIR,MAAM,cAAc,CAAC;AAEtB,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;AAUzD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,SAAS,EAAE,EAClB,GAAG,GAAE,MAAU,GACd,OAAO,CA6ET"}

package/dist/core/evaluator.js

@@ -0,0 +1,87 @@
+/**
+ * Finite-trace LTL evaluator with weak semantics.
+ *
+ * Direct port of sponsio/formulas/evaluator.py.
+ *
+ * Weak finite-trace semantics at trace end:
+ *   G(φ) → true  (vacuously globally)
+ *   F(φ) → false (never eventually)
+ *   U    → false (ψ never discharged)
+ *   X(φ) → true  (weak next)
+ */
+function resolveArith(expr, state) {
+    if (expr.kind === "Const")
+        return expr.value;
+    const key = expr.key();
+    const val = state[key];
+    if (typeof val === "number")
+        return val;
+    return 0; // default for missing variables
+}
+export function evaluate(formula, trace, pos = 0) {
+    // Past end of trace — weak semantics
+    if (pos >= trace.length) {
+        if (formula.kind === "F" || formula.kind === "U")
+            return false;
+        return true;
+    }
+    const state = trace[pos];
+    // --- Propositional ---
+    switch (formula.kind) {
+        case "Atom":
+            return Boolean(state[formula.key()] ?? false);
+        case "Not":
+            return !evaluate(formula.child, trace, pos);
+        case "And":
+            return evaluate(formula.left, trace, pos) && evaluate(formula.right, trace, pos);
+        case "Or":
+            return evaluate(formula.left, trace, pos) || evaluate(formula.right, trace, pos);
+        case "Implies":
+            return !evaluate(formula.left, trace, pos) || evaluate(formula.right, trace, pos);
+        // --- Temporal ---
+        case "G":
+            for (let i = pos; i < trace.length; i++) {
+                if (!evaluate(formula.child, trace, i))
+                    return false;
+            }
+            return true;
+        case "F":
+            for (let i = pos; i < trace.length; i++) {
+                if (evaluate(formula.child, trace, i))
+                    return true;
+            }
+            return false;
+        case "X":
+            if (pos + 1 >= trace.length)
+                return true; // weak next
+            return evaluate(formula.child, trace, pos + 1);
+        case "U":
+            for (let j = pos; j < trace.length; j++) {
+                if (evaluate(formula.right, trace, j))
+                    return true;
+                if (!evaluate(formula.left, trace, j))
+                    return false;
+            }
+            return false; // ψ never became true
+        // --- Arithmetic ---
+        case "Le":
+            return resolveArith(formula.left, state) <= resolveArith(formula.right, state);
+        case "Lt":
+            return resolveArith(formula.left, state) < resolveArith(formula.right, state);
+        case "Ge":
+            return resolveArith(formula.left, state) >= resolveArith(formula.right, state);
+        case "Gt":
+            return resolveArith(formula.left, state) > resolveArith(formula.right, state);
+        case "Eq":
+            return resolveArith(formula.left, state) === resolveArith(formula.right, state);
+        case "Var":
+            return Boolean(state[formula.key()] ?? false);
+        case "Const":
+            return formula.value !== 0;
+        default: {
+            const _exhaustive = formula;
+            throw new Error(`Unknown formula kind: ${_exhaustive.kind}`);
+        }
+    }
+}
+//# sourceMappingURL=evaluator.js.map

package/dist/core/evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.js","sourceRoot":"","sources":["../../src/core/evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAWH,SAAS,YAAY,CAAC,IAAiB,EAAE,KAAgB;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACxC,OAAO,CAAC,CAAC,CAAC,gCAAgC;AAC5C,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,OAAgB,EAChB,KAAkB,EAClB,MAAc,CAAC;IAEf,qCAAqC;IACrC,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,IAAI,OAAO,CAAC,IAAI,KAAK,GAAG,IAAI,OAAO,CAAC,IAAI,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IAEzB,wBAAwB;IACxB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;QAEhD,KAAK,KAAK;YACR,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAE9C,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAEnF,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAEnF,KAAK,SAAS;YACZ,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAEpF,mBAAmB;QACnB,KAAK,GAAG;YACN,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;YACvD,CAAC;YACD,OAAO,IAAI,CAAC;QAEd,KAAK,GAAG;YACN,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YACrD,CAAC;YACD,OAAO,KAAK,CAAC;QAEf,KAAK,GAAG;YACN,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC,CAAC,YAAY;YACtD,OAAO,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;QAEjD,KAAK,GAAG;YACN,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACnD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;YACtD,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,sBAAsB;QAEtC,qBAAqB;QACrB,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAEjF,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAEhF,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAEjF,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAEhF,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAElF,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;QAEhD,KAAK,OAAO;YACV,OAAO,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;QAE7B,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,yBAA0B,WAAuB,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;AACH,CAAC"}