@sponsio/sdk 0.1.0-alpha.3

package/dist/core/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/core/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAEL,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAC3B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACV,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAClB,GAAG,EAAE,KAAK,GACX,MAAM,cAAc,CAAC;AAEtB,MAAM,OAAO,UAAW,SAAQ,KAAK;CAAG;AAExC;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,UAAU,CAAC,eAAe,CAAC,CAAC;IAEpD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAEjC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAAC,iCAAiC,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,oBAAoB;AAEpB,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1C,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC,EAAE,CAAC;QACtB,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,iCAAiC;YACjC,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAC;gBAC1B,CAAC,EAAE,CAAC;YACN,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACZ,CAAC;aAAM,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAClH,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;gBAAE,CAAC,EAAE,CAAC;YACvF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,GAAG,CAAC,CAAC;QACR,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACzE,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CACxB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAClC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAClC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAClC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAChB;gBAAE,CAAC,EAAE,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,GAAG,CAAC,CAAC;QACR,CAAC;aAAM,CAAC;YACN,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AASD,SAAS,IAAI,CAAC,CAAQ;IACpB,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,OAAO,CAAC,CAAQ,EAAE,QAAiB;IAC1C,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAAC,4BAA4B,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,QAAQ,IAAI,IAAI,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,IAAI,UAAU,CAAC,YAAY,QAAQ,gBAAgB,CAAC,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,CAAC,CAAC,GAAG,EAAE,CAAC;IACR,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,CAAQ;IACzB,IAAI,IAAI,GAAY,UAAU,CAAC,CAAC,CAAC,CAAC;IAClC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YACrD,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC1E,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,EAAE,EAAE,CAAC;gBACX,KAAK,IAAI;oBAAE,IAAI,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAClD,KAAK,GAAG;oBAAE,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAC7C,KAAK,GAAG;oBAAE,IAAI,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAC5C,KAAK,GAAG;oBAAE,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAAC,MAAM;gBAC3C,KAAK,IAAI;oBAAE,IAAI,GAAG,IAAI,EAAE,CAAC,IAAmB,EAAE,KAAoB,CAAC,CAAC;oBAAC,MAAM;gBAC3E,KAAK,IAAI;oBAAE,IAAI,GAAG,IAAI,EAAE,CAAC,IAAmB,EAAE,KAAoB,CAAC,CAAC;oBAAC,MAAM;gBAC3E,KAAK,GAAG;oBAAE,IAAI,GAAG,IAAI,EAAE,CAAC,IAAmB,EAAE,KAAoB,CAAC,CAAC;oBAAC,MAAM;gBAC1E,KAAK,GAAG;oBAAE,IAAI,GAAG,IAAI,EAAE,CAAC,IAAmB,EAAE,KAAoB,CAAC,CAAC;oBAAC,MAAM;gBAC1E,KAAK,IAAI;oBAAE,IAAI,GAAG,IAAI,EAAE,CAAC,IAAmB,EAAE,KAAoB,CAAC,CAAC;oBAAC,MAAM;YAC7E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ;IAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,gEAAgE;QAChE,4DAA4D;QAC5D,4DAA4D;QAC5D,4DAA4D;QAC5D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;SAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAC/C,OAAO,CAAC,CAAC,CAAC,CAAC;QACX,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC;SAAM,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClB,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;SAAM,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACnB,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClB,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChB,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,CAAC,CAAC,CAAC,CAAC;QACX,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;SAAM,IAAI,CAAC,EAAE,CAAC;QACb,sDAAsD;QACtD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACpB,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAChB,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAChB,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,IAAI,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/core/pattern-factory.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Structured-pattern factory — ``{ pattern: "must_precede", args: [...] }``
+ * → ``DetFormula``. Bridges yaml-declared contracts to the pattern
+ * library without going through NL parsing.
+ *
+ * Parity with Python's ``sponsio/config.py::_apply_pattern`` and the
+ * pattern catalog in ``sponsio/patterns/library.py``. Every public det
+ * factory in ``./patterns.ts`` is reachable here under its snake_case
+ * yaml name; arg coercion is deliberately lenient (strings coerce
+ * to numbers where the factory wants a number) so a yaml authored
+ * by hand doesn't crash on a quoted ``"3"``.
+ *
+ * Atoms used in ``A:`` / assumption fields (``called``, ``called_with``)
+ * are also exposed here — Python writes assumptions as structured
+ * patterns too (see README canonical sample:
+ * ``A: { pattern: called, args: [read, ".env"] }``), so the TS loader
+ * needs to build them from the same shape.
+ */
+import { type DetFormula, type AssumptionEnforcementPair } from "./patterns.js";
+/** Error raised when a pattern name is unknown or args don't line up. */
+export declare class PatternFactoryError extends Error {
+}
+/**
+ * Build a ``DetFormula`` from a yaml-structured ``{ pattern, args }``
+ * pair. Returns ``null`` for pattern names the TS runtime doesn't
+ * know (pack-only runtime features, Python-only atoms); callers
+ * surface those through the loader's ``skipped`` list.
+ *
+ * Args come in as YAML-parsed values: strings, numbers, nested
+ * arrays. We coerce leniently so a hand-authored yaml doesn't
+ * crash on ``args: ["3"]`` instead of ``args: [3]``.
+ */
+export declare function buildPatternByName(pattern: string, args: unknown[]): DetFormula | AssumptionEnforcementPair | null;
+/** Type guard: is this an A/E pair (``untrusted_source_gate`` / ``confirm_after_source``)? */
+export declare function isAePair(v: DetFormula | AssumptionEnforcementPair): v is AssumptionEnforcementPair;
+/** All det pattern names this factory can build. Used by ``patterns`` CLI + tests. */
+export declare const KNOWN_DET_PATTERNS: readonly string[];
+//# sourceMappingURL=pattern-factory.d.ts.map

