@proposit/shared 0.1.0

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

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

package/dist/engine/types.d.ts

@@ -0,0 +1,42 @@
+import type { TPropositionalExpressionTypes, TLogicalOperatorType } from "../schemas/logic.js";
+interface TCommonNodeData {
+    childIds: Set<string>;
+}
+export interface TVariableNodeData extends TCommonNodeData {
+    premiseId: string;
+    variableId: string;
+    parentId: string | null;
+}
+export interface TOperatorNodeData extends TCommonNodeData {
+    premiseId: string;
+    parentId: string | null;
+    operator: TLogicalOperatorType;
+}
+interface TCommonFormulaData {
+    varDescendantIds: Set<string>;
+}
+export interface TFormulaNodeData extends TCommonFormulaData, TCommonNodeData {
+    premiseId: string;
+    parentId: string | null;
+}
+export interface TNodeDataMap {
+    variable: TVariableNodeData;
+    operator: TOperatorNodeData;
+    formula: TFormulaNodeData;
+}
+export type TArgumentNodeTypes = TPropositionalExpressionTypes;
+export interface TBaseNode<T extends TArgumentNodeTypes> {
+    id: string;
+    parentId?: string | undefined;
+    type: T;
+    data: TNodeDataMap[T];
+}
+type TVariableNode = TBaseNode<"variable">;
+type TOperatorNode = TBaseNode<"operator">;
+type TFormulaNode = TBaseNode<"formula">;
+type TAllArgumentNodes = TVariableNode | TOperatorNode | TFormulaNode;
+export type TArgumentNode<T extends TArgumentNodeTypes = TArgumentNodeTypes> = Extract<TAllArgumentNodes, {
+    type: T;
+}>;
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/engine/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/engine/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,6BAA6B,EAC7B,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAI5B,UAAU,eAAe;IACrB,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACxB;AAED,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACtD,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1B;AAED,MAAM,WAAW,iBAAkB,SAAQ,eAAe;IACtD,SAAS,EAAE,MAAM,CAAA;IACjB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,QAAQ,EAAE,oBAAoB,CAAA;CACjC;AAED,UAAU,kBAAkB;IACxB,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAChC;AAED,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB,EAAE,eAAe;IACzE,SAAS,EAAE,MAAM,CAAA;IACjB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1B;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,EAAE,iBAAiB,CAAA;IAC3B,QAAQ,EAAE,iBAAiB,CAAA;IAC3B,OAAO,EAAE,gBAAgB,CAAA;CAC5B;AAED,MAAM,MAAM,kBAAkB,GAAG,6BAA6B,CAAA;AAE9D,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,kBAAkB;IACnD,EAAE,EAAE,MAAM,CAAA;IACV,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC7B,IAAI,EAAE,CAAC,CAAA;IACP,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CACxB;AAED,KAAK,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC1C,KAAK,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;AAC1C,KAAK,YAAY,GAAG,SAAS,CAAC,SAAS,CAAC,CAAA;AACxC,KAAK,iBAAiB,GAAG,aAAa,GAAG,aAAa,GAAG,YAAY,CAAA;AACrE,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,kBAAkB,GAAG,kBAAkB,IACvE,OAAO,CAAC,iBAAiB,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA"}

package/dist/engine/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/engine/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/engine/types.ts"],"names":[],"mappings":""}

package/dist/errors.d.ts

