@orcalang/orca-lang 0.1.0

package/dist/skills.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills.js","sourceRoot":"","sources":["../src/skills.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,OAAO,EAAE,UAAU,EAA0B,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AASzD,SAAS,aAAa,CAAC,KAAiB;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC;IACpD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB;IACrC,OAAO,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC;AAClC,CAAC;AAED,8DAA8D;AAC9D,SAAS,WAAW,CAAC,KAAa,EAAE,MAAc;IAChD,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AA4FD,SAAS,iBAAiB,CAAC,MAAkB;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,CAAC,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACf,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,IAAU;IAC/B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;QAC/B,KAAK,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC;QACzB,KAAK,SAAS,CAAC,CAAC,OAAO,SAAS,CAAC;QACjC,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,OAAO,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC;QAC7C,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,SAAS,GAAG,CAAC;QAC7D,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,SAAS,GAAG,CAAC;QAC7C,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAqB;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC;QAC3B,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC;QAC7B,KAAK,KAAK,CAAC,CAAC,OAAO,KAAK,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC/D,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACzG,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACxG,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAA2B,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACnG,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,QAAQ,EAAE,CAAC;YACxE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBACxC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG;gBACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,OAAO,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9C,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,UAAU,CAAC;QAC7D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAmB;IAC/C,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC;QACzC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACvC,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,KAAK,EAAE,CAAC,CAAC,KAAK;gBACZ,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;gBACvD,CAAC,CAAC,SAAS;YACb,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC,CAAC;QACH,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,UAAU,CAAC;SACnD,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3B,OAAO,EAAE,CAAC,CAAC,YAAY;SACxB,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAiB;IAC1C,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QACzD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,QAAQ;YACR,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;SACrB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,OAAO;YACf,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;SACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,KAAiB;IACjD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAElC,IAAI,OAAmB,CAAC;IACxB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,6CAA6C;QAC7C,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,4BAA4B,CAAC,MAAM,CAAC,IAAI,SAAS;YAC1D,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;YACT,WAAW,EAAE,CAAC;YACd,MAAM,EAAE,CAAC;oBACP,IAAI,EAAE,aAAa;oBACnB,OAAO;oBACP,QAAQ,EAAE,OAAO;oBACjB,UAAU,EAAE,0EAA0E;iBACvF,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAE5C,MAAM,QAAQ,GAAG,CAAC,CAAuI,EAAc,EAAE,CAAC,CAAC;QACzK,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK;YACvB,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK;SACxB,CAAC,CAAC,CAAC,SAAS;QACb,UAAU,EAAE,CAAC,CAAC,UAAU;KACzB,CAAC,CAAC;IAEH,MAAM,SAAS,GAAiB;QAC9B,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClC,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACpC,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnC,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;KACnC,CAAC;IAEF,OAAO;QACL,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QACzE,OAAO,EAAE,OAAO,CAAC,IAAI;QACrB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM;QAC7B,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM;QAC7B,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;QACvC,MAAM,EAAE,SAAS;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAiB,EAAE,MAA4B;IAChF,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAEzD,mCAAmC;IACnC,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAiB;QAC7B,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnE,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,CAAC,CAAC,QAA+B;SAC5C,CAAC,CAAC;QACH,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrE,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,CAAC,CAAC,QAA+B;SAC5C,CAAC,CAAC;QACH,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpE,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,CAAC,CAAC,QAA+B;SAC5C,CAAC,CAAC;KACJ,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,KAAK,QAAQ;QAChC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAE9B,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,MAAM;QACN,MAAM;QACN,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAAiB,EACjB,WAAmB,YAAY,EAC/B,SAAkB,KAAK,EACvB,UAAmB,EACnB,gBAAyB,KAAK;IAE9B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAEzD,MAAM,OAAO,GAAqB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,SAAS,EAAE,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChJ,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,YAAY,EAAE,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;KACzD,CAAC,CAAC,CAAC;IAEJ,IAAI,SAAS,GAA2B,EAAE,CAAC;IAC3C,IAAI,KAAK,GAA2B,EAAE,CAAC;IAEvC,IAAI,MAAM,EAAE,CAAC;QACX,6CAA6C;QAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC/C,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC,CAAC,CAAC;QAEH,SAAS,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAA6B,CAAC,CAAC;QAE7F,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAA6B,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;SAAM,CAAC;QACN,yCAAyC;QACzC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7E,CAAC;QAED,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,OAAO,CAAC,IAAI;QACrB,OAAO;QACP,SAAS;QACT,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;KACzD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,QAAqB,EACrB,OAAyB,EACzB,OAAmB,EACnB,QAA2B;IAE3B,MAAM,SAAS,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,SAAS,GAA2B,EAAE,CAAC;IAE7C,MAAM,YAAY,GAAG,qBAAqB,QAAQ;;;+DAGW,CAAC;IAE9D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,YAAY,OAAO,CAAC,IAAI;kBAC7B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;UAEhF,MAAM,CAAC,SAAS;eACX,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE;;6BAE9D,CAAC;QAE1B,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBACvC,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;iBACtC;gBACD,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;YAEH,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC5C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,wBAAwB,MAAM,CAAC,IAAI,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1G,iCAAiC;YACjC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,QAAqB,EACrB,OAAyB,EACzB,OAAmB,EACnB,QAA2B;IAE3B,MAAM,KAAK,GAA2B,EAAE,CAAC;IAEzC,MAAM,YAAY,GAAG,wBAAwB,QAAQ;;0CAEb,QAAQ,GAAG,CAAC;IAEpD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE/F,MAAM,UAAU,GAAG,YAAY,OAAO,CAAC,IAAI;kBAC7B,aAAa;UACrB,MAAM,CAAC,SAAS;uBACH,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,YAAY;;;;;;;2CAO1B,CAAC;QAExC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBACvC,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;iBACtC;gBACD,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;YAEH,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;QACxC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,oCAAoC,MAAM,CAAC,IAAI,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtH,uCAAuC;YACvC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAyB,EAAE,OAAmB,EAAE,WAAmB,YAAY;IAC5G,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,8BAA8B,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,8BAA8B,CAAC,MAAsB,EAAE,OAAmB,EAAE,WAAmB,YAAY;IAClH,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,0BAA0B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,8BAA8B,CAAC,MAAsB,EAAE,OAAmB;IACjF,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,OAAO,OAAO,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACf,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE5G,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,gBAAgB,MAAM,CAAC,IAAI;YAC1B,MAAM,CAAC,IAAI;;EAErB,SAAS;;;;;qBAKU,MAAM,CAAC,IAAI;;;;;mCAKG,MAAM,CAAC,UAAU;;;;;uBAK7B,MAAM,CAAC,IAAI;;MAE5B,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACjE,iBAAiB,CAAC,cAAc,CAAC,IAAI,CACtC,CAAC,IAAI,CAAC,QAAQ,CAAC;;;CAGnB,CAAC;IACA,CAAC;IAED,OAAO,gBAAgB,MAAM,CAAC,IAAI;YACxB,MAAM,CAAC,IAAI;;EAErB,SAAS;;;;;qBAKU,MAAM,CAAC,IAAI;;;;;;;;qBAQX,MAAM,CAAC,IAAI;;MAE1B,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACjE,iBAAiB,CAAC,cAAc,CAAC,IAAI,CACtC,CAAC,IAAI,CAAC,QAAQ,CAAC;;;CAGnB,CAAC;AACF,CAAC;AAED,SAAS,0BAA0B,CAAC,MAAsB,EAAE,OAAmB;IAC7E,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,OAAO,YAAY,CAAC,CAAC,IAAI,MAAM,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;IAC5E,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACf,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5G,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3E,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,eAAe,MAAM,CAAC,IAAI;;;;;;;EAOnC,SAAS;;;;;iBAKM,MAAM,CAAC,IAAI;;gBAEZ,MAAM,CAAC,UAAU;8BACH,MAAM,CAAC,IAAI;;qBAEpB,MAAM,CAAC,IAAI;;;;;iBAKf,MAAM,CAAC,IAAI;;gBAEZ,MAAM,CAAC,UAAU;8BACH,MAAM,CAAC,IAAI;;qBAEpB,MAAM,CAAC,IAAI;;CAE/B,CAAC;IACA,CAAC;IAED,OAAO,eAAe,MAAM,CAAC,IAAI;;;;;;EAMjC,SAAS;;;;;iBAKM,MAAM,CAAC,IAAI;;qBAEP,MAAM,CAAC,IAAI;;;;;iBAKf,MAAM,CAAC,IAAI;;qBAEP,MAAM,CAAC,IAAI;EAC9B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;CAC1E,CAAC;AACF,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAsB,EAAE,OAAmB;IACzE,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACxC,OAAO,QAAQ,CAAC,CAAC,IAAI,MAAM,sBAAsB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACf,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5G,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAE3E,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,gBAAgB,MAAM,CAAC,IAAI;;;;;;;;WAQ3B,MAAM;;EAEf,SAAS;;;gBAGK,MAAM,CAAC,UAAU;yCACQ,MAAM,CAAC,IAAI;;cAEtC,MAAM;;;;;CAKnB,CAAC;IACA,CAAC;IAED,OAAO,gBAAgB,MAAM,CAAC,IAAI;;;;;;;;WAQzB,MAAM;;EAEf,SAAS;;;cAGG,MAAM;;eAEL,MAAM;;EAEnB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,cAAc,CAAC,uBAAuB,CAAC,+BAA+B,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;CAE/I,CAAC;AACF,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB,EAAE,SAAiB;IACpE,wFAAwF;IACxF,MAAM,SAAS,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAEvC,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAS,EAAE,WAAmB,YAAY;IACxE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC/C,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC;gBAC3B,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC;gBACvB,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC;gBAC7B,KAAK,MAAM,CAAC,CAAC,OAAO,OAAO,CAAC;gBAC5B,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC;gBAC/B,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;gBAC1B,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC;gBACxB,KAAK,QAAQ,CAAC,CAAC,OAAO,MAAM,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC;gBAC3B,KAAK,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC;gBACvB,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC;gBAC7B,KAAK,MAAM,CAAC,CAAC,OAAO,OAAO,CAAC;gBAC5B,KAAK,UAAU,CAAC,CAAC,OAAO,KAAK,CAAC;gBAC9B,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;gBAC3B,KAAK,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC;gBACzB,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC;YAC9B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC;gBAC3B,KAAK,KAAK,CAAC;gBACX,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;gBAC3B,KAAK,MAAM,CAAC,CAAC,OAAO,OAAO,CAAC;gBAC5B,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC;gBAC/B,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;gBAC1B,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC;gBACxB,KAAK,QAAQ,CAAC,CAAC,OAAO,MAAM,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7E,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAmB,EAAE,UAAkB;IACnE,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,sCAAsC;IACtC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC5B,qEAAqE;YACrE,0CAA0C;YAC1C,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChE,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAA2G,EAC3G,OAAmB,EACnB,QAAgB;IAEhB,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,OAAO,aAAa,MAAM,CAAC,IAAI;YACzB,MAAM,CAAC,UAAU;+CACkB,MAAM,CAAC,UAAU,MAAM,MAAM,CAAC,IAAI;;;;;YAKrE,MAAM,CAAC,IAAI;4CACqB,MAAM,CAAC,IAAI;;;;CAItD,CAAC;QACE,CAAC;QACD,OAAO,aAAa,MAAM,CAAC,IAAI;2CACQ,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,IAAI;;;;YAI3D,MAAM,CAAC,IAAI;;;CAGtB,CAAC;IACA,CAAC;IAED,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,OAAO,cAAc,MAAM,CAAC,IAAI;aACzB,MAAM,CAAC,UAAU;;qBAET,MAAM,CAAC,UAAU;;OAE/B,MAAM;uBACU,MAAM,CAAC,UAAU;2CACG,MAAM,CAAC,IAAI;;;;CAIrD,CAAC;QACE,CAAC;QACD,OAAO,cAAc,MAAM,CAAC,IAAI;2CACO,MAAM,CAAC,IAAI,MAAM,MAAM;;OAE3D,MAAM;;;;;;;;CAQZ,CAAC;IACA,CAAC;IAED,uBAAuB;IACvB,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACvC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,cAAc,CAAC;QAC1D,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,OAAO,CAAC,CAAC;QACrC,OAAO,iBAAiB,CAAC,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,cAAc,MAAM,CAAC,IAAI;aACvB,MAAM,CAAC,UAAU;;kBAEZ,MAAM,CAAC,IAAI,IAAI,MAAM,uBAAuB,MAAM,CAAC,UAAU;;0BAErD,MAAM,CAAC,UAAU;;;;qBAItB,MAAM,CAAC,IAAI;;;CAG/B,CAAC;IACA,CAAC;IACD,OAAO,cAAc,MAAM,CAAC,IAAI;;kBAEhB,MAAM,CAAC,IAAI;;;;CAI5B,CAAC;AACF,CAAC;AAWD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAAiB,EACjB,MAAoB,EACpB,UAAmB,EACnB,gBAAwB,CAAC;IAEzB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC/C,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEzI,MAAM,YAAY,GAAG;uDACgC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,aAAa,2BAA2B,CAAC;IAE7H,IAAI,aAAa,GAAG,aAAa,CAAC;IAClC,IAAI,aAAa,GAAG,MAAM,CAAC;IAC3B,IAAI,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC;IACtC,IAAI,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,IAAI,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE7G,MAAM,UAAU,GAAG,YAAY,WAAW;UACpC,aAAa;UACb,aAAa;;;EAGrB,SAAS;;;EAGT,aAAa;;0CAE2B,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBACvC,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;iBACtC;gBACD,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;YAEH,aAAa,GAAG,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,YAAY,GAAG,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;YAElE,IAAI,YAAY,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;gBACpC,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,aAAa;oBACxB,YAAY;oBACZ,UAAU,EAAE,CAAC,GAAG,CAAC;oBACjB,OAAO,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,eAAe,CAAC;iBACnD,CAAC;YACJ,CAAC;YAED,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;YACxE,oDAAoD;YACpD,IAAI,CAAC;gBACH,MAAM,CAAC,GAAG,WAAW,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;gBAClD,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC;gBACrB,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrD,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC;YAAC,MAAM,CAAC;gBACP,2EAA2E;YAC7E,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aACxD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;IACvE,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,SAAS,EAAE,aAAa;QACxB,YAAY,EAAE,iBAAiB;QAC/B,UAAU,EAAE,aAAa;QACzB,OAAO,EAAE,CAAC,GAAG,aAAa,2CAA2C,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,MAAM,qBAAqB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oCAsEM,CAAC;AAErC,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,mBAA2B,EAC3B,UAAmB,EACnB,gBAAwB,CAAC;IAEzB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IAEtC,4BAA4B;IAC5B,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC;QACtF,OAAO;YACL,MAAM,EAAE,OAAO;YACf,KAAK,EAAE,wEAAwE;SAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC/C,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG;;EAErB,qBAAqB;;;;;;;;;;;;;;;;;;;;;;uHAsBgG,CAAC;IAEtH,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,UAAU,GAAiB,EAAE,CAAC;IAClC,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,OAAO,SAAS,GAAG,aAAa,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,SAAS,KAAK,CAAC;YAChC,CAAC,CAAC,wCAAwC,mBAAmB,EAAE;YAC/D,CAAC,CAAC,mFAAmF,WAAW,6BAA6B,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,oDAAoD,CAAC;QAEvN,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBACvC,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;iBACtC;gBACD,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;YAEH,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC/C,MAAM,YAAY,GAAG,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAEhE,IAAI,YAAY,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;gBACpC,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,YAAY,CAAC,OAAO;oBAC7B,IAAI,EAAE,WAAW;oBACjB,YAAY;iBACb,CAAC;YACJ,CAAC;YAED,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC;YACjC,SAAS,EAAE,CAAC;QACd,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aACxD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,OAAO,EAAE,4BAA4B,CAAC,WAAW,CAAC;QAClD,IAAI,EAAE,WAAW;QACjB,YAAY,EAAE,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;YACpE,MAAM,EAAE,SAAkB;YAC1B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;YACT,WAAW,EAAE,CAAC;YACd,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,MAAM,6BAA6B,GAAG;;;;;;;;;;;;;;;;;;;;CAoBrC,CAAC;AAEF,SAAS,iBAAiB,CAAC,MAAc;IACvC,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,SAAS,GAAiB,EAAE,CAAC;IAEnC,2EAA2E;IAC3E,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IACvG,CAAC;IAED,qBAAqB;IACrB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI;YACd,GAAG,UAAU,CAAC,MAAM;YACpB,GAAG,YAAY,CAAC,MAAM;YACtB,GAAG,WAAW,CAAC,MAAM;YACrB,GAAG,UAAU,CAAC,MAAM;SACrB,EAAE,CAAC;YACF,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE;gBACzC,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS;gBACvF,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QACnD,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,mBAA2B,EAC3B,UAAmB,EACnB,gBAAwB,CAAC;IAEzB,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IAEtC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC;QACtF,OAAO;YACL,MAAM,EAAE,OAAO;YACf,KAAK,EAAE,wEAAwE;SAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC/C,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG;;EAErB,qBAAqB;EACrB,6BAA6B;;;;;;;;;;;;;;;;;;;sIAmBuG,CAAC;IAErI,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,UAAU,GAAiB,EAAE,CAAC;IAClC,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,OAAO,SAAS,GAAG,aAAa,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,SAAS,KAAK,CAAC;YAChC,CAAC,CAAC,4DAA4D,mBAAmB,6DAA6D;YAC9I,CAAC,CAAC,oGAAoG,WAAW,6BAA6B,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,0DAA0D,CAAC;QAE9O,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC;gBACvC,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE;iBACtC;gBACD,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC,CAAC;YAEH,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAE/C,IAAI,YAA0E,CAAC;YAC/E,IAAI,CAAC;gBACH,YAAY,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;YAChD,CAAC;YAAC,OAAO,QAAQ,EAAE,CAAC;gBAClB,UAAU,GAAG,CAAC;wBACZ,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE,QAAQ,YAAY,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;wBACxE,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;gBACH,SAAS,EAAE,CAAC;gBACZ,SAAS;YACX,CAAC;YAED,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;gBACvB,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,QAAQ,EAAE,YAAY,CAAC,QAAQ;oBAC/B,IAAI,EAAE,WAAW;iBAClB,CAAC;YACJ,CAAC;YAED,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;YACrE,SAAS,EAAE,CAAC;QACd,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;aACxD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,aAAa,GAAa,EAAE,CAAC;IACjC,IAAI,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;QAC5C,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;IAExB,OAAO;QACL,MAAM,EAAE,qBAAqB;QAC7B,QAAQ,EAAE,aAAa;QACvB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,IAAI;SACR,OAAO,CAAC,sCAAsC,EAAE,EAAE,CAAC;SACnD,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;SACrB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAY;IAChD,8EAA8E;IAC9E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IACvD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtC,CAAC"}

