@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 +1 @@
1
- {"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAc5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAmFjB"}
1
+ {"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAW5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAkFjB"}
@@ -1,4 +1,4 @@
1
- import { EMPTY_CLAIM_SOURCE_LOOKUP, EMPTY_SOURCE_LOOKUP, } from "../library-adapters.js";
1
+ import { EMPTY_CLAIM_CITATION_LOOKUP } from "../library-adapters.js";
2
2
  import { CHECKSUM_CONFIG } from "../../checksum.js";
3
3
  import { ArgumentEngine } from "@proposit/proposit-core";
4
4
  /**
@@ -12,7 +12,7 @@ import { ArgumentEngine } from "@proposit/proposit-core";
12
12
  */
13
13
  export function detectDivergence(engine, serverSnapshot) {
14
14
  // Build a temporary engine from the server snapshot to compute checksums
15
- const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined }, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, {
15
+ const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined, getCurrent: () => undefined }, EMPTY_CLAIM_CITATION_LOOKUP, {
16
16
  checksumConfig: CHECKSUM_CONFIG,
17
17
  positionConfig: serverSnapshot.config?.positionConfig,
18
18
  grammarConfig: {
@@ -1 +1 @@
1
- {"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAEA,OAAO,EACH,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAQxD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,cAAgC;IAEhC,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,cAAc,CAMnC,cAAc,CAAC,QAAQ,EACvB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EACxB,mBAAmB,EACnB,yBAAyB,EACzB;QACI,cAAc,EAAE,eAAe;QAC/B,cAAc,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc;QACrD,aAAa,EAAE;YACX,aAAa,EAAE,KAAK;YACpB,8BAA8B,EAAE,IAAI;SACvC;KACJ,CACJ,CAAA;IACD,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAA;IAErC,sCAAsC;IACtC,IAAI,MAAM,CAAC,gBAAgB,EAAE,KAAK,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5B,CAAC;IAED,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;IACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAE/D,qCAAqC;IACrC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAEnD,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxB,2DAA2D;YAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;QAED,IAAI,OAAO,CAAC,gBAAgB,EAAE,KAAK,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC7D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,iFAAiF;IACjF,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAC5C,MAAM,eAAe,GAAG,YAAY,CAAC,YAAY,EAAE,CAAA;IAEnD,MAAM,WAAW,GAAG,IAAI,GAAG,CACvB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAG,CAA2B,CAAC,QAAQ,CAAC,CAAC,CAC3E,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvB,CAAC,CAAC,EAAE;QACH,CAA2B,CAAC,QAAQ;KACxC,CAAC,CACL,CAAA;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC3C,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5B,CAAC"}
1
+ {"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAA;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AAQxD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,cAAgC;IAEhC,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,cAAc,CAMnC,cAAc,CAAC,QAAQ,EACvB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,EACrD,2BAA2B,EAC3B;QACI,cAAc,EAAE,eAAe;QAC/B,cAAc,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc;QACrD,aAAa,EAAE;YACX,aAAa,EAAE,KAAK;YACpB,8BAA8B,EAAE,IAAI;SACvC;KACJ,CACJ,CAAA;IACD,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAA;IAErC,sCAAsC;IACtC,IAAI,MAAM,CAAC,gBAAgB,EAAE,KAAK,YAAY,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5B,CAAC;IAED,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;IACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC,CAAA;IAE/D,qCAAqC;IACrC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAEnD,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxB,2DAA2D;YAC3D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;QAED,IAAI,OAAO,CAAC,gBAAgB,EAAE,KAAK,QAAQ,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC7D,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACvC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAA;QAC1C,CAAC;IACL,CAAC;IAED,iFAAiF;IACjF,MAAM,cAAc,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAC5C,MAAM,eAAe,GAAG,YAAY,CAAC,YAAY,EAAE,CAAA;IAEnD,MAAM,WAAW,GAAG,IAAI,GAAG,CACvB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAG,CAA2B,CAAC,QAAQ,CAAC,CAAC,CAC3E,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvB,CAAC,CAAC,EAAE;QACH,CAA2B,CAAC,QAAQ;KACxC,CAAC,CACL,CAAA;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,MAAM,cAAc,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC3C,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;YACnC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;QACpE,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5B,CAAC"}
@@ -68,9 +68,9 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
68
68
  creatorId: Type.TString;
69
69
  claimId: Type.TString;
70
70
  claimVersion: Type.TNumber;
71
+ id: Type.TString;
71
72
  argumentId: Type.TString;
72
73
  argumentVersion: Type.TNumber;
73
- id: Type.TString;
74
74
  }>, Type.TObject<{
75
75
  checksum: Type.TOptional<Type.TString>;
76
76
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -82,9 +82,9 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
82
82
  boundPremiseId: Type.TString;
83
83
  boundArgumentId: Type.TString;
84
84
  boundArgumentVersion: Type.TNumber;
85
+ id: Type.TString;
85
86
  argumentId: Type.TString;
86
87
  argumentVersion: Type.TNumber;
87
- id: Type.TString;
88
88
  }>, Type.TObject<{
89
89
  checksum: Type.TOptional<Type.TString>;
90
90
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -96,15 +96,16 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
96
96
  premise: Type.TIntersect<[Type.TObject<{
97
97
  createdOn: Type.TOptional<import("../../../common.js").TDateType>;
98
98
  creatorId: Type.TOptional<Type.TString>;
99
- argumentId: Type.TString;
100
- argumentVersion: Type.TNumber;
101
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
102
99
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
100
+ type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
103
101
  id: Type.TString;
102
+ argumentId: Type.TString;
103
+ argumentVersion: Type.TNumber;
104
104
  }>, Type.TObject<{
105
105
  checksum: Type.TOptional<Type.TString>;
106
106
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
107
107
  combinedChecksum: Type.TOptional<Type.TString>;
108
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
108
109
  }>]>;
109
110
  rootExpressionId: Type.TOptional<Type.TString>;
110
111
  expressions: Type.TObject<{
@@ -165,10 +166,6 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
165
166
  config: Type.TOptional<Type.TUnknown>;
166
167
  }>>;
167
168
  conclusionPremiseId: Type.TOptional<Type.TString>;
168
- sources: Type.TOptional<Type.TObject<{
169
- variableSourceAssociations: Type.TArray<Type.TUnknown>;
170
- expressionSourceAssociations: Type.TArray<Type.TUnknown>;
171
- }>>;
172
169
  config: Type.TOptional<Type.TUnknown>;
173
170
  }>;
174
171
  created: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
@@ -1 +1 @@
1
- {"version":3,"file":"change-edge-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/change-edge-operator.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,+BAA+B;;;;;;;EAO1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK3C,CAAA;AAEF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA"}
1
+ {"version":3,"file":"change-edge-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/change-edge-operator.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,+BAA+B;;;;;;;EAO1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK3C,CAAA;AAEF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA"}
@@ -68,9 +68,9 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
68
68
  creatorId: Type.TString;
69
69
  claimId: Type.TString;
70
70
  claimVersion: Type.TNumber;
71
+ id: Type.TString;
71
72
  argumentId: Type.TString;
72
73
  argumentVersion: Type.TNumber;
73
- id: Type.TString;
74
74
  }>, Type.TObject<{
75
75
  checksum: Type.TOptional<Type.TString>;
76
76
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -82,9 +82,9 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
82
82
  boundPremiseId: Type.TString;
83
83
  boundArgumentId: Type.TString;
84
84
  boundArgumentVersion: Type.TNumber;
85
+ id: Type.TString;
85
86
  argumentId: Type.TString;
86
87
  argumentVersion: Type.TNumber;
87
- id: Type.TString;
88
88
  }>, Type.TObject<{
89
89
  checksum: Type.TOptional<Type.TString>;
90
90
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -96,15 +96,16 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
96
96
  premise: Type.TIntersect<[Type.TObject<{
97
97
  createdOn: Type.TOptional<import("../../../common.js").TDateType>;
98
98
  creatorId: Type.TOptional<Type.TString>;
99
- argumentId: Type.TString;
100
- argumentVersion: Type.TNumber;
101
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
102
99
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
100
+ type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
103
101
  id: Type.TString;
102
+ argumentId: Type.TString;
103
+ argumentVersion: Type.TNumber;
104
104
  }>, Type.TObject<{
105
105
  checksum: Type.TOptional<Type.TString>;
106
106
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
107
107
  combinedChecksum: Type.TOptional<Type.TString>;
108
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
108
109
  }>]>;
109
110
  rootExpressionId: Type.TOptional<Type.TString>;
110
111
  expressions: Type.TObject<{
@@ -165,10 +166,6 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
165
166
  config: Type.TOptional<Type.TUnknown>;
166
167
  }>>;
167
168
  conclusionPremiseId: Type.TOptional<Type.TString>;
168
- sources: Type.TOptional<Type.TObject<{
169
- variableSourceAssociations: Type.TArray<Type.TUnknown>;
170
- expressionSourceAssociations: Type.TArray<Type.TUnknown>;
171
- }>>;
172
169
  config: Type.TOptional<Type.TUnknown>;
173
170
  }>;
174
171
  created: Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
@@ -1 +1 @@
1
- {"version":3,"file":"create-expression-with-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/create-expression-with-operator.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,yCAAyC;;;;;;;EAOpD,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,0CAA0C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrD,CAAA;AAEF,MAAM,MAAM,qCAAqC,GAAG,MAAM,CACtD,OAAO,0CAA0C,CACpD,CAAA"}
1
+ {"version":3,"file":"create-expression-with-operator.d.ts","sourceRoot":"","sources":["../../../../../src/schemas/api/argument/batch/create-expression-with-operator.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,yCAAyC;;;;;;;EAOpD,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,0CAA0C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrD,CAAA;AAEF,MAAM,MAAM,qCAAqC,GAAG,MAAM,CACtD,OAAO,0CAA0C,CACpD,CAAA"}