@proposit/shared 0.1.0

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

@@ -0,0 +1,250 @@
+import Type, { type Static } from "typebox";
+export declare const ClaimWithContextSchema: 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]>>;
+    }>;
+    argument: Type.TObject<{
+        id: Type.TString;
+        title: Type.TString;
+        published: Type.TBoolean;
+    }>;
+    version: Type.TNumber;
+    variable: Type.TOptional<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;
+    }>]>]>>;
+    sources: Type.TOptional<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]>>;
+    }>>>;
+    expressions: Type.TOptional<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.TOptional<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>;
+    }>]>>>;
+}>;
+export type TClaimWithContext = Static<typeof ClaimWithContextSchema>;
+export declare const UserClaimsResponseSchema: Type.TArray<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]>>;
+    }>;
+    argument: Type.TObject<{
+        id: Type.TString;
+        title: Type.TString;
+        published: Type.TBoolean;
+    }>;
+    version: Type.TNumber;
+    variable: Type.TOptional<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;
+    }>]>]>>;
+    sources: Type.TOptional<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]>>;
+    }>>>;
+    expressions: Type.TOptional<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.TOptional<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>;
+    }>]>>>;
+}>>;
+export type TUserClaimsResponse = Static<typeof UserClaimsResponseSchema>;
+//# sourceMappingURL=claims.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAU3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}

package/dist/schemas/api/claims.js

@@ -0,0 +1,20 @@
+import Type, {} from "typebox";
+import { ClaimSchema } from "../model/claims.js";
+import { PropositionalVariableSchema, PropositionalExpressionSchema, PropositionalPremiseSchema, } from "../logic.js";
+import { SourceSchemaNotStrict } from "../model/sources.js";
+import { UUID } from "../common.js";
+export const ClaimWithContextSchema = Type.Object({
+    claim: ClaimSchema,
+    argument: Type.Object({
+        id: UUID,
+        title: Type.String(),
+        published: Type.Boolean(),
+    }),
+    version: Type.Number(),
+    variable: Type.Optional(PropositionalVariableSchema),
+    sources: Type.Optional(Type.Array(SourceSchemaNotStrict)),
+    expressions: Type.Optional(Type.Array(PropositionalExpressionSchema)),
+    premises: Type.Optional(Type.Array(PropositionalPremiseSchema)),
+});
+export const UserClaimsResponseSchema = Type.Array(ClaimWithContextSchema);
+//# sourceMappingURL=claims.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,WAAW;IAClB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;KAC5B,CAAC;IACF,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACpD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACzD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACrE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;CAClE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAA"}

package/dist/schemas/api/reaction/index.d.ts

@@ -0,0 +1,46 @@
+import { Type, type Static } from "typebox";
+export declare const ReactionGetResponse: Type.TArray<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 declare const ReactionCreateRequest: Type.TObject<{
+    reaction: Type.TUnion<[Type.TLiteral<"upvote">, Type.TLiteral<"downvote">]>;
+    reactionsToRemove: Type.TOptional<Type.TArray<Type.TUnion<[Type.TLiteral<"upvote">, Type.TLiteral<"downvote">]>>>;
+}>;
+export declare const ReactionCreateResponse: Type.TObject<{
+    addedReaction: 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;
+    }>;
+    removedReactions: Type.TArray<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 declare const ReactionDeleteResponse: Type.TObject<{
+    removedReactions: Type.TArray<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 TReactionsGetResponse = Static<typeof ReactionGetResponse>;
+export type TReactionCreateRequest = Static<typeof ReactionCreateRequest>;
+export type TReactionCreateResponse = Static<typeof ReactionCreateResponse>;
+export type TReactionDeleteResponse = Static<typeof ReactionDeleteResponse>;
+//# sourceMappingURL=index.d.ts.map

package/dist/schemas/api/reaction/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/reaction/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,mBAAmB;;;;;;;GAA6B,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AAEF,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;EAGjC,CAAA;AAEF,eAAO,MAAM,sBAAsB;;;;;;;;;EAEjC,CAAA;AAEF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AACtE,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACzE,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAC3E,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}

package/dist/schemas/api/reaction/index.js