package/dist/core/pattern-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-factory.d.ts","sourceRoot":"","sources":["../../src/core/pattern-factory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAqCL,KAAK,UAAU,EACf,KAAK,yBAAyB,EAC/B,MAAM,eAAe,CAAC;AAGvB,yEAAyE;AACzE,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAiDjD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,OAAO,EAAE,GACd,UAAU,GAAG,yBAAyB,GAAG,IAAI,CAiO/C;AAED,8FAA8F;AAC9F,wBAAgB,QAAQ,CACtB,CAAC,EAAE,UAAU,GAAG,yBAAyB,GACxC,CAAC,IAAI,yBAAyB,CAKhC;AAED,sFAAsF;AACtF,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAuC9C,CAAC"}

package/dist/core/pattern-factory.js

@@ -0,0 +1,222 @@
+/**
+ * Structured-pattern factory — ``{ pattern: "must_precede", args: [...] }``
+ * → ``DetFormula``. Bridges yaml-declared contracts to the pattern
+ * library without going through NL parsing.
+ *
+ * Parity with Python's ``sponsio/config.py::_apply_pattern`` and the
+ * pattern catalog in ``sponsio/patterns/library.py``. Every public det
+ * factory in ``./patterns.ts`` is reachable here under its snake_case
+ * yaml name; arg coercion is deliberately lenient (strings coerce
+ * to numbers where the factory wants a number) so a yaml authored
+ * by hand doesn't crash on a quoted ``"3"``.
+ *
+ * Atoms used in ``A:`` / assumption fields (``called``, ``called_with``)
+ * are also exposed here — Python writes assumptions as structured
+ * patterns too (see README canonical sample:
+ * ``A: { pattern: called, args: [read, ".env"] }``), so the TS loader
+ * needs to build them from the same shape.
+ */
+import { mustPrecede, alwaysFollowedBy, noReversal, requiresPermission, noDataLeak, mutualExclusion, rateLimit, idempotent, deadline, mustConfirm, cooldown, segregationOfDuty, boundedRetry, loopDetection, dryRunBeforeCommit, backupBeforeDestructive, auditAfter, approvalFreshness, sanitizedBeforeSink, duplicateCallLimit, argAllowlist, argBlacklist, scopeLimit, argLengthLimit, dataIntact, destructiveActionGate, untrustedSourceGate, requiredStepsCompletion, toolAllowlist, dangerousBashCommands, dangerousSqlVerbs, irreversibleOnce, confirmAfterSource, tokenBudget, argValueRange, delegationDepthLimit, } from "./patterns.js";
+import { Atom } from "./formula.js";
+/** Error raised when a pattern name is unknown or args don't line up. */
+export class PatternFactoryError extends Error {
+}
+function asStr(v, field) {
+    if (typeof v === "string")
+        return v;
+    if (typeof v === "number" || typeof v === "boolean")
+        return String(v);
+    throw new PatternFactoryError(`expected string for ${field}, got ${typeof v}`);
+}
+function asNum(v, field) {
+    if (typeof v === "number" && Number.isFinite(v))
+        return v;
+    if (typeof v === "string") {
+        const n = Number(v);
+        if (Number.isFinite(n))
+            return n;
+    }
+    throw new PatternFactoryError(`expected number for ${field}, got ${JSON.stringify(v)}`);
+}
+function asStrList(v, field) {
+    if (!Array.isArray(v)) {
+        throw new PatternFactoryError(`expected list of strings for ${field}, got ${typeof v}`);
+    }
+    return v.map((x, i) => asStr(x, `${field}[${i}]`));
+}
+function needArg(args, i, field) {
+    if (i >= args.length) {
+        throw new PatternFactoryError(`missing arg #${i} (${field})`);
+    }
+    return args[i];
+}
+/**
+ * Wrap a raw atom in a DetFormula so ``A: { pattern: called, args: […] }``
+ * produces the same shape as the pattern factories.
+ */
+function atomAsFormula(atom, patternName, desc) {
+    return { formula: atom, desc, patternName, liveness: false };
+}
+/**
+ * Build a ``DetFormula`` from a yaml-structured ``{ pattern, args }``
+ * pair. Returns ``null`` for pattern names the TS runtime doesn't
+ * know (pack-only runtime features, Python-only atoms); callers
+ * surface those through the loader's ``skipped`` list.
+ *
+ * Args come in as YAML-parsed values: strings, numbers, nested
+ * arrays. We coerce leniently so a hand-authored yaml doesn't
+ * crash on ``args: ["3"]`` instead of ``args: [3]``.
+ */
+export function buildPatternByName(pattern, args) {
+    switch (pattern) {
+        // Atom-as-formula — used almost exclusively in A: / assumption.
+        case "called": {
+            const tool = asStr(needArg(args, 0, "tool"), "tool");
+            // ``called, args: [read, ".env"]`` — second arg is an optional
+            // content pattern that turns this into a called_with atom.
+            if (args.length >= 2) {
+                const contentPattern = asStr(args[1], "content_pattern");
+                return atomAsFormula(new Atom("called_with", [tool, contentPattern]), "called_with", `called_with(${tool}, ${contentPattern})`);
+            }
+            return atomAsFormula(new Atom("called", [tool]), "called", `called(${tool})`);
+        }
+        case "called_with": {
+            const tool = asStr(needArg(args, 0, "tool"), "tool");
+            const contentPattern = asStr(needArg(args, 1, "content_pattern"), "content_pattern");
+            return atomAsFormula(new Atom("called_with", [tool, contentPattern]), "called_with", `called_with(${tool}, ${contentPattern})`);
+        }
+        // Safety
+        case "must_precede":
+            return mustPrecede(asStr(needArg(args, 0, "before"), "before"), asStr(needArg(args, 1, "after"), "after"));
+        case "must_confirm":
+            return mustConfirm(asStr(needArg(args, 0, "action"), "action"));
+        case "requires_permission":
+            return requiresPermission(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "permission"), "permission"));
+        case "no_data_leak":
+            return noDataLeak(asStr(needArg(args, 0, "source"), "source"), asStr(needArg(args, 1, "external"), "external"));
+        case "destructive_action_gate":
+            return destructiveActionGate(asStr(needArg(args, 0, "tool"), "tool"), args.length >= 2 ? asStr(args[1], "approver_role") : undefined);
+        // Compliance
+        case "no_reversal":
+            return noReversal(asStr(needArg(args, 0, "commitment"), "commitment"), asStr(needArg(args, 1, "contradiction"), "contradiction"));
+        case "segregation_of_duty":
+            return segregationOfDuty(asStr(needArg(args, 0, "a"), "a"), asStr(needArg(args, 1, "b"), "b"));
+        case "always_followed_by":
+            return alwaysFollowedBy(asStr(needArg(args, 0, "trigger"), "trigger"), asStr(needArg(args, 1, "response"), "response"));
+        case "required_steps_completion":
+            return requiredStepsCompletion(asStr(needArg(args, 0, "trigger"), "trigger"), asStrList(needArg(args, 1, "steps"), "steps"));
+        // Operational
+        case "rate_limit":
+            return rateLimit(asStr(needArg(args, 0, "tool"), "tool"), asNum(needArg(args, 1, "max_calls"), "max_calls"));
+        case "idempotent":
+            return idempotent(asStr(needArg(args, 0, "tool"), "tool"));
+        case "cooldown":
+            return cooldown(asStr(needArg(args, 0, "action"), "action"), asNum(needArg(args, 1, "steps"), "steps"));
+        case "deadline":
+            return deadline(asStr(needArg(args, 0, "trigger"), "trigger"), asStr(needArg(args, 1, "action"), "action"), asNum(needArg(args, 2, "steps"), "steps"));
+        case "bounded_retry":
+            return boundedRetry(asStr(needArg(args, 0, "action"), "action"), asNum(needArg(args, 1, "max_retries"), "max_retries"));
+        case "loop_detection":
+            return loopDetection(asStr(needArg(args, 0, "action"), "action"), asNum(needArg(args, 1, "max_consecutive"), "max_consecutive"));
+        case "dry_run_before_commit":
+            return dryRunBeforeCommit(asStr(needArg(args, 0, "dry_run"), "dry_run"), asStr(needArg(args, 1, "commit"), "commit"));
+        case "backup_before_destructive":
+            return backupBeforeDestructive(asStr(needArg(args, 0, "backup"), "backup"), asStr(needArg(args, 1, "action"), "action"));
+        case "audit_after":
+            return auditAfter(asStr(needArg(args, 0, "action"), "action"), asStr(needArg(args, 1, "audit"), "audit"));
+        case "approval_freshness":
+            return approvalFreshness(asStr(needArg(args, 0, "approval"), "approval"), asStr(needArg(args, 1, "action"), "action"), asNum(needArg(args, 2, "steps"), "steps"));
+        case "sanitized_before_sink":
+            return sanitizedBeforeSink(asStr(needArg(args, 0, "source"), "source"), asStr(needArg(args, 1, "sanitizer"), "sanitizer"), asStr(needArg(args, 2, "sink"), "sink"));
+        case "duplicate_call_limit":
+            return duplicateCallLimit(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "args_pattern"), "args_pattern"), asNum(needArg(args, 2, "max_count"), "max_count"));
+        // Exclusion
+        case "mutual_exclusion":
+            return mutualExclusion(asStr(needArg(args, 0, "a"), "a"), asStr(needArg(args, 1, "b"), "b"));
+        case "tool_allowlist":
+            return toolAllowlist(asStrList(needArg(args, 0, "allowed_tools"), "allowed_tools"));
+        // Argument / Path
+        case "arg_blacklist":
+            return argBlacklist(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "field"), "field"), asStrList(needArg(args, 2, "patterns"), "patterns"));
+        case "arg_allowlist":
+            return argAllowlist(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "field"), "field"), asStrList(needArg(args, 2, "patterns"), "patterns"));
+        case "scope_limit":
+            return scopeLimit(asStr(needArg(args, 0, "tool"), "tool"), asStrList(needArg(args, 1, "allowed_paths"), "allowed_paths"));
+        case "arg_length_limit":
+            return argLengthLimit(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "param"), "param"), asNum(needArg(args, 2, "max_chars"), "max_chars"));
+        case "data_intact":
+            return dataIntact(asStr(needArg(args, 0, "bound_tool"), "bound_tool"), asStrList(needArg(args, 1, "original_paths"), "original_paths"));
+        case "arg_value_range": {
+            const tool = asStr(needArg(args, 0, "tool"), "tool");
+            const field = asStr(needArg(args, 1, "field"), "field");
+            const min = args.length >= 3 && args[2] != null ? asNum(args[2], "min") : undefined;
+            const max = args.length >= 4 && args[3] != null ? asNum(args[3], "max") : undefined;
+            return argValueRange(tool, field, min, max);
+        }
+        // Agentic Security
+        case "untrusted_source_gate":
+            return untrustedSourceGate(asStr(needArg(args, 0, "source"), "source"), asStr(needArg(args, 1, "sink"), "sink"), args.length >= 3 ? asStr(args[2], "confirm") : undefined);
+        case "confirm_after_source":
+            return confirmAfterSource(asStr(needArg(args, 0, "source"), "source"), asStr(needArg(args, 1, "action"), "action"));
+        case "dangerous_bash_commands":
+            return dangerousBashCommands(args.length >= 1 ? asStrList(args[0], "forbidden") : undefined);
+        case "dangerous_sql_verbs":
+            return dangerousSqlVerbs(args.length >= 1 ? asStr(args[0], "tool") : undefined, args.length >= 2 ? asStrList(args[1], "forbidden") : undefined);
+        case "irreversible_once":
+            return irreversibleOnce(asStr(needArg(args, 0, "action"), "action"));
+        // Resource
+        case "token_budget":
+            return tokenBudget(asNum(needArg(args, 0, "max_tokens"), "max_tokens"), args.length >= 2 ? asStr(args[1], "scope") : undefined);
+        case "delegation_depth_limit":
+            return delegationDepthLimit(asNum(needArg(args, 0, "max_depth"), "max_depth"));
+        default:
+            return null;
+    }
+}
+/** Type guard: is this an A/E pair (``untrusted_source_gate`` / ``confirm_after_source``)? */
+export function isAePair(v) {
+    return (v.assumption !== undefined &&
+        v.enforcement !== undefined);
+}
+/** All det pattern names this factory can build. Used by ``patterns`` CLI + tests. */
+export const KNOWN_DET_PATTERNS = Object.freeze([
+    "called",
+    "called_with",
+    "must_precede",
+    "must_confirm",
+    "requires_permission",
+    "no_data_leak",
+    "destructive_action_gate",
+    "no_reversal",
+    "segregation_of_duty",
+    "always_followed_by",
+    "required_steps_completion",
+    "rate_limit",
+    "idempotent",
+    "cooldown",
+    "deadline",
+    "bounded_retry",
+    "loop_detection",
+    "dry_run_before_commit",
+    "backup_before_destructive",
+    "audit_after",
+    "approval_freshness",
+    "sanitized_before_sink",
+    "duplicate_call_limit",
+    "mutual_exclusion",
+    "tool_allowlist",
+    "arg_blacklist",
+    "arg_allowlist",
+    "scope_limit",
+    "arg_length_limit",
+    "data_intact",
+    "arg_value_range",
+    "untrusted_source_gate",
+    "confirm_after_source",
+    "dangerous_bash_commands",
+    "dangerous_sql_verbs",
+    "irreversible_once",
+    "token_budget",
+    "delegation_depth_limit",
+]);
+//# sourceMappingURL=pattern-factory.js.map

