@proposit/shared 0.7.1 → 0.8.0

package/dist/engine/mutations/premises.js.map

@@ -1 +1 @@
-{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AAQjE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,4EAA4E;AAC5E,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAC3D,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAEzE,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IASC;IAOD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,IAAI,IAAI,CAAA;IAC3D,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,kIAAkI,CACrI,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACX,+HAA+H,CAClI,CAAA;IACL,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA6B,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,CACzH,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,qBAAqB,CACxH,CAAA;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,QAAQ,CAAC,OAAO,6BAA6B,IAAI,CAAC,cAAc,EAAE,CAC3L,CAAA;QACL,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,mBAAmB,CACtE,SAAS,EACT;QACI,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,YAAqB;SAC9B;KACJ,CACJ,CAAA;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IAC3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,oFAAoF,eAAe,CAAC,MAAM,EAAE,CAC/G,CAAA;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,6FAA6F,CAChG,CAAA;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAA;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,oFAAoF,CACvF,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,0CAA0C;IAC1C,EAAE;IACF,gDAAgD;IAChD,wEAAwE;IACxE,0EAA0E;IAC1E,sBAAsB;IACtB,0EAA0E;IAC1E,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,qCAAqC;IACrC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAEtC,IAAI,kBAA0C,CAAA;IAC9C,IAAI,yBAA2C,CAAA;IAC/C,IAAI,+BAAuC,CAAA;IAC3C,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;YAC3C,EAAE,EAAE,IAAI,CAAC,oBAAqB;YAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,OAAO,EAAE,IAAI,CAAC,cAAc;YAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SACgB,CAAC,CAAA;QAC9C,kBAAkB,GAAG,MAAM,CAAA;QAC3B,yBAAyB,GAAG,OAAO,CAAA;QACnC,+BAA+B,GAAG,IAAI,CAAC,oBAAqB,CAAA;IAChE,CAAC;SAAM,CAAC;QACJ,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,SAAS,KAAK,IAAI,CAAC,4BAA4B,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACX,wFAAwF,SAAS,uBAAuB,IAAI,CAAC,cAAc,0CAA0C,IAAI,CAAC,4BAA4B,EAAE,CAC3N,CAAA;QACL,CAAC;QACD,kBAAkB,GAAG,OAAiC,CAAA;QACtD,yBAAyB,GAAG,EAAE,CAAA;QAC9B,+BAA+B,GAAG,IAAI,CAAC,4BAA6B,CAAA;IACxE,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAAE,GAC3D,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;QACtB,EAAE,EAAE,IAAI,CAAC,sBAAsB;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACiB,CAAC,CAAA;IAEnD,sEAAsE;IACtE,gEAAgE;IAChE,yEAAyE;IACzE,sDAAsD;IACtD,EAAE;IACF,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2DAA2D;IAC3D,mEAAmE;IACnE,+CAA+C;IAC/C,MAAM,sBAAsB,GAAG,yBAAyB,CACpD,eAAe,CAAC,cAAc,EAAE;QAC5B,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACjC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxC,CAAC,CACL,CAAA;IACD,MAAM,4BAA4B,GAAG,2BAA2B,CAC5D,yBAAyB,EACzB,SAAS,CACZ,CAAA;IACD,MAAM,6BAA6B,GAAG,2BAA2B,CAC7D,cAAc,EACd,SAAS,CACZ,CAAA;IAED,MAAM,UAAU,GAAG,eAAe,CAC9B,eAAe,CAAC,sBAAsB,EAAE,4BAA4B,CAAC,EACrE,6BAA6B,CAChC,CAAA;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,kBAAkB;QAClB,oBAAoB;QACpB,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEjC,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEpD,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACX,+DAA+D,SAAS,wCAAwC,IAAI,CAAC,IAAI,IACrH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC/C,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACX,+CAA+C,YAAY,CAAC,MAAM,uBAAuB,CAC5F,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,0GAA0G,CAC7G,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mEAAmE;IACnE,aAAa;IACb,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,yEAAyE;IACzE,2DAA2D;IAC3D,yBAAyB;IACzB,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC7D,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACtC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,EACtC,CAAC;YACC,MAAM,IAAI,KAAK,CACX,0FAA0F,SAAS,EAAE,CACxG,CAAA;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5D,UAAU,CAAC,EAAE,EACb,IAAI,CACP,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAEvC,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAEpC,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,4CAA4C;IAC5C,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAClE,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,cAAwB;IAExB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,4CAA4C,SAAS,yBAAyB,CACjF,CAAA;IACL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,oDAAoD,UAAU,yBAAyB,SAAS,EAAE,CACrG,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,+BAA+B,wBAAwB,SAAS,qCAAqC;gBACjH,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEvD,MAAM,cAAc,GAAG,IAAI,CAAA;IAC3B,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,mFAAmF,CACtF,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS;QACT,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAA6B,EAAE,CAAA;IACpD,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAA;QACxD,eAAe,CAAC,IAAI,CAAC,CAAsC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,mBAAmB;gBAC1B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iCAAiC;IACjC,EAAE;IACF,0EAA0E;IAC1E,yEAAyE;IACzE,0CAA0C;IAC1C,sEAAsE;IACtE,+DAA+D;IAC/D,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG;YACZ,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,QAAQ,EAAE,IAAI;SACjB,CAAA;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;IACzB,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,IAAI;QACR,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAa;QACvB,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;YACzD,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,SAAS,CAAC,EAAE;YACxB,QAAQ,EAAE,IAAI;SAC4B,CAAC,CAAA;QAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;IACjC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAAyB,EACzB,IAAgE;IAEhE,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IACI,OAAO,CAAC,WAAW;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAA;QAC9B,MAAM,CAAC,WAAW,GAAG;YACjB,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9D,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxB;YACD,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACrE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;QAC5B,MAAM,CAAC,SAAS,GAAG;YACf,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU;IACf,OAAO,MAAM,CAAC,UAAU,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,OAAyB,EACzB,SAAiB;IAEjB,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAA;IACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAA;IAClB,CAAC;IACD,OAAO;QACH,GAAG,OAAO;QACV,QAAQ,EAAE;YACN,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,gBAAgB;SAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAC9B,OAAyB;IAEzB,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,CAAC,QAAQ,GAAG;YACd,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,SAAS,GAAG;YACf,GAAG,OAAO,CAAC,SAAS;YACpB,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,WAAW,GAAG;YACjB,GAAG,OAAO,CAAC,WAAW;YACtB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,sBAAsB,CAC3B,UAA8B;IAE9B,MAAM,QAAQ,GAAG;QACb,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,MAAM,UAAU,GAAG;QACf,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,IAAI,EAAE;YACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE;YACxC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,MAAM,GAAqB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,SAAS,GAAqB,EAAE,GAAG,CAAC,EAAE,CAAA;QAC5C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,QAAQ,GAAG;gBACjB,GAAG,CAAC,CAAC,QAAQ;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,SAAS,GAAG;gBAClB,GAAG,CAAC,CAAC,SAAS;gBACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAChB,SAAS,CAAC,WAAW,GAAG;gBACpB,GAAG,CAAC,CAAC,WAAW;gBAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC;aACJ,CAAA;QACL,CAAC;QACD,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AAQjE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,4EAA4E;AAC5E,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAC3D,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAEzE,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IASC;IAOD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,IAAI,IAAI,CAAA;IAC3D,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,kIAAkI,CACrI,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACX,+HAA+H,CAClI,CAAA;IACL,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA6B,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,CACzH,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,qBAAqB,CACxH,CAAA;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,QAAQ,CAAC,OAAO,6BAA6B,IAAI,CAAC,cAAc,EAAE,CAC3L,CAAA;QACL,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,mBAAmB,CACtE,SAAS,EACT;QACI,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,YAAqB;SAC9B;KACJ,CACJ,CAAA;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IAC3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,oFAAoF,eAAe,CAAC,MAAM,EAAE,CAC/G,CAAA;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,6FAA6F,CAChG,CAAA;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAA;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,oFAAoF,CACvF,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,0CAA0C;IAC1C,EAAE;IACF,gDAAgD;IAChD,wEAAwE;IACxE,0EAA0E;IAC1E,sBAAsB;IACtB,0EAA0E;IAC1E,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,qCAAqC;IACrC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAEtC,IAAI,kBAA0C,CAAA;IAC9C,IAAI,yBAA2C,CAAA;IAC/C,IAAI,+BAAuC,CAAA;IAC3C,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;YAC3C,EAAE,EAAE,IAAI,CAAC,oBAAqB;YAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,OAAO,EAAE,IAAI,CAAC,cAAc;YAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SACgB,CAAC,CAAA;QAC9C,kBAAkB,GAAG,MAAM,CAAA;QAC3B,yBAAyB,GAAG,OAAO,CAAA;QACnC,+BAA+B,GAAG,IAAI,CAAC,oBAAqB,CAAA;IAChE,CAAC;SAAM,CAAC;QACJ,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,SAAS,KAAK,IAAI,CAAC,4BAA4B,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACX,wFAAwF,SAAS,uBAAuB,IAAI,CAAC,cAAc,0CAA0C,IAAI,CAAC,4BAA4B,EAAE,CAC3N,CAAA;QACL,CAAC;QACD,kBAAkB,GAAG,OAAiC,CAAA;QACtD,yBAAyB,GAAG,EAAE,CAAA;QAC9B,+BAA+B,GAAG,IAAI,CAAC,4BAA6B,CAAA;IACxE,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAAE,GAC3D,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;QACtB,EAAE,EAAE,IAAI,CAAC,sBAAsB;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACiB,CAAC,CAAA;IAEnD,sEAAsE;IACtE,gEAAgE;IAChE,yEAAyE;IACzE,sDAAsD;IACtD,EAAE;IACF,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2DAA2D;IAC3D,mEAAmE;IACnE,+CAA+C;IAC/C,MAAM,sBAAsB,GAAG,yBAAyB,CACpD,eAAe,CAAC,cAAc,EAAE;QAC5B,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACjC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxC,CAAC,CACL,CAAA;IACD,MAAM,4BAA4B,GAAG,2BAA2B,CAC5D,yBAAyB,EACzB,SAAS,CACZ,CAAA;IACD,MAAM,6BAA6B,GAAG,2BAA2B,CAC7D,cAAc,EACd,SAAS,CACZ,CAAA;IAED,MAAM,UAAU,GAAG,eAAe,CAC9B,eAAe,CAAC,sBAAsB,EAAE,4BAA4B,CAAC,EACrE,6BAA6B,CAChC,CAAA;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,kBAAkB;QAClB,oBAAoB;QACpB,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEjC,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEpD,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACX,+DAA+D,SAAS,wCAAwC,IAAI,CAAC,IAAI,IACrH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC/C,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACX,+CAA+C,YAAY,CAAC,MAAM,uBAAuB,CAC5F,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,0GAA0G,CAC7G,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mEAAmE;IACnE,aAAa;IACb,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,yEAAyE;IACzE,2DAA2D;IAC3D,yBAAyB;IACzB,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC7D,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACtC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,EACtC,CAAC;YACC,MAAM,IAAI,KAAK,CACX,0FAA0F,SAAS,EAAE,CACxG,CAAA;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5D,UAAU,CAAC,EAAE,EACb,IAAI,CACP,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAEvC,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAEpC,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,4CAA4C;IAC5C,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAClE,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,4CAA4C,SAAS,yBAAyB,CACjF,CAAA;IACL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,oDAAoD,UAAU,yBAAyB,SAAS,EAAE,CACrG,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,+BAA+B,wBAAwB,SAAS,qCAAqC;gBACjH,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAE3D,MAAM,cAAc,GAAG,IAAI,CAAA;IAC3B,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,mFAAmF,CACtF,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS;QACT,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAA6B,EAAE,CAAA;IACpD,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAA;QAC5D,eAAe,CAAC,IAAI,CAAC,CAAsC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,mBAAmB;gBAC1B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iCAAiC;IACjC,EAAE;IACF,0EAA0E;IAC1E,yEAAyE;IACzE,0CAA0C;IAC1C,sEAAsE;IACtE,+DAA+D;IAC/D,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG;YACZ,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,QAAQ,EAAE,IAAI;SACjB,CAAA;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;IACzB,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,IAAI;QACR,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAa;QACvB,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;YACzD,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,SAAS,CAAC,EAAE;YACxB,QAAQ,EAAE,IAAI;SAC4B,CAAC,CAAA;QAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;IACjC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAAyB,EACzB,IAAgE;IAEhE,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IACI,OAAO,CAAC,WAAW;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAA;QAC9B,MAAM,CAAC,WAAW,GAAG;YACjB,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9D,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxB;YACD,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACrE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;QAC5B,MAAM,CAAC,SAAS,GAAG;YACf,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU;IACf,OAAO,MAAM,CAAC,UAAU,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,OAAyB,EACzB,SAAiB;IAEjB,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAA;IACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAA;IAClB,CAAC;IACD,OAAO;QACH,GAAG,OAAO;QACV,QAAQ,EAAE;YACN,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,gBAAgB;SAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAC9B,OAAyB;IAEzB,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,CAAC,QAAQ,GAAG;YACd,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,SAAS,GAAG;YACf,GAAG,OAAO,CAAC,SAAS;YACpB,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,WAAW,GAAG;YACjB,GAAG,OAAO,CAAC,WAAW;YACtB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,sBAAsB,CAC3B,UAA8B;IAE9B,MAAM,QAAQ,GAAG;QACb,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,MAAM,UAAU,GAAG;QACf,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,IAAI,EAAE;YACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE;YACxC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,MAAM,GAAqB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,SAAS,GAAqB,EAAE,GAAG,CAAC,EAAE,CAAA;QAC5C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,QAAQ,GAAG;gBACjB,GAAG,CAAC,CAAC,QAAQ;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,SAAS,GAAG;gBAClB,GAAG,CAAC,CAAC,SAAS;gBACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAChB,SAAS,CAAC,WAAW,GAAG;gBACpB,GAAG,CAAC,CAAC,WAAW;gBAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC;aACJ,CAAA;QACL,CAAC;QACD,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}

