@orcalang/orca-lang 0.1.0

package/dist/verifier/determinism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.js","sourceRoot":"","sources":["../../src/verifier/determinism.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,gBAAgB,CAAC,OAAmB;IAClD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED,2DAA2D;IAC3D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEtD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACvD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC7B,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAED,iCAAiC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,aAAa,EAAE,CAAC;QAC/C,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC;YAAE,SAAS;QAEtC,4CAA4C;QAC5C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1C,sEAAsE;QACtE,IAAI,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,UAAU,SAAS,mDAAmD,SAAS,GAAG;gBAC3F,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE;oBACR,KAAK,EAAE,SAAS;oBAChB,KAAK,EAAE,SAAS;iBACjB;gBACD,UAAU,EAAE,mDAAmD;aAChE,CAAC,CAAC;QACL,CAAC;QAED,qCAAqC;QACrC,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAM,CAAC;gBACnB,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3C,CAAC,CAAC,CAAC;YAEH,MAAM,iBAAiB,GAAG,0BAA0B,CAClD,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,EACrC,WAAW,CACZ,CAAC;YAEF,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC9C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,UAAU,SAAS,4BAA4B,SAAS,4BAA4B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACpH,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE;oBAChD,UAAU,EAAE,iDAAiD;iBAC9D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;QAC9D,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CACjC,SAAqB,EACrB,SAAgC;IAEhC,0DAA0D;IAC1D,MAAM,qBAAqB,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAChD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAClB,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO,CAAC;IAC1D,CAAC,CAAC,CACH,CAAC;IACF,IAAI,qBAAqB;QAAE,OAAO,IAAI,CAAC;IAEvC,oEAAoE;IACpE,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAEnF,iEAAiE;IACjE,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAErD,yCAAyC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,IAAI,+BAA+B,CAAC,aAAa,CAAC,CAAC,CAAE,EAAE,aAAa,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;gBAC1E,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,GAAa,EACb,SAAgC;IAEhC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAEtB,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC,UAAU,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAAC,CAAkB,EAAE,CAAkB;IACpF,8CAA8C;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAE3B,4EAA4E;IAC5E,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gBAAgB;IAChB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzD,iDAAiD;IACjD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjD,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,uBAAuB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrD,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;YAChE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnD,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC,CAAC,kDAAkD;QACjE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnD,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,+BAA+B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,2BAA2B;QACzF,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAOD;;GAEG;AACH,SAAS,SAAS,CAAC,IAAqB;IACtC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC9B,OAAO,GAAG,CAAC,OAAO,CAAC;QACnB,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,GAAiB,EAAE,IAAc,EACjC,GAAiB,EAAE,IAAc;IAEjC,yDAAyD;IACzD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjC,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,EAAE,CAAC;QACrE,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IAED,qFAAqF;IACrF,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,kBAAkB,GAAmC;YACzD,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;YACZ,CAAC,IAAI,EAAE,IAAI,CAAC;SACb,CAAC;QACF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,kBAAkB,EAAE,CAAC;YACxC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAe,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAe,CAAC;QAEhC,gDAAgD;QAChD,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,EAAE,CAAC;YACrE,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE;gBAAE,OAAO,IAAI,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,CAAC,EAAE,CAAC;YACrE,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC;YAC1D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE;gBAAE,OAAO,IAAI,CAAC;QAC3D,CAAC;QAED,6DAA6D;QAC7D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,GAAG,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;IAC7D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,CAAkB,EAAE,CAAkB;IAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAG,CAAc,CAAC,IAAI,CAAC,CAAC;QACxD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,OAAO,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAG,CAAc,CAAC,IAAI,CAAC;gBAC9C,gBAAgB,CAAC,CAAC,CAAC,KAAK,EAAG,CAAc,CAAC,KAAK,CAAC,CAAC;QAC1D,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;gBACd,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;gBACnC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,OAAO,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;QACD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAc,EAAE,CAAc;IACxD,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAClD,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,WAAW,CAAC,CAAW,EAAE,CAAW;IAC3C,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;AAClD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAAqB;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAEvC,kDAAkD;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACxE,wDAAwD;QACxD,IAAI,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACxD,IAAI,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3D,CAAC;IAED,oBAAoB;IACpB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAElE,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/verifier/properties.d.ts

