@proposit/shared 0.3.2 → 0.5.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 (186) hide show
  1. package/dist/api-client/argument/batch.d.ts +446 -10
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +1761 -17
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/claims.js +5 -5
  6. package/dist/api-client/argument/claims.js.map +1 -1
  7. package/dist/api-client/argument/index.d.ts +1783 -49
  8. package/dist/api-client/argument/index.d.ts.map +1 -1
  9. package/dist/api-client/argument/logic/index.d.ts +46 -12
  10. package/dist/api-client/argument/logic/index.d.ts.map +1 -1
  11. package/dist/api-client/argument/logic/repair.d.ts +1 -4
  12. package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
  13. package/dist/api-client/factory.d.ts +7 -7
  14. package/dist/api-client/factory.d.ts.map +1 -1
  15. package/dist/api-client/factory.js +7 -7
  16. package/dist/api-client/factory.js.map +1 -1
  17. package/dist/api-client/search.d.ts +4 -4
  18. package/dist/api-client/search.d.ts.map +1 -1
  19. package/dist/api-client/search.js +3 -3
  20. package/dist/api-client/search.js.map +1 -1
  21. package/dist/api-client/user/citations.d.ts +912 -0
  22. package/dist/api-client/user/citations.d.ts.map +1 -0
  23. package/dist/api-client/user/citations.js +9 -0
  24. package/dist/api-client/user/citations.js.map +1 -0
  25. package/dist/api-client/user/claims.d.ts +444 -10
  26. package/dist/api-client/user/claims.d.ts.map +1 -1
  27. package/dist/consts/user-tiers.js +7 -7
  28. package/dist/consts/user-tiers.js.map +1 -1
  29. package/dist/engine/derivation.d.ts +3 -0
  30. package/dist/engine/derivation.d.ts.map +1 -0
  31. package/dist/engine/derivation.js +2 -0
  32. package/dist/engine/derivation.js.map +1 -0
  33. package/dist/engine/engine.d.ts +16 -32
  34. package/dist/engine/engine.d.ts.map +1 -1
  35. package/dist/engine/engine.js +65 -84
  36. package/dist/engine/engine.js.map +1 -1
  37. package/dist/engine/library-adapters.d.ts +3 -7
  38. package/dist/engine/library-adapters.d.ts.map +1 -1
  39. package/dist/engine/library-adapters.js +16 -8
  40. package/dist/engine/library-adapters.js.map +1 -1
  41. package/dist/engine/mutations/premises.d.ts.map +1 -1
  42. package/dist/engine/mutations/premises.js +4 -1
  43. package/dist/engine/mutations/premises.js.map +1 -1
  44. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  45. package/dist/engine/optimistic/verification.js +2 -2
  46. package/dist/engine/optimistic/verification.js.map +1 -1
  47. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -4
  48. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  49. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -4
  50. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  51. package/dist/schemas/api/argument/batch/provision.d.ts +444 -2
  52. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  53. package/dist/schemas/api/argument/claims.d.ts +1330 -18
  54. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  55. package/dist/schemas/api/argument/claims.js +6 -6
  56. package/dist/schemas/api/argument/claims.js.map +1 -1
  57. package/dist/schemas/api/argument/index.d.ts +443 -17
  58. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  59. package/dist/schemas/api/argument/index.js +3 -3
  60. package/dist/schemas/api/argument/index.js.map +1 -1
  61. package/dist/schemas/api/argument/logic.d.ts +11 -1
  62. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  63. package/dist/schemas/api/argument/repair.d.ts +1 -4
  64. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  65. package/dist/schemas/api/citations.d.ts +2280 -0
  66. package/dist/schemas/api/citations.d.ts.map +1 -0
  67. package/dist/schemas/api/{sources.js → citations.js} +8 -9
  68. package/dist/schemas/api/citations.js.map +1 -0
  69. package/dist/schemas/api/claims.d.ts +888 -20
  70. package/dist/schemas/api/claims.d.ts.map +1 -1
  71. package/dist/schemas/api/claims.js +0 -2
  72. package/dist/schemas/api/claims.js.map +1 -1
  73. package/dist/schemas/api/search.d.ts +10 -10
  74. package/dist/schemas/api/search.d.ts.map +1 -1
  75. package/dist/schemas/api/search.js +6 -6
  76. package/dist/schemas/api/search.js.map +1 -1
  77. package/dist/schemas/logic.d.ts +11 -1
  78. package/dist/schemas/logic.d.ts.map +1 -1
  79. package/dist/schemas/model/arguments.d.ts +1340 -32
  80. package/dist/schemas/model/arguments.d.ts.map +1 -1
  81. package/dist/schemas/model/arguments.js +4 -8
  82. package/dist/schemas/model/arguments.js.map +1 -1
  83. package/dist/schemas/model/citations.d.ts +15 -0
  84. package/dist/schemas/model/citations.d.ts.map +1 -0
  85. package/dist/schemas/model/citations.js +12 -0
  86. package/dist/schemas/model/citations.js.map +1 -0
  87. package/dist/schemas/model/claims.d.ts +872 -6
  88. package/dist/schemas/model/claims.d.ts.map +1 -1
  89. package/dist/schemas/model/claims.js +21 -10
  90. package/dist/schemas/model/claims.js.map +1 -1
  91. package/dist/schemas/model/forks.d.ts +2 -2
  92. package/dist/schemas/model/forks.d.ts.map +1 -1
  93. package/dist/schemas/model/forks.js +2 -2
  94. package/dist/schemas/model/forks.js.map +1 -1
  95. package/dist/schemas/model/index.d.ts +1 -1
  96. package/dist/schemas/model/index.d.ts.map +1 -1
  97. package/dist/schemas/model/index.js +1 -1
  98. package/dist/schemas/model/index.js.map +1 -1
  99. package/dist/schemas/model/users.d.ts +3 -3
  100. package/dist/schemas/model/users.d.ts.map +1 -1
  101. package/dist/schemas/model/users.js +2 -2
  102. package/dist/schemas/model/users.js.map +1 -1
  103. package/dist/schemas/review.d.ts +13 -13
  104. package/dist/schemas/review.d.ts.map +1 -1
  105. package/dist/schemas/review.js +2 -1
  106. package/dist/schemas/review.js.map +1 -1
  107. package/dist/schemas/snapshot.d.ts +1 -4
  108. package/dist/schemas/snapshot.d.ts.map +1 -1
  109. package/dist/schemas/snapshot.js +0 -5
  110. package/dist/schemas/snapshot.js.map +1 -1
  111. package/dist/ui/assets/index.d.ts +9 -0
  112. package/dist/ui/assets/index.d.ts.map +1 -0
  113. package/dist/ui/assets/index.js +6 -0
  114. package/dist/ui/assets/index.js.map +1 -0
  115. package/dist/ui/assets/proposit-letter-logo-black.d.ts +3 -0
  116. package/dist/ui/assets/proposit-letter-logo-black.d.ts.map +1 -0
  117. package/dist/ui/assets/proposit-letter-logo-black.js +74 -0
  118. package/dist/ui/assets/proposit-letter-logo-black.js.map +1 -0
  119. package/dist/ui/assets/proposit-logo-black.d.ts +3 -0
  120. package/dist/ui/assets/proposit-logo-black.d.ts.map +1 -0
  121. package/dist/ui/assets/proposit-logo-black.js +87 -0
  122. package/dist/ui/assets/proposit-logo-black.js.map +1 -0
  123. package/dist/ui/assets/proposit-logo-white.d.ts +3 -0
  124. package/dist/ui/assets/proposit-logo-white.d.ts.map +1 -0
  125. package/dist/ui/assets/proposit-logo-white.js +31 -0
  126. package/dist/ui/assets/proposit-logo-white.js.map +1 -0
  127. package/dist/ui/assets/types.d.ts +7 -0
  128. package/dist/ui/assets/types.d.ts.map +1 -0
  129. package/dist/ui/assets/types.js +2 -0
  130. package/dist/ui/assets/types.js.map +1 -0
  131. package/dist/ui/breakpoints.d.ts +8 -0
  132. package/dist/ui/breakpoints.d.ts.map +1 -0
  133. package/dist/ui/breakpoints.js +7 -0
  134. package/dist/ui/breakpoints.js.map +1 -0
  135. package/dist/ui/colors.d.ts +43 -0
  136. package/dist/ui/colors.d.ts.map +1 -0
  137. package/dist/ui/colors.js +76 -0
  138. package/dist/ui/colors.js.map +1 -0
  139. package/dist/ui/index.d.ts +11 -0
  140. package/dist/ui/index.d.ts.map +1 -0
  141. package/dist/ui/index.js +11 -0
  142. package/dist/ui/index.js.map +1 -0
  143. package/dist/ui/motion.d.ts +11 -0
  144. package/dist/ui/motion.d.ts.map +1 -0
  145. package/dist/ui/motion.js +10 -0
  146. package/dist/ui/motion.js.map +1 -0
  147. package/dist/ui/radii.d.ts +9 -0
  148. package/dist/ui/radii.d.ts.map +1 -0
  149. package/dist/ui/radii.js +8 -0
  150. package/dist/ui/radii.js.map +1 -0
  151. package/dist/ui/shadows.d.ts +26 -0
  152. package/dist/ui/shadows.d.ts.map +1 -0
  153. package/dist/ui/shadows.js +33 -0
  154. package/dist/ui/shadows.js.map +1 -0
  155. package/dist/ui/sizing.d.ts +13 -0
  156. package/dist/ui/sizing.d.ts.map +1 -0
  157. package/dist/ui/sizing.js +12 -0
  158. package/dist/ui/sizing.js.map +1 -0
  159. package/dist/ui/spacing.d.ts +18 -0
  160. package/dist/ui/spacing.d.ts.map +1 -0
  161. package/dist/ui/spacing.js +17 -0
  162. package/dist/ui/spacing.js.map +1 -0
  163. package/dist/ui/typography.d.ts +20 -0
  164. package/dist/ui/typography.d.ts.map +1 -0
  165. package/dist/ui/typography.js +22 -0
  166. package/dist/ui/typography.js.map +1 -0
  167. package/dist/ui/z-index.d.ts +9 -0
  168. package/dist/ui/z-index.d.ts.map +1 -0
  169. package/dist/ui/z-index.js +8 -0
  170. package/dist/ui/z-index.js.map +1 -0
  171. package/dist/utils/embedding-text.d.ts +1 -1
  172. package/dist/utils/embedding-text.d.ts.map +1 -1
  173. package/dist/utils/embedding-text.js +1 -1
  174. package/dist/utils/embedding-text.js.map +1 -1
  175. package/package.json +18 -3
  176. package/dist/api-client/user/sources.d.ts +0 -42
  177. package/dist/api-client/user/sources.d.ts.map +0 -1
  178. package/dist/api-client/user/sources.js +0 -9
  179. package/dist/api-client/user/sources.js.map +0 -1
  180. package/dist/schemas/api/sources.d.ts +0 -108
  181. package/dist/schemas/api/sources.d.ts.map +0 -1
  182. package/dist/schemas/api/sources.js.map +0 -1
  183. package/dist/schemas/model/sources.d.ts +0 -456
  184. package/dist/schemas/model/sources.d.ts.map +0 -1
  185. package/dist/schemas/model/sources.js +0 -27
  186. package/dist/schemas/model/sources.js.map +0 -1