package/dist/engine/optimistic/verification.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAW5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAkFjB"}
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAU5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAiFjB"}

package/dist/engine/optimistic/verification.js

@@ -1,4 +1,3 @@
-import { EMPTY_CLAIM_CITATION_LOOKUP } from "../library-adapters.js";
 import { CHECKSUM_CONFIG } from "../../checksum.js";
 import { ArgumentEngine } from "@proposit/proposit-core";
 /**
@@ -12,7 +11,7 @@ import { ArgumentEngine } from "@proposit/proposit-core";
  */
 export function detectDivergence(engine, serverSnapshot) {
     // Build a temporary engine from the server snapshot to compute checksums
-    const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined, getCurrent: () => undefined }, EMPTY_CLAIM_CITATION_LOOKUP, {
+    const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined, getCurrent: () => undefined }, {
         checksumConfig: CHECKSUM_CONFIG,
         positionConfig: serverSnapshot.config?.positionConfig,
         grammarConfig: {

package/dist/engine/optimistic/verification.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAA;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAQxD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,cAAgC;IAEhC,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,cAAc,CAMnC,cAAc,CAAC,QAAQ,EACvB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EACrD,2BAA2B,EAC3B;QACI,cAAc,EAAE,eAAe;QAC/B,cAAc,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc;QACrD,aAAa,EAAE;YACX,aAAa,EAAE,KAAK;YACpB,8BAA8B,EAAE,IAAI;SACvC;KACJ,CACJ,CAAA;IACD,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAA;IAErC,sCAAsC;IACtC,IAAI,MAAM,CAAC,gBAAgB,EAAE,KAAK,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5B,CAAC;IAED,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;IACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAE/D,qCAAqC;IACrC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAEnD,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxB,2DAA2D;YAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;QAED,IAAI,OAAO,CAAC,gBAAgB,EAAE,KAAK,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC7D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,iFAAiF;IACjF,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAC5C,MAAM,eAAe,GAAG,YAAY,CAAC,YAAY,EAAE,CAAA;IAEnD,MAAM,WAAW,GAAG,IAAI,GAAG,CACvB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAG,CAA2B,CAAC,QAAQ,CAAC,CAAC,CAC3E,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvB,CAAC,CAAC,EAAE;QACH,CAA2B,CAAC,QAAQ;KACxC,CAAC,CACL,CAAA;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC3C,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5B,CAAC"}
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAQxD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,cAAgC;IAEhC,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,cAAc,CAMnC,cAAc,CAAC,QAAQ,EACvB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EACrD;QACI,cAAc,EAAE,eAAe;QAC/B,cAAc,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc;QACrD,aAAa,EAAE;YACX,aAAa,EAAE,KAAK;YACpB,8BAA8B,EAAE,IAAI;SACvC;KACJ,CACJ,CAAA;IACD,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAA;IAErC,sCAAsC;IACtC,IAAI,MAAM,CAAC,gBAAgB,EAAE,KAAK,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5B,CAAC;IAED,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;IACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAE/D,qCAAqC;IACrC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAEnD,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxB,2DAA2D;YAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;QAED,IAAI,OAAO,CAAC,gBAAgB,EAAE,KAAK,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC7D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,iFAAiF;IACjF,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAC5C,MAAM,eAAe,GAAG,YAAY,CAAC,YAAY,EAAE,CAAA;IAEnD,MAAM,WAAW,GAAG,IAAI,GAAG,CACvB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAG,CAA2B,CAAC,QAAQ,CAAC,CAAC,CAC3E,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvB,CAAC,CAAC,EAAE;QACH,CAA2B,CAAC,QAAQ;KACxC,CAAC,CACL,CAAA;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC3C,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5B,CAAC"}

package/dist/engine/text-tree.d.ts

@@ -1,5 +1,6 @@
 import type { TProjectReactiveSnapshot } from "./engine.js";
 import type { TLogicalOperatorType } from "../schemas/logic.js";
+import type { TClaimType } from "../schemas/model/claims.js";
 /** Operator display labels for the text view. */
 export declare const OPERATOR_LABELS: Record<Exclude<TLogicalOperatorType, "not">, string>;
 export type TTextTreeItem = {
@@ -15,7 +16,7 @@ export type TTextTreeItem = {
     claimId: string | null;
     claimTitle: string;
     claimBody: string;
-    claimType: "normal" | "citation";
+    claimType: TClaimType;
     negated: boolean;
     isConclusion: boolean;
     depth: number;

package/dist/engine/text-tree.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAE5B,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,WAAW,EAAE,UAAU,GAAG,YAAY,CAAA;CACzC,GACD;IACI,IAAI,EAAE,OAAO,CAAA;IACb,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,QAAQ,GAAG,UAAU,CAAA;IAChC,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,eAAe,CAAA;IACrB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAEP;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAClB,aAAa,EAAE,CAmBjB;AA+GD,wBAAgB,aAAa,CACzB,QAAQ,EAAE,wBAAwB,GACnC,aAAa,EAAE,CA+BjB"}
+{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAU,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAGpE,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,WAAW,EAAE,UAAU,GAAG,YAAY,CAAA;CACzC,GACD;IACI,IAAI,EAAE,OAAO,CAAA;IACb,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,UAAU,CAAA;IACrB,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,eAAe,CAAA;IACrB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAEP;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAClB,aAAa,EAAE,CAmBjB;AAmHD,wBAAgB,aAAa,CACzB,QAAQ,EAAE,wBAAwB,GACnC,aAAa,EAAE,CA+BjB"}

package/dist/engine/text-tree.js

@@ -1,3 +1,4 @@
+import { isNormalClaim } from "../schemas/model/claims.js";
 /** Operator display labels for the text view. */
 export const OPERATOR_LABELS = {
     and: "and",
@@ -50,9 +51,13 @@ function walkPremiseExpression(args) {
             claimId = variable.claimId;
             const claim = claims[variable.claimId];
             if (claim) {
-                claimTitle = claim.title;
-                claimBody = claim.body;
-                claimType = claim.type ?? "normal";
+                claimType = claim.type;
+                if (isNormalClaim(claim)) {
+                    claimTitle = claim.title;
+                    claimBody = claim.body;
+                }
+                // Citation and Axiomatic claims have no user-authored title or
+                // body in this schema; rendering for those variants is a follow-up.
             }
         }
         items.push({

package/dist/engine/text-tree.js.map

@@ -1 +1 @@
-{"version":3,"file":"text-tree.js","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAMA,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAGxB;IACA,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,YAAY;IACrB,GAAG,EAAE,wBAAwB;CAChC,CAAA;AAiCD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAAkC,EAClC,SAAiB;IAEjB,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAChD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAA;IAC3B,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS,CAAA;IACrE,MAAM,UAAU,GAAG,WAAW,CAAC,gBAAgB,CAAA;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,qBAAqB,CAAC;QAClB,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,WAAW,CAAC,WAAW;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,YAAY;QACZ,KAAK;KACR,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,mBAAmB,CACxB,QAAgB,EAChB,kBAAoE;IAEpE,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAS9B;IACG,MAAM,EACF,MAAM,EACN,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,OAAO,EACP,KAAK,EACL,YAAY,EACZ,KAAK,GACR,GAAG,IAAI,CAAA;IACR,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,CAAC,IAAI;QAAE,OAAM;IAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;QACjC,IAAI,UAAU,GAAG,EAAE,CAAA;QACnB,IAAI,SAAS,GAAG,EAAE,CAAA;QAClB,IAAI,SAAS,GAA0B,QAAQ,CAAA;QAC/C,IAAI,QAAQ,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACtC,IAAI,KAAK,EAAE,CAAC;gBACR,UAAU,GAAG,KAAK,CAAC,KAAK,CAAA;gBACxB,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;gBACtB,SAAS,GAAG,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAA;YACtC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,IAAI,CAAC,EAAE;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO;YACP,UAAU;YACV,SAAS;YACT,SAAS;YACT,OAAO;YACP,YAAY;YACZ,KAAK;SACR,CAAC,CAAA;QACF,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,KAAK,EAAE,KAAK,GAAG,CAAC;aACnB,CAAC,CAAA;QACN,CAAC;QACD,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;YAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,qBAAqB,CAAC;oBAClB,GAAG,IAAI;oBACP,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACtB,OAAO,EAAE,CAAC,OAAO;iBACpB,CAAC,CAAA;YACN,CAAC;YACD,OAAM;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,MAAM,WAAW,GACb,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;QAC1D,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7B,OAAO,EAAE,KAAK;aACjB,CAAC,CAAA;YACF,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACrC,KAAK;iBACR,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,QAAkC;IAElC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAA;IAE9D,mDAAmD;IACnD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,IAAI,aAAa,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,aAAa,IAAI,aAAa;YAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,cAAc,EAAE,CAAC;QACpD,wEAAwE;QACxE,wEAAwE;QACxE,iEAAiE;QACjE,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACvD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,gBAAgB;YACtB,SAAS;YACT,IAAI,EACA,SAAS,KAAK,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;YACnE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI;YACxC,WAAW,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU;SACtD,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,KAAK,CAAA;AAChB,CAAC"}
+{"version":3,"file":"text-tree.js","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE1D,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAGxB;IACA,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,YAAY;IACrB,GAAG,EAAE,wBAAwB;CAChC,CAAA;AAiCD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAAkC,EAClC,SAAiB;IAEjB,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAChD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAA;IAC3B,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS,CAAA;IACrE,MAAM,UAAU,GAAG,WAAW,CAAC,gBAAgB,CAAA;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,qBAAqB,CAAC;QAClB,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,WAAW,CAAC,WAAW;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,YAAY;QACZ,KAAK;KACR,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,mBAAmB,CACxB,QAAgB,EAChB,kBAAoE;IAEpE,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAS9B;IACG,MAAM,EACF,MAAM,EACN,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,OAAO,EACP,KAAK,EACL,YAAY,EACZ,KAAK,GACR,GAAG,IAAI,CAAA;IACR,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,CAAC,IAAI;QAAE,OAAM;IAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;QACjC,IAAI,UAAU,GAAG,EAAE,CAAA;QACnB,IAAI,SAAS,GAAG,EAAE,CAAA;QAClB,IAAI,SAAS,GAAe,QAAQ,CAAA;QACpC,IAAI,QAAQ,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAuB,CAAA;YAC5D,IAAI,KAAK,EAAE,CAAC;gBACR,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;gBACtB,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,UAAU,GAAG,KAAK,CAAC,KAAK,CAAA;oBACxB,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;gBAC1B,CAAC;gBACD,+DAA+D;gBAC/D,oEAAoE;YACxE,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,IAAI,CAAC,EAAE;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO;YACP,UAAU;YACV,SAAS;YACT,SAAS;YACT,OAAO;YACP,YAAY;YACZ,KAAK;SACR,CAAC,CAAA;QACF,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,KAAK,EAAE,KAAK,GAAG,CAAC;aACnB,CAAC,CAAA;QACN,CAAC;QACD,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;YAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,qBAAqB,CAAC;oBAClB,GAAG,IAAI;oBACP,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACtB,OAAO,EAAE,CAAC,OAAO;iBACpB,CAAC,CAAA;YACN,CAAC;YACD,OAAM;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,MAAM,WAAW,GACb,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;QAC1D,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7B,OAAO,EAAE,KAAK;aACjB,CAAC,CAAA;YACF,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACrC,KAAK;iBACR,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,QAAkC;IAElC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAA;IAE9D,mDAAmD;IACnD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,IAAI,aAAa,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,aAAa,IAAI,aAAa;YAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,cAAc,EAAE,CAAC;QACpD,wEAAwE;QACxE,wEAAwE;QACxE,iEAAiE;QACjE,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACvD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,gBAAgB;YACtB,SAAS;YACT,IAAI,EACA,SAAS,KAAK,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;YACnE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI;YACxC,WAAW,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU;SACtD,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,KAAK,CAAA;AAChB,CAAC"}

package/dist/schemas/api/argument/batch/provision.d.ts

@@ -1,8 +1,24 @@
 import { Type, type Static } from "typebox";
 export declare const ProvisionResponseSchema: Type.TObject<{
-    claim: Type.TObject<{
+    claim: Type.TUnion<[Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
         title: Type.TString;
         body: Type.TString;
+        titleContentHash: Type.TString;
+        type: Type.TLiteral<"normal">;
+        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
         argumentId: Type.TString;
@@ -10,12 +26,14 @@ export declare const ProvisionResponseSchema: Type.TObject<{
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../../common.js").TDateType;
-        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
-        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
         parentId: Type.TUnion<[Type.TString, Type.TNull]>;
-        titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        type: Type.TLiteral<"citation">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TString;
+        citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
             type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
         }>, Type.TObject<{
             type: Type.TLiteral<"Book">;
@@ -443,9 +461,28 @@ export declare const ProvisionResponseSchema: Type.TObject<{
             type: Type.TLiteral<"UnparsedURL">;
             url: Type.TString;
             text: Type.TOptional<Type.TString>;
-        }>]>]>, Type.TNull]>>;
-        citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    }>;
+        }>]>]>;
+        citationContentHash: Type.TString;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        type: Type.TLiteral<"axiomatic">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+    }>]>;
     premise: Type.TIntersect<[Type.TUnion<[Type.TObject<{
         type: Type.TLiteral<"freeform">;
         id: Type.TString;

package/dist/schemas/api/argument/batch/provision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"provision.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/provision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAQ3C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKlC,CAAA;AAEF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"provision.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/provision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAQ3C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKlC,CAAA;AAEF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/api/argument/claims.d.ts

@@ -3,13 +3,30 @@ export declare const ClaimCreationRequestSchema: Type.TObject<{
     claimData: Type.TObject<{
         title: Type.TString;
         body: Type.TString;
+        titleContentHash: Type.TString;
     }>;
 }>;
 export type TClaimCreationRequestSchema = Static<typeof ClaimCreationRequestSchema>;
 export declare const ClaimCreationResponseSchema: Type.TObject<{
-    newClaim: Type.TObject<{
+    newClaim: Type.TUnion<[Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
         title: Type.TString;
         body: Type.TString;
+        titleContentHash: Type.TString;
+        type: Type.TLiteral<"normal">;
+        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
         argumentId: Type.TString;
@@ -17,12 +34,14 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
-        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
-        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
         parentId: Type.TUnion<[Type.TString, Type.TNull]>;
-        titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        type: Type.TLiteral<"citation">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TString;
+        citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
             type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
         }>, Type.TObject<{
             type: Type.TLiteral<"Book">;
@@ -450,9 +469,28 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
             type: Type.TLiteral<"UnparsedURL">;
             url: Type.TString;
             text: Type.TOptional<Type.TString>;
-        }>]>]>, Type.TNull]>>;
-        citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    }>;
+        }>]>]>;
+        citationContentHash: Type.TString;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        type: Type.TLiteral<"axiomatic">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+    }>]>;
     newPropositionalVariable: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
         claimId: Type.TString;
         claimVersion: Type.TNumber;
