@proposit/proposit-core 3.4.2 → 4.0.1

package/dist/lib/core/evaluation/argument-evaluation.js.map

@@ -1 +1 @@
-{"version":3,"file":"argument-evaluation.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/argument-evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,YAAY,EACZ,cAAc,GAGjB,MAAM,yBAAyB,CAAA;AAahC,OAAO,EACH,SAAS,EACT,SAAS,EACT,QAAQ,EACR,aAAa,EACb,SAAS,GACZ,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAkDtE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACjC,gBAAwB,EACxB,aAAuE,EACvE,WAAiE,EACjE,SAAkC;IAElC,MAAM,IAAI,GAAG,aAAa,CAAC,gBAAgB,CAAC,CAAA;IAC5C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAA;IAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;IAC7C,CAAC;IAED,MAAM,OAAO,GAAG,CACZ,KAAmC,EAChB,EAAE,CACrB,qBAAqB,CAAC,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,CAAC,CAAA;IAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAErC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5D,CAAC;IAED,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,KAAK;YACN,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACvE,KAAK,KAAK;YACN,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAC9C,IAAI,CACP,CAAA;QACL,KAAK,IAAI;YACL,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAC7C,KAAK,CACR,CAAA;QACL,KAAK,SAAS;YACV,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC;gBACvB,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAA;QACd,KAAK,KAAK;YACN,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC;gBACvB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAA;QACd;YACI,OAAO,IAAI,CAAA;IACnB,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,4BAA4B,CACxC,GAA+B,EAC/B,UAAqC;IAErC,MAAM,IAAI,GAA4B,EAAE,GAAG,UAAU,CAAC,SAAS,EAAE,CAAA;IACjE,MAAM,aAAa,GAAG,UAAU,CAAC,mBAAmB,CAAA;IAEpD,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAGrB,CAAA;IACH,+CAA+C;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0C,CAAA;IAEpE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,QAAQ,CAAC,GAAG,CACR,IAAI,CAAC,EAAE,EACP,IAA4D,CAC/D,CAAA;QACL,CAAC;QACD,yEAAyE;QACzE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,MAAM,YAAY,GAAG,CAAC,MAAc,EAAuB,EAAE;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAA;QAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,CACH,IAAI,CACC,IAAiD;iBAC7C,UAAU,CAClB,IAAI,IAAI,CACZ,CAAA;QACL,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;YAC9C,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACpE,CAAC;QAED,WAAW;QACX,MAAM,EAAE,GAAI,IAAiD,CAAC,QAAQ,CAAA;QACtE,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAE9C,QAAQ,EAAE,EAAE,CAAC;YACT,KAAK,KAAK;gBACN,OAAO,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAClD,KAAK,KAAK;gBACN,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EACtD,IAAI,CACP,CAAA;YACL,KAAK,IAAI;gBACL,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EACrD,KAAK,CACR,CAAA;YACL,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,OAAO,aAAa,CAChB,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAC5B,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC/B,CAAA;YACL,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACT,OAAO,SAAS,CACZ,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAC5B,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC/B,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAA;IAED;;;OAGG;IACH,MAAM,qBAAqB,GAAG,CAC1B,IAAkC,EACrB,EAAE;QACf,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,UAAU,CAAA;QAC1B,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;YAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;YAC7C,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAA;IACf,CAAC,CAAA;IAED,2DAA2D;IAC3D,+DAA+D;IAC/D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAClE,CAAC;IAED;;;;;OAKG;IACH,MAAM,WAAW,GAAG,CAChB,KAAmC,EACnC,KAAc,EACP,EAAE;QACT,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAA;QAC1C,IAAI,KAAK,IAAI,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;QACnC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAA;YACnB,OAAO,IAAI,CAAA;QACf,CAAC;QACD,kCAAkC;QAClC,IAAI,KAAK,KAAK,KAAK,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACtC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAA;YACnB,OAAO,IAAI,CAAA;QACf,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC,CAAA;IAED,uEAAuE;IACvE,yDAAyD;IACzD,oEAAoE;IACpE,sCAAsC;IACtC,KAAK,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,UAAU,CAAU,EAAE,CAAC;QACpD,IAAI,OAAO,GAAG,IAAI,CAAA;QAClB,OAAO,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,KAAK,CAAA;YAEf,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACpC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;oBAAE,SAAQ;gBACtC,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;gBACnC,IAAI,KAAK,KAAK,KAAK;oBAAE,SAAQ;gBAE7B,MAAM,EAAE,GAAI,IAAiD;qBACxD,QAAQ,CAAA;gBACb,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;gBAE7C,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;oBACvB,QAAQ,EAAE,EAAE,CAAC;wBACT,KAAK,KAAK,CAAC,CAAC,CAAC;4BACT,8CAA8C;4BAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gCACtB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;oCAC/B,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,KAAK,CAAC,CAAC,CAAC;4BACT,8CAA8C;4BAC9C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gCAC3B,IAAI,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC;oCAAE,OAAO,GAAG,IAAI,CAAA;4BAChD,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,IAAI,CAAC,CAAC,CAAC;4BACR,mEAAmE;4BACnE,MAAM,eAAe,GACjB,EAAE,CAAA;4BACN,IAAI,iBAAiB,GAAG,IAAI,CAAA;4BAC5B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gCAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;gCACzC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oCACtB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gCAC/B,CAAC;qCAAM,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;oCAC9B,iBAAiB,GAAG,KAAK,CAAA;gCAC7B,CAAC;4BACL,CAAC;4BACD,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;gCAC5B,iBAAiB,EACnB,CAAC;gCACC,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oCACrC,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,SAAS,CAAC,CAAC,CAAC;4BACb,6DAA6D;4BAC7D,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gCACvB,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gCAC9C,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gCAC/C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oCACrB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;wCAC9B,OAAO,GAAG,IAAI,CAAA;gCACtB,CAAC;gCACD,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;oCACvB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;wCAC/B,OAAO,GAAG,IAAI,CAAA;gCACtB,CAAC;4BACL,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,KAAK,CAAC,CAAC,CAAC;4BACT,mEAAmE;4BACnE,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gCACvB,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gCAC9C,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gCAC/C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oCACrB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;wCACnC,OAAO,GAAG,IAAI,CAAA;gCACtB,CAAC;gCACD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oCACtB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;wCACpC,OAAO,GAAG,IAAI,CAAA;gCACtB,CAAC;4BACL,CAAC;4BACD,MAAK;wBACT,CAAC;oBACL,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACJ,iDAAiD;oBACjD,QAAQ,EAAE,EAAE,CAAC;wBACT,KAAK,KAAK,CAAC,CAAC,CAAC;4BACT,8CAA8C;4BAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gCACtB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oCAC9B,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,KAAK,CAAC,CAAC,CAAC;4BACT,6EAA6E;4BAC7E,MAAM,eAAe,GACjB,EAAE,CAAA;4BACN,IAAI,gBAAgB,GAAG,IAAI,CAAA;4BAC3B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gCAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;gCACzC,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oCACtB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gCAC/B,CAAC;qCAAM,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oCAC7B,gBAAgB,GAAG,KAAK,CAAA;gCAC5B,CAAC;4BACL,CAAC;4BACD,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;gCAC5B,gBAAgB,EAClB,CAAC;gCACC,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;oCACtC,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,IAAI,CAAC,CAAC,CAAC;4BACR,yDAAyD;4BACzD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gCAC3B,IAAI,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC;oCAAE,OAAO,GAAG,IAAI,CAAA;4BACjD,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,SAAS,CAAC,CAAC,CAAC;4BACb,8DAA8D;4BAC9D,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gCACvB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oCAC9B,OAAO,GAAG,IAAI,CAAA;gCAClB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;oCAC/B,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;4BACD,MAAK;wBACT,CAAC;wBACD,KAAK,KAAK,CAAC,CAAC,CAAC;4BACT,qFAAqF;4BACrF,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gCACvB,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gCAC9C,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gCAC/C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oCACrB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC;wCACpC,OAAO,GAAG,IAAI,CAAA;gCACtB,CAAC;gCACD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oCACtB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC;wCACrC,OAAO,GAAG,IAAI,CAAA;gCACtB,CAAC;4BACL,CAAC;4BACD,MAAK;wBACT,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAA;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC5B,GAA+B,EAC/B,UAAqC,EACrC,OAAwC;IAExC,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAA;IACpD,IAAI,aAAa,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;QAC7C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU;aACb,CAAA;QACL,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;IAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,gDAAgD;iBAC5D,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;IAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,sBAAsB,EAAE,CAAA;IACvD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACzE,MAAM,kBAAkB,GAAG,GAAG;SACzB,YAAY,EAAE;SACd,MAAM,CACH,CAAC,EAAE,EAAE,EAAE,CACH,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,mBAAmB;QACtC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CACrC,CAAA;IAEL,MAAM,mBAAmB,GAAG;QACxB,UAAU;QACV,GAAG,kBAAkB;QACrB,GAAG,kBAAkB;KACxB,CAAA;IACD,MAAM,cAAc,GAAG;QACnB,GAAG,IAAI,GAAG,CACN,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAC/B,EAAE;aACG,cAAc,EAAE;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;aAC1C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,CACJ;KACJ,CAAC,IAAI,EAAE,CAAA;IAER,8EAA8E;IAC9E,0DAA0D;IAC1D,MAAM,qBAAqB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QACxD,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,CAAC,IAAI,IAAI;YAAE,OAAO,KAAK,CAAA;QAC3B,IAAI,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;QAChC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU;YACzD,OAAO,IAAI,CAAA;QACf,OAAO,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;IAEF,sCAAsC;IACtC,MAAM,cAAc,GAAG,4BAA4B,CAAC,GAAG,EAAE,UAAU,CAAC,CAAA;IACpE,MAAM,oBAAoB,GAA8B;QACpD,SAAS,EAAE,cAAc;QACzB,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;KACtD,CAAA;IAED,IAAI,CAAC;QACD,iEAAiE;QACjE,gEAAgE;QAChE,sEAAsE;QACtE,MAAM,aAAa,GAAG,IAAI,GAAG,EAA0B,CAAA;QACvD,MAAM,QAAQ,GAAG,CAAC,UAAkB,EAAkB,EAAE;YACpD,IAAI,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChC,OAAO,aAAa,CAAC,GAAG,CAAC,UAAU,CAAE,CAAA;YACzC,CAAC;YACD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;YAC5C,IACI,CAAC,QAAQ;gBACT,CAAC,cAAc,CAAC,QAAQ,CAAC;gBACzB,QAAQ,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU,EAC7C,CAAC;gBACC,wDAAwD;gBACxD,OAAO,oBAAoB,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;YAC7D,CAAC;YACD,0CAA0C;YAC1C,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAA;YAC9C,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAA;YACnD,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;gBACnC,OAAO,IAAI,CAAA;YACf,CAAC;YACD,MAAM,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,oBAAoB,EAAE;gBAC9D,QAAQ;aACX,CAAC,CAAA;YACF,MAAM,KAAK,GAAG,aAAa,EAAE,SAAS,IAAI,IAAI,CAAA;YAC9C,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;YACpC,OAAO,KAAK,CAAA;QAChB,CAAC,CAAA;QAED,MAAM,QAAQ,GAAG;YACb,iBAAiB,EAAE,OAAO,EAAE,2BAA2B,IAAI,KAAK;YAChE,QAAQ;SACX,CAAA;QACD,MAAM,oBAAoB,GAAG,UAAU,CAAC,QAAQ,CAC5C,oBAAoB,EACpB,QAAQ,CACX,CAAA;QACD,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,EAAE,CAAC,QAAQ,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAC9C,CAAA;QACD,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,EAAE,CAAC,QAAQ,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAC9C,CAAA;QAED,MAAM,sBAAsB,GACxB,qBAAqB,CAAC,MAAM,CACxB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,EACzD,IAAI,CACP,CAAA;QACL,MAAM,yBAAyB,GAC3B,qBAAqB,CAAC,MAAM,CACxB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,EACzD,IAAI,CACP,CAAA;QACL,MAAM,cAAc,GAChB,oBAAoB,CAAC,SAAS,IAAI,IAAI,CAAA;QAC1C,MAAM,gBAAgB,GAAG,SAAS,CAC9B,sBAAsB,EACtB,SAAS,CAAC,yBAAyB,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAClE,CAAA;QAED,MAAM,uBAAuB,GAAG,OAAO,EAAE,uBAAuB,IAAI,IAAI,CAAA;QACxE,MAAM,kBAAkB,GAAG,OAAO,EAAE,kBAAkB,IAAI,IAAI,CAAA;QAC9D,MAAM,KAAK,GAAG,CACV,MAAoC,EACR,EAAE,CAAC,CAAC;YAChC,GAAG,MAAM;YACT,gBAAgB,EAAE,uBAAuB;gBACrC,CAAC,CAAC,MAAM,CAAC,gBAAgB;gBACzB,CAAC,CAAC,EAAE;YACR,mBAAmB,EAAE,kBAAkB;gBACnC,CAAC,CAAC,MAAM,CAAC,mBAAmB;gBAC5B,CAAC,CAAC,SAAS;SAClB,CAAC,CAAA;QAEF,MAAM,wBAAwB,GAAG,kBAAkB;YAC/C,CAAC,CAAC,MAAM,CAAC,WAAW,CACd,qBAAqB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;gBAC/B,GAAG;gBACH,oBAAoB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI;aAC9C,CAAC,CACL;YACH,CAAC,CAAC,SAAS,CAAA;QAEf,OAAO;YACH,EAAE,EAAE,IAAI;YACR,UAAU,EAAE;gBACR,SAAS,EAAE,EAAE,GAAG,oBAAoB,CAAC,SAAS,EAAE;gBAChD,mBAAmB,EAAE;oBACjB,GAAG,oBAAoB,CAAC,mBAAmB;iBAC9C;aACJ;YACD,qBAAqB;YACrB,UAAU,EAAE,KAAK,CAAC,oBAAoB,CAAC;YACvC,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;YACpD,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;YACpD,sBAAsB;YACtB,yBAAyB;YACzB,cAAc;YACd,gBAAgB;YAChB,6BAA6B,EAAE,SAAS,CAAC,gBAAgB,CAAC;YAC1D,wBAAwB;SAC3B,CAAA;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EACH,KAAK,YAAY,KAAK;wBAClB,CAAC,CAAC,KAAK,CAAC,OAAO;wBACf,CAAC,CAAC,6BAA6B;iBAC1C,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACjC,GAA+B,EAC/B,OAAmC;IAEnC,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAA;IACpD,IAAI,aAAa,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;QAC7C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU;aACb,CAAA;QACL,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;IAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,gDAAgD;iBAC5D,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;IAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,sBAAsB,EAAE,CAAA;IACvD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACzE,MAAM,kBAAkB,GAAG,GAAG;SACzB,YAAY,EAAE;SACd,MAAM,CACH,CAAC,EAAE,EAAE,EAAE,CACH,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,mBAAmB;QACtC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CACrC,CAAA;IAEL,MAAM,sBAAsB,GAAG;QAC3B,GAAG,IAAI,GAAG,CACN,CAAC,UAAU,EAAE,GAAG,kBAAkB,EAAE,GAAG,kBAAkB,CAAC,CAAC,OAAO,CAC9D,CAAC,EAAE,EAAE,EAAE,CACH,EAAE;aACG,cAAc,EAAE;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;aAC1C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAC1C,CACJ;KACJ,CAAC,IAAI,EAAE,CAAA;IAER,8EAA8E;IAC9E,uEAAuE;IACvE,4EAA4E;IAC5E,wDAAwD;IACxD,MAAM,mBAAmB,GAAG,OAAO,EAAE,mBAAmB,CAAA;IACxD,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,CAAA;IAC5D,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7D,IAAI,mBAAmB,EAAE,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/C,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,CAAC,IAAI,IAAI;YAAE,OAAO,KAAK,CAAA;QAC3B,IAAI,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;QAChC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU;YACzD,OAAO,IAAI,CAAA;QACf,OAAO,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;IAEF,IACI,OAAO,EAAE,YAAY,KAAK,SAAS;QACnC,kBAAkB,CAAC,MAAM,GAAG,OAAO,CAAC,YAAY,EAClD,CAAC;QACC,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,2BAA2B,kBAAkB,CAAC,MAAM,+BAA+B,OAAO,CAAC,YAAY,GAAG;iBACtH,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,qBAAqB,CAAA;IACnD,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,CAAA;IAC5D,MAAM,eAAe,GAA0B,EAAE,CAAA;IACjD,IAAI,qBAAqB,GAAG,CAAC,CAAA;IAC7B,IAAI,wBAAwB,GAAG,CAAC,CAAA;IAChC,IAAI,SAAS,GAAG,KAAK,CAAA;IAErB,MAAM,gBAAgB,GAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAA;IACvD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;QACjD,IACI,qBAAqB,KAAK,SAAS;YACnC,qBAAqB,IAAI,qBAAqB,EAChD,CAAC;YACC,SAAS,GAAG,IAAI,CAAA;YAChB,MAAK;QACT,CAAC;QAED,MAAM,UAAU,GAA8B;YAC1C,SAAS,EAAE,EAAE;YACb,mBAAmB,EAAE,EAAE;SAC1B,CAAA;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CACjD,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAClB,CAAA;QACL,CAAC;QACD,IAAI,qBAAqB,EAAE,CAAC;YACxB,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;gBACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;YACpC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE;YAC7C,aAAa,EAAE,KAAK;YACpB,uBAAuB,EACnB,OAAO,EAAE,gCAAgC,IAAI,KAAK;YACtD,kBAAkB,EACd,OAAO,EAAE,gCAAgC,IAAI,KAAK;SACzD,CAAC,CAAA;QAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU,EAAE,MAAM,CAAC,UAAU;aAChC,CAAA;QACL,CAAC;QAED,qBAAqB,IAAI,CAAC,CAAA;QAE1B,IAAI,MAAM,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;YACzC,wBAAwB,IAAI,CAAC,CAAA;QACjC,CAAC;QAED,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;YACnC,eAAe,CAAC,IAAI,CAAC;gBACjB,UAAU,EAAE,MAAM,CAAC,UAAW;gBAC9B,MAAM;aACT,CAAC,CAAA;YACF,IAAI,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACjC,MAAK;YACT,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAA;IACtD,MAAM,YAAY,GACd,CAAC,SAAS;QACV,CAAC,IAAI,KAAK,YAAY;YAClB,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAA;IAEjE,OAAO;QACH,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACtE,kBAAkB;QAClB,qBAAqB;QACrB,wBAAwB;QACxB,eAAe;QACf,SAAS;KACZ,CAAA;AACL,CAAC"}
+{"version":3,"file":"argument-evaluation.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/argument-evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,YAAY,EACZ,cAAc,GAGjB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,SAAS,GAgBZ,MAAM,2BAA2B,CAAA;AAClC,OAAO,EACH,SAAS,EACT,SAAS,EACT,QAAQ,EACR,aAAa,EACb,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,GAChB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAA;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AA0EtE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC3B,gBAAwB,EACxB,aAAuE,EACvE,WAAiE,EACjE,SAAsC;IAEtC,MAAM,IAAI,GAAG,aAAa,CAAC,gBAAgB,CAAC,CAAA;IAC5C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAA;IAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;IAC7C,CAAC;IAED,MAAM,OAAO,GAAG,CACZ,KAAmC,EACb,EAAE,CACxB,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,CAAC,CAAA;IACpE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAErC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5D,CAAC;IAED,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,KAAK;YACN,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACvE,KAAK,KAAK;YACN,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAC9C,IAAI,CACP,CAAA;QACL,KAAK,IAAI;YACL,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAC7C,KAAK,CACR,CAAA;QACL,KAAK,SAAS;YACV,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC;gBACvB,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAA;QACd,KAAK,KAAK;YACN,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC;gBACvB,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAA;QACd;YACI,OAAO,IAAI,CAAA;IACnB,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,UAAU,4BAA4B,CACxC,GAA+B,EAC/B,UAAqC,EACrC,OAAiC;IAEjC,OAAO,2BAA2B,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,SAAS,CAAA;AAC1E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACvC,GAA+B,EAC/B,UAAqC,EACrC,OAAiC;IAKjC,MAAM,IAAI,GAAgC,EAAE,GAAG,UAAU,CAAC,SAAS,EAAE,CAAA;IACrE,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,mBAAmB,IAAI,EAAE,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC,UAAU,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAAC,mBAAmB,CAAA;IACpD,MAAM,kBAAkB,GAAG,OAAO,EAAE,kBAAkB,CAAA;IAEtD,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwC,CAAA;IAChE,6CAA6C;IAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC7C,+CAA+C;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0C,CAAA;IAEpE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QAClC,IAAI,kBAAkB,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;YAAE,SAAQ;QACjD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAC3B,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;YACpC,yEAAyE;YACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;YAC5D,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,MAAM,YAAY,GAAG,CAAC,MAAc,EAA0B,EAAE;QAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAA;QAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QACxC,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;YAC9C,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACpE,CAAC;QAED,WAAW;QACX,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAA;QACxB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAE9C,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,QAAQ,EAAE,EAAE,CAAC;YACT,KAAK,KAAK;gBACN,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACtB,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACzC,CAAC,CAAC,IAAI,CAAA;YACd,KAAK,KAAK;gBACN,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EACtD,IAAI,CACP,CAAA;YACL,KAAK,IAAI;gBACL,OAAO,QAAQ,CAAC,MAAM,CAClB,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EACrD,KAAK,CACR,CAAA;YACL,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC;oBACvB,CAAC,CAAC,aAAa,CACT,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAC5B,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC/B;oBACH,CAAC,CAAC,IAAI,CAAA;YACd,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACT,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC;oBACvB,CAAC,CAAC,SAAS,CACL,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAC5B,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC/B;oBACH,CAAC,CAAC,IAAI,CAAA;YACd,CAAC;QACL,CAAC;IACL,CAAC,CAAA;IAED;;;OAGG;IACH,MAAM,qBAAqB,GAAG,CAC1B,IAAkC,EACrB,EAAE;QACf,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,UAAU,CAAA;QAC1B,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;YAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;YAC7C,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAA;IACf,CAAC,CAAA;IAED,yEAAyE;IACzE,MAAM,wBAAwB,GAAG,CAAC,MAAc,EAAY,EAAE;QAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAA;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI;gBAC3C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3B,CAAC;QACD,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACrD,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC,CACrC,CAAA;IACL,CAAC,CAAA;IAED,wEAAwE;IACxE,4DAA4D;IAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAClE,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAG1B,CAAA;IAEH;;;;OAIG;IACH,MAAM,cAAc,GAAG,CACnB,KAAmC,EACnC,KAAc,EACd,IAAyB,EAClB,EAAE;QACT,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAA;QAC1C,IAAI,KAAK,IAAI,IAAI;YAAE,OAAO,KAAK,CAAA;QAE/B,IAAI,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACrC,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;YAClB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACpC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;QAEpE,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;QACnC,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC5C,IAAI,MAAM,KAAK,OAAO;YAAE,OAAO,KAAK,CAAA;QACpC,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,CAAA;QACpB,OAAO,IAAI,CAAA;IACf,CAAC,CAAA;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,oEAAoE;IACpE,IAAI,OAAO,GAAG,IAAI,CAAA;IAClB,OAAO,OAAO,EAAE,CAAC;QACb,OAAO,GAAG,KAAK,CAAA;QAEf,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAQ;YACtC,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,UAAU;gBAAE,SAAQ;YAElD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAA;YACxB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;YAC7C,MAAM,QAAQ,GAAG,CACb,qBAA+B,EACZ,EAAE,CAAC,CAAC;gBACvB,YAAY,EAAE,MAAM;gBACpB,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAE;gBACnC,eAAe,EAAE;oBACb,GAAG,IAAI,GAAG,CACN,qBAAqB,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAC1D;iBACJ;aACJ,CAAC,CAAA;YAEF,QAAQ,EAAE,EAAE,CAAC;gBACT,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,8CAA8C;oBAC9C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACtB,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;4BAChD,OAAO,GAAG,IAAI,CAAA;oBACtB,CAAC;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,8CAA8C;oBAC9C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC3B,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;4BACzC,OAAO,GAAG,IAAI,CAAA;oBACtB,CAAC;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACR,uDAAuD;oBACvD,6BAA6B;oBAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnC,iBAAiB,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAC5C,CAAA;oBACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;wBAC9C,MAAM,gBAAgB,GAAG,OAAO,CAAC,KAAK,CAClC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,CAC7C,CAAA;wBACD,IAAI,CAAC,gBAAgB;4BAAE,SAAQ;wBAC/B,MAAM,QAAQ,GAAG,QAAQ;6BACpB,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC;6BACrC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;wBACjC,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;4BAC/C,OAAO,GAAG,IAAI,CAAA;oBACtB,CAAC;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,SAAS,CAAC,CAAC,CAAC;oBACb,uDAAuD;oBACvD,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;wBACvB,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;wBAC9C,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;wBAC/C,IAAI,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;4BAC9B,IACI,cAAc,CACV,QAAQ,CAAC,CAAC,CAAC,EACX,IAAI,EACJ,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC7B;gCAED,OAAO,GAAG,IAAI,CAAA;wBACtB,CAAC;wBACD,IAAI,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;4BAChC,IACI,cAAc,CACV,QAAQ,CAAC,CAAC,CAAC,EACX,KAAK,EACL,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC7B;gCAED,OAAO,GAAG,IAAI,CAAA;wBACtB,CAAC;oBACL,CAAC;oBACD,MAAK;gBACT,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACT,0DAA0D;oBAC1D,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;wBACvB,MAAM,KAAK,GAGL;4BACF,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;4BAC1B,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;yBAC7B,CAAA;wBACD,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;4BACnC,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;4BAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;4BAClC,IAAI,gBAAgB,CAAC,WAAW,CAAC,EAAE,CAAC;gCAChC,IAAI,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC;oCAClC,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;4BACD,IAAI,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;gCACjC,IAAI,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC;oCACnC,OAAO,GAAG,IAAI,CAAA;4BACtB,CAAC;wBACL,CAAC;oBACL,CAAC;oBACD,MAAK;gBACT,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,MAAM,SAAS,GAAG,CACd,OAAwD,EACnC,EAAE,CACvB,CAAC,GAAG,OAAO,CAAC;SACP,IAAI,CACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACL,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACrD;SACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAEnC,MAAM,UAAU,GAA4C,EAAE,CAAA;IAC9D,KAAK,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC;QACxB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QACpB,GAAG,aAAa,CAAC,IAAI,EAAE;KAC1B,CAAC,EAAE,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QACxE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACtB,UAAU,CAAC,KAAK,CAAC,GAAG;gBAChB,KAAK;gBACL,MAAM,EAAE,WAAW;gBACnB,WAAW,EAAE,KAAK;aACrB,CAAA;QACL,CAAC;aAAM,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;QACrD,CAAC;aAAM,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,UAAU,CAAC,KAAK,CAAC,GAAG;gBAChB,KAAK;gBACL,MAAM,EAAE,SAAS;gBACjB,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;aACtB,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;QACvD,CAAC;IACL,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC5B,GAA+B,EAC/B,UAAqC,EACrC,OAAwC;IAExC,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAA;IACpD,IAAI,aAAa,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;QAC7C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU;aACb,CAAA;QACL,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;IAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,gDAAgD;iBAC5D,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;IAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,sBAAsB,EAAE,CAAA;IACvD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACzE,MAAM,kBAAkB,GAAG,GAAG;SACzB,YAAY,EAAE;SACd,MAAM,CACH,CAAC,EAAE,EAAE,EAAE,CACH,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,mBAAmB;QACtC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CACrC,CAAA;IAEL,MAAM,mBAAmB,GAAG;QACxB,UAAU;QACV,GAAG,kBAAkB;QACrB,GAAG,kBAAkB;KACxB,CAAA;IACD,MAAM,cAAc,GAAG;QACnB,GAAG,IAAI,GAAG,CACN,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAC/B,EAAE;aACG,cAAc,EAAE;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;aAC1C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC,CACJ;KACJ,CAAC,IAAI,EAAE,CAAA;IAER,8EAA8E;IAC9E,0DAA0D;IAC1D,MAAM,qBAAqB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QACxD,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,CAAC,IAAI,IAAI;YAAE,OAAO,KAAK,CAAA;QAC3B,IAAI,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;QAChC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU;YACzD,OAAO,IAAI,CAAA;QACf,OAAO,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;IAEF,kEAAkE;IAClE,0EAA0E;IAC1E,oEAAoE;IACpE,kEAAkE;IAClE,YAAY;IACZ,MAAM,gBAAgB,GAAG,mBAAmB;SACvC,MAAM,CACH,CAAC,EAAE,EAAE,EAAE,CACH,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,mBAAmB;QACtC,EAAE,CAAC,cAAc,EAAE,EAAE,KAAK,YAAY;QACtC,EAAE;aACG,cAAc,EAAE;aAChB,IAAI,CACD,CAAC,IAAI,EAAE,EAAE,CACL,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,UAAU,CACjB,CACZ;SACA,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;IAC5B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAA;IAE3C,IAAI,CAAC;QACD,MAAM,qBAAqB,GACvB,OAAO,EAAE,qBAAqB,KAAK,SAAS;YACxC,CAAC,CAAC,OAAO,CAAC,qBAAqB;YAC/B,CAAC,CAAC,uBAAuB,CAAC,GAAG,EAAE;gBACzB,QAAQ,EAAE;oBACN,GAAG,kBAAkB;oBACrB,GAAG,kBAAkB;iBACxB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC5C,eAAe,EAAE,qBAAqB;gBACtC,qDAAqD;gBACrD,wDAAwD;gBACxD,wDAAwD;gBACxD,qBAAqB,EACjB,OAAO,EAAE,mCAAmC;oBAC5C,OAAO,EAAE,qBAAqB;aACrC,CAAC,CAAA;QAEZ,qEAAqE;QACrE,8DAA8D;QAC9D,MAAM,oBAAoB,GAAG,qBAAqB,KAAK,KAAK,CAAA;QAC5D,MAAM,iBAAiB,GAAG,oBAAoB;YAC1C,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;YACrD,CAAC,CAAC,SAAS,CAAA;QACf,MAAM,WAAW,GAAG,2BAA2B,CAAC,GAAG,EAAE,UAAU,EAAE;YAC7D,kBAAkB,EAAE,iBAAiB;SACxC,CAAC,CAAA;QACF,MAAM,oBAAoB,GAA4B;YAClD,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;SACtD,CAAA;QAED,MAAM,QAAQ,GAAG,0BAA0B,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAA;QAEtE,MAAM,QAAQ,GAAG;YACb,iBAAiB,EAAE,OAAO,EAAE,2BAA2B,IAAI,KAAK;YAChE,QAAQ;SACX,CAAA;QACD,MAAM,oBAAoB,GAAG,UAAU,CAAC,QAAQ,CAC5C,oBAAoB,EACpB,QAAQ,CACX,CAAA;QACD,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,EAAE,CAAC,QAAQ,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAC9C,CAAA;QACD,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACxD,EAAE,CAAC,QAAQ,CAAC,oBAAoB,EAAE,QAAQ,CAAC,CAC9C,CAAA;QAED,MAAM,SAAS,GAAG,CACd,OAAuC,EACT,EAAE,CAChC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAA;QAEhE,MAAM,sBAAsB,GAAG,SAAS,CACpC,qBAAqB,CACxB,CAAC,MAAM,CACJ,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,EACzD,IAAI,CACP,CAAA;QACD,MAAM,gBAAgB,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAA;QACzD,MAAM,+BAA+B,GACjC,gBAAgB,CAAC,MAAM,CACnB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,EACzD,IAAI,CACP,CAAA;QACL,MAAM,cAAc,GAChB,oBAAoB,CAAC,SAAS,IAAI,IAAI,CAAA;QAC1C,sEAAsE;QACtE,wEAAwE;QACxE,qEAAqE;QACrE,iEAAiE;QACjE,qEAAqE;QACrE,MAAM,gBAAgB,GAClB,qBAAqB,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAA;QACrE,MAAM,2BAA2B,GAAG,gBAAgB;YAChD,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,SAAS,CACL,sBAAsB,EACtB,SAAS,CACL,+BAA+B,EAC/B,SAAS,CAAC,cAAc,CAAC,CAC5B,CACJ,CAAA;QAEP,+DAA+D;QAC/D,oEAAoE;QACpE,iDAAiD;QACjD,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC;aAC9D,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC;aAChD,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC;aACjC,IAAI,EAAE,CAAA;QAEX,MAAM,uBAAuB,GAAG,OAAO,EAAE,uBAAuB,IAAI,IAAI,CAAA;QACxE,MAAM,kBAAkB,GAAG,OAAO,EAAE,kBAAkB,IAAI,IAAI,CAAA;QAE9D,qEAAqE;QACrE,kEAAkE;QAClE,iEAAiE;QACjE,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,CAAA;QAC5D,MAAM,gBAAgB,GAAG,CAAC,UAAkB,EAAW,EAAE,CACrD,qBAAqB,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI;YAC/C,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,CAAA;QACvD,MAAM,SAAS,GACX,CAAC,oBAAoB;YACrB,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;QACtE,MAAM,QAAQ,GAAG,CACb,mBAAwC,EACb,EAAE;YAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,4DAA4D;gBAC5D,gBAAgB;gBAChB,MAAM,OAAO,GAAG,EAAE,GAAG,UAAU,CAAC,SAAS,EAAE,CAAA;gBAC3C,KAAK,MAAM,UAAU,IAAI,mBAAmB;oBACxC,OAAO,OAAO,CAAC,UAAU,CAAC,CAAA;gBAC9B,OAAO,OAAO,CAAA;YAClB,CAAC;YACD,OAAO,2BAA2B,CAAC,GAAG,EAAE,UAAU,EAAE;gBAChD,kBAAkB,EAAE,iBAAiB;gBACrC,mBAAmB;aACtB,CAAC,CAAC,SAAS,CAAA;QAChB,CAAC,CAAA;QAED,MAAM,0BAA0B,GAAG;YAC/B,GAAG,IAAI,GAAG,CACN,UAAU;iBACL,cAAc,EAAE;iBAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;iBAC1C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CACtC;SACJ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACb,IAAI,qBAAqB,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAA;YAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;YACrC,OAAO,QAAQ,IAAI,IAAI,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAA;QACrD,CAAC,CAAC,CAAA;QACF,IAAI,uBAAuB,GAAG,cAAc,KAAK,IAAI,CAAA;QACrD,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,cAAc,GAA4B;gBAC5C,SAAS,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,0BAA0B,CAAC,CAAC;gBACxD,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;aACtD,CAAA;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,cAAc,EAAE;gBAClD,iBAAiB,EAAE,KAAK;gBACxB,QAAQ,EAAE,0BAA0B,CAAC,GAAG,EAAE,cAAc,CAAC;aAC5D,CAAC,CAAC,SAAS,CAAA;YACZ,uBAAuB,GAAG,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,CAAA;QAC1D,CAAC;QACD,MAAM,qBAAqB,GAA0B;YACjD,gBAAgB,EAAE,0BAA0B,CAAC,IAAI,CAAC,gBAAgB,CAAC;YACnE,uBAAuB;SAC1B,CAAA;QAED,uEAAuE;QACvE,4BAA4B;QAC5B,MAAM,gBAAgB,GAClB,kBAAkB,IAAI,SAAS;YAC3B,CAAC,CAAC,MAAM,CAAC,WAAW,CACd,qBAAqB;iBAChB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;gBACZ,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;gBACrC,OAAO,CACH,QAAQ,IAAI,IAAI;oBAChB,YAAY,CAAC,QAAQ,CAAC;oBACtB,gBAAgB,CAAC,GAAG,CAAC,CACxB,CAAA;YACL,CAAC,CAAC;iBACD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACT,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;gBAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;gBACzC,OAAO;oBACH,GAAG;oBACH;wBACI,gBAAgB,EAAE,IAAI;wBACtB,uBAAuB,EACnB,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,QAAQ;qBACX;iBACpC,CAAA;YACL,CAAC,CAAC,CACT;YACH,CAAC,CAAC,SAAS,CAAA;QACnB,MAAM,KAAK,GAAG,CACV,MAAoC,EACR,EAAE,CAAC,CAAC;YAChC,GAAG,MAAM;YACT,gBAAgB,EAAE,uBAAuB;gBACrC,CAAC,CAAC,MAAM,CAAC,gBAAgB;gBACzB,CAAC,CAAC,EAAE;YACR,mBAAmB,EAAE,kBAAkB;gBACnC,CAAC,CAAC,MAAM,CAAC,mBAAmB;gBAC5B,CAAC,CAAC,SAAS;SAClB,CAAC,CAAA;QAEF,MAAM,wBAAwB,GAAG,kBAAkB;YAC/C,CAAC,CAAC,MAAM,CAAC,WAAW,CACd,qBAAqB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;gBAC/B,GAAG;gBACH,oBAAoB,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,IAAI;aAC9C,CAAC,CACL;YACH,CAAC,CAAC,SAAS,CAAA;QACf,MAAM,kBAAkB,GAAG,kBAAkB;YACzC,CAAC,CAAC,MAAM,CAAC,WAAW,CACd,qBAAqB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;gBAC/B,GAAG;gBACH,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI;oBAC3B,KAAK,EAAE,IAAI;oBACX,MAAM,EAAE,YAAqB;iBAChC;aACJ,CAAC,CACL;YACH,CAAC,CAAC,SAAS,CAAA;QAEf,OAAO;YACH,EAAE,EAAE,IAAI;YACR,UAAU,EAAE;gBACR,SAAS,EAAE,EAAE,GAAG,oBAAoB,CAAC,SAAS,EAAE;gBAChD,mBAAmB,EAAE;oBACjB,GAAG,oBAAoB,CAAC,mBAAmB;iBAC9C;aACJ;YACD,qBAAqB;YACrB,UAAU,EAAE,KAAK,CAAC,oBAAoB,CAAC;YACvC,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;YACpD,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC;YACpD,gBAAgB;YAChB,+BAA+B,EAAE,gBAAgB,CAAC,MAAM;YACxD,sBAAsB;YACtB,+BAA+B;YAC/B,cAAc;YACd,2BAA2B;YAC3B,oBAAoB;YACpB,qBAAqB;YACrB,gBAAgB;YAChB,qBAAqB;YACrB,wBAAwB;YACxB,kBAAkB;SACrB,CAAA;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EACH,KAAK,YAAY,KAAK;wBAClB,CAAC,CAAC,KAAK,CAAC,OAAO;wBACf,CAAC,CAAC,6BAA6B;iBAC1C,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACjC,GAA+B,EAC/B,OAAmC;IAEnC,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAA;IACpD,IAAI,aAAa,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;QAC7C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU;aACb,CAAA;QACL,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,CAAC,oBAAoB,EAAE,CAAA;IAC7C,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,gDAAgD;iBAC5D,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;IAED,MAAM,kBAAkB,GAAG,GAAG,CAAC,sBAAsB,EAAE,CAAA;IACvD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACzE,MAAM,kBAAkB,GAAG,GAAG;SACzB,YAAY,EAAE;SACd,MAAM,CACH,CAAC,EAAE,EAAE,EAAE,CACH,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,mBAAmB;QACtC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CACrC,CAAA;IAEL,MAAM,sBAAsB,GAAG;QAC3B,GAAG,IAAI,GAAG,CACN,CAAC,UAAU,EAAE,GAAG,kBAAkB,EAAE,GAAG,kBAAkB,CAAC,CAAC,OAAO,CAC9D,CAAC,EAAE,EAAE,EAAE,CACH,EAAE;aACG,cAAc,EAAE;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;aAC1C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAC1C,CACJ;KACJ,CAAC,IAAI,EAAE,CAAA;IAER,8EAA8E;IAC9E,uEAAuE;IACvE,4EAA4E;IAC5E,wDAAwD;IACxD,MAAM,mBAAmB,GAAG,OAAO,EAAE,mBAAmB,CAAA;IACxD,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,CAAA;IAC5D,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7D,IAAI,mBAAmB,EAAE,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/C,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,CAAC,IAAI,IAAI;YAAE,OAAO,KAAK,CAAA;QAC3B,IAAI,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;QAChC,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU;YACzD,OAAO,IAAI,CAAA;QACf,OAAO,KAAK,CAAA;IAChB,CAAC,CAAC,CAAA;IAEF,IACI,OAAO,EAAE,YAAY,KAAK,SAAS;QACnC,kBAAkB,CAAC,MAAM,GAAG,OAAO,CAAC,YAAY,EAClD,CAAC;QACC,OAAO;YACH,EAAE,EAAE,KAAK;YACT,UAAU,EAAE,oBAAoB,CAAC;gBAC7B,cAAc,CAAC;oBACX,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,2BAA2B,kBAAkB,CAAC,MAAM,+BAA+B,OAAO,CAAC,YAAY,GAAG;iBACtH,CAAC;aACL,CAAC;SACL,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,aAAa;IACb,MAAM,qBAAqB,GAAG,uBAAuB,CAAC,GAAG,EAAE;QACvD,QAAQ,EAAE,CAAC,GAAG,kBAAkB,EAAE,GAAG,kBAAkB,CAAC;QACxD,eAAe,EAAE,kBAAkB;QACnC,qBAAqB;KACxB,CAAC,CAAA;IAEF,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,qBAAqB,CAAA;IACnD,MAAM,qBAAqB,GAAG,OAAO,EAAE,qBAAqB,CAAA;IAC5D,MAAM,eAAe,GAA0B,EAAE,CAAA;IACjD,IAAI,qBAAqB,GAAG,CAAC,CAAA;IAC7B,IAAI,wBAAwB,GAAG,CAAC,CAAA;IAChC,IAAI,SAAS,GAAG,KAAK,CAAA;IAErB,MAAM,gBAAgB,GAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAA;IACvD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;QACjD,IACI,qBAAqB,KAAK,SAAS;YACnC,qBAAqB,IAAI,qBAAqB,EAChD,CAAC;YACC,SAAS,GAAG,IAAI,CAAA;YAChB,MAAK;QACT,CAAC;QAED,MAAM,UAAU,GAA8B;YAC1C,SAAS,EAAE,EAAE;YACb,mBAAmB,EAAE,EAAE;SAC1B,CAAA;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CACjD,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAClB,CAAA;QACL,CAAC;QACD,IAAI,qBAAqB,EAAE,CAAC;YACxB,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;gBACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;YACpC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE;YAC7C,aAAa,EAAE,KAAK;YACpB,uBAAuB,EACnB,OAAO,EAAE,gCAAgC,IAAI,KAAK;YACtD,kBAAkB,EACd,OAAO,EAAE,gCAAgC,IAAI,KAAK;YACtD,qBAAqB;YACrB,qBAAqB;SACxB,CAAC,CAAA;QAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACb,OAAO;gBACH,EAAE,EAAE,KAAK;gBACT,UAAU,EAAE,MAAM,CAAC,UAAU;aAChC,CAAA;QACL,CAAC;QAED,qBAAqB,IAAI,CAAC,CAAA;QAE1B,IAAI,MAAM,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;YACzC,wBAAwB,IAAI,CAAC,CAAA;QACjC,CAAC;QAED,IAAI,MAAM,CAAC,2BAA2B,KAAK,IAAI,EAAE,CAAC;YAC9C,eAAe,CAAC,IAAI,CAAC;gBACjB,UAAU,EAAE,MAAM,CAAC,UAAW;gBAC9B,MAAM;aACT,CAAC,CAAA;YACF,IAAI,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACjC,MAAK;YACT,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAA;IACtD,MAAM,YAAY,GACd,CAAC,SAAS;QACV,CAAC,IAAI,KAAK,YAAY;YAClB,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAA;IAEjE,OAAO;QACH,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACtE,kBAAkB;QAClB,qBAAqB;QACrB,wBAAwB;QACxB,eAAe;QACf,SAAS;KACZ,CAAA;AACL,CAAC"}