@@ -0,0 +1,15 @@
+import { Reaction, ReactionSchema } from "../../model.js";
+import { Type } from "typebox";
+export const ReactionGetResponse = Type.Array(ReactionSchema);
+export const ReactionCreateRequest = Type.Object({
+    reaction: Reaction,
+    reactionsToRemove: Type.Optional(Type.Array(Reaction)),
+});
+export const ReactionCreateResponse = Type.Object({
+    addedReaction: ReactionSchema,
+    removedReactions: Type.Array(ReactionSchema),
+});
+export const ReactionDeleteResponse = Type.Object({
+    removedReactions: Type.Array(ReactionSchema),
+});
+//# sourceMappingURL=index.js.map

package/dist/schemas/api/reaction/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/reaction/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;AAE7D,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,QAAQ;IAClB,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;CACzD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,aAAa,EAAE,cAAc;IAC7B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;CAC/C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;CAC/C,CAAC,CAAA"}

package/dist/schemas/api/review/index.d.ts

@@ -0,0 +1,164 @@
+import { Type, type Static } from "typebox";
+export declare const ReviewGetResponse: Type.TObject<{
+    review: Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TInteger;
+        userId: Type.TString;
+        phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
+        currentStepIndex: Type.TInteger;
+        public: Type.TBoolean;
+        createdOn: import("../../common.js").TDateType;
+        updatedOn: import("../../common.js").TDateType;
+        claimAssignments: Type.TArray<Type.TObject<{
+            claimId: Type.TString;
+            value: Type.TUnion<[Type.TLiteral<"true">, Type.TLiteral<"false">, Type.TLiteral<"unknown">, Type.TNull]>;
+            skipped: Type.TBoolean;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+        operatorAssignments: Type.TArray<Type.TObject<{
+            premiseId: Type.TString;
+            expressionId: Type.TUnion<[Type.TString, Type.TNull]>;
+            scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
+            decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">, Type.TNull]>;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+    }>;
+    reviewer: Type.TOptional<Type.TIntersect<[Type.TObject<{
+        id: 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 TReviewGetResponse = Static<typeof ReviewGetResponse>;
+export declare const ReviewGetNotFoundResponse: Type.TObject<{
+    error: Type.TLiteral<"not_found">;
+}>;
+export type TReviewGetNotFoundResponse = Static<typeof ReviewGetNotFoundResponse>;
+export declare const ReviewCreateRequest: Type.TObject<{}>;
+export type TReviewCreateRequest = Static<typeof ReviewCreateRequest>;
+export declare const ReviewCreateResponse: Type.TObject<{
+    review: Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TInteger;
+        userId: Type.TString;
+        phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
+        currentStepIndex: Type.TInteger;
+        public: Type.TBoolean;
+        createdOn: import("../../common.js").TDateType;
+        updatedOn: import("../../common.js").TDateType;
+        claimAssignments: Type.TArray<Type.TObject<{
+            claimId: Type.TString;
+            value: Type.TUnion<[Type.TLiteral<"true">, Type.TLiteral<"false">, Type.TLiteral<"unknown">, Type.TNull]>;
+            skipped: Type.TBoolean;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+        operatorAssignments: Type.TArray<Type.TObject<{
+            premiseId: Type.TString;
+            expressionId: Type.TUnion<[Type.TString, Type.TNull]>;
+            scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
+            decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">, Type.TNull]>;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+    }>;
+}>;
+export type TReviewCreateResponse = Static<typeof ReviewCreateResponse>;
+export declare const ReviewCreateConflictResponse: Type.TObject<{
+    error: Type.TLiteral<"already_exists">;
+    reviewId: Type.TString;
+}>;
+export type TReviewCreateConflictResponse = Static<typeof ReviewCreateConflictResponse>;
+export declare const ReviewUpdateRequest: Type.TObject<{
+    phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
+    currentStepIndex: Type.TInteger;
+    claimAssignments: Type.TArray<Type.TObject<{
+        claimId: Type.TString;
+        value: Type.TUnion<[Type.TLiteral<"true">, Type.TLiteral<"false">, Type.TLiteral<"unknown">, Type.TNull]>;
+        skipped: Type.TBoolean;
+        reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+        decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+    }>>;
+    operatorAssignments: Type.TArray<Type.TObject<{
+        premiseId: Type.TString;
+        expressionId: Type.TUnion<[Type.TString, Type.TNull]>;
+        scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
+        decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">, Type.TNull]>;
+        reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+        decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+    }>>;
+}>;
+export type TReviewUpdateRequest = Static<typeof ReviewUpdateRequest>;
+export declare const ReviewUpdateResponse: Type.TObject<{
+    review: Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TInteger;
+        userId: Type.TString;
+        phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
+        currentStepIndex: Type.TInteger;
+        public: Type.TBoolean;
+        createdOn: import("../../common.js").TDateType;
+        updatedOn: import("../../common.js").TDateType;
+        claimAssignments: Type.TArray<Type.TObject<{
+            claimId: Type.TString;
+            value: Type.TUnion<[Type.TLiteral<"true">, Type.TLiteral<"false">, Type.TLiteral<"unknown">, Type.TNull]>;
+            skipped: Type.TBoolean;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+        operatorAssignments: Type.TArray<Type.TObject<{
+            premiseId: Type.TString;
+            expressionId: Type.TUnion<[Type.TString, Type.TNull]>;
+            scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
+            decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">, Type.TNull]>;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+    }>;
+}>;
+export type TReviewUpdateResponse = Static<typeof ReviewUpdateResponse>;
+export declare const ReviewDeleteResponse: Type.TObject<{
+    success: Type.TLiteral<true>;
+}>;
+export type TReviewDeleteResponse = Static<typeof ReviewDeleteResponse>;
+export declare const ReviewVisibilityRequest: Type.TObject<{
+    public: Type.TBoolean;
+}>;
+export type TReviewVisibilityRequest = Static<typeof ReviewVisibilityRequest>;
+export declare const ReviewVisibilityResponse: Type.TObject<{
+    review: Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TInteger;
+        userId: Type.TString;
+        phase: Type.TUnion<[Type.TLiteral<"claims">, Type.TLiteral<"operators">, Type.TLiteral<"done">]>;
+        currentStepIndex: Type.TInteger;
+        public: Type.TBoolean;
+        createdOn: import("../../common.js").TDateType;
+        updatedOn: import("../../common.js").TDateType;
+        claimAssignments: Type.TArray<Type.TObject<{
+            claimId: Type.TString;
+            value: Type.TUnion<[Type.TLiteral<"true">, Type.TLiteral<"false">, Type.TLiteral<"unknown">, Type.TNull]>;
+            skipped: Type.TBoolean;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+        operatorAssignments: Type.TArray<Type.TObject<{
+            premiseId: Type.TString;
+            expressionId: Type.TUnion<[Type.TString, Type.TNull]>;
+            scope: Type.TUnion<[Type.TLiteral<"premise">, Type.TLiteral<"expression">]>;
+            decision: Type.TUnion<[Type.TLiteral<"accepted">, Type.TLiteral<"rejected">, Type.TNull]>;
+            reasonCode: Type.TUnion<[Type.TString, Type.TNull]>;
+            decidedAt: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
+        }>>;
+    }>;
+}>;
+export type TReviewVisibilityResponse = Static<typeof ReviewVisibilityResponse>;
+//# sourceMappingURL=index.d.ts.map

package/dist/schemas/api/review/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/review/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAU3C,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAEjE,eAAO,MAAM,yBAAyB;;EAEpC,CAAA;AACF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,yBAAyB,CACnC,CAAA;AAED,eAAO,MAAM,mBAAmB,kBAAkB,CAAA;AAClD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAwC,CAAA;AACzE,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE,eAAO,MAAM,4BAA4B;;;EAGvC,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;EAK9B,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAwC,CAAA;AACzE,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE,eAAO,MAAM,oBAAoB;;EAA+C,CAAA;AAChF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE,eAAO,MAAM,uBAAuB;;EAElC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAwC,CAAA;AAC7E,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}

package/dist/schemas/api/review/index.js

@@ -0,0 +1,29 @@
+import { Type } from "typebox";
+import { UUID } from "../../common.js";
+import { ReviewerInfo, ServerReview, ServerClaimAssignment, ServerOperatorAssignment, ServerReviewPhase, } from "../../model/review.js";
+export const ReviewGetResponse = Type.Object({
+    review: ServerReview,
+    reviewer: Type.Optional(ReviewerInfo),
+});
+export const ReviewGetNotFoundResponse = Type.Object({
+    error: Type.Literal("not_found"),
+});
+export const ReviewCreateRequest = Type.Object({});
+export const ReviewCreateResponse = Type.Object({ review: ServerReview });
+export const ReviewCreateConflictResponse = Type.Object({
+    error: Type.Literal("already_exists"),
+    reviewId: UUID,
+});
+export const ReviewUpdateRequest = Type.Object({
+    phase: ServerReviewPhase,
+    currentStepIndex: Type.Integer(),
+    claimAssignments: Type.Array(ServerClaimAssignment),
+    operatorAssignments: Type.Array(ServerOperatorAssignment),
+});
+export const ReviewUpdateResponse = Type.Object({ review: ServerReview });
+export const ReviewDeleteResponse = Type.Object({ success: Type.Literal(true) });
+export const ReviewVisibilityRequest = Type.Object({
+    public: Type.Boolean(),
+});
+export const ReviewVisibilityResponse = Type.Object({ review: ServerReview });
+//# sourceMappingURL=index.js.map

package/dist/schemas/api/review/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/review/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,qBAAqB,EACrB,wBAAwB,EACxB,iBAAiB,GACpB,MAAM,uBAAuB,CAAA;AAE9B,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,MAAM,EAAE,YAAY;IACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;CACxC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;CACnC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAGlD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;AAGzE,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACrC,QAAQ,EAAE,IAAI;CACjB,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,iBAAiB;IACxB,gBAAgB,EAAE,IAAI,CAAC,OAAO,EAAE;IAChC,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;IACnD,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;AAGzE,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAGhF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA"}

package/dist/schemas/api/search.d.ts

@@ -0,0 +1,109 @@
+import Type, { type Static } from "typebox";
+export declare const ClaimSearchRequestSchema: Type.TObject<{
+    q: Type.TString;
+    limit: Type.TOptional<Type.TNumber>;
+    argumentId: Type.TOptional<Type.TString>;
+}>;
+export type TClaimSearchRequest = Static<typeof ClaimSearchRequestSchema>;
+export declare const ClaimSearchResultSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    title: Type.TString;
+    type: Type.TString;
+    argumentTitle: Type.TString;
+    distance: Type.TNumber;
+}>;
+export type TClaimSearchResult = Static<typeof ClaimSearchResultSchema>;
+export declare const ClaimSearchResponseSchema: Type.TArray<Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    title: Type.TString;
+    type: Type.TString;
+    argumentTitle: Type.TString;
+    distance: Type.TNumber;
+}>>;
+export type TClaimSearchResponse = Static<typeof ClaimSearchResponseSchema>;
+export declare const SourceSearchRequestSchema: Type.TObject<{
+    q: Type.TString;
+    limit: Type.TOptional<Type.TNumber>;
+}>;
+export type TSourceSearchRequest = Static<typeof SourceSearchRequestSchema>;
+export declare const SourceSearchResultSchema: Type.TObject<{
+    id: Type.TString;
+    citation: Type.TAny;
+    argumentTitle: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    distance: Type.TNumber;
+}>;
+export type TSourceSearchResult = Static<typeof SourceSearchResultSchema>;
+export declare const SourceSearchResponseSchema: Type.TArray<Type.TObject<{
+    id: Type.TString;
+    citation: Type.TAny;
+    argumentTitle: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    distance: Type.TNumber;
+}>>;
+export type TSourceSearchResponse = Static<typeof SourceSearchResponseSchema>;
+export declare const EntitySearchRequestSchema: Type.TObject<{
+    q: Type.TString;
+    types: Type.TOptional<Type.TString>;
+    limit: Type.TOptional<Type.TNumber>;
+}>;
+export type TEntitySearchRequest = Static<typeof EntitySearchRequestSchema>;
+export declare const PremiseSearchResultSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    title: Type.TString;
+    role: Type.TString;
+    argumentTitle: Type.TString;
+    distance: Type.TNumber;
+}>;
+export type TPremiseSearchResult = Static<typeof PremiseSearchResultSchema>;
+export declare const ArgumentSearchResultSchema: Type.TObject<{
+    id: Type.TString;
+    version: Type.TNumber;
+    title: Type.TString;
+    distance: Type.TNumber;
+}>;
+export type TArgumentSearchResult = Static<typeof ArgumentSearchResultSchema>;
+export declare const EntitySearchResponseSchema: Type.TObject<{
+    arguments: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        version: Type.TNumber;
+        title: Type.TString;
+        distance: Type.TNumber;
+    }>>;
+    claims: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        title: Type.TString;
+        type: Type.TString;
+        argumentTitle: Type.TString;
+        distance: Type.TNumber;
+    }>>;
+    premises: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        title: Type.TString;
+        role: Type.TString;
+        argumentTitle: Type.TString;
+        distance: Type.TNumber;
+    }>>;
+    sources: Type.TArray<Type.TObject<{
+        id: Type.TString;
+        citation: Type.TAny;
+        argumentTitle: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        distance: Type.TNumber;
+    }>>;
+}>;
+export type TEntitySearchResponse = Static<typeof EntitySearchResponseSchema>;
+//# sourceMappingURL=search.d.ts.map