@proposit/shared 0.1.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAMjB,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,IAAI,CACpC,aAAa,EACb,UAAU,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,oBAAoB,CAC7E,GAAG;IACA,QAAQ,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,GAAG,IAAI,CAAA;IAC9C,kBAAkB,EAAE,uBAAuB,GAAG,IAAI,CAAA;CACrD,CAAA;AAED,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAS/E,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA"}

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

@@ -0,0 +1,51 @@
+import { ArgumentSchema, MutableArgumentFieldsSchema, ClaimSourceSchema, SourceSchemaNotStrict, ParticipantWithUserSchema, ClaimSchema, } from "../../model.js";
+import { Nullable, UUID } from "../../common.js";
+import { TaskSchema } from "../../tasks.js";
+import { ArgumentEngineSnapshotSchema, } from "../../snapshot.js";
+import { ArgumentImportOrigin, ArgumentPlatformDataMap, } from "../../integrations/index.js";
+import Type, {} from "typebox";
+export const FullArgumentSchema = Type.Object({
+    argument: ArgumentSchema,
+    claims: Type.Array(ClaimSchema),
+    propositionalLogic: ArgumentEngineSnapshotSchema,
+    claimSources: Type.Array(ClaimSourceSchema),
+    sources: Type.Array(SourceSchemaNotStrict),
+    argumentHistory: Type.Array(ArgumentSchema),
+    originalArgument: Nullable(ArgumentSchema),
+    participants: Type.Array(ParticipantWithUserSchema),
+    tasks: Type.Array(TaskSchema),
+    needsNormalization: Type.Boolean(),
+});
+export const GetAllArgumentsRequestSchema = Type.Object({
+    userId: Type.Optional(UUID),
+    username: Type.Optional(Type.String()),
+    owned: Type.Optional(Type.Boolean()),
+    limit: Type.Optional(Type.Number({ default: 50 })),
+    offset: Type.Optional(Type.Number()),
+    showUnpublished: Type.Optional(Type.Boolean()),
+    orderByPopularity: Type.Optional(Type.Boolean()),
+    getUserIdFromSession: Type.Optional(Type.Boolean()),
+    titlePattern: Type.Optional(Type.String()),
+});
+export const UpdateArgumentRequestSchema = Type.Object({
+    newData: MutableArgumentFieldsSchema,
+    currentDigest: Type.String(),
+});
+const ArgumentWithForkIdSchema = Type.Intersect([
+    ArgumentSchema,
+    Type.Object({
+        forkId: UUID,
+    }),
+]);
+export const GetForksOfArgumentResponseSchema = Type.Object({
+    arguments: Type.Array(ArgumentWithForkIdSchema),
+});
+export const CreateArgumentSchema = Type.Object({
+    origin: ArgumentImportOrigin,
+    data: Type.Index(ArgumentPlatformDataMap, Type.KeyOf(ArgumentPlatformDataMap)),
+});
+export const PublishResponseSchema = Type.Object({
+    published: ArgumentSchema,
+    draft: ArgumentSchema,
+});
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,iBAAiB,EACjB,qBAAqB,EACrB,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACH,4BAA4B,GAE/B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,oBAAoB,EACpB,uBAAuB,GAC1B,MAAM,6BAA6B,CAAA;AACpC,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAC/B,kBAAkB,EAAE,4BAA4B;IAChD,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC3C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC1C,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;IAC3C,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC;IAC1C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;IAC7B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;CACrC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACpC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAChD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACnD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,2BAA2B;IACpC,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;CAC/B,CAAC,CAAA;AAGF,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,MAAM,EAAE,IAAI;KACf,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAClD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,cAAc;IACzB,KAAK,EAAE,cAAc;CACxB,CAAC,CAAA"}

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

