@proposit/shared 0.1.0

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

@@ -0,0 +1,151 @@
+import Type, { type Static } from "typebox";
+export declare const ClaimCreationRequestSchema: Type.TObject<{
+    claimData: Type.TObject<{
+        title: Type.TString;
+        body: Type.TString;
+    }>;
+}>;
+export type TClaimCreationRequestSchema = Static<typeof ClaimCreationRequestSchema>;
+export declare const ClaimCreationResponseSchema: Type.TObject<{
+    newClaim: 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]>>;
+    }>;
+    newPropositionalVariable: Type.TUnion<[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;
+    }>]>]>, Type.TNull]>;
+    newPropositionalExpressions: 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 TClaimCreationResponse = Static<typeof ClaimCreationResponseSchema>;
+export declare const ClaimDeletionResponseSchema: Type.TObject<{
+    deletedClaims: 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]>>;
+    }>>;
+}>;
+export type TClaimDeletionResponse = Static<typeof ClaimDeletionResponseSchema>;
+export declare const SourceCreationSchema: Type.TObject<{
+    source: 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]>>;
+    }>;
+    sourceRelation: Type.TObject<{
+        claimId: Type.TString;
+        sourceId: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        createdOn: import("../../common.js").TDateType;
+    }>;
+}>;
+export type TSourceCreation = Static<typeof SourceCreationSchema>;
+export declare const ClaimSourceDeleteResponseSchema: Type.TObject<{
+    deletedSources: Type.TArray<Type.TObject<{
+        claimId: Type.TString;
+        sourceId: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        createdOn: import("../../common.js").TDateType;
+    }>>;
+}>;
+export type TClaimSourceDeleteResponse = Static<typeof ClaimSourceDeleteResponseSchema>;
+//# sourceMappingURL=claims.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,0BAA0B;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;EAG/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,+BAA+B;;;;;;;;EAE1C,CAAA;AACF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA"}

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

@@ -0,0 +1,24 @@
+import Type, {} from "typebox";
+import { Nullable } from "../../common.js";
+import { ClaimSchema, MutableClaimFieldsSchema } from "../../model.js";
+import { SourceSchemaNotStrict, ClaimSourceSchema, } from "../../model/sources.js";
+import { PropositionalVariableSchema, PropositionalExpressionSchema, } from "../../logic.js";
+export const ClaimCreationRequestSchema = Type.Object({
+    claimData: MutableClaimFieldsSchema,
+});
+export const ClaimCreationResponseSchema = Type.Object({
+    newClaim: ClaimSchema,
+    newPropositionalVariable: Nullable(PropositionalVariableSchema),
+    newPropositionalExpressions: Type.Array(PropositionalExpressionSchema),
+});
+export const ClaimDeletionResponseSchema = Type.Object({
+    deletedClaims: Type.Array(ClaimSchema),
+});
+export const SourceCreationSchema = Type.Object({
+    source: SourceSchemaNotStrict,
+    sourceRelation: ClaimSourceSchema,
+});
+export const ClaimSourceDeleteResponseSchema = Type.Object({
+    deletedSources: Type.Array(ClaimSourceSchema),
+});
+//# sourceMappingURL=claims.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACtE,OAAO,EACH,qBAAqB,EACrB,iBAAiB,GACpB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,GAChC,MAAM,gBAAgB,CAAA;AAEvB,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,wBAAwB;CACtC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,WAAW;IACrB,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAC/D,2BAA2B,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACzE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,qBAAqB;IAC7B,cAAc,EAAE,iBAAiB;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;CAChD,CAAC,CAAA"}