package/dist/tools.d.ts

@@ -0,0 +1,18 @@
+/** Shared Orca tool descriptors — used by the CLI (--tools --json) and the MCP server. */
+export interface ToolInputSchema {
+    type: 'object';
+    properties: Record<string, {
+        type: string;
+        description?: string;
+        enum?: string[];
+        items?: Record<string, unknown>;
+    }>;
+    required: string[];
+}
+export interface ToolDef {
+    name: string;
+    description: string;
+    inputSchema: ToolInputSchema;
+}
+export declare const ORCA_TOOLS: ToolDef[];
+//# sourceMappingURL=tools.d.ts.map

package/dist/tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tools.d.ts","sourceRoot":"","sources":["../src/tools.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAE1F,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IACrH,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,eAAe,CAAC;CAC9B;AAED,eAAO,MAAM,UAAU,EAAE,OAAO,EAiI/B,CAAC"}

package/dist/tools.js

@@ -0,0 +1,124 @@
+/** Shared Orca tool descriptors — used by the CLI (--tools --json) and the MCP server. */
+export const ORCA_TOOLS = [
+    {
+        name: 'parse_machine',
+        description: 'Parse an Orca machine definition and return its structure as JSON (states, events, transitions, guards, actions, context). Supports single and multi-machine files.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                source: { type: 'string', description: 'Raw .orca.md content' },
+            },
+            required: ['source'],
+        },
+    },
+    {
+        name: 'verify_machine',
+        description: 'Verify an Orca machine definition for structural correctness, completeness, and determinism. Returns structured errors and warnings.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                source: { type: 'string', description: 'Raw .orca.md content' },
+            },
+            required: ['source'],
+        },
+    },
+    {
+        name: 'compile_machine',
+        description: 'Compile an Orca machine to XState v5 config (TypeScript) or Mermaid stateDiagram-v2.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                source: { type: 'string', description: 'Raw .orca.md content' },
+                target: {
+                    type: 'string',
+                    enum: ['xstate', 'mermaid'],
+                    description: 'Compilation target (default: xstate)',
+                },
+            },
+            required: ['source'],
+        },
+    },
+    {
+        name: 'generate_machine',
+        description: 'Generate an Orca machine definition from a natural language specification. Requires LLM configuration via environment variables (ANTHROPIC_API_KEY, etc.). Loops up to max_iterations to produce a valid machine.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                spec: {
+                    type: 'string',
+                    description: 'Natural language description of the desired state machine',
+                },
+                max_iterations: {
+                    type: 'number',
+                    description: 'Maximum refinement iterations (default: 3)',
+                },
+            },
+            required: ['spec'],
+        },
+    },
+    {
+        name: 'generate_actions',
+        description: 'Generate action scaffold code for an Orca machine in TypeScript, Python, or Go. Includes registration comments and optional test scaffolds.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                source: { type: 'string', description: 'Raw .orca.md content' },
+                lang: {
+                    type: 'string',
+                    enum: ['typescript', 'python', 'go'],
+                    description: 'Target language (default: typescript)',
+                },
+                use_llm: {
+                    type: 'boolean',
+                    description: 'Use LLM to generate implementations instead of templates (default: false)',
+                },
+                generate_tests: {
+                    type: 'boolean',
+                    description: 'Include test scaffolds in the output (default: false)',
+                },
+            },
+            required: ['source'],
+        },
+    },
+    {
+        name: 'generate_multi_machine',
+        description: 'Generate a coordinated set of Orca machines from a natural language specification. Returns multiple machine definitions in one .orca.md file (separated by ---) that pass the cross-machine verifier. Requires LLM configuration via environment variables.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                spec: {
+                    type: 'string',
+                    description: 'Natural language description of the desired multi-machine system',
+                },
+                max_iterations: {
+                    type: 'number',
+                    description: 'Maximum refinement iterations (default: 3)',
+                },
+            },
+            required: ['spec'],
+        },
+    },
+    {
+        name: 'refine_machine',
+        description: 'Fix verification errors in an Orca machine using an LLM. Loops until the machine is valid or max_iterations is reached. If errors are not provided, verification runs automatically first.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                source: { type: 'string', description: 'Raw .orca.md content with errors' },
+                errors: {
+                    type: 'array',
+                    description: 'Verification errors from verify_machine. If omitted, verification runs automatically.',
+                    items: {
+                        type: 'object',
+                    },
+                },
+                max_iterations: {
+                    type: 'number',
+                    description: 'Maximum refinement iterations (default: 3)',
+                },
+            },
+            required: ['source'],
+        },
+    },
+];
+//# sourceMappingURL=tools.js.map

