@sponsio/sdk 0.1.0-alpha.3 → 0.1.0

package/dist/core/nl-parser.js

@@ -7,7 +7,7 @@
  *   "tool `X` at most 3 times"
  *   "tools `A` and `B` are mutually exclusive"
  */
-import { mustPrecede, alwaysFollowedBy, rateLimit, idempotent, mutualExclusion, noReversal, cooldown, deadline, } from "./patterns.js";
+import { mustPrecede, alwaysFollowedBy, rateLimit, idempotent, mutualExclusion, noReversal, cooldown, deadline, maxLength, noPii, noKeywords, } from "./patterns.js";
 import { Atom } from "./formula.js";
 /** Extract backtick-wrapped tool names from NL text. */
 function extractTools(text) {
@@ -100,7 +100,79 @@ function parseBareCalledAtom(text, tools) {
     }
     return null;
 }
+// Response-content NL patterns — matched BEFORE the generic keyword
+// rules so length / PII / no-keyword constraints route to the
+// response-content det pipeline. Mirrors Python's
+// ``_try_response_content_patterns``.
+const LENGTH_PATTERN = /(?:response|output)\s+(?:must\s+be\s+)?(?:under|at\s+most|no\s+more\s+than|fewer\s+than|max(?:imum)?)\s+(\d+)\s+(words?|characters?|chars?)/i;
+const NO_PII_PATTERN = /(?:response|output).*(?:must|should)\s+not\s+contain\s+(?:any\s+)?(pii|personal\s+info(?:rmation)?|ssns?|credit[\s-]?cards?|emails?(?:\s+address(?:es)?)?|phones?(?:\s+numbers?)?)/i;
+const NO_KEYWORD_PATTERN = /(?:response|output)\s+(?:must|should)\s+not\s+(?:contain|include|mention)\s+(?:the\s+)?(?:words?|keywords?|terms?|phrase)\s+[`"']?([^`"']+)[`"']?/i;
+const PII_KEYWORD_TO_FIELDS = {
+    ssn: ["ssn"],
+    ssns: ["ssn"],
+    "credit card": ["credit_card"],
+    "credit cards": ["credit_card"],
+    "credit-card": ["credit_card"],
+    "credit-cards": ["credit_card"],
+    email: ["email"],
+    emails: ["email"],
+    "email address": ["email"],
+    "email addresses": ["email"],
+    phone: ["phone"],
+    phones: ["phone"],
+    "phone number": ["phone"],
+    "phone numbers": ["phone"],
+};
+function tryResponseContent(text) {
+    // max_length
+    let m = text.match(LENGTH_PATTERN);
+    if (m) {
+        const n = parseInt(m[1], 10);
+        const unit = m[2].toLowerCase();
+        try {
+            if (unit.includes("char"))
+                return maxLength({ maxChars: n, desc: text });
+            return maxLength({ maxWords: n, desc: text });
+        }
+        catch {
+            return null;
+        }
+    }
+    // no_pii — narrow to specific category if mentioned, else full union.
+    m = text.match(NO_PII_PATTERN);
+    if (m) {
+        const raw = m[1].toLowerCase().replace(/-/g, " ").replace(/\s+/g, " ").trim();
+        const fields = PII_KEYWORD_TO_FIELDS[raw];
+        try {
+            return noPii(fields);
+        }
+        catch {
+            return null;
+        }
+    }
+    // no_keywords
+    m = text.match(NO_KEYWORD_PATTERN);
+    if (m) {
+        const raw = m[1].trim().replace(/\.$/, "");
+        const words = raw.split(/[,\s]+/).map((w) => w.trim()).filter((w) => w.length > 0);
+        if (words.length === 0)
+            return null;
+        try {
+            return noKeywords(words);
+        }
+        catch {
+            return null;
+        }
+    }
+    return null;
+}
 export function parseNl(text) {
+    // P2 response-content patterns first — keep them ahead of the
+    // generic keyword cascade so "response must not contain emails"
+    // doesn't get swallowed by something more general.
+    const respFormula = tryResponseContent(text);
+    if (respFormula)
+        return respFormula;
     const lower = text.toLowerCase();
     const tools = extractTools(text);
     for (const rule of KEYWORD_RULES) {
@@ -146,7 +218,7 @@ export function parseNl(text) {
                 continue;
         }
     }
-    // Fallback: single-atom phrasings used in A/E contract assumptions.
+    // Fallback: single-atom phrasings used in A/G contract assumptions.
     return parseBareCalledAtom(text, tools);
 }
 //# sourceMappingURL=nl-parser.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"nl-parser.js","sourceRoot":"","sources":["../../src/core/nl-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,SAAS,EACT,UAAU,EACV,eAAe,EACf,UAAU,EAEV,QAAQ,EACR,QAAQ,GACT,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,wDAAwD;AACxD,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,kCAAkC;AAClC,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAQD,MAAM,aAAa,GAAkB;IACnC,2EAA2E;IAC3E,8EAA8E;IAC9E;QACE,QAAQ,EAAE;YACR,sCAAsC;YACtC,mCAAmC;YACnC,6BAA6B;SAC9B;QACD,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC;KACX;IACD,qDAAqD;IACrD;QACE,QAAQ,EAAE,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,cAAc,EAAE,qBAAqB,CAAC;QAC3F,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,CAAC;KACX;IACD,aAAa;IACb;QACE,QAAQ,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gCAAgC,EAAE,mBAAmB,CAAC;QAC/F,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,CAAC;KACX;IACD,mBAAmB;IACnB;QACE,QAAQ,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,aAAa,CAAC;QACzF,WAAW,EAAE,kBAAkB;QAC/B,OAAO,EAAE,CAAC;KACX;IACD,qBAAqB;IACrB;QACE,QAAQ,EAAE,CAAC,kCAAkC,EAAE,wBAAwB,CAAC;QACxE,WAAW,EAAE,oBAAoB;QACjC,OAAO,EAAE,CAAC;KACX;IACD,cAAc;IACd;QACE,QAAQ,EAAE,CAAC,wBAAwB,EAAE,aAAa,EAAE,uBAAuB,EAAE,mBAAmB,CAAC;QACjG,WAAW,EAAE,aAAa;QAC1B,OAAO,EAAE,CAAC;KACX;IACD,WAAW;IACX;QACE,QAAQ,EAAE,CAAC,UAAU,EAAE,kCAAkC,CAAC;QAC1D,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC;KACX;IACD,gEAAgE;IAChE;QACE,QAAQ,EAAE,CAAC,SAAS,EAAE,kCAAkC,EAAE,YAAY,EAAE,wBAAwB,CAAC;QACjG,WAAW,EAAE,cAAc;QAC3B,OAAO,EAAE,CAAC;KACX;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,IAAY,EAAE,KAAe;IACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IACE,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAChC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/B,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3C,CAAC;QACD,OAAO;YACL,OAAO,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE,UAAU,KAAK,CAAC,CAAC,CAAC,GAAG;YAC3B,WAAW,EAAE,QAAQ;YACrB,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEjC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO;YAAE,SAAS;QAE1C,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;YACzB,KAAK,cAAc;gBACjB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,KAAK,oBAAoB;gBACvB,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,KAAK,YAAY;gBACf,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,KAAK,kBAAkB;gBACrB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,aAAa;gBAChB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,yEAAyE;gBACzE,oEAAoE;gBACpE,sEAAsE;gBACtE,yBAAyB;gBACzB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;YACD;gBACE,SAAS;QACb,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,OAAO,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"nl-parser.js","sourceRoot":"","sources":["../../src/core/nl-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,SAAS,EACT,UAAU,EACV,eAAe,EACf,UAAU,EAEV,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,KAAK,EACL,UAAU,GACX,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,wDAAwD;AACxD,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,kCAAkC;AAClC,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAQD,MAAM,aAAa,GAAkB;IACnC,2EAA2E;IAC3E,8EAA8E;IAC9E;QACE,QAAQ,EAAE;YACR,sCAAsC;YACtC,mCAAmC;YACnC,6BAA6B;SAC9B;QACD,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC;KACX;IACD,qDAAqD;IACrD;QACE,QAAQ,EAAE,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,cAAc,EAAE,qBAAqB,CAAC;QAC3F,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,CAAC;KACX;IACD,aAAa;IACb;QACE,QAAQ,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,gCAAgC,EAAE,mBAAmB,CAAC;QAC/F,WAAW,EAAE,YAAY;QACzB,OAAO,EAAE,CAAC;KACX;IACD,mBAAmB;IACnB;QACE,QAAQ,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,aAAa,CAAC;QACzF,WAAW,EAAE,kBAAkB;QAC/B,OAAO,EAAE,CAAC;KACX;IACD,qBAAqB;IACrB;QACE,QAAQ,EAAE,CAAC,kCAAkC,EAAE,wBAAwB,CAAC;QACxE,WAAW,EAAE,oBAAoB;QACjC,OAAO,EAAE,CAAC;KACX;IACD,cAAc;IACd;QACE,QAAQ,EAAE,CAAC,wBAAwB,EAAE,aAAa,EAAE,uBAAuB,EAAE,mBAAmB,CAAC;QACjG,WAAW,EAAE,aAAa;QAC1B,OAAO,EAAE,CAAC;KACX;IACD,WAAW;IACX;QACE,QAAQ,EAAE,CAAC,UAAU,EAAE,kCAAkC,CAAC;QAC1D,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC;KACX;IACD,gEAAgE;IAChE;QACE,QAAQ,EAAE,CAAC,SAAS,EAAE,kCAAkC,EAAE,YAAY,EAAE,wBAAwB,CAAC;QACjG,WAAW,EAAE,cAAc;QAC3B,OAAO,EAAE,CAAC;KACX;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,IAAY,EAAE,KAAe;IACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IACE,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAChC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/B,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3C,CAAC;QACD,OAAO;YACL,OAAO,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE,UAAU,KAAK,CAAC,CAAC,CAAC,GAAG;YAC3B,WAAW,EAAE,QAAQ;YACrB,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oEAAoE;AACpE,8DAA8D;AAC9D,kDAAkD;AAClD,sCAAsC;AACtC,MAAM,cAAc,GAAG,8IAA8I,CAAC;AACtK,MAAM,cAAc,GAAG,qLAAqL,CAAC;AAC7M,MAAM,kBAAkB,GAAG,oJAAoJ,CAAC;AAEhL,MAAM,qBAAqB,GAA6B;IACtD,GAAG,EAAE,CAAC,KAAK,CAAC;IACZ,IAAI,EAAE,CAAC,KAAK,CAAC;IACb,aAAa,EAAE,CAAC,aAAa,CAAC;IAC9B,cAAc,EAAE,CAAC,aAAa,CAAC;IAC/B,aAAa,EAAE,CAAC,aAAa,CAAC;IAC9B,cAAc,EAAE,CAAC,aAAa,CAAC;IAC/B,KAAK,EAAE,CAAC,OAAO,CAAC;IAChB,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,eAAe,EAAE,CAAC,OAAO,CAAC;IAC1B,iBAAiB,EAAE,CAAC,OAAO,CAAC;IAC5B,KAAK,EAAE,CAAC,OAAO,CAAC;IAChB,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,cAAc,EAAE,CAAC,OAAO,CAAC;IACzB,eAAe,EAAE,CAAC,OAAO,CAAC;CAC3B,CAAC;AAEF,SAAS,kBAAkB,CAAC,IAAY;IACtC,aAAa;IACb,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzE,OAAO,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9E,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,CAAC;YACH,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,cAAc;IACd,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,CAAC;YACH,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,8DAA8D;IAC9D,gEAAgE;IAChE,mDAAmD;IACnD,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEjC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO;YAAE,SAAS;QAE1C,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;YACzB,KAAK,cAAc;gBACjB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,KAAK,oBAAoB;gBACvB,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,CAAC;YACD,KAAK,YAAY;gBACf,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,KAAK,kBAAkB;gBACrB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,aAAa;gBAChB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,IAAI;oBAAE,SAAS;gBACxB,yEAAyE;gBACzE,oEAAoE;gBACpE,sEAAsE;gBACtE,yBAAyB;gBACzB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;YACD;gBACE,SAAS;QACb,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,OAAO,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC"}

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

@@ -16,7 +16,7 @@
  * ``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";
+import { type DetFormula, type AssumeGuaranteePair } from "./patterns.js";
 /** Error raised when a pattern name is unknown or args don't line up. */
 export declare class PatternFactoryError extends Error {
 }
@@ -30,9 +30,9 @@ export declare class PatternFactoryError extends Error {
  * 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;
+export declare function buildPatternByName(pattern: string, args: unknown[]): DetFormula | AssumeGuaranteePair | null;
+/** Type guard: is this an A/G pair (``untrusted_source_gate`` / ``confirm_after_source``)? */
+export declare function isAgPair(v: DetFormula | AssumeGuaranteePair): v is AssumeGuaranteePair;
 /** 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

@@ -1 +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"}
+{"version":3,"file":"pattern-factory.d.ts","sourceRoot":"","sources":["../../src/core/pattern-factory.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EA6CL,KAAK,UAAU,EACf,KAAK,mBAAmB,EACzB,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,mBAAmB,GAAG,IAAI,CAyRzC;AAED,8FAA8F;AAC9F,wBAAgB,QAAQ,CACtB,CAAC,EAAE,UAAU,GAAG,mBAAmB,GAClC,CAAC,IAAI,mBAAmB,CAK1B;AAED,sFAAsF;AACtF,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EA+C9C,CAAC"}

package/dist/core/pattern-factory.js

@@ -16,7 +16,7 @@
  * ``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 { 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, maxLength, noPii, noKeywords, ctxRequired, ctxMatchesRequired, timeSince, approvalActive, neverTogether, } 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 {
@@ -169,14 +169,48 @@ export function buildPatternByName(pattern, args) {
             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"));
+        // Layer 3 — response content
+        case "max_length": {
+            // Python signature: max_length(max_words=None, max_chars=None, desc="")
+            // YAML positional: [max_words, max_chars] (either may be null/missing).
+            const maxWords = args.length >= 1 && args[0] != null
+                ? asNum(args[0], "max_words")
+                : undefined;
+            const maxChars = args.length >= 2 && args[1] != null
+                ? asNum(args[1], "max_chars")
+                : undefined;
+            return maxLength({ maxWords, maxChars });
+        }
+        case "no_pii": {
+            // Python signature: no_pii(fields=None, desc="")
+            const fields = args.length >= 1 && args[0] != null
+                ? asStrList(args[0], "fields")
+                : undefined;
+            return noPii(fields);
+        }
+        case "no_keywords":
+            return noKeywords(asStrList(needArg(args, 0, "words"), "words"));
+        // Layer 3 — external-fact (ctx) patterns
+        case "ctx_required":
+            return ctxRequired(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "key"), "key"), asStrList(needArg(args, 2, "allowed_values"), "allowed_values"));
+        case "ctx_matches_required":
+            return ctxMatchesRequired(asStr(needArg(args, 0, "tool"), "tool"), asStr(needArg(args, 1, "key"), "key"), asStr(needArg(args, 2, "pattern"), "pattern"));
+        // Time-window patterns
+        case "time_since":
+            return timeSince(asStr(needArg(args, 0, "predicate_key"), "predicate_key"), asNum(needArg(args, 1, "max_seconds"), "max_seconds"));
+        case "approval_active":
+            return approvalActive(asStr(needArg(args, 0, "action"), "action"), asStr(needArg(args, 1, "role"), "role"), asNum(needArg(args, 2, "max_seconds"), "max_seconds"));
+        // Deprecated alias (mirrors Python — delegates to mutual_exclusion).
+        case "never_together":
+            return neverTogether(asStr(needArg(args, 0, "a"), "a"), asStr(needArg(args, 1, "b"), "b"));
         default:
             return null;
     }
 }
-/** Type guard: is this an A/E pair (``untrusted_source_gate`` / ``confirm_after_source``)? */
-export function isAePair(v) {
+/** Type guard: is this an A/G pair (``untrusted_source_gate`` / ``confirm_after_source``)? */
+export function isAgPair(v) {
     return (v.assumption !== undefined &&
-        v.enforcement !== undefined);
+        v.guarantee !== undefined);
 }
 /** All det pattern names this factory can build. Used by ``patterns`` CLI + tests. */
 export const KNOWN_DET_PATTERNS = Object.freeze([
@@ -218,5 +252,13 @@ export const KNOWN_DET_PATTERNS = Object.freeze([
     "irreversible_once",
     "token_budget",
     "delegation_depth_limit",
+    "max_length",
+    "no_pii",
+    "no_keywords",
+    "ctx_required",
+    "ctx_matches_required",
+    "time_since",
+    "approval_active",
+    "never_together",
 ]);
 //# sourceMappingURL=pattern-factory.js.map

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

@@ -1 +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"}
+{"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,EACpB,SAAS,EACT,KAAK,EACL,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,SAAS,EACT,cAAc,EACd,aAAa,GAGd,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,6BAA6B;QAC7B,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,wEAAwE;YACxE,wEAAwE;YACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI;gBAClD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC7B,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI;gBAClD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC7B,CAAC,CAAC,SAAS,CAAC;YACd,OAAO,SAAS,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,iDAAiD;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI;gBAChD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;gBAC9B,CAAC,CAAC,SAAS,CAAC;YACd,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QAEnE,yCAAyC;QACzC,KAAK,cAAc;YACjB,OAAO,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,EACvC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,EACrC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC,CAChE,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,KAAK,CAAC,EAAE,KAAK,CAAC,EACrC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAC9C,CAAC;QAEJ,uBAAuB;QACvB,KAAK,YAAY;YACf,OAAO,SAAS,CACd,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,EACzD,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,CACtD,CAAC;QACJ,KAAK,iBAAiB;YACpB,OAAO,cAAc,CACnB,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,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,CACtD,CAAC;QAEJ,qEAAqE;QACrE,KAAK,gBAAgB;YACnB,OAAO,aAAa,CAClB,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;QAEJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,QAAQ,CACtB,CAAmC;IAEnC,OAAO,CACJ,CAAyB,CAAC,UAAU,KAAK,SAAS;QAClD,CAAyB,CAAC,SAAS,KAAK,SAAS,CACnD,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;IACxB,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,cAAc;IACd,sBAAsB;IACtB,YAAY;IACZ,iBAAiB;IACjB,gBAAgB;CACjB,CAAC,CAAC"}

package/dist/core/patterns.d.ts

@@ -24,9 +24,9 @@ export interface DetFormula {
     patternName: string;
     liveness: boolean;
 }
-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;
@@ -54,14 +54,88 @@ 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;
 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,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,mBAAmB;IAClC,UAAU,EAAE,UAAU,CAAC;IACvB,SAAS,EAAE,UAAU,CAAC;CACvB;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,CAsBnF;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,mBAAmB,CAYrB;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,mBAAmB,CAYtF;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;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,CAiBnD;AAED;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,CAYtD;AAID;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,aAAa,EAAE,MAAM,EAAE,GACtB,UAAU,CAsBZ;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,MAAM,GACd,UAAU,CAWZ;AAID;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAc9E;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GACjB,UAAU,CA4BZ;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,UAAU,CAO9D"}

package/dist/core/patterns.js

@@ -187,7 +187,11 @@ export function deadline(trigger, action, steps) {
         formula: f,
         desc: `\`${action}\` must occur within ${steps} steps of \`${trigger}\``,
         patternName: "deadline",
-        liveness: true,
+        // Bounded-window liveness: ``X(boundedEventually(action, steps))``
+        // is decidable on a bounded prefix (steps + 1 events past the
+        // trigger), so it CAN fire mid-session — runtime parity with
+        // Python ``deadline.liveness == False``.
+        liveness: false,
     };
 }
 export function mustConfirm(action) {
@@ -392,7 +396,7 @@ export function untrustedSourceGate(source, sink, confirm = "") {
             patternName: "untrusted_source_gate_assumption",
             liveness: false,
         },
-        enforcement: mustPrecede(confirmAction, sink),
+        guarantee: mustPrecede(confirmAction, sink),
     };
 }
 export function requiredStepsCompletion(trigger, steps) {
@@ -531,7 +535,7 @@ export function confirmAfterSource(source, action) {
             patternName: "confirm_after_source_assumption",
             liveness: false,
         },
-        enforcement: mustPrecede(confirm, action),
+        guarantee: mustPrecede(confirm, action),
     };
 }
 // --- Resource / delegation patterns ---
@@ -582,4 +586,208 @@ export function delegationDepthLimit(maxDepth) {
         liveness: false,
     };
 }
