modality-ts 0.0.8 → 0.0.10

package/dist/extract/sources/jotai/domains.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domains.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/domains.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,aAAa,GAGd,MAAM,kBAAkB,CAAC;AAE1B,MAAM,UAAU,eAAe,CAC7B,IAAuB,EACvB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,OAAO;QAAE,OAAO,uBAAuB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClD,IACE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC1C,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;YACzB,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SAC1B,CAAC;IACJ,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACvE,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACvC,OAAO,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAuB,EACvB,MAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,OAAO;QAAE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAC7C,OAAO,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;QAC7B,OAAO,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC9B,OAAO,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAC5C,OAAO,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,EAAE,CAAC,wBAAwB,CAAC,OAAO,CAAC;QACtC,OAAO,mBAAmB,CACxB,MAAM,EACN,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAC7B,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,MAAM,CACb,CAAC;IACJ,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACvC,OAAO,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB,EAAE,KAAY;IAC/D,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAA6B,EAC7B,cAAgD,IAAI,GAAG,EAAE;IAEzD,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACtC,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,IAA0B,CAAC,CAAC;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,eAAe,CAAC,IAAwB,EAAE,WAAW,CAAC,CAAC;QAChE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,qBAAqB,CAAC,IAA0B,CAAC,CAAC;QAC3D,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YAC1B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,uBAAuB,CAAC,IAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAwB;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;IACzB,IACE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACtC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAEvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACzE,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,IAAsB,EACtB,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAC/B,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,CAAC,CACC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAChD,CACJ,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC7B,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACrD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;;YACnE,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAC5C,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;YAC/B,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;SAChC,CAAC;IACJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACjE,IACE,CAAC,IAAI,CAAC,IAAI;gBACV,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC3B,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAChC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;gBAEtC,SAAS;YACX,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACnE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAChC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,QAAQ,GAAmC,EAAE,CAAC;IACpD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,IAAI,EAAgC,EAAE,CACrC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CACzB,CAAC;QACF,IACE,CAAC,OAAO,EAAE,IAAI;YACd,CAAC,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YACnC,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAEzC,OAAO,SAAS,CAAC;QACnB,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAwB,EACxB,SAAkB;IAElB,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC/B,CAAC,MAAM,CAAC,IAAI;YACZ,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YAE9B,SAAS;QACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAgC;IAEhC,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAExC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SACvB,CAAC;IACJ,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IACjE,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACpE,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC7E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAA0B,EAC1B,cAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK;QAAE,OAAO,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC9D,IACE,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,eAAe,CAAC;QAC9C,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC;QAEhC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAgC,EAChC,MAAsB;IAEtB,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5E,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;QACzD,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAC/B,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAC1B,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,MAAM,CAAC;IACf,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QACpC,OAAO,sBAAsB,CAAC,IAAI,EAAE,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,UAAU,CAAC,MAAsB;IACxC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;gBAClD,GAAG;gBACH,UAAU,CAAC,KAAK,CAAC;aAClB,CAAC,CACH,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;gBAChE,SAAS;gBACT,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAW;aACxC,CAAC;YACF,OAAO,EAAE,GAAI,UAAU,CAAC,OAAO,CAAY,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;QACxE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,GAAG,CAAC;QACb,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/{sources → extract/sources}/jotai/harness.d.ts