package/dist/lib/core/evaluation/belnap.d.ts

@@ -0,0 +1,22 @@
+import { type TCoreQuadrivalentValue } from "../../types/evaluation.js";
+/** `true` iff the value carries the "told true" component. */
+export declare function hasTrueComponent(value: TCoreQuadrivalentValue): boolean;
+/** `true` iff the value carries the "told false" component. */
+export declare function hasFalseComponent(value: TCoreQuadrivalentValue): boolean;
+/**
+ * Merge what two sources say about the same proposition: the join of the
+ * knowledge order `null ≤ true ≤ contested`, `null ≤ false ≤ contested`.
+ * `true` merged with `false` is `CONTESTED`.
+ */
+export declare function joinKnowledge(a: TCoreQuadrivalentValue, b: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
+/** Belnap NOT: swaps the components, so `null` and `contested` are fixed points. */
+export declare function belnapNot(a: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
+/** Belnap AND: told true iff both are, told false iff either is. */
+export declare function belnapAnd(a: TCoreQuadrivalentValue, b: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
+/** Belnap OR: told true iff either is, told false iff both are. */
+export declare function belnapOr(a: TCoreQuadrivalentValue, b: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
+/** Belnap material implication: NOT a OR b. */
+export declare function belnapImplies(a: TCoreQuadrivalentValue, b: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
+/** Belnap biconditional: (a -> b) AND (b -> a). */
+export declare function belnapIff(a: TCoreQuadrivalentValue, b: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
+//# sourceMappingURL=belnap.d.ts.map

package/dist/lib/core/evaluation/belnap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"belnap.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/belnap.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,sBAAsB,EAC9B,MAAM,2BAA2B,CAAA;AA6ClC,8DAA8D;AAC9D,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAEvE;AAED,+DAA+D;AAC/D,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,sBAAsB,GAAG,OAAO,CAExE;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CACzB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAExB;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,CAAC,EAAE,sBAAsB,GAAG,sBAAsB,CAM3E;AAED,oEAAoE;AACpE,wBAAgB,SAAS,CACrB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAMxB;AAED,mEAAmE;AACnE,wBAAgB,QAAQ,CACpB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAMxB;AAED,+CAA+C;AAC/C,wBAAgB,aAAa,CACzB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAExB;AAED,mDAAmD;AACnD,wBAAgB,SAAS,CACrB,CAAC,EAAE,sBAAsB,EACzB,CAAC,EAAE,sBAAsB,GAC1B,sBAAsB,CAExB"}

package/dist/lib/core/evaluation/belnap.js

@@ -0,0 +1,86 @@
+import { CONTESTED, } from "../../types/evaluation.js";
+/**
+ * Belnap's four-valued connectives (the bilattice `FOUR`, also known as first
+ * degree entailment).
+ *
+ * Each value is the set of things we have been told about a proposition:
+ * `null` is `{}` (told neither), `true` is `{t}`, `false` is `{f}`, and
+ * `CONTESTED` is `{t, f}` (told both). Conjunction is the meet and disjunction
+ * the join of the truth order `false ≤ null ≤ true`, `false ≤ contested ≤
+ * true`, which on subsets reads: `a ∧ b` is told true iff both are, and told
+ * false iff either is; `a ∨ b` dually. Negation swaps the two components.
+ *
+ * Restricted to `{null, true, false}` every table below is exactly strong
+ * Kleene, which is why a reader's three-valued assignment behaves as it always
+ * has and only a conflict produced by constraint closure can reach the fourth
+ * value.
+ *
+ * ponytail: the tables are computed from the two components rather than
+ * written out as twenty-five entries; the exhaustive suite pins every cell.
+ */
+const TRUE_COMPONENT = 1;
+const FALSE_COMPONENT = 2;
+function toComponents(value) {
+    if (value === true)
+        return TRUE_COMPONENT;
+    if (value === false)
+        return FALSE_COMPONENT;
+    if (value === CONTESTED)
+        return TRUE_COMPONENT | FALSE_COMPONENT;
+    return 0;
+}
+function fromComponents(components) {
+    switch (components) {
+        case TRUE_COMPONENT:
+            return true;
+        case FALSE_COMPONENT:
+            return false;
+        case TRUE_COMPONENT | FALSE_COMPONENT:
+            return CONTESTED;
+        default:
+            return null;
+    }
+}
+/** `true` iff the value carries the "told true" component. */
+export function hasTrueComponent(value) {
+    return (toComponents(value) & TRUE_COMPONENT) !== 0;
+}
+/** `true` iff the value carries the "told false" component. */
+export function hasFalseComponent(value) {
+    return (toComponents(value) & FALSE_COMPONENT) !== 0;
+}
+/**
+ * Merge what two sources say about the same proposition: the join of the
+ * knowledge order `null ≤ true ≤ contested`, `null ≤ false ≤ contested`.
+ * `true` merged with `false` is `CONTESTED`.
+ */
+export function joinKnowledge(a, b) {
+    return fromComponents(toComponents(a) | toComponents(b));
+}
+/** Belnap NOT: swaps the components, so `null` and `contested` are fixed points. */
+export function belnapNot(a) {
+    const components = toComponents(a);
+    return fromComponents(((components & TRUE_COMPONENT) !== 0 ? FALSE_COMPONENT : 0) |
+        ((components & FALSE_COMPONENT) !== 0 ? TRUE_COMPONENT : 0));
+}
+/** Belnap AND: told true iff both are, told false iff either is. */
+export function belnapAnd(a, b) {
+    const left = toComponents(a);
+    const right = toComponents(b);
+    return fromComponents((left & right & TRUE_COMPONENT) | ((left | right) & FALSE_COMPONENT));
+}
+/** Belnap OR: told true iff either is, told false iff both are. */
+export function belnapOr(a, b) {
+    const left = toComponents(a);
+    const right = toComponents(b);
+    return fromComponents(((left | right) & TRUE_COMPONENT) | (left & right & FALSE_COMPONENT));
+}
+/** Belnap material implication: NOT a OR b. */
+export function belnapImplies(a, b) {
+    return belnapOr(belnapNot(a), b);
+}
+/** Belnap biconditional: (a -> b) AND (b -> a). */
+export function belnapIff(a, b) {
+    return belnapAnd(belnapImplies(a, b), belnapImplies(b, a));
+}
+//# sourceMappingURL=belnap.js.map

package/dist/lib/core/evaluation/belnap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"belnap.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/belnap.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,SAAS,GAEZ,MAAM,2BAA2B,CAAA;AAElC;;;;;;;;;;;;;;;;;;GAkBG;AAEH,MAAM,cAAc,GAAG,CAAC,CAAA;AACxB,MAAM,eAAe,GAAG,CAAC,CAAA;AAEzB,SAAS,YAAY,CAAC,KAA6B;IAC/C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,cAAc,CAAA;IACzC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,eAAe,CAAA;IAC3C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,cAAc,GAAG,eAAe,CAAA;IAChE,OAAO,CAAC,CAAA;AACZ,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB;IACtC,QAAQ,UAAU,EAAE,CAAC;QACjB,KAAK,cAAc;YACf,OAAO,IAAI,CAAA;QACf,KAAK,eAAe;YAChB,OAAO,KAAK,CAAA;QAChB,KAAK,cAAc,GAAG,eAAe;YACjC,OAAO,SAAS,CAAA;QACpB;YACI,OAAO,IAAI,CAAA;IACnB,CAAC;AACL,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,gBAAgB,CAAC,KAA6B;IAC1D,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;AACvD,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,iBAAiB,CAAC,KAA6B;IAC3D,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CACzB,CAAyB,EACzB,CAAyB;IAEzB,OAAO,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,CAAyB;IAC/C,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,OAAO,cAAc,CACjB,CAAC,CAAC,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC,CAAC,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAClE,CAAA;AACL,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,SAAS,CACrB,CAAyB,EACzB,CAAyB;IAEzB,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC7B,OAAO,cAAc,CACjB,CAAC,IAAI,GAAG,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,eAAe,CAAC,CACvE,CAAA;AACL,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,QAAQ,CACpB,CAAyB,EACzB,CAAyB;IAEzB,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC7B,OAAO,cAAc,CACjB,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,GAAG,eAAe,CAAC,CACvE,CAAA;AACL,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,aAAa,CACzB,CAAyB,EACzB,CAAyB;IAEzB,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACpC,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,SAAS,CACrB,CAAyB,EACzB,CAAyB;IAEzB,OAAO,SAAS,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC"}

package/dist/lib/core/evaluation/premise-resolver.d.ts

@@ -0,0 +1,13 @@
+import type { TCoreQuadrivalentValue, TCoreResolvedAssignment } from "../../types/evaluation.js";
+import type { TArgumentEvaluationContext } from "./argument-evaluation.js";
+/**
+ * Build a resolver that lazily evaluates internally premise-bound variables
+ * by evaluating their bound premise's expression tree under the same
+ * assignment. Claim-bound and externally-bound variables are read straight
+ * from the assignment.
+ *
+ * Results are cached per variable for the resolver's lifetime, so one resolver
+ * belongs to one assignment — a counterfactual re-close needs its own.
+ */
+export declare function createPremiseBoundResolver(ctx: TArgumentEvaluationContext, assignment: TCoreResolvedAssignment): (variableId: string) => TCoreQuadrivalentValue;
+//# sourceMappingURL=premise-resolver.d.ts.map

package/dist/lib/core/evaluation/premise-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"premise-resolver.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/premise-resolver.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,sBAAsB,EACtB,uBAAuB,EAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAA;AAE1E;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACtC,GAAG,EAAE,0BAA0B,EAC/B,UAAU,EAAE,uBAAuB,GACpC,CAAC,UAAU,EAAE,MAAM,KAAK,sBAAsB,CAyBhD"}

package/dist/lib/core/evaluation/premise-resolver.js

@@ -0,0 +1,35 @@
+import { isPremiseBound } from "../../schemata/index.js";
+/**
+ * Build a resolver that lazily evaluates internally premise-bound variables
+ * by evaluating their bound premise's expression tree under the same
+ * assignment. Claim-bound and externally-bound variables are read straight
+ * from the assignment.
+ *
+ * Results are cached per variable for the resolver's lifetime, so one resolver
+ * belongs to one assignment — a counterfactual re-close needs its own.
+ */
+export function createPremiseBoundResolver(ctx, assignment) {
+    const cache = new Map();
+    const resolver = (variableId) => {
+        if (cache.has(variableId)) {
+            return cache.get(variableId);
+        }
+        const variable = ctx.getVariable(variableId);
+        if (!variable ||
+            !isPremiseBound(variable) ||
+            variable.boundArgumentId !== ctx.argumentId) {
+            return assignment.variables[variableId] ?? null;
+        }
+        const boundPremise = ctx.getPremise(variable.boundPremiseId);
+        if (!boundPremise) {
+            cache.set(variableId, null);
+            return null;
+        }
+        const premiseResult = boundPremise.evaluate(assignment, { resolver });
+        const value = premiseResult?.rootValue ?? null;
+        cache.set(variableId, value);
+        return value;
+    };
+    return resolver;
+}
+//# sourceMappingURL=premise-resolver.js.map

package/dist/lib/core/evaluation/premise-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"premise-resolver.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/premise-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAOxD;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACtC,GAA+B,EAC/B,UAAmC;IAEnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,UAAkB,EAA0B,EAAE;QAC5D,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC,GAAG,CAAC,UAAU,CAAE,CAAA;QACjC,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;QAC5C,IACI,CAAC,QAAQ;YACT,CAAC,cAAc,CAAC,QAAQ,CAAC;YACzB,QAAQ,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU,EAC7C,CAAC;YACC,OAAO,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;QACnD,CAAC;QACD,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAA;QAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;YAC3B,OAAO,IAAI,CAAA;QACf,CAAC;QACD,MAAM,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAA;QACrE,MAAM,KAAK,GAAG,aAAa,EAAE,SAAS,IAAI,IAAI,CAAA;QAC9C,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QAC5B,OAAO,KAAK,CAAA;IAChB,CAAC,CAAA;IACD,OAAO,QAAQ,CAAA;AACnB,CAAC"}

package/dist/lib/core/evaluation/satisfiability.d.ts

@@ -0,0 +1,52 @@
+import type { TCoreTrivalentValue } from "../../types/evaluation.js";
+import type { TArgumentEvaluationContext, TEvaluablePremise } from "./argument-evaluation.js";
+/**
+ * Free-variable ceiling for the satisfiability walk, applied to each group of
+ * interacting variables rather than to their total. Beyond it that group's
+ * answer is reported as "not determined" rather than paid for.
+ */
+export declare const SATISFIABILITY_VARIABLE_CEILING = 16;
+export interface TPremiseSetSatisfiabilityInput {
+    /** The premises that must come out true together. */
+    premises: TEvaluablePremise[];
+    /**
+     * Variable IDs available to enumerate over — the same claim-bound and
+     * externally-bound set evaluation uses. Internally premise-bound
+     * variables resolve lazily and get no column. Passing more than the
+     * premises reach is harmless: an id no premise can reach gets no column.
+     */
+    freeVariableIds: string[];
+    /** Variable IDs pinned `true` in every row, and given no column. */
+    forcedTrueVariableIds?: ReadonlySet<string>;
+}
+/**
+ * Classical satisfiability of a premise set: is there some total assignment
+ * under which every one of these premises is true?
+ *
+ * Asked of the premise set alone — the reader's own assignment and their
+ * operator decisions play no part, which is what distinguishes it from the
+ * strong-Kleene partial evaluation the rest of the pipeline does. The two
+ * answer different questions: this one asks whether the premises can hold at
+ * all, so a `false` answer means the premises contradict each other and
+ * nothing may be derived through them.
+ *
+ * Returns `null` for "not determined" rather than `false` in two cases: a group
+ * of interacting variables exceeds the ceiling, or some row could not be
+ * settled — a premise that came back neither `true` nor `false` leaves that
+ * row's answer unestablished, and `false` here suppresses derivation
+ * argument-wide, so it must be a claim the search actually made. A `false` from
+ * any one group still settles the whole set, even beside a group too large to
+ * have been walked.
+ *
+ * The premises are split into groups sharing no variable and each group is
+ * walked over its own columns, so the cost is the sum of the groups' tables
+ * rather than their product. Every reduction here is answer-preserving: the
+ * result matches a single flat walk over all the variables at once.
+ *
+ * ponytail: still a truth-table walk, not a SAT solver — grouping shrinks the
+ * input rather than replacing the method. Real arguments carry single-digit
+ * variable counts per group; the ceiling bounds the worst case. Reach for a
+ * solver only if `null` answers start showing up in practice.
+ */
+export declare function isPremiseSetSatisfiable(ctx: TArgumentEvaluationContext, input: TPremiseSetSatisfiabilityInput): TCoreTrivalentValue;
+//# sourceMappingURL=satisfiability.d.ts.map

package/dist/lib/core/evaluation/satisfiability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"satisfiability.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/satisfiability.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAER,mBAAmB,EAEtB,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EACR,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,0BAA0B,CAAA;AAGjC;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,KAAK,CAAA;AAEjD,MAAM,WAAW,8BAA8B;IAC3C,qDAAqD;IACrD,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAC7B;;;;;OAKG;IACH,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,oEAAoE;IACpE,qBAAqB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC9C;AAuED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,uBAAuB,CACnC,GAAG,EAAE,0BAA0B,EAC/B,KAAK,EAAE,8BAA8B,GACtC,mBAAmB,CA0BrB"}

package/dist/lib/core/evaluation/satisfiability.js

@@ -0,0 +1,212 @@
+import { isPremiseBound } from "../../schemata/index.js";
+import { createPremiseBoundResolver } from "./premise-resolver.js";
+/**
+ * Free-variable ceiling for the satisfiability walk, applied to each group of
+ * interacting variables rather than to their total. Beyond it that group's
+ * answer is reported as "not determined" rather than paid for.
+ */
+export const SATISFIABILITY_VARIABLE_CEILING = 16;
+/**
+ * The free variables each premise can reach, keyed by premise id.
+ *
+ * Reaching is not the same as naming. A premise names the variables in its own
+ * expressions, but an internally premise-bound variable resolves by evaluating
+ * its bound premise's whole tree under the same assignment
+ * (`createPremiseBoundResolver`), so a premise depends on every variable that
+ * premise reaches while naming none of them. The relation has to be that
+ * transitive closure, or two premises coupled only through a bound variable
+ * look independent — and anything that partitions on this relation would then
+ * combine two separately-satisfying assignments into one that satisfies
+ * neither.
+ *
+ * Only ids in `freeVariableIds` are collected; a bound variable is a link to
+ * follow, never a member.
+ *
+ * A binding cycle terminates here by marking premises in progress. That is this
+ * function's own guard rather than a mirror of the resolver's: the resolver
+ * seeds its cache only after the recursive evaluation returns, so a re-entrant
+ * lookup misses and recurses again. `validateArgument` rejects such a cycle,
+ * but this runs wherever a caller skipped validation.
+ */
+function collectReachableVariables(ctx, premises, freeVariableIds) {
+    const byPremiseId = new Map();
+    const inProgress = new Set();
+    // The caller's premise list wins over the context's lookup: it may be a
+    // filtered set (struck premises removed), and a bound premise is then
+    // still resolved through the context, exactly as the resolver does.
+    const supplied = new Map(premises.map((pm) => [pm.getId(), pm]));
+    const reach = (premiseId) => {
+        const settled = byPremiseId.get(premiseId);
+        if (settled)
+            return settled;
+        if (inProgress.has(premiseId))
+            return new Set();
+        const premise = supplied.get(premiseId) ?? ctx.getPremise(premiseId);
+        if (!premise)
+            return new Set();
+        inProgress.add(premiseId);
+        const reached = new Set();
+        for (const expression of premise.getExpressions()) {
+            if (expression.type !== "variable")
+                continue;
+            const variableId = expression.variableId;
+            if (freeVariableIds.has(variableId)) {
+                reached.add(variableId);
+                continue;
+            }
+            const variable = ctx.getVariable(variableId);
+            if (variable &&
+                isPremiseBound(variable) &&
+                variable.boundArgumentId === ctx.argumentId) {
+                for (const id of reach(variable.boundPremiseId))
+                    reached.add(id);
+            }
+        }
+        inProgress.delete(premiseId);
+        byPremiseId.set(premiseId, reached);
+        return reached;
+    };
+    for (const premise of premises)
+        reach(premise.getId());
+    return byPremiseId;
+}
+/**
+ * Classical satisfiability of a premise set: is there some total assignment
+ * under which every one of these premises is true?
+ *
+ * Asked of the premise set alone — the reader's own assignment and their
+ * operator decisions play no part, which is what distinguishes it from the
+ * strong-Kleene partial evaluation the rest of the pipeline does. The two
+ * answer different questions: this one asks whether the premises can hold at
+ * all, so a `false` answer means the premises contradict each other and
+ * nothing may be derived through them.
+ *
+ * Returns `null` for "not determined" rather than `false` in two cases: a group
+ * of interacting variables exceeds the ceiling, or some row could not be
+ * settled — a premise that came back neither `true` nor `false` leaves that
+ * row's answer unestablished, and `false` here suppresses derivation
+ * argument-wide, so it must be a claim the search actually made. A `false` from
+ * any one group still settles the whole set, even beside a group too large to
+ * have been walked.
+ *
+ * The premises are split into groups sharing no variable and each group is
+ * walked over its own columns, so the cost is the sum of the groups' tables
+ * rather than their product. Every reduction here is answer-preserving: the
+ * result matches a single flat walk over all the variables at once.
+ *
+ * ponytail: still a truth-table walk, not a SAT solver — grouping shrinks the
+ * input rather than replacing the method. Real arguments carry single-digit
+ * variable counts per group; the ceiling bounds the worst case. Reach for a
+ * solver only if `null` answers start showing up in practice.
+ */
+export function isPremiseSetSatisfiable(ctx, input) {
+    if (input.premises.length === 0)
+        return true;
+    const forcedTrueVariableIds = input.forcedTrueVariableIds;
+    const freeVariableIds = input.freeVariableIds.filter((variableId) => forcedTrueVariableIds?.has(variableId) !== true);
+    let sawUndeterminedGroup = false;
+    for (const group of partitionIntoGroups(ctx, input.premises, new Set(freeVariableIds))) {
+        const answer = walkGroup(ctx, group.premises, group.columns, forcedTrueVariableIds);
+        // A group that cannot hold makes the whole set unable to hold, whatever
+        // the others do — including a group too large to have been walked.
+        if (answer === false)
+            return false;
+        if (answer === null)
+            sawUndeterminedGroup = true;
+    }
+    return sawUndeterminedGroup ? null : true;
+}
+/**
+ * Split the premises into groups that share no variable, and give each group
+ * only the columns its own premises reach.
+ *
+ * Two premises belong together when some variable is reachable from both, so
+ * every premise's reachable set is a clique and the groups are that graph's
+ * connected components. Premises reaching no free variable at all share one
+ * group with no columns, walked in a single row: they cannot interact with
+ * anything, including each other. A free variable no premise reaches appears in
+ * no group and so gets no column anywhere.
+ */
+function partitionIntoGroups(ctx, premises, freeVariableIds) {
+    const reachable = collectReachableVariables(ctx, premises, freeVariableIds);
+    const parent = new Map();
+    const find = (id) => {
+        let root = parent.get(id) ?? id;
+        while (root !== (parent.get(root) ?? root)) {
+            root = parent.get(root) ?? root;
+        }
+        parent.set(id, root);
+        return root;
+    };
+    const union = (left, right) => {
+        const leftRoot = find(left);
+        const rightRoot = find(right);
+        if (leftRoot !== rightRoot)
+            parent.set(rightRoot, leftRoot);
+    };
+    for (const reached of reachable.values()) {
+        let anchor;
+        for (const variableId of reached) {
+            if (anchor === undefined)
+                anchor = variableId;
+            else
+                union(anchor, variableId);
+        }
+    }
+    const UNGROUPED = Symbol("no reachable variable");
+    const byRoot = new Map();
+    for (const premise of premises) {
+        const reached = reachable.get(premise.getId()) ?? new Set();
+        const [first] = reached;
+        const key = first === undefined ? UNGROUPED : find(first);
+        const group = byRoot.get(key) ?? { premises: [], columns: new Set() };
+        group.premises.push(premise);
+        for (const variableId of reached)
+            group.columns.add(variableId);
+        byRoot.set(key, group);
+    }
+    return [...byRoot.values()].map((group) => ({
+        premises: group.premises,
+        columns: [...group.columns],
+    }));
+}
+/**
+ * The truth-table walk over one group: is there an assignment of `columns`
+ * under which all of `premises` come out true?
+ *
+ * `forcedTrueVariableIds` are written into every row of every group, including
+ * a group with no columns at all. They are not columns, but a premise that
+ * reads one still has to see it — left out, it resolves `null` and the group
+ * reports "not determined" where it should have reported a value.
+ */
+function walkGroup(ctx, premises, columns, forcedTrueVariableIds) {
+    if (columns.length > SATISFIABILITY_VARIABLE_CEILING)
+        return null;
+    const totalAssignments = 2 ** columns.length;
+    let sawIndeterminateRow = false;
+    for (let mask = 0; mask < totalAssignments; mask++) {
+        const variables = {};
+        for (let index = 0; index < columns.length; index++) {
+            variables[columns[index]] = Boolean(mask & (1 << index));
+        }
+        for (const variableId of forcedTrueVariableIds ?? []) {
+            variables[variableId] = true;
+        }
+        const assignment = {
+            variables,
+            operatorAssignments: {},
+        };
+        const resolver = createPremiseBoundResolver(ctx, assignment);
+        const rootValues = premises.map((premise) => premise.evaluate(assignment, { resolver }).rootValue ?? null);
+        if (rootValues.every((value) => value === true))
+            return true;
+        // A row is settled either because one premise is outright false or
+        // because every premise resolved to something.
+        if (!rootValues.includes(false) &&
+            rootValues.some((value) => value === null)) {
+            sawIndeterminateRow = true;
+        }
+    }
+    return sawIndeterminateRow ? null : false;
+}
+//# sourceMappingURL=satisfiability.js.map

package/dist/lib/core/evaluation/satisfiability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"satisfiability.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/satisfiability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAUxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAA;AAElE;;;;GAIG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAE,CAAA;AAgBjD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,yBAAyB,CAC9B,GAA+B,EAC/B,QAA6B,EAC7B,eAAoC;IAEpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAA;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,wEAAwE;IACxE,sEAAsE;IACtE,oEAAoE;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IAEhE,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAe,EAAE;QAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC1C,IAAI,OAAO;YAAE,OAAO,OAAO,CAAA;QAC3B,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,GAAG,EAAE,CAAA;QAE/C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACpE,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,GAAG,EAAE,CAAA;QAE9B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACzB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;QACjC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAChD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAQ;YAC5C,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAA;YACxC,IAAI,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;gBACvB,SAAQ;YACZ,CAAC;YACD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAA;YAC5C,IACI,QAAQ;gBACR,cAAc,CAAC,QAAQ,CAAC;gBACxB,QAAQ,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU,EAC7C,CAAC;gBACC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACpE,CAAC;QACL,CAAC;QACD,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QAC5B,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QACnC,OAAO,OAAO,CAAA;IAClB,CAAC,CAAA;IAED,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;IACtD,OAAO,WAAW,CAAA;AACtB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,uBAAuB,CACnC,GAA+B,EAC/B,KAAqC;IAErC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAE5C,MAAM,qBAAqB,GAAG,KAAK,CAAC,qBAAqB,CAAA;IACzD,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAChD,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,CAClE,CAAA;IAED,IAAI,oBAAoB,GAAG,KAAK,CAAA;IAChC,KAAK,MAAM,KAAK,IAAI,mBAAmB,CACnC,GAAG,EACH,KAAK,CAAC,QAAQ,EACd,IAAI,GAAG,CAAC,eAAe,CAAC,CAC3B,EAAE,CAAC;QACA,MAAM,MAAM,GAAG,SAAS,CACpB,GAAG,EACH,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,OAAO,EACb,qBAAqB,CACxB,CAAA;QACD,wEAAwE;QACxE,mEAAmE;QACnE,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,KAAK,CAAA;QAClC,IAAI,MAAM,KAAK,IAAI;YAAE,oBAAoB,GAAG,IAAI,CAAA;IACpD,CAAC;IACD,OAAO,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;AAC7C,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CACxB,GAA+B,EAC/B,QAA6B,EAC7B,eAAoC;IAEpC,MAAM,SAAS,GAAG,yBAAyB,CAAC,GAAG,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAA;IAE3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,MAAM,IAAI,GAAG,CAAC,EAAU,EAAU,EAAE;QAChC,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;QAC/B,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;QACnC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACpB,OAAO,IAAI,CAAA;IACf,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,KAAa,EAAQ,EAAE;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QAC7B,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAC/D,CAAC,CAAA;IAED,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,MAA0B,CAAA;QAC9B,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,GAAG,UAAU,CAAA;;gBACxC,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;QAClC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,uBAAuB,CAAC,CAAA;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAGnB,CAAA;IACH,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;QACnE,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAA;QACvB,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;QACrE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC5B,KAAK,MAAM,UAAU,IAAI,OAAO;YAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/D,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACxC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;KAC9B,CAAC,CAAC,CAAA;AACP,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CACd,GAA+B,EAC/B,QAA6B,EAC7B,OAAiB,EACjB,qBAAsD;IAEtD,IAAI,OAAO,CAAC,MAAM,GAAG,+BAA+B;QAAE,OAAO,IAAI,CAAA;IAEjE,MAAM,gBAAgB,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAA;IAC5C,IAAI,mBAAmB,GAAG,KAAK,CAAA;IAC/B,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,gBAAgB,EAAE,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,SAAS,GAA4B,EAAE,CAAA;QAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,KAAK,MAAM,UAAU,IAAI,qBAAqB,IAAI,EAAE,EAAE,CAAC;YACnD,SAAS,CAAC,UAAU,CAAC,GAAG,IAAI,CAAA;QAChC,CAAC;QACD,MAAM,UAAU,GAA8B;YAC1C,SAAS;YACT,mBAAmB,EAAE,EAAE;SAC1B,CAAA;QACD,MAAM,QAAQ,GAAG,0BAA0B,CAAC,GAAG,EAAE,UAAU,CAAC,CAAA;QAC5D,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAC3B,CAAC,OAAO,EAAE,EAAE,CACR,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,CACnE,CAAA;QACD,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;YAAE,OAAO,IAAI,CAAA;QAC5D,mEAAmE;QACnE,+CAA+C;QAC/C,IACI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,EAC5C,CAAC;YACC,mBAAmB,GAAG,IAAI,CAAA;QAC9B,CAAC;IACL,CAAC;IACD,OAAO,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAA;AAC7C,CAAC"}