package/dist/core/pattern-factory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-factory.js","sourceRoot":"","sources":["../../src/core/pattern-factory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,UAAU,EACV,kBAAkB,EAClB,UAAU,EACV,eAAe,EACf,SAAS,EACT,UAAU,EACV,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,uBAAuB,EACvB,UAAU,EACV,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,cAAc,EACd,UAAU,EACV,qBAAqB,EACrB,mBAAmB,EACnB,uBAAuB,EACvB,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,oBAAoB,GAGrB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,yEAAyE;AACzE,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,SAAS,KAAK,CAAC,CAAU,EAAE,KAAa;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,KAAK,SAAS,OAAO,CAAC,EAAE,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,CAAU,EAAE,KAAa;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,IAAI,mBAAmB,CAC3B,uBAAuB,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CACzD,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,KAAa;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,mBAAmB,CAC3B,gCAAgC,KAAK,SAAS,OAAO,CAAC,EAAE,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,OAAO,CAAI,IAAe,EAAE,CAAS,EAAE,KAAa;IAC3D,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,IAAI,mBAAmB,CAAC,gBAAgB,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAM,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,IAAU,EACV,WAAmB,EACnB,IAAY;IAEZ,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC/D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAe,EACf,IAAe;IAEf,QAAQ,OAAO,EAAE,CAAC;QAChB,gEAAgE;QAChE,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;YACrD,+DAA+D;YAC/D,2DAA2D;YAC3D,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACrB,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;gBACzD,OAAO,aAAa,CAClB,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,EAC/C,aAAa,EACb,eAAe,IAAI,KAAK,cAAc,GAAG,CAC1C,CAAC;YACJ,CAAC;YACD,OAAO,aAAa,CAClB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,EAC1B,QAAQ,EACR,UAAU,IAAI,GAAG,CAClB,CAAC;QACJ,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,cAAc,GAAG,KAAK,CAC1B,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,EACnC,iBAAiB,CAClB,CAAC;YACF,OAAO,aAAa,CAClB,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,EAC/C,aAAa,EACb,eAAe,IAAI,KAAK,cAAc,GAAG,CAC1C,CAAC;QACJ,CAAC;QAED,SAAS;QACT,KAAK,cAAc;YACjB,OAAO,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAC1C,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,KAAK,qBAAqB;YACxB,OAAO,kBAAkB,CACvB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,YAAY,CAAC,CACpD,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,UAAU,CACf,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAChD,CAAC;QACJ,KAAK,yBAAyB;YAC5B,OAAO,qBAAqB,CAC1B,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAC;QAEJ,aAAa;QACb,KAAK,aAAa;YAChB,OAAO,UAAU,CACf,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,YAAY,CAAC,EACnD,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,CAC1D,CAAC;QACJ,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CACtB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EACjC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAClC,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO,gBAAgB,CACrB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,EAC7C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAChD,CAAC;QACJ,KAAK,2BAA2B;YAC9B,OAAO,uBAAuB,CAC5B,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,EAC7C,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAC9C,CAAC;QAEJ,cAAc;QACd,KAAK,YAAY;YACf,OAAO,SAAS,CACd,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAClD,CAAC;QACJ,KAAK,YAAY;YACf,OAAO,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7D,KAAK,UAAU;YACb,OAAO,QAAQ,CACb,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAC1C,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,QAAQ,CACb,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,EAC7C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAC1C,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,YAAY,CACjB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,CACtD,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,aAAa,CAClB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,CAC9D,CAAC;QACJ,KAAK,uBAAuB;YAC1B,OAAO,kBAAkB,CACvB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,EAC7C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAC5C,CAAC;QACJ,KAAK,2BAA2B;YAC9B,OAAO,uBAAuB,CAC5B,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAC5C,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,UAAU,CACf,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAC1C,CAAC;QACJ,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CACtB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,EAC/C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAC1C,CAAC;QACJ,KAAK,uBAAuB;YAC1B,OAAO,mBAAmB,CACxB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,EACjD,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CACxC,CAAC;QACJ,KAAK,sBAAsB;YACzB,OAAO,kBAAkB,CACvB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,cAAc,CAAC,EAAE,cAAc,CAAC,EACvD,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAClD,CAAC;QAEJ,YAAY;QACZ,KAAK,kBAAkB;YACrB,OAAO,eAAe,CACpB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EACjC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAClC,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC;QAEtF,kBAAkB;QAClB,KAAK,eAAe;YAClB,OAAO,YAAY,CACjB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EACzC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CACpD,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,YAAY,CACjB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EACzC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CACpD,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,UAAU,CACf,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,CAC9D,CAAC;QACJ,KAAK,kBAAkB;YACrB,OAAO,cAAc,CACnB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EACzC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAClD,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,UAAU,CACf,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,YAAY,CAAC,EACnD,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,CAChE,CAAC;QACJ,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;YACxD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpF,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpF,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QAED,mBAAmB;QACnB,KAAK,uBAAuB;YAC1B,OAAO,mBAAmB,CACxB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CACzD,CAAC;QACJ,KAAK,sBAAsB;YACzB,OAAO,kBAAkB,CACvB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAC3C,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAC5C,CAAC;QACJ,KAAK,yBAAyB;YAC5B,OAAO,qBAAqB,CAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAC;QACJ,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CACtB,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EACrD,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAC;QACJ,KAAK,mBAAmB;YACtB,OAAO,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QAEvE,WAAW;QACX,KAAK,cAAc;YACjB,OAAO,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,YAAY,CAAC,EACnD,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CACvD,CAAC;QACJ,KAAK,wBAAwB;YAC3B,OAAO,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QAEjF;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,QAAQ,CACtB,CAAyC;IAEzC,OAAO,CACJ,CAA+B,CAAC,UAAU,KAAK,SAAS;QACxD,CAA+B,CAAC,WAAW,KAAK,SAAS,CAC3D,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,CAAC,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAAC;IACjE,QAAQ;IACR,aAAa;IACb,cAAc;IACd,cAAc;IACd,qBAAqB;IACrB,cAAc;IACd,yBAAyB;IACzB,aAAa;IACb,qBAAqB;IACrB,oBAAoB;IACpB,2BAA2B;IAC3B,YAAY;IACZ,YAAY;IACZ,UAAU;IACV,UAAU;IACV,eAAe;IACf,gBAAgB;IAChB,uBAAuB;IACvB,2BAA2B;IAC3B,aAAa;IACb,oBAAoB;IACpB,uBAAuB;IACvB,sBAAsB;IACtB,kBAAkB;IAClB,gBAAgB;IAChB,eAAe;IACf,eAAe;IACf,aAAa;IACb,kBAAkB;IAClB,aAAa;IACb,iBAAiB;IACjB,uBAAuB;IACvB,sBAAsB;IACtB,yBAAyB;IACzB,qBAAqB;IACrB,mBAAmB;IACnB,cAAc;IACd,wBAAwB;CACzB,CAAC,CAAC"}

