@proposit/shared 0.24.0 → 0.26.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 (71) hide show
  1. package/dist/api-client/argument/batch.d.ts +15 -6
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +52 -25
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/index.d.ts +51 -24
  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 +24 -12
  20. package/dist/api-client/user/citations.d.ts.map +1 -1
  21. package/dist/api-client/user/claims.d.ts +13 -6
  22. package/dist/api-client/user/claims.d.ts.map +1 -1
  23. package/dist/engine/engine.d.ts +58 -1
  24. package/dist/engine/engine.d.ts.map +1 -1
  25. package/dist/engine/engine.js +148 -2
  26. package/dist/engine/engine.js.map +1 -1
  27. package/dist/engine/mutations/premises.d.ts +1 -0
  28. package/dist/engine/mutations/premises.d.ts.map +1 -1
  29. package/dist/engine/mutations/premises.js +8 -0
  30. package/dist/engine/mutations/premises.js.map +1 -1
  31. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -0
  32. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  33. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -0
  34. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  35. package/dist/schemas/api/argument/batch/provision.d.ts +13 -6
  36. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  37. package/dist/schemas/api/argument/claims.d.ts +40 -19
  38. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  39. package/dist/schemas/api/argument/index.d.ts +14 -6
  40. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  41. package/dist/schemas/api/argument/index.js +1 -0
  42. package/dist/schemas/api/argument/index.js.map +1 -1
  43. package/dist/schemas/api/argument/logic.d.ts +1 -0
  44. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  45. package/dist/schemas/api/argument/repair.d.ts +1 -0
  46. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  47. package/dist/schemas/api/argument/versioning.d.ts +44 -0
  48. package/dist/schemas/api/argument/versioning.d.ts.map +1 -0
  49. package/dist/schemas/api/argument/versioning.js +44 -0
  50. package/dist/schemas/api/argument/versioning.js.map +1 -0
  51. package/dist/schemas/api/citations.d.ts +60 -30
  52. package/dist/schemas/api/citations.d.ts.map +1 -1
  53. package/dist/schemas/api/claims.d.ts +26 -12
  54. package/dist/schemas/api/claims.d.ts.map +1 -1
  55. package/dist/schemas/logic.d.ts +1 -0
  56. package/dist/schemas/logic.d.ts.map +1 -1
  57. package/dist/schemas/logic.js +7 -0
  58. package/dist/schemas/logic.js.map +1 -1
  59. package/dist/schemas/model/arguments.d.ts +38 -18
  60. package/dist/schemas/model/arguments.d.ts.map +1 -1
  61. package/dist/schemas/model/claims.d.ts +31 -14
  62. package/dist/schemas/model/claims.d.ts.map +1 -1
  63. package/dist/schemas/model/claims.js +31 -9
  64. package/dist/schemas/model/claims.js.map +1 -1
  65. package/dist/schemas/model/forks.d.ts +1 -1
  66. package/dist/schemas/model/forks.d.ts.map +1 -1
  67. package/dist/schemas/model/forks.js +9 -1
  68. package/dist/schemas/model/forks.js.map +1 -1
  69. package/dist/schemas/snapshot.d.ts +1 -0
  70. package/dist/schemas/snapshot.d.ts.map +1 -1
  71. package/package.json +3 -3
package/dist/schemas/logic.d.ts CHANGED
@@ -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
package/dist/schemas/logic.d.ts.map CHANGED
@@ -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"}
package/dist/schemas/logic.js CHANGED
@@ -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
package/dist/schemas/logic.js.map CHANGED
@@ -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"}
package/dist/schemas/model/arguments.d.ts CHANGED
@@ -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;
@@ -158,8 +162,8 @@ export declare const ArgumentDiffSchema: Type.TObject<{
158
162
  title: Type.TNull;
159
163
  body: Type.TNull;
160
164
  titleContentHash: Type.TNull;
161
- url: Type.TString;
162
- citation: Type.TUnion<[Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
165
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
166
+ citation: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
163
167
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
164
168
  }>, Type.TObject<{
165
169
  type: Type.TLiteral<"Book">;
@@ -586,14 +590,16 @@ export declare const ArgumentDiffSchema: Type.TObject<{
586
590
  text: Type.TString;
587
591
  citationTypeGuess: Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>;
588
592
  url: Type.TOptional<Type.TString>;
589
- }>]>, Type.TNull]>;
593
+ }>]>;
590
594
  citationContentHash: Type.TString;