package/dist/tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tools.js","sourceRoot":"","sources":["../src/tools.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAc1F,MAAM,CAAC,MAAM,UAAU,GAAc;IACnC;QACE,IAAI,EAAE,eAAe;QACrB,WAAW,EACT,qKAAqK;QACvK,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,sBAAsB,EAAE;aAChE;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,WAAW,EACT,sIAAsI;QACxI,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,sBAAsB,EAAE;aAChE;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,sFAAsF;QACxF,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,sBAAsB,EAAE;gBAC/D,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;oBAC3B,WAAW,EAAE,sCAAsC;iBACpD;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,kBAAkB;QACxB,WAAW,EACT,mNAAmN;QACrN,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2DAA2D;iBACzE;gBACD,cAAc,EAAE;oBACd,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4CAA4C;iBAC1D;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,kBAAkB;QACxB,WAAW,EACT,6IAA6I;QAC/I,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,sBAAsB,EAAE;gBAC/D,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC;oBACpC,WAAW,EAAE,uCAAuC;iBACrD;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,2EAA2E;iBACzF;gBACD,cAAc,EAAE;oBACd,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,uDAAuD;iBACrE;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;IACD;QACE,IAAI,EAAE,wBAAwB;QAC9B,WAAW,EACT,6PAA6P;QAC/P,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,kEAAkE;iBAChF;gBACD,cAAc,EAAE;oBACd,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4CAA4C;iBAC1D;aACF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,WAAW,EACT,4LAA4L;QAC9L,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kCAAkC,EAAE;gBAC3E,MAAM,EAAE;oBACN,IAAI,EAAE,OAAO;oBACb,WAAW,EACT,uFAAuF;oBACzF,KAAK,EAAE;wBACL,IAAI,EAAE,QAAQ;qBACf;iBACF;gBACD,cAAc,EAAE;oBACd,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,4CAA4C;iBAC1D;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;KACF;CACF,CAAC"}

