@proposit/proposit-core 3.4.2 → 4.0.0

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;AAyDtE;;;;;;;;;;;;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,qBAAqB,EAAE,OAAO,EAAE,qBAAqB;aACxD,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,42 @@
+import type { TCoreTrivalentValue } from "../../types/evaluation.js";
+import type { TArgumentEvaluationContext, TEvaluablePremise } from "./argument-evaluation.js";
+/**
+ * Free-variable ceiling for the satisfiability walk. Beyond it the 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 enumerated over — the same claim-bound and
+     * externally-bound set evaluation uses. Internally premise-bound
+     * variables resolve lazily and get 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: the
+ * free-variable count 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.
+ *
+ * ponytail: a truth-table walk, not a SAT solver. Real arguments carry
+ * single-digit variable counts; 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":"AAAA,OAAO,KAAK,EAER,mBAAmB,EAEtB,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EACR,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,0BAA0B,CAAA;AAGjC;;;GAGG;AACH,eAAO,MAAM,+BAA+B,KAAK,CAAA;AAEjD,MAAM,WAAW,8BAA8B;IAC3C,qDAAqD;IACrD,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAC7B;;;;OAIG;IACH,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,oEAAoE;IACpE,qBAAqB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC9C;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,uBAAuB,CACnC,GAAG,EAAE,0BAA0B,EAC/B,KAAK,EAAE,8BAA8B,GACtC,mBAAmB,CAuCrB"}

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

@@ -0,0 +1,62 @@
+import { createPremiseBoundResolver } from "./premise-resolver.js";
+/**
+ * Free-variable ceiling for the satisfiability walk. Beyond it the answer is
+ * reported as "not determined" rather than paid for.
+ */
+export const SATISFIABILITY_VARIABLE_CEILING = 16;
+/**
+ * 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: the
+ * free-variable count 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.
+ *
+ * ponytail: a truth-table walk, not a SAT solver. Real arguments carry
+ * single-digit variable counts; 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);
+    if (freeVariableIds.length > SATISFIABILITY_VARIABLE_CEILING)
+        return null;
+    const totalAssignments = 2 ** freeVariableIds.length;
+    let sawIndeterminateRow = false;
+    for (let mask = 0; mask < totalAssignments; mask++) {
+        const variables = {};
+        for (let index = 0; index < freeVariableIds.length; index++) {
+            variables[freeVariableIds[index]] = Boolean(mask & (1 << index));
+        }
+        for (const variableId of forcedTrueVariableIds ?? []) {
+            variables[variableId] = true;
+        }
+        const assignment = {
+            variables,
+            operatorAssignments: {},
+        };
+        const resolver = createPremiseBoundResolver(ctx, assignment);
+        const rootValues = input.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":"AASA,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAA;AAElE;;;GAGG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAE,CAAA;AAejD;;;;;;;;;;;;;;;;;;;;GAoBG;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;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,+BAA+B;QAAE,OAAO,IAAI,CAAA;IAEzE,MAAM,gBAAgB,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAA;IACpD,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,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC1D,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAA;QACpE,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,KAAK,CAAC,QAAQ,CAAC,GAAG,CACjC,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"}

package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts

@@ -469,18 +469,35 @@ export interface TArgumentEvaluation {
     /**
      * Evaluates the argument under a three-valued expression assignment.
      *
-     * Variables may be `true`, `false`, or `null` (unknown). All result
-     * flags (`isAdmissibleAssignment`, `isCounterexample`, etc.) are
-     * three-valued: `null` means indeterminate due to unknown variable
-     * values.
+     * Variables may be assigned `true`, `false`, or `null` (unknown).
+     * Evaluation reports a fourth value, `CONTESTED`, for anything the
+     * reader's assignments and the steps they granted force both true and
+     * false; `null` still means indeterminate. `isAdmissibleAssignment`,
+     * `survivingSupportingPremisesTrue`, `conclusionTrue` and
+     * `premisesHoldConclusionFalse` all range over the four values;
+     * `premiseSetSatisfiable` stays three-valued, since it is a classical
+     * search over the premise set alone.
+     *
+     * The result is a set of orthogonal facts, not a single outcome. In
+     * particular `survivingSupportingPremisesTrue` is vacuously `true` when
+     * every supporting premise is struck, so whether the argument reached its
+     * conclusion is `conclusionAttribution.reachedWithoutAssertion` and never
+     * that field. A rejected operator strikes its whole premise and asserts
+     * nothing.
      *
      * Calls `validateEvaluability()` internally before evaluation; if the
      * argument is not structurally ready (including derivation pre-flight),
      * the method returns early with `{ ok: false }` and the validation
      * details. Do not bypass `evaluate` to avoid this check.
      *
-     * @param assignment - The variable assignment and optional rejected
-     *   expression IDs.
+     * Axiomatic-bound variables are forced `true` by this method's pre-pass,
+     * and are passed down as `forcedTrueVariableIds` so they are pinned in the
+     * satisfiability search and never read back as reader assertions. A
+     * caller's own `forcedTrueVariableIds` is unioned with that set, never
+     * substituted for it.
+     *
+     * @param assignment - The variable assignment and the reader's operator
+     *   decisions.
      * @param options - Optional evaluation options.
      * @returns The evaluation result, or `{ ok: false }` with validation
      *   details if the argument is not structurally evaluable.
@@ -492,7 +509,13 @@ export interface TArgumentEvaluation {
      *
      * A counterexample is an admissible assignment where all supporting
      * premises are true but the conclusion is false. The argument is valid
-     * if no counterexamples exist.
+     * if no counterexamples exist. This is the exhaustive entailment check;
+     * the single-assignment `premisesHoldConclusionFalse` fact is a weaker,
+     * reader-relative statement and not a countermodel.
+     *
+     * Premise-set satisfiability is computed once before the row loop and
+     * threaded into each row, since the generated assignments carry no
+     * operator decisions and the premise set never varies.
      *
      * Calls `validateEvaluability()` (including derivation pre-flight)
      * before enumeration. If the argument is not evaluable, returns early

package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"argument-engine.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/argument-engine.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,qBAAqB,EACrB,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,EAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAEpE;;GAEG;AACH,MAAM,WAAW,YAAY,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmCG;IACH,aAAa,IAAI,mBAAmB,CAChC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,aAAa,CACT,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,MAAM,GACf,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,aAAa,CACT,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,aAAa,CAAC,OAAO,EAAE;QACnB,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GAAG,mBAAmB,CACnB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;IACH,mBAAmB,CACf,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,mBAAmB,CACf,EAAE,EAAE,MAAM,EACV,OAAO,EAAE;QACL,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GACF,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa,CACT,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzE;;;;;OAKG;IACH,UAAU,CACN,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS,CAAA;IACzD;;;;;OAKG;IACH,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAA;IACtC;;;;OAIG;IACH,cAAc,IAAI,MAAM,EAAE,CAAA;IAC1B;;;;OAIG;IACH,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;IAC5D;;;;;;OAMG;IACH,yBAAyB,CACrB,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS,CAAA;CAC5D;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;;;;OAQG;IACH,WAAW,CACP,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzD;;;;;;;;;;;OAWG;IACH,qBAAqB,CACjB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzD;;;;;;;;;;;;;;OAcG;IACH,cAAc,CACV,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrE;;;;;;;;;;OAUG;IACH,cAAc,CACV,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrE;;;;;OAKG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACjD;;;;;OAKG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAA;IACxC;;;;;;OAMG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACrD;;;;OAIG;IACH,YAAY,IAAI,IAAI,EAAE,CAAA;IACtB;;;;;;;OAOG;IACH,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1D;;;;;;OAMG;IACH,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,CAAA;IACrD;;;;;;;;;;;;;;;;;;OAkBG;IACH,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B,CACvC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE;;;;;;OAMG;IACH,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;IACtD;;;;;;OAMG;IACH,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAA;IAC5C;;;;;;OAMG;IACH,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAChE;;;;OAIG;IACH,iBAAiB,IAAI,KAAK,EAAE,CAAA;IAC5B;;;;;;OAMG;IACH,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IACvD;;;;OAIG;IACH,mBAAmB,IAAI,KAAK,EAAE,CAAA;IAC9B;;;;;OAKG;IACH,0BAA0B,IAAI;QAC1B,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ,CAAA;IACD;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAA;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;OAIG;IACH,oBAAoB,IACd,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS,CAAA;IACf;;;;;OAKG;IACH,sBAAsB,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;IACtE;;;;;;OAMG;IACH,oBAAoB,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,sBAAsB,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;OAgBG;IACH,sBAAsB,IAAI,mBAAmB,CACzC,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;OAKG;IACH,YAAY,IAAI,sBAAsB,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAChC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,oBAAoB,IAAI,qBAAqB,CAAA;IAC7C;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,4BAA4B,IAAI,0BAA0B,CAAA;IAC1D;;;;;;;;;;;;;;;;;;OAkBG;IACH,QAAQ,CACJ,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAAA;IAChC;;;;;;;;;;;;;;;OAeG;IACH,aAAa,CAAC,OAAO,CAAC,EAAE,yBAAyB,GAAG,wBAAwB,CAAA;IAC5E;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,uBAAuB,IAAI,uBAAuB,CAAA;IAClD;;;;;;;;;;;;;OAaG;IACH,oBAAoB,CAChB,SAAS,CAAC,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAAA;IAChC;;;;;;;;;;;OAWG;IACH,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAC1D;;;;;;;;;OASG;IACH,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAChE;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;OAKG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IAC3C;;;;OAIG;IACH,WAAW,IAAI,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7D;;;;OAIG;IACH,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE;;;;OAIG;IACH,QAAQ,CACJ,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI,CAAA;IACP;;;;;;;;;;;;;;;OAeG;IACH,kBAAkB,IAAI,0BAA0B,CAAA;IAChD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,UAAU,EAAE,CAAA;IACnD;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,CAAC,IAAI,CAAC,EAAE,YAAY,GAAG,IAAI,CAAA;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;OAKG;IACH,WAAW,IAAI,IAAI,CAAA;IACnB;;;;;OAKG;IACH,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACpC;;;;;OAKG;IACH,SAAS,CACL,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC5E;;;;;OAKG;IACH,YAAY,CACR,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;CAC/E"}
+{"version":3,"file":"argument-engine.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/argument-engine.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,qBAAqB,EACrB,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,EAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAEpE;;GAEG;AACH,MAAM,WAAW,YAAY,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmCG;IACH,aAAa,IAAI,mBAAmB,CAChC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,aAAa,CACT,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,MAAM,GACf,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,aAAa,CACT,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,aAAa,CAAC,OAAO,EAAE;QACnB,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GAAG,mBAAmB,CACnB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAkCG;IACH,mBAAmB,CACf,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD,mBAAmB,CACf,EAAE,EAAE,MAAM,EACV,OAAO,EAAE;QACL,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GACF,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa,CACT,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzE;;;;;OAKG;IACH,UAAU,CACN,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS,CAAA;IACzD;;;;;OAKG;IACH,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAA;IACtC;;;;OAIG;IACH,cAAc,IAAI,MAAM,EAAE,CAAA;IAC1B;;;;OAIG;IACH,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;IAC5D;;;;;;OAMG;IACH,yBAAyB,CACrB,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS,CAAA;CAC5D;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;;;;OAQG;IACH,WAAW,CACP,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzD;;;;;;;;;;;OAWG;IACH,qBAAqB,CACjB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzD;;;;;;;;;;;;;;OAcG;IACH,cAAc,CACV,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrE;;;;;;;;;;OAUG;IACH,cAAc,CACV,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrE;;;;;OAKG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACjD;;;;;OAKG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAA;IACxC;;;;;;OAMG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACrD;;;;OAIG;IACH,YAAY,IAAI,IAAI,EAAE,CAAA;IACtB;;;;;;;OAOG;IACH,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC1D;;;;;;OAMG;IACH,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE,CAAA;IACrD;;;;;;;;;;;;;;;;;;OAkBG;IACH,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B,CACvC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE;;;;;;OAMG;IACH,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;IACtD;;;;;;OAMG;IACH,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAA;IAC5C;;;;;;OAMG;IACH,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAChE;;;;OAIG;IACH,iBAAiB,IAAI,KAAK,EAAE,CAAA;IAC5B;;;;;;OAMG;IACH,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IACvD;;;;OAIG;IACH,mBAAmB,IAAI,KAAK,EAAE,CAAA;IAC9B;;;;;OAKG;IACH,0BAA0B,IAAI;QAC1B,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ,CAAA;IACD;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAA;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;OAIG;IACH,oBAAoB,IACd,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS,CAAA;IACf;;;;;OAKG;IACH,sBAAsB,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;IACtE;;;;;;OAMG;IACH,oBAAoB,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,sBAAsB,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC3E;;;;;;;;;;;;;;;;OAgBG;IACH,sBAAsB,IAAI,mBAAmB,CACzC,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;OAKG;IACH,YAAY,IAAI,sBAAsB,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAChC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,oBAAoB,IAAI,qBAAqB,CAAA;IAC7C;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,4BAA4B,IAAI,0BAA0B,CAAA;IAC1D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmCG;IACH,QAAQ,CACJ,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAAA;IAChC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa,CAAC,OAAO,CAAC,EAAE,yBAAyB,GAAG,wBAAwB,CAAA;IAC5E;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,uBAAuB,IAAI,uBAAuB,CAAA;IAClD;;;;;;;;;;;;;OAaG;IACH,oBAAoB,CAChB,SAAS,CAAC,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAAA;IAChC;;;;;;;;;;;OAWG;IACH,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAC1D;;;;;;;;;OASG;IACH,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAChE;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;OAKG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IAC3C;;;;OAIG;IACH,WAAW,IAAI,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7D;;;;OAIG;IACH,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE;;;;OAIG;IACH,QAAQ,CACJ,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI,CAAA;IACP;;;;;;;;;;;;;;;OAeG;IACH,kBAAkB,IAAI,0BAA0B,CAAA;IAChD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,UAAU,EAAE,CAAA;IACnD;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,CAAC,IAAI,CAAC,EAAE,YAAY,GAAG,IAAI,CAAA;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;OAKG;IACH,WAAW,IAAI,IAAI,CAAA;IACnB;;;;;OAKG;IACH,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACpC;;;;;OAKG;IACH,SAAS,CACL,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC5E;;;;;OAKG;IACH,YAAY,CACR,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;CAC/E"}

package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts

@@ -13,7 +13,7 @@ export interface TFormulaTreeVisitor<T> {
     /** Called when the premise has no root expression. */
     empty(): T;
 }
