@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
@@ -0,0 +1,17 @@
1
+ export const spacing = {
2
+ 0: 0,
3
+ 0.5: 2,
4
+ 1: 4,
5
+ 2: 8,
6
+ 3: 12,
7
+ 4: 16,
8
+ 5: 20,
9
+ 6: 24,
10
+ 8: 32,
11
+ 10: 40,
12
+ 12: 48,
13
+ 16: 64,
14
+ 20: 80,
15
+ 24: 96,
16
+ };
17
+ //# sourceMappingURL=spacing.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"spacing.js","sourceRoot":"","sources":["../../src/ui/spacing.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG;IACnB,CAAC,EAAE,CAAC;IACJ,GAAG,EAAE,CAAC;IACN,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,EAAE;IACL,EAAE,EAAE,EAAE;IACN,EAAE,EAAE,EAAE;IACN,EAAE,EAAE,EAAE;IACN,EAAE,EAAE,EAAE;IACN,EAAE,EAAE,EAAE;CACA,CAAA"}
@@ -0,0 +1,20 @@
1
+ export declare const fontFamily: {
2
+ readonly sans: "Roboto";
3
+ readonly mono: "Fira Code";
4
+ };
5
+ export type TFontFamilyKey = keyof typeof fontFamily;
6
+ export declare const fontWeight: {
7
+ readonly regular: 400;
8
+ readonly medium: 500;
9
+ readonly semibold: 600;
10
+ readonly bold: 700;
11
+ };
12
+ export type TFontWeightKey = keyof typeof fontWeight;
13
+ export interface TTextStyle {
14
+ fontSize: number;
15
+ lineHeight: number;
16
+ letterSpacing: number;
17
+ }
18
+ export type TTextStyleKey = "h1" | "h2" | "h3" | "h4" | "lead" | "body" | "small" | "caption" | "code";
19
+ export declare const textStyle: Record<TTextStyleKey, TTextStyle>;
20
+ //# sourceMappingURL=typography.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"typography.d.ts","sourceRoot":"","sources":["../../src/ui/typography.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,UAAU;;;CAGb,CAAA;AAEV,MAAM,MAAM,cAAc,GAAG,MAAM,OAAO,UAAU,CAAA;AAEpD,eAAO,MAAM,UAAU;;;;;CAKb,CAAA;AAEV,MAAM,MAAM,cAAc,GAAG,MAAM,OAAO,UAAU,CAAA;AAEpD,MAAM,WAAW,UAAU;IACvB,QAAQ,EAAE,MAAM,CAAA;IAChB,UAAU,EAAE,MAAM,CAAA;IAClB,aAAa,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,MAAM,aAAa,GACnB,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,MAAM,GACN,OAAO,GACP,SAAS,GACT,MAAM,CAAA;AAEZ,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,aAAa,EAAE,UAAU,CAUvD,CAAA"}
@@ -0,0 +1,22 @@
1
+ export const fontFamily = {
2
+ sans: "Roboto",
3
+ mono: "Fira Code",
4
+ };
5
+ export const fontWeight = {
6
+ regular: 400,
7
+ medium: 500,
8
+ semibold: 600,
9
+ bold: 700,
10
+ };
11
+ export const textStyle = {
12
+ h1: { fontSize: 36, lineHeight: 40, letterSpacing: -0.6 },
13
+ h2: { fontSize: 30, lineHeight: 36, letterSpacing: -0.45 },
14
+ h3: { fontSize: 24, lineHeight: 32, letterSpacing: -0.24 },
15
+ h4: { fontSize: 20, lineHeight: 28, letterSpacing: -0.1 },
16
+ lead: { fontSize: 18, lineHeight: 28, letterSpacing: 0 },
17
+ body: { fontSize: 16, lineHeight: 24, letterSpacing: 0 },
18
+ small: { fontSize: 14, lineHeight: 20, letterSpacing: 0 },
19
+ caption: { fontSize: 12, lineHeight: 16, letterSpacing: 0.12 },
20
+ code: { fontSize: 14, lineHeight: 20, letterSpacing: 0 },
21
+ };
22
+ //# sourceMappingURL=typography.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"typography.js","sourceRoot":"","sources":["../../src/ui/typography.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,WAAW;CACX,CAAA;AAIV,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,GAAG;IACX,QAAQ,EAAE,GAAG;IACb,IAAI,EAAE,GAAG;CACH,CAAA;AAqBV,MAAM,CAAC,MAAM,SAAS,GAAsC;IACxD,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,EAAE;IACzD,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,EAAE;IAC1D,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,EAAE;IAC1D,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,EAAE;IACzD,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;IACxD,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;IACxD,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;IACzD,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;IAC9D,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;CAC3D,CAAA"}
@@ -0,0 +1,9 @@
1
+ export declare const zIndex: {
2
+ readonly dropdown: 1000;
3
+ readonly popover: 1100;
4
+ readonly tooltip: 1150;
5
+ readonly dialog: 1200;
6
+ readonly toast: 1300;
7
+ };
8
+ export type TZIndexKey = keyof typeof zIndex;
9
+ //# sourceMappingURL=z-index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"z-index.d.ts","sourceRoot":"","sources":["../../src/ui/z-index.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,MAAM;;;;;;CAMT,CAAA;AAEV,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,MAAM,CAAA"}
@@ -0,0 +1,8 @@
1
+ export const zIndex = {
2
+ dropdown: 1000,
3
+ popover: 1100,
4
+ tooltip: 1150,
5
+ dialog: 1200,
6
+ toast: 1300,
7
+ };
8
+ //# sourceMappingURL=z-index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"z-index.js","sourceRoot":"","sources":["../../src/ui/z-index.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,MAAM,GAAG;IAClB,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;CACL,CAAA"}
@@ -8,7 +8,7 @@ import type { TIEEEReference } from "../schemas/model/references.js";
8
8
  * Reused for both server-side embedding generation and
