@proposit/shared 0.24.0 → 0.25.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (67) hide show
  1. package/dist/api-client/argument/batch.d.ts +12 -3
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +40 -13
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/index.d.ts +39 -12
  6. package/dist/api-client/argument/index.d.ts.map +1 -1
  7. package/dist/api-client/argument/logic/index.d.ts +6 -0
  8. package/dist/api-client/argument/logic/index.d.ts.map +1 -1
  9. package/dist/api-client/argument/logic/repair.d.ts +1 -0
  10. package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
  11. package/dist/api-client/argument/versioning.d.ts +573 -0
  12. package/dist/api-client/argument/versioning.d.ts.map +1 -0
  13. package/dist/api-client/argument/versioning.js +45 -0
  14. package/dist/api-client/argument/versioning.js.map +1 -0
  15. package/dist/api-client/factory.d.ts +4 -0
  16. package/dist/api-client/factory.d.ts.map +1 -1
  17. package/dist/api-client/factory.js +4 -0
  18. package/dist/api-client/factory.js.map +1 -1
  19. package/dist/api-client/user/citations.d.ts +18 -6
  20. package/dist/api-client/user/citations.d.ts.map +1 -1
  21. package/dist/api-client/user/claims.d.ts +10 -3
  22. package/dist/api-client/user/claims.d.ts.map +1 -1
  23. package/dist/engine/mutations/premises.d.ts +1 -0
  24. package/dist/engine/mutations/premises.d.ts.map +1 -1
  25. package/dist/engine/mutations/premises.js +8 -0
  26. package/dist/engine/mutations/premises.js.map +1 -1
  27. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -0
  28. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  29. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -0
  30. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  31. package/dist/schemas/api/argument/batch/provision.d.ts +10 -3
  32. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  33. package/dist/schemas/api/argument/claims.d.ts +31 -10
  34. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  35. package/dist/schemas/api/argument/index.d.ts +11 -3
  36. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  37. package/dist/schemas/api/argument/index.js +1 -0
  38. package/dist/schemas/api/argument/index.js.map +1 -1
  39. package/dist/schemas/api/argument/logic.d.ts +1 -0
  40. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  41. package/dist/schemas/api/argument/repair.d.ts +1 -0
  42. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  43. package/dist/schemas/api/argument/versioning.d.ts +44 -0
  44. package/dist/schemas/api/argument/versioning.d.ts.map +1 -0
  45. package/dist/schemas/api/argument/versioning.js +44 -0
  46. package/dist/schemas/api/argument/versioning.js.map +1 -0
  47. package/dist/schemas/api/citations.d.ts +45 -15
  48. package/dist/schemas/api/citations.d.ts.map +1 -1
  49. package/dist/schemas/api/claims.d.ts +20 -6
  50. package/dist/schemas/api/claims.d.ts.map +1 -1
  51. package/dist/schemas/logic.d.ts +1 -0
  52. package/dist/schemas/logic.d.ts.map +1 -1
  53. package/dist/schemas/logic.js +7 -0
  54. package/dist/schemas/logic.js.map +1 -1
  55. package/dist/schemas/model/arguments.d.ts +29 -9
  56. package/dist/schemas/model/arguments.d.ts.map +1 -1
  57. package/dist/schemas/model/claims.d.ts +25 -8
  58. package/dist/schemas/model/claims.d.ts.map +1 -1
  59. package/dist/schemas/model/claims.js +19 -1
  60. package/dist/schemas/model/claims.js.map +1 -1
  61. package/dist/schemas/model/forks.d.ts +1 -1
  62. package/dist/schemas/model/forks.d.ts.map +1 -1
  63. package/dist/schemas/model/forks.js +9 -1
  64. package/dist/schemas/model/forks.js.map +1 -1
  65. package/dist/schemas/snapshot.d.ts +1 -0
  66. package/dist/schemas/snapshot.d.ts.map +1 -1
  67. package/package.json +1 -1