@@ -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;;EAEtC,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgC7B,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;;EAEtC,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"}
@@ -4,7 +4,7 @@ import { ArgumentImportOrigin, ArgumentPlatformData, } from "../integrations/ind
4
4
  import { EncodableDate, Nullable, UUID } from "../common.js";
5
5
  import { UserPublicFieldsSchema } from "./users.js";
6
6
  import { ClaimSchema } from "./claims.js";
7
- import { SourceSchemaNotStrict, ClaimSourceSchema } from "./sources.js";
7
+ import { ClaimCitationSchema } from "./citations.js";
8
8
  import { PropositionalVariableSchema, PropositionalExpressionSchema, PropositionalPremiseSchema, } from "../logic.js";
9
9
  export { ArgumentForkSchema } from "./forks.js";
10
10
  export const MutableArgumentFieldsSchema = Type.Object({
@@ -70,13 +70,9 @@ export const ArgumentDiffSchema = Type.Object({
70
70
  removed: Type.Array(PropositionalPremiseSchema),
71
71
  }),
72
72
  }),
73
- claimSources: Type.Object({
74
- added: Type.Array(ClaimSourceSchema),
75
- removed: Type.Array(ClaimSourceSchema),
76
- }),
77
- sources: Type.Object({
78
- added: Type.Array(SourceSchemaNotStrict),
79
- removed: Type.Array(SourceSchemaNotStrict),
73
+ claimCitations: Type.Object({
74
+ added: Type.Array(ClaimCitationSchema),
75
+ removed: Type.Array(ClaimCitationSchema),
80
76
  }),
81
77
  });
