@proposit/shared 0.1.0

package/dist/schemas/model/arguments.d.ts

@@ -0,0 +1,457 @@
+import Type, { type Static } from "typebox";
+export { ArgumentForkSchema, type TArgumentFork } from "./forks.js";
+export declare const MutableArgumentFieldsSchema: Type.TObject<{
+    title: Type.TString;
+}>;
+export type TMutableArgumentFields = Static<typeof MutableArgumentFieldsSchema>;
+export declare const ArgumentSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TString;
+    published: Type.TBoolean;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
+    forkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    digest: Type.TString;
+    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]>;
+    titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
+    description: Type.TUnion<[Type.TString, Type.TNull]>;
+}>]>;
+export type TArgument = Static<typeof ArgumentSchema>;
+export declare const ArgumentWithMetadataSchema: Type.TIntersect<[Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TString;
+    published: Type.TBoolean;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
+    forkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    digest: Type.TString;
+    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]>;
+    titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
+    description: Type.TUnion<[Type.TString, Type.TNull]>;
+}>]>, Type.TObject<{
+    upvotes: Type.TNumber;
+    downvotes: Type.TNumber;
+}>]>;
+export type TArgumentWithMetadata = Static<typeof ArgumentWithMetadataSchema>;
+export declare const Reaction: Type.TUnion<[Type.TLiteral<"upvote">, Type.TLiteral<"downvote">]>;
+export type TReactionTypes = Static<typeof Reaction>;
+export declare const ReactionSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    reaction: Type.TUnion<[Type.TLiteral<"upvote">, Type.TLiteral<"downvote">]>;
+    userId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+}>;
+export type TReaction = Static<typeof ReactionSchema>;
+export type TReactionSafe = Omit<TReaction, "userId" | "createdOn">;
+export declare const ArgumentDiffSchema: Type.TObject<{
+    claims: Type.TObject<{
+        added: Type.TArray<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]>>;
+        }>>;
+        removed: Type.TArray<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]>>;
+        }>>;
+        updated: Type.TArray<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]>>;
+        }>>;
+    }>;
+    propositionalLogic: Type.TObject<{
+        variables: Type.TObject<{
+            added: Type.TArray<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;
+            }>]>]>>;
+            removed: Type.TArray<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;
+            }>]>]>>;
+            updated: Type.TArray<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;
+            }>]>]>>;
+        }>;
+        expressions: Type.TObject<{
+            added: 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.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;
+            }>]>]>>;
+        }>;
+        premises: Type.TObject<{
+            added: Type.TArray<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>;
+            }>]>>;
+            removed: Type.TArray<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>;
+            }>]>>;
+        }>;
+    }>;
+    claimSources: Type.TObject<{
+        added: Type.TArray<Type.TObject<{
+            claimId: Type.TString;
+            sourceId: Type.TString;
+            argumentId: Type.TString;
+            version: Type.TNumber;
+            createdOn: import("../common.js").TDateType;
+        }>>;
+        removed: Type.TArray<Type.TObject<{
+            claimId: Type.TString;
+            sourceId: Type.TString;
+            argumentId: Type.TString;
+            version: Type.TNumber;
+            createdOn: import("../common.js").TDateType;
+        }>>;
+    }>;
+    sources: Type.TObject<{
+        added: Type.TArray<Type.TObject<{
+            id: Type.TString;
+            url: Type.TUnion<[Type.TString, Type.TNull]>;
+            citation: Type.TRecord<"^.*$", Type.TAny>;
+            createdOn: import("../common.js").TDateType;
+            creatorId: Type.TString;
+            citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        }>>;
+        removed: Type.TArray<Type.TObject<{
+            id: Type.TString;
+            url: Type.TUnion<[Type.TString, Type.TNull]>;
+            citation: Type.TRecord<"^.*$", Type.TAny>;
+            createdOn: import("../common.js").TDateType;
+            creatorId: Type.TString;
+            citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        }>>;
+    }>;
+}>;
+export type TArgumentDiff = Static<typeof ArgumentDiffSchema>;
+export declare const UnownedArgumentSchema: Type.TObject<{
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    platform: Type.TString;
+    platformUsername: Type.TString;
+    userId: Type.TUnion<[Type.TString, Type.TNull]>;
+}>;
+export type TUnownedArgument = Static<typeof UnownedArgumentSchema>;
+export declare const ParticipantSchema: Type.TObject<{
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    userId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    role: Type.TString;
+}>;
+export type TParticipant = Static<typeof ParticipantSchema>;
+export declare const ParticipantWithUserSchema: Type.TIntersect<[Type.TObject<{
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    userId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    role: Type.TString;
+}>, Type.TObject<{
+    name: Type.TUnion<[Type.TString, Type.TNull]>;
+    username: Type.TUnion<[Type.TString, Type.TNull]>;
+    image: Type.TUnion<[Type.TString, Type.TNull]>;
+}>]>;
+export type TParticipantWithUser = Static<typeof ParticipantWithUserSchema>;
+//# sourceMappingURL=arguments.d.ts.map

