modality-ts 0.0.15 → 0.0.17

package/dist/check/engine/check-model.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"check-model.js","sourceRoot":"","sources":["../../../src/check/engine/check-model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAQjE,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAahD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,kBAAkB,CAAC;AAU1B,MAAM,UAAU,kBAAkB,CAAC,UAA+B;IAChE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAA+B;IAC/D,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,UAA+B;IACjE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA+B;IAE/B,IAAI,kBAAkB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,iBAAiB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAuB;IACnD,OAAO;QACL,IAAI;QACJ,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAqB,EACrB,UAA+B,EAC/B,QAAgB,EAChB,SAAiB,EACjB,GAAe,EACf,IAAgB,EAChB,UAAsB,EACtB,IAAe;IAEf,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;gBACnB,QAAQ;gBACR,SAAS;gBACT,GAAG;gBACH,IAAI;gBACJ,UAAU;gBACV,IAAI;aACL,CAAC,CAAC;YACH,MAAM;QACR,KAAK,SAAS;YACZ,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC;gBACtB,QAAQ;gBACR,SAAS;gBACT,YAAY,EAAE,UAAU,CAAC,EAAE;gBAC3B,mBAAmB,EAAE,UAAU;qBAC5B,MAAM,CACL,CACE,QAAQ,EACkD,EAAE,CAC5D,QAAQ,CAAC,IAAI,KAAK,eAAe,CACpC;qBACA,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;qBAC5C,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;aACpC,CAAC,CAAC;YACH,MAAM;QACR,KAAK,SAAS;YACZ,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;YACjD,MAAM;QACR,KAAK,MAAM;YACT,MAAM;IACV,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAA4B,EAC5B,MAA+B,EAC/B,KAAqB;IAErB,MAAM,aAAa,GACjB,KAAK,CAAC,IAAI,KAAK,MAAM;QACnB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YACxB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;YAC3B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBACxB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM;gBAC3B,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;IACjC,OAAO;QACL,aAAa;QACb,YAAY,EAAE,MAAM,CAAC,IAAI;QACzB,aAAa,EAAE,OAAO,CAAC,IAAI;QAC3B,iBAAiB,EAAE,KAAK,CAAC,IAAI;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,kBAAkB,GAAG,8BAA8B,CACvD,UAAU,EACV,OAAO,CAAC,OAAO,KAAK,IAAI,CACzB,CAAC;IACF,IACE,OAAO,CAAC,OAAO;QACf,UAAU,CAAC,MAAM,GAAG,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,EAC5D,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5D,OAAO;YACL,GAAG,MAAM;YACT,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,EAAE;gBAChD,OAAO,EAAE,kBAAkB;aAC5B,CAAC;SACH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1D,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,gBAAgB,CAAC,MAAM,CAAC,WAAW,EAAE;YAChD,OAAO,EAAE,kBAAkB;SAC5B,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,UAA+B,EAC/B,gBAAyB;IAEzB,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAClE,OAAO;YACL,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,IAAI;YACb,UAAU,EAAE,wBAAwB;SACrC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CACrB,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAE7E,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,OAAO,EAAsB,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,KAAiB,EAAU,EAAE;QAC1C,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7C,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAiB,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC1D,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAG,YAAY,CACzB,KAAK,EACL,OAAO,EACP,MAAM,EACN,OAAO,EACP,eAAe,EACf,KAAK,CACN,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/D,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE7C,OACE,QAAQ,CAAC,MAAM,GAAG,CAAC;QACnB,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ;QAC7B,OAAO,CAAC,QAAQ,KAAK,IAAI,EACzB,CAAC;QACD,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrE,OAAO,CAAC,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC;QACxC,MAAM,KAAK,GAAG,iBAAiB,CAC7B,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,SAAS,EACT,QAAQ,CAAC,MAAM,EACf,KAAK,CACN,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,QAAQ,GAAG,KAAK,CAAC;YACzB,MAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,YAAY,CACzB,KAAK,EACL,UAAU,EACV,QAAQ,EACR,OAAO,EACP,MAAM,EACN,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,OAAO,EACP,SAAS,EACT,KAAK,EACL,eAAe,EACf,KAAK,CACN,CAAC;QACF,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC;QAC1B,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC/D,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7C,KAAK,IAAI,CAAC,CAAC;QACX,OAAO,CAAC,cAAc,GAAG,KAAK,CAAC;QAC/B,OAAO,CAAC,UAAU,EAAE,CAAC;YACnB,KAAK;YACL,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,YAAY,EAAE,QAAQ,CAAC,MAAM;YAC7B,MAAM,EAAE,OAAO,CAAC,IAAI;YACpB,KAAK,EAAE,SAAS;SACjB,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,iBAAiB,CACjC,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,SAAS,EACT,QAAQ,CAAC,MAAM,EACf,KAAK,CACN,CAAC;QACF,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC;YAC7B,MAAM;QACR,CAAC;IACH,CAAC;IAED,uBAAuB,CACrB,KAAK,EACL,QAAQ,EACR,oBAAoB,EACpB,SAAS,EACT,eAAe,CAChB,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,wBAAwB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnE,CAAC;SAAM,CAAC;QACN,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnE,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,GAAG,CACtB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;YAC7B,MAAM,EAAE,wBAAwB;YAChC,QAAQ,EAAE,QAAQ,CAAC,IAAI;SACxB,CACJ;QACD,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE;QACxD,eAAe,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,oBAAoB,CAAC;QACrE,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;QAChC,WAAW,EAAE,sBAAsB,CACjC,OAAO,EACP,SAAS,EACT,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAC/C,eAAe,CAChB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAA+B,EAC/B,MAAyB;IAEzB,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC;QACH,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;QACxC,eAAe,EAAE,EAAE;QACnB,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY;IACvC,OAAO;QACL,WAAW,EAAE,CAAC;QACd,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,CAAC;QACjB,iBAAiB,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAY,EACZ,QAA+B,EAC/B,OAAsB;IAEtB,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7C,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAsB,EACtB,SAA6B,EAC7B,OAA2B,EAC3B,eAAgC;IAEhC,MAAM,YAAY,GAAG,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;SAC1D,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;SAClE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC;SAC3C,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;SACjE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACf,MAAM,MAAM,GAA+B;QACzC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC;IACF,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO;QACL,MAAM;QACN,OAAO;QACP,OAAO,EAAE;YACP,cAAc,EAAE,IAAI;YACpB,eAAe,EAAE,IAAI;YACrB,uBAAuB,EAAE,eAAe,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;SACxE;QACD,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,OAAsB,EACtB,OAAqB,EACrB,MAAc,EACd,KAAa,EACb,QAAgB,EAChB,KAAa;IAEb,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,OAAO,CAAC,QAAQ,GAAG,KAAK,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,OAAqB,EACrB,MAAc,EACd,KAAa,EACb,QAAgB,EAChB,KAAa;IAEb,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACnE,OAAO;YACL,MAAM,EAAE,oCAAoC,OAAO,CAAC,SAAS,EAAE;YAC/D,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QAChE,OAAO;YACL,MAAM,EAAE,mCAAmC,OAAO,CAAC,QAAQ,EAAE;YAC7D,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACzE,OAAO;YACL,MAAM,EAAE,sCAAsC,OAAO,CAAC,WAAW,EAAE;YACnE,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACtD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,IAAI,OAAO,EAAE,CAAC;QACvE,OAAO;YACL,MAAM,EAAE,sCAAsC,OAAO,EAAE;YACvD,gBAAgB,EAAE,OAAO;SAC1B,CAAC;IACJ,CAAC;IACD,KAAK,KAAK,CAAC;IACX,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA+B,EAC/B,QAAsC,EACtC,KAA8C;IAE9C,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5C,IACE,OAAO;YACP,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU;gBAC5B,OAAO,CAAC,MAAM,KAAK,WAAW;gBAC9B,OAAO,CAAC,MAAM,KAAK,iBAAiB;gBACpC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,EAC7B,CAAC;YACD,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;YAC1B,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,KAAY,EACZ,OAA4B,EAC5B,MAA+B,EAC/B,OAAsB,EACtB,KAAsB,EACtB,KAAoC;IAEpC,MAAM,QAAQ,GAAG,iBAAiB,CAChC,aAAa,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACrC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CACjE,EACD,KAAK,CACN,CAAC;IACF,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrE,OAAO,CAAC,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CACnB,KAAY,EACZ,UAA+B,EAC/B,QAA+B,EAC/B,OAA4B,EAC5B,MAA+B,EAC/B,KAAqB,EACrB,QAAsB,EACtB,QAAsC,EACtC,oBAAiC,EACjC,SAAsB,EACtB,OAAsB,EACtB,OAAqB,EACrB,iBAAyB,EACzB,KAAa,EACb,KAAsB,EACtB,KAAoC;IAEpC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;YAAE,MAAM;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/D,oBAAoB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,EAAE;gBAC1D,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;oBAClB,SAAS,CAAC,GAAG,CACX,GAAG,CAAC,UAAU,CAAC,qBAAqB,CAAC;wBACnC,CAAC,CAAC,0BAA0B,UAAU,CAAC,EAAE,EAAE;wBAC3C,CAAC,CAAC,GAAG,GAAG,OAAO,UAAU,CAAC,EAAE,EAAE,CACjC,CAAC;gBACJ,CAAC;aACF,CAAC,CAAC;YACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtE,SAAS,CAAC,GAAG,CAAC,4BAA4B,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,KAAK,MAAM,IAAI,IAAI,SAAS,CAC1B,KAAK,EACL,OAAO,EACP,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAChC,KAAK,EACL,KAAK,CACN,EAAE,CAAC;oBACF,SAAS,IAAI,CAAC,CAAC;oBACf,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;oBAC1C,kBAAkB,CAChB,KAAK,EACL,UAAU,EACV,QAAQ,EACR,SAAS,EACT,GAAG,EACH,IAAI,EACJ,UAAU,EACV,IAAI,CACL,CAAC;oBACF,WAAW,CACT,KAAK,EACL,UAAU,EACV,GAAG,EACH,IAAI,EACJ,UAAU,EACV,IAAI,EACJ,QAAQ,EACR,QAAQ,CACT,CAAC;oBACF,IACE,cAAc,CACZ,OAAO,EACP,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,iBAAiB,GAAG,SAAS,EAC7B,IAAI,CAAC,MAAM,EACX,KAAK,CACN,EACD,CAAC;wBACD,MAAM;oBACR,CAAC;oBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;wBAC5B,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE;4BACrB,MAAM,EAAE,QAAQ;4BAChB,YAAY,EAAE,UAAU,CAAC,EAAE;yBAC5B,CAAC,CAAC;wBACH,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;wBAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAChB,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;wBACjE,IACE,cAAc,CACZ,OAAO,EACP,OAAO,EACP,OAAO,CAAC,IAAI,EACZ,iBAAiB,GAAG,SAAS,EAC7B,IAAI,CAAC,MAAM,EACX,KAAK,CACN,EACD,CAAC;4BACD,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;oBAAE,MAAM;YACvC,CAAC;YACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,MAAM;QACvC,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;YAAE,MAAM;IACvC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAY,EACZ,UAA+B,EAC/B,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAG,IAAI,GAAG,EAGnB,CAAC;IACJ,MAAM,cAAc,GAAmB,EAAE,CAAC;IAC1C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC;YACtC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC;YACxC,CAAC,CAAC,KAAK,CAAC;QACV,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;gBACd,KAAK,EAAE,KAAK;gBACZ,UAAU,EAAE,CAAC,QAAQ,CAAC;gBACtB,KAAK,EAAE,UAAU;aAClB,CAAC,CAAC;YACH,UAAU,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE;YAC3D,GAAG,OAAO;YACV,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,cAAc,CAAC,IAAI,CAAC;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC7D,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM;YAC7B,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM;YAC3C,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;YAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK;YACzB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK;SAC1B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC3D,OAAO;QACL,GAAG,QAAQ;QACX,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC,WAAW,EAAE;YAClD,OAAO,EAAE;gBACP,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,cAAc,CAAC,MAAM;gBAC7B,cAAc;aACf;YACD,MAAM,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM;YACpC,MAAM,EAAE,QAAQ,CAAC,WAAW,EAAE,MAAM;YACpC,YAAY,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY;SACjD,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAA+B,EAC/B,OAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,WAAyC,CAAC;IAC9C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;YACnC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,eAAe;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvD,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QAC9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5B,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,WAAW,GAAG,sBAAsB,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACxE,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,GAAG,CACtB,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;YAC7B,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,wBAAwB;SAClC,CACJ;QACD,KAAK,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE;QAC/B,eAAe,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;QACpC,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE;QAChC,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAkC,EAClC,OAAqC;IAErC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO;QACL,GAAG,IAAI;QACP,GAAG,OAAO;QACV,OAAO,EACL,IAAI,EAAE,OAAO,IAAI,OAAO,EAAE,OAAO;YAC/B,CAAC,CAAC;gBACE,OAAO,EACL,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO,IAAI,KAAK;gBAC9D,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,OAAO,EAAE,MAAM;gBACzD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO;gBAC5D,UAAU,EACR,OAAO,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,EAAE,OAAO,EAAE,UAAU;gBAC3D,cAAc,EACZ,OAAO,EAAE,OAAO,EAAE,cAAc,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc;aACpE;YACH,CAAC,CAAC,SAAS;QACf,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM;QACvC,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,IAAI,EAAE,MAAM;QACvC,YAAY,EAAE,OAAO,EAAE,YAAY,IAAI,IAAI,EAAE,YAAY;QACzD,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO;QAC1C,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,OAAO;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAkC,EAClC,KAAmC;IAEnC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAC1E,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO;QACtC,MAAM,EAAE;YACN,WAAW,EAAE,IAAI,CAAC,GAAG,CACnB,IAAI,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,EAC7B,KAAK,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,CAC/B;YACD,aAAa,EAAE,IAAI,CAAC,GAAG,CACrB,IAAI,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,EAC/B,KAAK,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,CACjC;YACD,cAAc,EAAE,IAAI,CAAC,GAAG,CACtB,IAAI,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,EAChC,KAAK,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,CAClC;YACD,SAAS,EACP,IAAI,CAAC,MAAM,EAAE,SAAS,KAAK,SAAS;gBACpC,KAAK,CAAC,MAAM,EAAE,SAAS,KAAK,SAAS;gBACnC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,CAAC;gBAChE,CAAC,CAAC,SAAS;SAChB;QACD,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM;QACnC,YAAY,EAAE,QAAQ;QACtB,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;QAC7D,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAiC,EACjC,KAAkC;IAElC,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO;QACL,aAAa,EAAE,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa;QACvD,YAAY,EAAE,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY;QACpD,aAAa,EAAE,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa;QACvD,iBAAiB,EACf,IAAI,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB;YAChD,CAAC,CAAC,IAAI,CAAC,iBAAiB;YACxB,CAAC,CAAC,mBAAmB;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAsC,EACtC,KAAuC;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,GAAG,CACR,KAAK,CAAC,KAAK,EACX,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,cAAc,CAAC,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;SAC7D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,cAAc,CAAC;SACnD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC"}