package/dist/verifier/completeness.d.ts

@@ -0,0 +1,4 @@
+import { MachineDef } from '../parser/ast.js';
+import { VerificationResult } from './structural.js';
+export declare function checkCompleteness(machine: MachineDef): VerificationResult;
+//# sourceMappingURL=completeness.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"completeness.d.ts","sourceRoot":"","sources":["../../src/verifier/completeness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAwB,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAoE,MAAM,iBAAiB,CAAC;AAEvH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,GAAG,kBAAkB,CAqFzE"}

package/dist/verifier/completeness.js

@@ -0,0 +1,82 @@
+import { analyzeMachine, flattenStates } from './structural.js';
+export function checkCompleteness(machine) {
+    const analysis = analyzeMachine(machine);
+    const errors = [];
+    // Build a map of (state, event) -> transitions
+    const transitionMap = new Map();
+    for (const transition of machine.transitions) {
+        const key = `${transition.source}+${transition.event}`;
+        if (!transitionMap.has(key)) {
+            transitionMap.set(key, []);
+        }
+        transitionMap.get(key).push(transition);
+    }
+    // Flatten states for hierarchical handling
+    const flattenedStates = flattenStates(machine.states);
+    // Build a map of compound state name -> its child state names
+    const compoundChildren = new Map();
+    // Map from dot-notation name to simple name for transition lookups
+    const simpleNameMap = new Map();
+    for (const fs of flattenedStates) {
+        simpleNameMap.set(fs.name, fs.simpleName);
+        if (fs.parentName) {
+            if (!compoundChildren.has(fs.parentName)) {
+                compoundChildren.set(fs.parentName, []);
+            }
+            compoundChildren.get(fs.parentName).push(fs.name);
+        }
+    }
+    // Check every state handles every event
+    for (const fs of flattenedStates) {
+        // Skip child states - they're covered by parent compound state checks
+        // (transitions on compound state fire from any child)
+        if (fs.parentName)
+            continue;
+        // For compound states, we check if ANY child handles the event
+        // For leaf states, we check directly
+        const isHandledForEvent = (stateName, eventName) => {
+            // Check direct transitions from this state (both full and simple name)
+            const directKey = `${stateName}+${eventName}`;
+            if (transitionMap.has(directKey))
+                return true;
+            const simple = simpleNameMap.get(stateName);
+            if (simple && simple !== stateName) {
+                const simpleKey = `${simple}+${eventName}`;
+                if (transitionMap.has(simpleKey))
+                    return true;
+            }
+            // For compound states, also check if any child has a transition for this event
+            const children = compoundChildren.get(stateName);
+            if (children) {
+                for (const child of children) {
+                    if (isHandledForEvent(child, eventName))
+                        return true;
+                }
+            }
+            return false;
+        };
+        const stateInfo = analysis.stateMap.get(fs.name);
+        if (!stateInfo)
+            continue;
+        for (const event of machine.events) {
+            const transitions = transitionMap.get(`${fs.name}+${event.name}`) || [];
+            const isIgnored = stateInfo.eventsIgnored.has(event.name);
+            const hasHandler = isHandledForEvent(fs.name, event.name);
+            // Event is not handled and not ignored
+            if (!hasHandler && !isIgnored && !fs.isFinal) {
+                errors.push({
+                    code: 'INCOMPLETE_EVENT_HANDLING',
+                    message: `State '${fs.name}' does not handle event '${event.name}'`,
+                    severity: 'error',
+                    location: { state: fs.name, event: event.name },
+                    suggestion: `Add transition: ${fs.name} + ${event.name} -> <target> : <action>`,
+                });
+            }
+        }
+    }
+    return {
+        valid: errors.length === 0,
+        errors,
+    };
+}
+//# sourceMappingURL=completeness.js.map

