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

package/dist/core/patterns.d.ts

@@ -17,19 +17,79 @@
  *   Workflow hygiene (6): dryRunBeforeCommit, backupBeforeDestructive,
  *     auditAfter, approvalFreshness, sanitizedBeforeSink, duplicateCallLimit
  */
-import { Formula } from "./formula.js";
+import { Formula, Atom } from "./formula.js";
 export interface DetFormula {
     formula: Formula;
     desc: string;
     patternName: string;
+    /**
+     * What this rule was built from, mirroring Python's ``DetFormula.args``.
+     *
+     * The name alone does not identify a rule: two customers can both hold
+     * `rate_limit` and mean different limits on different tools. The cloud
+     * groups findings by (pattern, args) and derives a stable finding id
+     * from them, so a violation uploaded without these carries only its
+     * English sentence — and a rule reworded loses its own history.
+     * Undefined only on formulas built by hand rather than by a factory.
+     *
+     * ``Atom`` is in the union because ``workflowStep`` takes two of them,
+     * as it does in Python. That one is not reachable from the DSL and its
+     * args do not serialise to anything a reader wants; every other factory
+     * stores the strings and numbers it was called with.
+     */
+    args?: (string | number | string[] | Atom | undefined)[];
     liveness: boolean;
+    /**
+     * Per-contract enforcement mode: `enforce` | `observe`.
+     *
+     * Overrides the engine's global mode for this contract alone —
+     * mirrors Python's `ContractEntry.mode`. `undefined` means "no
+     * opinion" and the global mode applies; that distinction matters,
+     * since defaulting to `observe` here would silently downgrade every
+     * contract that simply did not mention a mode.
+     */
+    mode?: "enforce" | "observe";
+    /**
+     * What the runtime does when this formula is violated, mirroring the
+     * strategy Python bundles onto its own `DetFormula`.
+     *
+     * `undefined` means `block`, which is what every pattern but one
+     * wants. `redirect` names a substitute in `safeName`: the original
+     * call must not run, and an adapter that can dispatch the substitute
+     * should. `escalate` hands the decision to a human.
+     *
+     * The formula alone cannot carry this. `redirect_to_safe` compiles to
+     * `G(!called(unsafe))`, which is indistinguishable from a plain ban,
+     * so a runtime reading only the formula turns every redirect into a
+     * block and loses the substitute.
+     */
+    strategy?: "block" | "redirect" | "escalate";
+    /** The tool to call instead, when `strategy` is `redirect`. */
+    safeName?: string;
 }