591
595
  axiom: Type.TNull;
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;
@@ -640,8 +650,8 @@ export declare const ArgumentDiffSchema: Type.TObject<{
640
650
  title: Type.TNull;
641
651
  body: Type.TNull;
642
652
  titleContentHash: Type.TNull;
643
- url: Type.TString;
644
- citation: Type.TUnion<[Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
653
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
654
+ citation: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
645
655
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
646
656
  }>, Type.TObject<{
647
657
  type: Type.TLiteral<"Book">;
@@ -1068,14 +1078,16 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1068
1078
  text: Type.TString;
1069
1079
  citationTypeGuess: Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>;
1070
1080
  url: Type.TOptional<Type.TString>;
1071
- }>]>, Type.TNull]>;
1081
+ }>]>;
1072
1082
  citationContentHash: Type.TString;
1073
1083
  axiom: Type.TNull;
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;
@@ -1122,8 +1138,8 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1122
1138
  title: Type.TNull;
1123
1139
  body: Type.TNull;
1124
1140
  titleContentHash: Type.TNull;
1125
- url: Type.TString;
1126
- citation: Type.TUnion<[Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1141
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
1142
+ citation: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1127
1143
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
1128
1144
  }>, Type.TObject<{
1129
1145
  type: Type.TLiteral<"Book">;
@@ -1550,14 +1566,16 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1550
1566
  text: Type.TString;
1551
1567
  citationTypeGuess: Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>;
1552
1568
  url: Type.TOptional<Type.TString>;
1553
- }>]>, Type.TNull]>;
1569
+ }>]>;
1554
1570
  citationContentHash: Type.TString;
1555
1571
  axiom: Type.TNull;
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
  }>;
package/dist/schemas/model/arguments.d.ts.map CHANGED
@@ -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"}
package/dist/schemas/model/claims.d.ts CHANGED
@@ -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;
@@ -58,8 +63,8 @@ export declare const CitationClaimSchema: Type.TObject<{
58
63
  title: Type.TNull;
59
64
  body: Type.TNull;
60
65
  titleContentHash: Type.TNull;
61
- url: Type.TString;
62
- citation: Type.TUnion<[Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
66
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
67
+ citation: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
63
68
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
64
69
  }>, Type.TObject<{
65
70
  type: Type.TLiteral<"Book">;
@@ -486,7 +491,7 @@ export declare const CitationClaimSchema: Type.TObject<{
486
491
  text: Type.TString;
487
492
  citationTypeGuess: Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>;
488
493
  url: Type.TOptional<Type.TString>;
489
- }>]>, Type.TNull]>;
494
+ }>]>;
490
495
  citationContentHash: Type.TString;
491
496
  axiom: Type.TNull;
492
497
  }>;
@@ -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;
@@ -543,8 +554,8 @@ export declare const ClaimSchema: Type.TUnion<[Type.TObject<{
543
554
  title: Type.TNull;
544
555
  body: Type.TNull;
545
556
  titleContentHash: Type.TNull;
546
- url: Type.TString;
547
- citation: Type.TUnion<[Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
557
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
558
+ citation: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
548
559
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
549
560
  }>, Type.TObject<{
550
561
  type: Type.TLiteral<"Book">;
@@ -971,14 +982,16 @@ export declare const ClaimSchema: Type.TUnion<[Type.TObject<{
971
982
  text: Type.TString;
972
983
  citationTypeGuess: Type.TUnion<[Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>, Type.TLiteral<"unknown">]>;
973
984
  url: Type.TOptional<Type.TString>;
974
- }>]>, Type.TNull]>;
985
+ }>]>;
975
986
  citationContentHash: Type.TString;