package/dist/verifier/completeness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completeness.js","sourceRoot":"","sources":["../../src/verifier/completeness.ts"],"names":[],"mappings":"AACA,OAAO,EAAyC,cAAc,EAAE,aAAa,EAAkB,MAAM,iBAAiB,CAAC;AAEvH,MAAM,UAAU,iBAAiB,CAAC,OAAmB;IACnD,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,+CAA+C;IAC/C,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,2CAA2C;IAC3C,MAAM,eAAe,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEtD,8DAA8D;IAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACrD,mEAAmE;IACnE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QACjC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClB,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC1C,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QACjC,sEAAsE;QACtE,sDAAsD;QACtD,IAAI,EAAE,CAAC,UAAU;YAAE,SAAS;QAE5B,+DAA+D;QAC/D,qCAAqC;QACrC,MAAM,iBAAiB,GAAG,CAAC,SAAiB,EAAE,SAAiB,EAAW,EAAE;YAC1E,uEAAuE;YACvE,MAAM,SAAS,GAAG,GAAG,SAAS,IAAI,SAAS,EAAE,CAAC;YAC9C,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,MAAM,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACnC,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,SAAS,EAAE,CAAC;gBAC3C,IAAI,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAC;YAChD,CAAC;YAED,+EAA+E;YAC/E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjD,IAAI,QAAQ,EAAE,CAAC;gBACb,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;oBAC7B,IAAI,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC;wBAAE,OAAO,IAAI,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACxE,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,UAAU,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAE1D,uCAAuC;YACvC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC7C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,4BAA4B,KAAK,CAAC,IAAI,GAAG;oBACnE,QAAQ,EAAE,OAAO;oBACjB,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;oBAC/C,UAAU,EAAE,mBAAmB,EAAE,CAAC,IAAI,MAAM,KAAK,CAAC,IAAI,yBAAyB;iBAChF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/verifier/determinism.d.ts

