@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.
- package/dist/api-client/argument/batch.d.ts +456 -20
- package/dist/api-client/argument/batch.d.ts.map +1 -1
- package/dist/api-client/argument/claims.d.ts +1761 -19
- 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 +1788 -57
- package/dist/api-client/argument/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/index.d.ts +56 -22
- package/dist/api-client/argument/logic/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/repair.d.ts +6 -9
- 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/checksum.d.ts.map +1 -1
- package/dist/checksum.js +7 -8
- package/dist/checksum.js.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 +6 -9
- 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 +6 -9
- 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 -20
- 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 +448 -23
- 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 +6 -9
- 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 -34
- 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 +14 -0
- package/dist/schemas/model/citations.d.ts.map +1 -0
- package/dist/schemas/model/citations.js +11 -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 +6 -9
- package/dist/schemas/snapshot.d.ts.map +1 -1
- package/dist/schemas/snapshot.js +6 -5
- package/dist/schemas/snapshot.js.map +1 -1
- 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 +3 -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":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,6BAA6B;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAwC,CAAA;AAChF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}
|
|
@@ -1,12 +1,11 @@
|
|
|
1
1
|
import Type, {} from "typebox";
|
|
2
2
|
import { ClaimSchema } from "../model/claims.js";
|
|
3
|
-
import { SourceSchemaNotStrict } from "../model/sources.js";
|
|
4
3
|
import { UUID } from "../common.js";
|
|
5
|
-
export const
|
|
4
|
+
export const CitationUsageExpressionSchema = Type.Object({
|
|
6
5
|
id: UUID,
|
|
7
6
|
premiseId: UUID,
|
|
8
7
|
});
|
|
9
|
-
export const
|
|
8
|
+
export const CitationUsageSchema = Type.Object({
|
|
10
9
|
argument: Type.Object({
|
|
11
10
|
id: UUID,
|
|
12
11
|
title: Type.String(),
|
|
@@ -18,11 +17,11 @@ export const SourceUsageSchema = Type.Object({
|
|
|
18
17
|
// variableId matches the claim's propositional variable. Each entry is
|
|
19
18
|
// a ReactFlow node that surfaces this claim in the graph and is
|
|
20
19
|
// individually navigable via the `selectedNode` query param.
|
|
21
|
-
expressions: Type.Array(
|
|
20
|
+
expressions: Type.Array(CitationUsageExpressionSchema),
|
|
22
21
|
});
|
|
23
|
-
export const
|
|
24
|
-
|
|
25
|
-
usages: Type.Array(
|
|
22
|
+
export const CitationWithContextSchema = Type.Object({
|
|
23
|
+
citation: ClaimSchema,
|
|
24
|
+
usages: Type.Array(CitationUsageSchema),
|
|
26
25
|
});
|
|
27
|
-
export const
|
|
28
|
-
//# sourceMappingURL=
|
|
26
|
+
export const UserCitationsResponseSchema = Type.Array(CitationWithContextSchema);
|
|
27
|
+
//# sourceMappingURL=citations.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/api/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,EAAE,EAAE,IAAI;IACR,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,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,6BAA6B,CAAC;CACzD,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,QAAQ,EAAE,WAAW;IACrB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;CAC1C,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAA"}
|