package/dist/check/engine/initial-states.d.ts

@@ -1,3 +0,0 @@
-import type { Model, ModelState } from "modality-ts/core";
-export declare function initialStates(model: Model): ModelState[];
-//# sourceMappingURL=initial-states.d.ts.map

package/dist/check/engine/initial-states.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"initial-states.d.ts","sourceRoot":"","sources":["../../../src/check/engine/initial-states.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG1D,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAYxD"}

package/dist/check/engine/initial-states.js

@@ -1,11 +0,0 @@
-import { initialValues } from "modality-ts/core";
-import { normalizeInitialRouteLocals } from "../runtime/effects.js";
-export function initialStates(model) {
-    return model.vars
-        .reduce((states, decl) => {
-        const initials = initialValues(decl.domain, decl.initial);
-        return states.flatMap((state) => initials.map((value) => ({ ...state, [decl.id]: value })));
-    }, [{}])
-        .flatMap((state) => normalizeInitialRouteLocals(model, state));
-}
-//# sourceMappingURL=initial-states.js.map

package/dist/check/engine/initial-states.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"initial-states.js","sourceRoot":"","sources":["../../../src/check/engine/initial-states.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,OAAO,KAAK,CAAC,IAAI;SACd,MAAM,CACL,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE;QACf,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC9B,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAC1D,CAAC;IACJ,CAAC,EACD,CAAC,EAAE,CAAC,CACL;SACA,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,2BAA2B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACnE,CAAC"}

