@astrale-os/kernel-dsl 0.2.0-beta.4 → 0.2.0-beta.6

package/dist/v1/schema/validation/policy/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/context.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,GAAG,EAAiC,MAAM,8BAA8B,CAAA;AACjF,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAEhD,MAAM,mBAAmB,GAAG,GAAG,CAAC,EAAE,CAAA;AAElC,MAAM,OAAO,uBAAuB;IAQvB,WAAW;IACX,QAAQ;IARV,WAAW,GAAuB,EAAE,CAAA;IACpC,UAAU,GAAG,IAAI,GAAG,EAA4B,CAAA;IAChD,cAAc,CAAqB;IACnC,mBAAmB,CAAqB;IACxC,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE/C,YACW,WAAoC,EACpC,QAAkC;2BADlC,WAAW;wBACX,QAAQ;QAEjB,MAAM,WAAW,GAAG,CAAC,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC9D,CAAC,KAAK,EAAuE,EAAE,CAC7E,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CACtD,CAAA;QACD,IAAI,CAAC,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC3D,IAAI,CAAC,mBAAmB,GAAG,WAAW;aACnC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC;aAC9C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC9B,CAAC;IAED,gBAAgB,CAAC,GAAa,EAAE,OAAe;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxF,IAAI,CAAC,GAAG,CACN,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,GAAG,CAAC,8DAA8D,EACzF,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IAED,WAAW,CAAC,GAAa,EAAE,OAAe;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxF,IAAI,CAAC,GAAG,CACN,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,GAAG,CAAC,8DAA8D,EACzF,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IAED,aAAa,CAAC,GAAc,EAAE,OAAe;QAC3C,MAAM,GAAG,GAAG,GAAG,OAAO,SAAS,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAA;QACxD,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAClD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;QACvD,IACE,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM;YAChD,GAAG,CAAC,IAAI,KAAK,QAAQ;YACrB,WAAW,KAAK,SAAS,EACzB,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAChC,IAAI,CAAC,GAAG,CACN,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,GAAG,CAAC,0CAA0C,EACrE,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,aAAa,CAAC,GAAc;QAC1B,OAAO,CACL,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM;YAChD,GAAG,CAAC,IAAI,KAAK,QAAQ;YACrB,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,CAC5D,CAAA;IACH,CAAC;IAED,eAAe,CAAC,GAAa;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxF,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,OAAO,QAAQ,CAAC,WAAW,CAAA;IAC7B,CAAC;IAED,kFAAkF;IAClF,YAAY,CAAC,SAAmB,EAAE,QAAkB;QAClD,IAAI,kBAAkB,CAAC,SAAS,CAAC,KAAK,kBAAkB,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAA;QAC/E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,MAAM,KAAK,GAAG,CAAC,GAAa,EAAW,EAAE;YACvC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;YACnC,IAAI,GAAG,KAAK,kBAAkB,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAA;YACrD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAA;YAClC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;YACjD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAA;YACzE,OAAO,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjD,CAAC,CAAA;QACD,OAAO,KAAK,CAAC,SAAS,CAAC,CAAA;IACzB,CAAC;IAED,GAAG,CAAC,IAA0B,EAAE,OAAe,EAAE,OAAe,EAAE,GAAY;QAC5E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAA;IAChE,CAAC;CACF;AAED,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

package/dist/v1/schema/validation/policy/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/references.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAU3D,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,uBAAuB,GAAG,IAAI,CAqB/E"}

package/dist/v1/schema/validation/policy/references.js