@@ -0,0 +1,6 @@
+import { MachineDef } from '../parser/ast.js';
+import { VerificationResult } from './types.js';
+export declare function checkProperties(machine: MachineDef, options?: {
+    maxStates?: number;
+}): VerificationResult;
+//# sourceMappingURL=properties.d.ts.map

package/dist/verifier/properties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../src/verifier/properties.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAkH,MAAM,kBAAkB,CAAC;AAC9J,OAAO,EAAE,kBAAkB,EAAiD,MAAM,YAAY,CAAC;AAsc/F,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,kBAAkB,CAmDzG"}

package/dist/verifier/properties.js

@@ -0,0 +1,404 @@
+import { analyzeMachine, flattenStates } from './structural.js';
+import { resolveGuardExpression, isExpressionStaticallyFalse } from './determinism.js';
+const DEFAULT_MAX_STATES = 64;
+/**
+ * Check if a transition's guard is statically false (can never fire).
+ * Used in guard-aware BFS to prune impossible transitions.
+ */
+function isTransitionStaticallyBlocked(transition, guardDefs) {
+    if (!transition.guard)
+        return false; // No guard = always possible
+    const resolved = resolveGuardExpression(transition.guard, guardDefs);
+    if (!resolved)
+        return false; // Can't resolve = assume possible
+    return isExpressionStaticallyFalse(resolved);
+}
+/**
+ * BFS from source state, returning reachable set and parent map for counterexample traces.
+ * Supports guard-aware mode: skips transitions with statically false guards.
+ */
+function bfs(stateMap, source, options) {
+    const reachable = new Set();
+    const parent = new Map();
+    const queue = [{ name: source, depth: 0 }];
+    reachable.add(source);
+    while (queue.length > 0) {
+        const { name, depth } = queue.shift();
+        if (options?.maxDepth !== undefined && depth >= options.maxDepth) {
+            continue;
+        }
+        const info = stateMap.get(name);
+        if (!info)
+            continue;
+        for (const t of info.outgoing) {
+            const target = t.target;
+            // Skip excluded state
+            if (options?.excludeState && target === options.excludeState)
+                continue;
+            // Guard-aware: skip transitions with statically false guards
+            if (options?.guardDefs && isTransitionStaticallyBlocked(t, options.guardDefs))
+                continue;
+            if (!reachable.has(target)) {
+                reachable.add(target);
+                const guardName = t.guard ? (t.guard.negated ? `!${t.guard.name}` : t.guard.name) : undefined;
+                parent.set(target, { state: name, event: t.event, guard: guardName });
+                queue.push({ name: target, depth: depth + 1 });
+            }
+        }
+    }
+    return { reachable, parent };
+}
+/**
+ * Reconstruct a path from source to target using the parent map.
+ */
+function reconstructPath(parent, source, target) {
+    const path = [];
+    let current = target;
+    while (current !== source) {
+        const prev = parent.get(current);
+        if (!prev)
+            break;
+        path.unshift({ state: current, event: prev.event, guard: prev.guard });
+        current = prev.state;
+    }
+    path.unshift({ state: source });
+    return path;
+}
+/**
+ * Format a path as a readable string, including guard conditions.
+ */
+function formatPath(path) {
+    return path
+        .map((step, i) => {
+        if (i === 0)
+            return step.state;
+        const guardStr = step.guard ? ` [${step.guard}]` : '';
+        return `[${step.event}${guardStr}] -> ${step.state}`;
+    })
+        .join(' ');
+}
+/**
+ * Check if any step in a path requires a guard condition.
+ */
+function pathHasGuards(path) {
+    return path.some(step => step.guard !== undefined);
+}
+/**
+ * Resolve a state name to a flattened state name.
+ * Supports both exact match and simple name match.
+ */
+function resolveStateName(name, flattenedStates) {
+    // Exact match
+    const exact = flattenedStates.find(fs => fs.name === name);
+    if (exact)
+        return { resolved: exact.name };
+    // Simple name match
+    const matches = flattenedStates.filter(fs => fs.simpleName === name && !fs.isRegion);
+    if (matches.length === 1)
+        return { resolved: matches[0].name };
+    if (matches.length > 1) {
+        return {
+            resolved: '',
+            error: {
+                code: 'PROPERTY_AMBIGUOUS_STATE',
+                message: `State name '${name}' is ambiguous — matches: ${matches.map(m => m.name).join(', ')}`,
+                severity: 'error',
+                suggestion: `Use the full dot-notation name to disambiguate`,
+            },
+        };
+    }
+    return {
+        resolved: '',
+        error: {
+            code: 'PROPERTY_INVALID_STATE',
+            message: `State '${name}' does not exist in this machine`,
+            severity: 'error',
+            suggestion: `Check the state name. Available states: ${flattenedStates.filter(fs => !fs.isRegion).map(fs => fs.name).join(', ')}`,
+        },
+    };
+}
+// --- Property checkers ---
+function checkReachable(prop, analysis, flattenedStates, guardDefs) {
+    const errors = [];
+    const fromRes = resolveStateName(prop.from, flattenedStates);
+    if (fromRes.error)
+        return [fromRes.error];
+    const toRes = resolveStateName(prop.to, flattenedStates);
+    if (toRes.error)
+        return [toRes.error];
+    const { reachable } = bfs(analysis.stateMap, fromRes.resolved, { guardDefs });
+    if (!reachable.has(toRes.resolved)) {
+        errors.push({
+            code: 'PROPERTY_REACHABILITY_FAIL',
+            message: `Property 'reachable: ${prop.to} from ${prop.from}' violated — no path exists from '${fromRes.resolved}' to '${toRes.resolved}'`,
+            severity: 'error',
+            location: { state: fromRes.resolved },
+            suggestion: `Add transitions that create a path from '${fromRes.resolved}' to '${toRes.resolved}'`,
+        });
+    }
+    return errors;
+}
+function checkUnreachable(prop, analysis, flattenedStates, guardDefs) {
+    const errors = [];
+    const fromRes = resolveStateName(prop.from, flattenedStates);
+    if (fromRes.error)
+        return [fromRes.error];
+    const toRes = resolveStateName(prop.to, flattenedStates);
+    if (toRes.error)
+        return [toRes.error];
+    const { reachable, parent } = bfs(analysis.stateMap, fromRes.resolved, { guardDefs });
+    if (reachable.has(toRes.resolved)) {
+        const path = reconstructPath(parent, fromRes.resolved, toRes.resolved);
+        const hasGuards = pathHasGuards(path);
+        const guardNote = hasGuards
+            ? ' Note: this path requires guard conditions — it may be prevented at runtime by guards.'
+            : '';
+        errors.push({
+            code: 'PROPERTY_EXCLUSION_FAIL',
+            message: `Property 'unreachable: ${prop.to} from ${prop.from}' violated — path exists: ${formatPath(path)}${guardNote}`,
+            severity: 'error',
+            location: { state: fromRes.resolved },
+            suggestion: `Remove transitions that allow reaching '${toRes.resolved}' from '${fromRes.resolved}', or remove this property if the path is intentional.`,
+        });
+    }
+    return errors;
+}
+function checkPassesThrough(prop, analysis, flattenedStates, guardDefs) {
+    const errors = [];
+    const fromRes = resolveStateName(prop.from, flattenedStates);
+    if (fromRes.error)
+        return [fromRes.error];
+    const toRes = resolveStateName(prop.to, flattenedStates);
+    if (toRes.error)
+        return [toRes.error];
+    const throughRes = resolveStateName(prop.through, flattenedStates);
+    if (throughRes.error)
+        return [throughRes.error];
+    // First check: is target reachable from source at all?
+    const { reachable: fullReachable } = bfs(analysis.stateMap, fromRes.resolved, { guardDefs });
+    if (!fullReachable.has(toRes.resolved)) {
+        errors.push({
+            code: 'PROPERTY_PATH_FAIL',
+            message: `Property 'passes_through: ${prop.through} for ${prop.from} -> ${prop.to}' — '${toRes.resolved}' is not reachable from '${fromRes.resolved}' at all`,
+            severity: 'error',
+            location: { state: fromRes.resolved },
+            suggestion: `Ensure '${toRes.resolved}' is reachable from '${fromRes.resolved}' before adding path constraints`,
+        });
+        return errors;
+    }
+    // Core check: remove the intermediate state and see if target is still reachable
+    const { reachable: withoutThrough, parent } = bfs(analysis.stateMap, fromRes.resolved, {
+        excludeState: throughRes.resolved,
+        guardDefs,
+    });
+    if (withoutThrough.has(toRes.resolved)) {
+        const path = reconstructPath(parent, fromRes.resolved, toRes.resolved);
+        errors.push({
+            code: 'PROPERTY_PATH_FAIL',
+            message: `Property 'passes_through: ${prop.through} for ${prop.from} -> ${prop.to}' violated — path bypassing '${throughRes.resolved}': ${formatPath(path)}`,
+            severity: 'error',
+            location: { state: fromRes.resolved },
+            suggestion: `Ensure all transitions from '${fromRes.resolved}' to '${toRes.resolved}' must pass through '${throughRes.resolved}'. Note: this check ignores guard conditions.`,
+        });
+    }
+    return errors;
+}
+function checkLive(analysis, flattenedStates, guardDefs) {
+    const errors = [];
+    if (!analysis.initialState)
+        return errors;
+    // Find all reachable states from initial
+    const { reachable: reachableFromInitial } = bfs(analysis.stateMap, analysis.initialState.name, { guardDefs });
+    // Find all final state names
+    const finalStateNames = new Set(analysis.finalStates.map(s => s.name));
+    // For each reachable non-final leaf state, check if some final state is reachable
+    for (const stateName of reachableFromInitial) {
+        if (finalStateNames.has(stateName))
+            continue;
+        // Skip compound/parallel/region states — liveness is about leaf states
+        const fs = flattenedStates.find(f => f.name === stateName);
+        if (fs && (fs.isCompound || fs.isRegion))
+            continue;
+        const { reachable: reachableFromState } = bfs(analysis.stateMap, stateName, { guardDefs });
+        let canReachFinal = false;
+        for (const finalName of finalStateNames) {
+            if (reachableFromState.has(finalName)) {
+                canReachFinal = true;
+                break;
+            }
+        }
+        if (!canReachFinal) {
+            errors.push({
+                code: 'PROPERTY_LIVENESS_FAIL',
+                message: `Property 'live' violated — state '${stateName}' cannot reach any final state`,
+                severity: 'error',
+                location: { state: stateName },
+                suggestion: `Add transitions from '${stateName}' that lead to a final state, or mark '${stateName}' as [final]`,
+            });
+        }
+    }
+    return errors;
+}
+function checkResponds(prop, analysis, flattenedStates, guardDefs) {
+    const errors = [];
+    const fromRes = resolveStateName(prop.from, flattenedStates);
+    if (fromRes.error)
+        return [fromRes.error];
+    const toRes = resolveStateName(prop.to, flattenedStates);
+    if (toRes.error)
+        return [toRes.error];
+    const { reachable } = bfs(analysis.stateMap, fromRes.resolved, {
+        maxDepth: prop.within,
+        guardDefs,
+    });
+    if (!reachable.has(toRes.resolved)) {
+        // Check if it's reachable at all (just beyond the bound)
+        const { reachable: unbounded } = bfs(analysis.stateMap, fromRes.resolved, { guardDefs });
+        const reachableButBeyondBound = unbounded.has(toRes.resolved);
+        const suffix = reachableButBeyondBound
+            ? ` (reachable beyond ${prop.within} transitions — increase the bound or shorten the path)`
+            : ` (not reachable at all from '${fromRes.resolved}')`;
+        errors.push({
+            code: 'PROPERTY_RESPONSE_FAIL',
+            message: `Property 'responds: ${prop.to} from ${prop.from} within ${prop.within}' violated — '${toRes.resolved}' not reachable within ${prop.within} transitions${suffix}`,
+            severity: 'error',
+            location: { state: fromRes.resolved },
+            suggestion: `Shorten the path from '${fromRes.resolved}' to '${toRes.resolved}' or increase the bound`,
+        });
+    }
+    return errors;
+}
+function checkInvariant(prop, machine, flattenedStates) {
+    const errors = [];
+    // If a specific state is referenced, validate it exists
+    if (prop.inState) {
+        const stateRes = resolveStateName(prop.inState, flattenedStates);
+        if (stateRes.error)
+            return [stateRes.error];
+    }
+    // Validate that the invariant expression references declared context fields
+    const contextFieldNames = new Set(machine.context.map(f => f.name));
+    const undeclaredFields = findUndeclaredFields(prop.expression, contextFieldNames);
+    for (const field of undeclaredFields) {
+        errors.push({
+            code: 'PROPERTY_INVARIANT_INVALID',
+            message: `Invariant references undeclared context field '${field}'`,
+            severity: 'error',
+            suggestion: `Declare '${field}' in the context block or fix the field name`,
+        });
+    }
+    if (undeclaredFields.length === 0) {
+        // Advisory warning — topology-level check cannot prove context invariants
+        const stateDesc = prop.inState ? ` in state '${prop.inState}'` : '';
+        errors.push({
+            code: 'PROPERTY_INVARIANT_ADVISORY',
+            message: `Invariant${stateDesc} is syntactically valid but cannot be fully verified at topology level — requires runtime trace simulation`,
+            severity: 'warning',
+            suggestion: `This invariant will be checked during runtime verification when action implementations are available`,
+        });
+    }
+    return errors;
+}
+/**
+ * Find context field references in a guard expression that are not declared.
+ */
+function findUndeclaredFields(expr, declared) {
+    const undeclared = [];
+    function walk(e) {
+        switch (e.kind) {
+            case 'true':
+            case 'false':
+                break;
+            case 'not':
+                walk(e.expr);
+                break;
+            case 'and':
+            case 'or':
+                walk(e.left);
+                walk(e.right);
+                break;
+            case 'compare': {
+                // Check variable path — first segment after 'ctx' is the field name
+                const path = e.left.path;
+                if (path.length >= 2 && path[0] === 'ctx') {
+                    if (!declared.has(path[1])) {
+                        undeclared.push(path[1]);
+                    }
+                }
+                break;
+            }
+            case 'nullcheck': {
+                const path = e.expr.path;
+                if (path.length >= 2 && path[0] === 'ctx') {
+                    if (!declared.has(path[1])) {
+                        undeclared.push(path[1]);
+                    }
+                }
+                break;
+            }
+        }
+    }
+    walk(expr);
+    return [...new Set(undeclared)];
+}
+// --- Size limit check ---
+function checkMachineSize(flattenedStates, maxStates) {
+    const leafCount = flattenedStates.filter(fs => !fs.isRegion).length;
+    if (leafCount > maxStates) {
+        return [{
+                code: 'MACHINE_TOO_LARGE',
+                message: `Machine has ${leafCount} states (limit: ${maxStates}). Decompose into hierarchical states or separate machines communicating via events.`,
+                severity: 'error',
+                suggestion: `Split the machine into smaller composed machines. Each machine should stay under ${maxStates} states for verifiable complexity.`,
+            }];
+    }
+    return [];
+}
+// --- Main entry point ---
+export function checkProperties(machine, options) {
+    const maxStates = options?.maxStates ?? DEFAULT_MAX_STATES;
+    const flattenedStates = flattenStates(machine.states);
+    const errors = [];
+    // Size limit check (always runs, even without properties block)
+    errors.push(...checkMachineSize(flattenedStates, maxStates));
+    if (errors.some(e => e.severity === 'error')) {
+        return { valid: false, errors };
+    }
+    // If no properties defined, pass
+    if (!machine.properties || machine.properties.length === 0) {
+        return { valid: true, errors };
+    }
+    const analysis = analyzeMachine(machine);
+    // Build guard definition map for guard-aware BFS
+    const guardDefs = new Map();
+    for (const g of machine.guards) {
+        guardDefs.set(g.name, g);
+    }
+    for (const prop of machine.properties) {
+        switch (prop.kind) {
+            case 'reachable':
+                errors.push(...checkReachable(prop, analysis, flattenedStates, guardDefs));
+                break;
+            case 'unreachable':
+                errors.push(...checkUnreachable(prop, analysis, flattenedStates, guardDefs));
+                break;
+            case 'passes_through':
+                errors.push(...checkPassesThrough(prop, analysis, flattenedStates, guardDefs));
+                break;
+            case 'live':
+                errors.push(...checkLive(analysis, flattenedStates, guardDefs));
+                break;
+            case 'responds':
+                errors.push(...checkResponds(prop, analysis, flattenedStates, guardDefs));
+                break;
+            case 'invariant':
+                errors.push(...checkInvariant(prop, machine, flattenedStates));
+                break;
+        }
+    }
+    return {
+        valid: errors.filter(e => e.severity === 'error').length === 0,
+        errors,
+    };
+}
+//# sourceMappingURL=properties.js.map

