@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
@@ -1,4 +1,5 @@
1
- import { ArgumentSchema, MutableArgumentFieldsSchema, ClaimSourceSchema, SourceSchemaNotStrict, ParticipantWithUserSchema, ClaimSchema, } from "../../model.js";
1
+ import { ArgumentSchema, MutableArgumentFieldsSchema, ParticipantWithUserSchema, ClaimSchema, } from "../../model.js";
2
+ import { ClaimCitationSchema } from "../../model/citations.js";
2
3
  import { Nullable, UUID } from "../../common.js";
3
4
  import { TaskSchema } from "../../tasks.js";
4
5
  import { ArgumentEngineSnapshotSchema, } from "../../snapshot.js";
@@ -8,8 +9,7 @@ export const FullArgumentSchema = Type.Object({
8
9
  argument: ArgumentSchema,
9
10
  claims: Type.Array(ClaimSchema),
10
11
  propositionalLogic: ArgumentEngineSnapshotSchema,
11
- claimSources: Type.Array(ClaimSourceSchema),
12
- sources: Type.Array(SourceSchemaNotStrict),
12
+ claimCitations: Type.Array(ClaimCitationSchema),
13
13
  argumentHistory: Type.Array(ArgumentSchema),
14
14
  originalArgument: Nullable(ArgumentSchema),
15
15
  participants: Type.Array(ParticipantWithUserSchema),
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,iBAAiB,EACjB,qBAAqB,EACrB,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACH,4BAA4B,GAE/B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,oBAAoB,EACpB,uBAAuB,GAC1B,MAAM,6BAA6B,CAAA;AACpC,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAC/B,kBAAkB,EAAE,4BAA4B;IAChD,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC3C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC1C,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;IAC3C,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC;IAC1C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;IAC7B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;CACrC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACpC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAChD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACnD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,2BAA2B;IACpC,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;CAC/B,CAAC,CAAA;AAGF,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,MAAM,EAAE,IAAI;KACf,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAClD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,cAAc;IACzB,KAAK,EAAE,cAAc;CACxB,CAAC,CAAA"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACH,4BAA4B,GAE/B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,oBAAoB,EACpB,uBAAuB,GAC1B,MAAM,6BAA6B,CAAA;AACpC,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAC/B,kBAAkB,EAAE,4BAA4B;IAChD,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC/C,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;IAC3C,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC;IAC1C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;IAC7B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;CACrC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACpC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAChD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACnD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,2BAA2B;IACpC,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;CAC/B,CAAC,CAAA;AAGF,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,MAAM,EAAE,IAAI;KACf,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAClD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,cAAc;IACzB,KAAK,EAAE,cAAc;CACxB,CAAC,CAAA"}
@@ -5,7 +5,8 @@ export declare const PremiseCreationSchema: Type.TObject<{
5
5
  }>;
6
6
  export type TPremiseCreation = Static<typeof PremiseCreationSchema>;
7
7
  export declare const CreatePremiseResponseSchema: Type.TObject<{
8
- premise: Type.TIntersect<[Type.TObject<{
8
+ premise: Type.TIntersect<[Type.TUnion<[Type.TObject<{
9
+ type: Type.TLiteral<"freeform">;
9
10
  id: Type.TString;
10
11
  argumentId: Type.TString;
11
12
  argumentVersion: Type.TNumber;
@@ -13,6 +14,15 @@ export declare const CreatePremiseResponseSchema: Type.TObject<{
13
14
  descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
14
15
  combinedChecksum: Type.TString;
15
16
  }>, Type.TObject<{
17
+ type: Type.TLiteral<"derivation">;
18
+ derivedClaimId: Type.TString;
19
+ id: Type.TString;
20
+ argumentId: Type.TString;
21
+ argumentVersion: Type.TNumber;
22
+ checksum: Type.TString;
23
+ descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
24
+ combinedChecksum: Type.TString;
25
+ }>]>, Type.TObject<{
16
26
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
17
27
  role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
18
28
  createdOn: Type.TOptional<import("../../common.js").TDateType>;
@@ -1 +1 @@
1
- {"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/logic.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,mBAAmB;;;;;IAQ9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAc/D,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,sBAAsB;;;;;;;;IAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGzC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAID,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,oBAAoB;;;;;;IAS/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAIjE,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,gBAAgB,CAEvE;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,mBAAmB,CAE7E;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,iBAAiB,CAEzE"}
1
+ {"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/logic.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,qBAAqB;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,mBAAmB;;;;;IAQ9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAc/D,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,sBAAsB;;;;;;;;IAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGzC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAID,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,oBAAoB;;;;;;IAS/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAIjE,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,gBAAgB,CAEvE;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,mBAAmB,CAE7E;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,IAAI,iBAAiB,CAEzE"}
@@ -75,9 +75,9 @@ export declare const RepairResponseSchema: Type.TObject<{
75
75
  creatorId: Type.TString;
76
76
  claimId: Type.TString;
77
77
  claimVersion: Type.TNumber;
78
+ id: Type.TString;
78
79
  argumentId: Type.TString;
79
80
  argumentVersion: Type.TNumber;
80
- id: Type.TString;
81
81
  }>, Type.TObject<{
82
82
  checksum: Type.TOptional<Type.TString>;
83
83
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -89,9 +89,9 @@ export declare const RepairResponseSchema: Type.TObject<{
89
89
  boundPremiseId: Type.TString;
90
90
  boundArgumentId: Type.TString;
91
91
  boundArgumentVersion: Type.TNumber;
92
+ id: Type.TString;
92
93
  argumentId: Type.TString;
93
94
  argumentVersion: Type.TNumber;
94
- id: Type.TString;
95
95
  }>, Type.TObject<{
96
96
  checksum: Type.TOptional<Type.TString>;
97
97
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -103,15 +103,16 @@ export declare const RepairResponseSchema: Type.TObject<{
103
103
  premise: Type.TIntersect<[Type.TObject<{
104
104
  createdOn: Type.TOptional<import("../../common.js").TDateType>;
105
105
  creatorId: Type.TOptional<Type.TString>;
106
- argumentId: Type.TString;
107
- argumentVersion: Type.TNumber;
108
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
109
106
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
107
+ type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
110
108
  id: Type.TString;
109
+ argumentId: Type.TString;
110
+ argumentVersion: Type.TNumber;
111
111
  }>, Type.TObject<{
112
112
  checksum: Type.TOptional<Type.TString>;
113
113
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
114
114
  combinedChecksum: Type.TOptional<Type.TString>;
115
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
115
116
  }>]>;
116
117
  rootExpressionId: Type.TOptional<Type.TString>;
117
118
  expressions: Type.TObject<{
@@ -172,10 +173,6 @@ export declare const RepairResponseSchema: Type.TObject<{
172
173
  config: Type.TOptional<Type.TUnknown>;
173
174
  }>>;
174
175
  conclusionPremiseId: Type.TOptional<Type.TString>;
175
- sources: Type.TOptional<Type.TObject<{
176
- variableSourceAssociations: Type.TArray<Type.TUnknown>;
177
- expressionSourceAssociations: Type.TArray<Type.TUnknown>;
178
- }>>;
179
176
  config: Type.TOptional<Type.TUnknown>;
180
177
  }>;
181
178
  repaired: Type.TArray<Type.TObject<{
@@ -1 +1 @@
1
- {"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/repair.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0KAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAIjE,eAAO,MAAM,gBAAgB;;;;EAI3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,mBAAmB;;;;;;EAE9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAU/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA"}
1
+ {"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/repair.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0KAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAIjE,eAAO,MAAM,gBAAgB;;;;EAI3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,mBAAmB;;;;;;EAE9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAU/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA"}