@@ -0,0 +1,144 @@
+import { branchesOf, isConnected, targetMode } from '../../../language/policy/analysis/branches.js';
+import { normalizePolicyExpression, normalizePolicyPattern, } from '../../../language/policy/normalization/normalize.js';
+import { MAX_REPEAT, MAX_VARIABLES } from './budgets.js';
+import { escapePointer } from './context.js';
+export function validatePolicyReferences(context) {
+    for (const [name, declaration] of Object.entries(context.environment.candidate.policies)) {
+        const pointer = `/policies/${escapePointer(name)}`;
+        const expected = { origin: context.environment.candidate.origin, kind: 'policy', name };
+        if (declaration.ref.origin !== expected.origin ||
+            declaration.ref.kind !== expected.kind ||
+            declaration.ref.name !== expected.name) {
+            context.add('DV_REF_RESOLVES', `${pointer}/ref`, `Policy ref must be exactly ${expected.origin}:policy.${expected.name}.`);
+        }
+        const expression = declaration.expression;
+        context.normalized.set(name, normalizePolicyExpression(expression));
+        if ('match' in expression)
+            validateMatch(context, name, expression.match, pointer);
+        else
+            validateComposition(context, expression, pointer);
+    }
+    validateCycles(context);
+}
+function validateMatch(context, name, pattern, pointer) {
+    const declarations = new Map();
+    const uses = new Map();
+    validatePatternNode(context, pattern, `${pointer}/match`, new Set(), declarations, uses);
+    for (const [id, declaration] of declarations) {
+        if ((uses.get(id) ?? 0) === 0) {
+            context.add('PL_VARIABLE_SCOPE', declaration.pointer, `Variable ${id} is declared but never used.`);
+        }
+    }
+    const normalized = normalizePolicyPattern(pattern);
+    const branches = branchesOf(normalized, name);
+    for (const [index, branch] of branches.entries()) {
+        const mode = targetMode(branch);
+        if (mode === undefined) {
+            context.add('PL_TARGET', `${pointer}/match`, `Normalized branch ${index} must use object or both source and target, without mixing target modes.`);
+            continue;
+        }
+        if (!isConnected(branch)) {
+            context.add('PL_CONNECTIVITY', `${pointer}/match`, `Normalized ${mode} branch ${index} does not connect subject, its target terms, and every scoped term.`);
+        }
+    }
+}
+function validatePatternNode(context, pattern, pointer, scope, declarations, uses) {
+    if (isEdge(pattern)) {
+        context.resolveEdge(pattern.class, `${pointer}/class`);
+        validateTerm(context, pattern.source, `${pointer}/source`, scope, uses);
+        validateTerm(context, pattern.target, `${pointer}/target`, scope, uses);
+        if (pattern.repeat !== undefined) {
+            const { min, max } = pattern.repeat;
+            if (!Number.isInteger(min) ||
+                !Number.isInteger(max) ||
+                min < 0 ||
+                max < min ||
+                max > MAX_REPEAT) {
+                context.add('PL_REPEAT', `${pointer}/repeat`, `Repeat requires integral bounds 0 <= min <= max <= ${MAX_REPEAT}.`);
+            }
+        }
+        return;
+    }
+    if ('exists' in pattern) {
+        if (pattern.exists.nodes.length > MAX_VARIABLES) {
+            context.add('PL_BUDGET', `${pointer}/exists/nodes`, `An exists expression declares ${pattern.exists.nodes.length} variables; the maximum is ${MAX_VARIABLES}.`);
+        }
+        const nested = new Set(scope);
+        for (const [index, node] of pattern.exists.nodes.entries()) {
+            const id = node.variable.id;
+            const declarationPointer = `${pointer}/exists/nodes/${index}`;
+            if (declarations.has(id)) {
+                context.add('PL_VARIABLE_SCOPE', `${declarationPointer}/variable/id`, `Variable ${id} is declared more than once; variable IDs are globally unique.`);
+            }
+            else {
+                declarations.set(id, { ref: node.class, pointer: declarationPointer });
+            }
+            if (nested.has(id)) {
+                context.add('PL_VARIABLE_SCOPE', `${declarationPointer}/variable/id`, `Variable ${id} shadows an enclosing variable.`);
+            }
+            nested.add(id);
+            context.resolveNodeClass(node.class, `${declarationPointer}/class`);
+        }
+        validatePatternNode(context, pattern.exists.where, `${pointer}/exists/where`, nested, declarations, uses);
+        return;
+    }
+    const { key, values } = patternOperands(pattern);
+    if (values.length === 0) {
+        context.add('PL_COMPOSITION', `${pointer}/${key}`, `${key} must be non-empty.`);
+    }
+    values.forEach((child, index) => validatePatternNode(context, child, `${pointer}/${key}/${index}`, scope, declarations, uses));
+}
+function validateTerm(context, term, pointer, scope, uses) {
+    if (term.kind === 'variable') {
+        if (!scope.has(term.id)) {
+            context.add('PL_VARIABLE_SCOPE', pointer, `Variable ${term.id} is free, escaped, or outside its defining exists scope.`);
+        }
+        else {
+            uses.set(term.id, (uses.get(term.id) ?? 0) + 1);
+        }
+    }
+}
+function validateComposition(context, declaration, pointer) {
+    const key = 'allOf' in declaration ? 'allOf' : 'anyOf';
+    const refs = 'allOf' in declaration ? declaration.allOf : declaration.anyOf;
+    if (refs.length === 0) {
+        context.add('PL_COMPOSITION', `${pointer}/${key}`, `${key} must be non-empty.`);
+    }
+    refs.forEach((ref, index) => context.resolvePolicy(ref, `${pointer}/${key}/${index}`));
+}
+function validateCycles(context) {
+    const visiting = new Set();
+    const visited = new Set();
+    const visit = (name, stack) => {
+        if (visiting.has(name)) {
+            context.add('PL_COMPOSITION', `/policies/${escapePointer(name)}`, `Named Policy composition cycle: ${[...stack, name].join(' -> ')}.`);
+            return;
+        }
+        if (visited.has(name))
+            return;
+        visiting.add(name);
+        const declaration = context.environment.candidate.policies[name];
+        const expression = declaration?.expression;
+        if (expression !== undefined && !('match' in expression)) {
+            const refs = 'allOf' in expression ? expression.allOf : expression.anyOf;
+            for (const ref of refs) {
+                if (ref.origin === context.environment.candidate.origin && ref.kind === 'policy') {
+                    visit(ref.name, [...stack, name]);
+                }
+            }
+        }
+        visiting.delete(name);
+        visited.add(name);
+    };
+    for (const name of Object.keys(context.environment.candidate.policies))
+        visit(name, []);
+}
+function patternOperands(value) {
+    return 'allOf' in value
+        ? { key: 'allOf', values: value.allOf }
+        : { key: 'anyOf', values: value.anyOf };
+}
+function isEdge(value) {
+    return 'source' in value;
+}
+//# sourceMappingURL=references.js.map