@@ -0,0 +1,27 @@
+import type { TObjectLimitTypes } from "./schemas/model/users.js";
+export declare class NoSessionError extends Error {
+    constructor(message: string);
+}
+export declare class PermissionsDeniedError extends Error {
+    constructor(message: string);
+}
+export declare class ObjectNotFoundError extends Error {
+    constructor(message: string);
+}
+export declare class LimitExceededError extends Error {
+    readonly limitType: TObjectLimitTypes;
+    constructor(limitType: TObjectLimitTypes);
+}
+export declare class RedirectError extends Error {
+    constructor();
+}
+export declare class PublishValidationError extends Error {
+    constructor(message: string);
+}
+export declare class ValidationError extends Error {
+    constructor(message: string);
+}
+export declare class ChecksumMismatchError extends Error {
+    constructor(entity?: string);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAEjE,qBAAa,cAAe,SAAQ,KAAK;gBACzB,OAAO,EAAE,MAAM;CAM9B;AAED,qBAAa,sBAAuB,SAAQ,KAAK;gBACjC,OAAO,EAAE,MAAM;CAM9B;AAED,qBAAa,mBAAoB,SAAQ,KAAK;gBAC9B,OAAO,EAAE,MAAM;CAM9B;AAED,qBAAa,kBAAmB,SAAQ,KAAK;IACzC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAA;gBAEzB,SAAS,EAAE,iBAAiB;CAO3C;AAED,qBAAa,aAAc,SAAQ,KAAK;;CAOvC;AAED,qBAAa,sBAAuB,SAAQ,KAAK;gBACjC,OAAO,EAAE,MAAM;CAM9B;AAED,qBAAa,eAAgB,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAM9B;AAED,qBAAa,qBAAsB,SAAQ,KAAK;gBAChC,MAAM,CAAC,EAAE,MAAM;CAU9B"}

package/dist/errors.js

@@ -0,0 +1,61 @@
+export class NoSessionError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "NoSessionError";
+        Object.setPrototypeOf(this, new.target.prototype); // restore prototype chain
+    }
+}
+export class PermissionsDeniedError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "PermissionsDeniedError";
+        Object.setPrototypeOf(this, new.target.prototype); // restore prototype chain
+    }
+}
+export class ObjectNotFoundError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ObjectNotFoundError";
+        Object.setPrototypeOf(this, new.target.prototype); // restore prototype chain
+    }
+}
+export class LimitExceededError extends Error {
+    limitType;
+    constructor(limitType) {
+        super(`Limit exceeded for ${limitType}`);
+        this.name = "LimitExceededError";
+        this.limitType = limitType;
+        Object.setPrototypeOf(this, new.target.prototype); // restore prototype chain
+    }
+}
+export class RedirectError extends Error {
+    constructor() {
+        super(`Redirect required`);
+        this.name = "RedirectError";
+        Object.setPrototypeOf(this, new.target.prototype); // restore prototype chain
+    }
+}
+export class PublishValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "PublishValidationError";
+        Object.setPrototypeOf(this, new.target.prototype);
+    }
+}
+export class ValidationError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ValidationError";
+        Object.setPrototypeOf(this, new.target.prototype);
+    }
+}
+export class ChecksumMismatchError extends Error {
+    constructor(entity) {
+        super(entity
+            ? `Checksum mismatch on ${entity}. Entity was modified by another operation.`
+            : "Checksum mismatch. Entity was modified by another operation.");
+        this.name = "ChecksumMismatchError";
+        Object.setPrototypeOf(this, new.target.prototype);
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,cAAe,SAAQ,KAAK;IACrC,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAA;QAEd,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAA;QAC5B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA,CAAC,0BAA0B;IAChF,CAAC;CACJ;AAED,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAA;QAEd,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;QACpC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA,CAAC,0BAA0B;IAChF,CAAC;CACJ;AAED,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAA;QAEd,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAA;QACjC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA,CAAC,0BAA0B;IAChF,CAAC;CACJ;AAED,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAChC,SAAS,CAAmB;IAErC,YAAY,SAA4B;QACpC,KAAK,CAAC,sBAAsB,SAAS,EAAE,CAAC,CAAA;QAExC,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAA;QAChC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA,CAAC,0BAA0B;IAChF,CAAC;CACJ;AAED,MAAM,OAAO,aAAc,SAAQ,KAAK;IACpC;QACI,KAAK,CAAC,mBAAmB,CAAC,CAAA;QAE1B,IAAI,CAAC,IAAI,GAAG,eAAe,CAAA;QAC3B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA,CAAC,0BAA0B;IAChF,CAAC;CACJ;AAED,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAA;QAEd,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;QACpC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACrD,CAAC;CACJ;AAED,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACtC,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAA;QAEd,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAA;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACrD,CAAC;CACJ;AAED,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC5C,YAAY,MAAe;QACvB,KAAK,CACD,MAAM;YACF,CAAC,CAAC,wBAAwB,MAAM,6CAA6C;YAC7E,CAAC,CAAC,8DAA8D,CACvE,CAAA;QAED,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAA;QACnC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACrD,CAAC;CACJ"}

package/dist/schemas/api/argument/batch/change-edge-operator.d.ts

@@ -0,0 +1,281 @@
+import { Type, type Static } from "typebox";
+export declare const ChangeEdgeOperatorRequestSchema: Type.TObject<{
+    expressionId: Type.TString;
+    sourceChildId: Type.TString;
+    targetChildId: Type.TString;
+    newOperator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    sourceChecksum: Type.TString;
+    targetChecksum: Type.TString;
+}>;
+export type TChangeEdgeOperatorRequest = Static<typeof ChangeEdgeOperatorRequestSchema>;
+export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
+    snapshot: Type.TObject<{
+        argument: Type.TIntersect<[Type.TObject<{
+            createdOn: import("../../../common.js").TDateType;
+            creatorId: Type.TString;
+            title: Type.TString;
+            published: Type.TBoolean;
+            publishedOn: Type.TUnion<[import("../../../common.js").TDateType, Type.TNull]>;
+            forkId: Type.TUnion<[Type.TString, Type.TNull]>;
+            digest: Type.TString;
+            description: Type.TUnion<[Type.TString, Type.TNull]>;
+            id: Type.TString;
+            version: Type.TNumber;
+            titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
+            popularity: Type.TNumber;
+            platform: Type.TUnion<[Type.TLiteral<"twitter">, Type.TLiteral<"reddit">, Type.TLiteral<"raw_text">, Type.TLiteral<"manual">]>;
+            platformData: Type.TUnion<[Type.TUnion<[Type.TObject<{
+                argumentTitle: Type.TString;
+                textContent: Type.TNull;
+            }>, Type.TObject<{
+                argumentTitle: Type.TOptional<Type.TString>;
+                textContent: Type.TString;
+                postUrl: Type.TString;
+                importMode: Type.TUnion<[Type.TLiteral<"self_author">, Type.TLiteral<"other_author">, Type.TLiteral<"copy_contents">]>;
+                embedResponse: Type.TOptional<Type.TObject<{
+                    url: Type.TString;
+                    authorUrl: Type.TString;
+                    authorName: Type.TString;
+                    html: Type.TString;
+                    width: Type.TOptional<Type.TNumber>;
+                    height: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
+                    type: Type.TOptional<Type.TString>;
+                    version: Type.TOptional<Type.TString>;
+                    providerName: Type.TOptional<Type.TString>;
+                    providerUrl: Type.TOptional<Type.TString>;
+                    cacheAge: Type.TOptional<Type.TString>;
+                }>>;
+                username: Type.TOptional<Type.TString>;
+            }>, Type.TObject<{
+                argumentTitle: Type.TOptional<Type.TString>;
+                textContent: Type.TString;
+                postUrl: Type.TString;
+                username: Type.TOptional<Type.TString>;
+            }>, Type.TObject<{
+                argumentTitle: Type.TOptional<Type.TString>;
+                textContent: Type.TString;
+            }>]>, Type.TNull]>;
+            platformUsername: Type.TUnion<[Type.TString, Type.TNull]>;
+        }>, Type.TObject<{
+            checksum: Type.TOptional<Type.TString>;
+            descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            combinedChecksum: Type.TOptional<Type.TString>;
+        }>]>;
+        variables: Type.TObject<{
+            variables: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+                symbol: Type.TString;
+                createdOn: import("../../../common.js").TDateType;
+                creatorId: Type.TString;
+                claimId: Type.TString;
+                claimVersion: Type.TNumber;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                id: Type.TString;
+            }>, Type.TObject<{
+                checksum: Type.TOptional<Type.TString>;
+                descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+                combinedChecksum: Type.TOptional<Type.TString>;
+            }>]>, Type.TIntersect<[Type.TObject<{
+                symbol: Type.TString;
+                createdOn: import("../../../common.js").TDateType;
+                creatorId: Type.TString;
+                boundPremiseId: Type.TString;
+                boundArgumentId: Type.TString;
+                boundArgumentVersion: Type.TNumber;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                id: Type.TString;
+            }>, Type.TObject<{
+                checksum: Type.TOptional<Type.TString>;
+                descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+                combinedChecksum: Type.TOptional<Type.TString>;
+            }>]>]>>;
+            config: Type.TOptional<Type.TUnknown>;
+        }>;
+        premises: Type.TArray<Type.TObject<{
+            premise: Type.TIntersect<[Type.TObject<{
+                createdOn: Type.TOptional<import("../../../common.js").TDateType>;
+                creatorId: Type.TOptional<Type.TString>;
+                argumentId: Type.TString;
+                argumentVersion: Type.TNumber;
+                role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+                title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+                id: Type.TString;
+            }>, Type.TObject<{
+                checksum: Type.TOptional<Type.TString>;
+                descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+                combinedChecksum: Type.TOptional<Type.TString>;
+            }>]>;
+            rootExpressionId: Type.TOptional<Type.TString>;
+            expressions: Type.TObject<{
+                expressions: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+                    id: Type.TString;
+                    argumentId: Type.TString;
+                    argumentVersion: Type.TNumber;
+                    premiseId: Type.TString;
+                    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                    position: Type.TNumber;
+                    checksum: Type.TString;
+                    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                    combinedChecksum: Type.TString;
+                    type: Type.TLiteral<"variable">;
+                    variableId: Type.TString;
+                }>, Type.TObject<{
+                    createdOn: import("../../../common.js").TDateType;
+                    creatorId: Type.TString;
+                }>, Type.TObject<{
+                    operator: Type.TNull;
+                }>]>, Type.TIntersect<[Type.TObject<{
+                    id: Type.TString;
+                    argumentId: Type.TString;
+                    argumentVersion: Type.TNumber;
+                    premiseId: Type.TString;
+                    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                    position: Type.TNumber;
+                    checksum: Type.TString;
+                    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                    combinedChecksum: Type.TString;
+                    type: Type.TLiteral<"operator">;
+                    operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+                }>, Type.TObject<{
+                    createdOn: import("../../../common.js").TDateType;
+                    creatorId: Type.TString;
+                }>, Type.TObject<{
+                    variableId: Type.TNull;
+                }>]>, Type.TIntersect<[Type.TObject<{
+                    id: Type.TString;
+                    argumentId: Type.TString;
+                    argumentVersion: Type.TNumber;
+                    premiseId: Type.TString;
+                    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+                    position: Type.TNumber;
+                    checksum: Type.TString;
+                    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+                    combinedChecksum: Type.TString;
+                    type: Type.TLiteral<"formula">;
+                }>, Type.TObject<{
+                    createdOn: import("../../../common.js").TDateType;
+                    creatorId: Type.TString;
+                }>, Type.TObject<{
+                    variableId: Type.TNull;
+                    operator: Type.TNull;
+                }>]>]>>;
+                config: Type.TOptional<Type.TUnknown>;
+            }>;
+            config: Type.TOptional<Type.TUnknown>;
+        }>>;
+        conclusionPremiseId: Type.TOptional<Type.TString>;
+        sources: Type.TOptional<Type.TObject<{
+            variableSourceAssociations: Type.TArray<Type.TUnknown>;
+            expressionSourceAssociations: Type.TArray<Type.TUnknown>;
+        }>>;
+        config: Type.TOptional<Type.TUnknown>;
+    }>;
+    created: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        operator: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"formula">;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+        operator: Type.TNull;
+    }>]>]>>;
+    modified: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        operator: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        premiseId: Type.TString;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+        type: Type.TLiteral<"formula">;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+    }>, Type.TObject<{
+        variableId: Type.TNull;
+        operator: Type.TNull;
+    }>]>]>>;
+    removed: Type.TArray<Type.TString>;
+}>;
+export type TChangeEdgeOperatorResponse = Static<typeof ChangeEdgeOperatorResponseSchema>;
+//# sourceMappingURL=change-edge-operator.d.ts.map