@@ -0,0 +1,205 @@
+import { Type, type Static } from "typebox";
+export declare const PremiseCreationSchema: Type.TObject<{
+    title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
+}>;
+export type TPremiseCreation = Static<typeof PremiseCreationSchema>;
+export declare const CreatePremiseResponseSchema: Type.TObject<{
+    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.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]>;
+}>;
+export type TCreatePremiseResponse = Static<typeof CreatePremiseResponseSchema>;
+export declare const PremiseUpdateSchema: Type.TIntersect<[Type.TObject<{
+    checksum: Type.TString;
+}>, Type.TObject<{
+    title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
+}>]>;
+export type TPremiseUpdate = Static<typeof PremiseUpdateSchema>;
+export declare const ExpressionCreationSchema: Type.TObject<{
+    premiseId: Type.TString;
+    parentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    position: Type.TOptional<Type.TInteger>;
+    type: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
+    variableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    operator: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>, Type.TNull]>>;
+    relativeTo: Type.TOptional<Type.TObject<{
+        expressionId: Type.TString;
+        direction: Type.TUnion<[Type.TLiteral<"before">, Type.TLiteral<"after">]>;
+    }>>;
+}>;
+export type TExpressionCreation = Static<typeof ExpressionCreationSchema>;
+export declare const ExpressionUpdateSchema: Type.TIntersect<[Type.TObject<{
+    checksum: Type.TString;
+}>, Type.TObject<{
+    parentId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    position: Type.TOptional<Type.TInteger>;
+    type: Type.TOptional<Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>>;
+    variableId: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    operator: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>, Type.TNull]>>;
+}>]>;
+export type TExpressionUpdate = Static<typeof ExpressionUpdateSchema>;
+export declare const CreateExpressionResponseSchema: Type.TObject<{
+    created: 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;
+    }>]>]>;
+    shifted: 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 TCreateExpressionResponse = Static<typeof CreateExpressionResponseSchema>;
+export declare const VariableCreationSchema: Type.TObject<{
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    symbol: Type.TString;
+}>;
+export type TVariableCreation = Static<typeof VariableCreationSchema>;
+export declare const VariableUpdateSchema: Type.TIntersect<[Type.TObject<{
+    checksum: Type.TString;
+}>, Type.TObject<{
+    claimId: Type.TOptional<Type.TString>;
+    claimVersion: Type.TOptional<Type.TNumber>;
+    symbol: Type.TOptional<Type.TString>;
+}>]>;
+export type TVariableUpdate = Static<typeof VariableUpdateSchema>;
+export declare function isPremiseCreation(obj: unknown): obj is TPremiseCreation;
+export declare function isExpressionCreation(obj: unknown): obj is TExpressionCreation;
+export declare function isVariableCreation(obj: unknown): obj is TVariableCreation;
+//# sourceMappingURL=logic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/logic.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,mBAAmB;;;;;IAQ9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAc/D,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,sBAAsB;;;;;;;;IAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGzC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAID,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,oBAAoB;;;;;;IAS/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAIjE,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,gBAAgB,CAEvE;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,mBAAmB,CAE7E;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,iBAAiB,CAEzE"}

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