@@ -0,0 +1,17 @@
+import { MachineDef, GuardRef, GuardDef, GuardExpression } from '../parser/ast.js';
+import { VerificationResult } from './structural.js';
+export declare function checkDeterminism(machine: MachineDef): VerificationResult;
+/**
+ * Resolve a GuardRef (name + negated flag) into its full GuardExpression.
+ */
+export declare function resolveGuardExpression(ref: GuardRef, guardDefs: Map<string, GuardDef>): GuardExpression | null;
+/**
+ * Check if two guard expressions are mutually exclusive (can never both be true).
+ */
+export declare function areExpressionsMutuallyExclusive(a: GuardExpression, b: GuardExpression): boolean;
+/**
+ * Check if a guard expression is statically always false.
+ * Detects: literal false, AND(x, not(x)), numeric contradictions.
+ */
+export declare function isExpressionStaticallyFalse(expr: GuardExpression): boolean;
+//# sourceMappingURL=determinism.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"determinism.d.ts","sourceRoot":"","sources":["../../src/verifier/determinism.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAc,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAuC,MAAM,kBAAkB,CAAC;AACpI,OAAO,EAAE,kBAAkB,EAAqB,MAAM,iBAAiB,CAAC;AAExE,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,UAAU,GAAG,kBAAkB,CAyExE;AAuCD;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,QAAQ,EACb,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAC/B,eAAe,GAAG,IAAI,CAQxB;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,eAAe,GAAG,OAAO,CAkD/F;AA4HD;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAe1E"}

package/dist/verifier/determinism.js