+// --- Layer 3 — Response content patterns ---
+/** Default PII regex set, mirrored from Python ``_DEFAULT_PII_PATTERNS``. */
+const DEFAULT_PII_PATTERNS = {
+    ssn: "\\b\\d{3}-\\d{2}-\\d{4}\\b",
+    credit_card: "\\b\\d{4}[\\s-]?\\d{4}[\\s-]?\\d{4}[\\s-]?\\d{4}\\b",
+    email: "\\b[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Z|a-z]{2,}\\b",
+    phone: "\\b(?:\\+?1[-.\\s]?)?\\(?\\d{3}\\)?[-.\\s]?\\d{3}[-.\\s]?\\d{4}\\b",
+};
+/**
+ * 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 function maxLength(opts) {
+    const { maxWords, maxChars, desc } = opts;
+    if (maxWords == null && maxChars == null) {
+        throw new Error("max_length requires maxWords or maxChars");
+    }
+    const parts = [];
+    if (maxWords != null)
+        parts.push(new Le(new Var("response_words"), new Const(maxWords)));
+    if (maxChars != null)
+        parts.push(new Le(new Var("response_chars"), new Const(maxChars)));
+    const body = parts.length === 1 ? parts[0] : new And(parts[0], parts[1]);
+    const f = new G(body);
+    let descStr;
+    if (desc)
+        descStr = desc;
+    else if (maxWords != null && maxChars != null)
+        descStr = `response ≤ ${maxWords} words and ≤ ${maxChars} chars`;
+    else if (maxWords != null)
+        descStr = `response ≤ ${maxWords} words`;
+    else
+        descStr = `response ≤ ${maxChars} chars`;
+    return {
+        formula: f,
+        desc: descStr,
+        patternName: "max_length",
+        liveness: false,
+    };
+}
+/**
+ * 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 function noPii(fields) {
+    const selected = fields ?? Object.keys(DEFAULT_PII_PATTERNS);
+    const unknown = selected.filter((f) => !(f in DEFAULT_PII_PATTERNS));
+    if (unknown.length > 0) {
+        throw new Error(`unknown PII field(s): ${JSON.stringify(unknown.sort())}. ` +
+            `Available: ${JSON.stringify(Object.keys(DEFAULT_PII_PATTERNS).sort())}`);
+    }
+    const pattern = selected.map((f) => DEFAULT_PII_PATTERNS[f]).join("|");
+    const f = new G(new Not(new Atom("llm_said", [pattern])));
+    return {
+        formula: f,
+        desc: `response must not contain PII (${selected.join(", ")})`,
+        patternName: "no_pii",
+        liveness: false,
+    };
+}
+/**
+ * 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 function noKeywords(words) {
+    if (!words || words.length === 0) {
+        throw new Error("no_keywords requires at least one keyword");
+    }
+    const pattern = `\\b(${words.map((w) => caseInsensitiveLiteral(w)).join("|")})\\b`;
+    const f = new G(new Not(new Atom("llm_said", [pattern])));
+    return {
+        formula: f,
+        desc: `response must not contain keywords: ${JSON.stringify(words)}`,
+        patternName: "no_keywords",
+        liveness: false,
+    };
+}
+// --- Layer 3 — External-fact (ctx) patterns ---
+/**
+ * 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 function ctxRequired(tool, key, allowedValues) {
+    ensureNonEmpty(tool, "ctxRequired", "tool");
+    ensureNonEmpty(key, "ctxRequired", "key");
+    if (!allowedValues || allowedValues.length === 0) {
+        throw new Error("ctx_required: 'allowed_values' must not be empty — an empty " +
+            "allowlist rejects every call to the tool. Use " +
+            "`tool_allowlist([])` if you really want to block everything.");
+    }
+    const cleanValues = allowedValues.map((v) => String(v));
+    let disjunction = new Atom("ctx", [key, cleanValues[0]]);
+    for (let i = 1; i < cleanValues.length; i++) {
+        disjunction = new Or(disjunction, new Atom("ctx", [key, cleanValues[i]]));
+    }
+    const f = new G(new Implies(called(tool), disjunction));
+    return {
+        formula: f,
+        desc: `${tool} requires ctx[${key}] ∈ [${cleanValues.join(", ")}]`,
+        patternName: "ctx_required",
+        liveness: false,
+    };
+}
+/**
+ * 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 function ctxMatchesRequired(tool, key, pattern) {
+    ensureNonEmpty(tool, "ctxMatchesRequired", "tool");
+    ensureNonEmpty(key, "ctxMatchesRequired", "key");
+    ensureNonEmpty(pattern, "ctxMatchesRequired", "pattern");
+    const f = new G(new Implies(called(tool), new Atom("ctx_matches", [key, pattern])));
+    return {
+        formula: f,
+        desc: `${tool} requires ctx[${key}] to match /${pattern}/`,
+        patternName: "ctx_matches_required",
+        liveness: false,
+    };
+}
+// --- Time-window patterns (event-clock) ---
+/**
+ * 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 function timeSince(predicateKey, maxSeconds) {
+    ensureNonEmpty(predicateKey, "timeSince", "predicate_key");
+    if (typeof maxSeconds !== "number" || !Number.isFinite(maxSeconds) || maxSeconds < 0) {
+        throw new Error(`time_since: max_seconds must be a non-negative number (got ${maxSeconds}).`);
+    }
+    const f = new G(new Le(new Var("time_since", predicateKey), new Const(maxSeconds)));
+    return {
+        formula: f,
+        desc: `${predicateKey} must have occurred within last ${maxSeconds}s`,
+        patternName: "time_since",
+        liveness: false,
+    };
+}
+/**
+ * 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 function approvalActive(action, role, maxSeconds) {
+    ensureNonEmpty(action, "approvalActive", "action");
+    ensureNonEmpty(role, "approvalActive", "role");
+    if (typeof maxSeconds !== "number" || !Number.isFinite(maxSeconds) || maxSeconds < 0) {
+        throw new Error(`approval_active: max_seconds must be a non-negative number (got ${maxSeconds}).`);
+    }
+    // Match Python: ``role_key = f"ctx(approval.role, {role})"`` — exact
+    // string used as the time_since target. predKey would escape spaces /
+    // commas; keep the unescaped form so the time_since extractor passes
+    // the right key through to grounding's ``state.last_ts`` lookup.
+    const roleKey = `ctx(approval.role, ${role})`;
+    const escaped = role.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    const body = new And(new And(new Atom("ctx_matches", ["approval.role", escaped]), new Atom("ctx_matches", ["approval.decision", "allow"])), new Le(new Var("time_since", roleKey), new Const(maxSeconds)));
+    const f = new G(new Implies(called(action), body));
+    return {
+        formula: f,
+        desc: `${action} requires active ${role} approval (≤${maxSeconds}s old)`,
+        patternName: "approval_active",
+        liveness: false,
+    };
+}
+/**
+ * @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 function neverTogether(a, b) {
+    const me = mutualExclusion(a, b);
+    return {
+        ...me,
+        patternName: "never_together",
+        desc: `${a} and ${b} must never occur together`,
+    };
+}
 //# sourceMappingURL=patterns.js.map