modality-ts 0.0.13 → 0.0.15

package/dist/extract/engine/ts/transition/statement-summary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statement-summary.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/statement-summary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAU,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,UAAU,EACX,MAAM,aAAa,CAAC;AAKrB,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC3C,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CACxC;AAYD,wBAAgB,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAQ3D;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,OAAO,GAAE,uBAA4B,GACpC,aAAa,EAAE,GAAG,SAAS,CAO7B;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,OAAO,GAAE,uBAA4B,GACpC,aAAa,EAAE,GAAG,SAAS,CAM7B;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CAKjB;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,GAAG,SAAS,CAO3B;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,GAAG,SAAS,CAI3B;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,CAqBf;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,UAAU,GAAG,SAAS,CAmBxB;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CAWjB;AAED,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CASjB;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,EAAE,CAKjB;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,aAAa,EAAE,GAChC,aAAa,EAAE,CAMjB;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,SAAS,aAAa,EAAE,GAClC,aAAa,EAAE,CAUjB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CAc1D;AAED,wBAAgB,cAAc,IAAI,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAEnE;AAED,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,SAAS,aAAa,EAAE,GAClC,QAAQ,CAKV;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAInD;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACtC,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAanD"}
+{"version":3,"file":"statement-summary.d.ts","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/statement-summary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAU,MAAM,kBAAkB,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,UAAU,EACX,MAAM,aAAa,CAAC;AAKrB,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC3C,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC;AAaD,wBAAgB,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAQ3D;AAED,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,OAAO,GAAE,uBAA4B,GACpC,aAAa,EAAE,GAAG,SAAS,CAS7B;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,OAAO,GAAE,uBAA4B,GACpC,aAAa,EAAE,GAAG,SAAS,CAO7B;AAED,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,EACnC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CAKjB;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,GAAG,SAAS,CAO3B;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,EAC1C,YAAY,GAAE,4BAAiC,GAC9C,aAAa,GAAG,SAAS,CAI3B;AAED,MAAM,WAAW,4BAA4B;IAC3C,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,EAC1C,YAAY,GAAE,4BAAiC,GAC9C,aAAa,CA6Cf;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,UAAU,GAAG,SAAS,CA6BxB;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CAWjB;AAED,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,aAAa,EAAE,CASjB;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,EAAE,CAAC,cAAc,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EACnC,MAAM,GAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAa,GACzC,aAAa,EAAE,CAKjB;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,SAAS,aAAa,EAAE,GAChC,aAAa,EAAE,CAMjB;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,SAAS,aAAa,EAAE,GAClC,aAAa,EAAE,CAUjB;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CAc1D;AAED,wBAAgB,cAAc,IAAI,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAEnE;AAED,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,SAAS,aAAa,EAAE,GAClC,QAAQ,CAKV;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAClC,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAInD;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACtC,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAanD"}

package/dist/extract/engine/ts/transition/statement-summary.js

@@ -13,7 +13,9 @@ export function isLoopStatement(statement) {
 }
 export function summarizeHandlerStatements(handler, setters, options = {}) {
     if (ts.isCallExpression(handler.body)) {
-        const summary = summarizeSetterCall(handler.body, setters);
+        const summary = summarizeSetterCall(handler.body, setters, new Map(), {
+            resetSymbols: options.resetSymbols,
+        });
         return summary ? [summary] : undefined;
     }
     if (!ts.isBlock(handler.body))
@@ -24,6 +26,7 @@ export function summarizeStatements(statements, setters, options = {}) {
     const result = summarizeStatementList(statements, setters, {
         locals: new Map(options.initialLocals),
         handlers: options.handlers,
+        resetSymbols: options.resetSymbols,
     });
     return result?.summaries;
 }
@@ -37,14 +40,33 @@ export function summarizeSetterStatement(statement, setters, locals = new Map())
         return undefined;
     return summarizeSetterCall(statement.expression, setters, locals);
 }