package/dist/check/engine/model-api.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"model-api.d.ts","sourceRoot":"","sources":["../../../src/check/engine/model-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAYrE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,EAAE,CAO7D;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,GAAG,SAAS,EAAE,CAS1E"}

package/dist/check/engine/model-api.js

@@ -1,17 +0,0 @@
-import { applyEffect } from "../runtime/effects.js";
-import { makeTraceStep } from "../traces/trace.js";
-import { changedVars, compareStates, initialChangedVars, } from "./state-utils.js";
-import { buildTransitionIndex, enabledTransitions } from "./transitions.js";
-import { initialStates } from "./initial-states.js";
-import { stabilize } from "./stabilize.js";
-export function modelInitialStates(model) {
-    const index = buildTransitionIndex(model);
-    return initialStates(model)
-        .flatMap((state) => stabilize(model, state, initialChangedVars(model), index))
-        .sort(compareStates(model));
-}
-export function modelSuccessors(model, pre) {
-    const index = buildTransitionIndex(model);
-    return enabledTransitions(model, pre, index).flatMap((transition) => applyEffect(model, pre, transition.effect).flatMap((rawPost) => stabilize(model, rawPost, changedVars(pre, rawPost, model), index).map((post) => makeTraceStep(pre, post, transition))));
-}
-//# sourceMappingURL=model-api.js.map