@@ -1,5 +1,5 @@
-import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extraction/spi";
-import type { AbstractDomain, ModelState, Value } from "modality-ts/kernel";
+import type { HarnessCtx, HarnessHooks, ObservedRead, WitnessFactory } from "modality-ts/extract/engine/spi";
+import type { AbstractDomain, ModelState, Value } from "modality-ts/core";
 export interface JotaiHarnessHooks extends HarnessHooks {
     initialState: ModelState;
     atoms?: Record<string, unknown>;

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

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,cAAc,EACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE1E,MAAM,WAAW,iBAAkB,SAAQ,YAAY;IACrD,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,KAAK,CAAC,EAAE;QACN,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,KAAK,CAAC;KAC3B,CAAC;CACH;AAED,wBAAgB,KAAK,CACnB,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,iBAAiB,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,GACpE,iBAAiB,CAMnB;AAED,wBAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,YAAY,GACpB,YAAY,GAAG,cAAc,CAQ/B;AAED,wBAAgB,OAAO,CACrB,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,MAAM,GACb,cAAc,GAAG,SAAS,CAE5B"}

package/dist/{sources → extract/sources}/jotai/harness.js

@@ -2,7 +2,7 @@ export function setup(ctx) {
     return {
         initialState: ctx.initialState ?? {},
         ...(ctx.atoms ? { atoms: ctx.atoms } : {}),
-        ...(ctx.store ? { store: ctx.store } : {})
+        ...(ctx.store ? { store: ctx.store } : {}),
     };
 }
 export function observe(varId, handles) {

package/dist/extract/sources/jotai/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/harness.ts"],"names":[],"mappings":"AAgBA,MAAM,UAAU,KAAK,CACnB,GAAqE;IAErE,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY,IAAI,EAAE;QACpC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAG,OAA4B,CAAC;IAC3C,MAAM,IAAI,GACR,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IACrE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK;QACnC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1C,IAAI,KAAK,IAAI,KAAK,CAAC,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAE,EAAE,CAAC;IAC9E,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAuB,EACvB,MAAc;IAEd,OAAO,SAAS,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,4 @@
+export { jotaiSource, default } from "./plugin.js";
+export { extractJotaiSkeleton } from "./transitions.js";
+export type { JotaiExtractionOptions } from "./transitions.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,3 @@
+export { jotaiSource, default } from "./plugin.js";
+export { extractJotaiSkeleton } from "./transitions.js";
+//# sourceMappingURL=index.js.map

package/dist/extract/sources/jotai/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { StateSourcePlugin } from "modality-ts/extract/engine/spi";
+export declare function jotaiSource(): StateSourcePlugin;
+export default jotaiSource;
+//# sourceMappingURL=plugin.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/plugin.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAQxE,wBAAgB,WAAW,IAAI,iBAAiB,CAe/C;AAED,eAAe,WAAW,CAAC"}

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

@@ -0,0 +1,19 @@
+import * as harness from "./harness.js";
+import { discoverJotaiAtoms } from "./discover.js";
+import { discoverJotaiSafetyWarnings, discoverJotaiWriteChannels, } from "./writes.js";
+export function jotaiSource() {
+    return {
+        id: "jotai",
+        version: "0.1.0",
+        packageNames: ["jotai"],
+        discover: (ctx) => discoverJotaiAtoms(ctx.sourceText, ctx.fileName),
+        writeChannels: (ctx) => discoverJotaiWriteChannels(ctx.sourceText, ctx.fileName),
+        safetyWarnings: (ctx) => discoverJotaiSafetyWarnings(ctx.sourceText, ctx.fileName),
+        harness,
+        conformance: {
+            testedVersions: "jotai>=2",
+        },
+    };
+}
+export default jotaiSource;
+//# sourceMappingURL=plugin.js.map

package/dist/extract/sources/jotai/plugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/plugin.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AAErB,MAAM,UAAU,WAAW;IACzB,OAAO;QACL,EAAE,EAAE,OAAO;QACX,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,CAAC,OAAO,CAAC;QACvB,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QACnE,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CACrB,0BAA0B,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC1D,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CACtB,2BAA2B,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC3D,OAAO;QACP,WAAW,EAAE;YACX,cAAc,EAAE,UAAU;SAC3B;KACF,CAAC;AACJ,CAAC;AAED,eAAe,WAAW,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { StateVarDecl } from "modality-ts/core";
+import type { RouterPlugin, StateSourcePlugin, WriteChannel } from "modality-ts/extract/engine/spi";
+import type { ExtractedModelSkeleton } from "../use-state/types.js";
+export interface JotaiExtractionOptions {
+    route?: string;
+    fileName?: string;
+    effectApis?: readonly string[];
+    routePatterns?: readonly string[];
+    stateVars?: readonly StateVarDecl[];
+    writeChannels?: readonly WriteChannel[];
+    sourcePlugins?: readonly StateSourcePlugin[];
+    routerPlugin?: RouterPlugin;
+}
+export declare function extractJotaiSkeleton(sourceText: string, options?: JotaiExtractionOptions): ExtractedModelSkeleton;
+//# sourceMappingURL=transitions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACb,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAQpE,MAAM,WAAW,sBAAsB;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,sBAA2B,GACnC,sBAAsB,CAwCxB"}

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

@@ -0,0 +1,44 @@
+import { extractSharedReactTransitions } from "../shared/react-transition-extract.js";
+import { discoverJotaiAtoms } from "./discover.js";
+import { discoverJotaiSafetyWarnings, discoverJotaiWriteChannels, } from "./writes.js";
+import { jotaiSource } from "./plugin.js";
+export function extractJotaiSkeleton(sourceText, options = {}) {
+    const fileName = options.fileName ?? "App.tsx";
+    const route = options.route ?? "/";
+    const discovered = discoverJotaiAtoms(sourceText, fileName);
+    const vars = [
+        ...discovered
+            .map((decl) => decl.var)
+            .filter((decl) => Boolean(decl)),
+        ...(options.stateVars ?? []),
+    ];
+    const writeChannels = [
+        ...discoverJotaiWriteChannels(sourceText, fileName),
+        ...(options.writeChannels ?? []),
+    ];
+    const sourcePlugins = [
+        jotaiSource(),
+        ...(options.sourcePlugins ?? []),
+    ];
+    const safetyWarnings = discoverJotaiSafetyWarnings(sourceText, fileName).map((warning) => ({
+        message: warning.message,
+        ...(warning.source ? { line: warning.source.line } : {}),
+    }));
+    const { transitions, warnings = [] } = extractSharedReactTransitions({
+        sourceText,
+        fileName,
+        route,
+        effectApis: options.effectApis ?? [],
+        routePatterns: options.routePatterns ?? [],
+        stateVars: vars,
+        ...(writeChannels.length > 0 ? { writeChannels } : {}),
+        sourcePlugins,
+        ...(options.routerPlugin ? { routerPlugin: options.routerPlugin } : {}),
+    });
+    return {
+        vars,
+        transitions: [...transitions],
+        warnings: [...safetyWarnings, ...warnings],
+    };
+}
+//# sourceMappingURL=transitions.js.map

package/dist/extract/sources/jotai/transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/transitions.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,6BAA6B,EAAE,MAAM,uCAAuC,CAAC;AAEtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAa1C,MAAM,UAAU,oBAAoB,CAClC,UAAkB,EAClB,UAAkC,EAAE;IAEpC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAC;IACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG;QACX,GAAG,UAAU;aACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACvB,MAAM,CAAC,CAAC,IAAI,EAAwB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;KAC7B,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,GAAG,0BAA0B,CAAC,UAAU,EAAE,QAAQ,CAAC;QACnD,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;KACjC,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,WAAW,EAAE;QACb,GAAG,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;KACjC,CAAC;IACF,MAAM,cAAc,GAAG,2BAA2B,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,GAAG,CAC1E,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACZ,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzD,CAAC,CACH,CAAC;IACF,MAAM,EAAE,WAAW,EAAE,QAAQ,GAAG,EAAE,EAAE,GAAG,6BAA6B,CAAC;QACnE,UAAU;QACV,QAAQ;QACR,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,EAAE;QAC1C,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,aAAa;QACb,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;QAC7B,QAAQ,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,QAAQ,CAAC;KAC3C,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,8 @@
+import type { WriteChannel } from "modality-ts/extract/engine/spi";
+import type { SourceAnchor } from "modality-ts/core";
+export declare function discoverJotaiSafetyWarnings(sourceText: string, fileName?: string): {
+    message: string;
+    source?: SourceAnchor;
+}[];
+export declare function discoverJotaiWriteChannels(sourceText: string, fileName?: string): WriteChannel[];
+//# sourceMappingURL=writes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"writes.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/writes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAa,GACpB;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAE,EAAE,CA2B9C;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAa,GACpB,YAAY,EAAE,CAmHhB"}

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

@@ -0,0 +1,173 @@
+import * as ts from "typescript";
+export function discoverJotaiSafetyWarnings(sourceText, fileName = "state.ts") {
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const warnings = [];
+    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) {
+            const imported = specifier.propertyName?.text ?? specifier.name.text;
+            if (imported !== "getDefaultStore")
+                continue;
+            warnings.push({
+                message: "Global taint jotai:getDefaultStore",
+                source: { file: fileName, ...lineAndColumn(source, specifier) },
+            });
+        }
+    }
+    return warnings;
+}
+export function discoverJotaiWriteChannels(sourceText, fileName = "state.ts") {
+    const source = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true, ts.ScriptKind.TSX);
+    const setters = setAtomImportNames(source);
+    const defaultStoreGetters = getDefaultStoreImportNames(source);
+    if (setters.useAtom.size === 0 &&
+        setters.useSetAtom.size === 0 &&
+        defaultStoreGetters.size === 0)
+        return [];
+    const channels = [];
+    const defaultStoreNames = new Set();
+    const visit = (node) => {
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            isGetDefaultStoreCall(node.initializer, defaultStoreGetters)) {
+            defaultStoreNames.add(node.name.text);
+        }
+        if (ts.isVariableDeclaration(node) &&
+            ts.isArrayBindingPattern(node.name) &&
+            node.initializer &&
+            isUseAtomLikeCall(node.initializer, setters.useAtom)) {
+            const atomArg = node.initializer.arguments[0];
+            const reader = node.name.elements[0];
+            const setter = node.name.elements.at(-1);
+            if (atomArg &&
+                ts.isIdentifier(atomArg) &&
+                reader &&
+                ts.isBindingElement(reader) &&
+                ts.isIdentifier(reader.name)) {
+                channels.push({
+                    id: `atom:${atomArg.text}.read`,
+                    varId: `atom:${atomArg.text}`,
+                    symbolName: reader.name.text,
+                    source: {
+                        file: fileName,
+                        ...lineAndColumn(source, node),
+                    },
+                });
+            }
+            if (atomArg &&
+                ts.isIdentifier(atomArg) &&
+                setter &&
+                ts.isBindingElement(setter) &&
+                ts.isIdentifier(setter.name)) {
+                channels.push({
+                    id: `atom:${atomArg.text}.setter`,
+                    varId: `atom:${atomArg.text}`,
+                    symbolName: setter.name.text,
+                    source: {
+                        file: fileName,
+                        ...lineAndColumn(source, node),
+                    },
+                });
+            }
+        }
+        if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.initializer &&
+            isUseAtomLikeCall(node.initializer, setters.useSetAtom)) {
+            const atomArg = node.initializer.arguments[0];
+            if (atomArg && ts.isIdentifier(atomArg)) {
+                channels.push({
+                    id: `atom:${atomArg.text}.setter`,
+                    varId: `atom:${atomArg.text}`,
+                    symbolName: node.name.text,
+                    source: {
+                        file: fileName,
+                        ...lineAndColumn(source, node),
+                    },
+                });
+            }
+        }
+        if (ts.isCallExpression(node) &&
+            ts.isPropertyAccessExpression(node.expression) &&
+            node.expression.name.text === "set" &&
+            ts.isIdentifier(node.expression.expression) &&
+            defaultStoreNames.has(node.expression.expression.text)) {
+            const atomArg = node.arguments[0];
+            if (atomArg && ts.isIdentifier(atomArg)) {
+                channels.push({
+                    id: `atom:${atomArg.text}.store-set`,
+                    varId: `atom:${atomArg.text}`,
+                    symbolName: `${node.expression.expression.text}.set:${atomArg.text}`,
+                    source: {
+                        file: fileName,
+                        ...lineAndColumn(source, node),
+                    },
+                });
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(source);
+    return channels;
+}
+function getDefaultStoreImportNames(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) {
+            const imported = specifier.propertyName?.text ?? specifier.name.text;
+            if (imported === "getDefaultStore")
+                names.add(specifier.name.text);
+        }
+    }
+    return names;
+}
+function setAtomImportNames(source) {
+    const useAtom = new Set();
+    const useSetAtom = 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) {
+            const imported = specifier.propertyName?.text ?? specifier.name.text;
+            if (imported === "useAtom")
+                useAtom.add(specifier.name.text);
+            if (imported === "useSetAtom")
+                useSetAtom.add(specifier.name.text);
+        }
+    }
+    return { useAtom, useSetAtom };
+}
+function isJotaiModule(moduleSpecifier) {
+    return (ts.isStringLiteral(moduleSpecifier) && moduleSpecifier.text === "jotai");
+}
+function isUseAtomLikeCall(node, names) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        names.has(node.expression.text));
+}
+function isGetDefaultStoreCall(node, names) {
+    return (ts.isCallExpression(node) &&
+        ts.isIdentifier(node.expression) &&
+        names.has(node.expression.text));
+}
+function lineAndColumn(source, node) {
+    const pos = source.getLineAndCharacterOfPosition(node.getStart(source));
+    return { line: pos.line + 1, column: pos.character + 1 };
+}
+//# sourceMappingURL=writes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"writes.js","sourceRoot":"","sources":["../../../../src/extract/sources/jotai/writes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,MAAM,UAAU,2BAA2B,CACzC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,QAAQ,GAAiD,EAAE,CAAC;IAClE,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;YAEzC,SAAS;QACX,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACrE,IAAI,QAAQ,KAAK,iBAAiB;gBAAE,SAAS;YAC7C,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,oCAAoC;gBAC7C,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE;aAChE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAkB,EAClB,QAAQ,GAAG,UAAU;IAErB,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAChC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,GAAG,CAClB,CAAC;IACF,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAC/D,IACE,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC;QAC1B,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC7B,mBAAmB,CAAC,IAAI,KAAK,CAAC;QAE9B,OAAO,EAAE,CAAC;IAEZ,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,EAC5D,CAAC;YACD,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,CAAC,WAAW;YAChB,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,EACpD,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,IACE,OAAO;gBACP,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;gBACxB,MAAM;gBACN,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;gBAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAC5B,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,QAAQ,OAAO,CAAC,IAAI,OAAO;oBAC/B,KAAK,EAAE,QAAQ,OAAO,CAAC,IAAI,EAAE;oBAC7B,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;oBAC5B,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;qBACR;iBACzB,CAAC,CAAC;YACL,CAAC;YACD,IACE,OAAO;gBACP,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;gBACxB,MAAM;gBACN,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;gBAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAC5B,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,QAAQ,OAAO,CAAC,IAAI,SAAS;oBACjC,KAAK,EAAE,QAAQ,OAAO,CAAC,IAAI,EAAE;oBAC7B,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;oBAC5B,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;qBACR;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,EACvD,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,OAAO,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,QAAQ,OAAO,CAAC,IAAI,SAAS;oBACjC,KAAK,EAAE,QAAQ,OAAO,CAAC,IAAI,EAAE;oBAC7B,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBAC1B,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;qBACR;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;YAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACnC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;YAC3C,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EACtD,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,OAAO,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,QAAQ,OAAO,CAAC,IAAI,YAAY;oBACpC,KAAK,EAAE,QAAQ,OAAO,CAAC,IAAI,EAAE;oBAC7B,UAAU,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,QAAQ,OAAO,CAAC,IAAI,EAAE;oBACpE,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;qBACR;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,CAAC;IACd,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,0BAA0B,CAAC,MAAqB;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;YAEzC,SAAS;QACX,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACrE,IAAI,QAAQ,KAAK,iBAAiB;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAqB;IAI/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YAClC,CAAC,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;YAEzC,SAAS;QACX,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC;QACvD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QACxD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACrE,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,IAAI,QAAQ,KAAK,YAAY;gBAAE,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,aAAa,CAAC,eAA8B;IACnD,OAAO,CACL,EAAE,CAAC,eAAe,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,CACxE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAmB,EACnB,KAAkB;IAElB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAmB,EACnB,KAAkB;IAElB,OAAO,CACL,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAChC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAqB,EACrB,IAAa;IAEb,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;AAC3D,CAAC"}

