npm - @proposit/proposit-core - Versions diffs - 4.0.0 → 4.1.0 - Mend

@proposit/proposit-core 4.0.0 → 4.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (21) hide show

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

	@@ -1 +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;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"}
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;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/satisfiability.d.ts CHANGED Viewed

@@ -1,17 +1,19 @@
 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.
+ * 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 enumerated over — the same claim-bound and
+     * 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.
+     * 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. */
@@ -28,14 +30,22 @@ export interface TPremiseSetSatisfiabilityInput {
  * 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.
+ * 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.
  *
- * 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
+ * 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;

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

	@@ -1 +1 @@
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~~"}
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 CHANGED Viewed

@@ -1,9 +1,75 @@
+import { isPremiseBound } from "../../schemata/index.js";
 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.
+ * 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?
@@ -15,14 +81,22 @@ export const SATISFIABILITY_VARIABLE_CEILING = 16;
  * 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.
+ * 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: a truth-table walk, not a SAT solver. Real arguments carry
- * single-digit variable counts; the ceiling bounds the worst case. Reach for a
+ * 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) {
@@ -30,14 +104,90 @@ export function isPremiseSetSatisfiable(ctx, input) {
         return true;
     const forcedTrueVariableIds = input.forcedTrueVariableIds;
     const freeVariableIds = input.freeVariableIds.filter((variableId) => forcedTrueVariableIds?.has(variableId) !== true);
-    if (freeVariableIds.length > SATISFIABILITY_VARIABLE_CEILING)
+    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 ** freeVariableIds.length;
+    const totalAssignments = 2 ** columns.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 (let index = 0; index < columns.length; index++) {
+            variables[columns[index]] = Boolean(mask & (1 << index));
         }
         for (const variableId of forcedTrueVariableIds ?? []) {
             variables[variableId] = true;
@@ -47,7 +197,7 @@ export function isPremiseSetSatisfiable(ctx, input) {
             operatorAssignments: {},
         };
         const resolver = createPremiseBoundResolver(ctx, assignment);
-        const rootValues = input.premises.map((premise) => premise.evaluate(assignment, { resolver }).rootValue ?? null);
+        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

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

	@@ -1 +1 @@
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"}
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/interfaces/argument-engine.interfaces.d.ts CHANGED Viewed

@@ -490,11 +490,20 @@ export interface TArgumentEvaluation {
      * the method returns early with `{ ok: false }` and the validation
      * details. Do not bypass `evaluate` to avoid this check.
      *
-     * 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.
+     * Axiomatic-bound variables are forced `true` by this method's pre-pass and
+     * passed down as `forcedTrueVariableIds`, so they are never read back as
+     * reader assertions and never enter the reached-without-assertion
+     * counterfactual. A caller's own `forcedTrueVariableIds` is unioned with
+     * that set, never substituted for it.
+     *
+     * The premise-set satisfiability search is given a **wider** set —
+     * `satisfiabilityForcedTrueVariableIds`, every grounded variable, citation
+     * as well as axiomatic. Whether the premises can hold together is a
+     * question about the argument, so a cited claim is taken at its source's
+     * word there, exactly as `checkValidity` does. The two sets are separate
+     * because the narrower one also decides what counts as the reader's own
+     * assertion, and a reader may disagree with a source: a citation belongs in
+     * the satisfiability question and not in that one.
      *
      * @param assignment - The variable assignment and the reader's operator
      *   decisions.
@@ -517,6 +526,13 @@ export interface TArgumentEvaluation {
      * threaded into each row, since the generated assignments carry no
      * operator decisions and the premise set never varies.
      *
+     * Grounded claim-bound variables — axiomatic *and* citation — are
+     * excluded from the enumeration and pinned `true` on every row, so an
+     * argument with `g` of them enumerates `2^(k - g)` assignments and no
+     * counterexample can rest on a cited claim reading false. Evaluation is
+     * deliberately different: it answers the reader's question, where a
+     * citation is only seeded true and remains assignable.
+     *
      * Calls `validateEvaluability()` (including derivation pre-flight)
      * before enumeration. If the argument is not evaluable, returns early
      * with an appropriate result rather than throwing.
@@ -566,12 +582,32 @@ export interface TArgumentEvaluation {
      */
     evaluateWithDefaults(overrides?: TCoreVariableAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
     /**
-     * Returns the ID of the claim-bound variable bound to `claimId`, or
-     * `undefined` if none exists. Pure lookup — never creates a variable
+     * Returns the IDs of every claim-bound variable bound to `claimId`, in
+     * id-sorted order, or `[]` when none is. Pure lookup — never creates a
+     * variable (contrast `ensureClaimBoundVariable`).
+     *
+     * A claim may bind more than one variable — `addVariable` enforces no
+     * per-claim uniqueness — and each is valued independently by evaluation.
+     * Use this, not the singular accessor, wherever dropping the others would
+     * be wrong.
+     *
+     * @param claimId - The claim whose bound variables to look up.
+     * @returns The variable IDs, id-sorted; empty when the claim binds none.
+     *
+     * @since 4.1.0
+     */
+    getVariableIdsForClaim(claimId: string): string[];
+    /**
+     * Returns the ID of the lowest-id claim-bound variable bound to `claimId`,
+     * or `undefined` if none exists. Pure lookup — never creates a variable
      * (contrast `ensureClaimBoundVariable`). The documented seam, with its
      * inverse, for translating between the variable-keyed evaluation surface
      * and consumers' `claimId`-keyed state.
      *
+     * A claim may bind several variables. The pick among them is deterministic
+     * (variables enumerate id-sorted) but arbitrary with respect to the claim
+     * — reach for `getVariableIdsForClaim` when that matters.
+     *
      * @param claimId - The claim whose bound variable to look up.
      * @returns The variable ID, or `undefined`.
      *

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

	@@ -1 +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~~;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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"}
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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4CG;IACH,QAAQ,CACJ,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAAA;IAChC;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;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;;;;;;;;;;;;;;OAcG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IACjD;;;;;;;;;;;;;;;OAeG;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/types/evaluation.d.ts CHANGED Viewed

@@ -139,11 +139,26 @@ export interface TCoreArgumentEvaluationOptions {
     /** Run argument/premise evaluability validation before evaluating. */
     validateFirst?: boolean;
     /**
-     * Variable IDs pinned `true` in every row of the premise-set
-     * satisfiability search — typically axiomatic-bound variables, which the
-     * engine forces true. They are also never treated as reader assertions.
+     * Variable IDs the reader did not assign and cannot be credited with —
+     * typically axiomatic-bound variables, which the engine forces true. They
+     * are never treated as reader assertions and are left out of the
+     * reached-without-assertion counterfactual. Unless
+     * `satisfiabilityForcedTrueVariableIds` is given, they are also pinned
+     * `true` in every row of the premise-set satisfiability search.
      */
     forcedTrueVariableIds?: ReadonlySet<string>;
+    /**
+     * Variable IDs pinned `true` in the premise-set satisfiability search,
+     * when that set differs from `forcedTrueVariableIds`. Defaults to it.
+     *
+     * The two are separate because a citation belongs in one and not the
+     * other. Asking whether the premises can hold at all takes a cited claim
+     * at its source's word, so a citation is pinned here. But a reader may
+     * disagree with a source, and their assignment on a citation-bound
+     * variable is their own assertion — so a citation must stay out of
+     * `forcedTrueVariableIds`, which is what decides that.
+     */
+    satisfiabilityForcedTrueVariableIds?: ReadonlySet<string>;
     /**
      * Premise-set satisfiability computed by the caller. Supplying it skips
      * the search — `checkArgumentValidity` computes it once and threads it

package/dist/lib/types/evaluation.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAElE,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,cAAc,CAAA;AAEpC,qCAAqC;AACrC,MAAM,MAAM,mBAAmB,GAAG,OAAO,SAAS,CAAA;AAElD,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,IAAI,CAAA;AAEhD;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,mBAAmB,GAAG,mBAAmB,CAAA;AAE9E,8DAA8D;AAC9D,wBAAgB,WAAW,CACvB,KAAK,EAAE,sBAAsB,GAAG,SAAS,GAC1C,KAAK,IAAI,mBAAmB,CAE9B;AAED,sDAAsD;AACtD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;AAEzE,gFAAgF;AAChF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;AAEhF;;;;;;;GAOG;AACH,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,CAAA;AAE7D,wFAAwF;AACxF,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,SAAS,EAAE,uBAAuB,CAAA;IAClC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACpC,+CAA+C;IAC/C,SAAS,EAAE,2BAA2B,CAAA;IACtC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,4CAA4C;AAC5C,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,GAC7B,8CAA8C,GAC9C,+CAA+C,GAC/C,kDAAkD,GAClD,iBAAiB,GACjB,0BAA0B,GAC1B,8BAA8B,CAAA;AAEpC,MAAM,WAAW,oBAAoB;IACjC,8DAA8D;IAC9D,IAAI,EAAE,mBAAmB,CAAA;IACzB,iEAAiE;IACjE,QAAQ,EAAE,uBAAuB,CAAA;IACjC,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,qBAAqB;IAClC,yDAAyD;IACzD,EAAE,EAAE,OAAO,CAAA;IACX,8DAA8D;IAC9D,MAAM,EAAE,oBAAoB,EAAE,CAAA;CACjC;AAED,MAAM,WAAW,uBAAuB;IACpC,2EAA2E;IAC3E,cAAc,EAAE,sBAAsB,CAAA;IACtC,2EAA2E;IAC3E,cAAc,EAAE,sBAAsB,CAAA;IACtC,uDAAuD;IACvD,gBAAgB,EAAE,sBAAsB,CAAA;IACxC,mGAAmG;IACnG,eAAe,EAAE,sBAAsB,CAAA;IACvC,6FAA6F;IAC7F,KAAK,EAAE,sBAAsB,CAAA;CAChC;AAED,MAAM,MAAM,+BAA+B,GACrC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,sBAAsB,CAAA;IACjC,UAAU,EAAE,sBAAsB,CAAA;IAClC,SAAS,EAAE,sBAAsB,CAAA;IACjC,cAAc,EAAE,sBAAsB,CAAA;IACtC,cAAc,EAAE,sBAAsB,CAAA;IACtC,eAAe,EAAE,sBAAsB,CAAA;IACvC,KAAK,EAAE,sBAAsB,CAAA;IAC7B,YAAY,EAAE,sBAAsB,CAAA;CACvC,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,sBAAsB,CAAA;IACjC,UAAU,EAAE,sBAAsB,CAAA;IAClC,SAAS,EAAE,sBAAsB,CAAA;IACjC,WAAW,EAAE,uBAAuB,CAAA;IACpC,WAAW,EAAE,uBAAuB,CAAA;IACpC,aAAa,EAAE,sBAAsB,CAAA;IACrC,cAAc,EAAE,sBAAsB,CAAA;CACzC,CAAA;AAEP,MAAM,WAAW,4BAA4B;IACzC,mCAAmC;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,+DAA+D;IAC/D,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IACvC,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,wEAAwE;IACxE,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAClC,0DAA0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACxD,6DAA6D;IAC7D,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACtD,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,+BAA+B,CAAA;CACxD;AAED,MAAM,WAAW,8BAA8B;IAC3C,gFAAgF;IAChF,2BAA2B,CAAC,EAAE,OAAO,CAAA;IACrC,6EAA6E;IAC7E,uBAAuB,CAAC,EAAE,OAAO,CAAA;IACjC,wDAAwD;IACxD,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAC5B,sEAAsE;IACtE,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB~~;;;;OAIG~~;IACH,qBAAqB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC3C;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,CAAA;CAC9C;AAED,MAAM,WAAW,6BAA6B;IAC1C,sFAAsF;IACtF,EAAE,EAAE,OAAO,CAAA;IACX,4FAA4F;IAC5F,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,yEAAyE;IACzE,UAAU,CAAC,EAAE,uBAAuB,CAAA;IACpC,8FAA8F;IAC9F,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAChC,+DAA+D;IAC/D,UAAU,CAAC,EAAE,4BAA4B,CAAA;IACzC,6EAA6E;IAC7E,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD,oFAAoF;IACpF,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD;;;;;;;;;OASG;IACH,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC3B,0DAA0D;IAC1D,+BAA+B,CAAC,EAAE,MAAM,CAAA;IACxC,uEAAuE;IACvE,sBAAsB,CAAC,EAAE,sBAAsB,CAAA;IAC/C;;;;;;;OAOG;IACH,+BAA+B,CAAC,EAAE,sBAAsB,CAAA;IACxD,iEAAiE;IACjE,cAAc,CAAC,EAAE,sBAAsB,CAAA;IACvC;;;;;;;;;;;;;OAaG;IACH,2BAA2B,CAAC,EAAE,sBAAsB,CAAA;IACpD;;;;;;;;;;;;;;;;OAgBG;IACH,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC/B;;;;;;OAMG;IACH,qBAAqB,CAAC,EAAE,qBAAqB,CAAA;IAC7C;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IACxD;;;;;;;;OAQG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,CAAA;IAC3C;;;;;OAKG;IACH,wBAAwB,CAAC,EAAE,2BAA2B,CAAA;IACtD;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IAClC,6GAA6G;IAC7G,gBAAgB,EAAE,OAAO,CAAA;IACzB,8GAA8G;IAC9G,uBAAuB,EAAE,OAAO,CAAA;CACnC;AAED,mDAAmD;AACnD,MAAM,MAAM,gBAAgB,GACtB,UAAU,GACV,SAAS,GACT,WAAW,GACX,YAAY,CAAA;AAElB,+DAA+D;AAC/D,MAAM,WAAW,mBAAmB;IAChC,gEAAgE;IAChE,YAAY,EAAE,MAAM,CAAA;IACpB,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAA;IACjB;;;OAGG;IACH,eAAe,EAAE,MAAM,EAAE,CAAA;CAC5B;AAED,MAAM,WAAW,uBAAuB;IACpC,8CAA8C;IAC9C,KAAK,EAAE,sBAAsB,CAAA;IAC7B;;;;;OAKG;IACH,MAAM,EAAE,gBAAgB,CAAA;IACxB,wEAAwE;IACxE,SAAS,CAAC,EAAE,mBAAmB,CAAA;IAC/B;;;;;;;OAOG;IACH,WAAW,CAAC,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,kDAAkD;AAClD,MAAM,WAAW,uBAAuB;IACpC;;;OAGG;IACH,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACxC;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC5C;AAED,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAC3C,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,qEAAqE;IACrE,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAC1C,6DAA6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjC;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACtC;AAED,MAAM,WAAW,mBAAmB;IAChC,mEAAmE;IACnE,UAAU,EAAE,uBAAuB,CAAA;IACnC,2DAA2D;IAC3D,MAAM,EAAE,6BAA6B,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACrC,oEAAoE;IACpE,EAAE,EAAE,OAAO,CAAA;IACX,6CAA6C;IAC7C,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,iFAAiF;IACjF,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC7B,2EAA2E;IAC3E,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,wDAAwD;IACxD,wBAAwB,CAAC,EAAE,MAAM,CAAA;IACjC,qEAAqE;IACrE,eAAe,CAAC,EAAE,mBAAmB,EAAE,CAAA;IACvC,6DAA6D;IAC7D,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}
1	+ {"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAElE,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,cAAc,CAAA;AAEpC,qCAAqC;AACrC,MAAM,MAAM,mBAAmB,GAAG,OAAO,SAAS,CAAA;AAElD,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,IAAI,CAAA;AAEhD;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,mBAAmB,GAAG,mBAAmB,CAAA;AAE9E,8DAA8D;AAC9D,wBAAgB,WAAW,CACvB,KAAK,EAAE,sBAAsB,GAAG,SAAS,GAC1C,KAAK,IAAI,mBAAmB,CAE9B;AAED,sDAAsD;AACtD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;AAEzE,gFAAgF;AAChF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;AAEhF;;;;;;;GAOG;AACH,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,CAAA;AAE7D,wFAAwF;AACxF,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,SAAS,EAAE,uBAAuB,CAAA;IAClC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACpC,+CAA+C;IAC/C,SAAS,EAAE,2BAA2B,CAAA;IACtC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,4CAA4C;AAC5C,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,GAC7B,8CAA8C,GAC9C,+CAA+C,GAC/C,kDAAkD,GAClD,iBAAiB,GACjB,0BAA0B,GAC1B,8BAA8B,CAAA;AAEpC,MAAM,WAAW,oBAAoB;IACjC,8DAA8D;IAC9D,IAAI,EAAE,mBAAmB,CAAA;IACzB,iEAAiE;IACjE,QAAQ,EAAE,uBAAuB,CAAA;IACjC,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,qBAAqB;IAClC,yDAAyD;IACzD,EAAE,EAAE,OAAO,CAAA;IACX,8DAA8D;IAC9D,MAAM,EAAE,oBAAoB,EAAE,CAAA;CACjC;AAED,MAAM,WAAW,uBAAuB;IACpC,2EAA2E;IAC3E,cAAc,EAAE,sBAAsB,CAAA;IACtC,2EAA2E;IAC3E,cAAc,EAAE,sBAAsB,CAAA;IACtC,uDAAuD;IACvD,gBAAgB,EAAE,sBAAsB,CAAA;IACxC,mGAAmG;IACnG,eAAe,EAAE,sBAAsB,CAAA;IACvC,6FAA6F;IAC7F,KAAK,EAAE,sBAAsB,CAAA;CAChC;AAED,MAAM,MAAM,+BAA+B,GACrC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,sBAAsB,CAAA;IACjC,UAAU,EAAE,sBAAsB,CAAA;IAClC,SAAS,EAAE,sBAAsB,CAAA;IACjC,cAAc,EAAE,sBAAsB,CAAA;IACtC,cAAc,EAAE,sBAAsB,CAAA;IACtC,eAAe,EAAE,sBAAsB,CAAA;IACvC,KAAK,EAAE,sBAAsB,CAAA;IAC7B,YAAY,EAAE,sBAAsB,CAAA;CACvC,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,sBAAsB,CAAA;IACjC,UAAU,EAAE,sBAAsB,CAAA;IAClC,SAAS,EAAE,sBAAsB,CAAA;IACjC,WAAW,EAAE,uBAAuB,CAAA;IACpC,WAAW,EAAE,uBAAuB,CAAA;IACpC,aAAa,EAAE,sBAAsB,CAAA;IACrC,cAAc,EAAE,sBAAsB,CAAA;CACzC,CAAA;AAEP,MAAM,WAAW,4BAA4B;IACzC,mCAAmC;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,+DAA+D;IAC/D,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IACvC,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,wEAAwE;IACxE,SAAS,CAAC,EAAE,sBAAsB,CAAA;IAClC,0DAA0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACxD,6DAA6D;IAC7D,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACtD,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,+BAA+B,CAAA;CACxD;AAED,MAAM,WAAW,8BAA8B;IAC3C,gFAAgF;IAChF,2BAA2B,CAAC,EAAE,OAAO,CAAA;IACrC,6EAA6E;IAC7E,uBAAuB,CAAC,EAAE,OAAO,CAAA;IACjC,wDAAwD;IACxD,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAC5B,sEAAsE;IACtE,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC3C;;;;;;;;;;OAUG;IACH,mCAAmC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACzD;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,CAAA;CAC9C;AAED,MAAM,WAAW,6BAA6B;IAC1C,sFAAsF;IACtF,EAAE,EAAE,OAAO,CAAA;IACX,4FAA4F;IAC5F,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,yEAAyE;IACzE,UAAU,CAAC,EAAE,uBAAuB,CAAA;IACpC,8FAA8F;IAC9F,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAChC,+DAA+D;IAC/D,UAAU,CAAC,EAAE,4BAA4B,CAAA;IACzC,6EAA6E;IAC7E,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD,oFAAoF;IACpF,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD;;;;;;;;;OASG;IACH,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC3B,0DAA0D;IAC1D,+BAA+B,CAAC,EAAE,MAAM,CAAA;IACxC,uEAAuE;IACvE,sBAAsB,CAAC,EAAE,sBAAsB,CAAA;IAC/C;;;;;;;OAOG;IACH,+BAA+B,CAAC,EAAE,sBAAsB,CAAA;IACxD,iEAAiE;IACjE,cAAc,CAAC,EAAE,sBAAsB,CAAA;IACvC;;;;;;;;;;;;;OAaG;IACH,2BAA2B,CAAC,EAAE,sBAAsB,CAAA;IACpD;;;;;;;;;;;;;;;;OAgBG;IACH,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC/B;;;;;;OAMG;IACH,qBAAqB,CAAC,EAAE,qBAAqB,CAAA;IAC7C;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IACxD;;;;;;;;OAQG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,CAAA;IAC3C;;;;;OAKG;IACH,wBAAwB,CAAC,EAAE,2BAA2B,CAAA;IACtD;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IAClC,6GAA6G;IAC7G,gBAAgB,EAAE,OAAO,CAAA;IACzB,8GAA8G;IAC9G,uBAAuB,EAAE,OAAO,CAAA;CACnC;AAED,mDAAmD;AACnD,MAAM,MAAM,gBAAgB,GACtB,UAAU,GACV,SAAS,GACT,WAAW,GACX,YAAY,CAAA;AAElB,+DAA+D;AAC/D,MAAM,WAAW,mBAAmB;IAChC,gEAAgE;IAChE,YAAY,EAAE,MAAM,CAAA;IACpB,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAA;IACjB;;;OAGG;IACH,eAAe,EAAE,MAAM,EAAE,CAAA;CAC5B;AAED,MAAM,WAAW,uBAAuB;IACpC,8CAA8C;IAC9C,KAAK,EAAE,sBAAsB,CAAA;IAC7B;;;;;OAKG;IACH,MAAM,EAAE,gBAAgB,CAAA;IACxB,wEAAwE;IACxE,SAAS,CAAC,EAAE,mBAAmB,CAAA;IAC/B;;;;;;;OAOG;IACH,WAAW,CAAC,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,kDAAkD;AAClD,MAAM,WAAW,uBAAuB;IACpC;;;OAGG;IACH,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACxC;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC5C;AAED,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAC3C,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,qEAAqE;IACrE,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAC1C,6DAA6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjC;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACtC;AAED,MAAM,WAAW,mBAAmB;IAChC,mEAAmE;IACnE,UAAU,EAAE,uBAAuB,CAAA;IACnC,2DAA2D;IAC3D,MAAM,EAAE,6BAA6B,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACrC,oEAAoE;IACpE,EAAE,EAAE,OAAO,CAAA;IACX,6CAA6C;IAC7C,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,iFAAiF;IACjF,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC7B,2EAA2E;IAC3E,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,wDAAwD;IACxD,wBAAwB,CAAC,EAAE,MAAM,CAAA;IACjC,qEAAqE;IACrE,eAAe,CAAC,EAAE,mBAAmB,EAAE,CAAA;IACvC,6DAA6D;IAC7D,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}

package/dist/lib/utils/derivation-validation.d.ts CHANGED Viewed

@@ -4,14 +4,17 @@ import type { TInvariantValidationResult } from "../types/validation.js";
  * Validate that a derivation premise's expression tree conforms to the
  * structural rules in the v0.11.0 spec:
  *
- *   - Root must be either a single variable expression for the derived
- *     claim's variable (naked form), or an `implies`/`iff` operator with
+ *   - Root must be either a single variable expression for a variable bound
+ *     to the derived claim (naked form), or an `implies`/`iff` operator with
  *     arity 2.
  *   - When the root is `implies`/`iff`:
  *       - position 0 (antecedent slot) is any valid expression tree.
- *       - position 1 (consequent slot) is exactly the variable expression
- *         for the derived claim's variable. No operator subtree, no other
- *         variable, no formula wrapper.
+ *       - position 1 (consequent slot) is exactly a variable expression for
+ *         a variable bound to the derived claim. No operator subtree, no
+ *         variable bound elsewhere, no formula wrapper.
+ *
+ * A claim may bind more than one variable, and each of them stands for that
+ * claim — so any of them satisfies the consequent slot.
  *
  * Returns a `TInvariantValidationResult` with one violation per detected
  * rule break, all using `DERIVATION_STRUCTURE_INVALID` (the message

package/dist/lib/utils/derivation-validation.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"derivation-validation.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/derivation-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,sBAAsB,EACtB,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,8BAA8B,CAAA;AAErC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAGxE~~;;;;;;;;;;;;;;;;;;;GAmBG~~;AACH,wBAAgB,2BAA2B,CACvC,OAAO,EAAE,sBAAsB,EAC/B,WAAW,EAAE,4BAA4B,EAAE,EAC3C,SAAS,EAAE,0BAA0B,EAAE,GACxC,0BAA0B,~~CAoG5B~~"}
1	+ {"version":3,"file":"derivation-validation.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/derivation-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,sBAAsB,EACtB,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,8BAA8B,CAAA;AAErC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAGxE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,2BAA2B,CACvC,OAAO,EAAE,sBAAsB,EAC/B,WAAW,EAAE,4BAA4B,EAAE,EAC3C,SAAS,EAAE,0BAA0B,EAAE,GACxC,0BAA0B,CA4G5B"}