package/dist/verifier/properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../src/verifier/properties.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAkB,MAAM,iBAAiB,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAEvF,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;GAGG;AACH,SAAS,6BAA6B,CACpC,UAAgC,EAChC,SAAgC;IAEhC,IAAI,CAAC,UAAU,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,6BAA6B;IAElE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC,CAAC,kCAAkC;IAE/D,OAAO,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED;;;GAGG;AACH,SAAS,GAAG,CACV,QAAgC,EAChC,MAAc,EACd,OAIC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4D,CAAC;IACnF,MAAM,KAAK,GAA2C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAEnF,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAEvC,IAAI,OAAO,EAAE,QAAQ,KAAK,SAAS,IAAI,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACjE,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YAExB,sBAAsB;YACtB,IAAI,OAAO,EAAE,YAAY,IAAI,MAAM,KAAK,OAAO,CAAC,YAAY;gBAAE,SAAS;YAEvE,6DAA6D;YAC7D,IAAI,OAAO,EAAE,SAAS,IAAI,6BAA6B,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC;gBAAE,SAAS;YAExF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACtB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC9F,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;gBACtE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,MAAqE,EACrE,MAAc,EACd,MAAc;IAEd,MAAM,IAAI,GAA6D,EAAE,CAAC;IAC1E,IAAI,OAAO,GAAG,MAAM,CAAC;IAErB,OAAO,OAAO,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,MAAM;QACjB,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACvE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;IACvB,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAEhC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,IAA8D;IAChF,OAAO,IAAI;SACR,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,QAAQ,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;IACvD,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAA8D;IACnF,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,IAAY,EACZ,eAAiC;IAEjC,cAAc;IACd,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC3D,IAAI,KAAK;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAE3C,oBAAoB;IACpB,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACrF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,QAAQ,EAAE,EAAE;YACZ,KAAK,EAAE;gBACL,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,eAAe,IAAI,6BAA6B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC9F,QAAQ,EAAE,OAAO;gBACjB,UAAU,EAAE,gDAAgD;aAC7D;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE;YACL,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,UAAU,IAAI,kCAAkC;YACzD,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,2CAA2C,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAClI;KACF,CAAC;AACJ,CAAC;AAED,4BAA4B;AAE5B,SAAS,cAAc,CACrB,IAA0B,EAC1B,QAAyB,EACzB,eAAiC,EACjC,SAAgC;IAEhC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,KAAK;QAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEtC,MAAM,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAE9E,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,wBAAwB,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,qCAAqC,OAAO,CAAC,QAAQ,SAAS,KAAK,CAAC,QAAQ,GAAG;YACzI,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE;YACrC,UAAU,EAAE,4CAA4C,OAAO,CAAC,QAAQ,SAAS,KAAK,CAAC,QAAQ,GAAG;SACnG,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACvB,IAA0B,EAC1B,QAAyB,EACzB,eAAiC,EACjC,SAAgC;IAEhC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,KAAK;QAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEtC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAEtF,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvE,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,SAAS;YACzB,CAAC,CAAC,wFAAwF;YAC1F,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,0BAA0B,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,6BAA6B,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,EAAE;YACvH,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE;YACrC,UAAU,EAAE,2CAA2C,KAAK,CAAC,QAAQ,WAAW,OAAO,CAAC,QAAQ,wDAAwD;SACzJ,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CACzB,IAA2B,EAC3B,QAAyB,EACzB,eAAiC,EACjC,SAAgC;IAEhC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,KAAK;QAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,KAAK;QAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAEhD,uDAAuD;IACvD,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAC7F,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,6BAA6B,IAAI,CAAC,OAAO,QAAQ,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,QAAQ,KAAK,CAAC,QAAQ,4BAA4B,OAAO,CAAC,QAAQ,UAAU;YAC7J,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE;YACrC,UAAU,EAAE,WAAW,KAAK,CAAC,QAAQ,wBAAwB,OAAO,CAAC,QAAQ,kCAAkC;SAChH,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,iFAAiF;IACjF,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE;QACrF,YAAY,EAAE,UAAU,CAAC,QAAQ;QACjC,SAAS;KACV,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,6BAA6B,IAAI,CAAC,OAAO,QAAQ,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,gCAAgC,UAAU,CAAC,QAAQ,MAAM,UAAU,CAAC,IAAI,CAAC,EAAE;YAC5J,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE;YACrC,UAAU,EAAE,gCAAgC,OAAO,CAAC,QAAQ,SAAS,KAAK,CAAC,QAAQ,wBAAwB,UAAU,CAAC,QAAQ,+CAA+C;SAC9K,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAChB,QAAyB,EACzB,eAAiC,EACjC,SAAgC;IAEhC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,IAAI,CAAC,QAAQ,CAAC,YAAY;QAAE,OAAO,MAAM,CAAC;IAE1C,yCAAyC;IACzC,MAAM,EAAE,SAAS,EAAE,oBAAoB,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAE9G,6BAA6B;IAC7B,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEvE,kFAAkF;IAClF,KAAK,MAAM,SAAS,IAAI,oBAAoB,EAAE,CAAC;QAC7C,IAAI,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAE7C,uEAAuE;QACvE,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC3D,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEnD,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAE3F,IAAI,aAAa,GAAG,KAAK,CAAC;QAC1B,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACxC,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtC,aAAa,GAAG,IAAI,CAAC;gBACrB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,qCAAqC,SAAS,gCAAgC;gBACvF,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;gBAC9B,UAAU,EAAE,yBAAyB,SAAS,0CAA0C,SAAS,cAAc;aAChH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CACpB,IAAsB,EACtB,QAAyB,EACzB,eAAiC,EACjC,SAAgC;IAEhC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,KAAK;QAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEtC,MAAM,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC7D,QAAQ,EAAE,IAAI,CAAC,MAAM;QACrB,SAAS;KACV,CAAC,CAAC;IAEH,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,yDAAyD;QACzD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QACzF,MAAM,uBAAuB,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAE9D,MAAM,MAAM,GAAG,uBAAuB;YACpC,CAAC,CAAC,sBAAsB,IAAI,CAAC,MAAM,wDAAwD;YAC3F,CAAC,CAAC,gCAAgC,OAAO,CAAC,QAAQ,IAAI,CAAC;QAEzD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,uBAAuB,IAAI,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,WAAW,IAAI,CAAC,MAAM,iBAAiB,KAAK,CAAC,QAAQ,0BAA0B,IAAI,CAAC,MAAM,eAAe,MAAM,EAAE;YAC1K,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE;YACrC,UAAU,EAAE,0BAA0B,OAAO,CAAC,QAAQ,SAAS,KAAK,CAAC,QAAQ,yBAAyB;SACvG,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,IAAuB,EACvB,OAAmB,EACnB,eAAiC;IAEjC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,wDAAwD;IACxD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACjE,IAAI,QAAQ,CAAC,KAAK;YAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,4EAA4E;IAC5E,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAElF,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,kDAAkD,KAAK,GAAG;YACnE,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,YAAY,KAAK,8CAA8C;SAC5E,CAAC,CAAC;IACL,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,0EAA0E;QAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,YAAY,SAAS,4GAA4G;YAC1I,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,sGAAsG;SACnH,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,IAAgD,EAAE,QAAqB;IACnG,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,SAAS,IAAI,CAAC,CAA6C;QACzD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,CAAC;YACZ,KAAK,OAAO;gBACV,MAAM;YACR,KAAK,KAAK;gBACR,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACb,MAAM;YACR,KAAK,KAAK,CAAC;YACX,KAAK,IAAI;gBACP,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACb,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACd,MAAM;YACR,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,oEAAoE;gBACpE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;oBAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3B,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzB,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;oBAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3B,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;AAClC,CAAC;AAED,2BAA2B;AAE3B,SAAS,gBAAgB,CACvB,eAAiC,EACjC,SAAiB;IAEjB,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IACpE,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;QAC1B,OAAO,CAAC;gBACN,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,eAAe,SAAS,mBAAmB,SAAS,sFAAsF;gBACnJ,QAAQ,EAAE,OAAO;gBACjB,UAAU,EAAE,oFAAoF,SAAS,oCAAoC;aAC9I,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,2BAA2B;AAE3B,MAAM,UAAU,eAAe,CAAC,OAAmB,EAAE,OAAgC;IACnF,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,IAAI,kBAAkB,CAAC;IAC3D,MAAM,eAAe,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,gEAAgE;IAChE,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7D,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAClC,CAAC;IAED,iCAAiC;IACjC,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjC,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAEzC,iDAAiD;IACjD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QAC/B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC3E,MAAM;YACR,KAAK,aAAa;gBAChB,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,gBAAgB;gBACnB,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,MAAM;gBACT,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;gBAChE,MAAM;YACR,KAAK,UAAU;gBACb,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC1E,MAAM;YACR,KAAK,WAAW;gBACd,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC;gBAC/D,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;QAC9D,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/verifier/structural.d.ts