package/dist/{sources → extract/sources}/router/harness.d.ts

@@ -1,4 +1,4 @@
-import type { HarnessCtx, HarnessHooks, ObservedRead } from "modality-ts/extraction/spi";
+import type { HarnessCtx, HarnessHooks, ObservedRead } from "modality-ts/extract/engine/spi";
 export interface RouterHarnessHooks extends HarnessHooks {
     route: string;
     history: string[];

package/dist/extract/sources/router/harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/harness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EACZ,YAAY,EACb,MAAM,gCAAgC,CAAC;AAGxC,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,wBAAgB,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,kBAAkB,CAUzD;AAED,wBAAgB,OAAO,CACrB,OAAO,EAAE,YAAY,EACrB,KAAK,SAAc,GAClB,YAAY,GAAG,cAAc,CAK/B;AAED,wBAAgB,QAAQ,CACtB,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,EACjC,EAAE,CAAC,EAAE,MAAM,GACV,IAAI,CAUN"}

package/dist/{sources → extract/sources}/router/harness.js

@@ -1,7 +1,11 @@
 export function setup(ctx) {
     return {
-        route: typeof ctx.initialState?.["sys:route"] === "string" ? ctx.initialState["sys:route"] : "/",
-        history: Array.isArray(ctx.initialState?.["sys:history"]) ? [...ctx.initialState["sys:history"].filter(isString)] : []
+        route: typeof ctx.initialState?.["sys:route"] === "string"
+            ? ctx.initialState["sys:route"]
+            : "/",
+        history: Array.isArray(ctx.initialState?.["sys:history"])
+            ? [...ctx.initialState["sys:history"].filter(isString)]
+            : [],
     };
 }
 export function observe(handles, varId = "sys:route") {

package/dist/extract/sources/router/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/harness.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,KAAK,CAAC,GAAe;IACnC,OAAO;QACL,KAAK,EACH,OAAO,GAAG,CAAC,YAAY,EAAE,CAAC,WAAW,CAAC,KAAK,QAAQ;YACjD,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,WAAW,CAAC;YAC/B,CAAC,CAAC,GAAG;QACT,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,aAAa,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACvD,CAAC,CAAC,EAAE;KACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAAqB,EACrB,KAAK,GAAG,WAAW;IAEnB,MAAM,MAAM,GAAG,OAA6B,CAAC;IAC7C,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC1D,IAAI,KAAK,KAAK,aAAa;QAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IAC9D,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,OAAqB,EACrB,IAAiC,EACjC,EAAW;IAEX,MAAM,MAAM,GAAG,OAA6B,CAAC;IAC7C,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACtC,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC;QACpD,OAAO;IACT,CAAC;IACD,IAAI,CAAC,EAAE;QAAE,OAAO;IAChB,IAAI,IAAI,KAAK,MAAM;QAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC"}

package/dist/extract/sources/router/index.d.ts

@@ -0,0 +1,9 @@
+import type { RouterPlugin } from "modality-ts/extract/engine/spi";
+export interface RouterSourceOptions {
+    id?: string;
+    packageNames?: readonly string[];
+    historyMaxLen?: number;
+}
+export declare function routerSource(options?: RouterSourceOptions): RouterPlugin;
+export default routerSource;
+//# sourceMappingURL=index.d.ts.map

package/dist/extract/sources/router/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAKnE,MAAM,WAAW,mBAAmB;IAClC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,YAAY,CAAC,OAAO,GAAE,mBAAwB,GAAG,YAAY,CAiB5E;AAED,eAAe,YAAY,CAAC"}

package/dist/extract/sources/router/index.js

@@ -0,0 +1,22 @@
+import * as harness from "./harness.js";
+import { navigationCall } from "./navigation.js";
+import { routeVars } from "./routes.js";
+export function routerSource(options = {}) {
+    const historyMaxLen = options.historyMaxLen ?? 4;
+    return {
+        id: options.id ?? "router",
+        version: "0.1.0",
+        packageNames: options.packageNames ?? ["react-router", "react-router-dom"],
+        routeVars: (routes, resolvedOptions) => routeVars(routes, {
+            ...resolvedOptions,
+            bounds: {
+                ...resolvedOptions.bounds,
+                maxHistory: resolvedOptions.bounds?.maxHistory ?? historyMaxLen,
+            },
+        }),
+        navigationCall,
+        harness,
+    };
+}
+export default routerSource;
+//# sourceMappingURL=index.js.map

package/dist/extract/sources/router/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAQxC,MAAM,UAAU,YAAY,CAAC,UAA+B,EAAE;IAC5D,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,QAAQ;QAC1B,OAAO,EAAE,OAAO;QAChB,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC;QAC1E,SAAS,EAAE,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,CACrC,SAAS,CAAC,MAAM,EAAE;YAChB,GAAG,eAAe;YAClB,MAAM,EAAE;gBACN,GAAG,eAAe,CAAC,MAAM;gBACzB,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,UAAU,IAAI,aAAa;aAChE;SACF,CAAC;QACJ,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC;AAED,eAAe,YAAY,CAAC"}

package/dist/extract/sources/router/navigation.d.ts

@@ -0,0 +1,5 @@
+export declare function navigationCall(callee: string, args: readonly unknown[]): {
+    mode: "push" | "replace" | "back";
+    to?: string;
+} | "unsupported";
+//# sourceMappingURL=navigation.d.ts.map

package/dist/extract/sources/router/navigation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/navigation.ts"],"names":[],"mappings":"AAAA,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS,OAAO,EAAE,GACvB;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,aAAa,CAepE"}

package/dist/extract/sources/router/navigation.js

@@ -0,0 +1,16 @@
+export function navigationCall(callee, args) {
+    if (callee === "navigate" && args.length === 1 && typeof args[0] === "string")
+        return { mode: "push", to: args[0] };
+    if ((callee.endsWith(".push") || callee.endsWith(".replace")) &&
+        args.length === 1 &&
+        typeof args[0] === "string") {
+        return {
+            mode: callee.endsWith(".replace") ? "replace" : "push",
+            to: args[0],
+        };
+    }
+    if (callee.endsWith(".back") && args.length === 0)
+        return { mode: "back" };
+    return "unsupported";
+}
+//# sourceMappingURL=navigation.js.map

package/dist/extract/sources/router/navigation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/navigation.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,IAAwB;IAExB,IAAI,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACvC,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAC3B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;YACtD,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;SACZ,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC3E,OAAO,aAAa,CAAC;AACvB,CAAC"}

package/dist/extract/sources/router/routes.d.ts

@@ -0,0 +1,4 @@
+import type { ResolvedOptions } from "modality-ts/extract/engine/spi";
+import type { StateVarDecl } from "modality-ts/core";
+export declare function routeVars(routes: readonly string[], options: ResolvedOptions): readonly StateVarDecl[];
+//# sourceMappingURL=routes.d.ts.map

package/dist/extract/sources/router/routes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/router/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAkB,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErE,wBAAgB,SAAS,CACvB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,eAAe,GACvB,SAAS,YAAY,EAAE,CAuBzB"}

package/dist/extract/sources/router/routes.js

@@ -0,0 +1,28 @@
+export function routeVars(routes, options) {
+    const values = uniqueRoutes(routes, options.route);
+    const routeDomain = { kind: "enum", values };
+    return [
+        {
+            id: "sys:route",
+            domain: routeDomain,
+            origin: "system",
+            scope: { kind: "global" },
+            initial: options.route,
+        },
+        {
+            id: "sys:history",
+            domain: {
+                kind: "boundedList",
+                inner: routeDomain,
+                maxLen: options.bounds?.maxHistory ?? 4,
+            },
+            origin: "system",
+            scope: { kind: "global" },
+            initial: [],
+        },
+    ];
+}
+function uniqueRoutes(routes, initialRoute) {
+    return [...new Set([initialRoute, ...routes])];
+}
+//# sourceMappingURL=routes.js.map

package/dist/extract/sources/router/routes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.js","sourceRoot":"","sources":["../../../../src/extract/sources/router/routes.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,SAAS,CACvB,MAAyB,EACzB,OAAwB;IAExB,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,WAAW,GAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC7D,OAAO;QACL;YACE,EAAE,EAAE,WAAW;YACf,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,OAAO,CAAC,KAAK;SACvB;QACD;YACE,EAAE,EAAE,aAAa;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC;aACxC;YACD,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,OAAO,EAAE,EAAE;SACZ;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,MAAyB,EACzB,YAAoB;IAEpB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/extract/sources/shared/react-transition-extract.d.ts

@@ -0,0 +1,13 @@
+import type { Value } from "modality-ts/core";
+import type { ExtractCtx, SourceExtractionResult, WriteChannel } from "../../engine/spi/index.js";
+export type SharedReactTransitionCtx = Omit<ExtractCtx, "stateVars" | "writeChannels"> & {
+    stateVars?: readonly ExtractCtx["stateVars"][number][];
+    writeChannels?: readonly WriteChannel[];
+    asyncOutcomes?: Record<string, {
+        success: Value;
+        error?: Value;
+    }>;
+};
+export declare function extractSharedReactTransitions(ctx: SharedReactTransitionCtx): SourceExtractionResult;
+export declare function extractSharedReactTransitionInventory(ctx: SharedReactTransitionCtx): import("../../engine/ts/react-source-transitions.js").ReactSourceTransitionResult;
+//# sourceMappingURL=react-transition-extract.d.ts.map

package/dist/extract/sources/shared/react-transition-extract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-transition-extract.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/shared/react-transition-extract.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EACV,UAAU,EACV,sBAAsB,EACtB,YAAY,EACb,MAAM,2BAA2B,CAAC;AAEnC,MAAM,MAAM,wBAAwB,GAAG,IAAI,CACzC,UAAU,EACV,WAAW,GAAG,eAAe,CAC9B,GAAG;IACF,SAAS,CAAC,EAAE,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IACvD,aAAa,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,OAAO,EAAE,KAAK,CAAC;QAAC,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;CACnE,CAAC;AAkBF,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,wBAAwB,GAC5B,sBAAsB,CAMxB;AAED,wBAAgB,qCAAqC,CACnD,GAAG,EAAE,wBAAwB,qFAM9B"}

package/dist/extract/sources/shared/react-transition-extract.js

@@ -0,0 +1,22 @@
+import { extractReactSourceTransitions } from "../../engine/ts/react-source-transitions.js";
+function reactSourceTransitionOptions(ctx) {
+    return {
+        route: ctx.route,
+        fileName: ctx.fileName,
+        effectApis: ctx.effectApis,
+        routePatterns: ctx.routePatterns,
+        asyncOutcomes: ctx.asyncOutcomes,
+        sourcePlugins: ctx.sourcePlugins,
+        ...(ctx.stateVars ? { stateVars: ctx.stateVars } : {}),
+        ...(ctx.writeChannels ? { writeChannels: ctx.writeChannels } : {}),
+        ...(ctx.routerPlugin ? { routerPlugin: ctx.routerPlugin } : {}),
+    };
+}
+export function extractSharedReactTransitions(ctx) {
+    const { transitions, warnings } = extractReactSourceTransitions(ctx.sourceText, reactSourceTransitionOptions(ctx));
+    return { transitions, warnings };
+}
+export function extractSharedReactTransitionInventory(ctx) {
+    return extractReactSourceTransitions(ctx.sourceText, reactSourceTransitionOptions(ctx));
+}
+//# sourceMappingURL=react-transition-extract.js.map

package/dist/extract/sources/shared/react-transition-extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"react-transition-extract.js","sourceRoot":"","sources":["../../../../src/extract/sources/shared/react-transition-extract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAiB5F,SAAS,4BAA4B,CACnC,GAA6B;IAE7B,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,GAA6B;IAE7B,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,6BAA6B,CAC7D,GAAG,CAAC,UAAU,EACd,4BAA4B,CAAC,GAAG,CAAC,CAClC,CAAC;IACF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,qCAAqC,CACnD,GAA6B;IAE7B,OAAO,6BAA6B,CAClC,GAAG,CAAC,UAAU,EACd,4BAA4B,CAAC,GAAG,CAAC,CAClC,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,11 @@
+import type { ExprIR } from "modality-ts/core";
+import type { SourceDecl } from "modality-ts/extract/engine/spi";
+import * as ts from "typescript";
+export declare function discoverSwrHooks(sourceText: string, fileName?: string): SourceDecl[];
+export declare function useSwrImportNames(source: ts.SourceFile): Set<string>;
+export declare function keyFromExpression(expr: ts.Expression | undefined): {
+    id: string;
+    activeWhen?: ExprIR;
+} | undefined;
+export declare function swrIdFromKey(key: string): string;
+//# sourceMappingURL=discover.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../../src/extract/sources/swr/discover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAS,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAY,GACnB,UAAU,EAAE,CA6Cd;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAmBpE;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,GAC9B;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAyBjD;AAqFD,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAOhD"}