976
987
  axiom: Type.TNull;
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;
package/dist/schemas/model/claims.d.ts.map CHANGED
@@ -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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoB9B,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"}
package/dist/schemas/model/claims.js CHANGED
@@ -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,
@@ -84,14 +102,18 @@ export const CitationClaimSchema = Type.Interface([ClaimSharedFieldsSchema], {
84
102
  title: Type.Null(),
85
103
  body: Type.Null(),
86
104
  titleContentHash: Type.Null(),
87
- url: Type.String(),
88
- // Full IEEE references and ingestion-extracted unparsed citations both
89
- // attach here; null is the url-only citation claim (a `url` column with no
90
- // structured reference). The single `type` discriminant — the 33 IEEE
91
- // literals vs `"unparsed"` — keeps the union unambiguous, and the `url`
92
- // string is what distinguishes a citation claim from the normal/axiomatic
93
- // branches, so a null citation does not collide with them.
94
- citation: Nullable(Type.Union([IEEEReferenceSchema, UnparsedCitationSchema])),
105
+ // `url` is nullable: a url-less reference (its text carried entirely by the
106
+ // unparsed citation) persists with `url: null`. The key stays required —
107
+ // `Nullable` widens the value, not key presence.
108
+ url: Nullable(Type.String()),
109
+ // The claim `type` literal is the discriminant for the claim union (normal
110
+ // / citation / axiomatic) — not `url`, and not whether `citation` is set.
111
+ // `citation` is always a structured reference: either a full IEEE reference
112
+ // or an ingestion-extracted unparsed citation, discriminated by the single
113
+ // `citation.type` field (the 33 IEEE literals vs `"unparsed"`). It is never
114
+ // null — the legacy `citation:null` "url-only" shape has been migrated away,
115
+ // so every citation claim carries a reference.
116
+ citation: Type.Union([IEEEReferenceSchema, UnparsedCitationSchema]),
95
117
  citationContentHash: Type.String(),
96
118
  axiom: Type.Null(),
97
119
  });
package/dist/schemas/model/claims.js.map CHANGED
@@ -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,4EAA4E;IAC5E,yEAAyE;IACzE,iDAAiD;IACjD,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,+CAA+C;IAC/C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,mBAAmB,EAAE,sBAAsB,CAAC,CAAC;IACnE,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"}
package/dist/schemas/model/forks.d.ts CHANGED
@@ -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;
package/dist/schemas/model/forks.d.ts.map CHANGED
@@ -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"}
package/dist/schemas/model/forks.js CHANGED
@@ -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,
package/dist/schemas/model/forks.js.map CHANGED
@@ -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"}
package/dist/schemas/snapshot.d.ts CHANGED
@@ -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]>>;
package/dist/schemas/snapshot.d.ts.map CHANGED
@@ -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.26.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",
@@ -176,14 +176,14 @@
176
176
  "access": "public"
177
177
  },
178
178
  "peerDependencies": {
179
- "@proposit/proposit-core": "^2.1.0"
179
+ "@proposit/proposit-core": "^2.3.0"
180
180
  },
181
181
  "dependencies": {
182
182
  "typebox": "^1.1.14"
183
183
  },
184
184
  "devDependencies": {
185
185
  "@eslint/js": "^9.39.4",
186
- "@proposit/proposit-core": "^2.1.0",
186
+ "@proposit/proposit-core": "^2.3.0",
187
187
  "@types/node": "^25.5.2",
188
188
  "eslint": "^9.39.4",
189
189
  "eslint-plugin-check-file": "^3.3.1",