@proposit/proposit-core 0.11.2 → 0.12.0

package/dist/lib/core/managed-derivation-premise-engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"managed-derivation-premise-engine.js","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EASN,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAA+B,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EACH,iBAAiB,GAEpB,MAAM,sBAAsB,CAAA;AAU7B,OAAO,EAAuB,MAAM,qBAAqB,CAAA;AACzD,OAAO,EACH,wBAAwB,EACxB,4BAA4B,EAC5B,4BAA4B,EAC5B,gCAAgC,EAChC,+BAA+B,GAClC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAA;AAS/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,8BAKX,SAAQ,aAA0C;IAChD;;;;;;OAMG;IACK,YAAY,CAAc;IAElC,YACI,OAAoC,EACpC,IAIC,EACD,MAA4B;QAE5B,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC5B,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAC3D,6DAA6D;QAC7D,uEAAuE;QACvE,qEAAqE;QACrE,iCAAiC;QACjC,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CAOf,QAAiD,EACjD,QAAiC,EACjC,SAAgC,EAChC,eAAqC,EACrC,aAA8B,EAC9B,UAAyB;QAEzB,oDAAoD;QACpD,MAAM,WAAW,GAAI,QAAQ,CAAC,OAAwB,CAAC,IAAI,CAAA;QAC3D,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,WAAW,IAAI;oBACvI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;iBAChC;aACJ,CAAC,CAAA;QACN,CAAC;QAED,uEAAuE;QACvE,2DAA2D;QAC3D,MAAM,EAAE,GAAG,aAAa,CAAC,YAAY,CACjC,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,eAAe,EACf,aAAa,EACb,UAAU,CACb,CAAA;QAED,iDAAiD;QACjD,sEAAsE;QACtE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,EAKd,CAAA;QAED,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,CAAC,YAAY,GAAG,UAAU,IAAI,iBAAiB,CAAA;QAErD,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,CAAC,gBAAgB,EAAE,CAAA;QAEzB,OAAO,MAAM,CAAA;IACjB,CAAC;IAED;;;OAGG;IACO,oBAAoB;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAuB,CAAA;QAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,OAAO,CAAC,IAAI,IAAI;oBACxI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;iBACvB;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;;OAIG;IACO,gBAAgB;QACtB,MAAM,MAAM,GAAG,2BAA2B,CACtC,IAAI,CAAC,OAAiC,EACtC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAC1B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,oEAAoE;YACpE,mEAAmE;YACnE,mEAAmE;YACnE,kBAAkB;YAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3C,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,qEAAqE;IACrE,4EAA4E;IAE5D,aAAa,CACzB,UAAmC;QAEnC,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,QAAuB,EACvB,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAC3D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,qBAAqB,CACjC,SAAiB,EACjB,gBAAoC,EACpC,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,qBAAqB,CACtC,SAAS,EACT,gBAAgB,EAChB,UAAU,CACb,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,OAA0B;QAE1B,IAAI,CAAC,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QACtD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,aAAsB;QAEtB,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAA;QAClE,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,UAAmC,EACnC,UAAmB,EACnB,WAAoB;QAEpB,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CACjC,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,QAA2C,EAC3C,UAA6C,EAC7C,UAAmB,EACnB,WAAoB;QAEpB,8EAA8E;QAC9E,8EAA8E;QAC9E,IAAI,CAAC,6BAA6B,CAAC,CAAC,UAAU,IAAI,WAAW,CAAE,CAAC,CAAA;QAChE,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAAqC,EACrC,aAAsB,EACtB,aAAsB,EACtB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,YAAY,EACZ,WAAW,EACX,aAAa,EACb,aAAa,EACb,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,oBAAoB;QAOhC,MAAM,MAAM,GAAG,KAAK,CAAC,oBAAoB,EAAE,CAAA;QAC3C,uEAAuE;QACvE,8DAA8D;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,eAAe,CAC3B,WAAsC;QAEtC,mEAAmE;QACnE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,gBAAgB,GAAG,2BAA2B,CAChD,OAAO;QACP,2EAA2E;QAC3E,yEAAyE;QACzE,gDAAgD;QAChD,WAAwD,EACxD,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrD,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;QACD,KAAK,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;IACtC,CAAC;IAED,4EAA4E;IAC5E,0BAA0B;IAC1B,4EAA4E;IAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACI,qBAAqB,CACxB,WAAiC,EACjC,cAAqC;QAErC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,CAAA;QAE7C,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACnD,IACI,IAAI;gBACJ,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;gBACC,sEAAsE;gBACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;qBAC5B,mBAAmB,CAAC,MAAM,CAAC;qBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBAC9B,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,IAAI,uBAAuB,CAAC;wBAC9B;4BACI,IAAI,EAAE,+BAA+B;4BACrC,OAAO,EAAE,GAAG,+BAA+B,yDAAyD;4BACpG,UAAU,EAAE,SAAS;4BACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;4BACpB,SAAS,EAAE,OAAO,CAAC,EAAE;yBACxB;qBACJ,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,8CAA8C;QAC9C,MAAM,SAAS,GAAG,WAAW,CAAC,0BAA0B,CAAC,cAAc,CAAC,CAAA;QACxE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAElC,+DAA+D;QAC/D,yEAAyE;QACzE,uEAAuE;QACvE,qEAAqE;QACrE,mEAAmE;QACnE,8EAA8E;QAC9E,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,cAAc,CAAC,wBAAwB,CAAC,CAAC,CAAC,aAAa,CAAC,CAC3D,CAAA;QACD,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAqB,CAAC,CAAA;YACrD,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,uEAAuE;QACvE,kEAAkE;QAClE,MAAM,KAAK,GAAI,IAAI,CAAC,OAAwB,CAAC,UAAU,CAAA;QACvD,MAAM,UAAU,GAAI,IAAI,CAAC,OAAwB,CAAC,eAAe,CAAA;QACjE,MAAM,SAAS,GAAI,IAAI,CAAC,OAAwB,CAAC,EAAE,CAAA;QAEnD,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAE1C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,qEAAqE;YACrE,iEAAiE;YACjE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACpC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,QAAQ;gBACZ,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;aACC,CAAA;YACtC,sEAAsE;YACtE,0CAA0C;YAC1C,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;QACtE,CAAC;aAAM,CAAC;YACJ,oEAAoE;YACpE,kEAAkE;YAClE,mEAAmE;YACnE,mEAAmE;YACnE,4CAA4C;YAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YAChC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,IAAI,GAAG;gBACT,EAAE,EAAE,IAAI;gBACR,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,IAAa;aACW,CAAA;YACtC,iFAAiF;YACjF,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;YAC7D,2DAA2D;YAC3D,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;gBACrC,MAAM,UAAU,GAAG;oBACf,EAAE,EAAE,SAAS;oBACb,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,UAAU;oBAC3B,SAAS;oBACT,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,UAAmB;oBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;iBACU,CAAA;gBACtC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QAED,6CAA6C;QAC7C,IAAI,CAAC,gBAAgB,EAAE,CAAA;IAC3B,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;;;;OAOG;IACK,yBAAyB;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,uCAAuC;YACvC,OAAO,MAAM,CAAA;QACjB,CAAC;QACD,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,uEAAuE;YACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;iBAC5B,mBAAmB,CAAC,MAAM,CAAC;iBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC5C,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;QAC1B,CAAC;QACD,OAAO,SAAS,CAAA;IACpB,CAAC;IAED;;;;;;;;;;OAUG;IACK,uBAAuB,CAAC,UAAmC;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAM;QACV,CAAC;QACD,yEAAyE;QACzE,yDAAyD;QACzD,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACjC,0DAA0D;YAC1D,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YACnE,IACI,cAAc;gBACd,UAAU,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,EAChD,CAAC;gBACC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,GAAG,4BAA4B,gFAAgF;wBACxH,UAAU,EAAE,YAAY;wBACxB,QAAQ,EAAE,UAAU,CAAC,EAAE;wBACvB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;qBAC/C;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CAAC,MAAc;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,6EAA6E;oBACrH,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,0BAA0B,CAC9B,MAAc,EACd,OAA0B;QAE1B,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,OAAM;QACV,CAAC;QACD,IACI,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,OAAO,CAAC,QAAQ,KAAK,SAAS,EAChC,CAAC;YACC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,+FAA+F;oBACvI,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CACjC,MAAc,EACd,WAAqC;QAErC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5C,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YACrD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,GAAG,gCAAgC,8DAA8D,IAAI,CAAC,QAAQ,SAAS,WAAW,0CAA0C;oBACrL,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;CACJ"}
+{"version":3,"file":"managed-derivation-premise-engine.js","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EASN,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAA+B,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EACH,iBAAiB,GAEpB,MAAM,sBAAsB,CAAA;AAU7B,OAAO,EAAuB,MAAM,qBAAqB,CAAA;AACzD,OAAO,EACH,wBAAwB,EACxB,4BAA4B,EAC5B,4BAA4B,EAC5B,gCAAgC,EAChC,+BAA+B,GAClC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAA;AAU/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,8BAKX,SAAQ,aAA0C;IAChD;;;;;;OAMG;IACK,YAAY,CAAc;IAElC,YACI,OAAoC,EACpC,IAIC,EACD,MAA4B;QAE5B,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC5B,IAAI,CAAC,YAAY,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAC3D,6DAA6D;QAC7D,uEAAuE;QACvE,qEAAqE;QACrE,iCAAiC;QACjC,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CAOf,QAAiD,EACjD,QAAiC,EACjC,SAAgC,EAChC,eAAqC,EACrC,aAA8B,EAC9B,UAAyB;QAEzB,oDAAoD;QACpD,MAAM,WAAW,GAAI,QAAQ,CAAC,OAAwB,CAAC,IAAI,CAAA;QAC3D,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,WAAW,IAAI;oBACvI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;iBAChC;aACJ,CAAC,CAAA;QACN,CAAC;QAED,uEAAuE;QACvE,2DAA2D;QAC3D,MAAM,EAAE,GAAG,aAAa,CAAC,YAAY,CACjC,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,eAAe,EACf,aAAa,EACb,UAAU,CACb,CAAA;QAED,iDAAiD;QACjD,sEAAsE;QACtE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,EAKd,CAAA;QAED,sEAAsE;QACtE,oDAAoD;QACpD,MAAM,CAAC,YAAY,GAAG,UAAU,IAAI,iBAAiB,CAAA;QAErD,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,CAAC,gBAAgB,EAAE,CAAA;QAEzB,OAAO,MAAM,CAAA;IACjB,CAAC;IAED;;;OAGG;IACO,oBAAoB;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAuB,CAAA;QAC5C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,wBAAwB,oFAAoF,OAAO,CAAC,IAAI,IAAI;oBACxI,UAAU,EAAE,SAAS;oBACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;iBACvB;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;;OAIG;IACO,gBAAgB;QACtB,MAAM,MAAM,GAAG,2BAA2B,CACtC,IAAI,CAAC,OAAiC,EACtC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAC1B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,oEAAoE;YACpE,mEAAmE;YACnE,mEAAmE;YACnE,kBAAkB;YAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3C,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,qEAAqE;IACrE,4EAA4E;IAE5D,aAAa,CACzB,UAAmC;QAEnC,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,QAAuB,EACvB,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QAC3D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,qBAAqB,CACjC,SAAiB,EACjB,gBAAoC,EACpC,UAA6C;QAE7C,MAAM,MAAM,GAAG,KAAK,CAAC,qBAAqB,CACtC,SAAS,EACT,gBAAgB,EAChB,UAAU,CACb,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,OAA0B;QAE1B,IAAI,CAAC,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QACtD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,YAAoB,EACpB,aAAsB;QAEtB,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAA;QAClE,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,gBAAgB,CAC5B,UAAmC,EACnC,UAAmB,EACnB,WAAoB;QAEpB,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CACjC,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,CAAC,CAAA;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,QAA2C,EAC3C,UAA6C,EAC7C,UAAmB,EACnB,WAAoB;QAEpB,8EAA8E;QAC9E,8EAA8E;QAC9E,IAAI,CAAC,6BAA6B,CAAC,CAAC,UAAU,IAAI,WAAW,CAAE,CAAC,CAAA;QAChE,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,cAAc,CAC1B,YAAoB,EACpB,WAAqC,EACrC,aAAsB,EACtB,aAAsB,EACtB,WAA4B;QAE5B,IAAI,CAAC,6BAA6B,CAAC,YAAY,EAAE,WAAW,CAAC,CAAA;QAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc,CAC/B,YAAY,EACZ,WAAW,EACX,aAAa,EACb,aAAa,EACb,WAAW,CACd,CAAA;QACD,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,oBAAoB;QAOhC,MAAM,MAAM,GAAG,KAAK,CAAC,oBAAoB,EAAE,CAAA;QAC3C,uEAAuE;QACvE,8DAA8D;QAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACvB,OAAO,MAAM,CAAA;IACjB,CAAC;IAEe,eAAe,CAC3B,WAAsC;QAEtC,mEAAmE;QACnE,sEAAsE;QACtE,sDAAsD;QACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,gBAAgB,GAAG,2BAA2B,CAChD,OAAO;QACP,2EAA2E;QAC3E,yEAAyE;QACzE,gDAAgD;QAChD,WAAwD,EACxD,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAC3B,CAAA;QACD,IAAI,gBAAgB,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrD,GAAG,CAAC;gBACJ,OAAO,EAAE,GAAG,4BAA4B,KAAK,CAAC,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC,CAAA;YACH,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAA;QAC/C,CAAC;QACD,KAAK,CAAC,eAAe,CAAC,WAAW,CAAC,CAAA;IACtC,CAAC;IAED,4EAA4E;IAC5E,0BAA0B;IAC1B,4EAA4E;IAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACI,oBAAoB,CACvB,WAAiC,EACjC,QAA2B,EAC3B,cAAqC;QAErC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiC,CAAA;QACtD,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,CAAA;QAE7C,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;YACnD,IACI,IAAI;gBACJ,IAAI,CAAC,IAAI,KAAK,UAAU;gBACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;gBACC,sEAAsE;gBACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;qBAC5B,mBAAmB,CAAC,MAAM,CAAC;qBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;gBAC9B,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,IAAI,uBAAuB,CAAC;wBAC9B;4BACI,IAAI,EAAE,+BAA+B;4BACrC,OAAO,EAAE,GAAG,+BAA+B,yDAAyD;4BACpG,UAAU,EAAE,SAAS;4BACrB,QAAQ,EAAE,OAAO,CAAC,EAAE;4BACpB,SAAS,EAAE,OAAO,CAAC,EAAE;yBACxB;qBACJ,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAED,mEAAmE;QACnE,gEAAgE;QAChE,MAAM,mBAAmB,GACrB,WAAW,CAAC,sBAAsB,CAAC,cAAc,CAAC,CAAA;QACtD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,sBAAsB,CAAC,cAAc,CAAC,CAAA;QACxE,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAA;QACvE,IAAI,UAAU,KAAK,CAAC;YAAE,OAAM;QAE5B,yDAAyD;QACzD,yEAAyE;QACzE,uEAAuE;QACvE,qEAAqE;QACrE,mEAAmE;QACnE,8EAA8E;QAC9E,MAAM,mBAAmB,GAA0B,EAAE,CAAA;QACrD,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACrC,mBAAmB,CAAC,IAAI,CACpB,cAAc,CAAC,wBAAwB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAClE,CAAA;QACL,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YAClC,mBAAmB,CAAC,IAAI,CACpB,cAAc,CAAC,wBAAwB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAClE,CAAA;QACL,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAqB,CAAC,CAAA;YACrD,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,IAAI,CAAC,sCAAsC,CAAC,mBAAmB,CAAC,CAAA;QAEhE,6CAA6C;QAC7C,IAAI,CAAC,gBAAgB,EAAE,CAAA;IAC3B,CAAC;IAED;;;;;;;;;;;OAWG;IACK,sCAAsC,CAC1C,cAAqC;QAErC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAEvC,MAAM,KAAK,GAAI,IAAI,CAAC,OAAwB,CAAC,UAAU,CAAA;QACvD,MAAM,UAAU,GAAI,IAAI,CAAC,OAAwB,CAAC,eAAe,CAAA;QACjE,MAAM,SAAS,GAAI,IAAI,CAAC,OAAwB,CAAC,EAAE,CAAA;QAEnD,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAiB,CAAA;QAE1C,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,qEAAqE;YACrE,iEAAiE;YACjE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACpC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,QAAQ;gBACZ,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE;aACE,CAAA;YACtC,sEAAsE;YACtE,0CAA0C;YAC1C,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;QACtE,CAAC;aAAM,CAAC;YACJ,oEAAoE;YACpE,kEAAkE;YAClE,mEAAmE;YACnE,mEAAmE;YACnE,gDAAgD;YAChD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YAChC,MAAM,SAAS,GAAG;gBACd,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,SAAkB;aACM,CAAA;YACtC,MAAM,IAAI,GAAG;gBACT,EAAE,EAAE,IAAI;gBACR,UAAU,EAAE,KAAK;gBACjB,eAAe,EAAE,UAAU;gBAC3B,SAAS;gBACT,QAAQ,EAAE,IAAI,EAAE,8CAA8C;gBAC9D,IAAI,EAAE,UAAmB;gBACzB,QAAQ,EAAE,IAAa;aACW,CAAA;YACtC,iFAAiF;YACjF,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;YAC7D,+DAA+D;YAC/D,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;gBACrC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;gBACrC,MAAM,UAAU,GAAG;oBACf,EAAE,EAAE,SAAS;oBACb,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,UAAU;oBAC3B,SAAS;oBACT,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,UAAmB;oBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;iBACU,CAAA;gBACtC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;;;;OAOG;IACK,yBAAyB;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,OAAO,SAAS,CAAA;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,uCAAuC;YACvC,OAAO,MAAM,CAAA;QACjB,CAAC;QACD,IACI,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,uEAAuE;YACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;iBAC5B,mBAAmB,CAAC,MAAM,CAAC;iBAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC5C,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;QAC1B,CAAC;QACD,OAAO,SAAS,CAAA;IACpB,CAAC;IAED;;;;;;;;;;OAUG;IACK,uBAAuB,CAAC,UAAmC;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,+DAA+D;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAM;QACV,CAAC;QACD,yEAAyE;QACzE,yDAAyD;QACzD,IAAI,UAAU,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACjC,0DAA0D;YAC1D,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;YACnE,IACI,cAAc;gBACd,UAAU,CAAC,QAAQ,IAAI,cAAc,CAAC,QAAQ,EAChD,CAAC;gBACC,MAAM,IAAI,uBAAuB,CAAC;oBAC9B;wBACI,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,GAAG,4BAA4B,gFAAgF;wBACxH,UAAU,EAAE,YAAY;wBACxB,QAAQ,EAAE,UAAU,CAAC,EAAE;wBACvB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;qBAC/C;iBACJ,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CAAC,MAAc;QAChD,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,6EAA6E;oBACrH,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,0BAA0B,CAC9B,MAAc,EACd,OAA0B;QAE1B,MAAM,YAAY,GAAG,IAAI,CAAC,yBAAyB,EAAE,CAAA;QACrD,IAAI,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;YACxD,OAAM;QACV,CAAC;QACD,IACI,OAAO,CAAC,UAAU,KAAK,SAAS;YAChC,OAAO,CAAC,QAAQ,KAAK,SAAS,EAChC,CAAC;YACC,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,GAAG,4BAA4B,+FAA+F;oBACvI,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,6BAA6B,CACjC,MAAc,EACd,WAAqC;QAErC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5C,OAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QACnD,IACI,CAAC,IAAI;YACL,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,EAC1D,CAAC;YACC,OAAM;QACV,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YACrD,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,GAAG,gCAAgC,8DAA8D,IAAI,CAAC,QAAQ,SAAS,WAAW,0CAA0C;oBACrL,UAAU,EAAE,YAAY;oBACxB,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAG,IAAI,CAAC,OAAwB,CAAC,EAAE;iBAC/C;aACJ,CAAC,CAAA;QACN,CAAC;IACL,CAAC;CACJ"}