9
9
  * client-side fuzzy search display text.
10
10
  */
11
- export declare function extractSourceTitle(citation: TIEEEReference | {
11
+ export declare function extractCitationTitle(citation: TIEEEReference | {
12
12
  type: "Other";
13
13
  text?: string;
14
14
  }): string | null;
@@ -1 +1 @@
1
- {"version":3,"file":"embedding-text.d.ts","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAEpE;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAC9B,QAAQ,EAAE,cAAc,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D,MAAM,GAAG,IAAI,CAmFf"}
1
+ {"version":3,"file":"embedding-text.d.ts","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAEpE;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,cAAc,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D,MAAM,GAAG,IAAI,CAmFf"}
@@ -7,7 +7,7 @@
7
7
  * Reused for both server-side embedding generation and
8
8
  * client-side fuzzy search display text.
9
9
  */
10
- export function extractSourceTitle(citation) {
10
+ export function extractCitationTitle(citation) {
11
11
  let text = null;
12
12
  switch (citation.type) {
13
13
  // Unparsed URL sources (import path, quick drafts)
@@ -1 +1 @@
1
- {"version":3,"file":"embedding-text.js","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAC9B,QAA2D;IAE3D,IAAI,IAAI,GAAkB,IAAI,CAAA;IAE9B,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,mDAAmD;QACnD,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,QAGhB,CAAA;YACD,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAA;YACpC,MAAK;QACT,CAAC;QAED,gEAAgE;QAChE,KAAK,OAAO;YACR,IAAI,GAAI,QAA8B,CAAC,IAAI,IAAI,IAAI,CAAA;YACnD,MAAK;QAET,4CAA4C;QAC5C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,iBAAiB,CAAC;QACvB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB,CAAC;QACvB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,uBAAuB,CAAC;QAC7B,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe;YAChB,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAA;YACrB,MAAK;QAET,mDAAmD;QACnD,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,MAAM;YACP,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAA;YACxB,MAAK;QAET,yCAAyC;QACzC,KAAK,uBAAuB;YACxB,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAA;YAC9B,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,QAAQ,EAAE,CAAA;YAC9D,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,kBAAkB,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAA;YAC1D,MAAK;QACT,KAAK,uBAAuB;YACxB,IAAI,GAAG,sBAAsB,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;YACzD,MAAK;QACT,KAAK,OAAO;YACR,IAAI,GAAG,cAAc,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,CAAA;YACrF,MAAK;IACb,CAAC;IAED,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClD,OAAO,IAAI,CAAA;AACf,CAAC"}
1
+ {"version":3,"file":"embedding-text.js","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAA2D;IAE3D,IAAI,IAAI,GAAkB,IAAI,CAAA;IAE9B,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,mDAAmD;QACnD,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,QAGhB,CAAA;YACD,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAA;YACpC,MAAK;QACT,CAAC;QAED,gEAAgE;QAChE,KAAK,OAAO;YACR,IAAI,GAAI,QAA8B,CAAC,IAAI,IAAI,IAAI,CAAA;YACnD,MAAK;QAET,4CAA4C;QAC5C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,iBAAiB,CAAC;QACvB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB,CAAC;QACvB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,uBAAuB,CAAC;QAC7B,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe;YAChB,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAA;YACrB,MAAK;QAET,mDAAmD;QACnD,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,MAAM;YACP,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAA;YACxB,MAAK;QAET,yCAAyC;QACzC,KAAK,uBAAuB;YACxB,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAA;YAC9B,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,QAAQ,EAAE,CAAA;YAC9D,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,kBAAkB,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAA;YAC1D,MAAK;QACT,KAAK,uBAAuB;YACxB,IAAI,GAAG,sBAAsB,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;YACzD,MAAK;QACT,KAAK,OAAO;YACR,IAAI,GAAG,cAAc,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,CAAA;YACrF,MAAK;IACb,CAAC;IAED,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClD,OAAO,IAAI,CAAA;AACf,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@proposit/shared",
3
- "version": "0.3.2",
3
+ "version": "0.5.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",
@@ -102,6 +102,21 @@
102
102
  "types": "./dist/engine/*.d.ts",
103
103
  "import": "./dist/engine/*.js",
104
104
  "default": "./dist/engine/*.js"
105
+ },
106
+ "./ui": {
107
+ "types": "./dist/ui/index.d.ts",
108
+ "import": "./dist/ui/index.js",
109
+ "default": "./dist/ui/index.js"
110
+ },
111
+ "./ui/assets": {
112
+ "types": "./dist/ui/assets/index.d.ts",
113
+ "import": "./dist/ui/assets/index.js",
114
+ "default": "./dist/ui/assets/index.js"
115
+ },
116
+ "./ui/*": {
117
+ "types": "./dist/ui/*.d.ts",
118
+ "import": "./dist/ui/*.js",
119
+ "default": "./dist/ui/*.js"
105
120
  }
106
121
  },
107
122
  "files": [
@@ -111,14 +126,14 @@
111
126
  "access": "public"
112
127
  },
113
128
  "peerDependencies": {
114
- "@proposit/proposit-core": "^0.9.0"
129
+ "@proposit/proposit-core": "^0.11.0"
115
130
  },
116
131
  "dependencies": {
117
132
  "typebox": "^1.1.14"
118
133
  },
119
134
  "devDependencies": {
120
135
  "@eslint/js": "^9.39.4",
121
- "@proposit/proposit-core": "^0.9.0",
136
+ "@proposit/proposit-core": "^0.11.0",
122
137
  "@types/node": "^25.5.2",
123
138
  "eslint": "^9.39.4",
124
139
  "eslint-plugin-check-file": "^3.3.1",
@@ -1,42 +0,0 @@
1
- import type { TApiClientConfig } from "../config.js";
2
- export declare function getUserSourcesImpl(config: TApiClientConfig): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
3
- errorID: import("typebox").TNumber;
4
- errorMessage: import("typebox").TString;
5
- statusCode: import("typebox").TNumber;
6
- }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TArray<import("typebox").TObject<{
7
- source: import("typebox").TObject<{
8
- id: import("typebox").TString;
9
- url: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
10
- citation: import("typebox").TRecord<"^.*$", import("typebox").TAny>;
11
- createdOn: import("../../schemas/common.js").TDateType;
12
- creatorId: import("typebox").TString;
13
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
14
- }>;
15
- usages: import("typebox").TArray<import("typebox").TObject<{
16
- argument: import("typebox").TObject<{
17
- id: import("typebox").TString;
18
- title: import("typebox").TString;
19
- published: import("typebox").TBoolean;
20
- }>;
21
- version: import("typebox").TNumber;
22
- claim: import("typebox").TObject<{
23
- title: import("typebox").TString;
24
- body: import("typebox").TString;
25
- digest: import("typebox").TString;
26
- id: import("typebox").TString;
27
- argumentId: import("typebox").TString;
28
- version: import("typebox").TNumber;
29
- claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
30
- creatorId: import("typebox").TString;
31
- createdOn: import("../../schemas/common.js").TDateType;
32
- type: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
33
- parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
34
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
35
- }>;
36
- expressions: import("typebox").TArray<import("typebox").TObject<{
37
- id: import("typebox").TString;
38
- premiseId: import("typebox").TString;
39
- }>>;
40
- }>>;
41
- }>>>>;
42
- //# sourceMappingURL=sources.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/sources.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,kBAAkB,CAAC,MAAM,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAQhE"}
@@ -1,9 +0,0 @@
1
- import { UserSourcesResponseSchema } from "../../schemas/api/sources.js";
2
- import { parseResponse } from "../../utils/utils.js";
3
- import { resolveBaseUrl } from "../internal.js";
4
- export async function getUserSourcesImpl(config) {
5
- const baseUrl = resolveBaseUrl(config);
6
- const url = new URL(`${baseUrl}/api/v1/user/sources`);
7
- return await parseResponse(await config.fetchImpl(url.toString(), { method: "GET" }), UserSourcesResponseSchema);
8
- }
9
- //# sourceMappingURL=sources.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/api-client/user/sources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,MAAwB;IAC7D,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAA;IAErD,OAAO,MAAM,aAAa,CACtB,MAAM,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EACzD,yBAAyB,CAC5B,CAAA;AACL,CAAC"}
@@ -1,108 +0,0 @@
1
- import Type, { type Static } from "typebox";
2
- export declare const SourceUsageExpressionSchema: Type.TObject<{
3
- id: Type.TString;
4
- premiseId: Type.TString;
5
- }>;
6
- export type TSourceUsageExpression = Static<typeof SourceUsageExpressionSchema>;
7
- export declare const SourceUsageSchema: Type.TObject<{
8
- argument: Type.TObject<{
9
- id: Type.TString;
10
- title: Type.TString;
11
- published: Type.TBoolean;
12
- }>;
13
- version: Type.TNumber;
14
- claim: Type.TObject<{
15
- title: Type.TString;
16
- body: Type.TString;
17
- digest: Type.TString;
18
- id: Type.TString;
19
- argumentId: Type.TString;
20
- version: Type.TNumber;
21
- claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
22
- creatorId: Type.TString;
23
- createdOn: import("../common.js").TDateType;
24
- type: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
25
- parentId: Type.TUnion<[Type.TString, Type.TNull]>;
26
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
27
- }>;
28
- expressions: Type.TArray<Type.TObject<{
29
- id: Type.TString;
30
- premiseId: Type.TString;
31
- }>>;
32
- }>;
33
- export type TSourceUsage = Static<typeof SourceUsageSchema>;
34
- export declare const SourceWithContextSchema: Type.TObject<{
35
- source: Type.TObject<{
36
- id: Type.TString;
37
- url: Type.TUnion<[Type.TString, Type.TNull]>;
38
- citation: Type.TRecord<"^.*$", Type.TAny>;
39
- createdOn: import("../common.js").TDateType;
40
- creatorId: Type.TString;
41
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
42
- }>;
43
- usages: Type.TArray<Type.TObject<{
44
- argument: Type.TObject<{
45
- id: Type.TString;
46
- title: Type.TString;
47
- published: Type.TBoolean;
48
- }>;
49
- version: Type.TNumber;
50
- claim: Type.TObject<{
51
- title: Type.TString;
52
- body: Type.TString;
53
- digest: Type.TString;
54
- id: Type.TString;
55
- argumentId: Type.TString;
56
- version: Type.TNumber;
57
- claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
58
- creatorId: Type.TString;
59
- createdOn: import("../common.js").TDateType;
60
- type: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
61
- parentId: Type.TUnion<[Type.TString, Type.TNull]>;
62
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
63
- }>;
64
- expressions: Type.TArray<Type.TObject<{
65
- id: Type.TString;
66
- premiseId: Type.TString;
67
- }>>;
68
- }>>;
69
- }>;
70
- export type TSourceWithContext = Static<typeof SourceWithContextSchema>;
71
- export declare const UserSourcesResponseSchema: Type.TArray<Type.TObject<{
72
- source: Type.TObject<{
73
- id: Type.TString;
74
- url: Type.TUnion<[Type.TString, Type.TNull]>;
75
- citation: Type.TRecord<"^.*$", Type.TAny>;
76
- createdOn: import("../common.js").TDateType;
77
- creatorId: Type.TString;
78
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
79
- }>;
80
- usages: Type.TArray<Type.TObject<{
81
- argument: Type.TObject<{
82
- id: Type.TString;
83
- title: Type.TString;
84
- published: Type.TBoolean;
85
- }>;
86
- version: Type.TNumber;
87
- claim: Type.TObject<{
88
- title: Type.TString;
89
- body: Type.TString;
90
- digest: Type.TString;
91
- id: Type.TString;
92
- argumentId: Type.TString;
93
- version: Type.TNumber;
94
- claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
95
- creatorId: Type.TString;
96
- createdOn: import("../common.js").TDateType;
97
- type: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
98
- parentId: Type.TUnion<[Type.TString, Type.TNull]>;
99
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
100
- }>;
101
- expressions: Type.TArray<Type.TObject<{
102
- id: Type.TString;
103
- premiseId: Type.TString;
104
- }>>;
105
- }>>;
106
- }>>;
107
- export type TUserSourcesResponse = Static<typeof UserSourcesResponseSchema>;
108
- //# sourceMappingURL=sources.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"sources.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/sources.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,2BAA2B;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;EAa5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAsC,CAAA;AAC5E,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"sources.js","sourceRoot":"","sources":["../../../src/schemas/api/sources.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI;IACR,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;KAC5B,CAAC;IACF,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,WAAW;IAClB,qEAAqE;IACrE,uEAAuE;IACvE,gEAAgE;IAChE,6DAA6D;IAC7D,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;CACvD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,qBAAqB;IAC7B,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;CACxC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAA"}