package/dist/check/engine/model-api.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"model-api.js","sourceRoot":"","sources":["../../../src/check/engine/model-api.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,WAAW,EACX,aAAa,EACb,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,MAAM,UAAU,kBAAkB,CAAC,KAAY;IAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,aAAa,CAAC,KAAK,CAAC;SACxB,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACjB,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAC1D;SACA,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAY,EAAE,GAAe;IAC3D,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAClE,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7D,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CACpE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,CAC/C,CACF,CACF,CAAC;AACJ,CAAC"}

package/dist/check/engine/mounts.d.ts

@@ -1,3 +0,0 @@
-import type { Model, ModelState, Transition } from "modality-ts/core";
-export declare function routeLocalMounted(model: Model, transition: Transition, state: ModelState): boolean;
-//# sourceMappingURL=mounts.d.ts.map

package/dist/check/engine/mounts.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mounts.d.ts","sourceRoot":"","sources":["../../../src/check/engine/mounts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEtE,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,UAAU,GAChB,OAAO,CAaT"}

package/dist/check/engine/mounts.js

@@ -1,13 +0,0 @@
-export function routeLocalMounted(model, transition, state) {
-    const currentRoute = state["sys:route"];
-    const touched = new Set([...transition.reads, ...transition.writes]);
-    for (const decl of model.vars) {
-        if (decl.scope.kind === "route-local" &&
-            touched.has(decl.id) &&
-            decl.scope.route !== currentRoute) {
-            return false;
-        }
-    }
-    return true;
-}
-//# sourceMappingURL=mounts.js.map

package/dist/check/engine/mounts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mounts.js","sourceRoot":"","sources":["../../../src/check/engine/mounts.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,UAAsB,EACtB,KAAiB;IAEjB,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IACE,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YACjC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,YAAY,EACjC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/check/engine/stabilize.d.ts

@@ -1,4 +0,0 @@
-import type { Model, ModelState } from "modality-ts/core";
-import type { TransitionIndex } from "./transitions.js";
-export declare function stabilize(model: Model, state: ModelState, changed: ReadonlySet<string>, index?: TransitionIndex, canon?: (state: ModelState) => string): ModelState[];
-//# sourceMappingURL=stabilize.d.ts.map

package/dist/check/engine/stabilize.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"stabilize.d.ts","sourceRoot":"","sources":["../../../src/check/engine/stabilize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAc,MAAM,kBAAkB,CAAC;AAItE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAOxD,wBAAgB,SAAS,CACvB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5B,KAAK,CAAC,EAAE,eAAe,EACvB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,GACpC,UAAU,EAAE,CAmCd"}

package/dist/check/engine/stabilize.js

@@ -1,104 +0,0 @@
-import { applyEffect, guardHolds } from "../runtime/effects.js";
-import { routeLocalMounted } from "./mounts.js";
-import { changedVars, uniqueStabilizingStates } from "./state-utils.js";
-export function stabilize(model, state, changed, index, canon) {
-    let states = [{ state, changed }];
-    for (let i = 0; i < model.bounds.maxInternalSteps; i += 1) {
-        const next = [];
-        let changedThisRound = false;
-        for (const candidate of states) {
-            const candidates = indexedInternalCandidates(index, candidate.changed);
-            const internal = (index
-                ? candidates
-                : model.transitions.filter((transition) => transition.cls === "internal"))
-                .filter((transition) => routeLocalMounted(model, transition, candidate.state) &&
-                internalTriggered(transition, candidate.changed) &&
-                guardHolds(model, transition, candidate.state))
-                .sort((a, b) => a.id.localeCompare(b.id));
-            if (internal.length === 0)
-                next.push(candidate);
-            else {
-                changedThisRound = true;
-                for (const sequence of stabilizingSequences(internal)) {
-                    next.push(...applyInternalSequence(model, candidate.state, sequence));
-                }
-            }
-        }
-        states = uniqueStabilizingStates(model, next, canon);
-        if (!changedThisRound)
-            return states.map((candidate) => candidate.state);
-    }
-    throw new Error(`Internal transitions did not stabilize within ${model.bounds.maxInternalSteps} steps`);
-}
-function indexedInternalCandidates(index, changed) {
-    if (!index)
-        return [];
-    const seen = new Set();
-    const out = [];
-    const add = (transition) => {
-        if (!seen.has(transition.id)) {
-            seen.add(transition.id);
-            out.push(transition);
-        }
-    };
-    for (const transition of index.alwaysTriggeredInternal)
-        add(transition);
-    for (const varId of changed) {
-        for (const transition of index.internalByTriggeredVar.get(varId) ?? []) {
-            add(transition);
-        }
-    }
-    return out;
-}
-function internalTriggered(transition, changed) {
-    if (!transition.triggeredBy || transition.triggeredBy.length === 0)
-        return true;
-    return transition.triggeredBy.some((id) => changed.has(id));
-}
-function stabilizingSequences(internal) {
-    if (!hasWriteConflict(internal))
-        return [internal.slice()];
-    return permutations(internal);
-}
-function applyInternalSequence(model, state, sequence) {
-    return sequence.reduce((states, transition) => states.flatMap((candidate) => {
-        if (!routeLocalMounted(model, transition, candidate.state) ||
-            !guardHolds(model, transition, candidate.state)) {
-            return [candidate];
-        }
-        return applyEffect(model, candidate.state, transition.effect).map((post) => ({
-            state: post,
-            changed: changedVars(state, post, model),
-        }));
-    }), [{ state, changed: new Set() }]);
-}
-function permutations(values) {
-    if (values.length <= 1)
-        return [values.slice()];
-    const out = [];
-    for (let index = 0; index < values.length; index += 1) {
-        const head = values[index];
-        if (head === undefined)
-            continue;
-        const tail = values.filter((_, candidateIndex) => candidateIndex !== index);
-        for (const rest of permutations(tail))
-            out.push([head, ...rest]);
-    }
-    return out;
-}
-function hasWriteConflict(transitions) {
-    for (let i = 0; i < transitions.length; i += 1) {
-        for (let j = i + 1; j < transitions.length; j += 1) {
-            const left = transitions[i];
-            const right = transitions[j];
-            if (left && right && intersects(left.writes, right.writes))
-                return true;
-        }
-    }
-    return false;
-}
-function intersects(left, right) {
-    const seen = new Set(left);
-    return right.some((item) => seen.has(item));
-}
-//# sourceMappingURL=stabilize.js.map