package/dist/schemas/model/arguments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgC7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}

package/dist/schemas/model/arguments.js

@@ -0,0 +1,100 @@
+import Type, {} from "typebox";
+import { CoreArgumentSchema } from "@proposit/proposit-core";
+import { ArgumentImportOrigin, ArgumentPlatformData, } from "../integrations/index.js";
+import { EncodableDate, Nullable, UUID } from "../common.js";
+import { UserPublicFieldsSchema } from "./users.js";
+import { ClaimSchema } from "./claims.js";
+import { SourceSchemaNotStrict, ClaimSourceSchema } from "./sources.js";
+import { PropositionalVariableSchema, PropositionalExpressionSchema, PropositionalPremiseSchema, } from "../logic.js";
+export { ArgumentForkSchema } from "./forks.js";
+export const MutableArgumentFieldsSchema = Type.Object({
+    title: Type.String(),
+});
+export const ArgumentSchema = Type.Intersect([
+    CoreArgumentSchema,
+    Type.Object({
+        title: Type.String(),
+        published: Type.Boolean(),
+        creatorId: UUID,
+        createdOn: EncodableDate,
+        publishedOn: Nullable(EncodableDate),
+        forkId: Nullable(UUID),
+        digest: Type.String(),
+        popularity: Type.Number(),
+        platform: ArgumentImportOrigin,
+        platformData: Nullable(ArgumentPlatformData),
+        platformUsername: Nullable(Type.String()),
+        titleContentHash: Nullable(Type.String()),
+        description: Nullable(Type.String()),
+    }),
+]);
+export const ArgumentWithMetadataSchema = Type.Intersect([
+    ArgumentSchema,
+    Type.Object({
+        upvotes: Type.Number(),
+        downvotes: Type.Number(),
+    }),
+]);
+export const Reaction = Type.Union([
+    Type.Literal("upvote"),
+    Type.Literal("downvote"),
+]);
+export const ReactionSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    version: Type.Number(),
+    reaction: Reaction,
+    userId: UUID,
+    createdOn: EncodableDate,
+});
+export const ArgumentDiffSchema = Type.Object({
+    claims: Type.Object({
+        added: Type.Array(ClaimSchema),
+        removed: Type.Array(ClaimSchema),
+        updated: Type.Array(ClaimSchema),
+    }),
+    propositionalLogic: Type.Object({
+        variables: Type.Object({
+            added: Type.Array(PropositionalVariableSchema),
+            removed: Type.Array(PropositionalVariableSchema),
+            updated: Type.Array(PropositionalVariableSchema, {
+                description: "Variables can have the symbol changed which is the only type of update allowed",
+            }),
+        }),
+        expressions: Type.Object({
+            added: Type.Array(PropositionalExpressionSchema),
+            removed: Type.Array(PropositionalExpressionSchema),
+        }),
+        premises: Type.Object({
+            added: Type.Array(PropositionalPremiseSchema),
+            removed: Type.Array(PropositionalPremiseSchema),
+        }),
+    }),
+    claimSources: Type.Object({
+        added: Type.Array(ClaimSourceSchema),
+        removed: Type.Array(ClaimSourceSchema),
+    }),
+    sources: Type.Object({
+        added: Type.Array(SourceSchemaNotStrict),
+        removed: Type.Array(SourceSchemaNotStrict),
+    }),
+});
+export const UnownedArgumentSchema = Type.Object({
+    argumentId: UUID,
+    version: Type.Number(),
+    platform: Type.String(),
+    platformUsername: Type.String(),
+    userId: Nullable(UUID),
+});
+export const ParticipantSchema = Type.Object({
+    argumentId: UUID,
+    version: Type.Number(),
+    userId: UUID,
+    createdOn: EncodableDate,
+    role: Type.String(),
+});
+export const ParticipantWithUserSchema = Type.Intersect([
+    ParticipantSchema,
+    UserPublicFieldsSchema,
+]);
+//# sourceMappingURL=arguments.js.map