@@ -0,0 +1,301 @@
+export function checkDeterminism(machine) {
+    const errors = [];
+    // Build guard lookup by name
+    const guardDefMap = new Map();
+    for (const g of machine.guards) {
+        guardDefMap.set(g.name, g);
+    }
+    // Build a map of (state, event) -> transitions with guards
+    const transitionMap = new Map();
+    for (const transition of machine.transitions) {
+        const key = `${transition.source}+${transition.event}`;
+        if (!transitionMap.has(key)) {
+            transitionMap.set(key, []);
+        }
+        transitionMap.get(key).push(transition);
+    }
+    // Check each (state, event) pair
+    for (const [key, transitions] of transitionMap) {
+        if (transitions.length <= 1)
+            continue;
+        // Multiple transitions for same state+event
+        const guards = transitions.map(t => t.guard);
+        const hasUnguarded = guards.some(g => !g);
+        // If there are multiple unguarded transitions, that's always an error
+        if (hasUnguarded && guards.filter(g => !g).length > 1) {
+            const [stateName, eventName] = key.split('+');
+            errors.push({
+                code: 'NON_DETERMINISTIC',
+                message: `State '${stateName}' has multiple unguarded transitions for event '${eventName}'`,
+                severity: 'error',
+                location: {
+                    state: stateName,
+                    event: eventName,
+                },
+                suggestion: 'Add guards to make transitions mutually exclusive',
+            });
+        }
+        // Check mutual exclusivity of guards
+        const guardedTransitions = transitions.filter(t => t.guard);
+        if (guardedTransitions.length > 1) {
+            const guardNames = guardedTransitions.map(t => {
+                const g = t.guard;
+                return g.negated ? `!${g.name}` : g.name;
+            });
+            const mutuallyExclusive = areGuardsMutuallyExclusive(guardedTransitions.map(t => t.guard), guardDefMap);
+            if (!mutuallyExclusive) {
+                const [stateName, eventName] = key.split('+');
+                errors.push({
+                    code: 'GUARD_EXHAUSTIVENESS',
+                    message: `State '${stateName}' transitions for event '${eventName}' may not be exhaustive: ${guardNames.join(', ')}`,
+                    severity: 'warning',
+                    location: { state: stateName, event: eventName },
+                    suggestion: 'Ensure guards cover all possible context values',
+                });
+            }
+        }
+    }
+    return {
+        valid: errors.filter(e => e.severity === 'error').length === 0,
+        errors,
+    };
+}
+/**
+ * Check if a set of guard references are pairwise mutually exclusive.
+ * Uses multiple strategies:
+ * 1. Simple negation pairs (g and !g)
+ * 2. Expression-level complementary analysis
+ */
+function areGuardsMutuallyExclusive(guardRefs, guardDefs) {
+    // Strategy 1: Simple name-based negation pairs (g and !g)
+    const hasSimpleNegationPair = guardRefs.some(g1 => guardRefs.some(g2 => {
+        if (g1 === g2)
+            return false;
+        return g1.name === g2.name && g1.negated !== g2.negated;
+    }));
+    if (hasSimpleNegationPair)
+        return true;
+    // Strategy 2: Resolve to expressions and check pairwise exclusivity
+    const resolvedExprs = guardRefs.map(ref => resolveGuardExpression(ref, guardDefs));
+    // If any guard couldn't be resolved, we can't verify — assume OK
+    if (resolvedExprs.some(e => e === null))
+        return true;
+    // Check all pairs are mutually exclusive
+    for (let i = 0; i < resolvedExprs.length; i++) {
+        for (let j = i + 1; j < resolvedExprs.length; j++) {
+            if (areExpressionsMutuallyExclusive(resolvedExprs[i], resolvedExprs[j])) {
+                return true;
+            }
+        }
+    }
+    return false;
+}
+/**
+ * Resolve a GuardRef (name + negated flag) into its full GuardExpression.
+ */
+export function resolveGuardExpression(ref, guardDefs) {
+    const def = guardDefs.get(ref.name);
+    if (!def)
+        return null;
+    if (ref.negated) {
+        return { kind: 'not', expr: def.expression };
+    }
+    return def.expression;
+}
+/**
+ * Check if two guard expressions are mutually exclusive (can never both be true).
+ */
+export function areExpressionsMutuallyExclusive(a, b) {
+    // Unwrap negation: a and not(a) are exclusive
+    const aNorm = unwrapNot(a);
+    const bNorm = unwrapNot(b);
+    // If one is the negation of the other (structurally equal after unwrapping)
+    if (aNorm.negated !== bNorm.negated && expressionsEqual(aNorm.expr, bNorm.expr)) {
+        return true;
+    }
+    // true vs false
+    if (a.kind === 'true' && b.kind === 'false')
+        return true;
+    if (a.kind === 'false' && b.kind === 'true')
+        return true;
+    // Complementary comparisons on the same variable
+    if (a.kind === 'compare' && b.kind === 'compare') {
+        if (variablePathsEqual(a.left, b.left)) {
+            return areComparisonsExclusive(a.op, a.right, b.op, b.right);
+        }
+    }
+    // Complementary nullchecks on the same variable
+    if (a.kind === 'nullcheck' && b.kind === 'nullcheck') {
+        if (variablePathsEqual(a.expr, b.expr) && a.isNull !== b.isNull) {
+            return true;
+        }
+    }
+    // Compare vs nullcheck on same variable: ctx.x == value vs ctx.x is null
+    if (a.kind === 'compare' && b.kind === 'nullcheck') {
+        if (variablePathsEqual(a.left, b.expr) && b.isNull) {
+            return true; // if ctx.x equals a concrete value, it's not null
+        }
+    }
+    if (b.kind === 'compare' && a.kind === 'nullcheck') {
+        if (variablePathsEqual(b.left, a.expr) && a.isNull) {
+            return true;
+        }
+    }
+    // not(E) vs E at expression level
+    if (a.kind === 'not') {
+        if (areExpressionsMutuallyExclusive(a.expr, b))
+            return false; // don't recurse infinitely
+        if (expressionsEqual(a.expr, b))
+            return true;
+    }
+    if (b.kind === 'not') {
+        if (expressionsEqual(b.expr, a))
+            return true;
+    }
+    return false;
+}
+/**
+ * Unwrap layers of NOT to get the core expression and parity.
+ */
+function unwrapNot(expr) {
+    let negated = false;
+    let current = expr;
+    while (current.kind === 'not') {
+        negated = !negated;
+        current = current.expr;
+    }
+    return { expr: current, negated };
+}
+/**
+ * Check if two comparison operations on the same variable are mutually exclusive.
+ */
+function areComparisonsExclusive(op1, val1, op2, val2) {
+    // Different constant values with == are always exclusive
+    if (op1 === 'eq' && op2 === 'eq') {
+        return !valuesEqual(val1, val2);
+    }
+    // eq vs ne on same value are exclusive
+    if ((op1 === 'eq' && op2 === 'ne') || (op1 === 'ne' && op2 === 'eq')) {
+        if (valuesEqual(val1, val2))
+            return true;
+    }
+    // Complementary inequality pairs on same value: < vs >=, > vs <=, lt vs ge, gt vs le
+    if (valuesEqual(val1, val2)) {
+        const complementaryPairs = [
+            ['lt', 'ge'],
+            ['ge', 'lt'],
+            ['gt', 'le'],
+            ['le', 'gt'],
+        ];
+        for (const [a, b] of complementaryPairs) {
+            if (op1 === a && op2 === b)
+                return true;
+        }
+    }
+    // Numeric range exclusion: ctx.x < 3 vs ctx.x > 5 (always exclusive)
+    // ctx.x < A vs ctx.x > B where A <= B
+    if (val1.type === 'number' && val2.type === 'number') {
+        const v1 = val1.value;
+        const v2 = val2.value;
+        // lt/le A vs gt/ge B where ranges don't overlap
+        if ((op1 === 'lt' || op1 === 'le') && (op2 === 'gt' || op2 === 'ge')) {
+            if (op1 === 'lt' && op2 === 'ge' && v1 <= v2)
+                return true;
+            if (op1 === 'lt' && op2 === 'gt' && v1 <= v2)
+                return true;
+            if (op1 === 'le' && op2 === 'gt' && v1 <= v2)
+                return true;
+            if (op1 === 'le' && op2 === 'ge' && v1 < v2)
+                return true;
+        }
+        if ((op2 === 'lt' || op2 === 'le') && (op1 === 'gt' || op1 === 'ge')) {
+            if (op2 === 'lt' && op1 === 'ge' && v2 <= v1)
+                return true;
+            if (op2 === 'lt' && op1 === 'gt' && v2 <= v1)
+                return true;
+            if (op2 === 'le' && op1 === 'gt' && v2 <= v1)
+                return true;
+            if (op2 === 'le' && op1 === 'ge' && v2 < v1)
+                return true;
+        }
+        // eq vs lt/gt: ctx.x == 5 vs ctx.x < 3 (exclusive if 5 >= 3)
+        if (op1 === 'eq' && (op2 === 'lt' && v1 >= v2))
+            return true;
+        if (op1 === 'eq' && (op2 === 'le' && v1 > v2))
+            return true;
+        if (op1 === 'eq' && (op2 === 'gt' && v1 <= v2))
+            return true;
+        if (op1 === 'eq' && (op2 === 'ge' && v1 < v2))
+            return true;
+        if (op2 === 'eq' && (op1 === 'lt' && v2 >= v1))
+            return true;
+        if (op2 === 'eq' && (op1 === 'le' && v2 > v1))
+            return true;
+        if (op2 === 'eq' && (op1 === 'gt' && v2 <= v1))
+            return true;
+        if (op2 === 'eq' && (op1 === 'ge' && v2 < v1))
+            return true;
+    }
+    return false;
+}
+/**
+ * Structural equality of two guard expressions.
+ */
+function expressionsEqual(a, b) {
+    if (a.kind !== b.kind)
+        return false;
+    switch (a.kind) {
+        case 'true':
+        case 'false':
+            return true;
+        case 'not':
+            return expressionsEqual(a.expr, b.expr);
+        case 'and':
+        case 'or':
+            return expressionsEqual(a.left, b.left) &&
+                expressionsEqual(a.right, b.right);
+        case 'compare': {
+            const bc = b;
+            return a.op === bc.op &&
+                variablePathsEqual(a.left, bc.left) &&
+                valuesEqual(a.right, bc.right);
+        }
+        case 'nullcheck': {
+            const bn = b;
+            return a.isNull === bn.isNull && variablePathsEqual(a.expr, bn.expr);
+        }
+        default:
+            return false;
+    }
+}
+function variablePathsEqual(a, b) {
+    if (a.path.length !== b.path.length)
+        return false;
+    return a.path.every((p, i) => p === b.path[i]);
+}
+function valuesEqual(a, b) {
+    return a.type === b.type && a.value === b.value;
+}
+/**
+ * Check if a guard expression is statically always false.
+ * Detects: literal false, AND(x, not(x)), numeric contradictions.
+ */
+export function isExpressionStaticallyFalse(expr) {
+    if (expr.kind === 'false')
+        return true;
+    // AND with contradictory branches: (A and not(A))
+    if (expr.kind === 'and') {
+        if (areExpressionsMutuallyExclusive(expr.left, expr.right))
+            return true;
+        // Either branch being false makes the whole thing false
+        if (isExpressionStaticallyFalse(expr.left))
+            return true;
+        if (isExpressionStaticallyFalse(expr.right))
+            return true;
+    }
+    // not(true) = false
+    if (expr.kind === 'not' && expr.expr.kind === 'true')
+        return true;
+    return false;
+}
+//# sourceMappingURL=determinism.js.map