package/dist/v1/schema/validation/policy/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/references.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,+CAA+C,CAAA;AACnG,OAAO,EACL,yBAAyB,EACzB,sBAAsB,GACvB,MAAM,qDAAqD,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C,MAAM,UAAU,wBAAwB,CAAC,OAAgC;IACvE,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzF,MAAM,OAAO,GAAG,aAAa,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QAClD,MAAM,QAAQ,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAW,CAAA;QAChG,IACE,WAAW,CAAC,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC1C,WAAW,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YACtC,WAAW,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EACtC,CAAC;YACD,OAAO,CAAC,GAAG,CACT,iBAAiB,EACjB,GAAG,OAAO,MAAM,EAChB,8BAA8B,QAAQ,CAAC,MAAM,WAAW,QAAQ,CAAC,IAAI,GAAG,CACzE,CAAA;QACH,CAAC;QACD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAA;QACzC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,yBAAyB,CAAC,UAAU,CAAC,CAAC,CAAA;QACnE,IAAI,OAAO,IAAI,UAAU;YAAE,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;;YAC7E,mBAAmB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IACxD,CAAC;IACD,cAAc,CAAC,OAAO,CAAC,CAAA;AACzB,CAAC;AAED,SAAS,aAAa,CACpB,OAAgC,EAChC,IAAY,EACZ,OAAgC,EAChC,OAAe;IAEf,MAAM,YAAY,GAAG,IAAI,GAAG,EAAgE,CAAA;IAC5F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;IACtC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;IACxF,KAAK,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CACT,mBAAmB,EACnB,WAAW,CAAC,OAAO,EACnB,YAAY,EAAE,8BAA8B,CAC7C,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IAC7C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CACT,WAAW,EACX,GAAG,OAAO,QAAQ,EAClB,qBAAqB,KAAK,0EAA0E,CACrG,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,GAAG,CACT,iBAAiB,EACjB,GAAG,OAAO,QAAQ,EAClB,cAAc,IAAI,WAAW,KAAK,qEAAqE,CACxG,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgC,EAChC,OAAgC,EAChC,OAAe,EACf,KAA0B,EAC1B,YAA+E,EAC/E,IAAyB;IAEzB,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,OAAO,QAAQ,CAAC,CAAA;QACtD,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACvE,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACvE,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC,MAAM,CAAA;YACnC,IACE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;gBACtB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;gBACtB,GAAG,GAAG,CAAC;gBACP,GAAG,GAAG,GAAG;gBACT,GAAG,GAAG,UAAU,EAChB,CAAC;gBACD,OAAO,CAAC,GAAG,CACT,WAAW,EACX,GAAG,OAAO,SAAS,EACnB,sDAAsD,UAAU,GAAG,CACpE,CAAA;YACH,CAAC;QACH,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;YAChD,OAAO,CAAC,GAAG,CACT,WAAW,EACX,GAAG,OAAO,eAAe,EACzB,iCAAiC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,8BAA8B,aAAa,GAAG,CAC3G,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAA;QAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;YAC3B,MAAM,kBAAkB,GAAG,GAAG,OAAO,iBAAiB,KAAK,EAAE,CAAA;YAC7D,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CACT,mBAAmB,EACnB,GAAG,kBAAkB,cAAc,EACnC,YAAY,EAAE,gEAAgE,CAC/E,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC,CAAA;YACxE,CAAC;YACD,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,GAAG,CACT,mBAAmB,EACnB,GAAG,kBAAkB,cAAc,EACnC,YAAY,EAAE,iCAAiC,CAChD,CAAA;YACH,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACd,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,kBAAkB,QAAQ,CAAC,CAAA;QACrE,CAAC;QACD,mBAAmB,CACjB,OAAO,EACP,OAAO,CAAC,MAAM,CAAC,KAAK,EACpB,GAAG,OAAO,eAAe,EACzB,MAAM,EACN,YAAY,EACZ,IAAI,CACL,CAAA;QACD,OAAM;IACR,CAAC;IACD,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;IAChD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,OAAO,IAAI,GAAG,EAAE,EAAE,GAAG,GAAG,qBAAqB,CAAC,CAAA;IACjF,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC9B,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,OAAO,IAAI,GAAG,IAAI,KAAK,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,CAC7F,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CACnB,OAAgC,EAChC,IAAuB,EACvB,OAAe,EACf,KAA0B,EAC1B,IAAyB;IAEzB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CACT,mBAAmB,EACnB,OAAO,EACP,YAAY,IAAI,CAAC,EAAE,0DAA0D,CAC9E,CAAA;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgC,EAChC,WAAmE,EACnE,OAAe;IAEf,MAAM,GAAG,GAAG,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;IACtD,MAAM,IAAI,GAAG,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAA;IAC3E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,OAAO,IAAI,GAAG,EAAE,EAAE,GAAG,GAAG,qBAAqB,CAAC,CAAA;IACjF,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,OAAO,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAA;AACxF,CAAC;AAED,SAAS,cAAc,CAAC,OAAgC;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,KAAwB,EAAQ,EAAE;QAC7D,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CACT,gBAAgB,EAChB,aAAa,aAAa,CAAC,IAAI,CAAC,EAAE,EAClC,mCAAmC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CACpE,CAAA;YACD,OAAM;QACR,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAM;QAC7B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAClB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QAChE,MAAM,UAAU,GAAG,WAAW,EAAE,UAAU,CAAA;QAC1C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;YACxE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACjF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACrB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACnB,CAAC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC;QAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AACzF,CAAC;AAED,SAAS,eAAe,CACtB,KAAyF;IAKzF,OAAO,OAAO,IAAI,KAAK;QACrB,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE;QACvC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;AAC3C,CAAC;AAED,SAAS,MAAM,CAAC,KAA8B;IAC5C,OAAO,QAAQ,IAAI,KAAK,CAAA;AAC1B,CAAC"}

