semantifold 0.3.0 → 0.4.0

package/build/src/semantic/generics.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Builds an ordered substitution map for a closed generic record application.
+ * @param {import("./types.js").RecordType} type - Closed record application.
+ * @param {import("./types.js").RecordDeclaration} declaration - Resolved declaration.
+ * @returns {Map<string, import("./types.js").SemanticValueType>} Substitutions.
+ */
+export declare function recordTypeSubstitutions(type: import("./types.js").RecordType, declaration: import("./types.js").RecordDeclaration): Map<string, import("./types.js").SemanticValueType>;
+/**
+ * Applies complete recursive substitution without mutating declaration-owned types.
+ * @param {import("./types.js").SemanticValueType} type - Open semantic type.
+ * @param {Map<string, import("./types.js").SemanticValueType>} substitutions - Closed substitutions.
+ * @returns {import("./types.js").SemanticValueType} Substituted type.
+ */
+export declare function substituteValueType(type: import("./types.js").SemanticValueType, substitutions: Map<string, import("./types.js").SemanticValueType>): import("./types.js").SemanticValueType;
+/**
+ * Checks whether a recursive type contains any declaration-scoped variable
+ * outside an explicitly visible identity set.
+ * @param {import("./types.js").SemanticValueType} type - Candidate open type.
+ * @param {Set<string>} [visibleParameterIds] - Exact variable identities permitted by the caller's lexical scope.
+ * @returns {boolean} Whether any non-visible type variable occurs.
+ */
+export declare function typeContainsAnyVariable(type: import("./types.js").SemanticValueType, visibleParameterIds?: Set<string>): boolean;
+//# sourceMappingURL=generics.d.ts.map

package/build/src/semantic/generics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../../src/semantic/generics.js"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAJjC,OAAO,YAAY,EAAE,UAIY,EAAE,WAAW,EAH9C,OAAO,YAAY,EAAE,iBAGyB,GAF5C,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAO/D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAJ7B,OAAO,YAAY,EAAE,iBAIQ,EAAE,aAAa,EAH5C,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAGN,GAF1C,OAAO,YAAY,EAAE,iBAAiB,CAgBlD;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAJjC,OAAO,YAAY,EAAE,iBAIY,EAAE,mBAAmB,AAH9D,CACA,EADQ,GAAG,CAAC,MAAM,CAGwD,GAFhE,OAAO,CAenB"}

package/build/src/semantic/generics.js