@@ -536,9 +574,25 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
 }>;
 export type TClaimCreationResponse = Static<typeof ClaimCreationResponseSchema>;
 export declare const ClaimDeletionResponseSchema: Type.TObject<{
-    deletedClaims: Type.TArray<Type.TObject<{
+    deletedClaims: Type.TArray<Type.TUnion<[Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
         title: Type.TString;
         body: Type.TString;
+        titleContentHash: Type.TString;
+        type: Type.TLiteral<"normal">;
+        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
         argumentId: Type.TString;
@@ -546,12 +600,14 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
-        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
-        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
         parentId: Type.TUnion<[Type.TString, Type.TNull]>;
-        titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        type: Type.TLiteral<"citation">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TString;
+        citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
             type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
         }>, Type.TObject<{
             type: Type.TLiteral<"Book">;
@@ -979,15 +1035,50 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
             type: Type.TLiteral<"UnparsedURL">;
             url: Type.TString;
             text: Type.TOptional<Type.TString>;
-        }>]>]>, Type.TNull]>>;
-        citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    }>>;
+        }>]>]>;
+        citationContentHash: Type.TString;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        type: Type.TLiteral<"axiomatic">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+    }>]>>;
 }>;
 export type TClaimDeletionResponse = Static<typeof ClaimDeletionResponseSchema>;
 export declare const CitationCreationSchema: Type.TObject<{
-    citation: Type.TObject<{
+    citation: Type.TUnion<[Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
         title: Type.TString;
         body: Type.TString;
+        titleContentHash: Type.TString;
+        type: Type.TLiteral<"normal">;
+        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
         argumentId: Type.TString;
@@ -995,12 +1086,14 @@ export declare const CitationCreationSchema: Type.TObject<{
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
-        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
-        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
         parentId: Type.TUnion<[Type.TString, Type.TNull]>;
-        titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-        citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        type: Type.TLiteral<"citation">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TString;
+        citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
             type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
         }>, Type.TObject<{
             type: Type.TLiteral<"Book">;
@@ -1428,15 +1521,34 @@ export declare const CitationCreationSchema: Type.TObject<{
             type: Type.TLiteral<"UnparsedURL">;
             url: Type.TString;
             text: Type.TOptional<Type.TString>;
-        }>]>]>, Type.TNull]>>;
-        citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    }>;
+        }>]>]>;
+        citationContentHash: Type.TString;
+        axiom: Type.TNull;
+    }>, Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        type: Type.TLiteral<"axiomatic">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+    }>]>;
     citationEdge: Type.TIntersect<[Type.TObject<{
         id: Type.TString;
-        citingClaimId: Type.TString;
-        citingClaimVersion: Type.TNumber;
-        sourceClaimId: Type.TString;
-        sourceClaimVersion: Type.TNumber;
+        claimId: Type.TString;
+        claimVersion: Type.TNumber;
+        supportingClaimId: Type.TString;
+        supportingClaimVersion: Type.TNumber;
         checksum: Type.TString;
     }>, Type.TObject<{
         argumentId: Type.TString;
@@ -1447,10 +1559,10 @@ export type TCitationCreation = Static<typeof CitationCreationSchema>;
 export declare const ClaimCitationDeleteResponseSchema: Type.TObject<{
     deletedCitations: Type.TArray<Type.TIntersect<[Type.TObject<{
         id: Type.TString;
-        citingClaimId: Type.TString;
-        citingClaimVersion: Type.TNumber;
-        sourceClaimId: Type.TString;
-        sourceClaimVersion: Type.TNumber;
+        claimId: Type.TString;
+        claimVersion: Type.TNumber;
+        supportingClaimId: Type.TString;
+        supportingClaimVersion: Type.TNumber;
         checksum: Type.TString;
     }>, Type.TObject<{
         argumentId: Type.TString;

package/dist/schemas/api/argument/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,0BAA0B;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,0BAA0B;;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA"}