package/dist/check/engine/stabilize.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"stabilize.js","sourceRoot":"","sources":["../../../src/check/engine/stabilize.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAQxE,MAAM,UAAU,SAAS,CACvB,KAAY,EACZ,KAAiB,EACjB,OAA4B,EAC5B,KAAuB,EACvB,KAAqC;IAErC,IAAI,MAAM,GAAuB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAuB,EAAE,CAAC;QACpC,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;YACvE,MAAM,QAAQ,GAAG,CACf,KAAK;gBACH,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CACtB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,UAAU,CAC9C,CACN;iBACE,MAAM,CACL,CAAC,UAAU,EAAE,EAAE,CACb,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC;gBACrD,iBAAiB,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC;gBAChD,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,CACjD;iBACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;iBAC3C,CAAC;gBACJ,gBAAgB,GAAG,IAAI,CAAC;gBACxB,KAAK,MAAM,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACtD,IAAI,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,gBAAgB;YAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,KAAK,CACb,iDAAiD,KAAK,CAAC,MAAM,CAAC,gBAAgB,QAAQ,CACvF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAkC,EAClC,OAA4B;IAE5B,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAG,CAAC,UAAsB,EAAE,EAAE;QACrC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,uBAAuB;QAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACxE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACvE,GAAG,CAAC,UAAU,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAsB,EACtB,OAA4B;IAE5B,IAAI,CAAC,UAAU,CAAC,WAAW,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,OAAO,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAA+B;IAE/B,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3D,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAY,EACZ,KAAiB,EACjB,QAA+B;IAE/B,OAAO,QAAQ,CAAC,MAAM,CACpB,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CACrB,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAC3B,IACE,CAAC,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC;YACtD,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,EAC/C,CAAC;YACD,OAAO,CAAC,SAAS,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAC/D,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACT,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;SACzC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,EACJ,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAI,MAAoB;IAC3C,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAChD,MAAM,GAAG,GAAU,EAAE,CAAC;IACtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,CAAC,cAAc,KAAK,KAAK,CAAC,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAkC;IAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,IAAI,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CACjB,IAAuB,EACvB,KAAwB;IAExB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC"}

package/dist/check/engine/state-utils.d.ts

@@ -1,13 +0,0 @@
-import type { Model, ModelState, Value } from "modality-ts/core";
-export declare function changedVars(pre: ModelState, post: ModelState, model?: Model): ReadonlySet<string>;
-export declare function initialChangedVars(model: Model): ReadonlySet<string>;
-export declare function compareStates(model: Model): (a: ModelState, b: ModelState) => number;
-export declare function sortStatesByCanon(states: readonly ModelState[], canon: (state: ModelState) => string): ModelState[];
-export declare function diff(pre: ModelState, post: ModelState): Record<string, {
-    before: Value | undefined;
-    after: Value | undefined;
-}>;
-export declare function uniqueStabilizingStates<T extends {
-    state: ModelState;
-}>(model: Model, states: readonly T[], canon?: (state: ModelState) => string): T[];
-//# sourceMappingURL=state-utils.d.ts.map

package/dist/check/engine/state-utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"state-utils.d.ts","sourceRoot":"","sources":["../../../src/check/engine/state-utils.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAIjE,wBAAgB,WAAW,CACzB,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,UAAU,EAChB,KAAK,CAAC,EAAE,KAAK,GACZ,WAAW,CAAC,MAAM,CAAC,CASrB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAEpE;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,KAAK,GACX,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,KAAK,MAAM,CAG1C;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,KAAK,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,GACnC,UAAU,EAAE,CAKd;AAED,wBAAgB,IAAI,CAClB,GAAG,EAAE,UAAU,EACf,IAAI,EAAE,UAAU,GACf,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,KAAK,GAAG,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAA;CAAE,CAAC,CAOzE;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS;IAAE,KAAK,EAAE,UAAU,CAAA;CAAE,EACrE,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,SAAS,CAAC,EAAE,EACpB,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM,GACpC,CAAC,EAAE,CAYL"}

package/dist/check/engine/state-utils.js

@@ -1,43 +0,0 @@
-import { canonicalState } from "modality-ts/core";
-const EMPTY_CHANGED_VARS = new Set();
-export function changedVars(pre, post, model) {
-    const varIds = model?.vars.map((decl) => decl.id) ?? [
-        ...new Set([...Object.keys(pre), ...Object.keys(post)]),
-    ];
-    const changed = varIds.filter((id) => JSON.stringify(pre[id]) !== JSON.stringify(post[id]));
-    if (changed.length === 0)
-        return EMPTY_CHANGED_VARS;
-    return new Set(changed);
-}
-export function initialChangedVars(model) {
-    return new Set(model.vars.map((decl) => decl.id));
-}
-export function compareStates(model) {
-    return (a, b) => canonicalState(model, a).localeCompare(canonicalState(model, b));
-}
-export function sortStatesByCanon(states, canon) {
-    return states
-        .map((state) => ({ state, canon: canon(state) }))
-        .sort((left, right) => left.canon.localeCompare(right.canon))
-        .map(({ state }) => state);
-}
-export function diff(pre, post) {
-    const ids = new Set([...Object.keys(pre), ...Object.keys(post)]);
-    return Object.fromEntries([...ids]
-        .filter((id) => JSON.stringify(pre[id]) !== JSON.stringify(post[id]))
-        .map((id) => [id, { before: pre[id], after: post[id] }]));
-}
-export function uniqueStabilizingStates(model, states, canon) {
-    const encode = canon ?? ((state) => canonicalState(model, state));
-    const out = [];
-    const seen = new Set();
-    for (const candidate of states) {
-        const key = encode(candidate.state);
-        if (!seen.has(key)) {
-            seen.add(key);
-            out.push(candidate);
-        }
-    }
-    return out;
-}
-//# sourceMappingURL=state-utils.js.map

