@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
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB
|
|
1
|
+
{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
|
|
@@ -4,7 +4,7 @@ import { ArgumentImportOrigin, ArgumentPlatformData, } from "../integrations/ind
|
|
|
4
4
|
import { EncodableDate, Nullable, UUID } from "../common.js";
|
|
5
5
|
import { UserPublicFieldsSchema } from "./users.js";
|
|
6
6
|
import { ClaimSchema } from "./claims.js";
|
|
7
|
-
import {
|
|
7
|
+
import { ClaimCitationSchema } from "./citations.js";
|
|
8
8
|
import { PropositionalVariableSchema, PropositionalExpressionSchema, PropositionalPremiseSchema, } from "../logic.js";
|
|
9
9
|
export { ArgumentForkSchema } from "./forks.js";
|
|
10
10
|
export const MutableArgumentFieldsSchema = Type.Object({
|
|
@@ -70,13 +70,9 @@ export const ArgumentDiffSchema = Type.Object({
|
|
|
70
70
|
removed: Type.Array(PropositionalPremiseSchema),
|
|
71
71
|
}),
|
|
72
72
|
}),
|
|
73
|
-
|
|
74
|
-
added: Type.Array(
|
|
75
|
-
removed: Type.Array(
|
|
76
|
-
}),
|
|
77
|
-
sources: Type.Object({
|
|
78
|
-
added: Type.Array(SourceSchemaNotStrict),
|
|
79
|
-
removed: Type.Array(SourceSchemaNotStrict),
|
|
73
|
+
claimCitations: Type.Object({
|
|
74
|
+
added: Type.Array(ClaimCitationSchema),
|
|
75
|
+
removed: Type.Array(ClaimCitationSchema),
|
|
80
76
|
}),
|
|
81
77
|
});
|
|
82
78
|
export const UnownedArgumentSchema = Type.Object({
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAC3C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import Type, { type Static } from "typebox";
|
|
2
|
+
export declare const ClaimCitationSchema: Type.TIntersect<[Type.TObject<{
|
|
3
|
+
id: Type.TString;
|
|
4
|
+
citingClaimId: Type.TString;
|
|
5
|
+
citingClaimVersion: Type.TNumber;
|
|
6
|
+
sourceClaimId: Type.TString;
|
|
7
|
+
sourceClaimVersion: Type.TNumber;
|
|
8
|
+
checksum: Type.TString;
|
|
9
|
+
}>, Type.TObject<{
|
|
10
|
+
argumentId: Type.TString;
|
|
11
|
+
createdOn: import("../common.js").TDateType;
|
|
12
|
+
}>]>;
|
|
13
|
+
export type TClaimCitation = Static<typeof ClaimCitationSchema>;
|
|
14
|
+
//# sourceMappingURL=citations.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,mBAAmB;;;;;;;;;;IAM9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import Type, {} from "typebox";
|
|
2
|
+
import { CoreClaimCitationSchema } from "@proposit/proposit-core";
|
|
3
|
+
import { EncodableDate, UUID } from "../common.js";
|
|
4
|
+
export const ClaimCitationSchema = Type.Intersect([
|
|
5
|
+
CoreClaimCitationSchema,
|
|
6
|
+
Type.Object({
|
|
7
|
+
argumentId: UUID,
|
|
8
|
+
createdOn: EncodableDate,
|
|
9
|
+
}),
|
|
10
|
+
]);
|
|
11
|
+
//# sourceMappingURL=citations.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,uBAAuB;IACvB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA"}
|