package/dist/core/patterns.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Pattern library — pre-built LTL contract patterns.
+ *
+ * Port of sponsio/patterns/library.py (det patterns).
+ * Each function returns a formula AST + description.
+ *
+ * 36 patterns across 7 categories:
+ *   Core temporal (14): mustPrecede, alwaysFollowedBy, noReversal,
+ *     requiresPermission, noDataLeak, mutualExclusion, rateLimit,
+ *     idempotent, deadline, mustConfirm, cooldown, segregationOfDuty,
+ *     boundedRetry, loopDetection
+ *   Argument (5): argBlacklist, argAllowlist, scopeLimit, argLengthLimit, dataIntact
+ *   OWASP (8): destructiveActionGate, untrustedSourceGate,
+ *     requiredStepsCompletion, toolAllowlist, dangerousBashCommands,
+ *     dangerousSqlVerbs, irreversibleOnce, confirmAfterSource
+ *   Resource (3): tokenBudget, argValueRange, delegationDepthLimit
+ *   Workflow hygiene (6): dryRunBeforeCommit, backupBeforeDestructive,
+ *     auditAfter, approvalFreshness, sanitizedBeforeSink, duplicateCallLimit
+ */
+import { Formula } from "./formula.js";
+export interface DetFormula {
+    formula: Formula;
+    desc: string;
+    patternName: string;
+    liveness: boolean;
+}
+export interface AssumptionEnforcementPair {
+    assumption: DetFormula;
+    enforcement: DetFormula;
+}
+export declare function mustPrecede(before: string, after: string): DetFormula;
+export declare function alwaysFollowedBy(trigger: string, response: 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;
+export declare function mutualExclusion(a: string, b: string): DetFormula;
+export declare function rateLimit(tool: string, maxCalls: number): DetFormula;
+export declare function idempotent(tool: string): DetFormula;
+export declare function deadline(trigger: string, action: string, steps: number): DetFormula;
+export declare function mustConfirm(action: string): DetFormula;
+export declare function cooldown(action: string, steps: number): DetFormula;
+export declare function segregationOfDuty(a: string, b: string): DetFormula;
+export declare function boundedRetry(action: string, maxRetries: number): DetFormula;
+export declare function loopDetection(action: string, maxConsecutive: number): DetFormula;
+export declare function dryRunBeforeCommit(dryRun: string, commit: string): DetFormula;
+export declare function backupBeforeDestructive(backup: string, action: string): DetFormula;
+export declare function auditAfter(action: string, audit: string): DetFormula;
+export declare function approvalFreshness(approval: string, action: string, steps: number): DetFormula;
+export declare function sanitizedBeforeSink(source: string, sanitizer: string, sink: string): DetFormula;
+export declare function duplicateCallLimit(tool: string, argsPattern: string, maxCount: number): DetFormula;
+export declare function argBlacklist(tool: string, field: string, patterns: string[]): DetFormula;
+export declare function argAllowlist(tool: string, field: string, patterns: string[]): DetFormula;
+export declare function scopeLimit(tool: string, allowedPaths: string[]): DetFormula;
+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 requiredStepsCompletion(trigger: string, steps: string[]): DetFormula;
+export declare function toolAllowlist(allowedTools: string[]): DetFormula;
+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 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;
+//# sourceMappingURL=patterns.d.ts.map

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

@@ -0,0 +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"}