package/dist/lib/core/evaluation/validation.d.ts

@@ -1,10 +1,10 @@
-import type { TCoreDirectionalVacuity, TCoreTrivalentValue, TCoreValidationIssue, TCoreValidationResult } from "../../types/evaluation.js";
+import type { TCoreDirectionalVacuity, TCoreQuadrivalentValue, TCoreValidationIssue, TCoreValidationResult } from "../../types/evaluation.js";
 /** Creates a validation result, setting `ok` based on whether any error-severity issues exist. */
 export declare function makeValidationResult(issues: TCoreValidationIssue[]): TCoreValidationResult;
 /** Creates a validation issue with `severity: "error"`. */
 export declare function makeErrorIssue(issue: Omit<TCoreValidationIssue, "severity">): TCoreValidationIssue;
-/** Computes Kleene three-valued material implication: `!antecedent || consequent`. */
-export declare function implicationValue(antecedent: TCoreTrivalentValue, consequent: TCoreTrivalentValue): TCoreTrivalentValue;
+/** Computes four-valued material implication: `!antecedent || consequent`. */
+export declare function implicationValue(antecedent: TCoreQuadrivalentValue, consequent: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
 /** Builds a directional vacuity diagnostic for one direction of an implication. */
-export declare function buildDirectionalVacuity(antecedentTrue: TCoreTrivalentValue, consequentTrue: TCoreTrivalentValue): TCoreDirectionalVacuity;
+export declare function buildDirectionalVacuity(antecedentTrue: TCoreQuadrivalentValue, consequentTrue: TCoreQuadrivalentValue): TCoreDirectionalVacuity;
 //# sourceMappingURL=validation.d.ts.map

package/dist/lib/core/evaluation/validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,uBAAuB,EACvB,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,2BAA2B,CAAA;AAGlC,kGAAkG;AAClG,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,oBAAoB,EAAE,GAC/B,qBAAqB,CAKvB;AAED,2DAA2D;AAC3D,wBAAgB,cAAc,CAC1B,KAAK,EAAE,IAAI,CAAC,oBAAoB,EAAE,UAAU,CAAC,GAC9C,oBAAoB,CAEtB;AAED,sFAAsF;AACtF,wBAAgB,gBAAgB,CAC5B,UAAU,EAAE,mBAAmB,EAC/B,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAErB;AAED,mFAAmF;AACnF,wBAAgB,uBAAuB,CACnC,cAAc,EAAE,mBAAmB,EACnC,cAAc,EAAE,mBAAmB,GACpC,uBAAuB,CASzB"}
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,2BAA2B,CAAA;AAGlC,kGAAkG;AAClG,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,oBAAoB,EAAE,GAC/B,qBAAqB,CAKvB;AAED,2DAA2D;AAC3D,wBAAgB,cAAc,CAC1B,KAAK,EAAE,IAAI,CAAC,oBAAoB,EAAE,UAAU,CAAC,GAC9C,oBAAoB,CAEtB;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAC5B,UAAU,EAAE,sBAAsB,EAClC,UAAU,EAAE,sBAAsB,GACnC,sBAAsB,CAExB;AAED,mFAAmF;AACnF,wBAAgB,uBAAuB,CACnC,cAAc,EAAE,sBAAsB,EACtC,cAAc,EAAE,sBAAsB,GACvC,uBAAuB,CASzB"}

package/dist/lib/core/evaluation/validation.js

@@ -1,4 +1,4 @@
-import { kleeneAnd, kleeneImplies, kleeneNot } from "./kleene.js";
+import { belnapAnd, belnapImplies, belnapNot } from "./belnap.js";
 /** Creates a validation result, setting `ok` based on whether any error-severity issues exist. */
 export function makeValidationResult(issues) {
     return {
@@ -10,9 +10,9 @@ export function makeValidationResult(issues) {
 export function makeErrorIssue(issue) {
     return { severity: "error", ...issue };
 }
-/** Computes Kleene three-valued material implication: `!antecedent || consequent`. */
+/** Computes four-valued material implication: `!antecedent || consequent`. */
 export function implicationValue(antecedent, consequent) {
-    return kleeneImplies(antecedent, consequent);
+    return belnapImplies(antecedent, consequent);
 }
 /** Builds a directional vacuity diagnostic for one direction of an implication. */
 export function buildDirectionalVacuity(antecedentTrue, consequentTrue) {
@@ -21,7 +21,7 @@ export function buildDirectionalVacuity(antecedentTrue, consequentTrue) {
         antecedentTrue,
         consequentTrue,
         implicationValue: implication,
-        isVacuouslyTrue: kleeneAnd(implication, kleeneNot(antecedentTrue)),
+        isVacuouslyTrue: belnapAnd(implication, belnapNot(antecedentTrue)),
         fired: antecedentTrue,
     };
 }

package/dist/lib/core/evaluation/validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/validation.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEjE,kGAAkG;AAClG,MAAM,UAAU,oBAAoB,CAChC,MAA8B;IAE9B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,cAAc,CAC1B,KAA6C;IAE7C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,gBAAgB,CAC5B,UAA+B,EAC/B,UAA+B;IAE/B,OAAO,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;AAChD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,uBAAuB,CACnC,cAAmC,EACnC,cAAmC;IAEnC,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAClE,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC"}
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/validation.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEjE,kGAAkG;AAClG,MAAM,UAAU,oBAAoB,CAChC,MAA8B;IAE9B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,cAAc,CAC1B,KAA6C;IAE7C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAC5B,UAAkC,EAClC,UAAkC;IAElC,OAAO,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAA;AAChD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,uBAAuB,CACnC,cAAsC,EACtC,cAAsC;IAEtC,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;QAClE,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC"}