-export interface AssumptionEnforcementPair {
+export interface AssumeGuaranteePair {
     assumption: DetFormula;
-    enforcement: DetFormula;
+    guarantee: DetFormula;
 }
 export declare function mustPrecede(before: string, after: string): DetFormula;
 export declare function alwaysFollowedBy(trigger: string, response: string): DetFormula;
+/**
+ * Prescriptive next-step obligation: ``G(trigger -> X(next_action))``.
+ *
+ * When ``trigger`` holds at the current event, the agent must satisfy
+ * ``next_action`` at the very next event. Prescriptive counterpart to
+ * the block-style patterns (``never_together``, ``arg_blacklist``):
+ * instead of "you must not do X", a workflow_step says "you must do X
+ * next".
+ *
+ * Both arguments are arbitrary atoms (called(...), ctx(k, v),
+ * arg_field_has(...), etc.), so the same factory covers tool ordering,
+ * ctx-driven remediation, and arg-conditional follow-ups.
+ *
+ * NOT marked liveness: X is one-step bounded and the runtime can decide
+ * the obligation after a single event, unlike F.
+ */
+export declare function workflowStep(trigger: Atom, nextAction: Atom, desc?: string): DetFormula;
 export declare function noReversal(commitment: string, contradiction: string): DetFormula;
 export declare function requiresPermission(tool: string, permission: string): DetFormula;
 export declare function noDataLeak(source: string, external: string): DetFormula;
@@ -54,14 +114,145 @@ export declare function scopeLimit(tool: string, allowedPaths: string[]): DetFor
 export declare function argLengthLimit(tool: string, param: string, maxChars: number): DetFormula;
 export declare function dataIntact(boundTool: string, originalPaths: string[]): DetFormula;
 export declare function destructiveActionGate(tool: string, approverRole?: string): DetFormula;
-export declare function untrustedSourceGate(source: string, sink: string, confirm?: string): AssumptionEnforcementPair;
+export declare function untrustedSourceGate(source: string, sink: string, confirm?: string): AssumeGuaranteePair;
 export declare function requiredStepsCompletion(trigger: string, steps: string[]): DetFormula;
 export declare function toolAllowlist(allowedTools: string[]): DetFormula;
+/**
+ * Substitute a forbidden tool call with a pre-approved safe one.
+ *
+ * Parity with Python ``sponsio.patterns.library.redirect_to_safe``:
+ * compiles to ``G(Not(called(unsafe)))``, so any call to ``unsafe`` is
+ * a violation.
+ *
+ * **Important runtime caveat.** The TS SDK is currently det-only and
+ * has no strategy / dispatch system. The formula side of
+ * ``redirectToSafe`` works here (a violation IS surfaced), but the TS
+ * SDK does NOT yet do the Python-side trick of bundling a
+ * ``RedirectToSafe`` strategy on the formula and having adapter
+ * ``wrap()`` paths substitute the call. The runtime outcome on TS is
+ * functionally a block: the unsafe tool is rejected, and the user's
+ * application loop has to decide whether to dispatch the safe
+ * substitute manually. Full strategy / dispatch parity is tracked as
+ * a separate work item. Users wiring redirect-style contracts who
+ * need transparent substitution should stay on the Python SDK
+ * (LangGraph adapter) until the TS strategy port lands.
+ */
+/**
+ * Every emitted claim of this predicate must verify as PASS.
+ *
+ * Compiles to `G(claim_emitted(pred) -> evidence_verdict(pred, PASS))`.
+ * Both atoms are grounded from the same `evidence` event, so the
+ * implication is decided at the timestep the verdict lands: a claim
+ * whose verdict is anything but PASS (MISMATCH, UNDERDETERMINED,
+ * NO_EVIDENCE, STALE, SOURCE_UNAVAILABLE, EXTRACTION_AMBIGUOUS)
+ * violates immediately.
+ *
+ * Parity with `sponsio.patterns.library.claim_requires_evidence`.
+ */
+export declare function claimRequiresEvidence(pred: string, desc?: string): DetFormula;
+/**
+ * An UNDERDETERMINED verdict must resolve to a clarify action.
+ *
+ * Compiles to `G(evidence_verdict(pred, UNDERDETERMINED) ->
+ * evidence_action(pred, clarify))`.
+ *
+ * Guards the policy wiring rather than the claim itself: when the
+ * evidence was ambiguous, the recorded action on that same event must be
+ * `clarify`. A project override that quietly releases or hard-blocks an
+ * ambiguous claim trips this contract.
+ *
+ * Parity with `sponsio.patterns.library.underdetermined_must_clarify`.
+ */
+export declare function underdeterminedMustClarify(pred: string, desc?: string): DetFormula;
+export declare function redirectToSafe(unsafe: string, safe: string): DetFormula;
+/**
+ * Recursive ``rm`` in any spelling: ``rm -rf``, ``rm -fr``, ``rm -Rf``,
+ * ``rm -r``, ``rm -f -r``, ``rm --recursive --force``, ``rm -v --recursive``.
+ * ``count_with`` is a regex over the serialized args, so a literal
+ * ``"rm -rf"`` only caught that one spelling. Mirrors
+ * ``RM_RECURSIVE_PATTERN`` in ``sponsio/patterns/library.py``; keep the
+ * two in sync.
+ */
+export declare const RM_RECURSIVE_PATTERN = "\\brm(?:\\s+(?:-[a-zA-Z]+|--[a-z-]+))*\\s+(?:-[a-zA-Z]*[rR][a-zA-Z]*|--recursive)(?=\\s|$)";
 export declare function dangerousBashCommands(forbidden?: string[]): DetFormula;
 export declare function dangerousSqlVerbs(tool?: string, forbidden?: string[]): DetFormula;
 export declare function irreversibleOnce(action: string): DetFormula;
-export declare function confirmAfterSource(source: string, action: string): AssumptionEnforcementPair;
+export declare function confirmAfterSource(source: string, action: string): AssumeGuaranteePair;
 export declare function tokenBudget(maxTokens: number, scope?: string): DetFormula;
 export declare function argValueRange(tool: string, field: string, minVal?: number, maxVal?: number): DetFormula;
 export declare function delegationDepthLimit(maxDepth: number): DetFormula;
+/**
+ * Response length must stay within the given word / character budget.
+ *
+ * Grounded against ``response_words`` / ``response_chars`` populated on
+ * ``llm_response`` events with content. At non-response events both
+ * default to 0, so the constraint is vacuously satisfied.
+ */
+export declare function maxLength(opts: {
+    maxWords?: number;
+    maxChars?: number;
+    desc?: string;
+}): DetFormula;
+/**
+ * Response must not contain regex-detectable PII (SSN, CC, email, phone).
+ *
+ * Uses the ``llm_said`` grounding atom — the selected default patterns
+ * are joined with ``|`` and matched against each ``llm_response`` event.
+ * For semantic PII detection (names, contextual identifiers) use a sto
+ * atom; this pattern only covers syntactic PII.
+ */
+export declare function noPii(fields?: string[]): DetFormula;
+/**
+ * Response must not contain any of the given keywords. Keywords are
+ * escaped and joined into a word-boundary-anchored regex checked
+ * against each ``llm_response`` event via ``llm_said``.
+ *
+ * JS regex doesn't support inline ``(?i)`` flags — we lower-case the
+ * regex by expanding letters to ``[aA]``-style char classes, matching
+ * Python's ``(?i)`` semantics.
+ */
+export declare function noKeywords(words: string[]): DetFormula;
+/**
+ * When ``tool`` is called, ``ctx[key]`` must be one of ``allowedValues``.
+ * Fail-closed: missing context evaluates to violation, so forgetting
+ * to wire ``observeContext`` is loud rather than silent.
+ */
+export declare function ctxRequired(tool: string, key: string, allowedValues: string[]): DetFormula;
+/**
+ * When ``tool`` is called, ``ctx[key]`` must match the regex ``pattern``.
+ * Regex variant of :func:`ctxRequired` for cases where the allowed set
+ * is better expressed as a pattern than an exhaustive list.
+ */
+export declare function ctxMatchesRequired(tool: string, key: string, pattern: string): DetFormula;
+/**
+ * Constrain how recently a predicate was last true. The argument is the
+ * grounded predicate key string (e.g. ``"called(refund)"`` or
+ * ``"ctx(approval.role, alice)"``) — same convention as Python's
+ * ``time_since`` factory.
+ */
+export declare function timeSince(predicateKey: string, maxSeconds: number): DetFormula;
+/**
+ * Gate ``action`` on a recent allow-decision approval from ``role``.
+ *
+ * Compiles to::
+ *   G(called(action) → (
+ *     ctx_matches("approval.role", role)
+ *     ∧ ctx_matches("approval.decision", "allow")
+ *     ∧ time_since("ctx(approval.role, role)") ≤ maxSeconds
+ *   ))
+ *
+ * Pairs with ``observeApproval({role, decision})`` on the integration
+ * side.
+ */
+export declare function approvalActive(action: string, role: string, maxSeconds: number): DetFormula;
+/**
+ * @deprecated — use :func:`mutualExclusion` instead.
+ *
+ * In sequential traces, two tool calls are always at different
+ * timesteps, so the formula ``G(¬(called(A) ∧ called(B)))`` is
+ * trivially satisfied and can never detect violations. Delegates to
+ * ``mutualExclusion`` for correct behavior; kept so yaml authored
+ * against Python's deprecated entry still loads.
+ */
+export declare function neverTogether(a: string, b: string): DetFormula;
 //# sourceMappingURL=patterns.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../src/core/patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,OAAO,EAGR,MAAM,cAAc,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,EAAE,UAAU,CAAC;CACzB;AA6GD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAYrE;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAS9E;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,UAAU,CAShF;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAQ/E;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAYvE;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAYhE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAQpE;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAEnD;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAkBnF;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAYtD;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAWlE;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAUlE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAQ3E;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,UAAU,CAShF;AAID,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAO7E;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAOlF;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAQpE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAoB7F;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,UAAU,CAcZ;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,UAAU,CAeZ;AAID,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,UAAU,CAaxF;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,UAAU,CAoBxF;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,UAAU,CAY3E;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAYxF;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,UAAU,CAWjF;AAID,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,MAAmB,GAAG,UAAU,CAgBjG;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAW,GACnB,yBAAyB,CAY3B;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,CA0CpF;AAED,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,UAAU,CAoBhE;AAED,wBAAgB,qBAAqB,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,CAkBtE;AAsBD,wBAAgB,iBAAiB,CAAC,IAAI,GAAE,MAAsB,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,CAuBhG;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAQ3D;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,yBAAyB,CAY5F;AAID,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,GAAE,MAAgB,GAAG,UAAU,CAQlF;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,MAAM,CAAC,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM,GACd,UAAU,CA2BZ;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAQjE"}
+{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../src/core/patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,OAAO,EAAE,IAAI,EAGd,MAAM,cAAc,CAAC;AAGtB,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;;;;;;OAcG;IACH,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC;IACzD,QAAQ,EAAE,OAAO,CAAC;IAClB;;;;;;;;OAQG;IACH,IAAI,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAC7B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,EAAE,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;IAC7C,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,UAAU,CAAC;IACvB,SAAS,EAAE,UAAU,CAAC;CACvB;AAmHD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAarE;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAU9E;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,IAAI,EACb,UAAU,EAAE,IAAI,EAChB,IAAI,CAAC,EAAE,MAAM,GACZ,UAAU,CAYZ;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,UAAU,CAUhF;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAS/E;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAavE;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAahE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CASpE;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAUnD;AAED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAuBnF;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAatD;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAYlE;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAWlE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAS3E;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,UAAU,CAUhF;AAID,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAQ7E;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAQlF;AAED,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CASpE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAqB7F;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,UAAU,CAeZ;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,UAAU,CAgBZ;AAID,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,UAAU,CAcxF;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,UAAU,CAqBxF;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,UAAU,CAa3E;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,CAaxF;AAED,wBAAgB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,UAAU,CAYjF;AAID,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,MAAmB,GAAG,UAAU,CAiBjG;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAW,GACnB,mBAAmB,CAYrB;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,CA2CpF;AAED,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,UAAU,CAqBhE;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAc7E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,CAclF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAWvE;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,+FAC6D,CAAC;AAE/F,wBAAgB,qBAAqB,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,CA4BtE;AAsBD,wBAAgB,iBAAiB,CAAC,IAAI,GAAE,MAAsB,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,CAwBhG;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAS3D;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,mBAAmB,CAatF;AAID,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,GAAE,MAAgB,GAAG,UAAU,CASlF;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,MAAM,CAAC,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM,GACd,UAAU,CA4BZ;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CASjE;AAYD;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,GAAG,UAAU,CAwBb;AAED;;;;;;;GAOG;AACH,wBAAgB,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,UAAU,CAkBnD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,CAatD;AAID;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,aAAa,EAAE,MAAM,EAAE,GACtB,UAAU,CAuBZ;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,MAAM,GACd,UAAU,CAYZ;AAID;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAe9E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GACjB,UAAU,CA6BZ;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAQ9D"}