package/dist/schemas/model/arguments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AACvE,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;KACzC,CAAC;IACF,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;QACxC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;KAC7C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}

package/dist/schemas/model/claims.d.ts

@@ -0,0 +1,53 @@
+import Type, { type Static } from "typebox";
+export declare const MutableClaimFieldsSchema: Type.TObject<{
+    title: Type.TString;
+    body: Type.TString;
+}>;
+export type TMutableClaimFields = Static<typeof MutableClaimFieldsSchema>;
+export declare const ClaimUpdateRequestSchema: Type.TObject<{
+    title: Type.TString;
+    body: Type.TString;
+    digest: Type.TString;
+}>;
+export type TClaimUpdateFields = Static<typeof ClaimUpdateRequestSchema>;
+export declare const ClaimTypes: {
+    readonly CLAIM: "claim";
+    readonly CONCLUSION: "conclusion";
+    readonly DEFINITION: "definition";
+    readonly CRITERION: "criterion";
+};
+export declare const ClaimTypesSchema: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+export type TClaimTypesSchema = Static<typeof ClaimTypesSchema>;
+export declare const ClaimSchema: 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]>>;
+}>;
+export type TClaim = Static<typeof ClaimSchema>;
+export declare const ClaimWithChildrenSchema: 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]>>;
+    childClaimIds: Type.TArray<Type.TString>;
+    childSourceIds: Type.TArray<Type.TString>;
+}>;
+export type TClaimWithChildren = Static<typeof ClaimWithChildrenSchema>;
+//# sourceMappingURL=claims.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,wBAAwB;;;EAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,wBAAwB;;;;EAKpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAExE,eAAO,MAAM,UAAU;;;;;CAKb,CAAA;AAYV,eAAO,MAAM,gBAAgB,2JAAmD,CAAA;AAChF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,WAAW;;;;;;;;;;;;;EAUtB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/model/claims.js

@@ -0,0 +1,40 @@
+import Type, {} from "typebox";
+import { EncodableDate, Nullable, UUID } from "../common.js";
+export const MutableClaimFieldsSchema = Type.Object({
+    title: Type.String(),
+    body: Type.String(),
+});
+export const ClaimUpdateRequestSchema = Type.Interface([MutableClaimFieldsSchema], {
+    digest: Type.String(),
+});
+export const ClaimTypes = {
+    CLAIM: "claim",
+    CONCLUSION: "conclusion",
+    DEFINITION: "definition",
+    CRITERION: "criterion",
+};
+const ChildClaimTypes = Type.Union([
+    Type.Literal(ClaimTypes.DEFINITION),
+    Type.Literal(ClaimTypes.CRITERION),
+]);
+const LogicalClaimTypes = Type.Union([
+    Type.Literal(ClaimTypes.CONCLUSION),
+    Type.Literal(ClaimTypes.CLAIM),
+]);
+export const ClaimTypesSchema = Type.Union([ChildClaimTypes, LogicalClaimTypes]);
+export const ClaimSchema = Type.Interface([ClaimUpdateRequestSchema], {
+    id: UUID,
+    argumentId: UUID,
+    version: Type.Number(),
+    claimForkId: Nullable(UUID),
+    creatorId: UUID,
+    createdOn: EncodableDate,
+    type: Type.Union([ChildClaimTypes, LogicalClaimTypes]),
+    parentId: Nullable(UUID),
+    titleContentHash: Type.Optional(Nullable(Type.String())),
+});
+export const ClaimWithChildrenSchema = Type.Interface([ClaimSchema], {
+    childClaimIds: Type.Array(UUID),
+    childSourceIds: Type.Array(UUID),
+});
+//# sourceMappingURL=claims.js.map