package/dist/check/engine/state-utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"state-utils.js","sourceRoot":"","sources":["../../../src/check/engine/state-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,MAAM,kBAAkB,GAAwB,IAAI,GAAG,EAAE,CAAC;AAE1D,MAAM,UAAU,WAAW,CACzB,GAAe,EACf,IAAgB,EAChB,KAAa;IAEb,MAAM,MAAM,GAAG,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI;QACnD,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;KACxD,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAC7D,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,kBAAkB,CAAC;IACpD,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAY;IAC7C,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAY;IAEZ,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACd,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,MAA6B,EAC7B,KAAoC;IAEpC,OAAO,MAAM;SACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;SAChD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,GAAe,EACf,IAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,MAAM,CAAC,WAAW,CACvB,CAAC,GAAG,GAAG,CAAC;SACL,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAY,EACZ,MAAoB,EACpB,KAAqC;IAErC,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,CAAC,KAAiB,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/check/engine/transitions.d.ts

@@ -1,12 +0,0 @@
-import type { Model, ModelState, Transition } from "modality-ts/core";
-export interface TransitionIndex {
-    nonInternalTransitions: readonly Transition[];
-    internalTransitions: readonly Transition[];
-    transitionsById: ReadonlyMap<string, Transition>;
-    internalByTriggeredVar: ReadonlyMap<string, readonly Transition[]>;
-    alwaysTriggeredInternal: readonly Transition[];
-}
-export declare function buildTransitionIndex(model: Model): TransitionIndex;
-export declare function enabledTransitions(model: Model, state: ModelState, index?: TransitionIndex): Transition[];
-export declare function installEnabledHook(model: Model): void;
-//# sourceMappingURL=transitions.d.ts.map

package/dist/check/engine/transitions.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../../src/check/engine/transitions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAItE,MAAM,WAAW,eAAe;IAC9B,sBAAsB,EAAE,SAAS,UAAU,EAAE,CAAC;IAC9C,mBAAmB,EAAE,SAAS,UAAU,EAAE,CAAC;IAC3C,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACjD,sBAAsB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IACnE,uBAAuB,EAAE,SAAS,UAAU,EAAE,CAAC;CAChD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,GAAG,eAAe,CAiClE;AAED,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,UAAU,EACjB,KAAK,CAAC,EAAE,eAAe,GACtB,UAAU,EAAE,CAWd;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAYrD"}

package/dist/check/engine/transitions.js

@@ -1,42 +0,0 @@
-import { guardHolds } from "../runtime/effects.js";
-import { routeLocalMounted } from "./mounts.js";
-export function buildTransitionIndex(model) {
-    const sorted = [...model.transitions].sort((a, b) => a.id.localeCompare(b.id));
-    const nonInternalTransitions = sorted.filter((transition) => transition.cls !== "internal");
-    const internalTransitions = sorted.filter((transition) => transition.cls === "internal");
-    const transitionsById = new Map(sorted.map((transition) => [transition.id, transition]));
-    const internalByTriggeredVar = new Map();
-    const alwaysTriggeredInternal = [];
-    for (const transition of internalTransitions) {
-        if (!transition.triggeredBy || transition.triggeredBy.length === 0) {
-            alwaysTriggeredInternal.push(transition);
-            continue;
-        }
-        for (const varId of transition.triggeredBy) {
-            const list = internalByTriggeredVar.get(varId) ?? [];
-            list.push(transition);
-            internalByTriggeredVar.set(varId, list);
-        }
-    }
-    return {
-        nonInternalTransitions,
-        internalTransitions,
-        transitionsById,
-        internalByTriggeredVar,
-        alwaysTriggeredInternal,
-    };
-}
-export function enabledTransitions(model, state, index) {
-    const candidates = index?.nonInternalTransitions ??
-        [...model.transitions]
-            .sort((a, b) => a.id.localeCompare(b.id))
-            .filter((transition) => transition.cls !== "internal");
-    return candidates.filter((transition) => routeLocalMounted(model, transition, state) &&
-        guardHolds(model, transition, state));
-}
-export function installEnabledHook(model) {
-    globalThis.__modalityEvalGuard = (transition, state) => model.transitions.includes(transition) &&
-        routeLocalMounted(model, transition, state) &&
-        guardHolds(model, transition, state);
-}
-//# sourceMappingURL=transitions.js.map

package/dist/check/engine/transitions.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../../src/check/engine/transitions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAUhD,MAAM,UAAU,oBAAoB,CAAC,KAAY;IAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAClD,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CACzB,CAAC;IACF,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAC1C,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,UAAU,CAC9C,CAAC;IACF,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CACvC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,UAAU,CAC9C,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CACxD,CAAC;IACF,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/D,MAAM,uBAAuB,GAAiB,EAAE,CAAC;IACjD,KAAK,MAAM,UAAU,IAAI,mBAAmB,EAAE,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,WAAW,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnE,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtB,sBAAsB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO;QACL,sBAAsB;QACtB,mBAAmB;QACnB,eAAe;QACf,sBAAsB;QACtB,uBAAuB;KACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,KAAY,EACZ,KAAiB,EACjB,KAAuB;IAEvB,MAAM,UAAU,GACd,KAAK,EAAE,sBAAsB;QAC7B,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;aACnB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACxC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC,MAAM,CACtB,CAAC,UAAU,EAAE,EAAE,CACb,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC;QAC3C,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CACvC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAY;IAE3C,UAMD,CAAC,mBAAmB,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAC5C,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC;QACtC,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC;QAC3C,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC"}

package/dist/check/properties/checked-state.d.ts

@@ -1,3 +0,0 @@
-import type { Model, ModelState, Property } from "modality-ts/core";
-export declare function checkedState(model: Model, property: Property, state: ModelState, context: string): ModelState;
-//# sourceMappingURL=checked-state.d.ts.map

package/dist/check/properties/checked-state.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"checked-state.d.ts","sourceRoot":"","sources":["../../../src/check/properties/checked-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGpE,wBAAgB,YAAY,CAC1B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,UAAU,EACjB,OAAO,EAAE,MAAM,GACd,UAAU,CAaZ"}

package/dist/check/properties/checked-state.js

@@ -1,21 +0,0 @@
-import { enabledTransitionVars } from "../slicing/slice-model.js";
-export function checkedState(model, property, state, context) {
-    if (property.reads === undefined)
-        return state;
-    const allowed = allowedPropertyReads(model, property);
-    return new Proxy(state, {
-        get(target, key, receiver) {
-            if (typeof key === "string" && !allowed.has(key)) {
-                throw new Error(`${property.name}: ${context} read undeclared var ${key}`);
-            }
-            return Reflect.get(target, key, receiver);
-        },
-    });
-}
-function allowedPropertyReads(model, property) {
-    return new Set([
-        ...(property.reads ?? []),
-        ...enabledTransitionVars(model, new Set(property.enabledTransitions ?? [])),
-    ]);
-}
-//# sourceMappingURL=checked-state.js.map

package/dist/check/properties/checked-state.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"checked-state.js","sourceRoot":"","sources":["../../../src/check/properties/checked-state.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAElE,MAAM,UAAU,YAAY,CAC1B,KAAY,EACZ,QAAkB,EAClB,KAAiB,EACjB,OAAe;IAEf,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC/C,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE;QACtB,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ;YACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjD,MAAM,IAAI,KAAK,CACb,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,wBAAwB,GAAG,EAAE,CAC1D,CAAC;YACJ,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAY,CAAC;QACvD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAY,EACZ,QAAwD;IAExD,OAAO,IAAI,GAAG,CAAC;QACb,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC;QACzB,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;KAC5E,CAAC,CAAC;AACL,CAAC"}

package/dist/check/properties/finalize.d.ts

@@ -1,5 +0,0 @@
-import type { Model, Property } from "modality-ts/core";
-import type { GraphRecording, PropertyVerdict } from "../types.js";
-import { type TraceContext } from "../traces/trace.js";
-export declare function finalizeProperties(model: Model, properties: readonly Property[], traceCtx: TraceContext, graph: GraphRecording, verdicts: Map<string, PropertyVerdict>): void;
-//# sourceMappingURL=finalize.d.ts.map

package/dist/check/properties/finalize.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"finalize.d.ts","sourceRoot":"","sources":["../../../src/check/properties/finalize.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAGV,cAAc,EACd,eAAe,EAChB,MAAM,aAAa,CAAC;AACrB,OAAO,EAIL,KAAK,YAAY,EAClB,MAAM,oBAAoB,CAAC;AAK5B,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,SAAS,QAAQ,EAAE,EAC/B,QAAQ,EAAE,YAAY,EACtB,KAAK,EAAE,cAAc,EACrB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,GACrC,IAAI,CAaN"}

package/dist/check/properties/finalize.js

@@ -1,107 +0,0 @@
-import { makeTraceStep, replayCheckedVerdict, traceTo, } from "../traces/trace.js";
-import { facts } from "../traces/step-facts.js";
-import { failingSuffixWithin } from "./leads-to.js";
-import { unreachableWitness } from "./reachable-from.js";
-export function finalizeProperties(model, properties, traceCtx, graph, verdicts) {
-    for (const property of properties) {
-        if (verdicts.has(property.name))
-            continue;
-        try {
-            finalizeProperty(model, property, traceCtx, graph, verdicts);
-        }
-        catch (error) {
-            verdicts.set(property.name, {
-                status: "error",
-                property: property.name,
-                message: error.message,
-            });
-        }
-    }
-}
-function finalizeProperty(model, property, traceCtx, graph, verdicts) {
-    if (property.kind === "reachable") {
-        verdicts.set(property.name, {
-            status: "vacuous-warning",
-            property: property.name,
-            message: "No reachable witness within bounds",
-        });
-    }
-    if (property.kind === "reachableFrom") {
-        const reverseEdges = graph.mode === "reverse"
-            ? graph.reverseEdges
-            : graph.compactEdges.map((edge) => ({
-                preCanon: edge.preCanon,
-                postCanon: edge.postCanon,
-            }));
-        const witness = unreachableWitness(model, property, traceCtx.states, reverseEdges);
-        if (witness) {
-            verdicts.set(property.name, {
-                status: "violated",
-                property: property.name,
-                trace: traceTo(traceCtx, witness[0]),
-                replayable: false,
-                replayBlockedReason: "reachableFrom counterexamples assert absence of a path and are not replayable",
-            });
-        }
-    }
-    if (property.kind === "leadsToWithin") {
-        finalizeLeadsToWithin(model, property, traceCtx, graph, verdicts);
-    }
-}
-function finalizeLeadsToWithin(model, property, traceCtx, graph, verdicts) {
-    const triggerEdges = resolveTriggerEdges(model, property, traceCtx, graph);
-    if (triggerEdges.length === 0) {
-        verdicts.set(property.name, {
-            status: "vacuous-warning",
-            property: property.name,
-            message: "Trigger never fired within bounds",
-        });
-        return;
-    }
-    const failure = triggerEdges
-        .map((edge) => ({
-        edge,
-        suffix: failingSuffixWithin(model, property, edge.post),
-    }))
-        .find((candidate) => candidate.suffix);
-    if (failure) {
-        const suffix = failure.suffix ?? [];
-        verdicts.set(property.name, replayCheckedVerdict("violated", property.name, {
-            steps: [
-                ...traceTo(traceCtx, failure.edge.preCanon).steps,
-                makeTraceStep(failure.edge.pre, failure.edge.post, failure.edge.transition),
-                ...suffix.map((edge) => makeTraceStep(edge.pre, edge.post, edge.transition)),
-            ],
-        }));
-    }
-}
-function resolveTriggerEdges(model, property, traceCtx, graph) {
-    if (graph.mode === "full") {
-        return graph.fullEdges.filter((edge) => property.trigger(edge.step));
-    }
-    const compactEdges = graph.mode === "compact" ? graph.compactEdges : graph.fullEdges;
-    return compactEdges
-        .filter((edge) => "triggeredProperties" in edge
-        ? edge.triggeredProperties.includes(property.name)
-        : property.trigger(edge.step))
-        .map((edge) => materializeEdge(model, traceCtx, edge));
-}
-function materializeEdge(model, traceCtx, edge) {
-    if ("transition" in edge)
-        return edge;
-    const pre = traceCtx.states.get(edge.preCanon);
-    const post = traceCtx.states.get(edge.postCanon);
-    const transition = model.transitions.find((candidate) => candidate.id === edge.transitionId);
-    if (!pre || !post || !transition) {
-        throw new Error(`missing edge materialization for ${edge.preCanon} -> ${edge.postCanon}`);
-    }
-    return {
-        preCanon: edge.preCanon,
-        postCanon: edge.postCanon,
-        pre,
-        post,
-        transition,
-        step: facts(pre, post, transition),
-    };
-}
-//# sourceMappingURL=finalize.js.map

package/dist/check/properties/finalize.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"finalize.js","sourceRoot":"","sources":["../../../src/check/properties/finalize.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,OAAO,GAER,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,UAAU,kBAAkB,CAChC,KAAY,EACZ,UAA+B,EAC/B,QAAsB,EACtB,KAAqB,EACrB,QAAsC;IAEtC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,IAAI,CAAC;YACH,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;gBAC1B,MAAM,EAAE,OAAO;gBACf,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,OAAO,EAAG,KAAe,CAAC,OAAO;aAClC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAY,EACZ,QAAkB,EAClB,QAAsB,EACtB,KAAqB,EACrB,QAAsC;IAEtC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;YAC1B,MAAM,EAAE,iBAAiB;YACzB,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,oCAAoC;SAC9C,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,YAAY,GAChB,KAAK,CAAC,IAAI,KAAK,SAAS;YACtB,CAAC,CAAC,KAAK,CAAC,YAAY;YACpB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAChC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC,CAAC,CAAC;QACV,MAAM,OAAO,GAAG,kBAAkB,CAChC,KAAK,EACL,QAAQ,EACR,QAAQ,CAAC,MAAM,EACf,YAAY,CACb,CAAC;QACF,IAAI,OAAO,EAAE,CAAC;YACZ,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;gBAC1B,MAAM,EAAE,UAAU;gBAClB,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;gBACpC,UAAU,EAAE,KAAK;gBACjB,mBAAmB,EACjB,+EAA+E;aAClF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,qBAAqB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAY,EACZ,QAAsD,EACtD,QAAsB,EACtB,KAAqB,EACrB,QAAsC;IAEtC,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;YAC1B,MAAM,EAAE,iBAAiB;YACzB,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,OAAO,EAAE,mCAAmC;SAC7C,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,YAAY;SACzB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,IAAI;QACJ,MAAM,EAAE,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC;KACxD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;QACpC,QAAQ,CAAC,GAAG,CACV,QAAQ,CAAC,IAAI,EACb,oBAAoB,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE;YAC9C,KAAK,EAAE;gBACL,GAAG,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK;gBACjD,aAAa,CACX,OAAO,CAAC,IAAI,CAAC,GAAG,EAChB,OAAO,CAAC,IAAI,CAAC,IAAI,EACjB,OAAO,CAAC,IAAI,CAAC,UAAU,CACxB;gBACD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACrB,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CACpD;aACF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAY,EACZ,QAAsD,EACtD,QAAsB,EACtB,KAAqB;IAErB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,YAAY,GAChB,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;IAClE,OAAO,YAAY;SAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACf,qBAAqB,IAAI,IAAI;QAC3B,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAChC;SACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,eAAe,CACtB,KAAY,EACZ,QAAsB,EACtB,IAAwB;IAExB,IAAI,YAAY,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CAClD,CAAC;IACF,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,oCAAoC,IAAI,CAAC,QAAQ,OAAO,IAAI,CAAC,SAAS,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,GAAG;QACH,IAAI;QACJ,UAAU;QACV,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC;KACnC,CAAC;AACJ,CAAC"}

package/dist/check/properties/leads-to.d.ts

@@ -1,8 +0,0 @@
-import type { Model, ModelState, Property } from "modality-ts/core";
-import type { Edge } from "../types.js";
-type LeadsToWithin = Extract<Property, {
-    kind: "leadsToWithin";
-}>;
-export declare function failingSuffixWithin(model: Model, property: LeadsToWithin, start: ModelState): Edge[] | undefined;
-export {};
-//# sourceMappingURL=leads-to.d.ts.map

package/dist/check/properties/leads-to.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"leads-to.d.ts","sourceRoot":"","sources":["../../../src/check/properties/leads-to.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAc,MAAM,kBAAkB,CAAC;AAShF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGxC,KAAK,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,CAAC;AAElE,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,UAAU,GAChB,IAAI,EAAE,GAAG,SAAS,CAiCpB"}