@proposit/shared 0.4.0 → 0.5.1

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 (129) hide show
  1. package/dist/api-client/argument/batch.d.ts +456 -20
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +1761 -19
  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 +1788 -57
  8. package/dist/api-client/argument/index.d.ts.map +1 -1
  9. package/dist/api-client/argument/logic/index.d.ts +56 -22
  10. package/dist/api-client/argument/logic/index.d.ts.map +1 -1
  11. package/dist/api-client/argument/logic/repair.d.ts +6 -9
  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/checksum.d.ts.map +1 -1
  28. package/dist/checksum.js +7 -8
  29. package/dist/checksum.js.map +1 -1
  30. package/dist/consts/user-tiers.js +7 -7
  31. package/dist/consts/user-tiers.js.map +1 -1
  32. package/dist/engine/derivation.d.ts +3 -0
  33. package/dist/engine/derivation.d.ts.map +1 -0
  34. package/dist/engine/derivation.js +2 -0
  35. package/dist/engine/derivation.js.map +1 -0
  36. package/dist/engine/engine.d.ts +16 -32
  37. package/dist/engine/engine.d.ts.map +1 -1
  38. package/dist/engine/engine.js +65 -84
  39. package/dist/engine/engine.js.map +1 -1
  40. package/dist/engine/library-adapters.d.ts +3 -7
  41. package/dist/engine/library-adapters.d.ts.map +1 -1
  42. package/dist/engine/library-adapters.js +16 -8
  43. package/dist/engine/library-adapters.js.map +1 -1
  44. package/dist/engine/mutations/premises.d.ts.map +1 -1
  45. package/dist/engine/mutations/premises.js +4 -1
  46. package/dist/engine/mutations/premises.js.map +1 -1
  47. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  48. package/dist/engine/optimistic/verification.js +2 -2
  49. package/dist/engine/optimistic/verification.js.map +1 -1
  50. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +6 -9
  51. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  52. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +6 -9
  53. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  54. package/dist/schemas/api/argument/batch/provision.d.ts +444 -2
  55. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  56. package/dist/schemas/api/argument/claims.d.ts +1330 -20
  57. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  58. package/dist/schemas/api/argument/claims.js +6 -6
  59. package/dist/schemas/api/argument/claims.js.map +1 -1
  60. package/dist/schemas/api/argument/index.d.ts +448 -23
  61. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  62. package/dist/schemas/api/argument/index.js +3 -3
  63. package/dist/schemas/api/argument/index.js.map +1 -1
  64. package/dist/schemas/api/argument/logic.d.ts +11 -1
  65. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  66. package/dist/schemas/api/argument/repair.d.ts +6 -9
  67. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  68. package/dist/schemas/api/citations.d.ts +2280 -0
  69. package/dist/schemas/api/citations.d.ts.map +1 -0
  70. package/dist/schemas/api/{sources.js → citations.js} +8 -9
  71. package/dist/schemas/api/citations.js.map +1 -0
  72. package/dist/schemas/api/claims.d.ts +888 -20
  73. package/dist/schemas/api/claims.d.ts.map +1 -1
  74. package/dist/schemas/api/claims.js +0 -2
  75. package/dist/schemas/api/claims.js.map +1 -1
  76. package/dist/schemas/api/search.d.ts +10 -10
  77. package/dist/schemas/api/search.d.ts.map +1 -1
  78. package/dist/schemas/api/search.js +6 -6
  79. package/dist/schemas/api/search.js.map +1 -1
  80. package/dist/schemas/logic.d.ts +11 -1
  81. package/dist/schemas/logic.d.ts.map +1 -1
  82. package/dist/schemas/model/arguments.d.ts +1340 -34
  83. package/dist/schemas/model/arguments.d.ts.map +1 -1
  84. package/dist/schemas/model/arguments.js +4 -8
  85. package/dist/schemas/model/arguments.js.map +1 -1
  86. package/dist/schemas/model/citations.d.ts +14 -0
  87. package/dist/schemas/model/citations.d.ts.map +1 -0
  88. package/dist/schemas/model/citations.js +11 -0
  89. package/dist/schemas/model/citations.js.map +1 -0
  90. package/dist/schemas/model/claims.d.ts +872 -6
  91. package/dist/schemas/model/claims.d.ts.map +1 -1
  92. package/dist/schemas/model/claims.js +21 -10
  93. package/dist/schemas/model/claims.js.map +1 -1
  94. package/dist/schemas/model/forks.d.ts +2 -2
  95. package/dist/schemas/model/forks.d.ts.map +1 -1
  96. package/dist/schemas/model/forks.js +2 -2
  97. package/dist/schemas/model/forks.js.map +1 -1
  98. package/dist/schemas/model/index.d.ts +1 -1
  99. package/dist/schemas/model/index.d.ts.map +1 -1
  100. package/dist/schemas/model/index.js +1 -1
  101. package/dist/schemas/model/index.js.map +1 -1
  102. package/dist/schemas/model/users.d.ts +3 -3
  103. package/dist/schemas/model/users.d.ts.map +1 -1
  104. package/dist/schemas/model/users.js +2 -2
  105. package/dist/schemas/model/users.js.map +1 -1
  106. package/dist/schemas/review.d.ts +13 -13
  107. package/dist/schemas/review.d.ts.map +1 -1
  108. package/dist/schemas/review.js +2 -1
  109. package/dist/schemas/review.js.map +1 -1
  110. package/dist/schemas/snapshot.d.ts +6 -9
  111. package/dist/schemas/snapshot.d.ts.map +1 -1
  112. package/dist/schemas/snapshot.js +6 -5
  113. package/dist/schemas/snapshot.js.map +1 -1
  114. package/dist/utils/embedding-text.d.ts +1 -1
  115. package/dist/utils/embedding-text.d.ts.map +1 -1
  116. package/dist/utils/embedding-text.js +1 -1
  117. package/dist/utils/embedding-text.js.map +1 -1
  118. package/package.json +3 -3
  119. package/dist/api-client/user/sources.d.ts +0 -42
  120. package/dist/api-client/user/sources.d.ts.map +0 -1
  121. package/dist/api-client/user/sources.js +0 -9
  122. package/dist/api-client/user/sources.js.map +0 -1
  123. package/dist/schemas/api/sources.d.ts +0 -108
  124. package/dist/schemas/api/sources.d.ts.map +0 -1
  125. package/dist/schemas/api/sources.js.map +0 -1
  126. package/dist/schemas/model/sources.d.ts +0 -456
  127. package/dist/schemas/model/sources.d.ts.map +0 -1
  128. package/dist/schemas/model/sources.js +0 -27
  129. package/dist/schemas/model/sources.js.map +0 -1
@@ -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.4.0",
3
+ "version": "0.5.1",
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",
@@ -126,14 +126,14 @@
126
126
  "access": "public"
127
127
  },
128
128
  "peerDependencies": {
129
- "@proposit/proposit-core": "^0.9.0"
129
+ "@proposit/proposit-core": "^0.11.0"
130
130
  },
131
131
  "dependencies": {
132
132
  "typebox": "^1.1.14"
133
133
  },
134
134
  "devDependencies": {
135
135
  "@eslint/js": "^9.39.4",
136
- "@proposit/proposit-core": "^0.9.0",
136
+ "@proposit/proposit-core": "^0.11.0",
137
137
  "@types/node": "^25.5.2",
138
138
  "eslint": "^9.39.4",
139
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"}