-import type { TCoreExpressionAssignment, TCorePremiseEvaluationResult, TCoreValidationResult } from "../../types/evaluation.js";
+import type { TCoreResolvedAssignment, TCorePremiseEvaluationResult, TCoreValidationResult } from "../../types/evaluation.js";
 import type { TInvariantValidationResult } from "../../types/validation.js";
 import type { TCoreMutationResult } from "../../types/mutation.js";
 import type { TExpressionInput, TExpressionWithoutPosition, TExpressionUpdate } from "../expression-manager.js";
@@ -336,15 +336,25 @@ export interface TPremiseEvaluation {
      */
     validateEvaluability(): TCoreValidationResult;
     /**
-     * Evaluates the premise under a three-valued expression assignment.
+     * Evaluates the premise under an expression assignment.
      *
-     * Variable values are looked up using Kleene three-valued logic
-     * (`null` = unknown). Missing variables default to `null`. For
-     * inference premises (`implies`/`iff`), an `inferenceDiagnostic` is
-     * computed with three-valued fields unless the root is rejected.
+     * Variable values are looked up using the four-valued Belnap connectives
+     * (`null` = unknown, `CONTESTED` = forced both true and false). Missing
+     * variables default to `null`. For inference premises (`implies`/`iff`),
+     * an `inferenceDiagnostic` is always computed.
      *
-     * @param assignment - The variable assignment and optional rejected
-     *   expression IDs.
+     * The parameter is the wider {@link TCoreResolvedAssignment} because
+     * argument evaluation feeds its own constraint-closure output back
+     * through here; a reader's `TCoreExpressionAssignment` is
+     * assignable to it and stays three-valued.
+     *
+     * Operator decisions do not affect premise evaluation. A rejected
+     * expression evaluates from its children like any other — a rejection is
+     * a decision about a step, and its effect (striking the whole premise
+     * from the evaluated set) belongs to argument-level evaluation.
+     *
+     * @param assignment - The variable assignment and the reader's operator
+     *   decisions.
      * @param options - Optional evaluation options.
      * @param options.strictUnknownKeys - If `true`, unknown variable keys
      *   in the assignment cause an error.
@@ -352,7 +362,7 @@ export interface TPremiseEvaluation {
      *   cover exactly the referenced variables.
      * @returns The premise evaluation result.
      */
-    evaluate(assignment: TCoreExpressionAssignment, options?: {
+    evaluate(assignment: TCoreResolvedAssignment, options?: {
         strictUnknownKeys?: boolean;
         requireExactCoverage?: boolean;
     }): TCorePremiseEvaluationResult;