@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.
- package/dist/api-client/argument/batch.d.ts +446 -10
- package/dist/api-client/argument/batch.d.ts.map +1 -1
- package/dist/api-client/argument/claims.d.ts +1761 -17
- package/dist/api-client/argument/claims.d.ts.map +1 -1
- package/dist/api-client/argument/claims.js +5 -5
- package/dist/api-client/argument/claims.js.map +1 -1
- package/dist/api-client/argument/index.d.ts +1783 -49
- package/dist/api-client/argument/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/index.d.ts +46 -12
- package/dist/api-client/argument/logic/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/repair.d.ts +1 -4
- package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
- package/dist/api-client/factory.d.ts +7 -7
- package/dist/api-client/factory.d.ts.map +1 -1
- package/dist/api-client/factory.js +7 -7
- package/dist/api-client/factory.js.map +1 -1
- package/dist/api-client/search.d.ts +4 -4
- package/dist/api-client/search.d.ts.map +1 -1
- package/dist/api-client/search.js +3 -3
- package/dist/api-client/search.js.map +1 -1
- package/dist/api-client/user/citations.d.ts +912 -0
- package/dist/api-client/user/citations.d.ts.map +1 -0
- package/dist/api-client/user/citations.js +9 -0
- package/dist/api-client/user/citations.js.map +1 -0
- package/dist/api-client/user/claims.d.ts +444 -10
- package/dist/api-client/user/claims.d.ts.map +1 -1
- package/dist/consts/user-tiers.js +7 -7
- package/dist/consts/user-tiers.js.map +1 -1
- package/dist/engine/derivation.d.ts +3 -0
- package/dist/engine/derivation.d.ts.map +1 -0
- package/dist/engine/derivation.js +2 -0
- package/dist/engine/derivation.js.map +1 -0
- package/dist/engine/engine.d.ts +16 -32
- package/dist/engine/engine.d.ts.map +1 -1
- package/dist/engine/engine.js +65 -84
- package/dist/engine/engine.js.map +1 -1
- package/dist/engine/library-adapters.d.ts +3 -7
- package/dist/engine/library-adapters.d.ts.map +1 -1
- package/dist/engine/library-adapters.js +16 -8
- package/dist/engine/library-adapters.js.map +1 -1
- package/dist/engine/mutations/premises.d.ts.map +1 -1
- package/dist/engine/mutations/premises.js +4 -1
- package/dist/engine/mutations/premises.js.map +1 -1
- package/dist/engine/optimistic/verification.d.ts.map +1 -1
- package/dist/engine/optimistic/verification.js +2 -2
- package/dist/engine/optimistic/verification.js.map +1 -1
- package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -4
- package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
- package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -4
- package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
- package/dist/schemas/api/argument/batch/provision.d.ts +444 -2
- package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
- package/dist/schemas/api/argument/claims.d.ts +1330 -18
- package/dist/schemas/api/argument/claims.d.ts.map +1 -1
- package/dist/schemas/api/argument/claims.js +6 -6
- package/dist/schemas/api/argument/claims.js.map +1 -1
- package/dist/schemas/api/argument/index.d.ts +443 -17
- package/dist/schemas/api/argument/index.d.ts.map +1 -1
- package/dist/schemas/api/argument/index.js +3 -3
- package/dist/schemas/api/argument/index.js.map +1 -1
- package/dist/schemas/api/argument/logic.d.ts +11 -1
- package/dist/schemas/api/argument/logic.d.ts.map +1 -1
- package/dist/schemas/api/argument/repair.d.ts +1 -4
- package/dist/schemas/api/argument/repair.d.ts.map +1 -1
- package/dist/schemas/api/citations.d.ts +2280 -0
- package/dist/schemas/api/citations.d.ts.map +1 -0
- package/dist/schemas/api/{sources.js → citations.js} +8 -9
- package/dist/schemas/api/citations.js.map +1 -0
- package/dist/schemas/api/claims.d.ts +888 -20
- package/dist/schemas/api/claims.d.ts.map +1 -1
- package/dist/schemas/api/claims.js +0 -2
- package/dist/schemas/api/claims.js.map +1 -1
- package/dist/schemas/api/search.d.ts +10 -10
- package/dist/schemas/api/search.d.ts.map +1 -1
- package/dist/schemas/api/search.js +6 -6
- package/dist/schemas/api/search.js.map +1 -1
- package/dist/schemas/logic.d.ts +11 -1
- package/dist/schemas/logic.d.ts.map +1 -1
- package/dist/schemas/model/arguments.d.ts +1340 -32
- package/dist/schemas/model/arguments.d.ts.map +1 -1
- package/dist/schemas/model/arguments.js +4 -8
- package/dist/schemas/model/arguments.js.map +1 -1
- package/dist/schemas/model/citations.d.ts +15 -0
- package/dist/schemas/model/citations.d.ts.map +1 -0
- package/dist/schemas/model/citations.js +12 -0
- package/dist/schemas/model/citations.js.map +1 -0
- package/dist/schemas/model/claims.d.ts +872 -6
- package/dist/schemas/model/claims.d.ts.map +1 -1
- package/dist/schemas/model/claims.js +21 -10
- package/dist/schemas/model/claims.js.map +1 -1
- package/dist/schemas/model/forks.d.ts +2 -2
- package/dist/schemas/model/forks.d.ts.map +1 -1
- package/dist/schemas/model/forks.js +2 -2
- package/dist/schemas/model/forks.js.map +1 -1
- package/dist/schemas/model/index.d.ts +1 -1
- package/dist/schemas/model/index.d.ts.map +1 -1
- package/dist/schemas/model/index.js +1 -1
- package/dist/schemas/model/index.js.map +1 -1
- package/dist/schemas/model/users.d.ts +3 -3
- package/dist/schemas/model/users.d.ts.map +1 -1
- package/dist/schemas/model/users.js +2 -2
- package/dist/schemas/model/users.js.map +1 -1
- package/dist/schemas/review.d.ts +13 -13
- package/dist/schemas/review.d.ts.map +1 -1
- package/dist/schemas/review.js +2 -1
- package/dist/schemas/review.js.map +1 -1
- package/dist/schemas/snapshot.d.ts +1 -4
- package/dist/schemas/snapshot.d.ts.map +1 -1
- package/dist/schemas/snapshot.js +0 -5
- package/dist/schemas/snapshot.js.map +1 -1
- package/dist/ui/assets/index.d.ts +9 -0
- package/dist/ui/assets/index.d.ts.map +1 -0
- package/dist/ui/assets/index.js +6 -0
- package/dist/ui/assets/index.js.map +1 -0
- package/dist/ui/assets/proposit-letter-logo-black.d.ts +3 -0
- package/dist/ui/assets/proposit-letter-logo-black.d.ts.map +1 -0
- package/dist/ui/assets/proposit-letter-logo-black.js +74 -0
- package/dist/ui/assets/proposit-letter-logo-black.js.map +1 -0
- package/dist/ui/assets/proposit-logo-black.d.ts +3 -0
- package/dist/ui/assets/proposit-logo-black.d.ts.map +1 -0
- package/dist/ui/assets/proposit-logo-black.js +87 -0
- package/dist/ui/assets/proposit-logo-black.js.map +1 -0
- package/dist/ui/assets/proposit-logo-white.d.ts +3 -0
- package/dist/ui/assets/proposit-logo-white.d.ts.map +1 -0
- package/dist/ui/assets/proposit-logo-white.js +31 -0
- package/dist/ui/assets/proposit-logo-white.js.map +1 -0
- package/dist/ui/assets/types.d.ts +7 -0
- package/dist/ui/assets/types.d.ts.map +1 -0
- package/dist/ui/assets/types.js +2 -0
- package/dist/ui/assets/types.js.map +1 -0
- package/dist/ui/breakpoints.d.ts +8 -0
- package/dist/ui/breakpoints.d.ts.map +1 -0
- package/dist/ui/breakpoints.js +7 -0
- package/dist/ui/breakpoints.js.map +1 -0
- package/dist/ui/colors.d.ts +43 -0
- package/dist/ui/colors.d.ts.map +1 -0
- package/dist/ui/colors.js +76 -0
- package/dist/ui/colors.js.map +1 -0
- package/dist/ui/index.d.ts +11 -0
- package/dist/ui/index.d.ts.map +1 -0
- package/dist/ui/index.js +11 -0
- package/dist/ui/index.js.map +1 -0
- package/dist/ui/motion.d.ts +11 -0
- package/dist/ui/motion.d.ts.map +1 -0
- package/dist/ui/motion.js +10 -0
- package/dist/ui/motion.js.map +1 -0
- package/dist/ui/radii.d.ts +9 -0
- package/dist/ui/radii.d.ts.map +1 -0
- package/dist/ui/radii.js +8 -0
- package/dist/ui/radii.js.map +1 -0
- package/dist/ui/shadows.d.ts +26 -0
- package/dist/ui/shadows.d.ts.map +1 -0
- package/dist/ui/shadows.js +33 -0
- package/dist/ui/shadows.js.map +1 -0
- package/dist/ui/sizing.d.ts +13 -0
- package/dist/ui/sizing.d.ts.map +1 -0
- package/dist/ui/sizing.js +12 -0
- package/dist/ui/sizing.js.map +1 -0
- package/dist/ui/spacing.d.ts +18 -0
- package/dist/ui/spacing.d.ts.map +1 -0
- package/dist/ui/spacing.js +17 -0
- package/dist/ui/spacing.js.map +1 -0
- package/dist/ui/typography.d.ts +20 -0
- package/dist/ui/typography.d.ts.map +1 -0
- package/dist/ui/typography.js +22 -0
- package/dist/ui/typography.js.map +1 -0
- package/dist/ui/z-index.d.ts +9 -0
- package/dist/ui/z-index.d.ts.map +1 -0
- package/dist/ui/z-index.js +8 -0
- package/dist/ui/z-index.js.map +1 -0
- package/dist/utils/embedding-text.d.ts +1 -1
- package/dist/utils/embedding-text.d.ts.map +1 -1
- package/dist/utils/embedding-text.js +1 -1
- package/dist/utils/embedding-text.js.map +1 -1
- package/package.json +18 -3
- package/dist/api-client/user/sources.d.ts +0 -42
- package/dist/api-client/user/sources.d.ts.map +0 -1
- package/dist/api-client/user/sources.js +0 -9
- package/dist/api-client/user/sources.js.map +0 -1
- package/dist/schemas/api/sources.d.ts +0 -108
- package/dist/schemas/api/sources.d.ts.map +0 -1
- package/dist/schemas/api/sources.js.map +0 -1
- package/dist/schemas/model/sources.d.ts +0 -456
- package/dist/schemas/model/sources.d.ts.map +0 -1
- package/dist/schemas/model/sources.js +0 -27
- package/dist/schemas/model/sources.js.map +0 -1
|
@@ -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 @@
|
|
|
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 @@
|
|
|
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
|
|
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,
|
|
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
|
|
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,
|
|
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
|
+
"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.
|
|
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.
|
|
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"}
|