@@ -0,0 +1,61 @@
+// @ts-check
+/**
+ * Builds an ordered substitution map for a closed generic record application.
+ * @param {import("./types.js").RecordType} type - Closed record application.
+ * @param {import("./types.js").RecordDeclaration} declaration - Resolved declaration.
+ * @returns {Map<string, import("./types.js").SemanticValueType>} Substitutions.
+ */
+export function recordTypeSubstitutions(type, declaration) {
+    return new Map((declaration.typeParameters ?? []).map((parameter, index) => [
+        /** @type {string} */ (parameter.id),
+        /** @type {import("./types.js").SemanticValueType} */ (type.arguments?.[index])
+    ]));
+}
+/**
+ * Applies complete recursive substitution without mutating declaration-owned types.
+ * @param {import("./types.js").SemanticValueType} type - Open semantic type.
+ * @param {Map<string, import("./types.js").SemanticValueType>} substitutions - Closed substitutions.
+ * @returns {import("./types.js").SemanticValueType} Substituted type.
+ */
+export function substituteValueType(type, substitutions) {
+    if (type.kind == "TypeVariableReference")
+        return substitutions.get(type.parameterId) ?? type;
+    if (type.kind == "ListType")
+        return { ...type, elementType: substituteValueType(type.elementType, substitutions) };
+    if (type.kind == "MapType" || type.kind == "OrderedMapType")
+        return {
+            ...type,
+            keyType: /** @type {import("./types.js").TypeReference} */ (substituteValueType(type.keyType, substitutions)),
+            valueType: substituteValueType(type.valueType, substitutions)
+        };
+    if (type.kind == "OptionalType")
+        return { ...type, valueType: substituteValueType(type.valueType, substitutions) };
+    if (type.kind == "RecordType" && type.arguments) {
+        return { ...type, arguments: type.arguments.map((argument) => substituteValueType(argument, substitutions)) };
+    }
+    return type;
+}
+/**
+ * Checks whether a recursive type contains any declaration-scoped variable
+ * outside an explicitly visible identity set.
+ * @param {import("./types.js").SemanticValueType} type - Candidate open type.
+ * @param {Set<string>} [visibleParameterIds] - Exact variable identities permitted by the caller's lexical scope.
+ * @returns {boolean} Whether any non-visible type variable occurs.
+ */
+export function typeContainsAnyVariable(type, visibleParameterIds = new Set()) {
+    if (type.kind == "TypeVariableReference")
+        return !visibleParameterIds.has(type.parameterId);
+    if (type.kind == "RecordType") {
+        return type.arguments?.some((argument) => typeContainsAnyVariable(argument, visibleParameterIds)) ?? false;
+    }
+    if (type.kind == "ListType")
+        return typeContainsAnyVariable(type.elementType, visibleParameterIds);
+    if (type.kind == "MapType" || type.kind == "OrderedMapType") {
+        return typeContainsAnyVariable(type.keyType, visibleParameterIds) ||
+            typeContainsAnyVariable(type.valueType, visibleParameterIds);
+    }
+    if (type.kind == "OptionalType")
+        return typeContainsAnyVariable(type.valueType, visibleParameterIds);
+    return false;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXJpY3MuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvc2VtYW50aWMvZ2VuZXJpY3MuanMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsWUFBWTtBQUVaOzs7OztHQUtHO0FBQ0gsTUFBTSxVQUFVLHVCQUF1QixDQUFDLElBQUksRUFBRSxXQUFXO0lBQ3ZELE9BQU8sSUFBSSxHQUFHLENBQUMsQ0FBQyxXQUFXLENBQUMsY0FBYyxJQUFJLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLFNBQVMsRUFBRSxLQUFLLEVBQUUsRUFBRSxDQUFDO1FBQzFFLHFCQUFxQixDQUFDLENBQUMsU0FBUyxDQUFDLEVBQUUsQ0FBQztRQUNwQyxxREFBcUQsQ0FBQyxDQUFDLElBQUksQ0FBQyxTQUFTLEVBQUUsQ0FBQyxLQUFLLENBQUMsQ0FBQztLQUNoRixDQUFDLENBQUMsQ0FBQTtBQUNMLENBQUM7QUFFRDs7Ozs7R0FLRztBQUNILE1BQU0sVUFBVSxtQkFBbUIsQ0FBQyxJQUFJLEVBQUUsYUFBYTtJQUNyRCxJQUFJLElBQUksQ0FBQyxJQUFJLElBQUksdUJBQXVCO1FBQUUsT0FBTyxhQUFhLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxXQUFXLENBQUMsSUFBSSxJQUFJLENBQUE7SUFDNUYsSUFBSSxJQUFJLENBQUMsSUFBSSxJQUFJLFVBQVU7UUFBRSxPQUFPLEVBQUMsR0FBRyxJQUFJLEVBQUUsV0FBVyxFQUFFLG1CQUFtQixDQUFDLElBQUksQ0FBQyxXQUFXLEVBQUUsYUFBYSxDQUFDLEVBQUMsQ0FBQTtJQUNoSCxJQUFJLElBQUksQ0FBQyxJQUFJLElBQUksU0FBUyxJQUFJLElBQUksQ0FBQyxJQUFJLElBQUksZ0JBQWdCO1FBQUUsT0FBTztZQUNsRSxHQUFHLElBQUk7WUFDUCxPQUFPLEVBQUUsaURBQWlELENBQUMsQ0FBQyxtQkFBbUIsQ0FBQyxJQUFJLENBQUMsT0FBTyxFQUFFLGFBQWEsQ0FBQyxDQUFDO1lBQzdHLFNBQVMsRUFBRSxtQkFBbUIsQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLGFBQWEsQ0FBQztTQUM5RCxDQUFBO0lBQ0QsSUFBSSxJQUFJLENBQUMsSUFBSSxJQUFJLGNBQWM7UUFBRSxPQUFPLEVBQUMsR0FBRyxJQUFJLEVBQUUsU0FBUyxFQUFFLG1CQUFtQixDQUFDLElBQUksQ0FBQyxTQUFTLEVBQUUsYUFBYSxDQUFDLEVBQUMsQ0FBQTtJQUNoSCxJQUFJLElBQUksQ0FBQyxJQUFJLElBQUksWUFBWSxJQUFJLElBQUksQ0FBQyxTQUFTLEVBQUUsQ0FBQztRQUNoRCxPQUFPLEVBQUMsR0FBRyxJQUFJLEVBQUUsU0FBUyxFQUFFLElBQUksQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxtQkFBbUIsQ0FBQyxRQUFRLEVBQUUsYUFBYSxDQUFDLENBQUMsRUFBQyxDQUFBO0lBQzdHLENBQUM7SUFFRCxPQUFPLElBQUksQ0FBQTtBQUNiLENBQUM7QUFFRDs7Ozs7O0dBTUc7QUFDSCxNQUFNLFVBQVUsdUJBQXVCLENBQUMsSUFBSSxFQUFFLG1CQUFtQixHQUFHLElBQUksR0FBRyxFQUFFO0lBQzNFLElBQUksSUFBSSxDQUFDLElBQUksSUFBSSx1QkFBdUI7UUFBRSxPQUFPLENBQUMsbUJBQW1CLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxXQUFXLENBQUMsQ0FBQTtJQUMzRixJQUFJLElBQUksQ0FBQyxJQUFJLElBQUksWUFBWSxFQUFFLENBQUM7UUFDOUIsT0FBTyxJQUFJLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxDQUFDLFFBQVEsRUFBRSxFQUFFLENBQUMsdUJBQXVCLENBQUMsUUFBUSxFQUFFLG1CQUFtQixDQUFDLENBQUMsSUFBSSxLQUFLLENBQUE7SUFDNUcsQ0FBQztJQUNELElBQUksSUFBSSxDQUFDLElBQUksSUFBSSxVQUFVO1FBQUUsT0FBTyx1QkFBdUIsQ0FBQyxJQUFJLENBQUMsV0FBVyxFQUFFLG1CQUFtQixDQUFDLENBQUE7SUFDbEcsSUFBSSxJQUFJLENBQUMsSUFBSSxJQUFJLFNBQVMsSUFBSSxJQUFJLENBQUMsSUFBSSxJQUFJLGdCQUFnQixFQUFFLENBQUM7UUFDNUQsT0FBTyx1QkFBdUIsQ0FBQyxJQUFJLENBQUMsT0FBTyxFQUFFLG1CQUFtQixDQUFDO1lBQy9ELHVCQUF1QixDQUFDLElBQUksQ0FBQyxTQUFTLEVBQUUsbUJBQW1CLENBQUMsQ0FBQTtJQUNoRSxDQUFDO0lBQ0QsSUFBSSxJQUFJLENBQUMsSUFBSSxJQUFJLGNBQWM7UUFBRSxPQUFPLHVCQUF1QixDQUFDLElBQUksQ0FBQyxTQUFTLEVBQUUsbUJBQW1CLENBQUMsQ0FBQTtJQUVwRyxPQUFPLEtBQUssQ0FBQTtBQUNkLENBQUMiLCJzb3VyY2VzQ29udGVudCI6WyIvLyBAdHMtY2hlY2tcblxuLyoqXG4gKiBCdWlsZHMgYW4gb3JkZXJlZCBzdWJzdGl0dXRpb24gbWFwIGZvciBhIGNsb3NlZCBnZW5lcmljIHJlY29yZCBhcHBsaWNhdGlvbi5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5SZWNvcmRUeXBlfSB0eXBlIC0gQ2xvc2VkIHJlY29yZCBhcHBsaWNhdGlvbi5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5SZWNvcmREZWNsYXJhdGlvbn0gZGVjbGFyYXRpb24gLSBSZXNvbHZlZCBkZWNsYXJhdGlvbi5cbiAqIEByZXR1cm5zIHtNYXA8c3RyaW5nLCBpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNlbWFudGljVmFsdWVUeXBlPn0gU3Vic3RpdHV0aW9ucy5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHJlY29yZFR5cGVTdWJzdGl0dXRpb25zKHR5cGUsIGRlY2xhcmF0aW9uKSB7XG4gIHJldHVybiBuZXcgTWFwKChkZWNsYXJhdGlvbi50eXBlUGFyYW1ldGVycyA/PyBbXSkubWFwKChwYXJhbWV0ZXIsIGluZGV4KSA9PiBbXG4gICAgLyoqIEB0eXBlIHtzdHJpbmd9ICovIChwYXJhbWV0ZXIuaWQpLFxuICAgIC8qKiBAdHlwZSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5TZW1hbnRpY1ZhbHVlVHlwZX0gKi8gKHR5cGUuYXJndW1lbnRzPy5baW5kZXhdKVxuICBdKSlcbn1cblxuLyoqXG4gKiBBcHBsaWVzIGNvbXBsZXRlIHJlY3Vyc2l2ZSBzdWJzdGl0dXRpb24gd2l0aG91dCBtdXRhdGluZyBkZWNsYXJhdGlvbi1vd25lZCB0eXBlcy5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5TZW1hbnRpY1ZhbHVlVHlwZX0gdHlwZSAtIE9wZW4gc2VtYW50aWMgdHlwZS5cbiAqIEBwYXJhbSB7TWFwPHN0cmluZywgaW1wb3J0KFwiLi90eXBlcy5qc1wiKS5TZW1hbnRpY1ZhbHVlVHlwZT59IHN1YnN0aXR1dGlvbnMgLSBDbG9zZWQgc3Vic3RpdHV0aW9ucy5cbiAqIEByZXR1cm5zIHtpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNlbWFudGljVmFsdWVUeXBlfSBTdWJzdGl0dXRlZCB0eXBlLlxuICovXG5leHBvcnQgZnVuY3Rpb24gc3Vic3RpdHV0ZVZhbHVlVHlwZSh0eXBlLCBzdWJzdGl0dXRpb25zKSB7XG4gIGlmICh0eXBlLmtpbmQgPT0gXCJUeXBlVmFyaWFibGVSZWZlcmVuY2VcIikgcmV0dXJuIHN1YnN0aXR1dGlvbnMuZ2V0KHR5cGUucGFyYW1ldGVySWQpID8/IHR5cGVcbiAgaWYgKHR5cGUua2luZCA9PSBcIkxpc3RUeXBlXCIpIHJldHVybiB7Li4udHlwZSwgZWxlbWVudFR5cGU6IHN1YnN0aXR1dGVWYWx1ZVR5cGUodHlwZS5lbGVtZW50VHlwZSwgc3Vic3RpdHV0aW9ucyl9XG4gIGlmICh0eXBlLmtpbmQgPT0gXCJNYXBUeXBlXCIgfHwgdHlwZS5raW5kID09IFwiT3JkZXJlZE1hcFR5cGVcIikgcmV0dXJuIHtcbiAgICAuLi50eXBlLFxuICAgIGtleVR5cGU6IC8qKiBAdHlwZSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5UeXBlUmVmZXJlbmNlfSAqLyAoc3Vic3RpdHV0ZVZhbHVlVHlwZSh0eXBlLmtleVR5cGUsIHN1YnN0aXR1dGlvbnMpKSxcbiAgICB2YWx1ZVR5cGU6IHN1YnN0aXR1dGVWYWx1ZVR5cGUodHlwZS52YWx1ZVR5cGUsIHN1YnN0aXR1dGlvbnMpXG4gIH1cbiAgaWYgKHR5cGUua2luZCA9PSBcIk9wdGlvbmFsVHlwZVwiKSByZXR1cm4gey4uLnR5cGUsIHZhbHVlVHlwZTogc3Vic3RpdHV0ZVZhbHVlVHlwZSh0eXBlLnZhbHVlVHlwZSwgc3Vic3RpdHV0aW9ucyl9XG4gIGlmICh0eXBlLmtpbmQgPT0gXCJSZWNvcmRUeXBlXCIgJiYgdHlwZS5hcmd1bWVudHMpIHtcbiAgICByZXR1cm4gey4uLnR5cGUsIGFyZ3VtZW50czogdHlwZS5hcmd1bWVudHMubWFwKChhcmd1bWVudCkgPT4gc3Vic3RpdHV0ZVZhbHVlVHlwZShhcmd1bWVudCwgc3Vic3RpdHV0aW9ucykpfVxuICB9XG5cbiAgcmV0dXJuIHR5cGVcbn1cblxuLyoqXG4gKiBDaGVja3Mgd2hldGhlciBhIHJlY3Vyc2l2ZSB0eXBlIGNvbnRhaW5zIGFueSBkZWNsYXJhdGlvbi1zY29wZWQgdmFyaWFibGVcbiAqIG91dHNpZGUgYW4gZXhwbGljaXRseSB2aXNpYmxlIGlkZW50aXR5IHNldC5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5TZW1hbnRpY1ZhbHVlVHlwZX0gdHlwZSAtIENhbmRpZGF0ZSBvcGVuIHR5cGUuXG4gKiBAcGFyYW0ge1NldDxzdHJpbmc+fSBbdmlzaWJsZVBhcmFtZXRlcklkc10gLSBFeGFjdCB2YXJpYWJsZSBpZGVudGl0aWVzIHBlcm1pdHRlZCBieSB0aGUgY2FsbGVyJ3MgbGV4aWNhbCBzY29wZS5cbiAqIEByZXR1cm5zIHtib29sZWFufSBXaGV0aGVyIGFueSBub24tdmlzaWJsZSB0eXBlIHZhcmlhYmxlIG9jY3Vycy5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHR5cGVDb250YWluc0FueVZhcmlhYmxlKHR5cGUsIHZpc2libGVQYXJhbWV0ZXJJZHMgPSBuZXcgU2V0KCkpIHtcbiAgaWYgKHR5cGUua2luZCA9PSBcIlR5cGVWYXJpYWJsZVJlZmVyZW5jZVwiKSByZXR1cm4gIXZpc2libGVQYXJhbWV0ZXJJZHMuaGFzKHR5cGUucGFyYW1ldGVySWQpXG4gIGlmICh0eXBlLmtpbmQgPT0gXCJSZWNvcmRUeXBlXCIpIHtcbiAgICByZXR1cm4gdHlwZS5hcmd1bWVudHM/LnNvbWUoKGFyZ3VtZW50KSA9PiB0eXBlQ29udGFpbnNBbnlWYXJpYWJsZShhcmd1bWVudCwgdmlzaWJsZVBhcmFtZXRlcklkcykpID8/IGZhbHNlXG4gIH1cbiAgaWYgKHR5cGUua2luZCA9PSBcIkxpc3RUeXBlXCIpIHJldHVybiB0eXBlQ29udGFpbnNBbnlWYXJpYWJsZSh0eXBlLmVsZW1lbnRUeXBlLCB2aXNpYmxlUGFyYW1ldGVySWRzKVxuICBpZiAodHlwZS5raW5kID09IFwiTWFwVHlwZVwiIHx8IHR5cGUua2luZCA9PSBcIk9yZGVyZWRNYXBUeXBlXCIpIHtcbiAgICByZXR1cm4gdHlwZUNvbnRhaW5zQW55VmFyaWFibGUodHlwZS5rZXlUeXBlLCB2aXNpYmxlUGFyYW1ldGVySWRzKSB8fFxuICAgICAgdHlwZUNvbnRhaW5zQW55VmFyaWFibGUodHlwZS52YWx1ZVR5cGUsIHZpc2libGVQYXJhbWV0ZXJJZHMpXG4gIH1cbiAgaWYgKHR5cGUua2luZCA9PSBcIk9wdGlvbmFsVHlwZVwiKSByZXR1cm4gdHlwZUNvbnRhaW5zQW55VmFyaWFibGUodHlwZS52YWx1ZVR5cGUsIHZpc2libGVQYXJhbWV0ZXJJZHMpXG5cbiAgcmV0dXJuIGZhbHNlXG59XG4iXX0=

package/build/src/semantic/lifetime.d.ts

@@ -0,0 +1,37 @@
+export type LifetimeFail = (code: string, detail: string, location: import("./types.js").SourceLocation) => never;
+export type OwnerState = {
+    kind: "open";
+    originId: string;
+    origin: import("./types.js").SourceLocation;
+} | {
+    kind: "moved";
+    originId: string;
+    origin: import("./types.js").SourceLocation;
+    destination: string;
+} | {
+    kind: "terminal";
+    originId: string;
+    origin: import("./types.js").SourceLocation;
+    closeSiteId: string | import("./types.js").SourceLocation;
+};
+export type LifetimeExit = {
+    kind: "normal" | "return" | "raise" | "break" | "continue";
+    state: Map<string, OwnerState>;
+    location?: import("./types.js").SourceLocation;
+    errorId?: string;
+};
+/** @typedef {(code: string, detail: string, location: import("./types.js").SourceLocation) => never} LifetimeFail */
+/** @typedef {{kind: "open", originId: string, origin: import("./types.js").SourceLocation} | {kind: "moved", originId: string, origin: import("./types.js").SourceLocation, destination: string} | {kind: "terminal", originId: string, origin: import("./types.js").SourceLocation, closeSiteId: string | import("./types.js").SourceLocation}} OwnerState */
+/** @typedef {{kind: "normal" | "return" | "raise" | "break" | "continue", state: Map<string, OwnerState>, location?: import("./types.js").SourceLocation, errorId?: string}} LifetimeExit */
+/**
+ * Performs path-sensitive structured lifetime validation for Task 034 owned values.
+ * @param {import("./types.js").SemanticModule} module - Fully type-resolved module.
+ * @param {{functions: Map<string, Set<string>>, methods: Map<string, Set<string>>}} errorEffects - Complete escaping error sets per function and method.
+ * @param {LifetimeFail} fail - Located failure.
+ * @returns {void}
+ */
+export declare function validateResourceLifetimes(module: import("./types.js").SemanticModule, errorEffects: {
+    functions: Map<string, Set<string>>;
+    methods: Map<string, Set<string>>;
+}, fail: LifetimeFail): void;
+//# sourceMappingURL=lifetime.d.ts.map

package/build/src/semantic/lifetime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifetime.d.ts","sourceRoot":"","sources":["../../../src/semantic/lifetime.js"],"names":[],"mappings":"AAEI,YAAkG,YAAY,GAApG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,YAAY,EAAE,cAAc,KAAK,KAAK,CAAc;AAC9G,YAA8U,UAAU,GAA9U;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,YAAY,EAAE,cAAc,CAAA;CAAC,GAAG;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAC,GAAG;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC;IAAC,WAAW,EAAE,MAAM,GAAG,OAAO,YAAY,EAAE,cAAc,CAAA;CAAC,CAAY;AACxV,YAA0K,YAAY,GAA5K;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAC,CAAc;AAF1L,qHAAqH;AACrH,+VAA+V;AAC/V,6LAA6L;AAE7L;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EALrC,OAAO,YAAY,EAAE,cAKgB,EAAE,YAAY,EAJnD;IAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAIpB,EAAE,IAAI,EAHzD,YAGyD,GAFvD,IAAI,CAYhB"}