package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-edge-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/change-edge-operator.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,+BAA+B;;;;;;;EAO1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK3C,CAAA;AAEF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA"}

package/dist/schemas/api/argument/batch/change-edge-operator.js

@@ -0,0 +1,19 @@
+import { UUID } from "../../../common.js";
+import { LogicalOperatorType, PropositionalExpressionSchema, } from "../../../logic.js";
+import { ArgumentEngineSnapshotSchema } from "../../../snapshot.js";
+import { Type } from "typebox";
+export const ChangeEdgeOperatorRequestSchema = Type.Object({
+    expressionId: UUID,
+    sourceChildId: UUID,
+    targetChildId: UUID,
+    newOperator: LogicalOperatorType,
+    sourceChecksum: Type.String(),
+    targetChecksum: Type.String(),
+});
+export const ChangeEdgeOperatorResponseSchema = Type.Object({
+    snapshot: ArgumentEngineSnapshotSchema,
+    created: Type.Array(PropositionalExpressionSchema),
+    modified: Type.Array(PropositionalExpressionSchema),
+    removed: Type.Array(UUID),
+});
+//# sourceMappingURL=change-edge-operator.js.map

package/dist/schemas/api/argument/batch/change-edge-operator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-edge-operator.js","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/change-edge-operator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EACH,mBAAmB,EACnB,6BAA6B,GAChC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAA;AACnE,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,YAAY,EAAE,IAAI;IAClB,aAAa,EAAE,IAAI;IACnB,aAAa,EAAE,IAAI;IACnB,WAAW,EAAE,mBAAmB;IAChC,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE;IAC7B,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE;CAChC,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,QAAQ,EAAE,4BAA4B;IACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;IAClD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;IACnD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CAC5B,CAAC,CAAA"}