@proposit/shared 0.1.0

package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts

@@ -0,0 +1,280 @@
+import { Type, type Static } from "typebox";
+export declare const CreateExpressionWithOperatorRequestSchema: Type.TObject<{
+    premiseId: Type.TString;
+    targetExpressionId: Type.TString;
+    operatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    direction: Type.TUnion<[Type.TLiteral<"before">, Type.TLiteral<"after">]>;
+    type: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
+    variableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+}>;
+export type TCreateExpressionWithOperatorRequest = Static<typeof CreateExpressionWithOperatorRequestSchema>;
+export declare const CreateExpressionWithOperatorResponseSchema: 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;
+    }>]>]>>;
+}>;
+export type TCreateExpressionWithOperatorResponse = Static<typeof CreateExpressionWithOperatorResponseSchema>;
+//# sourceMappingURL=create-expression-with-operator.d.ts.map

package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-expression-with-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/create-expression-with-operator.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,yCAAyC;;;;;;;EAOpD,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,0CAA0C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrD,CAAA;AAEF,MAAM,MAAM,qCAAqC,GAAG,MAAM,CACtD,OAAO,0CAA0C,CACpD,CAAA"}

package/dist/schemas/api/argument/batch/create-expression-with-operator.js

@@ -0,0 +1,22 @@
+import { Nullable, UUID } from "../../../common.js";
+import { LogicalOperatorType, PropositionalExpressionSchema, PropositionalExpressionTypes, } from "../../../logic.js";
+import { ArgumentEngineSnapshotSchema } from "../../../snapshot.js";
+import { Type } from "typebox";
+const InsertDirectionType = Type.Union([
+    Type.Literal("before"),
+    Type.Literal("after"),
+]);
+export const CreateExpressionWithOperatorRequestSchema = Type.Object({
+    premiseId: UUID,
+    targetExpressionId: UUID,
+    operatorType: LogicalOperatorType,
+    direction: InsertDirectionType,
+    type: PropositionalExpressionTypes,
+    variableId: Type.Optional(Nullable(UUID)),
+});
+export const CreateExpressionWithOperatorResponseSchema = Type.Object({
+    snapshot: ArgumentEngineSnapshotSchema,
+    created: Type.Array(PropositionalExpressionSchema),
+    modified: Type.Array(PropositionalExpressionSchema),
+});
+//# sourceMappingURL=create-expression-with-operator.js.map

package/dist/schemas/api/argument/batch/create-expression-with-operator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-expression-with-operator.js","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/create-expression-with-operator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EACH,mBAAmB,EACnB,6BAA6B,EAC7B,4BAA4B,GAC/B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAA;AACnE,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;CACxB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,MAAM,CAAC;IACjE,SAAS,EAAE,IAAI;IACf,kBAAkB,EAAE,IAAI;IACxB,YAAY,EAAE,mBAAmB;IACjC,SAAS,EAAE,mBAAmB;IAC9B,IAAI,EAAE,4BAA4B;IAClC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;CAC5C,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,0CAA0C,GAAG,IAAI,CAAC,MAAM,CAAC;IAClE,QAAQ,EAAE,4BAA4B;IACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;IAClD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACtD,CAAC,CAAA"}

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

