@proposit/shared 0.1.0

package/dist/api-client/argument/batch.d.ts

@@ -0,0 +1,661 @@
+import { type TChangeEdgeOperatorRequest } from "../../schemas/api/argument/batch/change-edge-operator.js";
+import { type TCreateExpressionWithOperatorRequest } from "../../schemas/api/argument/batch/create-expression-with-operator.js";
+export declare function provisionArgument(argumentId: string, argumentVersion: number, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
+    errorID: import("typebox").TNumber;
+    errorMessage: import("typebox").TString;
+    statusCode: import("typebox").TNumber;
+}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
+    claim: import("typebox").TObject<{
+        title: import("typebox").TString;
+        body: import("typebox").TString;
+        digest: import("typebox").TString;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        version: import("typebox").TNumber;
+        claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        creatorId: import("typebox").TString;
+        createdOn: import("../../schemas/common.js").TDateType;
+        type: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+    }>;
+    premise: import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+        role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
+        createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
+        creatorId: import("typebox").TOptional<import("typebox").TString>;
+    }>]>;
+    variable: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        claimId: import("typebox").TString;
+        claimVersion: import("typebox").TNumber;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        symbol: import("typebox").TString;
+        checksum: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        boundPremiseId: import("typebox").TString;
+        boundArgumentId: import("typebox").TString;
+        boundArgumentVersion: import("typebox").TNumber;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        symbol: import("typebox").TString;
+        checksum: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+    }>]>]>;
+    expression: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"variable">;
+        variableId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        operator: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"operator">;
+        operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"formula">;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+        operator: import("typebox").TNull;
+    }>]>]>;
+}>>>;
+export declare function createExpressionWithOperator(argumentId: string, argumentVersion: number, data: TCreateExpressionWithOperatorRequest, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
+    errorID: import("typebox").TNumber;
+    errorMessage: import("typebox").TString;
+    statusCode: import("typebox").TNumber;
+}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
+    snapshot: import("typebox").TObject<{
+        argument: import("typebox").TIntersect<[import("typebox").TObject<{
+            createdOn: import("../../schemas/common.js").TDateType;
+            creatorId: import("typebox").TString;
+            title: import("typebox").TString;
+            published: import("typebox").TBoolean;
+            publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
+            forkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            digest: import("typebox").TString;
+            description: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            id: import("typebox").TString;
+            version: import("typebox").TNumber;
+            titleContentHash: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            popularity: import("typebox").TNumber;
+            platform: import("typebox").TUnion<[import("typebox").TLiteral<"twitter">, import("typebox").TLiteral<"reddit">, import("typebox").TLiteral<"raw_text">, import("typebox").TLiteral<"manual">]>;
+            platformData: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TObject<{
+                argumentTitle: import("typebox").TString;
+                textContent: import("typebox").TNull;
+            }>, import("typebox").TObject<{
+                argumentTitle: import("typebox").TOptional<import("typebox").TString>;
+                textContent: import("typebox").TString;
+                postUrl: import("typebox").TString;
+                importMode: import("typebox").TUnion<[import("typebox").TLiteral<"self_author">, import("typebox").TLiteral<"other_author">, import("typebox").TLiteral<"copy_contents">]>;
+                embedResponse: import("typebox").TOptional<import("typebox").TObject<{
+                    url: import("typebox").TString;
+                    authorUrl: import("typebox").TString;
+                    authorName: import("typebox").TString;
+                    html: import("typebox").TString;
+                    width: import("typebox").TOptional<import("typebox").TNumber>;
+                    height: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TNumber, import("typebox").TNull]>>;
+                    type: import("typebox").TOptional<import("typebox").TString>;
+                    version: import("typebox").TOptional<import("typebox").TString>;
+                    providerName: import("typebox").TOptional<import("typebox").TString>;
+                    providerUrl: import("typebox").TOptional<import("typebox").TString>;
+                    cacheAge: import("typebox").TOptional<import("typebox").TString>;
+                }>>;
+                username: import("typebox").TOptional<import("typebox").TString>;
+            }>, import("typebox").TObject<{
+                argumentTitle: import("typebox").TOptional<import("typebox").TString>;
+                textContent: import("typebox").TString;
+                postUrl: import("typebox").TString;
+                username: import("typebox").TOptional<import("typebox").TString>;
+            }>, import("typebox").TObject<{
+                argumentTitle: import("typebox").TOptional<import("typebox").TString>;
+                textContent: import("typebox").TString;
+            }>]>, import("typebox").TNull]>;
+            platformUsername: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        }>, import("typebox").TObject<{
+            checksum: import("typebox").TOptional<import("typebox").TString>;
+            descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+            combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+        }>]>;
+        variables: import("typebox").TObject<{
+            variables: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+                symbol: import("typebox").TString;
+                createdOn: import("../../schemas/common.js").TDateType;
+                creatorId: import("typebox").TString;
+                claimId: import("typebox").TString;
+                claimVersion: import("typebox").TNumber;
+                argumentId: import("typebox").TString;
+                argumentVersion: import("typebox").TNumber;
+                id: import("typebox").TString;
+            }>, import("typebox").TObject<{
+                checksum: import("typebox").TOptional<import("typebox").TString>;
+                descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+            }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+                symbol: import("typebox").TString;
+                createdOn: import("../../schemas/common.js").TDateType;
+                creatorId: import("typebox").TString;
+                boundPremiseId: import("typebox").TString;
+                boundArgumentId: import("typebox").TString;
+                boundArgumentVersion: import("typebox").TNumber;
+                argumentId: import("typebox").TString;
+                argumentVersion: import("typebox").TNumber;
+                id: import("typebox").TString;
+            }>, import("typebox").TObject<{
+                checksum: import("typebox").TOptional<import("typebox").TString>;
+                descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+            }>]>]>>;
+            config: import("typebox").TOptional<import("typebox").TUnknown>;
+        }>;
+        premises: import("typebox").TArray<import("typebox").TObject<{
+            premise: import("typebox").TIntersect<[import("typebox").TObject<{
+                createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
+                creatorId: import("typebox").TOptional<import("typebox").TString>;
+                argumentId: import("typebox").TString;
+                argumentVersion: import("typebox").TNumber;
+                role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
+                title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                id: import("typebox").TString;
+            }>, import("typebox").TObject<{
+                checksum: import("typebox").TOptional<import("typebox").TString>;
+                descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+            }>]>;
+            rootExpressionId: import("typebox").TOptional<import("typebox").TString>;
+            expressions: import("typebox").TObject<{
+                expressions: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    argumentId: import("typebox").TString;
+                    argumentVersion: import("typebox").TNumber;
+                    premiseId: import("typebox").TString;
+                    parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    position: import("typebox").TNumber;
+                    checksum: import("typebox").TString;
+                    descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    combinedChecksum: import("typebox").TString;
+                    type: import("typebox").TLiteral<"variable">;
+                    variableId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    createdOn: import("../../schemas/common.js").TDateType;
+                    creatorId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    operator: import("typebox").TNull;
+                }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    argumentId: import("typebox").TString;
+                    argumentVersion: import("typebox").TNumber;
+                    premiseId: import("typebox").TString;
+                    parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    position: import("typebox").TNumber;
+                    checksum: import("typebox").TString;
+                    descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    combinedChecksum: import("typebox").TString;
+                    type: import("typebox").TLiteral<"operator">;
+                    operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+                }>, import("typebox").TObject<{
+                    createdOn: import("../../schemas/common.js").TDateType;
+                    creatorId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    variableId: import("typebox").TNull;
+                }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    argumentId: import("typebox").TString;
+                    argumentVersion: import("typebox").TNumber;
+                    premiseId: import("typebox").TString;
+                    parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    position: import("typebox").TNumber;
+                    checksum: import("typebox").TString;
+                    descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    combinedChecksum: import("typebox").TString;
+                    type: import("typebox").TLiteral<"formula">;
+                }>, import("typebox").TObject<{
+                    createdOn: import("../../schemas/common.js").TDateType;
+                    creatorId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    variableId: import("typebox").TNull;
+                    operator: import("typebox").TNull;
+                }>]>]>>;
+                config: import("typebox").TOptional<import("typebox").TUnknown>;
+            }>;
+            config: import("typebox").TOptional<import("typebox").TUnknown>;
+        }>>;
+        conclusionPremiseId: import("typebox").TOptional<import("typebox").TString>;
+        sources: import("typebox").TOptional<import("typebox").TObject<{
+            variableSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
+            expressionSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
+        }>>;
+        config: import("typebox").TOptional<import("typebox").TUnknown>;
+    }>;
+    created: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"variable">;
+        variableId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        operator: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"operator">;
+        operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"formula">;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+        operator: import("typebox").TNull;
+    }>]>]>>;
+    modified: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"variable">;
+        variableId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        operator: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"operator">;
+        operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"formula">;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+        operator: import("typebox").TNull;
+    }>]>]>>;
+}>>>;
+export declare function changeEdgeOperator(argumentId: string, argumentVersion: number, data: TChangeEdgeOperatorRequest, fetchFn?: typeof fetch, urlPrefix?: string): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
+    errorID: import("typebox").TNumber;
+    errorMessage: import("typebox").TString;
+    statusCode: import("typebox").TNumber;
+}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
+    snapshot: import("typebox").TObject<{
+        argument: import("typebox").TIntersect<[import("typebox").TObject<{
+            createdOn: import("../../schemas/common.js").TDateType;
+            creatorId: import("typebox").TString;
+            title: import("typebox").TString;
+            published: import("typebox").TBoolean;
+            publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
+            forkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            digest: import("typebox").TString;
+            description: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            id: import("typebox").TString;
+            version: import("typebox").TNumber;
+            titleContentHash: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            popularity: import("typebox").TNumber;
+            platform: import("typebox").TUnion<[import("typebox").TLiteral<"twitter">, import("typebox").TLiteral<"reddit">, import("typebox").TLiteral<"raw_text">, import("typebox").TLiteral<"manual">]>;
+            platformData: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TObject<{
+                argumentTitle: import("typebox").TString;
+                textContent: import("typebox").TNull;
+            }>, import("typebox").TObject<{
+                argumentTitle: import("typebox").TOptional<import("typebox").TString>;
+                textContent: import("typebox").TString;
+                postUrl: import("typebox").TString;
+                importMode: import("typebox").TUnion<[import("typebox").TLiteral<"self_author">, import("typebox").TLiteral<"other_author">, import("typebox").TLiteral<"copy_contents">]>;
+                embedResponse: import("typebox").TOptional<import("typebox").TObject<{
+                    url: import("typebox").TString;
+                    authorUrl: import("typebox").TString;
+                    authorName: import("typebox").TString;
+                    html: import("typebox").TString;
+                    width: import("typebox").TOptional<import("typebox").TNumber>;
+                    height: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TNumber, import("typebox").TNull]>>;
+                    type: import("typebox").TOptional<import("typebox").TString>;
+                    version: import("typebox").TOptional<import("typebox").TString>;
+                    providerName: import("typebox").TOptional<import("typebox").TString>;
+                    providerUrl: import("typebox").TOptional<import("typebox").TString>;
+                    cacheAge: import("typebox").TOptional<import("typebox").TString>;
+                }>>;
+                username: import("typebox").TOptional<import("typebox").TString>;
+            }>, import("typebox").TObject<{
+                argumentTitle: import("typebox").TOptional<import("typebox").TString>;
+                textContent: import("typebox").TString;
+                postUrl: import("typebox").TString;
+                username: import("typebox").TOptional<import("typebox").TString>;
+            }>, import("typebox").TObject<{
+                argumentTitle: import("typebox").TOptional<import("typebox").TString>;
+                textContent: import("typebox").TString;
+            }>]>, import("typebox").TNull]>;
+            platformUsername: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        }>, import("typebox").TObject<{
+            checksum: import("typebox").TOptional<import("typebox").TString>;
+            descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+            combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+        }>]>;
+        variables: import("typebox").TObject<{
+            variables: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+                symbol: import("typebox").TString;
+                createdOn: import("../../schemas/common.js").TDateType;
+                creatorId: import("typebox").TString;
+                claimId: import("typebox").TString;
+                claimVersion: import("typebox").TNumber;
+                argumentId: import("typebox").TString;
+                argumentVersion: import("typebox").TNumber;
+                id: import("typebox").TString;
+            }>, import("typebox").TObject<{
+                checksum: import("typebox").TOptional<import("typebox").TString>;
+                descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+            }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+                symbol: import("typebox").TString;
+                createdOn: import("../../schemas/common.js").TDateType;
+                creatorId: import("typebox").TString;
+                boundPremiseId: import("typebox").TString;
+                boundArgumentId: import("typebox").TString;
+                boundArgumentVersion: import("typebox").TNumber;
+                argumentId: import("typebox").TString;
+                argumentVersion: import("typebox").TNumber;
+                id: import("typebox").TString;
+            }>, import("typebox").TObject<{
+                checksum: import("typebox").TOptional<import("typebox").TString>;
+                descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+            }>]>]>>;
+            config: import("typebox").TOptional<import("typebox").TUnknown>;
+        }>;
+        premises: import("typebox").TArray<import("typebox").TObject<{
+            premise: import("typebox").TIntersect<[import("typebox").TObject<{
+                createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
+                creatorId: import("typebox").TOptional<import("typebox").TString>;
+                argumentId: import("typebox").TString;
+                argumentVersion: import("typebox").TNumber;
+                role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
+                title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                id: import("typebox").TString;
+            }>, import("typebox").TObject<{
+                checksum: import("typebox").TOptional<import("typebox").TString>;
+                descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+                combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
+            }>]>;
+            rootExpressionId: import("typebox").TOptional<import("typebox").TString>;
+            expressions: import("typebox").TObject<{
+                expressions: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    argumentId: import("typebox").TString;
+                    argumentVersion: import("typebox").TNumber;
+                    premiseId: import("typebox").TString;
+                    parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    position: import("typebox").TNumber;
+                    checksum: import("typebox").TString;
+                    descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    combinedChecksum: import("typebox").TString;
+                    type: import("typebox").TLiteral<"variable">;
+                    variableId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    createdOn: import("../../schemas/common.js").TDateType;
+                    creatorId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    operator: import("typebox").TNull;
+                }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    argumentId: import("typebox").TString;
+                    argumentVersion: import("typebox").TNumber;
+                    premiseId: import("typebox").TString;
+                    parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    position: import("typebox").TNumber;
+                    checksum: import("typebox").TString;
+                    descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    combinedChecksum: import("typebox").TString;
+                    type: import("typebox").TLiteral<"operator">;
+                    operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+                }>, import("typebox").TObject<{
+                    createdOn: import("../../schemas/common.js").TDateType;
+                    creatorId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    variableId: import("typebox").TNull;
+                }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+                    id: import("typebox").TString;
+                    argumentId: import("typebox").TString;
+                    argumentVersion: import("typebox").TNumber;
+                    premiseId: import("typebox").TString;
+                    parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    position: import("typebox").TNumber;
+                    checksum: import("typebox").TString;
+                    descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+                    combinedChecksum: import("typebox").TString;
+                    type: import("typebox").TLiteral<"formula">;
+                }>, import("typebox").TObject<{
+                    createdOn: import("../../schemas/common.js").TDateType;
+                    creatorId: import("typebox").TString;
+                }>, import("typebox").TObject<{
+                    variableId: import("typebox").TNull;
+                    operator: import("typebox").TNull;
+                }>]>]>>;
+                config: import("typebox").TOptional<import("typebox").TUnknown>;
+            }>;
+            config: import("typebox").TOptional<import("typebox").TUnknown>;
+        }>>;
+        conclusionPremiseId: import("typebox").TOptional<import("typebox").TString>;
+        sources: import("typebox").TOptional<import("typebox").TObject<{
+            variableSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
+            expressionSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
+        }>>;
+        config: import("typebox").TOptional<import("typebox").TUnknown>;
+    }>;
+    created: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"variable">;
+        variableId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        operator: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"operator">;
+        operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"formula">;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+        operator: import("typebox").TNull;
+    }>]>]>>;
+    modified: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"variable">;
+        variableId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        operator: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"operator">;
+        operator: import("typebox").TUnion<[import("typebox").TLiteral<"not">, import("typebox").TLiteral<"and">, import("typebox").TLiteral<"or">, import("typebox").TLiteral<"implies">, import("typebox").TLiteral<"iff">]>;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+    }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        premiseId: import("typebox").TString;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        position: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+        type: import("typebox").TLiteral<"formula">;
+    }>, import("typebox").TObject<{
+        createdOn: import("../../schemas/common.js").TDateType;
+        creatorId: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        variableId: import("typebox").TNull;
+        operator: import("typebox").TNull;
+    }>]>]>>;
+    removed: import("typebox").TArray<import("typebox").TString>;
+}>>>;
+//# sourceMappingURL=batch.d.ts.map