@@ -0,0 +1,77 @@
+import { Nullable, UUID } from "../../common.js";
+import { LogicalOperatorType, PremiseRoleType, PropositionalExpressionSchema, PropositionalExpressionTypes, PropositionalPremiseSchema, PropositionalVariableSchema, } from "../../logic.js";
+import { Type } from "typebox";
+import Value from "typebox/value";
+// ── Premise API schemas ─────────────────────────────────────────────────────
+export const PremiseCreationSchema = Type.Object({
+    title: Type.Optional(Nullable(Type.String())),
+    role: Type.Optional(PremiseRoleType),
+});
+export const CreatePremiseResponseSchema = Type.Object({
+    premise: PropositionalPremiseSchema,
+    variable: Type.Union([PropositionalVariableSchema, Type.Null()]),
+});
+export const PremiseUpdateSchema = Type.Intersect([
+    Type.Object({ checksum: Type.String() }),
+    Type.Partial(Type.Object({
+        title: Nullable(Type.String()),
+        role: PremiseRoleType,
+    })),
+]);
+// ── Expression API schemas (within a premise) ───────────────────────────────
+const InsertDirectionType = Type.Union([
+    Type.Literal("before"),
+    Type.Literal("after"),
+]);
+const RelativeToSchema = Type.Object({
+    expressionId: UUID,
+    direction: InsertDirectionType,
+});
+export const ExpressionCreationSchema = Type.Object({
+    premiseId: UUID,
+    parentId: Type.Optional(Nullable(UUID)),
+    position: Type.Optional(Type.Integer()),
+    type: PropositionalExpressionTypes,
+    variableId: Type.Optional(Nullable(UUID)),
+    operator: Type.Optional(Nullable(LogicalOperatorType)),
+    relativeTo: Type.Optional(RelativeToSchema),
+});
+export const ExpressionUpdateSchema = Type.Intersect([
+    Type.Object({ checksum: Type.String() }),
+    Type.Partial(Type.Object({
+        parentId: Nullable(UUID),
+        position: Type.Integer(),
+        type: PropositionalExpressionTypes,
+        variableId: Nullable(UUID),
+        operator: Nullable(LogicalOperatorType),
+    })),
+]);
+export const CreateExpressionResponseSchema = Type.Object({
+    created: PropositionalExpressionSchema,
+    shifted: Type.Array(PropositionalExpressionSchema),
+});
+// ── Variable API schemas (claim-linked) ──────────────────────────────────────
+export const VariableCreationSchema = Type.Object({
+    claimId: UUID,
+    claimVersion: Type.Number(),
+    symbol: Type.String({ minLength: 1 }),
+});
+export const VariableUpdateSchema = Type.Intersect([
+    Type.Object({ checksum: Type.String() }),
+    Type.Partial(Type.Object({
+        claimId: UUID,
+        claimVersion: Type.Number(),
+        symbol: Type.String({ minLength: 1 }),
+    })),
+]);
+// ── Type guards ─────────────────────────────────────────────────────────────
+export function isPremiseCreation(obj) {
+    return Value.Check(PremiseCreationSchema, obj);
+}
+export function isExpressionCreation(obj) {
+    return Value.Check(ExpressionCreationSchema, obj);
+}
+export function isVariableCreation(obj) {
+    return Value.Check(VariableCreationSchema, obj);
+}
+//# sourceMappingURL=logic.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logic.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/logic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EACH,mBAAmB,EACnB,eAAe,EACf,6BAA6B,EAC7B,4BAA4B,EAC5B,0BAA0B,EAC1B,2BAA2B,GAC9B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,KAAK,MAAM,eAAe,CAAA;AAEjC,+EAA+E;AAE/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;CACvC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,0BAA0B;IACnC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,2BAA2B,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;CACnE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;IACxC,IAAI,CAAC,OAAO,CACR,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,EAAE,eAAe;KACxB,CAAC,CACL;CACJ,CAAC,CAAA;AAGF,+EAA+E;AAE/E,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,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjC,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,mBAAmB;CACjC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACvC,IAAI,EAAE,4BAA4B;IAClC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACtD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;CAC9C,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,SAAS,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;IACxC,IAAI,CAAC,OAAO,CACR,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;QACxB,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;QACxB,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC;QAC1B,QAAQ,EAAE,QAAQ,CAAC,mBAAmB,CAAC;KAC1C,CAAC,CACL;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,OAAO,EAAE,6BAA6B;IACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACrD,CAAC,CAAA;AAKF,gFAAgF;AAEhF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;IAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACxC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;IACxC,IAAI,CAAC,OAAO,CACR,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI;QACb,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;QAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;KACxC,CAAC,CACL;CACJ,CAAC,CAAA;AAGF,+EAA+E;AAE/E,MAAM,UAAU,iBAAiB,CAAC,GAAY;IAC1C,OAAO,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAY;IAC7C,OAAO,KAAK,CAAC,KAAK,CAAC,wBAAwB,EAAE,GAAG,CAAC,CAAA;AACrD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAY;IAC3C,OAAO,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;AACnD,CAAC"}

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