-export function summarizeSetterCall(call, setters, locals = new Map()) {
+export function summarizeSetterCall(call, setters, locals = new Map(), resetOptions = {}) {
     const setterCall = setterCallFrom(call, setters);
     if (!setterCall)
         return undefined;
-    return summarizeSetterWrite(setterCall, setters, locals);
+    return summarizeSetterWrite(setterCall, setters, locals, resetOptions);
 }
-export function summarizeSetterWrite(setterCall, setters, locals = new Map()) {
-    const assignment = setterArgumentExpr(setterCall.argument, setterCall.setter, setters, locals);
+export function summarizeSetterWrite(setterCall, setters, locals = new Map(), resetOptions = {}) {
+    if (setterCall.setter.fixedEffect &&
+        setterCall.argument.kind === ts.SyntaxKind.NullKeyword) {
+        return {
+            effect: setterCall.setter.fixedEffect,
+            reads: [],
+        };
+    }
+    if (setterCall.setter.resettable &&
+        setterCall.setter.initial !== undefined &&
+        setterCall.argument.kind === ts.SyntaxKind.NullKeyword) {
+        return {
+            effect: {
+                kind: "assign",
+                var: setterCall.setter.varId,
+                expr: { kind: "lit", value: setterCall.setter.initial },
+            },
+            reads: [],
+        };
+    }
+    const assignment = setterArgumentExpr(setterCall.argument, setterCall.setter, setters, locals, resetOptions.resetSymbols);
     if (!assignment) {
         return {
             effect: { kind: "havoc", var: setterCall.setter.varId },
@@ -61,6 +83,16 @@ export function summarizeSetterWrite(setterCall, setters, locals = new Map()) {
     };
 }
 export function setterCallFrom(call, setters) {
+    if (ts.isIdentifier(call.expression) && call.arguments.length === 0) {
+        const setter = setters.get(call.expression.text);
+        if (setter?.resettable || setter?.fixedEffect) {
+            return {
+                setter,
+                argument: ts.factory.createNull(),
+            };
+        }
+        return undefined;
+    }
     if (ts.isIdentifier(call.expression) && call.arguments.length === 1) {
         const setter = setters.get(call.expression.text);
         const argument = call.arguments[0];
@@ -254,7 +286,9 @@ function summarizeStatement(statement, setters, state) {
             const helper = helperSummariesFromCall(call, state.handlers, setters);
             if (helper)
                 return { summaries: helper, terminated: false };
-            const summary = summarizeSetterCall(call, setters, state.locals);
+            const summary = summarizeSetterCall(call, setters, state.locals, {
+                resetSymbols: state.resetSymbols,
+            });
             if (summary)
                 return { summaries: [summary], terminated: false };
         }

package/dist/extract/engine/ts/transition/statement-summary.js.map

@@ -1 +1 @@
-{"version":3,"file":"statement-summary.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/statement-summary.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAQ1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAiBjD,MAAM,UAAU,eAAe,CAAC,SAAkB;IAChD,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAA2B,EAC3B,OAAmC,EACnC,UAAmC,EAAE;IAErC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAmC,EACnC,OAAmC,EACnC,UAAmC,EAAE;IAErC,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,EAAE;QACzD,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC;QACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC,CAAC;IACH,OAAO,MAAM,EAAE,SAAS,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAmC,EACnC,OAAmC;IAEnC,OAAO,uBAAuB,CAC5B,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;QACtC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,OAAO,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,UAAsB,EACtB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,MAAM,UAAU,GAAG,kBAAkB,CACnC,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,MAAM,EACjB,OAAO,EACP,MAAM,CACP,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE;YACvD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK;YAC5B,IAAI,EAAE,UAAU,CAAC,IAAI;SACtB;QACD,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI;QACJ,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,OAAO;QACP,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EACxB,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,OAAmC;IAEnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,SAAuB,EACvB,OAAmC;IAEnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,OAAO,IAAI,CAAC,SAAS;SAClB,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC;SACvB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;SACnE,MAAM,CAAC,CAAC,MAAM,EAA2B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAiC;IAEjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC9C,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAAmC;IAEnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,CAAC,IAAI,KAAK,QAAQ;QAExB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QACxD,OAAO,CAAC,aAAa,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,SAAmC;IAEnC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,EAAE,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5D,OAAO,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAuC;IAEvC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAmC,EACnC,OAAmC,EACnC,KAA4B;IAE5B,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,oBAAoB,CACtC,SAAS,EACT,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EACnD,OAAO,EACP,KAAK,CACN,CAAC;YACF,IAAI,WAAW,EAAE,CAAC;gBAChB,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBACzC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,IAA6B,EAC7B,OAAmC,EACnC,KAA4B;IAE5B,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa;QACvC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC;QAC9C,CAAC,CAAC,KAAK,CAAC;IACV,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,SAAS,GAAG,oBAAoB,CACpC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE;QACvD,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC9D,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,IAAI,SAAS,EAAE,CAAC;IAC/D,OAAO;QACL,SAAS,EAAE;YACT;gBACE,MAAM,EAAE;oBACN,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,qGAAqG;oBACrG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,UAAU;oBAC/C,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,UAAU;iBAChD;gBACD,KAAK,EAAE,aAAa,CAAC;oBACnB,GAAG,SAAS,CAAC,KAAK;oBAClB,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC5D,CAAC;aACH;SACF;QACD,UAAU,EAAE,UAAU,CAAC,UAAU;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAuB;IAClD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CACvC,CAAC;QACF,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;YACrB,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,SAAuB,EACvB,OAAmC,EACnC,KAA4B;IAE5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAAE,OAAO,WAAW,EAAE,CAAC;IACzD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE;YAClE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC,CAAC;QACH,OAAO,KAAK,IAAI,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC;YACtD,OAAO,WAAW,EAAE,CAAC;QACvB,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtE,IAAI,MAAM;gBAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;YAC5D,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,OAAO;gBAAE,OAAO,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAClE,CAAC;QACD,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC;QAC7B,OAAO,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACjC,OAAO,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC9B,OAAO,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,eAAe,CAAC,SAAS,CAAC;QAC5B,OAAO,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACjC,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACrE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC7C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAClC,OAAO,kBAAkB,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,OAAmC,EACnC,KAA4B;IAE5B,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE;QACtE,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa;QACxC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE;YACnD,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC;QACJ,CAAC,CAAC,WAAW,EAAE,CAAC;IAClB,MAAM,SAAS,GAAG,oBAAoB,CACpC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAC9D,OAAO,WAAW,CAAC,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;IACvE,CAAC;IACD,OAAO;QACL,SAAS,EAAE;YACT;gBACE,MAAM,EAAE;oBACN,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,qGAAqG;oBACrG,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,UAAU;iBACjB;gBACD,KAAK,EAAE,aAAa,CAAC;oBACnB,GAAG,SAAS,CAAC,KAAK;oBAClB,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;oBAC3D,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC5D,CAAC;aACH;SACF;QACD,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA6B,EAC7B,OAAmC,EACnC,KAA4B;IAE5B,MAAM,YAAY,GAAG,oBAAoB,CACvC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAIR,EAAE,CAAC;IACT,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE;YAChE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YACT,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,IAAI,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU;YACtE,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,KAAK,GACT,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK;YACR,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;YAC3D,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ;SACpB,KAAK,EAAE;SACP,OAAO,EAAE;SACT,MAAM,CAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,YAAY,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,qGAAqG;YACrG,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,QAAQ;SACf,CAAC;IACJ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;IACvB,OAAO;QACL,SAAS,EACP,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAClD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,MAAM;oBACN,KAAK,EAAE,aAAa,CAAC;wBACnB,GAAG,YAAY,CAAC,KAAK;wBACrB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;wBAC7C,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAC5D;qBACF,CAAC;iBACH;aACF;QACP,UAAU,EACR,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KACvD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,SAA0B,EAC1B,OAAmC,EACnC,KAA4B;IAE5B,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,sBAAsB,CACtC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAC7B,OAAO,EACP;QACE,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CACF,CAAC;IACF,MAAM,aAAa,GAAG,SAAS,CAAC,YAAY;QAC1C,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE;YACjE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC;QACJ,CAAC,CAAC,WAAW,EAAE,CAAC;IAClB,IAAI,CAAC,SAAS,IAAI,CAAC,aAAa;QAC9B,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,OAAO;QACL,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,aAAa,CAAC,SAAS,CAAC;QAC/D,UAAU,EAAE,SAAS,CAAC,UAAU,IAAI,aAAa,CAAC,UAAU;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAuB,EACvB,OAAmC;IAEnC,IAAI,aAAa,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,WAAW,GAAG,aAAa,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACxE,OAAO;QACL,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;YAC5C,KAAK,EAAE,EAAE;SACV,CAAC,CAAC;QACH,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,QAAqD,EACrD,OAAmC;IAEnC,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAE3B,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM;QACX,CAAC,CAAC,0BAA0B,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,SAAuB,EACvB,OAAmC;IAEnC,OAAO;QACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;QAClD,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAmC,EACnC,OAAmC;IAEnC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YACnE,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC5C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC5C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,WAAW,CAAC,UAAU,GAAG,KAAK;IACrC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,cAAc,CACrB,UAAyB;IAEzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvD,IACE,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC;QAE1C,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"statement-summary.js","sourceRoot":"","sources":["../../../../../src/extract/engine/ts/transition/statement-summary.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAQ1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAmBjD,MAAM,UAAU,eAAe,CAAC,SAAkB;IAChD,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC5B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,OAA2B,EAC3B,OAAmC,EACnC,UAAmC,EAAE;IAErC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE;YACpE,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAmC,EACnC,OAAmC,EACnC,UAAmC,EAAE;IAErC,MAAM,MAAM,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,EAAE;QACzD,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC;QACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAC,CAAC;IACH,OAAO,MAAM,EAAE,SAAS,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAmC,EACnC,OAAmC;IAEnC,OAAO,uBAAuB,CAC5B,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC;QACtC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,OAAO,mBAAmB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE,EAC1C,eAA6C,EAAE;IAE/C,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;AACzE,CAAC;AAMD,MAAM,UAAU,oBAAoB,CAClC,UAAsB,EACtB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE,EAC1C,eAA6C,EAAE;IAE/C,IACE,UAAU,CAAC,MAAM,CAAC,WAAW;QAC7B,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EACtD,CAAC;QACD,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,WAAW;YACrC,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,MAAM,CAAC,UAAU;QAC5B,UAAU,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS;QACvC,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EACtD,CAAC;QACD,OAAO;YACL,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK;gBAC5B,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE;aACxD;YACD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CACnC,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,MAAM,EACjB,OAAO,EACP,MAAM,EACN,YAAY,CAAC,YAAY,CAC1B,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE;YACvD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK;YAC5B,IAAI,EAAE,UAAU,CAAC,IAAI;SACtB;QACD,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,UAAU,IAAI,MAAM,EAAE,WAAW,EAAE,CAAC;YAC9C,OAAO;gBACL,MAAM;gBACN,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE;aAClC,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI;QACJ,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC3B,OAAO;QACP,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EACxB,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,OAAmC;IAEnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACtD,IAAI,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,SAAuB,EACvB,OAAmC;IAEnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACpD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAuB,EACvB,OAAmC,EACnC,SAAiC,IAAI,GAAG,EAAE;IAE1C,OAAO,IAAI,CAAC,SAAS;SAClB,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC;SACvB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;SACnE,MAAM,CAAC,CAAC,MAAM,EAA2B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAiC;IAEjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC9C,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAAmC;IAEnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAgB;IAC9C,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,MAAM,CAAC,IAAI,KAAK,QAAQ;QAExB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QACtB,OAAO,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QACxD,OAAO,CAAC,aAAa,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,SAAmC;IAEnC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,EAAE,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAmC;IAEnC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC5D,OAAO,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9D,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,OAAuC;IAEvC,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QACpC,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC;QAE1C,OAAO,SAAS,CAAC;IACnB,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAmC,EACnC,OAAmC,EACnC,KAA4B;IAE5B,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,oBAAoB,CACtC,SAAS,EACT,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EACnD,OAAO,EACP,KAAK,CACN,CAAC;YACF,IAAI,WAAW,EAAE,CAAC;gBAChB,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;gBACzC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,IAA6B,EAC7B,OAAmC,EACnC,KAA4B;IAE5B,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa;QACvC,CAAC,CAAC,mBAAmB,CAAC,SAAS,CAAC,aAAa,CAAC;QAC9C,CAAC,CAAC,KAAK,CAAC;IACV,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,SAAS,GAAG,oBAAoB,CACpC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE;QACvD,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC9D,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,IAAI,SAAS,EAAE,CAAC;IAC/D,OAAO;QACL,SAAS,EAAE;YACT;gBACE,MAAM,EAAE;oBACN,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,qGAAqG;oBACrG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,UAAU;oBAC/C,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,UAAU;iBAChD;gBACD,KAAK,EAAE,aAAa,CAAC;oBACnB,GAAG,SAAS,CAAC,KAAK;oBAClB,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC5D,CAAC;aACH;SACF;QACD,UAAU,EAAE,UAAU,CAAC,UAAU;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAuB;IAClD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAC5C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CACvC,CAAC;QACF,OAAO,CACL,UAAU,CAAC,MAAM,GAAG,CAAC;YACrB,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,SAAuB,EACvB,OAAmC,EACnC,KAA4B;IAE5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAAE,OAAO,WAAW,EAAE,CAAC;IACzD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE;YAClE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC,CAAC;QACH,OAAO,KAAK,IAAI,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,IAAI,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC;YACtD,OAAO,WAAW,EAAE,CAAC;QACvB,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtE,IAAI,MAAM;gBAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;YAC5D,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE;gBAC/D,YAAY,EAAE,KAAK,CAAC,YAAY;aACjC,CAAC,CAAC;YACH,IAAI,OAAO;gBAAE,OAAO,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAClE,CAAC;QACD,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC;QAC7B,OAAO,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACjC,OAAO,wBAAwB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;QAC9B,OAAO,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,eAAe,CAAC,SAAS,CAAC;QAC5B,OAAO,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACjC,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,IAAI;SACjB,CAAC;IACJ,IAAI,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;QACrE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC7C,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAClC,OAAO,kBAAkB,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACjE,OAAO,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,OAAmC,EACnC,KAA4B;IAE5B,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE;QACtE,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa;QACxC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC,aAAa,EAAE,OAAO,EAAE;YACnD,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC;QACJ,CAAC,CAAC,WAAW,EAAE,CAAC;IAClB,MAAM,SAAS,GAAG,oBAAoB,CACpC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAC9D,OAAO,WAAW,CAAC,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;IACvE,CAAC;IACD,OAAO;QACL,SAAS,EAAE;YACT;gBACE,MAAM,EAAE;oBACN,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,qGAAqG;oBACrG,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,UAAU;iBACjB;gBACD,KAAK,EAAE,aAAa,CAAC;oBACnB,GAAG,SAAS,CAAC,KAAK;oBAClB,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;oBAC3D,GAAG,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;iBAC5D,CAAC;aACH;SACF;QACD,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,SAA6B,EAC7B,OAAmC,EACnC,KAA4B;IAE5B,MAAM,YAAY,GAAG,oBAAoB,CACvC,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,KAAK,CAAC,MAAM,CACb,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAIR,EAAE,CAAC;IACT,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE;YAChE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YACT,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,IAAI,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU;YACtE,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,KAAK,GACT,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAC/D,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK;YACR,OAAO;gBACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;gBAClD,UAAU,EAAE,KAAK;aAClB,CAAC;QACJ,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;YAC3D,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ;SACpB,KAAK,EAAE;SACP,OAAO,EAAE;SACT,MAAM,CAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,YAAY,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,qGAAqG;YACrG,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,QAAQ;SACf,CAAC;IACJ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;IACvB,OAAO;QACL,SAAS,EACP,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAClD,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,MAAM;oBACN,KAAK,EAAE,aAAa,CAAC;wBACnB,GAAG,YAAY,CAAC,KAAK;wBACrB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;wBAC7C,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAC5D;qBACF,CAAC;iBACH;aACF;QACP,UAAU,EACR,QAAQ,CAAC,MAAM,GAAG,CAAC;YACnB,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KACvD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,SAA0B,EAC1B,OAAmC,EACnC,KAA4B;IAE5B,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,sBAAsB,CACtC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAC7B,OAAO,EACP;QACE,GAAG,KAAK;QACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9B,CACF,CAAC;IACF,MAAM,aAAa,GAAG,SAAS,CAAC,YAAY;QAC1C,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE;YACjE,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;SAC9B,CAAC;QACJ,CAAC,CAAC,WAAW,EAAE,CAAC;IAClB,IAAI,CAAC,SAAS,IAAI,CAAC,aAAa;QAC9B,OAAO;YACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;YAClD,UAAU,EAAE,KAAK;SAClB,CAAC;IACJ,OAAO;QACL,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,aAAa,CAAC,SAAS,CAAC;QAC/D,UAAU,EAAE,SAAS,CAAC,UAAU,IAAI,aAAa,CAAC,UAAU;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAAuB,EACvB,OAAmC;IAEnC,IAAI,aAAa,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,WAAW,GAAG,aAAa,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACxE,OAAO;QACL,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;YAC5C,KAAK,EAAE,EAAE;SACV,CAAC,CAAC;QACH,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,QAAqD,EACrD,OAAmC;IAEnC,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAE3B,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,MAAM;QACX,CAAC,CAAC,0BAA0B,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,SAAuB,EACvB,OAAmC;IAEnC,OAAO;QACL,SAAS,EAAE,iBAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;QAClD,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAmC,EACnC,OAAmC;IAEnC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YACnE,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC5C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1D,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE;gBAC5C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,uBAAuB,CAAC,SAAS,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,WAAW,CAAC,UAAU,GAAG,KAAK;IACrC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,cAAc,CACrB,UAAyB;IAEzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACvD,IACE,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAC/B,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,UAAU,CAAC;QAE1C,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAQ,EAAE;QACzC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/extract/engine/ts/types.d.ts

@@ -6,6 +6,9 @@ export interface SetterBinding {
     component: string;
     stateName: string;
     domain: AbstractDomain;
+    initial?: Value;
+    resettable?: boolean;
+    fixedEffect?: EffectIR;
 }
 export interface SetterCall {
     setter: SetterBinding;

package/dist/extract/engine/ts/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,MAAM,EACN,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAEnD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CACzB;AAED,MAAM,MAAM,aAAa,GACrB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAC;AAC1B,MAAM,MAAM,cAAc,GACtB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAC;AAC1B,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,OAAO,kBAAkB,EAAE,YAAY,EAAE,CAAC;IAChD,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACpC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,WAAW,EAAE,GACtB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC,CAAC;AAE5D,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,YAAY,EAAE,kBAAkB,EAAE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/extract/engine/ts/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,MAAM,EACN,UAAU,EACV,KAAK,EACN,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAEnD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,WAAW,CAAC,EAAE,QAAQ,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC;CACzB;AAED,MAAM,MAAM,aAAa,GACrB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAC;AAC1B,MAAM,MAAM,cAAc,GACtB,EAAE,CAAC,mBAAmB,GACtB,EAAE,CAAC,aAAa,GAChB,EAAE,CAAC,kBAAkB,CAAC;AAC1B,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,OAAO,kBAAkB,EAAE,YAAY,EAAE,CAAC;IAChD,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACpC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,WAAW,EAAE,GACtB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC,CAAC;AAE5D,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,YAAY,EAAE,kBAAkB,EAAE,CAAC"}

package/dist/extract/sources/jotai/derived-writes.d.ts

@@ -0,0 +1,11 @@
+import * as ts from "typescript";
+import type { EffectIR } from "modality-ts/core";
+export interface DerivedWriteContext {
+    atomNames: ReadonlySet<string>;
+    storeScope?: string;
+}
+export declare function summarizeDerivedWriteBody(writeFn: ts.ArrowFunction | ts.FunctionExpression, ctx: DerivedWriteContext): EffectIR | "unsupported";
+export declare function isReadFunction(expression: ts.Expression): expression is ts.ArrowFunction | ts.FunctionExpression;
+export declare function isAsyncReadFunction(expression: ts.Expression): expression is ts.ArrowFunction | ts.FunctionExpression;
+export declare function getCallsInReadFunction(readFn: ts.ArrowFunction | ts.FunctionExpression): string[];
+//# sourceMappingURL=derived-writes.d.ts.map

package/dist/extract/sources/jotai/derived-writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-writes.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/derived-writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,QAAQ,EAAiB,MAAM,kBAAkB,CAAC;AAIhE,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EACjD,GAAG,EAAE,mBAAmB,GACvB,QAAQ,GAAG,aAAa,CAoB1B;AA4GD,wBAAgB,cAAc,CAC5B,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,UAAU,IAAI,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CAExD;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,UAAU,IAAI,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,CASxD;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,GAC/C,MAAM,EAAE,CAmBV"}

package/dist/extract/sources/jotai/derived-writes.js

@@ -0,0 +1,141 @@
+import * as ts from "typescript";
+import { literalValue } from "../../engine/ts/ast.js";
+import { atomVarId } from "./ids.js";
+export function summarizeDerivedWriteBody(writeFn, ctx) {
+    const body = writeFn.body;
+    if (!ts.isBlock(body)) {
+        const effect = summarizeDerivedWriteExpression(body, writeFn, ctx);
+        return effect ?? "unsupported";
+    }
+    const effects = [];
+    for (const statement of body.statements) {
+        if (!ts.isExpressionStatement(statement))
+            return "unsupported";
+        const effect = summarizeDerivedWriteExpression(statement.expression, writeFn, ctx);
+        if (!effect)
+            return "unsupported";
+        effects.push(effect);
+    }
+    if (effects.length === 0)
+        return { kind: "seq", effects: [] };
+    if (effects.length === 1)
+        return effects[0] ?? "unsupported";
+    return { kind: "seq", effects };
+}
+function summarizeDerivedWriteExpression(expression, writeFn, ctx) {
+    if (!ts.isCallExpression(expression))
+        return undefined;
+    const callee = expression.expression;
+    if (!ts.isIdentifier(callee) || callee.text !== "set")
+        return undefined;
+    const targetArg = expression.arguments[0];
+    const valueArg = expression.arguments[1];
+    if (!targetArg || !valueArg)
+        return undefined;
+    const target = atomTargetFromExpression(targetArg, ctx);
+    if (!target)
+        return undefined;
+    const updateArg = writeFn.parameters[2];
+    const argName = updateArg && ts.isIdentifier(updateArg.name)
+        ? updateArg.name.text
+        : undefined;
+    const expr = valueExprFromSetterArg(valueArg, target, writeFn, ctx, argName);
+    if (!expr)
+        return undefined;
+    return { kind: "assign", var: target, expr };
+}
+function atomTargetFromExpression(expression, ctx) {
+    if (!ts.isIdentifier(expression))
+        return undefined;
+    if (!ctx.atomNames.has(expression.text))
+        return undefined;
+    return atomVarId(expression.text, ctx.storeScope);
+}
+function valueExprFromSetterArg(expression, targetVar, writeFn, ctx, updateArgName) {
+    const literal = literalValue(expression);
+    if (literal !== undefined)
+        return { kind: "lit", value: literal };
+    if (ts.isBinaryExpression(expression) &&
+        expression.operatorToken.kind === ts.SyntaxKind.PlusToken) {
+        const left = readExprFromGet(expression.left, writeFn, ctx);
+        const right = literalValue(expression.right);
+        if (left && typeof right === "number") {
+            return {
+                kind: "cond",
+                args: [
+                    { kind: "lit", value: true },
+                    left,
+                    { kind: "lit", value: right },
+                ],
+            };
+        }
+        if (left && right === undefined) {
+            const rightRead = readExprFromGet(expression.right, writeFn, ctx);
+            if (rightRead) {
+                return left;
+            }
+        }
+    }
+    if (ts.isIdentifier(expression) && expression.text === updateArgName) {
+        return { kind: "read", var: targetVar };
+    }
+    if ((ts.isArrowFunction(expression) || ts.isFunctionExpression(expression)) &&
+        expression.parameters.length === 1 &&
+        ts.isIdentifier(expression.parameters[0].name)) {
+        const prevName = expression.parameters[0].name.text;
+        if (!ts.isBlock(expression.body)) {
+            const inner = valueExprFromSetterArg(expression.body, targetVar, writeFn, ctx, prevName);
+            if (inner)
+                return inner;
+        }
+    }
+    const getRead = readExprFromGet(expression, writeFn, ctx);
+    if (getRead)
+        return getRead;
+    return undefined;
+}
+function readExprFromGet(expression, writeFn, ctx) {
+    if (!ts.isCallExpression(expression))
+        return undefined;
+    const getFn = writeFn.parameters[0];
+    if (!getFn || !ts.isIdentifier(getFn.name) || getFn.name.text !== "get")
+        return undefined;
+    if (!ts.isIdentifier(expression.expression))
+        return undefined;
+    if (expression.expression.text !== getFn.name.text)
+        return undefined;
+    const atomArg = expression.arguments[0];
+    if (!atomArg || !ts.isIdentifier(atomArg))
+        return undefined;
+    if (!ctx.atomNames.has(atomArg.text))
+        return undefined;
+    return { kind: "read", var: atomVarId(atomArg.text, ctx.storeScope) };
+}
+export function isReadFunction(expression) {
+    return ts.isArrowFunction(expression) || ts.isFunctionExpression(expression);
+}
+export function isAsyncReadFunction(expression) {
+    return (isReadFunction(expression) &&
+        Boolean(expression.modifiers?.some((modifier) => modifier.kind === ts.SyntaxKind.AsyncKeyword)));
+}
+export function getCallsInReadFunction(readFn) {
+    const deps = new Set();
+    const visit = (node) => {
+        if (ts.isCallExpression(node) &&
+            ts.isIdentifier(node.expression) &&
+            node.expression.text === "get") {
+            const arg = node.arguments[0];
+            if (arg && ts.isIdentifier(arg))
+                deps.add(arg.text);
+        }
+        ts.forEachChild(node, visit);
+    };
+    if (ts.isBlock(readFn.body)) {
+        ts.forEachChild(readFn.body, visit);
+    }
+    else {
+        visit(readFn.body);
+    }
+    return [...deps].sort();
+}
+//# sourceMappingURL=derived-writes.js.map

package/dist/extract/sources/jotai/derived-writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived-writes.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/derived-writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAOrC,MAAM,UAAU,yBAAyB,CACvC,OAAiD,EACjD,GAAwB;IAExB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACnE,OAAO,MAAM,IAAI,aAAa,CAAC;IACjC,CAAC;IACD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YAAE,OAAO,aAAa,CAAC;QAC/D,MAAM,MAAM,GAAG,+BAA+B,CAC5C,SAAS,CAAC,UAAU,EACpB,OAAO,EACP,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,aAAa,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC9D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,+BAA+B,CACtC,UAAyB,EACzB,OAAiD,EACjD,GAAwB;IAExB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC;IACrC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,OAAO,GACX,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;QACrB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,IAAI,GAAG,sBAAsB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAyB,EACzB,GAAwB;IAExB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAyB,EACzB,SAAiB,EACjB,OAAiD,EACjD,GAAwB,EACxB,aAAsB;IAEtB,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAgB,EAAE,CAAC;IAC3E,IACE,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACjC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EACzD,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE;oBAC5B,IAAI;oBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;iBAC9B;aACF,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YAClE,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAC1C,CAAC;IACD,IACE,CAAC,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;QACvE,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAClC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAC9C,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACpD,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,sBAAsB,CAClC,UAAU,CAAC,IAAI,EACf,SAAS,EACT,OAAO,EACP,GAAG,EACH,QAAQ,CACT,CAAC;YACF,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAC1D,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAC5B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CACtB,UAAyB,EACzB,OAAiD,EACjD,GAAwB;IAExB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACrE,OAAO,SAAS,CAAC;IACnB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACrE,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,UAAyB;IAEzB,OAAO,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAyB;IAEzB,OAAO,CACL,cAAc,CAAC,UAAU,CAAC;QAC1B,OAAO,CACL,UAAU,CAAC,SAAS,EAAE,IAAI,CACxB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC3D,CACF,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAgD;IAEhD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,EAC9B,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,GAAG,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC"}

package/dist/extract/sources/jotai/discover.d.ts

@@ -1,3 +1,19 @@
+import * as ts from "typescript";
 import type { SourceDecl } from "modality-ts/extract/engine/spi";
+import type { SourceAnchor } from "modality-ts/core";
+import { classifyAtomCall } from "./domains.js";
+export interface DiscoverJotaiResult {
+    decls: SourceDecl[];
+    warnings: {
+        message: string;
+        source?: SourceAnchor;
+    }[];
+    atomNames: Set<string>;
+    atomMetadata: Map<string, ReturnType<typeof classifyAtomCall>["metadata"]>;
+}
 export declare function discoverJotaiAtoms(sourceText: string, fileName?: string): SourceDecl[];
+export declare function discoverJotaiAtomsDetailed(sourceText: string, fileName?: string): DiscoverJotaiResult;
+export declare function duplicateAtomsForStore(decls: readonly SourceDecl[], storeScope: string): SourceDecl[];
+export declare function isAtomCall(node: ts.Expression, atomCreators: ReadonlyMap<string, string>): node is ts.CallExpression;
+export { resolveJotaiImports } from "./imports.js";
 //# sourceMappingURL=discover.d.ts.map

package/dist/extract/sources/jotai/discover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/discover.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAQjE,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAa,GACpB,UAAU,EAAE,CAyCd"}
+{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/discover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,KAAK,EAAE,YAAY,EAAgB,MAAM,kBAAkB,CAAC;AAMnE,OAAO,EACL,gBAAgB,EAIjB,MAAM,cAAc,CAAC;AAStB,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,QAAQ,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,YAAY,CAAA;KAAE,EAAE,CAAC;IACvD,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;CAC5E;AAED,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAa,GACpB,UAAU,EAAE,CAEd;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAa,GACpB,mBAAmB,CA4JrB;AA4CD,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAgBd;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,IAAI,IAAI,EAAE,CAAC,cAAc,CAE3B;AAED,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC"}

package/dist/extract/sources/jotai/discover.js

@@ -1,65 +1,182 @@
 import * as ts from "typescript";
-import { inferAtomDomain, initialValueForAtom, typeAliasDeclarations, } from "./domains.js";
+import { atomCreatorName, isAtomCreatorCall, resolveJotaiImports, } from "./imports.js";
+import { classifyAtomCall, classifyFamilyInstance, staticFamilyParam, typeAliasDeclarations, } from "./domains.js";
+import { atomVarId, familyVarId } from "./ids.js";
+import { metadataToRecord } from "./types.js";
+import { applyHydrationOverrides, discoverHydrationOverrides, } from "./hydration.js";
+import { discoverComponentStoreScopes } from "./stores.js";
 export function discoverJotaiAtoms(sourceText, fileName = "state.ts") {
+    return discoverJotaiAtomsDetailed(sourceText, fileName).decls;
+}
+export function discoverJotaiAtomsDetailed(sourceText, fileName = "state.ts") {
     const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
-    const importedAtomNames = atomImportNames(source);
-    if (importedAtomNames.size === 0)
-        return [];
+    const imports = resolveJotaiImports(source);
+    if (imports.atomCreators.size === 0)
+        return emptyDiscoverResult();
     const typeAliases = typeAliasDeclarations(source);
+    const warnings = [];
+    const atomMetadata = new Map();
+    const atomNames = new Set();
+    const familyFactories = new Map();
     const decls = [];
     const visit = (node) => {
         if (ts.isVariableDeclaration(node) &&
             ts.isIdentifier(node.name) &&
             node.initializer &&
-            isAtomCall(node.initializer, importedAtomNames)) {
-            const origin = { file: fileName, ...lineAndColumn(source, node) };
-            const domain = inferAtomDomain(node.initializer, typeAliases);
-            const variable = {
-                id: `atom:${node.name.text}`,
-                domain,
-                origin,
-                scope: { kind: "global" },
-                initial: initialValueForAtom(node.initializer, domain),
-            };
-            decls.push({
-                id: variable.id,
-                kind: "jotai/atom",
-                var: variable,
-                origin,
-                metadata: { atomName: node.name.text },
-            });
+            isAtomCreatorCall(node.initializer, imports.atomCreators)) {
+            const atomName = node.name.text;
+            const creator = atomCreatorName(node.initializer, imports.atomCreators);
+            if (creator === "atomFamily") {
+                familyFactories.set(atomName, node.initializer);
+                const classification = classifyAtomCall(node.initializer, atomName, imports, typeAliases);
+                atomMetadata.set(atomName, classification.metadata);
+                if (classification.warning) {
+                    warnings.push({
+                        message: classification.warning,
+                        source: anchor(source, fileName, node),
+                    });
+                }
+            }
+            else {
+                const classification = classifyAtomCall(node.initializer, atomName, imports, typeAliases);
+                atomNames.add(atomName);
+                atomMetadata.set(atomName, classification.metadata);
+                if (classification.warning) {
+                    warnings.push({
+                        message: classification.warning,
+                        source: anchor(source, fileName, node),
+                    });
+                }
+                if (classification.emitVar) {
+                    decls.push(atomDecl(node, atomName, classification, fileName, source));
+                }
+            }
+        }
+        if (ts.isCallExpression(node) &&
+            ts.isIdentifier(node.expression) &&
+            familyFactories.has(node.expression.text)) {
+            const familyName = node.expression.text;
+            const paramArg = node.arguments[0];
+            if (!paramArg)
+                return;
+            const staticParam = staticFamilyParam(paramArg);
+            if (!staticParam) {
+                warnings.push({
+                    message: `Jotai dynamic atom family param unsupported for ${familyName}`,
+                    source: anchor(source, fileName, node),
+                });
+            }
+            else {
+                const familyCall = familyFactories.get(familyName);
+                const initializer = familyCall?.arguments[0];
+                let innerCall;
+                if (initializer &&
+                    (ts.isArrowFunction(initializer) ||
+                        ts.isFunctionExpression(initializer))) {
+                    const body = initializer.body;
+                    if (ts.isCallExpression(body) &&
+                        isAtomCreatorCall(body, imports.atomCreators)) {
+                        innerCall = body;
+                    }
+                    else if (ts.isBlock(body)) {
+                        for (const stmt of body.statements) {
+                            if (ts.isReturnStatement(stmt) &&
+                                stmt.expression &&
+                                ts.isCallExpression(stmt.expression) &&
+                                isAtomCreatorCall(stmt.expression, imports.atomCreators)) {
+                                innerCall = stmt.expression;
+                                break;
+                            }
+                        }
+                    }
+                }
+                if (innerCall) {
+                    const classification = classifyFamilyInstance(familyName, staticParam, innerCall, typeAliases);
+                    const varId = familyVarId(familyName, staticParam);
+                    atomNames.add(varId);
+                    atomMetadata.set(varId, classification.metadata);
+                    decls.push({
+                        id: varId,
+                        kind: "jotai/atom-family",
+                        var: {
+                            id: varId,
+                            domain: classification.domain,
+                            origin: anchor(source, fileName, node),
+                            scope: { kind: "global" },
+                            initial: classification.initial,
+                        },
+                        origin: anchor(source, fileName, node),
+                        metadata: metadataToRecord(classification.metadata),
+                    });
+                }
+            }
         }
         ts.forEachChild(node, visit);
     };
     visit(source);
-    return decls;
-}
-function atomImportNames(source) {
-    const names = new Set();
-    for (const statement of source.statements) {
-        if (!ts.isImportDeclaration(statement) ||
-            !isJotaiModule(statement.moduleSpecifier))
-            continue;
-        const bindings = statement.importClause?.namedBindings;
-        if (!bindings || !ts.isNamedImports(bindings))
-            continue;
-        for (const specifier of bindings.elements) {
-            if ((specifier.propertyName?.text ?? specifier.name.text) === "atom")
-                names.add(specifier.name.text);
-        }
+    const hydration = discoverHydrationOverrides(source, fileName, imports);
+    for (const warning of hydration.warnings)
+        warnings.push(warning);
+    const hydratedDecls = applyHydrationOverrides(decls, hydration.overrides);
+    const componentStoreScopes = discoverComponentStoreScopes(source, imports);
+    const storeScopedDecls = [];
+    for (const storeScope of new Set(componentStoreScopes.values())) {
+        storeScopedDecls.push(...duplicateAtomsForStore(hydratedDecls, storeScope));
     }
-    return names;
-}
-function isJotaiModule(moduleSpecifier) {
-    return (ts.isStringLiteral(moduleSpecifier) && moduleSpecifier.text === "jotai");
+    return {
+        decls: [...hydratedDecls, ...storeScopedDecls],
+        warnings,
+        atomNames,
+        atomMetadata,
+    };
 }
-function isAtomCall(node, atomNames) {
-    return (ts.isCallExpression(node) &&
-        ts.isIdentifier(node.expression) &&
-        atomNames.has(node.expression.text));
+function atomDecl(node, atomName, classification, fileName, source) {
+    const origin = anchor(source, fileName, node);
+    const variable = {
+        id: atomVarId(atomName),
+        domain: classification.domain,
+        origin,
+        scope: { kind: "global" },
+        initial: classification.initial,
+    };
+    return {
+        id: variable.id,
+        kind: "jotai/atom",
+        var: variable,
+        origin,
+        metadata: metadataToRecord(classification.metadata),
+    };
 }
-function lineAndColumn(source, node) {
+function anchor(source, fileName, node) {
     const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
-    return { line: pos.line + 1, column: pos.character + 1 };
+    return { file: fileName, line: pos.line + 1, column: pos.character + 1 };
+}
+function emptyDiscoverResult() {
+    return {
+        decls: [],
+        warnings: [],
+        atomNames: new Set(),
+        atomMetadata: new Map(),
+    };
+}
+export function duplicateAtomsForStore(decls, storeScope) {
+    return decls
+        .filter((decl) => decl.var && decl.kind.startsWith("jotai/"))
+        .map((decl) => {
+        const atomName = typeof decl.metadata?.atomName === "string"
+            ? decl.metadata.atomName
+            : decl.var.id.replace(/^atom:/, "").replace(/@store:.+$/, "");
+        const varId = atomVarId(atomName, storeScope);
+        return {
+            ...decl,
+            id: varId,
+            var: { ...decl.var, id: varId },
+            metadata: { ...decl.metadata, storeScope },
+        };
+    });
+}
+export function isAtomCall(node, atomCreators) {
+    return isAtomCreatorCall(node, atomCreators);
 }
+export { resolveJotaiImports } from "./imports.js";
 //# sourceMappingURL=discover.js.map