@@ -3,8 +3,10 @@ export declare const ClaimWithContextSchema: Type.TObject<{
3
3
  claim: Type.TUnion<[Type.TObject<{
4
4
  digest: Type.TString;
5
5
  id: Type.TString;
6
- argumentId: Type.TString;
6
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
7
7
  version: Type.TNumber;
8
+ published: Type.TBoolean;
9
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
8
10
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
9
11
  creatorId: Type.TString;
10
12
  createdOn: import("../common.js").TDateType;
@@ -21,8 +23,10 @@ export declare const ClaimWithContextSchema: Type.TObject<{
21
23
  }>, Type.TObject<{
22
24
  digest: Type.TString;
23
25
  id: Type.TString;
24
- argumentId: Type.TString;
26
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
25
27
  version: Type.TNumber;
28
+ published: Type.TBoolean;
29
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
26
30
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
27
31
  creatorId: Type.TString;
28
32
  createdOn: import("../common.js").TDateType;
@@ -466,8 +470,10 @@ export declare const ClaimWithContextSchema: Type.TObject<{
466
470
  }>, Type.TObject<{
467
471
  digest: Type.TString;
468
472
  id: Type.TString;
469
- argumentId: Type.TString;
473
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
470
474
  version: Type.TNumber;
475
+ published: Type.TBoolean;
476
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
471
477
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
472
478
  creatorId: Type.TString;
473
479
  createdOn: import("../common.js").TDateType;
@@ -590,6 +596,7 @@ export declare const ClaimWithContextSchema: Type.TObject<{
590
596
  role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
591
597
  createdOn: Type.TOptional<import("../common.js").TDateType>;
592
598
  creatorId: Type.TOptional<Type.TString>;
599
+ derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
593
600
  }>]>>>;
594
601
  }>;
595
602
  export type TClaimWithContext = Static<typeof ClaimWithContextSchema>;
@@ -597,8 +604,10 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
597
604
  claim: Type.TUnion<[Type.TObject<{
598
605
  digest: Type.TString;
599
606
  id: Type.TString;
600
- argumentId: Type.TString;
607
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
601
608
  version: Type.TNumber;
609
+ published: Type.TBoolean;
610
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
602
611
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
603
612
  creatorId: Type.TString;
604
613
  createdOn: import("../common.js").TDateType;
@@ -615,8 +624,10 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
615
624
  }>, Type.TObject<{
616
625
  digest: Type.TString;
617
626
  id: Type.TString;
618
- argumentId: Type.TString;
627
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
619
628
  version: Type.TNumber;
629
+ published: Type.TBoolean;
630
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
620
631
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
621
632
  creatorId: Type.TString;
622
633
  createdOn: import("../common.js").TDateType;
@@ -1060,8 +1071,10 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
1060
1071
  }>, Type.TObject<{
1061
1072
  digest: Type.TString;
1062
1073
  id: Type.TString;
1063
- argumentId: Type.TString;
1074
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1064
1075
  version: Type.TNumber;
1076
+ published: Type.TBoolean;
1077
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1065
1078
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1066
1079
  creatorId: Type.TString;
1067
1080
  createdOn: import("../common.js").TDateType;
@@ -1184,6 +1197,7 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
1184
1197
  role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
1185
1198
  createdOn: Type.TOptional<import("../common.js").TDateType>;
1186
1199
  creatorId: Type.TOptional<Type.TString>;
1200
+ derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
1187
1201
  }>]>>>;
1188
1202
  }>>;
1189
1203
  export type TUserClaimsResponse = Static<typeof UserClaimsResponseSchema>;
@@ -1 +1 @@
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;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,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"}
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;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,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"}
@@ -200,6 +200,7 @@ export declare const PropositionalPremiseSchema: Type.TIntersect<[Type.TUnion<[T
200
200
  role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
201
201
  createdOn: Type.TOptional<import("./common.js").TDateType>;
202
202
  creatorId: Type.TOptional<Type.TString>;
203
+ derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
203
204
  }>]>;
204
205
  export type TPropositionalPremise = Static<typeof PropositionalPremiseSchema>;
205
206
  //# sourceMappingURL=logic.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAgB3C,eAAO,MAAM,mBAAmB,gIAA0B,CAAA;AAC1D,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAGrE,eAAO,MAAM,4BAA4B,+FAAmC,CAAA;AAC5E,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AASD,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;IAIhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAGD,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;IAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;IAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAGvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAIxC,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAGD,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAW1D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;IAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAK7E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;MAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAG/E,eAAO,MAAM,eAAe,yEAG1B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAG7D,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;IAQrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}
1
+ {"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAgB3C,eAAO,MAAM,mBAAmB,gIAA0B,CAAA;AAC1D,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAGrE,eAAO,MAAM,4BAA4B,+FAAmC,CAAA;AAC5E,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AASD,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;IAIhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAGD,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;IAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;IAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAGvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAIxC,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAGD,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAW1D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;IAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAK7E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;MAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAG/E,eAAO,MAAM,eAAe,yEAG1B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAG7D,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;IAerC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}
@@ -72,6 +72,13 @@ export const PropositionalPremiseSchema = Type.Intersect([
72
72
  role: PremiseRoleType,
73
73
  createdOn: Type.Optional(EncodableDate),
74
74
  creatorId: Type.Optional(UUID),
75
+ // The claim's own trunk version that a derivation premise pins
76
+ // (persisted as `propositionalPremises.derivedClaimVersion`, FK
77
+ // `(derivedClaimId, derivedClaimVersion) → claims(id, version)`). A
78
+ // persistence pin only — deliberately NOT part of the premise checksum.
79
+ // Optional/nullable: absent on freeform premises and on derivation
80
+ // premises minted before a version is pinned.
81
+ derivedClaimVersion: Type.Optional(Nullable(Type.Number())),
75
82
  }),
76
83
  ]);
77
84
  //# sourceMappingURL=logic.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"logic.js","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,EACH,uBAAuB,EACvB,gCAAgC,EAChC,yCAAyC,EACzC,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,8BAA8B,EAC9B,iBAAiB,GACpB,MAAM,yBAAyB,CAAA;AAEhC,8BAA8B;AAE9B,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAA;AAG1D,gEAAgE;AAChE,MAAM,CAAC,MAAM,4BAA4B,GAAG,gCAAgC,CAAA;AAK5E,sEAAsE;AACtE,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAEF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,SAAS,CAAC;IAChE,yCAAyC;IACzC,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CACzC,CAAC,CAAA;AAKF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,4BAA4B;IAC5B,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CAC3C,CAAC,CAAA;AAGF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,2BAA2B;IAC3B,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CAClE,CAAC,CAAA;AAGF,gCAAgC;AAChC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IACpD,qCAAqC;IACrC,wBAAwB;IACxB,uBAAuB;CAC1B,CAAC,CAAA;AAUF,mEAAmE;AACnE,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI;IACf,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,4BAA4B;IAC5B,uBAAuB;CAC1B,CAAC,CAAA;AAGF,wEAAwE;AACxE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,8BAA8B;IAC9B,uBAAuB;CAC1B,CAAC,CAAA;AAGF,6EAA6E;AAC7E,+EAA+E;AAC/E,6BAA6B;AAC7B,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAClD,wBAAwB;IACxB,0BAA0B;CAC7B,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;CAC7B,CAAC,CAAA;AAGF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,iBAAiB;IACjB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,eAAe;QACrB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QACvC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;KACjC,CAAC;CACL,CAAC,CAAA"}
1
+ {"version":3,"file":"logic.js","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,EACH,uBAAuB,EACvB,gCAAgC,EAChC,yCAAyC,EACzC,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,8BAA8B,EAC9B,iBAAiB,GACpB,MAAM,yBAAyB,CAAA;AAEhC,8BAA8B;AAE9B,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAA;AAG1D,gEAAgE;AAChE,MAAM,CAAC,MAAM,4BAA4B,GAAG,gCAAgC,CAAA;AAK5E,sEAAsE;AACtE,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAEF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,SAAS,CAAC;IAChE,yCAAyC;IACzC,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CACzC,CAAC,CAAA;AAKF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,4BAA4B;IAC5B,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CAC3C,CAAC,CAAA;AAGF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAClD,2BAA2B;IAC3B,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;CAClE,CAAC,CAAA;AAGF,gCAAgC;AAChC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IACpD,qCAAqC;IACrC,wBAAwB;IACxB,uBAAuB;CAC1B,CAAC,CAAA;AAUF,mEAAmE;AACnE,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,IAAI;IACf,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,4BAA4B;IAC5B,uBAAuB;CAC1B,CAAC,CAAA;AAGF,wEAAwE;AACxE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,8BAA8B;IAC9B,uBAAuB;CAC1B,CAAC,CAAA;AAGF,6EAA6E;AAC7E,+EAA+E;AAC/E,6BAA6B;AAC7B,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAClD,wBAAwB;IACxB,0BAA0B;CAC7B,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;CAC7B,CAAC,CAAA;AAGF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,iBAAiB;IACjB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,eAAe;QACrB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QACvC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC9B,+DAA+D;QAC/D,gEAAgE;QAChE,oEAAoE;QACpE,wEAAwE;QACxE,mEAAmE;QACnE,8CAA8C;QAC9C,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;KAC9D,CAAC;CACL,CAAC,CAAA"}
@@ -129,8 +129,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
129
129
  added: Type.TArray<Type.TUnion<[Type.TObject<{
130
130
  digest: Type.TString;
131
131
  id: Type.TString;
132
- argumentId: Type.TString;
132
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
133
133
  version: Type.TNumber;
134
+ published: Type.TBoolean;
135
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
134
136
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
135
137
  creatorId: Type.TString;
136
138
  createdOn: import("../common.js").TDateType;
@@ -147,8 +149,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
147
149
  }>, Type.TObject<{
148
150
  digest: Type.TString;
149
151
  id: Type.TString;
150
- argumentId: Type.TString;
152
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
151
153
  version: Type.TNumber;
154
+ published: Type.TBoolean;
155
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
152
156
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
153
157
  creatorId: Type.TString;
154
158
  createdOn: import("../common.js").TDateType;
@@ -592,8 +596,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
592
596
  }>, Type.TObject<{
593
597
  digest: Type.TString;
594
598
  id: Type.TString;
595
- argumentId: Type.TString;
599
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
596
600
  version: Type.TNumber;
601
+ published: Type.TBoolean;
602
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
597
603
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
598
604
  creatorId: Type.TString;
599
605
  createdOn: import("../common.js").TDateType;
@@ -611,8 +617,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
611
617
  removed: Type.TArray<Type.TUnion<[Type.TObject<{
612
618
  digest: Type.TString;
613
619
  id: Type.TString;
614
- argumentId: Type.TString;
620
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
615
621
  version: Type.TNumber;
622
+ published: Type.TBoolean;
623
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
616
624
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
617
625
  creatorId: Type.TString;
618
626
  createdOn: import("../common.js").TDateType;
@@ -629,8 +637,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
629
637
  }>, Type.TObject<{
630
638
  digest: Type.TString;
631
639
  id: Type.TString;
632
- argumentId: Type.TString;
640
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
633
641
  version: Type.TNumber;
642
+ published: Type.TBoolean;
643
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
634
644
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
635
645
  creatorId: Type.TString;
636
646
  createdOn: import("../common.js").TDateType;
@@ -1074,8 +1084,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1074
1084
  }>, Type.TObject<{
1075
1085
  digest: Type.TString;
1076
1086
  id: Type.TString;
1077
- argumentId: Type.TString;
1087
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1078
1088
  version: Type.TNumber;
1089
+ published: Type.TBoolean;
1090
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1079
1091
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1080
1092
  creatorId: Type.TString;
1081
1093
  createdOn: import("../common.js").TDateType;
@@ -1093,8 +1105,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1093
1105
  updated: Type.TArray<Type.TUnion<[Type.TObject<{
1094
1106
  digest: Type.TString;
1095
1107
  id: Type.TString;
1096
- argumentId: Type.TString;
1108
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1097
1109
  version: Type.TNumber;
1110
+ published: Type.TBoolean;
1111
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1098
1112
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1099
1113
  creatorId: Type.TString;
1100
1114
  createdOn: import("../common.js").TDateType;
@@ -1111,8 +1125,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1111
1125
  }>, Type.TObject<{
1112
1126
  digest: Type.TString;
1113
1127
  id: Type.TString;
1114
- argumentId: Type.TString;
1128
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1115
1129
  version: Type.TNumber;
1130
+ published: Type.TBoolean;
1131
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1116
1132
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1117
1133
  creatorId: Type.TString;
1118
1134
  createdOn: import("../common.js").TDateType;
@@ -1556,8 +1572,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1556
1572
  }>, Type.TObject<{
1557
1573
  digest: Type.TString;
1558
1574
  id: Type.TString;
1559
- argumentId: Type.TString;
1575
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1560
1576
  version: Type.TNumber;
1577
+ published: Type.TBoolean;
1578
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1561
1579
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1562
1580
  creatorId: Type.TString;
1563
1581
  createdOn: import("../common.js").TDateType;
@@ -1789,6 +1807,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1789
1807
  role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
1790
1808
  createdOn: Type.TOptional<import("../common.js").TDateType>;
1791
1809
  creatorId: Type.TOptional<Type.TString>;
1810
+ derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
1792
1811
  }>]>>;
1793
1812
  removed: Type.TArray<Type.TIntersect<[Type.TUnion<[Type.TObject<{
1794
1813
  type: Type.TLiteral<"freeform">;
@@ -1812,6 +1831,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1812
1831
  role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
1813
1832
  createdOn: Type.TOptional<import("../common.js").TDateType>;
1814
1833
  creatorId: Type.TOptional<Type.TString>;
1834
+ derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
1815
1835
  }>]>>;
1816
1836
  }>;
1817
1837
  }>;
@@ -1 +1 @@
1
- {"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
1
+ {"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
@@ -1,4 +1,5 @@
1
1
  import Type, { type Static } from "typebox";
2
+ export { ClaimForkSchema, type TClaimFork } from "./forks.js";
2
3
  export declare const ClaimTypeSchema: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
3
4
  export type TClaimType = Static<typeof ClaimTypeSchema>;
4
5
  export declare const AxiomKindSchema: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
@@ -27,8 +28,10 @@ export type TNormalClaimKinds = Static<typeof NormalClaimKindsSchema>;
27
28
  export declare const NormalClaimSchema: Type.TObject<{
28
29
  digest: Type.TString;
29
30
  id: Type.TString;
30
- argumentId: Type.TString;
31
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
31
32
  version: Type.TNumber;
33
+ published: Type.TBoolean;
34
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
32
35
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
33
36
  creatorId: Type.TString;
34
37
  createdOn: import("../common.js").TDateType;
@@ -47,8 +50,10 @@ export type TNormalClaim = Static<typeof NormalClaimSchema>;
47
50
  export declare const CitationClaimSchema: Type.TObject<{
48
51
  digest: Type.TString;
49
52
  id: Type.TString;
50
- argumentId: Type.TString;
53
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
51
54
  version: Type.TNumber;
55
+ published: Type.TBoolean;
56
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
52
57
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
53
58
  creatorId: Type.TString;
54
59
  createdOn: import("../common.js").TDateType;
@@ -494,8 +499,10 @@ export type TCitationClaim = Static<typeof CitationClaimSchema>;
494
499
  export declare const AxiomaticClaimSchema: Type.TObject<{
495
500
  digest: Type.TString;
496
501
  id: Type.TString;
497
- argumentId: Type.TString;
502
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
498
503
  version: Type.TNumber;
504
+ published: Type.TBoolean;
505
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
499
506
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
500
507
  creatorId: Type.TString;
501
508
  createdOn: import("../common.js").TDateType;
@@ -514,8 +521,10 @@ export type TAxiomaticClaim = Static<typeof AxiomaticClaimSchema>;
514
521
  export declare const ClaimSchema: Type.TUnion<[Type.TObject<{
515
522
  digest: Type.TString;
516
523
  id: Type.TString;
517
- argumentId: Type.TString;
524
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
518
525
  version: Type.TNumber;
526
+ published: Type.TBoolean;
527
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
519
528
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
520
529
  creatorId: Type.TString;
521
530
  createdOn: import("../common.js").TDateType;
@@ -532,8 +541,10 @@ export declare const ClaimSchema: Type.TUnion<[Type.TObject<{
532
541
  }>, Type.TObject<{
533
542
  digest: Type.TString;
534
543
  id: Type.TString;
535
- argumentId: Type.TString;
544
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
536
545
  version: Type.TNumber;
546
+ published: Type.TBoolean;
547
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
537
548
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
538
549
  creatorId: Type.TString;
539
550
  createdOn: import("../common.js").TDateType;
@@ -977,8 +988,10 @@ export declare const ClaimSchema: Type.TUnion<[Type.TObject<{
977
988
  }>, Type.TObject<{
978
989
  digest: Type.TString;
979
990
  id: Type.TString;
980
- argumentId: Type.TString;
991
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
981
992
  version: Type.TNumber;
993
+ published: Type.TBoolean;
994
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
982
995
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
983
996
  creatorId: Type.TString;
984
997
  createdOn: import("../common.js").TDateType;
@@ -1000,8 +1013,10 @@ export declare function isAxiomaticClaim(claim: TClaim): claim is TAxiomaticClai
1000
1013
  export declare const ClaimWithChildrenSchema: Type.TUnion<[Type.TObject<{
1001
1014
  digest: Type.TString;
1002
1015
  id: Type.TString;
1003
- argumentId: Type.TString;
1016
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1004
1017
  version: Type.TNumber;
1018
+ published: Type.TBoolean;
1019
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1005
1020
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1006
1021
  creatorId: Type.TString;
1007
1022
  createdOn: import("../common.js").TDateType;
@@ -1020,8 +1035,10 @@ export declare const ClaimWithChildrenSchema: Type.TUnion<[Type.TObject<{
1020
1035
  }>, Type.TObject<{
1021
1036
  digest: Type.TString;
1022
1037
  id: Type.TString;
1023
- argumentId: Type.TString;
1038
+ originArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
1024
1039
  version: Type.TNumber;
1040
+ published: Type.TBoolean;
1041
+ publishedOn: Type.TUnion<[import("../common.js").TDateType, Type.TNull]>;
1025
1042
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1026
1043
  creatorId: Type.TString;
1027
1044
  createdOn: import("../common.js").TDateType;
@@ -1 +1 @@
1
- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,6NAyB1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAarE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkB9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;AAUD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IASlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
1
+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAa3C,OAAO,EAAE,eAAe,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAA;AAI7D,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,6NAyB1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AA2BrE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkB9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;AAUD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IASlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
@@ -2,6 +2,10 @@ import Type, {} from "typebox";
2
2
  import { EncodableDate, Nullable, UUID } from "../common.js";
3
3
  import { IEEEReferenceSchema, UnparsedCitationSchema } from "./references.js";
4
4
  import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNormalTypeSchema, CoreClaimTypeSchema, } from "@proposit/proposit-core";
5
+ // Claim-fork provenance type lives in forks.ts; re-export it here (the
6
+ // claim-related entry point) so consumers can import it through the package,
7
+ // paralleling the ArgumentForkSchema re-export in arguments.ts.
8
+ export { ClaimForkSchema } from "./forks.js";
5
9
  // Re-export aliases so consumers that imported ClaimTypeSchema / TClaimType
6
10
  // from @proposit/shared/schemas keep working without code edits.
7
11
  export const ClaimTypeSchema = CoreClaimTypeSchema;
@@ -63,8 +67,22 @@ export const NormalClaimKindsSchema = Type.Union([
63
67
  // Identity / lineage fields shared by all variants, with digest inherited.
64
68
  const ClaimSharedFieldsSchema = Type.Interface([ClaimMetadataFieldsSchema], {
65
69
  id: UUID,
66
- argumentId: UUID,
70
+ // Provenance only: the argument this claim was first created in. A claim is
71
+ // an independently-versioned entity shared by reference across arguments, so
72
+ // it is no longer owned by one argument — this is nullable and records where
73
+ // it originated, not where it lives. (Replaces the former `argumentId`,
74
+ // which keyed claims to a single argument.)
75
+ originArgumentId: Nullable(UUID),
76
+ // The claim's OWN trunk version, independent of any argument version. It
77
+ // advances only when this claim's content changes; it is NOT a denormalized
78
+ // copy of the referencing argument's version. Different arguments may pin
79
+ // different versions of the same claim.
67
80
  version: Type.Number(),
81
+ // Per-claim-version publish state. A `v0` draft is unpublished (`false`);
82
+ // a version becomes published as a side-effect of its argument's publish.
83
+ published: Type.Boolean(),
84
+ // Timestamp this claim version was published; null while unpublished.
85
+ publishedOn: Nullable(EncodableDate),
68
86
  claimForkId: Nullable(UUID),
69
87
  creatorId: UUID,
70
88
  createdOn: EncodableDate,
@@ -1 +1 @@
1
- {"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAC7E,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;QACvB,WAAW,EACP,qFAAqF;KAC5F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9B,WAAW,EACP,wFAAwF;KAC/F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE;QACnC,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,+FAA+F;KACtG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE;QAClC,WAAW,EACP,mEAAmE;KAC1E,CAAC;CACL,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,uEAAuE;IACvE,2EAA2E;IAC3E,sEAAsE;IACtE,wEAAwE;IACxE,0EAA0E;IAC1E,2DAA2D;IAC3D,QAAQ,EAAE,QAAQ,CACd,IAAI,CAAC,KAAK,CAAC,CAAC,mBAAmB,EAAE,sBAAsB,CAAC,CAAC,CAC5D;IACD,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,+DAA+D;AAC/D,0EAA0E;AAC1E,0DAA0D;AAC1D,EAAE;AACF,sEAAsE;AACtE,0EAA0E;AAC1E,yEAAyE;AACzE,yEAAyE;AACzE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;QAChC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACrC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,oBAAoB,CAAC,EAAE;QACnC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACrC,CAAC;CACL,CAAC,CAAA"}
1
+ {"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAA;AAC7E,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,uEAAuE;AACvE,6EAA6E;AAC7E,gEAAgE;AAChE,OAAO,EAAE,eAAe,EAAmB,MAAM,YAAY,CAAA;AAE7D,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;QACvB,WAAW,EACP,qFAAqF;KAC5F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9B,WAAW,EACP,wFAAwF;KAC/F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE;QACnC,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,+FAA+F;KACtG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE;QAClC,WAAW,EACP,mEAAmE;KAC1E,CAAC;CACL,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,wEAAwE;IACxE,4CAA4C;IAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC;IAChC,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,wCAAwC;IACxC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,0EAA0E;IAC1E,0EAA0E;IAC1E,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,sEAAsE;IACtE,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;IACpC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,uEAAuE;IACvE,2EAA2E;IAC3E,sEAAsE;IACtE,wEAAwE;IACxE,0EAA0E;IAC1E,2DAA2D;IAC3D,QAAQ,EAAE,QAAQ,CACd,IAAI,CAAC,KAAK,CAAC,CAAC,mBAAmB,EAAE,sBAAsB,CAAC,CAAC,CAC5D;IACD,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,+DAA+D;AAC/D,0EAA0E;AAC1E,0DAA0D;AAC1D,EAAE;AACF,sEAAsE;AACtE,0EAA0E;AAC1E,yEAAyE;AACzE,yEAAyE;AACzE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;QAChC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACrC,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,CAAC,oBAAoB,CAAC,EAAE;QACnC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;KACrC,CAAC;CACL,CAAC,CAAA"}
@@ -43,8 +43,8 @@ export declare const ClaimForkSchema: Type.TIntersect<[Type.TObject<{
43
43
  forkedFromEntityId: Type.TUnion<[Type.TString, Type.TNull]>;
44
44
  forkedFromArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
45
45
  forkedFromArgumentVersion: Type.TUnion<[Type.TNumber, Type.TNull]>;
46
- forkId: Type.TString;
47
46
  }>, Type.TObject<{
47
+ forkId: Type.TUnion<[Type.TString, Type.TNull]>;
48
48
  forkedFromEntityVersion: Type.TUnion<[Type.TNumber, Type.TNull]>;
49
49
  sourceUserId: Type.TString;
50
50
  forkedByUserId: Type.TString;
@@ -1 +1 @@
1
- {"version":3,"file":"forks.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAoB3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;IAQ7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,iBAAiB;;;;;;EAAuB,CAAA;AACrD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;;;;;;IAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAMjE,eAAO,MAAM,kBAAkB;;;;;;EAAuB,CAAA;AACtD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,eAAe;;;;;;;;;;IAO1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAMvD,eAAO,MAAM,kBAAkB;;;;;;;;IAK7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA"}
1
+ {"version":3,"file":"forks.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAoB3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;IAQ7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,iBAAiB;;;;;;EAAuB,CAAA;AACrD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;;;;;;IAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAMjE,eAAO,MAAM,kBAAkB;;;;;;EAAuB,CAAA;AACtD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAa7D,eAAO,MAAM,eAAe;;;;;;;;;;IAQ1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAMvD,eAAO,MAAM,kBAAkB;;;;;;;;IAK7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA"}
@@ -42,10 +42,18 @@ export const ExpressionForkSchema = Type.Intersect([
42
42
  export const VariableForkSchema = EntityForkRecordBase;
43
43
  // ---------------------------------------------------------------------------
44
44
  // Claim fork record — tracks claim version and user attribution.
45
+ //
46
+ // `forkId` is nullable for claims ONLY. A claim-only fork (minted when a user
47
+ // edits a claim pinned at a non-head version, with NO accompanying argument
48
+ // fork) has no `argumentForks` row to reference, so `claimForks.forkId` can be
49
+ // null. The other four fork records keep `forkId: UUID` (non-null); we drop the
50
+ // base's non-null `forkId` here via `Type.Omit` and re-add it as nullable so
51
+ // only this variant is loosened.
45
52
  // ---------------------------------------------------------------------------
46
53
  export const ClaimForkSchema = Type.Intersect([
47
- EntityForkRecordBase,
54
+ Type.Omit(EntityForkRecordBase, ["forkId"]),
48
55
  Type.Object({
56
+ forkId: Nullable(UUID),
49
57
  forkedFromEntityVersion: Nullable(Type.Number()),
50
58
  sourceUserId: UUID,
51
59
  forkedByUserId: UUID,
@@ -1 +1 @@
1
- {"version":3,"file":"forks.js","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,8EAA8E;AAC9E,qEAAqE;AACrE,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC;IAClC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC;IACpC,yBAAyB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClD,MAAM,EAAE,IAAI;CACf,CAAC,CAAA;AAEF,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAGrD,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC;KACtC,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AAGtD,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC;IAC1C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAChD,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;KACvB,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACnD,CAAC;CACL,CAAC,CAAA"}
1
+ {"version":3,"file":"forks.js","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,8EAA8E;AAC9E,qEAAqE;AACrE,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC;IAClC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC;IACpC,yBAAyB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClD,MAAM,EAAE,IAAI;CACf,CAAC,CAAA;AAEF,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAGrD,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC;KACtC,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AAGtD,8EAA8E;AAC9E,iEAAiE;AACjE,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,+EAA+E;AAC/E,gFAAgF;AAChF,6EAA6E;AAC7E,iCAAiC;AACjC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC;IAC1C,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC;QACR,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAChD,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;KACvB,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACnD,CAAC;CACL,CAAC,CAAA"}
@@ -91,6 +91,7 @@ export declare const ArgumentEngineSnapshotSchema: Type.TObject<{
91
91
  id: Type.TString;
92
92
  argumentId: Type.TString;
93
93
  argumentVersion: Type.TNumber;
94
+ derivedClaimVersion: Type.TOptional<Type.TUnion<[Type.TNumber, Type.TNull]>>;
94
95
  }>, Type.TObject<{
95
96
  checksum: Type.TOptional<Type.TString>;
96
97
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -1 +1 @@
1
- {"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAyF3C,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA"}
1
+ {"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAyF3C,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@proposit/shared",
3
- "version": "0.24.0",
3
+ "version": "0.25.0",
4
4
  "description": "Runtime-agnostic TypeScript shared between proposit-server and proposit-mobile. Schemas, engine, api-client, and utilities.",
5
5
  "license": "MIT",
6
6
  "homepage": "https://github.com/Proposit-App/proposit-shared",