@@ -0,0 +1,112 @@
+import { Type, type Static } from "typebox";
+export declare const ProvisionResponseSchema: Type.TObject<{
+    claim: Type.TObject<{
+        title: Type.TString;
+        body: Type.TString;
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../../common.js").TDateType;
+        type: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    }>;
+    premise: Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        checksum: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+    }>, Type.TObject<{
+        title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
+        createdOn: Type.TOptional<import("../../../common.js").TDateType>;
+        creatorId: Type.TOptional<Type.TString>;
+    }>]>;
+    variable: Type.TUnion<[Type.TIntersect<[Type.TObject<{
+        claimId: Type.TString;
+        claimVersion: Type.TNumber;
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        symbol: Type.TString;
+        checksum: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+    }>]>, Type.TIntersect<[Type.TObject<{
+        boundPremiseId: Type.TString;
+        boundArgumentId: Type.TString;
+        boundArgumentVersion: Type.TNumber;
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        symbol: Type.TString;
+        checksum: Type.TString;
+    }>, Type.TObject<{
+        createdOn: import("../../../common.js").TDateType;
+        creatorId: Type.TString;
+        descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+        combinedChecksum: Type.TString;
+    }>]>]>;
+    expression: 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;
+    }>]>]>;
+}>;
+export type TProvisionResponse = Static<typeof ProvisionResponseSchema>;
+//# sourceMappingURL=provision.d.ts.map

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

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

package/dist/schemas/api/argument/batch/provision.js

@@ -0,0 +1,10 @@
+import { Type } from "typebox";
+import { ClaimSchema } from "../../../model/claims.js";
+import { PropositionalPremiseSchema, PropositionalVariableSchema, PropositionalExpressionSchema, } from "../../../logic.js";
+export const ProvisionResponseSchema = Type.Object({
+    claim: ClaimSchema,
+    premise: PropositionalPremiseSchema,
+    variable: PropositionalVariableSchema,
+    expression: PropositionalExpressionSchema,
+});
+//# sourceMappingURL=provision.js.map

package/dist/schemas/api/argument/batch/provision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provision.js","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/provision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,EACH,0BAA0B,EAC1B,2BAA2B,EAC3B,6BAA6B,GAChC,MAAM,mBAAmB,CAAA;AAE1B,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,WAAW;IAClB,OAAO,EAAE,0BAA0B;IACnC,QAAQ,EAAE,2BAA2B;IACrC,UAAU,EAAE,6BAA6B;CAC5C,CAAC,CAAA"}

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

@@ -0,0 +1,50 @@
+import { Type, type Static } from "typebox";
+export declare const ArgumentBuilderRequestSchema: Type.TObject<{
+    lastResponseId: Type.TOptional<Type.TString>;
+    newPrompts: Type.TArray<Type.TString>;
+    action: Type.TUnion<[Type.TLiteral<"review">, Type.TLiteral<"finalize">, Type.TLiteral<"simulate_user">]>;
+}>;
+export type TArgumentBuilderRequest = Static<typeof ArgumentBuilderRequestSchema>;
+export declare const ArgumentBuilderReviewResponseSuccessSchema: Type.TObject<{
+    success: Type.TLiteral<true>;
+    done: Type.TLiteral<false>;
+    responseText: Type.TString;
+    responseId: Type.TString;
+    refusalMessage: Type.TNull;
+}>;
+export declare const ArgumentBuilderResponseRefusedSchema: Type.TObject<{
+    success: Type.TLiteral<false>;
+    done: Type.TLiteral<false>;
+    responseText: Type.TNull;
+    responseId: Type.TString;
+    refusalMessage: Type.TString;
+}>;
+export declare const ArgumentBuilderFinalizeResponseSuccessSchema: Type.TObject<{
+    success: Type.TLiteral<true>;
+    done: Type.TLiteral<true>;
+    responseText: Type.TString;
+    responseId: Type.TString;
+    refusalMessage: Type.TNull;
+}>;
+export type TArgumentBuilderFinalizeResponseSuccess = Static<typeof ArgumentBuilderFinalizeResponseSuccessSchema>;
+export declare const ArgumentBuilderResponseSchema: Type.TUnion<[Type.TObject<{
+    success: Type.TLiteral<true>;
+    done: Type.TLiteral<false>;
+    responseText: Type.TString;
+    responseId: Type.TString;
+    refusalMessage: Type.TNull;
+}>, Type.TObject<{
+    success: Type.TLiteral<true>;
+    done: Type.TLiteral<true>;
+    responseText: Type.TString;
+    responseId: Type.TString;
+    refusalMessage: Type.TNull;
+}>, Type.TObject<{
+    success: Type.TLiteral<false>;
+    done: Type.TLiteral<false>;
+    responseText: Type.TNull;
+    responseId: Type.TString;
+    refusalMessage: Type.TString;
+}>]>;
+export type TArgumentBuilderRequestResponse = Static<typeof ArgumentBuilderResponseSchema>;
+//# sourceMappingURL=build.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"build.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,4BAA4B;;;;EAiBvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,0CAA0C;;;;;;EAMrD,CAAA;AAEF,eAAO,MAAM,oCAAoC;;;;;;EAM/C,CAAA;AAEF,eAAO,MAAM,4CAA4C;;;;;;EAMvD,CAAA;AAEF,MAAM,MAAM,uCAAuC,GAAG,MAAM,CACxD,OAAO,4CAA4C,CACtD,CAAA;AAED,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;IAIxC,CAAA;AAEF,MAAM,MAAM,+BAA+B,GAAG,MAAM,CAChD,OAAO,6BAA6B,CACvC,CAAA"}