@@ -0,0 +1,195 @@
+import { Type, type Static } from "typebox";
+export declare const RepairableCodeSchema: Type.TUnion<[Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"CHECKSUM_STALE">, Type.TLiteral<"GRAMMAR_DENORMALIZED">]>;
+export type TRepairableCode = Static<typeof RepairableCodeSchema>;
+export declare const RepairItemSchema: Type.TObject<{
+    code: Type.TUnion<[Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"CHECKSUM_STALE">, Type.TLiteral<"GRAMMAR_DENORMALIZED">]>;
+    premiseId: Type.TOptional<Type.TString>;
+    expressionId: Type.TOptional<Type.TString>;
+}>;
+export type TRepairItem = Static<typeof RepairItemSchema>;
+export declare const RepairRequestSchema: Type.TObject<{
+    repairs: Type.TArray<Type.TObject<{
+        code: Type.TUnion<[Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"CHECKSUM_STALE">, Type.TLiteral<"GRAMMAR_DENORMALIZED">]>;
+        premiseId: Type.TOptional<Type.TString>;
+        expressionId: Type.TOptional<Type.TString>;
+    }>>;
+}>;
+export type TRepairRequest = Static<typeof RepairRequestSchema>;
+export declare const RepairResponseSchema: 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>;
+    }>;
+    repaired: Type.TArray<Type.TObject<{
+        code: Type.TString;
+        premiseId: Type.TOptional<Type.TString>;
+        expressionId: Type.TOptional<Type.TString>;
+    }>>;
+    failed: Type.TArray<Type.TIntersect<[Type.TObject<{
+        code: Type.TString;
+        premiseId: Type.TOptional<Type.TString>;
+        expressionId: Type.TOptional<Type.TString>;
+    }>, Type.TObject<{
+        reason: Type.TString;
+    }>]>>;
+}>;
+export type TRepairResponse = Static<typeof RepairResponseSchema>;
+//# sourceMappingURL=repair.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/repair.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0KAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAIjE,eAAO,MAAM,gBAAgB;;;;EAI3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,mBAAmB;;;;;;EAE9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAU/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

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

@@ -0,0 +1,35 @@
+// src/schemas/api/argument/repair.ts
+import { UUID } from "../../common.js";
+import { ArgumentEngineSnapshotSchema } from "../../snapshot.js";
+import { Type } from "typebox";
+// ── Repairable validation codes ─────────────────────────────────────────────
+export const RepairableCodeSchema = Type.Union([
+    Type.Literal("EXPR_CHILD_COUNT_INVALID"),
+    Type.Literal("PREMISE_ROOT_MISMATCH"),
+    Type.Literal("CHECKSUM_STALE"),
+    Type.Literal("GRAMMAR_DENORMALIZED"),
+]);
+// ── Request ─────────────────────────────────────────────────────────────────
+export const RepairItemSchema = Type.Object({
+    code: RepairableCodeSchema,
+    premiseId: Type.Optional(UUID),
+    expressionId: Type.Optional(UUID),
+});
+export const RepairRequestSchema = Type.Object({
+    repairs: Type.Array(RepairItemSchema),
+});
+// ── Response ────────────────────────────────────────────────────────────────
+const RepairResultItemSchema = Type.Object({
+    code: Type.String(),
+    premiseId: Type.Optional(Type.String()),
+    expressionId: Type.Optional(Type.String()),
+});
+export const RepairResponseSchema = Type.Object({
+    snapshot: ArgumentEngineSnapshotSchema,
+    repaired: Type.Array(RepairResultItemSchema),
+    failed: Type.Array(Type.Intersect([
+        RepairResultItemSchema,
+        Type.Object({ reason: Type.String() }),
+    ])),
+});
+//# sourceMappingURL=repair.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/repair.ts"],"names":[],"mappings":"AAAA,qCAAqC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AAChE,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAE3C,+EAA+E;AAE/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;CACvC,CAAC,CAAA;AAGF,+EAA+E;AAE/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,IAAI,EAAE,oBAAoB;IAC1B,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;CACxC,CAAC,CAAA;AAGF,+EAA+E;AAE/E,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,QAAQ,EAAE,4BAA4B;IACtC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC5C,MAAM,EAAE,IAAI,CAAC,KAAK,CACd,IAAI,CAAC,SAAS,CAAC;QACX,sBAAsB;QACtB,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;KACzC,CAAC,CACL;CACJ,CAAC,CAAA"}