package/dist/v1/schema/validation/policy/typing.d.ts

@@ -0,0 +1,20 @@
+import type { ClassRef } from '../../../addressing/index.js';
+import type { PolicyValidationContext } from './context.js';
+export type ObjectContract = {
+    readonly kind: 'default';
+} | {
+    readonly kind: 'exact';
+    readonly ref: ClassRef;
+};
+export declare class PolicyTyping {
+    #private;
+    readonly context: PolicyValidationContext;
+    constructor(context: PolicyValidationContext);
+    validatePolicies(): void;
+    policyAccepts(name: string, object: ObjectContract): boolean;
+    policyAcceptsEdge(name: string, source: ObjectContract, target: ObjectContract): boolean;
+    concreteEndpointClasses(accepts: readonly ClassRef[]): readonly ClassRef[];
+    endpointsOverlap(left: readonly ClassRef[], right: readonly ClassRef[]): boolean;
+}
+export declare function contractOfNodeDefinition(ref: ClassRef): ObjectContract;
+//# sourceMappingURL=typing.d.ts.map

package/dist/v1/schema/validation/policy/typing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typing.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/typing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAE5D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAe3D,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,CAAA;AAmBtD,qBAAa,YAAY;;IACX,QAAQ,CAAC,OAAO,EAAE,uBAAuB;IAArD,YAAqB,OAAO,EAAE,uBAAuB,EAAI;IAEzD,gBAAgB,IAAI,IAAI,CAiCvB;IAED,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAI3D;IAED,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAIvF;IAED,uBAAuB,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE,CAIzE;IAED,gBAAgB,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAI/E;CA+JF;AASD,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,QAAQ,GAAG,cAAc,CAEtE"}

package/dist/v1/schema/validation/policy/typing.js