@@ -0,0 +1,50 @@
+import { MachineDef, StateDef, OrcaFile } from '../parser/ast.js';
+import type { VerificationError, VerificationResult, MachineAnalysis, FileAnalysis } from './types.js';
+export type { Severity } from './types.js';
+export type { VerificationError, VerificationResult, StateInfo, MachineAnalysis } from './types.js';
+export interface FlattenedState {
+    name: string;
+    simpleName: string;
+    parentName?: string;
+    isCompound: boolean;
+    isParallel: boolean;
+    isRegion: boolean;
+    isInitial: boolean;
+    isFinal: boolean;
+    contains?: FlattenedState[];
+    regionOf?: string;
+}
+/**
+ * Recursively flatten nested states into dot-notation names.
+ * E.g., "movement" with children "walking", "running" becomes:
+ * - "movement" (compound)
+ * - "movement.walking" (child)
+ * - "movement.running" (child)
+ */
+export declare function flattenStates(states: StateDef[], parentPrefix?: string): FlattenedState[];
+/**
+ * Find the initial child state of a compound state.
+ */
+export declare function findInitialChild(state: FlattenedState): FlattenedState | undefined;
+/**
+ * Resolve a state name - if it's a compound state, return its initial child.
+ */
+export declare function resolveState(states: FlattenedState[], name: string): FlattenedState | undefined;
+export declare function analyzeMachine(machine: MachineDef): MachineAnalysis;
+export declare function checkReachability(analysis: MachineAnalysis): VerificationError[];
+export declare function checkDeadlocks(analysis: MachineAnalysis): VerificationError[];
+export declare function checkOrphans(analysis: MachineAnalysis): VerificationError[];
+export declare function checkStructural(machine: MachineDef): VerificationResult;
+/**
+ * Analyze an entire OrcaFile with multiple machines.
+ * Performs cross-machine validation including:
+ * - Machine resolution (invoke.machine must exist)
+ * - Circular invocation detection
+ * - Child reachability to final state
+ * - onDone/onError event validation
+ * - Missing on_error warning
+ * - Combined state budget
+ * - Input field validation
+ */
+export declare function analyzeFile(file: OrcaFile): FileAnalysis;
+//# sourceMappingURL=structural.d.ts.map

package/dist/verifier/structural.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../src/verifier/structural.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAa,eAAe,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAElH,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,YAAY,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAEpG,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,EAAE,OAAO,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,cAAc,EAAE,CAwDzF;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,GAAG,cAAc,GAAG,SAAS,CAGlF;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAU/F;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,UAAU,GAAG,eAAe,CAyHnE;AAkDD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,EAAE,CA6ChF;AAED,wBAAgB,cAAc,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,EAAE,CAwD7E;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,eAAe,GAAG,iBAAiB,EAAE,CA+C3E;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,GAAG,kBAAkB,CAYvE;AA2LD;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,YAAY,CAiExD"}