@proposit/shared 0.23.0 → 0.25.0

package/dist/permissions/index.js

@@ -1,4 +1,4 @@
-import { SystemRoles } from "../consts/roles.js";
+import { SystemRoles, ParticipantRoles, } from "../consts/roles.js";
 export function canArgument(action, ctx) {
     if (ctx.systemPermissions.has(SystemRoles.ADMIN.FULL_ACCESS))
         return true;
@@ -18,7 +18,9 @@ export function canArgument(action, ctx) {
         case "publish":
             return editable;
         case "delete":
-            return (editable ||
+            // Hard-delete is destructive, so it is OWNER-only among
+            // participants — an EDITOR can edit a draft but not destroy it.
+            return ((!ctx.published && ctx.role === ParticipantRoles.OWNER) ||
                 ctx.systemPermissions.has(SystemRoles.ARGUMENT.DELETE));
         case "hide":
             return ctx.systemPermissions.has(SystemRoles.ARGUMENT.HIDE);

package/dist/permissions/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/permissions/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAyB,MAAM,oBAAoB,CAAA;AA6BvE,MAAM,UAAU,WAAW,CACvB,MAAe,EACf,GAA+B;IAE/B,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAA;IAEzE,MAAM,aAAa,GAAG,GAAG,CAAC,IAAI,KAAK,IAAI,CAAA;IACvC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,aAAa,CAAA;IAEhD,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,MAAM;YACP,IAAI,GAAG,CAAC,SAAS,IAAI,aAAa;gBAAE,OAAO,IAAI,CAAA;YAC/C,mEAAmE;YACnE,2DAA2D;YAC3D,OAAO,CACH,GAAG,CAAC,QAAQ,KAAK,SAAS;gBAC1B,GAAG,CAAC,UAAU,KAAK,cAAc;gBACjC,GAAG,CAAC,OAAO,KAAK,CAAC,CACpB,CAAA;QACL,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACV,OAAO,QAAQ,CAAA;QACnB,KAAK,QAAQ;YACT,OAAO,CACH,QAAQ;gBACR,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CACzD,CAAA;QACL,KAAK,MAAM;YACP,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC/D,KAAK,QAAQ;YACT,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACjE;YACI,OAAO,KAAK,CAAA;IACpB,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAe,EACf,GAAuC;IAEvC,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAA;IAEzE,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,QAAQ;YACT,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAC5B,WAAW,CAAC,uBAAuB,CAAC,MAAM,CAC7C,CAAA;QACL,KAAK,cAAc;YACf,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAC5B,WAAW,CAAC,uBAAuB,CAAC,YAAY,CACnD,CAAA;QACL;YACI,OAAO,KAAK,CAAA;IACpB,CAAC;AACL,CAAC;AAED,MAAM,UAAU,GAAG,CACf,MAAe,EACf,OAAiB,EACjB,GAA+B;IAE/B,QAAQ,OAAO,EAAE,CAAC;QACd,KAAK,UAAU;YACX,OAAO,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QACnC,KAAK,wBAAwB;YACzB,OAAO,yBAAyB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QACjD;YACI,OAAO,KAAK,CAAA;IACpB,CAAC;AACL,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/permissions/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,WAAW,EACX,gBAAgB,GAEnB,MAAM,oBAAoB,CAAA;AA6B3B,MAAM,UAAU,WAAW,CACvB,MAAe,EACf,GAA+B;IAE/B,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAA;IAEzE,MAAM,aAAa,GAAG,GAAG,CAAC,IAAI,KAAK,IAAI,CAAA;IACvC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,aAAa,CAAA;IAEhD,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,MAAM;YACP,IAAI,GAAG,CAAC,SAAS,IAAI,aAAa;gBAAE,OAAO,IAAI,CAAA;YAC/C,mEAAmE;YACnE,2DAA2D;YAC3D,OAAO,CACH,GAAG,CAAC,QAAQ,KAAK,SAAS;gBAC1B,GAAG,CAAC,UAAU,KAAK,cAAc;gBACjC,GAAG,CAAC,OAAO,KAAK,CAAC,CACpB,CAAA;QACL,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACV,OAAO,QAAQ,CAAA;QACnB,KAAK,QAAQ;YACT,wDAAwD;YACxD,gEAAgE;YAChE,OAAO,CACH,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,CAAC,KAAK,CAAC;gBACvD,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CACzD,CAAA;QACL,KAAK,MAAM;YACP,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC/D,KAAK,QAAQ;YACT,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACjE;YACI,OAAO,KAAK,CAAA;IACpB,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAe,EACf,GAAuC;IAEvC,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAA;IAEzE,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,QAAQ;YACT,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAC5B,WAAW,CAAC,uBAAuB,CAAC,MAAM,CAC7C,CAAA;QACL,KAAK,cAAc;YACf,OAAO,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAC5B,WAAW,CAAC,uBAAuB,CAAC,YAAY,CACnD,CAAA;QACL;YACI,OAAO,KAAK,CAAA;IACpB,CAAC;AACL,CAAC;AAED,MAAM,UAAU,GAAG,CACf,MAAe,EACf,OAAiB,EACjB,GAA+B;IAE/B,QAAQ,OAAO,EAAE,CAAC;QACd,KAAK,UAAU;YACX,OAAO,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QACnC,KAAK,wBAAwB;YACzB,OAAO,yBAAyB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QACjD;YACI,OAAO,KAAK,CAAA;IACpB,CAAC;AACL,CAAC"}

package/dist/schemas/api/argument/batch/change-edge-operator.d.ts

@@ -101,6 +101,7 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
                 id: Type.TString;
                 argumentId: Type.TString;
                 argumentVersion: Type.TNumber;
+                derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
             }>, Type.TObject<{
                 checksum: Type.TOptional<Type.TString>;
                 descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;

package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-edge-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/change-edge-operator.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,+BAA+B;;;;;;;EAO1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK3C,CAAA;AAEF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA"}
+{"version":3,"file":"change-edge-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/change-edge-operator.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,+BAA+B;;;;;;;EAO1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK3C,CAAA;AAEF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA"}

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

@@ -101,6 +101,7 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
                 id: Type.TString;
                 argumentId: Type.TString;
                 argumentVersion: Type.TNumber;
+                derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
             }>, Type.TObject<{
                 checksum: Type.TOptional<Type.TString>;
                 descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;

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

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

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

@@ -3,8 +3,10 @@ export declare const ProvisionResponseSchema: Type.TObject<{
     claim: Type.TUnion<[Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../../common.js").TDateType;
@@ -21,8 +23,10 @@ export declare const ProvisionResponseSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../../common.js").TDateType;
@@ -466,8 +470,10 @@ export declare const ProvisionResponseSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../../common.js").TDateType;
@@ -504,6 +510,7 @@ export declare const ProvisionResponseSchema: Type.TObject<{
         role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
         createdOn: Type.TOptional<import("../../../common.js").TDateType>;
         creatorId: Type.TOptional<Type.TString>;
+        derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
     }>]>;
     variable: Type.TUnion<[Type.TIntersect<[Type.TObject<{
         claimId: Type.TString;

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

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

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

@@ -11,8 +11,10 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
     newClaim: Type.TUnion<[Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -29,8 +31,10 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -474,8 +478,10 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -576,8 +582,10 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
     deletedClaims: Type.TArray<Type.TUnion<[Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -594,8 +602,10 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -1039,8 +1049,10 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -1061,8 +1073,10 @@ export declare const CitationCreationSchema: Type.TObject<{
     citation: Type.TUnion<[Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -1079,8 +1093,10 @@ export declare const CitationCreationSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -1524,8 +1540,10 @@ export declare const CitationCreationSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -1587,8 +1605,10 @@ export declare const AxiomAssignmentResponseSchema: Type.TObject<{
     axiomClaim: Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -1625,6 +1645,7 @@ export declare const AxiomAssignmentResponseSchema: Type.TObject<{
         role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
         createdOn: Type.TOptional<import("../../common.js").TDateType>;
         creatorId: Type.TOptional<Type.TString>;
+        derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
     }>]>;
 }>;
 export type TAxiomAssignmentResponse = Static<typeof AxiomAssignmentResponseSchema>;

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

@@ -1 +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;AAW3C,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,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA;AAID;;;;GAIG;AACH,eAAO,MAAM,4BAA4B;;EAEvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA"}
+{"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;AAW3C,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,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA;AAID;;;;GAIG;AACH,eAAO,MAAM,4BAA4B;;EAEvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA"}

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

@@ -1,6 +1,7 @@
 import { ArgumentSchema } from "../../model.js";
 import { type TArgumentEngineSnapshot } from "../../snapshot.js";
 import Type, { type Static } from "typebox";
+export * from "./versioning.js";
 export declare const FullArgumentSchema: Type.TObject<{
     argument: Type.TIntersect<[Type.TObject<{
         id: Type.TString;
@@ -56,8 +57,10 @@ export declare const FullArgumentSchema: Type.TObject<{
     claims: Type.TArray<Type.TUnion<[Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -74,8 +77,10 @@ export declare const FullArgumentSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -519,8 +524,10 @@ export declare const FullArgumentSchema: Type.TObject<{
     }>, Type.TObject<{
         digest: Type.TString;
         id: Type.TString;
-        argumentId: Type.TString;
+        originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
         version: Type.TNumber;
+        published: Type.TBoolean;
+        publishedOn: Type.TUnion<[import("../../common.js").TDateType, Type.TNull]>;
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
@@ -627,6 +634,7 @@ export declare const FullArgumentSchema: Type.TObject<{
                 id: Type.TString;
                 argumentId: Type.TString;
                 argumentVersion: Type.TNumber;
+                derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
             }>, Type.TObject<{
                 checksum: Type.TOptional<Type.TString>;
                 descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAIjB,MAAM,gBAAgB,CAAA;AAIvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYhC,CAAA;AACD,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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAIjB,MAAM,gBAAgB,CAAA;AAIvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,cAAc,iBAAiB,CAAA;AAE/B,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYhC,CAAA;AACD,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

@@ -5,6 +5,7 @@ import { TaskSchema } from "../../tasks.js";
 import { ArgumentEngineSnapshotSchema, } from "../../snapshot.js";
 import { ArgumentImportOrigin, ArgumentPlatformDataMap, } from "../../integrations/index.js";
 import Type, {} from "typebox";
+export * from "./versioning.js";
 export const FullArgumentSchema = Type.Object({
     argument: ArgumentSchema,
     claims: Type.Array(ClaimSchema),

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,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,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,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,CAC3C;IACI,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;IACD,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAC/D;CACJ,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAClC,CAAA;AAGD,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,cAAc;IACzB,KAAK,EAAE,cAAc;CACxB,CAAC,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,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,cAAc,iBAAiB,CAAA;AAE/B,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,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,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,CAC3C;IACI,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;IACD,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAC/D;CACJ,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAClC,CAAA;AAGD,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

@@ -27,6 +27,7 @@ export declare const CreatePremiseResponseSchema: Type.TObject<{
         role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
         createdOn: Type.TOptional<import("../../common.js").TDateType>;
         creatorId: Type.TOptional<Type.TString>;
+        derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
     }>]>;
     variable: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
         claimId: Type.TString;

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

@@ -1 +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"}
+{"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/repair.d.ts

@@ -108,6 +108,7 @@ export declare const RepairResponseSchema: Type.TObject<{
                 id: Type.TString;
                 argumentId: Type.TString;
                 argumentVersion: Type.TNumber;
+                derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
             }>, Type.TObject<{
                 checksum: Type.TOptional<Type.TString>;
                 descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;

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

@@ -1 +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"}
+{"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/versioning.d.ts

@@ -0,0 +1,44 @@
+import Type, { type Static } from "typebox";
+/**
+ * Response body for
+ * `GET /api/v1/claim/[claimId]/latest-version?pinned=<number>`.
+ *
+ * Claims are independently versioned and shared by reference. A draft argument
+ * pins a specific claim version through its propositional variable; this read
+ * lets the caller learn the claim trunk's latest published version and whether
+ * it is newer than the version it currently pins.
+ *
+ * - `latestPublishedVersion` is `null` when the claim has no published version
+ *   yet (only a draft head exists).
+ * - `hasNewer` is the server-computed predicate
+ *   `latestPublishedVersion != null && pinned != null && latestPublishedVersion > pinned`.
+ *   When the `pinned` query param is omitted, the server returns `false`.
+ */
+export declare const ClaimLatestVersionResponseSchema: Type.TObject<{
+    claimId: Type.TString;
+    latestPublishedVersion: Type.TUnion<[Type.TNumber, Type.TNull]>;
+    hasNewer: Type.TBoolean;
+}>;
+export type TClaimLatestVersionResponse = Static<typeof ClaimLatestVersionResponseSchema>;
+/**
+ * Request body for
+ * `POST /api/v1/argument/[argumentId]/[version]/claim/[claimId]/advance`.
+ *
+ * Repins the draft argument's variable(s) that reference the claim to a newer
+ * published version. Omit `toVersion` to advance to the claim's latest
+ * published head; supply it to repin to an explicit target version.
+ */
+export declare const AdvanceClaimReferenceRequestSchema: Type.TObject<{
+    toVersion: Type.TOptional<Type.TNumber>;
+}>;
+export type TAdvanceClaimReferenceRequest = Static<typeof AdvanceClaimReferenceRequestSchema>;
+/**
+ * Response body for the advance-claim-reference POST. Echoes the claim and the
+ * version now pinned by the draft after the advance.
+ */
+export declare const AdvanceClaimReferenceResponseSchema: Type.TObject<{
+    claimId: Type.TString;
+    newVersion: Type.TNumber;
+}>;
+export type TAdvanceClaimReferenceResponse = Static<typeof AdvanceClaimReferenceResponseSchema>;
+//# sourceMappingURL=versioning.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"versioning.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/versioning.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,gCAAgC;;;;EAI3C,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA;AAID;;;;;;;GAOG;AACH,eAAO,MAAM,kCAAkC;;EAE7C,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,kCAAkC,CAC5C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,mCAAmC;;;EAG9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA"}

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

@@ -0,0 +1,44 @@
+import Type, {} from "typebox";
+import { Nullable, UUID } from "../../common.js";
+// ──── Latest published claim version (GET /claim/[claimId]/latest-version) ──
+/**
+ * Response body for
+ * `GET /api/v1/claim/[claimId]/latest-version?pinned=<number>`.
+ *
+ * Claims are independently versioned and shared by reference. A draft argument
+ * pins a specific claim version through its propositional variable; this read
+ * lets the caller learn the claim trunk's latest published version and whether
+ * it is newer than the version it currently pins.
+ *
+ * - `latestPublishedVersion` is `null` when the claim has no published version
+ *   yet (only a draft head exists).
+ * - `hasNewer` is the server-computed predicate
+ *   `latestPublishedVersion != null && pinned != null && latestPublishedVersion > pinned`.
+ *   When the `pinned` query param is omitted, the server returns `false`.
+ */
+export const ClaimLatestVersionResponseSchema = Type.Object({
+    claimId: UUID,
+    latestPublishedVersion: Nullable(Type.Number()),
+    hasNewer: Type.Boolean(),
+});
+// ──── Advance claim reference (POST /argument/[id]/[v]/claim/[claimId]/advance) ──
+/**
+ * Request body for
+ * `POST /api/v1/argument/[argumentId]/[version]/claim/[claimId]/advance`.
+ *
+ * Repins the draft argument's variable(s) that reference the claim to a newer
+ * published version. Omit `toVersion` to advance to the claim's latest
+ * published head; supply it to repin to an explicit target version.
+ */
+export const AdvanceClaimReferenceRequestSchema = Type.Object({
+    toVersion: Type.Optional(Type.Number()),
+});
+/**
+ * Response body for the advance-claim-reference POST. Echoes the claim and the
+ * version now pinned by the draft after the advance.
+ */
+export const AdvanceClaimReferenceResponseSchema = Type.Object({
+    claimId: UUID,
+    newVersion: Type.Number(),
+});
+//# sourceMappingURL=versioning.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"versioning.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/versioning.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAEhD,+EAA+E;AAE/E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,OAAO,EAAE,IAAI;IACb,sBAAsB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;CAC3B,CAAC,CAAA;AAKF,oFAAoF;AAEpF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC1C,CAAC,CAAA;AAKF;;;GAGG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;CAC5B,CAAC,CAAA"}