package/dist/lib/core/proposit-core.d.ts

@@ -1,4 +1,4 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaimAxiom } from "../schemata/index.js";
 import type { TCoreClaim } from "../schemata/claim.js";
 import type { TCoreClaimCitation } from "../schemata/claim-citation.js";
 import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../schemata/fork.js";
@@ -8,6 +8,7 @@ import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
 import type { TCoreArgumentDiff, TCoreDiffOptions } from "../types/diff.js";
 import { ClaimLibrary } from "./claim-library.js";
 import { ClaimCitationLibrary } from "./claim-citation-library.js";
+import { ClaimAxiomLibrary } from "./claim-axiom-library.js";
 import { ArgumentLibrary } from "./argument-library.js";
 import { ArgumentEngine } from "./argument-engine.js";
 import { ForkLibrary } from "./fork-library.js";
@@ -17,15 +18,17 @@ import { ForkLibrary } from "./fork-library.js";
  * library instance is provided, it is used directly; otherwise a new one
  * is constructed using the shared config.
  */
-export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = TPropositCoreConfig & {
+export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = TPropositCoreConfig & {
     /** Pre-constructed claim library instance. */
     claimLibrary?: ClaimLibrary<TClaim>;
     /** Pre-constructed claim-citation library instance. */
     claimCitationLibrary?: ClaimCitationLibrary<TCitation>;
+    /** Pre-constructed claim-axiom library instance. */
+    claimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>;
     /** Pre-constructed fork library instance. */
     forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
     /** Pre-constructed argument library instance. */
-    argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim, TCitation>;
+    argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>;
 };
 /**
  * Top-level orchestrator for the proposit-core system. Owns all four
@@ -33,34 +36,36 @@ export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPr
  * unified snapshot/restore and validation.
  *
  * Construction order follows dependency order:
- * claims -> claimCitations -> forks -> arguments.
+ * claims -> citations -> axioms -> forks -> arguments.
  *
  * As of v0.10.0 the legacy `sources` and `claimSources` libraries have been
- * folded into `claims` and `claimCitations` respectively — sources are now
- * claims with `type: "citation"`.
+ * folded into `claims` and `citations` respectively — sources are now
+ * claims with `type: "citation"`. As of v0.12.0 a parallel `axioms` library
+ * holds axiomatic-claim connections (a third claim type `"axiomatic"`).
  */
-export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> {
+export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> {
     readonly claims: ClaimLibrary<TClaim>;
-    readonly claimCitations: ClaimCitationLibrary<TCitation>;
+    readonly citations: ClaimCitationLibrary<TCitation>;
+    readonly axioms: ClaimAxiomLibrary<TAxiom>;
     readonly forks: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
-    readonly arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim, TCitation>;
+    readonly arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>;
     protected generateId: () => string;
-    constructor(options?: TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>);
+    constructor(options?: TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>);
     /**
      * Returns a serializable snapshot of the entire PropositCore state,
      * including all libraries.
      */
-    snapshot(): TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
+    snapshot(): TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
     /**
      * Restores a `PropositCore` instance from a snapshot. Libraries are
-     * restored in dependency order: claims -> claimCitations -> forks ->
+     * restored in dependency order: claims -> citations -> axioms -> forks ->
      * arguments.
      *
      * @param snapshot - The serialized PropositCore snapshot.
      * @param config - Optional shared configuration for the restored instance.
      * @returns A fully restored `PropositCore` instance.
      */
-    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
+    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
     /**
      * Runs invariant validation across all managed libraries and merges
      * the results.
@@ -87,7 +92,7 @@ export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TP
         variableForkExtras?: Partial<Omit<TVarFork, keyof TCoreVariableForkRecord>>;
         claimForkExtras?: Partial<Omit<TClaimFork, keyof TCoreClaimForkRecord>>;
     }): {
-        engine: ArgumentEngine<TArg, TPremise, TExpr, TVar>;
+        engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
         remapTable: TForkRemapTable;
         claimRemap: Map<string, string>;
         argumentFork: TArgFork;

package/dist/lib/core/proposit-core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AACvE,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAI/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAC7B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,CACZ,CAAA;CACJ,CAAA;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,cAAc,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC/D,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,CACZ,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA0CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IASD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAmED;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAU7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QAEC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACnD,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IAwPD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}
+{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC1B,eAAe,EAClB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AACvE,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IA+QD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}

package/dist/lib/core/proposit-core.js

@@ -1,26 +1,31 @@
+import { LEGACY_CLAIM_CITATION_SHAPE, LEGACY_MISSING_AXIOM_SLOT, } from "../types/validation.js";
 import { isClaimBound } from "../schemata/propositional.js";
 import { ClaimLibrary } from "./claim-library.js";
 import { ClaimCitationLibrary } from "./claim-citation-library.js";
+import { ClaimAxiomLibrary } from "./claim-axiom-library.js";
 import { ArgumentLibrary } from "./argument-library.js";
 import { ArgumentEngine, defaultGenerateId } from "./argument-engine.js";
 import { ForkLibrary } from "./fork-library.js";
 import { forkArgumentEngine } from "./fork.js";
 import { diffArguments as standaloneDiffArguments } from "./diff.js";
+import { InvariantViolationError } from "./invariant-violation-error.js";
 /**
  * Top-level orchestrator for the proposit-core system. Owns all four
  * libraries (claims, claim citations, forks, arguments) and provides
  * unified snapshot/restore and validation.
  *
  * Construction order follows dependency order:
- * claims -> claimCitations -> forks -> arguments.
+ * claims -> citations -> axioms -> forks -> arguments.
  *
  * As of v0.10.0 the legacy `sources` and `claimSources` libraries have been
- * folded into `claims` and `claimCitations` respectively — sources are now
- * claims with `type: "citation"`.
+ * folded into `claims` and `citations` respectively — sources are now
+ * claims with `type: "citation"`. As of v0.12.0 a parallel `axioms` library
+ * holds axiomatic-claim connections (a third claim type `"axiomatic"`).
  */
 export class PropositCore {
     claims;
-    claimCitations;
+    citations;
+    axioms;
     forks;
     arguments;
     generateId;
@@ -29,12 +34,15 @@ export class PropositCore {
         const checksumOpts = options?.checksumConfig
             ? { checksumConfig: options.checksumConfig }
             : undefined;
-        // Dependency order: claims -> claimCitations -> forks -> arguments
+        // Dependency order: claims -> citations/axioms -> forks -> arguments
         this.claims =
             options?.claimLibrary ?? new ClaimLibrary(checksumOpts);
-        this.claimCitations =
+        this.citations =
             options?.claimCitationLibrary ??
                 new ClaimCitationLibrary(this.claims, checksumOpts);
+        this.axioms =
+            options?.claimAxiomLibrary ??
+                new ClaimAxiomLibrary(this.claims, checksumOpts);
         this.forks =
             options?.forkLibrary ??
                 new ForkLibrary();
@@ -42,7 +50,6 @@ export class PropositCore {
             options?.argumentLibrary ??
                 new ArgumentLibrary({
                     claimLibrary: this.claims,
-                    claimCitationLibrary: this.claimCitations,
                 }, {
                     checksumConfig: options?.checksumConfig,
                     positionConfig: options?.positionConfig,
@@ -58,13 +65,14 @@ export class PropositCore {
         return {
             arguments: this.arguments.snapshot(),
             claims: this.claims.snapshot(),
-            claimCitations: this.claimCitations.snapshot(),
+            citations: this.citations.snapshot(),
+            axioms: this.axioms.snapshot(),
             forks: this.forks.snapshot(),
         };
     }
     /**
      * Restores a `PropositCore` instance from a snapshot. Libraries are
-     * restored in dependency order: claims -> claimCitations -> forks ->
+     * restored in dependency order: claims -> citations -> axioms -> forks ->
      * arguments.
      *
      * @param snapshot - The serialized PropositCore snapshot.
@@ -72,16 +80,41 @@ export class PropositCore {
      * @returns A fully restored `PropositCore` instance.
      */
     static fromSnapshot(snapshot, config) {
+        // Pre-typecheck on raw shape. PropositCore.fromSnapshot is called with an
+        // `unknown`-typed payload in real callers; the typed signature does not
+        // prevent legacy data from sneaking in. Run structural checks before any
+        // typed coercion.
+        const raw = snapshot;
+        if ("claimCitations" in raw) {
+            throw new InvariantViolationError([
+                {
+                    code: LEGACY_CLAIM_CITATION_SHAPE,
+                    message: `${LEGACY_CLAIM_CITATION_SHAPE}: PropositCore snapshot uses pre-v0.12 slot 'claimCitations'. Run the v0.12 CLI migration.`,
+                    entityType: "citation",
+                    entityId: "<snapshot>",
+                },
+            ]);
+        }
+        if (!("axioms" in raw)) {
+            throw new InvariantViolationError([
+                {
+                    code: LEGACY_MISSING_AXIOM_SLOT,
+                    message: `${LEGACY_MISSING_AXIOM_SLOT}: PropositCore snapshot is missing the 'axioms' slot. Run the v0.12 CLI migration to add it.`,
+                    entityType: "axiom",
+                    entityId: "<snapshot>",
+                },
+            ]);
+        }
         const checksumOpts = config?.checksumConfig
             ? { checksumConfig: config.checksumConfig }
             : undefined;
-        // Dependency order: claims -> claimCitations -> forks -> arguments
+        // Dependency order: claims -> citations/axioms -> forks -> arguments
         const claims = ClaimLibrary.fromSnapshot(snapshot.claims, checksumOpts);
-        const claimCitations = ClaimCitationLibrary.fromSnapshot(snapshot.claimCitations, claims, checksumOpts);
+        const citations = ClaimCitationLibrary.fromSnapshot(snapshot.citations, claims, checksumOpts);
+        const axioms = ClaimAxiomLibrary.fromSnapshot(snapshot.axioms, claims, checksumOpts);
         const forks = ForkLibrary.fromSnapshot(snapshot.forks);
         const restoredArguments = ArgumentLibrary.fromSnapshot(snapshot.arguments, {
             claimLibrary: claims,
-            claimCitationLibrary: claimCitations,
         }, {
             checksumConfig: config?.checksumConfig,
             positionConfig: config?.positionConfig,
@@ -90,7 +123,8 @@ export class PropositCore {
         });
         const core = new PropositCore({
             claimLibrary: claims,
-            claimCitationLibrary: claimCitations,
+            claimCitationLibrary: citations,
+            claimAxiomLibrary: axioms,
             forkLibrary: forks,
             argumentLibrary: restoredArguments,
         });
@@ -106,7 +140,8 @@ export class PropositCore {
     validate() {
         const violations = [
             ...this.claims.validate().violations,
-            ...this.claimCitations.validate().violations,
+            ...this.citations.validate().violations,
+            ...this.axioms.validate().violations,
             ...this.forks.validate().violations,
             ...this.arguments.validate().violations,
         ];
@@ -157,21 +192,31 @@ export class PropositCore {
                 uniqueClaimIds.add(v.claimId);
             }
         }
-        // DFS through the citation graph from the seed set, accumulating
-        // every reachable claim along outgoing citation edges. Both ends of
-        // any citation we plan to clone must themselves be cloned.
+        // DFS through both the citation and axiom graphs from the seed set,
+        // accumulating every reachable claim along outgoing supporting-side
+        // edges. Both ends of any connection we plan to clone must themselves
+        // be cloned.
         const citationsToClone = [];
-        // Invariant: every push to citationFrontier is gated by !uniqueClaimIds.has(...),
+        const axiomsToClone = [];
+        // Invariant: every push to connectionFrontier is gated by !uniqueClaimIds.has(...),
         // so each claim id is processed at most once. No separate visited set needed.
-        const citationFrontier = Array.from(uniqueClaimIds);
-        while (citationFrontier.length > 0) {
-            const currentId = citationFrontier.pop();
-            const outgoing = this.claimCitations.getCitationsForCitingClaim(currentId);
-            for (const citation of outgoing) {
+        const connectionFrontier = Array.from(uniqueClaimIds);
+        while (connectionFrontier.length > 0) {
+            const currentId = connectionFrontier.pop();
+            const outgoingCitations = this.citations.getConnectionsForClaim(currentId);
+            for (const citation of outgoingCitations) {
                 citationsToClone.push(citation);
-                if (!uniqueClaimIds.has(citation.sourceClaimId)) {
-                    uniqueClaimIds.add(citation.sourceClaimId);
-                    citationFrontier.push(citation.sourceClaimId);
+                if (!uniqueClaimIds.has(citation.supportingClaimId)) {
+                    uniqueClaimIds.add(citation.supportingClaimId);
+                    connectionFrontier.push(citation.supportingClaimId);
+                }
+            }
+            const outgoingAxioms = this.axioms.getConnectionsForClaim(currentId);
+            for (const axiom of outgoingAxioms) {
+                axiomsToClone.push(axiom);
+                if (!uniqueClaimIds.has(axiom.supportingClaimId)) {
+                    uniqueClaimIds.add(axiom.supportingClaimId);
+                    connectionFrontier.push(axiom.supportingClaimId);
                 }
             }
         }
@@ -192,23 +237,37 @@ export class PropositCore {
         }
         // Step 5: Clone citation edges between the cloned claims
         for (const citation of citationsToClone) {
-            const remappedCitingId = claimRemap.get(citation.citingClaimId);
-            const remappedSourceId = claimRemap.get(citation.sourceClaimId);
-            if (!remappedCitingId || !remappedSourceId)
+            const remappedClaimId = claimRemap.get(citation.claimId);
+            const remappedSupportingId = claimRemap.get(citation.supportingClaimId);
+            if (!remappedClaimId || !remappedSupportingId)
                 continue;
-            this.claimCitations.add({
+            this.citations.add({
                 ...citation,
                 id: this.generateId(),
-                citingClaimId: remappedCitingId,
-                citingClaimVersion: 0,
-                sourceClaimId: remappedSourceId,
-                sourceClaimVersion: 0,
+                claimId: remappedClaimId,
+                claimVersion: 0,
+                supportingClaimId: remappedSupportingId,
+                supportingClaimVersion: 0,
+            });
+        }
+        // Step 5b: Clone axiom edges between the cloned claims
+        for (const axiom of axiomsToClone) {
+            const remappedClaimId = claimRemap.get(axiom.claimId);
+            const remappedSupportingId = claimRemap.get(axiom.supportingClaimId);
+            if (!remappedClaimId || !remappedSupportingId)
+                continue;
+            this.axioms.add({
+                ...axiom,
+                id: this.generateId(),
+                claimId: remappedClaimId,
+                claimVersion: 0,
+                supportingClaimId: remappedSupportingId,
+                supportingClaimVersion: 0,
             });
         }
         // Step 6: Fork engine
         const { engine: forkedEngine, remapTable } = forkArgumentEngine(engine, resolvedNewArgumentId, {
             claimLibrary: this.claims,
-            claimCitationLibrary: this.claimCitations,
         }, {
             ...options,
             generateId: options?.generateId ?? this.generateId,
@@ -242,10 +301,7 @@ export class PropositCore {
                 }
             }
         }
-        // TODO Phase 7: ArgumentEngine.fromSnapshot will take
-        // (snapshot, claimLibrary, claimCitationLibrary, ...) once its
-        // generics are reduced to drop TSource/TAssoc.
-        const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, this.claimCitations, snap.config?.grammarConfig, "ignore", this.generateId);
+        const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, snap.config?.grammarConfig, "ignore", this.generateId);
         // Step 8: Register engine
         this.arguments.register(finalEngine);
         // Step 9: Create fork records

package/dist/lib/core/proposit-core.js.map

@@ -1 +1 @@
-{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AA4CpE;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,YAAY;IAaL,MAAM,CAAsB;IAC5B,cAAc,CAAiC;IAC/C,KAAK,CAMpB;IACe,SAAS,CAOxB;IACS,UAAU,CAAc;IAElC,YACI,OAYC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,mEAAmE;QACnE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,cAAc;YACf,OAAO,EAAE,oBAAoB;gBAC7B,IAAI,oBAAoB,CAAY,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAElE,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAMZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CACf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;oBACzB,oBAAoB,EAAE,IAAI,CAAC,cAAc;iBAC5C,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,aAAa,EAAE,OAAO,EAAE,aAAa;oBACrC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAaX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE;YAC9C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CActB,QAYC,EACD,MAA4B;QAc5B,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,mEAAmE;QACnE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,cAAc,GAAG,oBAAoB,CAAC,YAAY,CACpD,QAAQ,CAAC,cAAc,EACvB,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAMpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CAQlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,cAAc;SACvC,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,aAAa,EAAE,MAAM,EAAE,aAAa;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAY3B;YACE,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,cAAc;YACpC,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,UAAU;YAC5C,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAiBC;QAQD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QAED,iEAAiE;QACjE,oEAAoE;QACpE,2DAA2D;QAC3D,MAAM,gBAAgB,GAAgB,EAAE,CAAA;QACxC,kFAAkF;QAClF,8EAA8E;QAC9E,MAAM,gBAAgB,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QAC7D,OAAO,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,EAAG,CAAA;YAEzC,MAAM,QAAQ,GACV,IAAI,CAAC,cAAc,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAA;YAC7D,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAC9B,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;oBAC9C,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAA;oBAC1C,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAA;gBACjD,CAAC;YACL,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,gBAAgB,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAA;YAC/D,MAAM,gBAAgB,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAA;YAC/D,IAAI,CAAC,gBAAgB,IAAI,CAAC,gBAAgB;gBAAE,SAAQ;YACpD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;gBACpB,GAAG,QAAQ;gBACX,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,aAAa,EAAE,gBAAgB;gBAC/B,kBAAkB,EAAE,CAAC;gBACrB,aAAa,EAAE,gBAAgB;gBAC/B,kBAAkB,EAAE,CAAC;aACO,CAAC,CAAA;QACrC,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAQ3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;YACzB,oBAAoB,EAAE,IAAI,CAAC,cAAc;SAC5C,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,8CAA8C;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAuB,CAAA;YAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,sBAAsB,GACxB,OACH,CAAC,cAAc,CAAA;gBAChB,MAAM,sBAAsB,GAAG,UAAU,CAAC,GAAG,CACzC,sBAAsB,CACzB,CAAA;gBACD,IAAI,sBAAsB,EAAE,CAAC;oBACzB,EAAE,CAAC,OAAO,GAAG;wBACT,GAAG,EAAE,CAAC,OAAO;wBACb,cAAc,EAAE,sBAAsB;qBACpB,CAAA;gBAC1B,CAAC;YACL,CAAC;QACL,CAAC;QAED,sDAAsD;QACtD,+DAA+D;QAC/D,+CAA+C;QAC/C,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAM3C,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,EACR,IAAI,CAAC,UAAU,CAClB,CAAA;QAED,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}
+{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAyBA,OAAO,EACH,2BAA2B,EAC3B,yBAAyB,GAC5B,MAAM,wBAAwB,CAAA;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAwCxE;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,YAAY;IAcL,MAAM,CAAsB;IAC5B,SAAS,CAAiC;IAC1C,MAAM,CAA2B;IACjC,KAAK,CAMpB;IACe,SAAS,CAMxB;IACS,UAAU,CAAc;IAElC,YACI,OAaC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,oBAAoB;gBAC7B,IAAI,oBAAoB,CAAY,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAElE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,iBAAiB;gBAC1B,IAAI,iBAAiB,CAAS,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAE5D,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAMZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CACf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;iBAC5B,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,aAAa,EAAE,OAAO,EAAE,aAAa;oBACrC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAcX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAetB,QAaC,EACD,MAA4B;QAe5B,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,4FAA4F;oBACnI,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,8FAA8F;oBACnI,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAC/C,QAAQ,CAAC,SAAS,EAClB,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CACzC,QAAQ,CAAC,MAAM,EACf,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAMpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CAOlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;SACvB,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,aAAa,EAAE,MAAM,EAAE,aAAa;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAa3B;YACE,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,SAAS;YAC/B,iBAAiB,EAAE,MAAM;YACzB,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAiBC;QAOD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,oEAAoE;QACpE,sEAAsE;QACtE,aAAa;QACb,MAAM,gBAAgB,GAAgB,EAAE,CAAA;QACxC,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,oFAAoF;QACpF,8EAA8E;QAC9E,MAAM,kBAAkB,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QAC/D,OAAO,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,EAAG,CAAA;YAE3C,MAAM,iBAAiB,GACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;oBAC9C,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;gBACvD,CAAC;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpE,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC/C,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;oBAC3C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACxD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CACvC,QAAQ,CAAC,iBAAiB,CAC7B,CAAA;YACD,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBACf,GAAG,QAAQ;gBACX,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACG,CAAC,CAAA;QACrC,CAAC;QAED,uDAAuD;QACvD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACrD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YACpE,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACZ,GAAG,KAAK;gBACR,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACA,CAAC,CAAA;QAClC,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAO3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;SAC5B,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,8CAA8C;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAuB,CAAA;YAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,sBAAsB,GACxB,OACH,CAAC,cAAc,CAAA;gBAChB,MAAM,sBAAsB,GAAG,UAAU,CAAC,GAAG,CACzC,sBAAsB,CACzB,CAAA;gBACD,IAAI,sBAAsB,EAAE,CAAC;oBACzB,EAAE,CAAC,OAAO,GAAG;wBACT,GAAG,EAAE,CAAC,OAAO;wBACb,cAAc,EAAE,sBAAsB;qBACpB,CAAA;gBAC1B,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAO3C,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,EACR,IAAI,CAAC,UAAU,CAClB,CAAA;QAED,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}

package/dist/lib/index.d.ts

@@ -18,6 +18,7 @@ export { ClaimLibrary } from "./core/claim-library.js";
 export { VersionedLibrary } from "./core/versioned-library.js";
 export type { TVersionedEntity } from "./core/versioned-library.js";
 export { ClaimCitationLibrary } from "./core/claim-citation-library.js";
+export { ClaimAxiomLibrary } from "./core/claim-axiom-library.js";
 export { ArgumentLibrary } from "./core/argument-library.js";
 export type { TArgumentLibraryLibraries } from "./core/argument-library.js";
 export { ForkNamespace } from "./core/fork-namespace.js";
@@ -33,7 +34,7 @@ export * from "./types/diff.js";
 export * from "./types/mutation.js";
 export { mergeChangesets, orderChangeset } from "./utils/changeset.js";
 export type { TOrderedOperation } from "./utils/changeset.js";
-export { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP, } from "./utils/lookup.js";
+export { createLookup, EMPTY_CLAIM_LOOKUP, emptyClaimConnectionLookup, } from "./utils/lookup.js";
 export * from "./types/checksum.js";
 export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
 export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";

package/dist/lib/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,6CAA6C,CAAA;AAC5F,YAAY,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAA;AACxF,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAC9E,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,2BAA2B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAA;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAA;AACtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,qCAAqC,EAAE,MAAM,0BAA0B,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAC7E,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,6CAA6C,CAAA;AAC5F,YAAY,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAA;AACxF,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAC9E,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5D,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AACnE,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,oBAAoB,EACpB,sBAAsB,GACzB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AACjD,YAAY,EACR,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,0CAA0C,CAAA;AACjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACtE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AACtC,YAAY,EACR,0BAA0B,EAC1B,mBAAmB,GACtB,MAAM,+BAA+B,CAAA;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,8BAA8B,EAAE,MAAM,yBAAyB,CAAA;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,sCAAsC,EAAE,MAAM,0BAA0B,CAAA;AACtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAC1E,YAAY,EAAE,qCAAqC,EAAE,MAAM,0BAA0B,CAAA"}

package/dist/lib/index.js

@@ -11,6 +11,7 @@ export { VariableManager } from "./core/variable-manager.js";
 export { ClaimLibrary } from "./core/claim-library.js";
 export { VersionedLibrary } from "./core/versioned-library.js";
 export { ClaimCitationLibrary } from "./core/claim-citation-library.js";
+export { ClaimAxiomLibrary } from "./core/claim-axiom-library.js";
 export { ArgumentLibrary } from "./core/argument-library.js";
 export { ForkNamespace } from "./core/fork-namespace.js";
 export { ForkLibrary } from "./core/fork-library.js";
@@ -21,7 +22,7 @@ export { evaluateArgument, checkArgumentValidity, propagateOperatorConstraints,
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
 export { mergeChangesets, orderChangeset } from "./utils/changeset.js";
-export { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP, } from "./utils/lookup.js";
+export { createLookup, EMPTY_CLAIM_LOOKUP, emptyClaimConnectionLookup, } from "./utils/lookup.js";
 export * from "./types/checksum.js";
 export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
 export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";

package/dist/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,8BAA8B,EAAE,MAAM,6CAA6C,CAAA;AAE5F,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,2BAA2B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAK7E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,8BAA8B,EAAE,MAAM,6CAA6C,CAAA;AAE5F,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAA;AAG9E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,cAAc,uBAAuB,CAAA;AACrC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAK9D,OAAO,EACH,gBAAgB,EAChB,qBAAqB,EACrB,4BAA4B,GAC/B,MAAM,0CAA0C,CAAA;AAKjD,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAEtE,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,GAC7B,MAAM,mBAAmB,CAAA;AAC1B,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EACH,uBAAuB,EACvB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA;AACnC,cAAc,oBAAoB,CAAA;AAClC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAA;AACnD,cAAc,oBAAoB,CAAA;AAClC,cAAc,uBAAuB,CAAA;AACrC,OAAO,EACH,gBAAgB,EAChB,oCAAoC,EACpC,4BAA4B,EAC5B,kCAAkC,GACrC,MAAM,+BAA+B,CAAA;AAKtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAA;AAC7E,OAAO,EACH,6BAA6B,EAC7B,sBAAsB,EACtB,4BAA4B,GAC/B,MAAM,yBAAyB,CAAA;AAEhC,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA;AAE1E,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAA"}

package/dist/lib/parsing/argument-parser.d.ts

@@ -9,7 +9,7 @@ import type { TParsedArgumentResponse, TParsedArgument, TParsedClaim, TParsedVar
  * The result returned by `ArgumentParser.build()`.
  */
 export type TArgumentParserResult<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation> = {
-    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim, TCitation>;
+    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
     claimLibrary: ClaimLibrary<TClaim>;
     claimCitationLibrary: ClaimCitationLibrary<TCitation>;
     warnings: TParserWarning[];
@@ -41,6 +41,6 @@ export declare class ArgumentParser<TArg extends TCoreArgument = TCoreArgument,
     protected mapClaim(_parsed: TParsedClaim): Record<string, unknown>;
     protected mapVariable(_parsed: TParsedVariable): Record<string, unknown>;
     protected mapPremise(_parsed: TParsedPremise): Record<string, unknown>;
-    protected mapClaimCitation(_parsed: TParsedClaim, _citingClaimId: string, _sourceClaimId: string): Record<string, unknown>;
+    protected mapClaimCitation(_parsed: TParsedClaim, _claimId: string, _supportingClaimId: string): Record<string, unknown>;
 }
 //# sourceMappingURL=argument-parser.d.ts.map

package/dist/lib/parsing/argument-parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACV,kBAAkB,EACrB,MAAM,sBAAsB,CAAA;AAM7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AAGxE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,IACzD;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IACtE,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACrD,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA2LD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB;IAEzD,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAKtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC;IA6QxE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,gBAAgB,CACtB,OAAO,EAAE,YAAY,EACrB,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,MAAM,GACvB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}
+{"version":3,"file":"argument-parser.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/argument-parser.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AACrE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACV,kBAAkB,EACrB,MAAM,sBAAsB,CAAA;AAM7B,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AAGxE,OAAO,KAAK,EACR,uBAAuB,EACvB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACjB,MAAM,eAAe,CAAA;AAEtB;;GAEG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,IACzD;IACA,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACrD,QAAQ,EAAE,cAAc,EAAE,CAAA;CAC7B,CAAA;AA2LD;;;;;GAKG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB;IAEzD,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;gBAE9B,cAAc,CAAC,EAAE,OAAO;IAIpC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,uBAAuB;IAKtD;;;;;;;;OAQG;IACI,KAAK,CACR,QAAQ,EAAE,uBAAuB,EACjC,OAAO,CAAC,EAAE,mBAAmB,GAC9B,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC;IA0QxE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIlE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAIxE,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAItE,SAAS,CAAC,gBAAgB,CACtB,OAAO,EAAE,YAAY,EACrB,QAAQ,EAAE,MAAM,EAChB,kBAAkB,EAAE,MAAM,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAG7B"}

package/dist/lib/parsing/argument-parser.js

@@ -258,15 +258,15 @@ export class ArgumentParser {
                 claimCitationLibrary.add({
                     ...extras,
                     id: genId(),
-                    citingClaimId: citingRef.id,
-                    citingClaimVersion: citingRef.version,
-                    sourceClaimId: sourceRef.id,
-                    sourceClaimVersion: sourceRef.version,
+                    claimId: citingRef.id,
+                    claimVersion: citingRef.version,
+                    supportingClaimId: sourceRef.id,
+                    supportingClaimVersion: sourceRef.version,
                 });
             }
         }
         // 5. Create ArgumentEngine
-        const engine = new ArgumentEngine(argument, claimLibrary, claimCitationLibrary, {
+        const engine = new ArgumentEngine(argument, claimLibrary, {
             grammarConfig: {
                 enforceFormulaBetweenOperators: true,
                 autoNormalize: true,
@@ -378,7 +378,7 @@ export class ArgumentParser {
     mapPremise(_parsed) {
         return {};
     }
-    mapClaimCitation(_parsed, _citingClaimId, _sourceClaimId) {
+    mapClaimCitation(_parsed, _claimId, _supportingClaimId) {
         return {};
     }
 }