npm - @proposit/shared - Versions diffs - 0.8.0 → 0.9.0 - Mend

@proposit/shared 0.8.0 → 0.9.0

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

Files changed (37) hide show

package/dist/engine/derivation.d.ts +1 -2
package/dist/engine/derivation.d.ts.map +1 -1
package/dist/engine/derivation.js +35 -1
package/dist/engine/derivation.js.map +1 -1
package/dist/engine/engine.d.ts +10 -8
package/dist/engine/engine.d.ts.map +1 -1
package/dist/engine/engine.js +43 -51
package/dist/engine/engine.js.map +1 -1
package/dist/engine/mutations/expressions.d.ts.map +1 -1
package/dist/engine/mutations/expressions.js +5 -3
package/dist/engine/mutations/expressions.js.map +1 -1
package/dist/engine/mutations/premises.d.ts +15 -0
package/dist/engine/mutations/premises.d.ts.map +1 -1
package/dist/engine/mutations/premises.js +81 -23
package/dist/engine/mutations/premises.js.map +1 -1
package/dist/engine/optimistic/verification.d.ts.map +1 -1
package/dist/engine/optimistic/verification.js +8 -5
package/dist/engine/optimistic/verification.js.map +1 -1
package/dist/engine/review/review-engine.d.ts.map +1 -1
package/dist/engine/review/review-engine.js +8 -1
package/dist/engine/review/review-engine.js.map +1 -1
package/dist/schemas/api/grammar-violations.d.ts +17 -0
package/dist/schemas/api/grammar-violations.d.ts.map +1 -0
package/dist/schemas/api/grammar-violations.js +18 -0
package/dist/schemas/api/grammar-violations.js.map +1 -0
package/dist/schemas/grammar/index.d.ts +3 -0
package/dist/schemas/grammar/index.d.ts.map +1 -0
package/dist/schemas/grammar/index.js +23 -0
package/dist/schemas/grammar/index.js.map +1 -0
package/dist/schemas/model/claims.d.ts.map +1 -1
package/dist/schemas/model/claims.js +18 -6
package/dist/schemas/model/claims.js.map +1 -1
package/dist/schemas/review.d.ts +13 -13
package/dist/schemas/review.d.ts.map +1 -1
package/dist/schemas/review.js +10 -2
package/dist/schemas/review.js.map +1 -1
package/package.json +13 -3

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

	@@ -1 +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,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"}
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,0EAA0E;AAC1E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,oDAAoD;AACpD,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,0EAA0E;IAC1E,4EAA4E;IAC5E,4BAA4B;IAC5B,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;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,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,4DAA4D;IAC5D,8DAA8D;IAC9D,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,iEAAiE;IACjE,oEAAoE;IACpE,mBAAmB;IACnB,EAAE;IACF,mEAAmE;IACnE,2DAA2D;IAC3D,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,wEAAwE;IACxE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,wCAAwC;IACxC,EAAE;IACF,gEAAgE;IAChE,qEAAqE;IACrE,mEAAmE;IACnE,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,6CAA6C;IAC7C,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,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;gBACzD,EAAE,EAAE,UAAU,EAAE;gBAChB,GAAG,UAAU;gBACb,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;gBACxB,QAAQ,EAAE,IAAI;aAC4B,CAAC,CAAA;YAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;YAAS,CAAC;QACP,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;IACL,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 CHANGED Viewed

	@@ -1 +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;AAU5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,~~CAiFjB~~"}
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;AAU5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAoFjB"}

package/dist/engine/optimistic/verification.js CHANGED Viewed

@@ -10,14 +10,17 @@ import { ArgumentEngine } from "@proposit/proposit-core";
  * 5. Returns appropriate DivergenceScope.
  */
 export function detectDivergence(engine, serverSnapshot) {
-    // Build a temporary engine from the server snapshot to compute checksums
+    // Build a temporary engine from the server snapshot to compute checksums.
+    //
+    // Core 1.0 dropped the per-engine `grammarConfig` knob in favor of a
+    // single `behavior: 'assistive' | 'permissive'` setting (default
+    // `'assistive'`). Checksum comparison doesn't need to mutate the engine
+    // — only `rollback()` runs — so the default behavior is fine: no AN
+    // post-hook fires during `rollback`, and `validateInvariants` semantics
+    // are unchanged. Snapshot loading accepts any Structural state in 1.0.
     const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined, getCurrent: () => undefined }, {
         checksumConfig: CHECKSUM_CONFIG,
         positionConfig: serverSnapshot.config?.positionConfig,
-        grammarConfig: {
-            autoNormalize: false,
-            enforceFormulaBetweenOperators: true,
-        },
     });
     serverEngine.rollback(serverSnapshot);
     // Fast path: combined checksums match

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

	@@ -1 +1 @@