package/dist/schemas/api/argument/build.js

@@ -0,0 +1,41 @@
+import { Type } from "typebox";
+export const ArgumentBuilderRequestSchema = Type.Object({
+    lastResponseId: Type.Optional(Type.String()),
+    newPrompts: Type.Array(Type.String(), {
+        description: "New prompts entered by the user since the last request (relative to the last response ID).",
+    }),
+    action: Type.Union([
+        Type.Literal("review"),
+        Type.Literal("finalize"),
+        Type.Literal("simulate_user"),
+    ], {
+        description: "Whether to request a review or finalize the argument.",
+    }),
+});
+export const ArgumentBuilderReviewResponseSuccessSchema = Type.Object({
+    success: Type.Literal(true),
+    done: Type.Literal(false),
+    responseText: Type.String(),
+    responseId: Type.String(),
+    refusalMessage: Type.Null(),
+});
+export const ArgumentBuilderResponseRefusedSchema = Type.Object({
+    success: Type.Literal(false),
+    done: Type.Literal(false),
+    responseText: Type.Null(),
+    responseId: Type.String(),
+    refusalMessage: Type.String(),
+});
+export const ArgumentBuilderFinalizeResponseSuccessSchema = Type.Object({
+    success: Type.Literal(true),
+    done: Type.Literal(true),
+    responseText: Type.String(),
+    responseId: Type.String(),
+    refusalMessage: Type.Null(),
+});
+export const ArgumentBuilderResponseSchema = Type.Union([
+    ArgumentBuilderReviewResponseSuccessSchema,
+    ArgumentBuilderFinalizeResponseSuccessSchema,
+    ArgumentBuilderResponseRefusedSchema,
+]);
+//# sourceMappingURL=build.js.map

package/dist/schemas/api/argument/build.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5C,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QAClC,WAAW,EACP,4FAA4F;KACnG,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,KAAK,CACd;QACI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;KAChC,EACD;QACI,WAAW,EACP,uDAAuD;KAC9D,CACJ;CACJ,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,0CAA0C,GAAG,IAAI,CAAC,MAAM,CAAC;IAClE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACzB,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;IAC3B,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,cAAc,EAAE,IAAI,CAAC,IAAI,EAAE;CAC9B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5D,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IAC5B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;IACzB,YAAY,EAAE,IAAI,CAAC,IAAI,EAAE;IACzB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE;CAChC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,4CAA4C,GAAG,IAAI,CAAC,MAAM,CAAC;IACpE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IACxB,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;IAC3B,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,cAAc,EAAE,IAAI,CAAC,IAAI,EAAE;CAC9B,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IACpD,0CAA0C;IAC1C,4CAA4C;IAC5C,oCAAoC;CACvC,CAAC,CAAA"}