82
78
  export const UnownedArgumentSchema = Type.Object({
@@ -1 +1 @@
1
- {"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAA;AACvE,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC;QACtB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;KACzC,CAAC;IACF,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;QACxC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;KAC7C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}
1
+ {"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAC3C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}
@@ -0,0 +1,15 @@
1
+ import Type, { type Static } from "typebox";
2
+ export declare const ClaimCitationSchema: Type.TIntersect<[Type.TObject<{
3
+ id: Type.TString;
4
+ citingClaimId: Type.TString;
5
+ citingClaimVersion: Type.TNumber;
6
+ sourceClaimId: Type.TString;
7
+ sourceClaimVersion: Type.TNumber;
8
+ checksum: Type.TString;
9
+ }>, Type.TObject<{
10
+ argumentId: Type.TString;
11
+ version: Type.TNumber;
12
+ createdOn: import("../common.js").TDateType;
13
+ }>]>;
14
+ export type TClaimCitation = Static<typeof ClaimCitationSchema>;
15
+ //# sourceMappingURL=citations.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,mBAAmB;;;;;;;;;;;IAO9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA"}
@@ -0,0 +1,12 @@
1
+ import Type, {} from "typebox";
2
+ import { CoreClaimCitationSchema } from "@proposit/proposit-core";
3
+ import { EncodableDate, UUID } from "../common.js";
4
+ export const ClaimCitationSchema = Type.Intersect([
5
+ CoreClaimCitationSchema,
6
+ Type.Object({
7
+ argumentId: UUID,
8
+ version: Type.Number(),
9
+ createdOn: EncodableDate,
10
+ }),
11
+ ]);
12
+ //# sourceMappingURL=citations.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,uBAAuB;IACvB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA"}