1	- {"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"}
1	+ {"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,0EAA0E;IAC1E,EAAE;IACF,qEAAqE;IACrE,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,wEAAwE;IACxE,uEAAuE;IACvE,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;KACxD,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/review/review-engine.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"review-engine.d.ts","sourceRoot":"","sources":["../../../src/engine/review/review-engine.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EAEb,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EAClB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,mBAAmB,CAAA;AAajE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAA;AAMvE,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,UAAU,CAAA;AAEtD,MAAM,MAAM,WAAW,GACjB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,IAAI,CAAC;IAAC,sBAAsB,EAAE,IAAI,EAAE,CAAA;CAAE,GAChE;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,SAAS,GAAG,YAAY,CAAA;IAC/B,YAAY,CAAC,EAAE,IAAI,CAAA;CACtB,GACD;IACI,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,QAAQ,GAAG,WAAW,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;CACzB,GACD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAEzB,MAAM,WAAW,eAAe;IAC5B,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;IACrB,eAAe,EAAE,MAAM,CAAA;IACvB,eAAe,EAAE,MAAM,CAAA;IACvB,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5B,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,wBAAwB,EAAE,MAAM,CAAA;IAChC,SAAS,EAAE,OAAO,CAAA;CACrB;AAED,MAAM,WAAW,qBAAqB;IAClC,KAAK,EAAE,YAAY,CAAA;IACnB,UAAU,EAAE,aAAa,GAAG,SAAS,CAAA;IACrC,WAAW,EAAE,WAAW,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,eAAe,CAAA;IACzB,gBAAgB,EAAE,OAAO,CAAA;IACzB,iBAAiB,EAAE,MAAM,CAAA;CAC5B;AAED,qBAAa,YAAY;IACrB,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,GAAG,CAAY;IACvB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,UAAU,CAA2B;IAC7C,OAAO,CAAC,UAAU,CAAQ;IAC1B,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,OAAO,CAAwD;IACvE,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAAmC;IACxD,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,iBAAiB,CAAI;IAC7B,4IAA4I;IAC5I,OAAO,CAAC,sBAAsB,CAAQ;IACtC,wGAAwG;IACxG,SAAgB,IAAI,EAAE,gBAAgB,CAAA;gBAE1B,IAAI,EAAE;QACd,SAAS,EAAE,sBAAsB,CAAA;QACjC,KAAK,EAAE,YAAY,CAAA;QACnB,MAAM,CAAC,EAAE,IAAI,CAAA;QACb,YAAY,CAAC,EAAE,YAAY,CAAA;QAC3B,aAAa,CAAC,EAAE,aAAa,CAAA;QAC7B,IAAI,CAAC,EAAE,gBAAgB,CAAA;KAC1B;IAgBD,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,oBAAoB;~~IA8B5B~~,KAAK,IAAI,IAAI;IAIP,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAW5B,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI;IAK3C,WAAW,IAAI,qBAAqB;IAKpC,OAAO,CAAC,MAAM;IAad,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,aAAa;IAOrB,4EAA4E;IACtE,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC;IAatC,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI;IAwB1D,yEAAyE;IACzE,SAAS,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAU9B,8EAA8E;IAC9E,WAAW,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAYlC;;;OAGG;IACH,gBAAgB,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAKrC;;;OAGG;IACH,kBAAkB,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAKzC,yEAAyE;IACzE,aAAa,IAAI,IAAI,EAAE;IAIvB,oEAAoE;IACpE,gBAAgB,IAAI,IAAI,EAAE;IAI1B,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,GAAG,IAAI;IAS3D,SAAS,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAgB9B,qBAAqB,CAAC,KAAK,EAAE;QACzB,SAAS,EAAE,IAAI,CAAA;QACf,KAAK,EAAE,SAAS,GAAG,YAAY,CAAA;QAC/B,YAAY,CAAC,EAAE,IAAI,CAAA;QACnB,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAA;KACpC,GAAG,IAAI;IAyBR,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,GAAG,IAAI;IAiB/D,gEAAgE;IAChE,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAM/B,0BAA0B,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAkBjD,qBAAqB,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAU5C,2BAA2B,IAAI,IAAI;IAmBnC,OAAO,CAAC,YAAY;IAOpB,WAAW,IAAI,IAAI;IAgDnB,MAAM,IAAI,IAAI;IASd,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAO7B,OAAO,CAAC,WAAW;IASb,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC;IAuBvC,gBAAgB,CAAC,OAAO,CAAC,EAAE;QAC7B,YAAY,CAAC,EAAE,MAAM,CAAA;QACrB,qBAAqB,CAAC,EAAE,MAAM,CAAA;KACjC,GAAG,OAAO,CAAC,wBAAwB,CAAC;IA4BrC,cAAc,IAAI,IAAI;IAetB,oGAAoG;IACpG,aAAa,IAAI,IAAI;IASrB,OAAO,CAAC,eAAe;IAmFvB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,kBAAkB;IAM1B,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,qBAAqB;CAGhC"}
1	+ {"version":3,"file":"review-engine.d.ts","sourceRoot":"","sources":["../../../src/engine/review/review-engine.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EAEb,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EAClB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,mBAAmB,CAAA;AAajE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAA;AAMvE,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,UAAU,CAAA;AAEtD,MAAM,MAAM,WAAW,GACjB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,IAAI,CAAC;IAAC,sBAAsB,EAAE,IAAI,EAAE,CAAA;CAAE,GAChE;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,SAAS,GAAG,YAAY,CAAA;IAC/B,YAAY,CAAC,EAAE,IAAI,CAAA;CACtB,GACD;IACI,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,QAAQ,GAAG,WAAW,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;CACzB,GACD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAEzB,MAAM,WAAW,eAAe;IAC5B,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAA;IACrB,eAAe,EAAE,MAAM,CAAA;IACvB,eAAe,EAAE,MAAM,CAAA;IACvB,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5B,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,wBAAwB,EAAE,MAAM,CAAA;IAChC,SAAS,EAAE,OAAO,CAAA;CACrB;AAED,MAAM,WAAW,qBAAqB;IAClC,KAAK,EAAE,YAAY,CAAA;IACnB,UAAU,EAAE,aAAa,GAAG,SAAS,CAAA;IACrC,WAAW,EAAE,WAAW,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,eAAe,CAAA;IACzB,gBAAgB,EAAE,OAAO,CAAA;IACzB,iBAAiB,EAAE,MAAM,CAAA;CAC5B;AAED,qBAAa,YAAY;IACrB,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,GAAG,CAAY;IACvB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,UAAU,CAA2B;IAC7C,OAAO,CAAC,UAAU,CAAQ;IAC1B,OAAO,CAAC,aAAa,CAAuB;IAC5C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,OAAO,CAAwD;IACvE,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAAmC;IACxD,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,iBAAiB,CAAI;IAC7B,4IAA4I;IAC5I,OAAO,CAAC,sBAAsB,CAAQ;IACtC,wGAAwG;IACxG,SAAgB,IAAI,EAAE,gBAAgB,CAAA;gBAE1B,IAAI,EAAE;QACd,SAAS,EAAE,sBAAsB,CAAA;QACjC,KAAK,EAAE,YAAY,CAAA;QACnB,MAAM,CAAC,EAAE,IAAI,CAAA;QACb,YAAY,CAAC,EAAE,YAAY,CAAA;QAC3B,aAAa,CAAC,EAAE,aAAa,CAAA;QAC7B,IAAI,CAAC,EAAE,gBAAgB,CAAA;KAC1B;IAgBD,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,oBAAoB;IAqC5B,KAAK,IAAI,IAAI;IAIP,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAW5B,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI;IAK3C,WAAW,IAAI,qBAAqB;IAKpC,OAAO,CAAC,MAAM;IAad,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,aAAa;IAOrB,4EAA4E;IACtE,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC;IAatC,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI;IAwB1D,yEAAyE;IACzE,SAAS,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAU9B,8EAA8E;IAC9E,WAAW,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAYlC;;;OAGG;IACH,gBAAgB,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAKrC;;;OAGG;IACH,kBAAkB,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAKzC,yEAAyE;IACzE,aAAa,IAAI,IAAI,EAAE;IAIvB,oEAAoE;IACpE,gBAAgB,IAAI,IAAI,EAAE;IAI1B,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,GAAG,IAAI;IAS3D,SAAS,CAAC,OAAO,EAAE,IAAI,GAAG,IAAI;IAgB9B,qBAAqB,CAAC,KAAK,EAAE;QACzB,SAAS,EAAE,IAAI,CAAA;QACf,KAAK,EAAE,SAAS,GAAG,YAAY,CAAA;QAC/B,YAAY,CAAC,EAAE,IAAI,CAAA;QACnB,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAA;KACpC,GAAG,IAAI;IAyBR,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,GAAG,IAAI;IAiB/D,gEAAgE;IAChE,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAM/B,0BAA0B,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAkBjD,qBAAqB,CAAC,SAAS,EAAE,IAAI,GAAG,IAAI;IAU5C,2BAA2B,IAAI,IAAI;IAmBnC,OAAO,CAAC,YAAY;IAOpB,WAAW,IAAI,IAAI;IAgDnB,MAAM,IAAI,IAAI;IASd,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAO7B,OAAO,CAAC,WAAW;IASb,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC;IAuBvC,gBAAgB,CAAC,OAAO,CAAC,EAAE;QAC7B,YAAY,CAAC,EAAE,MAAM,CAAA;QACrB,qBAAqB,CAAC,EAAE,MAAM,CAAA;KACjC,GAAG,OAAO,CAAC,wBAAwB,CAAC;IA4BrC,cAAc,IAAI,IAAI;IAetB,oGAAoG;IACpG,aAAa,IAAI,IAAI;IASrB,OAAO,CAAC,eAAe;IAmFvB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,kBAAkB;IAM1B,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,qBAAqB;CAGhC"}

package/dist/engine/review/review-engine.js CHANGED Viewed

@@ -56,7 +56,14 @@ export class ReviewEngine {
     dropStaleAssignments() {
         let dropped = 0;
         for (const id of Object.keys(this.draft.claimAssignments)) {
-            if (!this.argEngine.getClaim(id)) {
+            // `getProjectClaim` is shared's domain accessor returning the
+            // richer `TClaim` from the per-engine `claimsMap`. Core 1.0
+            // promoted `getClaim(claimId, claimVersion)` on the
+            // `ArgumentEngine` base surface (returns the minimal
+            // `TCoreClaim`); shared's domain method was renamed to avoid the
+            // override collision. See `PropositArgumentEngine` for the full
+            // rationale.
+            if (!this.argEngine.getProjectClaim(id)) {
                 delete this.draft.claimAssignments[id];
                 dropped++;
             }

package/dist/engine/review/review-engine.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"review-engine.js","sourceRoot":"","sources":["../../../src/engine/review/review-engine.ts"],"names":[],"mappings":"AAeA,OAAO,EACH,eAAe,EACf,kBAAkB,EAClB,YAAY,GAEf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACH,yBAAyB,EACzB,sBAAsB,GACzB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAGtD,MAAM,kBAAkB,GAAG,EAAE,CAAA;AAE7B,MAAM,KAAK,GAAG,GAAS,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;AA0CxD,MAAM,OAAO,YAAY;IACb,SAAS,CAAwB;IACjC,KAAK,CAAc;IACnB,GAAG,CAAY;IACf,KAAK,CAAc;IACnB,UAAU,CAA2B;IACrC,UAAU,CAAQ;IAClB,aAAa,CAAuB;IACpC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,OAAO,GAAsD,EAAE,CAAA;IAC/D,SAAS,GAAG,IAAI,GAAG,EAAc,CAAA;IACjC,aAAa,CAAmC;IAChD,SAAS,CAA2C;IACpD,iBAAiB,GAAG,CAAC,CAAA;IAC7B,4IAA4I;IACpI,sBAAsB,GAAG,KAAK,CAAA;IACtC,wGAAwG;IACxF,IAAI,CAAkB;IAEtC,YAAY,IAOX;QACG,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;QAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACvB,IAAI,CAAC,GAAG,GAAG;YACP,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;YAC3C,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,OAAO;YACrD,MAAM,EAAE,IAAI,CAAC,MAAM;SACtB,CAAA;QACD,IAAI,CAAC,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACjD,IAAI,CAAC,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACvD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QACnD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,aAAa,CAAA;QACpC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAA;QACnC,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAEO,UAAU;QACd,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;QACtB,OAAO;YACH,aAAa,EAAE,CAAC;YAChB,QAAQ,EAAE,KAAK,EAAE;YACjB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU;YAC/B,eAAe,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe;YACzC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM;YACvB,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,GAAG;YACd,KAAK,EAAE,QAAQ;YACf,gBAAgB,EAAE,CAAC;YACnB,gBAAgB,EAAE,EAAE;YACpB,mBAAmB,EAAE,EAAE;SAC1B,CAAA;IACL,CAAC;IAEO,oBAAoB;QACxB,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAA;gBACtC,OAAO,EAAE,CAAA;YACb,CAAC;QACL,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAClE,CAAC,CAAC,EAAE,EAAE;YACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACX,OAAO,EAAE,CAAA;gBACT,OAAO,KAAK,CAAA;YAChB,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,OAAO;qBACf,cAAc,EAAE;qBAChB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,CAAA;gBACzC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACR,OAAO,EAAE,CAAA;oBACT,OAAO,KAAK,CAAA;gBAChB,CAAC;YACL,CAAC;YACD,OAAO,IAAI,CAAA;QACf,CAAC,CACJ,CAAA;QACD,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAA;IACpC,CAAC;IAED,KAAK;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,KAAK,CAAC,KAAK;QACP,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;QAC9B,IAAI,CAAC,UAAU,GAAG,SAAS,CAAA;QAC3B,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAA;QAChC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAA;QACjB,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,SAAS,CAAC,QAAoB;QAC1B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC5B,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IAED,WAAW;QACP,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,eAAe,EAAE,CAAA;QAC7C,OAAO,IAAI,CAAC,aAAa,CAAA;IAC7B,CAAC;IAEO,MAAM;QACV,mEAAmE;QACnE,kEAAkE;QAClE,sEAAsE;QACtE,mEAAmE;QACnE,mEAAmE;QACnE,sBAAsB;QACtB,IAAI,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAA;QAC9B,IAAI,CAAC,aAAa,GAAG,SAAS,CAAA;QAC9B,IAAI,CAAC,eAAe,EAAE,CAAA;QACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,CAAC,EAAE,CAAA;IACvC,CAAC;IAEO,eAAe;QACnB,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,IAAI,CAAC,SAAS,GAAG,UAAU,CAAC,GAAG,EAAE;YAC7B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;YAC1B,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAC,CAAA;QACN,CAAC,EAAE,GAAG,CAAC,CAAA;IACX,CAAC;IAEO,aAAa;QACjB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC5B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC9B,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,KAAK,CAAC,eAAe;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC7C,IAAI,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;YACxB,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;YAClC,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC/B,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IACtE,aAAa,CAAC,OAAa,EAAE,KAAsB;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAClD,mEAAmE;QACnE,qDAAqD;QACrD,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,uBAAuB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACpD,CAAA;QACD,MAAM,eAAe,GACjB,KAAK,EAAE,UAAU,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YACjD,CAAC,CAAC,KAAK,CAAC,UAAU;YAClB,CAAC,CAAC,SAAS,CAAA;QACnB,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG;YACnC,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,KAAK,EAAE;YAC5C,OAAO;YACP,KAAK;YACL,UAAU,EAAE,eAAe;YAC3B,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,IAAI,IAAI,EAAE;SACxB,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,yEAAyE;IACzE,SAAS,CAAC,OAAa;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,KAAK,GAAG,CAAC;YAAE,OAAM;QACrB,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAA;QAC3B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACnC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,8EAA8E;IAC9E,WAAW,CAAC,SAAe;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CACnC,CAAA;QACD,IAAI,KAAK,GAAG,CAAC;YAAE,OAAM;QACrB,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACnC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,OAAa;QAC1B,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAA;QAClC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAC3B,CAAC;IAED;;;OAGG;IACH,kBAAkB,CAAC,SAAe;QAC9B,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAA;QAClC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC/B,CAAC;IAED,yEAAyE;IACzE,aAAa;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAA;IAC/B,CAAC;IAED,oEAAoE;IACpE,gBAAgB;QACZ,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACrD,CAAC;IAED,cAAc,CAAC,OAAa,EAAE,IAAsB;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,OAAO,EAAE,CAAC,CAAA;QACvE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;QACjE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,SAAS,CAAC,OAAa;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG;YACnC,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,KAAK,EAAE;YAC5C,OAAO;YACP,KAAK,EAAE,IAAI;YACX,UAAU,EAAE,KAAK,EAAE,UAAU;YAC7B,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,IAAI,IAAI,EAAE;SACxB,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IACtE,qBAAqB,CAAC,KAKrB;QACG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,MAAM,GAAwB;YAChC,YAAY,EAAE,KAAK,EAAE;YACrB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,SAAS,EAAE,IAAI,IAAI,EAAE;SACxB,CAAA;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,SAAS,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;QACD,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG;gBAClC,GAAG,MAAM;gBACT,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,YAAY;aACjE,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC/C,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,iBAAiB,CAAC,GAAW,EAAE,IAAyB;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,CAAC,SAAS,EAAE,YAAY,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,SAAS,CAChD,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,SAAS,KAAK,SAAS;YACzB,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,KAAK,YAAY,CAC9C,CAAA;QACD,IAAI,GAAG,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,EAAE,CAAC,CAAA;QACnE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG;YAClC,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC;YACtC,UAAU,EAAE,IAAI;SACnB,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,gEAAgE;IAChE,YAAY,CAAC,GAAW;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,0BAA0B,CAAC,SAAe;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACpD,IAAI,CAAC,OAAO;YAAE,OAAM;QACpB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAC5D,CAAA;QACD,MAAM,IAAI,GACN,YAAY,EAAE,QAAQ,IAAI,UAAU,CAAA;QACxC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC;YAC3D,IAAI,CAAC,qBAAqB,CAAC;gBACvB,SAAS;gBACT,KAAK,EAAE,YAAY;gBACnB,YAAY,EAAE,IAAI,CAAC,EAAE;gBACrB,QAAQ,EAAE,IAAI;aACjB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,qBAAqB,CAAC,SAAe;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAClE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAClE,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IACtE,2BAA2B;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;oBACZ,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG;wBACrC,GAAG,CAAC;wBACJ,SAAS,EAAE,IAAI,IAAI,EAAE;qBACxB,CAAA;gBACL,CAAC;YACL,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAA;QAClC,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC1C,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAA;YAChC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;QAC7B,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAEO,YAAY,CAAC,KAA4B;QAC7C,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAA;QACxB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;IACrC,CAAC;IAED,WAAW;QACP,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAC9B,IAAI,CAAC,sBAAsB,GAAG,KAAK,CAAA;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAA;YACzB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;YAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;YACjC,IAAI,CAAC,MAAM,EAAE,CAAA;YACb,OAAM;QACV,CAAC;QACD,MAAM,MAAM,GACR,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;YACzB,CAAC,CAAC,YAAY,CAAC;gBACT,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE;gBAChD,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;gBACzC,WAAW,EAAE,IAAI,CAAC,gBAAgB,EAAE;gBACpC,WAAW,EAAE,IAAI,CAAC,gBAAgB,EAAE;aACvC,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW;gBAChC,CAAC,CAAC,YAAY,CAAC;oBACT,KAAK,EAAE;wBACH,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,IAAI,CAAC,aAAa;qBAC5B;oBACD,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;oBACzC,WAAW,EAAE,IAAI,CAAC,mBAAmB;oBACrC,WAAW,EAAE,IAAI,CAAC,mBAAmB,EAAE;iBAC1C,CAAC;gBACJ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAA;QACnC,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,CACb,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CACvD,CAAA;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;YACpC,wEAAwE;YACxE,6EAA6E;YAC7E,MAAM,KAAK,GACP,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;gBACzB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM;gBACxB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAA;YACnC,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,MAAM;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAA;QAC/B,IAAI,CAAC,IAAI;YAAE,OAAM;QACjB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAC7B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAA;QACxC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,QAAQ,CAAC,KAAa;QAClB,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QAChD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAEO,WAAW;QACf,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YACd,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;SACrC,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG;YAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAA;IACvD,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,aAAa;QACf,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;QACtB,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;QACxE,MAAM,MAAM,GAAkB;YAC1B,aAAa,EAAE,CAAC;YAChB,SAAS,EAAE,GAAG;YACd,WAAW,EAAE,GAAG;YAChB,oBAAoB,EAAE,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;YACrD,UAAU;YACV,aAAa,EAAE,SAAS;SAC3B,CAAA;QACD,IAAI,CAAC,UAAU,GAAG,MAAM,CAAA;QACxB,oEAAoE;QACpE,wEAAwE;QACxE,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;YAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,MAAM;SACrB,CAAC,CAAA;QACF,IAAI,CAAC,MAAM,EAAE,CAAA;QACb,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,OAGtB;QACG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAA;QAClD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QAC3D,MAAM,eAAe,GAAG,GAAG,CAAC,eAAe,EAAE,KAAK,CAC9C,CAAC,EACD,kBAAkB,CACrB,CAAA;QACD,MAAM,MAAM,GAA6B;YACrC,GAAG,GAAG;YACN,eAAe;YACf,SAAS;YACL,6GAA6G;YAC7G,GAAG,CAAC,SAAS;gBACb,CAAC,GAAG,CAAC,eAAe,KAAK,SAAS;oBAC9B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,kBAAkB,CAAC;SAC3D,CAAA;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,IAAI,CAAC,UAAU,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,CAAA;YAC/D,IAAI,CAAC,aAAa,EAAE,CAAA;YACpB,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;QACb,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,cAAc;QACV,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAA;YACzC,IAAI,CAAC,CAAC,OAAO;gBACT,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;QAClE,CAAC;QACD,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAA;QAChC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAA;QACjB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAA;QAC3B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,oGAAoG;IACpG,aAAa;QACT,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAA;QACzB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IAC9D,eAAe;QACnB,IAAI,WAAoC,CAAA;QACxC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;YAC5D,IAAI,OAAO,EAAE,CAAC;gBACV,MAAM,IAAI,GAAW,EAAE,CAAA;gBACvB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC;oBAC5C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,wBAAwB,EAAE,EAAE,CAAC;wBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;wBAChD,MAAM,IAAI,GACN,QAAQ,IAAI,SAAS,IAAI,QAAQ;4BAC7B,CAAC,CAAC,QAAQ,CAAC,OAAO;4BAClB,CAAC,CAAC,SAAS,CAAA;wBACnB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;4BACnB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;4BACpB,MAAK;wBACT,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,WAAW,GAAG;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO;oBACP,sBAAsB,EAAE,IAAI;iBAC/B,CAAA;YACL,CAAC;iBAAM,IAAI,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC;gBACnC,WAAW,GAAG;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,KAAK,EAAE,QAAQ;oBACf,cAAc,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;iBAC/C,CAAA;YACL,CAAC;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;YAC7D,IAAI,KAAK,EAAE,CAAC;gBACR,WAAW,GAAG;oBACV,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,KAAK,EAAE,SAAS;iBACnB,CAAA;YACL,CAAC;iBAAM,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;gBACtC,WAAW,GAAG;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,KAAK,EAAE,WAAW;oBAClB,cAAc,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI;iBAChD,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,WAAW,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;QACrC,CAAC;QAED,OAAO;YACH,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,WAAW;YACX,QAAQ,EAAE;gBACN,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM;gBACnC,aAAa,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;gBAC3C,aAAa,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;gBAC3C,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM;gBACxC,eAAe,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,IAAI;gBAChD,eAAe,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI;gBAC9C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK;gBACvB,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;gBAC7C,iBAAiB,EACb,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM;oBACxB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW;wBAChC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM;wBAC3B,CAAC,CAAC,CAAC;gBACb,wBAAwB,EACpB,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;oBAC9B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW;wBAChC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI;wBAC/B,CAAC,CAAC,CAAC;gBACb,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;aACrC;YACD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM;YAC7C,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;SAC5C,CAAA;IACL,CAAC;IAED,sEAAsE;IAC9D,gBAAgB;QACpB,OAAO,IAAI,GAAG,CACV,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAA;IACL,CAAC;IACO,gBAAgB;QACpB,OAAO,IAAI,GAAG,CACV,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAA;IACL,CAAC;IACO,kBAAkB;QACtB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAA;QAC9B,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC;IACO,mBAAmB;QACvB,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAA;QAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,mBAAmB;YAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/D,OAAO,CAAC,CAAA;IACZ,CAAC;IACO,qBAAqB;QACzB,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC,CAAA;IAC5C,CAAC;CACJ;AAED,SAAS,KAAK,CAAC,CAAsB;IACjC,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,CAAC,CAAC,SAAS;QACb,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAA;AAClD,CAAC"}
1	+ {"version":3,"file":"review-engine.js","sourceRoot":"","sources":["../../../src/engine/review/review-engine.ts"],"names":[],"mappings":"AAeA,OAAO,EACH,eAAe,EACf,kBAAkB,EAClB,YAAY,GAEf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACH,yBAAyB,EACzB,sBAAsB,GACzB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AAGtD,MAAM,kBAAkB,GAAG,EAAE,CAAA;AAE7B,MAAM,KAAK,GAAG,GAAS,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;AA0CxD,MAAM,OAAO,YAAY;IACb,SAAS,CAAwB;IACjC,KAAK,CAAc;IACnB,GAAG,CAAY;IACf,KAAK,CAAc;IACnB,UAAU,CAA2B;IACrC,UAAU,CAAQ;IAClB,aAAa,CAAuB;IACpC,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IACvC,OAAO,GAAsD,EAAE,CAAA;IAC/D,SAAS,GAAG,IAAI,GAAG,EAAc,CAAA;IACjC,aAAa,CAAmC;IAChD,SAAS,CAA2C;IACpD,iBAAiB,GAAG,CAAC,CAAA;IAC7B,4IAA4I;IACpI,sBAAsB,GAAG,KAAK,CAAA;IACtC,wGAAwG;IACxF,IAAI,CAAkB;IAEtC,YAAY,IAOX;QACG,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;QAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACvB,IAAI,CAAC,GAAG,GAAG;YACP,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE;YAC3C,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,OAAO;YACrD,MAAM,EAAE,IAAI,CAAC,MAAM;SACtB,CAAA;QACD,IAAI,CAAC,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACjD,IAAI,CAAC,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACvD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QACnD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,aAAa,CAAA;QACpC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAA;QACnC,IAAI,CAAC,oBAAoB,EAAE,CAAA;IAC/B,CAAC;IAEO,UAAU;QACd,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;QACtB,OAAO;YACH,aAAa,EAAE,CAAC;YAChB,QAAQ,EAAE,KAAK,EAAE;YACjB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU;YAC/B,eAAe,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe;YACzC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM;YACvB,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,GAAG;YACd,KAAK,EAAE,QAAQ;YACf,gBAAgB,EAAE,CAAC;YACnB,gBAAgB,EAAE,EAAE;YACpB,mBAAmB,EAAE,EAAE;SAC1B,CAAA;IACL,CAAC;IAEO,oBAAoB;QACxB,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACxD,8DAA8D;YAC9D,4DAA4D;YAC5D,oDAAoD;YACpD,qDAAqD;YACrD,iEAAiE;YACjE,gEAAgE;YAChE,aAAa;YACb,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtC,OAAO,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAA;gBACtC,OAAO,EAAE,CAAA;YACb,CAAC;QACL,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAClE,CAAC,CAAC,EAAE,EAAE;YACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACX,OAAO,EAAE,CAAA;gBACT,OAAO,KAAK,CAAA;YAChB,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,OAAO;qBACf,cAAc,EAAE;qBAChB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,CAAA;gBACzC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACR,OAAO,EAAE,CAAA;oBACT,OAAO,KAAK,CAAA;gBAChB,CAAC;YACL,CAAC;YACD,OAAO,IAAI,CAAA;QACf,CAAC,CACJ,CAAA;QACD,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAA;IACpC,CAAC;IAED,KAAK;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,KAAK,CAAC,KAAK;QACP,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;QAC9B,IAAI,CAAC,UAAU,GAAG,SAAS,CAAA;QAC3B,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAA;QAChC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAA;QACjB,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,SAAS,CAAC,QAAoB;QAC1B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC5B,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IAChD,CAAC;IAED,WAAW;QACP,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,eAAe,EAAE,CAAA;QAC7C,OAAO,IAAI,CAAC,aAAa,CAAA;IAC7B,CAAC;IAEO,MAAM;QACV,mEAAmE;QACnE,kEAAkE;QAClE,sEAAsE;QACtE,mEAAmE;QACnE,mEAAmE;QACnE,sBAAsB;QACtB,IAAI,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAA;QAC9B,IAAI,CAAC,aAAa,GAAG,SAAS,CAAA;QAC9B,IAAI,CAAC,eAAe,EAAE,CAAA;QACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,CAAC,EAAE,CAAA;IACvC,CAAC;IAEO,eAAe;QACnB,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,IAAI,CAAC,SAAS,GAAG,UAAU,CAAC,GAAG,EAAE;YAC7B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;YAC1B,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAC,CAAA;QACN,CAAC,EAAE,GAAG,CAAC,CAAA;IACX,CAAC;IAEO,aAAa;QACjB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjB,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC5B,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC9B,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,KAAK,CAAC,eAAe;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC7C,IAAI,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;YACxB,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;YAClC,IAAI,CAAC,oBAAoB,EAAE,CAAA;QAC/B,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IACtE,aAAa,CAAC,OAAa,EAAE,KAAsB;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAClD,mEAAmE;QACnE,qDAAqD;QACrD,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,uBAAuB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACpD,CAAA;QACD,MAAM,eAAe,GACjB,KAAK,EAAE,UAAU,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YACjD,CAAC,CAAC,KAAK,CAAC,UAAU;YAClB,CAAC,CAAC,SAAS,CAAA;QACnB,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG;YACnC,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,KAAK,EAAE;YAC5C,OAAO;YACP,KAAK;YACL,UAAU,EAAE,eAAe;YAC3B,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,IAAI,IAAI,EAAE;SACxB,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,yEAAyE;IACzE,SAAS,CAAC,OAAa;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,KAAK,GAAG,CAAC;YAAE,OAAM;QACrB,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAA;QAC3B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACnC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,8EAA8E;IAC9E,WAAW,CAAC,SAAe;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CACnC,CAAA;QACD,IAAI,KAAK,GAAG,CAAC;YAAE,OAAM;QACrB,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACnC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,OAAa;QAC1B,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAA;QAClC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;IAC3B,CAAC;IAED;;;OAGG;IACH,kBAAkB,CAAC,SAAe;QAC9B,IAAI,CAAC,sBAAsB,GAAG,IAAI,CAAA;QAClC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC/B,CAAC;IAED,yEAAyE;IACzE,aAAa;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAA;IAC/B,CAAC;IAED,oEAAoE;IACpE,gBAAgB;QACZ,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACrD,CAAC;IAED,cAAc,CAAC,OAAa,EAAE,IAAsB;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAC9C,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,OAAO,EAAE,CAAC,CAAA;QACvE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;QACjE,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,SAAS,CAAC,OAAa;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG;YACnC,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,KAAK,EAAE;YAC5C,OAAO;YACP,KAAK,EAAE,IAAI;YACX,UAAU,EAAE,KAAK,EAAE,UAAU;YAC7B,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,IAAI,IAAI,EAAE;SACxB,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IACtE,qBAAqB,CAAC,KAKrB;QACG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,MAAM,GAAwB;YAChC,YAAY,EAAE,KAAK,EAAE;YACrB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,SAAS,EAAE,IAAI,IAAI,EAAE;SACxB,CAAA;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,SAAS,CAChD,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CACpC,CAAA;QACD,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG;gBAClC,GAAG,MAAM;gBACT,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,YAAY;aACjE,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC/C,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,iBAAiB,CAAC,GAAW,EAAE,IAAyB;QACpD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,MAAM,CAAC,SAAS,EAAE,YAAY,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,SAAS,CAChD,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,CAAC,SAAS,KAAK,SAAS;YACzB,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,KAAK,YAAY,CAC9C,CAAA;QACD,IAAI,GAAG,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,EAAE,CAAC,CAAA;QACnE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG;YAClC,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC;YACtC,UAAU,EAAE,IAAI;SACnB,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,gEAAgE;IAChE,YAAY,CAAC,GAAW;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,0BAA0B,CAAC,SAAe;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACpD,IAAI,CAAC,OAAO;YAAE,OAAM;QACpB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAC5D,CAAA;QACD,MAAM,IAAI,GACN,YAAY,EAAE,QAAQ,IAAI,UAAU,CAAA;QACxC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC;YAC3D,IAAI,CAAC,qBAAqB,CAAC;gBACvB,SAAS;gBACT,KAAK,EAAE,YAAY;gBACnB,YAAY,EAAE,IAAI,CAAC,EAAE;gBACrB,QAAQ,EAAE,IAAI;aACjB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,qBAAqB,CAAC,SAAe;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAClE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAClE,CAAA;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IACtE,2BAA2B;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;oBACZ,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG;wBACrC,GAAG,CAAC;wBACJ,SAAS,EAAE,IAAI,IAAI,EAAE;qBACxB,CAAA;gBACL,CAAC;YACL,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAA;QAClC,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC1C,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAA;YAChC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;QAC7B,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAEO,YAAY,CAAC,KAA4B;QAC7C,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAA;QACxB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;IACrC,CAAC;IAED,WAAW;QACP,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAC9B,IAAI,CAAC,sBAAsB,GAAG,KAAK,CAAA;YACnC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAA;YACzB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;YAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;YACjC,IAAI,CAAC,MAAM,EAAE,CAAA;YACb,OAAM;QACV,CAAC;QACD,MAAM,MAAM,GACR,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;YACzB,CAAC,CAAC,YAAY,CAAC;gBACT,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE;gBAChD,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;gBACzC,WAAW,EAAE,IAAI,CAAC,gBAAgB,EAAE;gBACpC,WAAW,EAAE,IAAI,CAAC,gBAAgB,EAAE;aACvC,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW;gBAChC,CAAC,CAAC,YAAY,CAAC;oBACT,KAAK,EAAE;wBACH,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,IAAI,CAAC,aAAa;qBAC5B;oBACD,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;oBACzC,WAAW,EAAE,IAAI,CAAC,mBAAmB;oBACrC,WAAW,EAAE,IAAI,CAAC,mBAAmB,EAAE;iBAC1C,CAAC;gBACJ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAA;QACnC,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,CACb,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CACvD,CAAA;QACL,CAAC;aAAM,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;YACpC,wEAAwE;YACxE,6EAA6E;YAC7E,MAAM,KAAK,GACP,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;gBACzB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM;gBACxB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAA;YACnC,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,KAAK,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,MAAM;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAA;QAC/B,IAAI,CAAC,IAAI;YAAE,OAAM;QACjB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAC7B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAA;QACxC,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,QAAQ,CAAC,KAAa;QAClB,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QAChD,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAEO,WAAW;QACf,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YACd,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;SACrC,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG;YAAE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAA;IACvD,CAAC;IAED,sEAAsE;IACtE,KAAK,CAAC,aAAa;QACf,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAA;QACtB,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;QACxE,MAAM,MAAM,GAAkB;YAC1B,aAAa,EAAE,CAAC;YAChB,SAAS,EAAE,GAAG;YACd,WAAW,EAAE,GAAG;YAChB,oBAAoB,EAAE,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;YACrD,UAAU;YACV,aAAa,EAAE,SAAS;SAC3B,CAAA;QACD,IAAI,CAAC,UAAU,GAAG,MAAM,CAAA;QACxB,oEAAoE;QACpE,wEAAwE;QACxE,IAAI,CAAC,aAAa,EAAE,CAAA;QACpB,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;YAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,MAAM;SACrB,CAAC,CAAA;QACF,IAAI,CAAC,MAAM,EAAE,CAAA;QACb,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,OAGtB;QACG,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAA;QAClD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;QAC3D,MAAM,eAAe,GAAG,GAAG,CAAC,eAAe,EAAE,KAAK,CAC9C,CAAC,EACD,kBAAkB,CACrB,CAAA;QACD,MAAM,MAAM,GAA6B;YACrC,GAAG,GAAG;YACN,eAAe;YACf,SAAS;YACL,6GAA6G;YAC7G,GAAG,CAAC,SAAS;gBACb,CAAC,GAAG,CAAC,eAAe,KAAK,SAAS;oBAC9B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,kBAAkB,CAAC;SAC3D,CAAA;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,IAAI,CAAC,UAAU,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,CAAA;YAC/D,IAAI,CAAC,aAAa,EAAE,CAAA;YACpB,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC9B,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAA;QACb,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,cAAc;QACV,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAM;QACpC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAA;YACzC,IAAI,CAAC,CAAC,OAAO;gBACT,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;QAClE,CAAC;QACD,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAA;QAChC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAA;QACjB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAA;QAC3B,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,oGAAoG;IACpG,aAAa;QACT,IAAI,CAAC,WAAW,EAAE,CAAA;QAClB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAA;QACzB,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QACjC,IAAI,CAAC,MAAM,EAAE,CAAA;IACjB,CAAC;IAED,sEAAsE;IAC9D,eAAe;QACnB,IAAI,WAAoC,CAAA;QACxC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;YAC5D,IAAI,OAAO,EAAE,CAAC;gBACV,MAAM,IAAI,GAAW,EAAE,CAAA;gBACvB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC;oBAC5C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,wBAAwB,EAAE,EAAE,CAAC;wBAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;wBAChD,MAAM,IAAI,GACN,QAAQ,IAAI,SAAS,IAAI,QAAQ;4BAC7B,CAAC,CAAC,QAAQ,CAAC,OAAO;4BAClB,CAAC,CAAC,SAAS,CAAA;wBACnB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;4BACnB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;4BACpB,MAAK;wBACT,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,WAAW,GAAG;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO;oBACP,sBAAsB,EAAE,IAAI;iBAC/B,CAAA;YACL,CAAC;iBAAM,IAAI,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC;gBACnC,WAAW,GAAG;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,KAAK,EAAE,QAAQ;oBACf,cAAc,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;iBAC/C,CAAA;YACL,CAAC;QACL,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAA;YAC7D,IAAI,KAAK,EAAE,CAAC;gBACR,WAAW,GAAG;oBACV,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,KAAK,EAAE,SAAS;iBACnB,CAAA;YACL,CAAC;iBAAM,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;gBACtC,WAAW,GAAG;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,KAAK,EAAE,WAAW;oBAClB,cAAc,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI;iBAChD,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,WAAW,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;QACrC,CAAC;QAED,OAAO;YACH,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,WAAW;YACX,QAAQ,EAAE;gBACN,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM;gBACnC,aAAa,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;gBAC3C,aAAa,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;gBAC3C,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM;gBACxC,eAAe,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,IAAI;gBAChD,eAAe,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI;gBAC9C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK;gBACvB,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB;gBAC7C,iBAAiB,EACb,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM;oBACxB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW;wBAChC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM;wBAC3B,CAAC,CAAC,CAAC;gBACb,wBAAwB,EACpB,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBACzB,CAAC,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI;oBAC9B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,WAAW;wBAChC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI;wBAC/B,CAAC,CAAC,CAAC;gBACb,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;aACrC;YACD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,MAAM;YAC7C,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;SAC5C,CAAA;IACL,CAAC;IAED,sEAAsE;IAC9D,gBAAgB;QACpB,OAAO,IAAI,GAAG,CACV,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAA;IACL,CAAC;IACO,gBAAgB;QACpB,OAAO,IAAI,GAAG,CACV,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;aACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAA;IACL,CAAC;IACO,kBAAkB;QACtB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAA;QAC9B,CAAC;QACD,OAAO,KAAK,CAAA;IAChB,CAAC;IACO,mBAAmB;QACvB,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAA;QAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,mBAAmB;YAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/D,OAAO,CAAC,CAAA;IACZ,CAAC;IACO,qBAAqB;QACzB,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC,CAAA;IAC5C,CAAC;CACJ;AAED,SAAS,KAAK,CAAC,CAAsB;IACjC,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,CAAC,CAAC,SAAS;QACb,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAA;AAClD,CAAC"}

package/dist/schemas/api/grammar-violations.d.ts ADDED Viewed

@@ -0,0 +1,17 @@
+import { Type, type Static } from "typebox";
+export declare const GrammarViolationsResponseSchema: Type.TObject<{
+    error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
+    tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
+    violations: Type.TArray<Type.TObject<{
+        tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
+        code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
+        message: Type.TString;
+        argumentId: Type.TOptional<Type.TString>;
+        premiseId: Type.TOptional<Type.TString>;
+        expressionId: Type.TOptional<Type.TString>;
+        variableId: Type.TOptional<Type.TString>;
+        claimId: Type.TOptional<Type.TString>;
+    }>>;
+}>;
+export type TGrammarViolationsResponse = Static<typeof GrammarViolationsResponseSchema>;
+//# sourceMappingURL=grammar-violations.d.ts.map

package/dist/schemas/api/grammar-violations.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"grammar-violations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/grammar-violations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;EAI1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA"}

package/dist/schemas/api/grammar-violations.js ADDED Viewed

@@ -0,0 +1,18 @@
+// 422-equivalent response envelope returned by server endpoints that
+// reject a request due to grammar-tier violations. Used by:
+//   - submit/save endpoints in assistive mode (validate('derivable') gate)
+//   - publish endpoint (validate('presentable') gate)
+//
+// `error` is the stable string discriminator ("GRAMMAR_VIOLATIONS") that
+// allows clients to switch on response type without sniffing tier/codes.
+// `tier` is the gate the request failed at (the strictest tier the
+// endpoint enforces). `violations` is the full list — clients may render
+// them inline next to the offending entity (see spec §10.3, §10.4).
+import { Type } from "typebox";
+import { GrammarTierSchema, ViolationSchema } from "../grammar/index.js";
+export const GrammarViolationsResponseSchema = Type.Object({
+    error: Type.Literal("GRAMMAR_VIOLATIONS"),
+    tier: GrammarTierSchema,
+    violations: Type.Array(ViolationSchema),
+});
+//# sourceMappingURL=grammar-violations.js.map

package/dist/schemas/api/grammar-violations.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"grammar-violations.js","sourceRoot":"","sources":["../../../src/schemas/api/grammar-violations.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,4DAA4D;AAC5D,2EAA2E;AAC3E,sDAAsD;AACtD,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,mEAAmE;AACnE,yEAAyE;AACzE,oEAAoE;AAEpE,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAExE,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACzC,IAAI,EAAE,iBAAiB;IACvB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC;CAC1C,CAAC,CAAA"}

package/dist/schemas/grammar/index.d.ts ADDED Viewed

@@ -0,0 +1,3 @@
+export { GrammarTierSchema, GrammarRuleCodeSchema, ViolationSchema, } from "@proposit/proposit-core";
+export type { TGrammarTier, TGrammarRuleCode, TViolation, } from "@proposit/proposit-core";
+//# sourceMappingURL=index.d.ts.map

package/dist/schemas/grammar/index.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schemas/grammar/index.ts"],"names":[],"mappings":"AAsBA,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,yBAAyB,CAAA;AAChC,YAAY,EACR,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACb,MAAM,yBAAyB,CAAA"}

package/dist/schemas/grammar/index.js ADDED Viewed

@@ -0,0 +1,23 @@
+// Re-export of the four-tier grammar wire format from
+// `@proposit/proposit-core`. Server and mobile import the schemas + types
+// through `@proposit/shared/schemas/grammar` for the ergonomic single-import
+// path; the source of truth is core (its `src/lib/grammar/types.ts`).
+//
+// The 2026-05-14 design restructure relocated wire-format ownership of
+// `TGrammarTier`, `TGrammarRuleCode`, and `TViolation` from shared to
+// core, matching the existing dep direction (shared has core as a peer
+// dep; the inverse would have created a mutual peer-dep pattern).
+// Pre-restructure drafts authored the schemas locally in this folder
+// (`tier.ts`, `rule-code.ts`, `violation.ts`) — those files were deleted
+// in shared 0.9.0 and replaced with this re-export. The 422-equivalent
+// response envelope that composes `TViolation` remains shared's
+// (`./schemas/api/grammar-violations`).
+//
+// Rule-code coordination: adding or renaming a code is a **core → shared
+// → consumers** publish chain. Core bumps to extend the `TGrammarRuleCode`
+// union and ship the validator emitting the new code; shared bumps
+// minor (no code changes here — the re-export automatically reflects
+// core's union via the dep range); server + mobile pick up via dep
+// bumps. See `CLAUDE.md` for the full protocol.
+export { GrammarTierSchema, GrammarRuleCodeSchema, ViolationSchema, } from "@proposit/proposit-core";
+//# sourceMappingURL=index.js.map

package/dist/schemas/grammar/index.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schemas/grammar/index.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,0EAA0E;AAC1E,6EAA6E;AAC7E,sEAAsE;AACtE,EAAE;AACF,uEAAuE;AACvE,sEAAsE;AACtE,uEAAuE;AACvE,kEAAkE;AAClE,qEAAqE;AACrE,yEAAyE;AACzE,uEAAuE;AACvE,gEAAgE;AAChE,wCAAwC;AACxC,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,mEAAmE;AACnE,qEAAqE;AACrE,mEAAmE;AACnE,gDAAgD;AAEhD,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,yBAAyB,CAAA"}

package/dist/schemas/model/claims.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,~~6NAO1B~~,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAarE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;AAKD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
1	+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,6NAyB1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAarE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;AAKD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/model/claims.js CHANGED Viewed

@@ -6,12 +6,24 @@ import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNor
 // from @proposit/shared/schemas keep working without code edits.
 export const ClaimTypeSchema = CoreClaimTypeSchema;
 export const AxiomKindSchema = Type.Union([
-    Type.Literal("definition"),
-    Type.Literal("stipulation"),
-    Type.Literal("logical-principle"),
-    Type.Literal("mathematical-principle"),
-    Type.Literal("domain-rule"),
-    Type.Literal("background-assumption"),
+    Type.Literal("definition", {
+        description: "The claim is true because of what the relevant words, categories, or concepts mean.",
+    }),
+    Type.Literal("stipulation", {
+        description: "Assumed locally for this argument; the argument defines or postulates it for its own purposes.",
+    }),
+    Type.Literal("logical-principle", {
+        description: "A basic principle of valid reasoning (for example, modus ponens or non-contradiction).",
+    }),
+    Type.Literal("mathematical-principle", {
+        description: "A basic mathematical identity, axiom, or quantitative rule.",
+    }),
+    Type.Literal("domain-rule", {
+        description: "Comes from a rule, standard, contract, doctrine, protocol, or authority internal to a system.",
+    }),
+    Type.Literal("background-assumption", {
+        description: "A foundational premise the argument relies on but does not prove.",
+    }),
 ]);
 // Single source of truth for `digest`. Everything that needs digest inherits
 // from this rather than re-declaring the field.

package/dist/schemas/model/claims.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;~~IAC1B~~,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;~~IAC3B~~,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;~~IACjC~~,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;~~IACtC~~,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;~~IAC3B~~,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;~~CACxC~~,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,mBAAmB;IAC7B,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,iEAAiE;AACjE,0EAA0E;AAC1E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;IACvE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,CAAC,CAAA"}
1	+ {"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;QACvB,WAAW,EACP,qFAAqF;KAC5F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9B,WAAW,EACP,wFAAwF;KAC/F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE;QACnC,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,+FAA+F;KACtG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE;QAClC,WAAW,EACP,mEAAmE;KAC1E,CAAC;CACL,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,mBAAmB;IAC7B,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,iEAAiE;AACjE,0EAA0E;AAC1E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;IACvE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,CAAC,CAAA"}

package/dist/schemas/review.d.ts CHANGED Viewed

@@ -65,9 +65,9 @@ export declare const ReviewDraftSchema: Type.TObject<{
     }>>;
 }>;
 export type TReviewDraft = Static<typeof ReviewDraftSchema>;
-export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
 export declare const TCoreValidationIssueSchema: Type.TObject<{
-    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
     message: Type.TString;
     premiseId: Type.TOptional<Type.TString>;
@@ -77,7 +77,7 @@ export declare const TCoreValidationIssueSchema: Type.TObject<{
 export declare const TCoreValidationResultSchema: Type.TObject<{
     ok: Type.TBoolean;
     issues: Type.TArray<Type.TObject<{
-        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
         severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
         message: Type.TString;
         premiseId: Type.TOptional<Type.TString>;
@@ -181,7 +181,7 @@ export declare const TCoreArgumentEvaluationResultSchema: Type.TObject<{
     validation: Type.TOptional<Type.TObject<{
         ok: Type.TBoolean;
         issues: Type.TArray<Type.TObject<{
-            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
             severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
             message: Type.TString;
             premiseId: Type.TOptional<Type.TString>;
@@ -343,7 +343,7 @@ export declare const TCoreCounterexampleSchema: Type.TObject<{
         validation: Type.TOptional<Type.TObject<{
             ok: Type.TBoolean;
             issues: Type.TArray<Type.TObject<{
-                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                 severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                 message: Type.TString;
                 premiseId: Type.TOptional<Type.TString>;
@@ -501,7 +501,7 @@ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
     validation: Type.TOptional<Type.TObject<{
         ok: Type.TBoolean;
         issues: Type.TArray<Type.TObject<{
-            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
             severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
             message: Type.TString;
             premiseId: Type.TOptional<Type.TString>;
@@ -523,7 +523,7 @@ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
             validation: Type.TOptional<Type.TObject<{
                 ok: Type.TBoolean;
                 issues: Type.TArray<Type.TObject<{
-                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                     message: Type.TString;
                     premiseId: Type.TOptional<Type.TString>;
@@ -688,7 +688,7 @@ export declare const ReviewResultSchema: Type.TObject<{
         validation: Type.TOptional<Type.TObject<{
             ok: Type.TBoolean;
             issues: Type.TArray<Type.TObject<{
-                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                 severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                 message: Type.TString;
                 premiseId: Type.TOptional<Type.TString>;
@@ -845,7 +845,7 @@ export declare const ReviewResultSchema: Type.TObject<{
         validation: Type.TOptional<Type.TObject<{
             ok: Type.TBoolean;
             issues: Type.TArray<Type.TObject<{
-                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                 severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                 message: Type.TString;
                 premiseId: Type.TOptional<Type.TString>;
@@ -867,7 +867,7 @@ export declare const ReviewResultSchema: Type.TObject<{
                 validation: Type.TOptional<Type.TObject<{
                     ok: Type.TBoolean;
                     issues: Type.TArray<Type.TObject<{
-                        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                         severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                         message: Type.TString;
                         premiseId: Type.TOptional<Type.TString>;
@@ -1063,7 +1063,7 @@ export declare const ReviewStateSchema: Type.TObject<{
             validation: Type.TOptional<Type.TObject<{
                 ok: Type.TBoolean;
                 issues: Type.TArray<Type.TObject<{
-                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                     message: Type.TString;
                     premiseId: Type.TOptional<Type.TString>;
@@ -1220,7 +1220,7 @@ export declare const ReviewStateSchema: Type.TObject<{
             validation: Type.TOptional<Type.TObject<{
                 ok: Type.TBoolean;
                 issues: Type.TArray<Type.TObject<{
-                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                     message: Type.TString;
                     premiseId: Type.TOptional<Type.TString>;
@@ -1242,7 +1242,7 @@ export declare const ReviewStateSchema: Type.TObject<{
                     validation: Type.TOptional<Type.TObject<{
                         ok: Type.TBoolean;
                         issues: Type.TArray<Type.TObject<{
-                            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID">]>;
                             severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                             message: Type.TString;
                             premiseId: Type.TOptional<Type.TString>;