@@ -0,0 +1,319 @@
+import { definitionRefIndex } from '../../../addressing/ordering.js';
+import { branchesOf, branchProduct, capBranches, targetMode, termKey, } from '../../../language/policy/analysis/branches.js';
+import { MAX_REPEAT } from './budgets.js';
+import { escapePointer } from './context.js';
+export class PolicyTyping {
+    context;
+    constructor(context) {
+        this.context = context;
+    }
+    validatePolicies() {
+        for (const name of Object.keys(this.context.environment.candidate.policies)) {
+            const branches = this.#expandedBranches(name, new Set(), `$${name}`);
+            if (branches === undefined)
+                continue;
+            for (const [index, branch] of branches.entries()) {
+                const mode = targetMode(branch);
+                if (mode === undefined) {
+                    if (!('match' in this.context.environment.candidate.policies[name].expression)) {
+                        this.context.add('PL_TARGET', `/policies/${escapePointer(name)}`, `Expanded normalized branch ${index} must use object or both source and target, without mixing target modes.`);
+                    }
+                    continue;
+                }
+                const use = mode === 'object'
+                    ? { kind: 'object', object: { kind: 'default' } }
+                    : {
+                        kind: 'edge',
+                        source: { kind: 'default' },
+                        target: { kind: 'default' },
+                    };
+                if (!this.#branchIsTyped(branch, use)) {
+                    this.context.add('PL_TYPING', `/policies/${escapePointer(name)}`, `Expanded normalized branch ${index} has contradictory endpoint or repeat contracts.`);
+                }
+            }
+        }
+    }
+    policyAccepts(name, object) {
+        const branches = this.#expandedBranches(name, new Set(), `$use:${name}`);
+        const use = { kind: 'object', object };
+        return branches !== undefined && branches.every((branch) => this.#branchIsTyped(branch, use));
+    }
+    policyAcceptsEdge(name, source, target) {
+        const branches = this.#expandedBranches(name, new Set(), `$edge-use:${name}`);
+        const use = { kind: 'edge', source, target };
+        return branches !== undefined && branches.every((branch) => this.#branchIsTyped(branch, use));
+    }
+    concreteEndpointClasses(accepts) {
+        return this.context.concreteNodeClasses.filter((candidate) => this.#classSatisfiesEndpoint(candidate, accepts));
+    }
+    endpointsOverlap(left, right) {
+        const seed = [{ kind: 'open', requirements: [] }];
+        const afterLeft = this.#applyEndpoint(seed, left);
+        return this.#applyEndpoint(afterLeft, right).length > 0;
+    }
+    #expandedBranches(name, visiting, namespace) {
+        if (visiting.has(name))
+            return undefined;
+        const declaration = this.context.normalized.get(name);
+        if (declaration === undefined)
+            return undefined;
+        if ('match' in declaration)
+            return branchesOf(declaration.match, namespace);
+        const nested = new Set(visiting);
+        nested.add(name);
+        const refs = 'allOf' in declaration ? declaration.allOf : declaration.anyOf;
+        const children = [];
+        for (const [index, ref] of refs.entries()) {
+            if (!this.context.isLocalPolicy(ref))
+                return undefined;
+            const expanded = this.#expandedBranches(ref.name, nested, `${namespace}/${index}:${ref.name}`);
+            if (expanded === undefined)
+                return undefined;
+            children.push(expanded);
+        }
+        return 'allOf' in declaration ? branchProduct(children) : capBranches(children.flat());
+    }
+    #branchIsTyped(branch, use) {
+        if (targetMode(branch) !== use.kind)
+            return false;
+        const alternatives = edgeAlternatives(branch.edges, this);
+        return alternatives.some((variants) => this.#constraintsAreSatisfiable(branch, variants, use));
+    }
+    #constraintsAreSatisfiable(branch, variants, use) {
+        const terms = new Set(use.kind === 'object' ? ['subject', 'object'] : ['subject', 'source', 'target']);
+        for (const key of branch.variables.keys())
+            terms.add(key);
+        for (const edge of branch.edges) {
+            terms.add(termKey(edge.pattern.source, edge.namespace));
+            terms.add(termKey(edge.pattern.target, edge.namespace));
+        }
+        const union = new UnionFind(terms);
+        for (const variant of variants) {
+            for (const [left, right] of variant.equalities)
+                union.join(left, right);
+        }
+        const constraints = new Map();
+        for (const variant of variants) {
+            for (const [term, accepts] of variant.constraints) {
+                const root = union.find(term);
+                const values = constraints.get(root) ?? [];
+                values.push(accepts);
+                constraints.set(root, values);
+            }
+        }
+        const groups = new Map();
+        for (const term of terms) {
+            const root = union.find(term);
+            const members = groups.get(root) ?? [];
+            members.push(term);
+            groups.set(root, members);
+        }
+        for (const [root, members] of groups) {
+            const endpointConstraints = constraints.get(root) ?? [];
+            let candidates = [{ kind: 'open', requirements: [] }];
+            for (const member of members) {
+                candidates = this.#applyInitial(candidates, member, branch, use);
+                if (candidates.length === 0)
+                    return false;
+            }
+            for (const endpoint of endpointConstraints) {
+                candidates = this.#applyEndpoint(candidates, endpoint);
+                if (candidates.length === 0)
+                    return false;
+            }
+        }
+        return true;
+    }
+    #applyInitial(candidates, term, branch, use) {
+        if (term === 'subject')
+            return this.#applyAnyNodeClass(candidates);
+        const contract = targetContract(term, use);
+        if (contract !== undefined) {
+            if (contract.kind === 'exact')
+                return this.#applyExact(candidates, contract.ref);
+            if (contract.kind === 'default') {
+                return uniqueCandidates(this.context.allNodeClasses.flatMap((ref) => this.#applyExact(candidates, ref)));
+            }
+            return candidates;
+        }
+        const exact = this.#exactInitial(term, branch);
+        return exact === undefined ? [] : this.#applyExact(candidates, exact);
+    }
+    #exactInitial(term, branch) {
+        return branch.variables.get(term);
+    }
+    #applyExact(candidates, exact) {
+        const result = [];
+        for (const candidate of candidates) {
+            if (candidate.kind === 'exact') {
+                if (definitionRefIndex(candidate.ref) === definitionRefIndex(exact))
+                    result.push(candidate);
+            }
+            else if (candidate.requirements.every((required) => this.context.classExtends(exact, required))) {
+                result.push({ kind: 'exact', ref: exact });
+            }
+        }
+        return uniqueCandidates(result);
+    }
+    #applyAnyNodeClass(candidates) {
+        return uniqueCandidates(candidates.flatMap((candidate) => candidate.kind === 'exact'
+            ? [candidate]
+            : this.context.allNodeClasses
+                .filter((ref) => candidate.requirements.every((required) => this.context.classExtends(ref, required)))
+                .map((ref) => ({ kind: 'exact', ref }))));
+    }
+    #applyEndpoint(candidates, accepts) {
+        const result = [];
+        for (const candidate of candidates) {
+            if (candidate.kind === 'exact') {
+                if (this.#classSatisfiesEndpoint(candidate.ref, accepts))
+                    result.push(candidate);
+                continue;
+            }
+            for (const accept of accepts) {
+                result.push({
+                    kind: 'open',
+                    requirements: uniqueClasses([...candidate.requirements, accept]),
+                });
+            }
+        }
+        return uniqueCandidates(result);
+    }
+    #classSatisfiesEndpoint(candidate, accepts) {
+        return accepts.some((accept) => this.context.classExtends(candidate, accept));
+    }
+}
+function targetContract(term, use) {
+    if (use.kind === 'object')
+        return term === 'object' ? use.object : undefined;
+    if (term === 'source')
+        return use.source;
+    if (term === 'target')
+        return use.target;
+    return undefined;
+}
+export function contractOfNodeDefinition(ref) {
+    return { kind: 'exact', ref };
+}
+function edgeAlternatives(edges, typing) {
+    let result = [[]];
+    for (const edge of edges) {
+        const variants = variantsForEdge(edge, typing);
+        if (variants.length === 0)
+            return [];
+        const next = [];
+        for (const prefix of result) {
+            for (const variant of variants)
+                next.push([...prefix, variant]);
+        }
+        result = next;
+    }
+    return result;
+}
+function variantsForEdge(use, typing) {
+    const edge = use.pattern;
+    const declaration = typing.context.edgeDeclaration(edge.class);
+    if (declaration === undefined)
+        return [];
+    const endpoints = declaration.orientation === 'directed'
+        ? [declaration.endpoints.source, declaration.endpoints.target]
+        : declaration.endpoints;
+    const bounds = edge.repeat ?? { min: 1, max: 1 };
+    if (!Number.isInteger(bounds.min) ||
+        !Number.isInteger(bounds.max) ||
+        bounds.min < 0 ||
+        bounds.max < bounds.min ||
+        bounds.max > MAX_REPEAT) {
+        return [];
+    }
+    const sourceKey = termKey(edge.source, use.namespace);
+    const targetKey = termKey(edge.target, use.namespace);
+    const variants = [];
+    for (let length = bounds.min; length <= bounds.max; length++) {
+        if (length === 0) {
+            variants.push({ constraints: [], equalities: [[sourceKey, targetKey]] });
+            continue;
+        }
+        const orientationCount = declaration.orientation === 'undirected' ? 2 ** length : 1;
+        for (let mask = 0; mask < orientationCount; mask++) {
+            const orientations = Array.from({ length }, (_, index) => declaration.orientation === 'undirected' && (mask & (1 << index)) !== 0);
+            let transitionsValid = true;
+            for (let index = 0; index + 1 < length; index++) {
+                const incoming = endEndpoint(endpoints, orientations[index] ?? false);
+                const outgoing = startEndpoint(endpoints, orientations[index + 1] ?? false);
+                if (!typing.endpointsOverlap(incoming.accepts, outgoing.accepts)) {
+                    transitionsValid = false;
+                    break;
+                }
+            }
+            if (!transitionsValid)
+                continue;
+            const first = startEndpoint(endpoints, orientations[0] ?? false);
+            const last = endEndpoint(endpoints, orientations[length - 1] ?? false);
+            variants.push({
+                constraints: [
+                    [sourceKey, first.accepts],
+                    [targetKey, last.accepts],
+                ],
+                equalities: [],
+            });
+        }
+    }
+    return uniqueEdgeVariants(variants);
+}
+function startEndpoint(endpoints, reversed) {
+    return reversed ? endpoints[1] : endpoints[0];
+}
+function endEndpoint(endpoints, reversed) {
+    return reversed ? endpoints[0] : endpoints[1];
+}
+function uniqueEdgeVariants(values) {
+    const result = new Map();
+    for (const value of values) {
+        const key = `${value.constraints
+            .map(([term, accepts]) => `${term}:${accepts.map(definitionRefIndex).sort().join(',')}`)
+            .join('|')}=${value.equalities.map(([left, right]) => `${left}:${right}`).join('|')}`;
+        result.set(key, value);
+    }
+    return [...result.values()];
+}
+function uniqueCandidates(values) {
+    const result = new Map();
+    for (const value of values) {
+        const key = value.kind === 'exact'
+            ? `exact:${definitionRefIndex(value.ref)}`
+            : `open:${value.requirements.map(definitionRefIndex).sort().join('|')}`;
+        result.set(key, value);
+    }
+    return [...result.values()];
+}
+function uniqueClasses(values) {
+    return [...new Map(values.map((value) => [definitionRefIndex(value), value])).values()];
+}
+class UnionFind {
+    #parents = new Map();
+    constructor(values) {
+        for (const value of values)
+            this.add(value);
+    }
+    add(value) {
+        if (!this.#parents.has(value))
+            this.#parents.set(value, value);
+    }
+    find(value) {
+        this.add(value);
+        const parent = this.#parents.get(value);
+        if (parent === value)
+            return value;
+        const root = this.find(parent);
+        this.#parents.set(value, root);
+        return root;
+    }
+    join(left, right) {
+        const a = this.find(left);
+        const b = this.find(right);
+        if (a !== b)
+            this.#parents.set(b, a);
+    }
+}
+//# sourceMappingURL=typing.js.map

package/dist/v1/schema/validation/policy/typing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typing.js","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/typing.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,EACL,UAAU,EACV,aAAa,EACb,WAAW,EACX,UAAU,EACV,OAAO,GAGR,MAAM,+CAA+C,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAuB5C,MAAM,OAAO,YAAY;IACF,OAAO;IAA5B,YAAqB,OAAgC;uBAAhC,OAAO;IAA4B,CAAC;IAEzD,gBAAgB;QACd,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;YACpE,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAQ;YACpC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;gBAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAE,CAAC,UAAU,CAAC,EAAE,CAAC;wBAChF,IAAI,CAAC,OAAO,CAAC,GAAG,CACd,WAAW,EACX,aAAa,aAAa,CAAC,IAAI,CAAC,EAAE,EAClC,8BAA8B,KAAK,0EAA0E,CAC9G,CAAA;oBACH,CAAC;oBACD,SAAQ;gBACV,CAAC;gBACD,MAAM,GAAG,GACP,IAAI,KAAK,QAAQ;oBACf,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;oBACjD,CAAC,CAAC;wBACE,IAAI,EAAE,MAAM;wBACZ,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;wBAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;qBAC5B,CAAA;gBACP,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;oBACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CACd,WAAW,EACX,aAAa,aAAa,CAAC,IAAI,CAAC,EAAE,EAClC,8BAA8B,KAAK,kDAAkD,CACtF,CAAA;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,MAAsB;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAA;QACxE,MAAM,GAAG,GAAsB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;QACzD,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;IAC/F,CAAC;IAED,iBAAiB,CAAC,IAAY,EAAE,MAAsB,EAAE,MAAsB;QAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,IAAI,EAAE,CAAC,CAAA;QAC7E,MAAM,GAAG,GAAsB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;QAC/D,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;IAC/F,CAAC;IAED,uBAAuB,CAAC,OAA4B;QAClD,OAAO,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3D,IAAI,CAAC,uBAAuB,CAAC,SAAS,EAAE,OAAO,CAAC,CACjD,CAAA;IACH,CAAC;IAED,gBAAgB,CAAC,IAAyB,EAAE,KAA0B;QACpE,MAAM,IAAI,GAAyB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAA;QACvE,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACjD,OAAO,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IACzD,CAAC;IAED,iBAAiB,CACf,IAAY,EACZ,QAAqB,EACrB,SAAiB;QAEjB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAA;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACrD,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC/C,IAAI,OAAO,IAAI,WAAW;YAAE,OAAO,UAAU,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;QAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;QAChC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAChB,MAAM,IAAI,GAAG,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAA;QAC3E,MAAM,QAAQ,GAAiC,EAAE,CAAA;QACjD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAA;YACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,IAAI,KAAK,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;YAC9F,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAA;YAC5C,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACzB,CAAC;QACD,OAAO,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IACxF,CAAC;IAED,cAAc,CAAC,MAAqB,EAAE,GAAsB;QAC1D,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI;YAAE,OAAO,KAAK,CAAA;QACjD,MAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACzD,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAA;IAChG,CAAC;IAED,0BAA0B,CACxB,MAAqB,EACrB,QAAgC,EAChC,GAAsB;QAEtB,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAChF,CAAA;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACzD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;YACvD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;QACzD,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,CAAA;QAClC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACzE,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmC,CAAA;QAC9D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;gBAClD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC7B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;gBAC1C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBACpB,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC/B,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;QAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;YACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC3B,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,mBAAmB,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;YACvD,IAAI,UAAU,GAAyB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAA;YAC3E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;gBAChE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAA;YAC3C,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,mBAAmB,EAAE,CAAC;gBAC3C,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;gBACtD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAA;YAC3C,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,aAAa,CACX,UAAgC,EAChC,IAAY,EACZ,MAAqB,EACrB,GAAsB;QAEtB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAA;QAClE,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC1C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAA;YAChF,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,gBAAgB,CACrB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAChF,CAAA;YACH,CAAC;YACD,OAAO,UAAU,CAAA;QACnB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAC9C,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IACvE,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,MAAqB;QAC/C,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACnC,CAAC;IAED,WAAW,CAAC,UAAgC,EAAE,KAAe;QAC3D,MAAM,MAAM,GAAgB,EAAE,CAAA;QAC9B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,IAAI,kBAAkB,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,KAAK,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC7F,CAAC;iBAAM,IACL,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,EACtF,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;QACD,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACjC,CAAC;IAED,kBAAkB,CAAC,UAAgC;QACjD,OAAO,gBAAgB,CACrB,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC/B,SAAS,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,CAAC,SAAS,CAAC;YACb,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc;iBACxB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CACd,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CACzC,CACF;iBACA,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,GAAG,EAAE,CAAC,CAAC,CACvD,CACF,CAAA;IACH,CAAC;IAED,cAAc,CACZ,UAAgC,EAChC,OAA4B;QAE5B,MAAM,MAAM,GAAgB,EAAE,CAAA;QAC9B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,uBAAuB,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBAChF,SAAQ;YACV,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,aAAa,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;iBACjE,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACjC,CAAC;IAED,uBAAuB,CAAC,SAAmB,EAAE,OAA4B;QACvE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAA;IAC/E,CAAC;CACF;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,GAAsB;IAC1D,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,MAAM,CAAA;IACxC,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,MAAM,CAAA;IACxC,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAAa;IACpD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;AAC/B,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAgC,EAChC,MAAoB;IAEpB,IAAI,MAAM,GAAwC,CAAC,EAAE,CAAC,CAAA;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAC9C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QACpC,MAAM,IAAI,GAAoB,EAAE,CAAA;QAChC,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;YAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;QACjE,CAAC;QACD,MAAM,GAAG,IAAI,CAAA;IACf,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,eAAe,CAAC,GAAmB,EAAE,MAAoB;IAChE,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAA;IACxB,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC9D,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACxC,MAAM,SAAS,GACb,WAAW,CAAC,WAAW,KAAK,UAAU;QACpC,CAAC,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAW;QACzE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAA;IAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAA;IAChD,IACE,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;QAC7B,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;QAC7B,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG;QACvB,MAAM,CAAC,GAAG,GAAG,UAAU,EACvB,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAA;IACrD,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAA;IACrD,MAAM,QAAQ,GAAkB,EAAE,CAAA;IAClC,KAAK,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,IAAI,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC;QAC7D,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAA;YACxE,SAAQ;QACV,CAAC;QACD,MAAM,gBAAgB,GAAG,WAAW,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACnF,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;YACnD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAC7B,EAAE,MAAM,EAAE,EACV,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,KAAK,YAAY,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CACtF,CAAA;YACD,IAAI,gBAAgB,GAAG,IAAI,CAAA;YAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChD,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAA;gBACrE,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAA;gBAC3E,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBACjE,gBAAgB,GAAG,KAAK,CAAA;oBACxB,MAAK;gBACP,CAAC;YACH,CAAC;YACD,IAAI,CAAC,gBAAgB;gBAAE,SAAQ;YAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAA;YAChE,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAA;YACtE,QAAQ,CAAC,IAAI,CAAC;gBACZ,WAAW,EAAE;oBACX,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;oBAC1B,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC;iBAC1B;gBACD,UAAU,EAAE,EAAE;aACf,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,aAAa,CACpB,SAAwD,EACxD,QAAiB;IAEjB,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED,SAAS,WAAW,CAClB,SAAwD,EACxD,QAAiB;IAEjB,OAAO,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA8B;IACxD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAA;IAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,WAAW;aAC7B,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;aACvF,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;QACvF,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA4B;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GACP,KAAK,CAAC,IAAI,KAAK,OAAO;YACpB,CAAC,CAAC,SAAS,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;YAC1C,CAAC,CAAC,QAAQ,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;QAC3E,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,aAAa,CAAC,MAA2B;IAChD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;AACzF,CAAC;AAED,MAAM,SAAS;IACJ,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE7C,YAAY,MAAwB;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC7C,CAAC;IAED,GAAG,CAAC,KAAa;QACf,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,CAAC,KAAa;QAChB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAW,CAAA;QACjD,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,KAAK,CAAA;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC9B,OAAO,IAAI,CAAA;IACb,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,KAAa;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC1B,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACtC,CAAC;CACF"}

package/dist/v1/schema/validation/policy/uses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"uses.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/uses.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAQ3D,OAAO,EAAiD,KAAK,YAAY,EAAE,MAAM,aAAa,CAAA;AAiB9F,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI,CAqB7F;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI,CAsDjG;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI,CAkBjG"}