@proposit/shared 0.7.1 → 0.8.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.
Files changed (65) hide show
  1. package/dist/api-client/argument/batch.d.ts +46 -9
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +192 -44
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/index.d.ts +198 -50
  6. package/dist/api-client/argument/index.d.ts.map +1 -1
  7. package/dist/api-client/user/citations.d.ts +92 -18
  8. package/dist/api-client/user/citations.d.ts.map +1 -1
  9. package/dist/api-client/user/claims.d.ts +46 -9
  10. package/dist/api-client/user/claims.d.ts.map +1 -1
  11. package/dist/consts/argument.d.ts +3 -1
  12. package/dist/consts/argument.d.ts.map +1 -1
  13. package/dist/consts/argument.js +3 -1
  14. package/dist/consts/argument.js.map +1 -1
  15. package/dist/consts/axioms.d.ts +4 -0
  16. package/dist/consts/axioms.d.ts.map +1 -0
  17. package/dist/consts/axioms.js +17 -0
  18. package/dist/consts/axioms.js.map +1 -0
  19. package/dist/consts/index.d.ts +1 -0
  20. package/dist/consts/index.d.ts.map +1 -1
  21. package/dist/consts/index.js +1 -0
  22. package/dist/consts/index.js.map +1 -1
  23. package/dist/engine/engine.d.ts +14 -14
  24. package/dist/engine/engine.d.ts.map +1 -1
  25. package/dist/engine/engine.js +35 -35
  26. package/dist/engine/engine.js.map +1 -1
  27. package/dist/engine/library-adapters.d.ts +2 -2
  28. package/dist/engine/library-adapters.d.ts.map +1 -1
  29. package/dist/engine/library-adapters.js +2 -2
  30. package/dist/engine/library-adapters.js.map +1 -1
  31. package/dist/engine/mutations/premises.d.ts +2 -2
  32. package/dist/engine/mutations/premises.d.ts.map +1 -1
  33. package/dist/engine/mutations/premises.js +5 -5
  34. package/dist/engine/mutations/premises.js.map +1 -1
  35. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  36. package/dist/engine/optimistic/verification.js +1 -2
  37. package/dist/engine/optimistic/verification.js.map +1 -1
  38. package/dist/engine/text-tree.d.ts +2 -1
  39. package/dist/engine/text-tree.d.ts.map +1 -1
  40. package/dist/engine/text-tree.js +8 -3
  41. package/dist/engine/text-tree.js.map +1 -1
  42. package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
  43. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  44. package/dist/schemas/api/argument/claims.d.ts +147 -35
  45. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  46. package/dist/schemas/api/argument/index.d.ts +51 -14
  47. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  48. package/dist/schemas/api/argument/index.js +1 -1
  49. package/dist/schemas/api/argument/index.js.map +1 -1
  50. package/dist/schemas/api/citations.d.ts +230 -45
  51. package/dist/schemas/api/citations.d.ts.map +1 -1
  52. package/dist/schemas/api/claims.d.ts +92 -18
  53. package/dist/schemas/api/claims.d.ts.map +1 -1
  54. package/dist/schemas/model/arguments.d.ts +147 -36
  55. package/dist/schemas/model/arguments.d.ts.map +1 -1
  56. package/dist/schemas/model/arguments.js +1 -1
  57. package/dist/schemas/model/arguments.js.map +1 -1
  58. package/dist/schemas/model/citations.d.ts +4 -4
  59. package/dist/schemas/model/citations.js +2 -2
  60. package/dist/schemas/model/citations.js.map +1 -1
  61. package/dist/schemas/model/claims.d.ts +127 -22
  62. package/dist/schemas/model/claims.d.ts.map +1 -1
  63. package/dist/schemas/model/claims.js +85 -24
  64. package/dist/schemas/model/claims.js.map +1 -1
  65. package/package.json +3 -3
package/dist/api-client/argument/batch.d.ts CHANGED
@@ -6,9 +6,25 @@ export declare function provisionArgumentImpl(config: TApiClientConfig, argument
6
6
  errorMessage: import("typebox").TString;
7
7
  statusCode: import("typebox").TNumber;
8
8
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
9
- claim: import("typebox").TObject<{
9
+ claim: import("typebox").TUnion<[import("typebox").TObject<{
10
+ digest: import("typebox").TString;
11
+ id: import("typebox").TString;
12
+ argumentId: import("typebox").TString;
13
+ version: import("typebox").TNumber;
14
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
15
+ creatorId: import("typebox").TString;
16
+ createdOn: import("../../schemas/common.js").TDateType;
17
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
10
18
  title: import("typebox").TString;
11
19
  body: import("typebox").TString;
20
+ titleContentHash: import("typebox").TString;
21
+ type: import("typebox").TLiteral<"normal">;
22
+ kind: 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">]>]>;
23
+ url: import("typebox").TNull;
24
+ citation: import("typebox").TNull;
25
+ citationContentHash: import("typebox").TNull;
26
+ axiom: import("typebox").TNull;
27
+ }>, import("typebox").TObject<{
12
28
  digest: import("typebox").TString;
13
29
  id: import("typebox").TString;
14
30
  argumentId: import("typebox").TString;
@@ -16,12 +32,14 @@ export declare function provisionArgumentImpl(config: TApiClientConfig, argument
16
32
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
17
33
  creatorId: import("typebox").TString;
18
34
  createdOn: import("../../schemas/common.js").TDateType;
19
- kind: 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">]>]>;
20
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
21
35
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
22
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
23
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
24
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
36
+ type: import("typebox").TLiteral<"citation">;
37
+ kind: import("typebox").TNull;
38
+ title: import("typebox").TNull;
39
+ body: import("typebox").TNull;
40
+ titleContentHash: import("typebox").TNull;
41
+ url: import("typebox").TString;
42
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
25
43
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
26
44
  }>, import("typebox").TObject<{
27
45
  type: import("typebox").TLiteral<"Book">;
@@ -449,9 +467,28 @@ export declare function provisionArgumentImpl(config: TApiClientConfig, argument
449
467
  type: import("typebox").TLiteral<"UnparsedURL">;
450
468
  url: import("typebox").TString;
451
469
  text: import("typebox").TOptional<import("typebox").TString>;
452
- }>]>]>, import("typebox").TNull]>>;
453
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
454
- }>;
470
+ }>]>]>;
471
+ citationContentHash: import("typebox").TString;
472
+ axiom: import("typebox").TNull;
473
+ }>, import("typebox").TObject<{
474
+ digest: import("typebox").TString;
475
+ id: import("typebox").TString;
476
+ argumentId: import("typebox").TString;
477
+ version: import("typebox").TNumber;
478
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
479
+ creatorId: import("typebox").TString;
480
+ createdOn: import("../../schemas/common.js").TDateType;
481
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
482
+ type: import("typebox").TLiteral<"axiomatic">;
483
+ kind: import("typebox").TNull;
484
+ title: import("typebox").TNull;
485
+ body: import("typebox").TNull;
486
+ titleContentHash: import("typebox").TNull;
487
+ url: import("typebox").TNull;
488
+ citation: import("typebox").TNull;
489
+ citationContentHash: import("typebox").TNull;
490
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
491
+ }>]>;
455
492
  premise: import("typebox").TIntersect<[import("typebox").TUnion<[import("typebox").TObject<{
456
493
  type: import("typebox").TLiteral<"freeform">;
457
494
  id: import("typebox").TString;
package/dist/api-client/argument/batch.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"batch.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/batch.ts"],"names":[],"mappings":"AACA,OAAO,EAGH,KAAK,0BAA0B,EAClC,MAAM,0DAA0D,CAAA;AACjE,OAAO,EAGH,KAAK,oCAAoC,EAC5C,MAAM,qEAAqE,CAAA;AAE5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,qBAAqB,CACvC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAED,wBAAsB,gCAAgC,CAClD,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW7C;AAED,wBAAsB,sBAAsB,CACxC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWnC"}
1
+ {"version":3,"file":"batch.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/batch.ts"],"names":[],"mappings":"AACA,OAAO,EAGH,KAAK,0BAA0B,EAClC,MAAM,0DAA0D,CAAA;AACjE,OAAO,EAGH,KAAK,oCAAoC,EAC5C,MAAM,qEAAqE,CAAA;AAE5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,qBAAqB,CACvC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAED,wBAAsB,gCAAgC,CAClD,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW7C;AAED,wBAAsB,sBAAsB,CACxC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWnC"}
package/dist/api-client/argument/claims.d.ts CHANGED
@@ -6,9 +6,25 @@ export declare function createClaimImpl(config: TApiClientConfig, argumentId: st
6
6
  errorMessage: import("typebox").TString;
7
7
  statusCode: import("typebox").TNumber;
8
8
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
9
- newClaim: import("typebox").TObject<{
9
+ newClaim: import("typebox").TUnion<[import("typebox").TObject<{
10
+ digest: import("typebox").TString;
11
+ id: import("typebox").TString;
12
+ argumentId: import("typebox").TString;
13
+ version: import("typebox").TNumber;
14
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
15
+ creatorId: import("typebox").TString;
16
+ createdOn: import("../../schemas/common.js").TDateType;
17
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
10
18
  title: import("typebox").TString;
11
19
  body: import("typebox").TString;
20
+ titleContentHash: import("typebox").TString;
21
+ type: import("typebox").TLiteral<"normal">;
22
+ kind: 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">]>]>;
23
+ url: import("typebox").TNull;
24
+ citation: import("typebox").TNull;
25
+ citationContentHash: import("typebox").TNull;
26
+ axiom: import("typebox").TNull;
27
+ }>, import("typebox").TObject<{
12
28
  digest: import("typebox").TString;
13
29
  id: import("typebox").TString;
14
30
  argumentId: import("typebox").TString;
@@ -16,12 +32,14 @@ export declare function createClaimImpl(config: TApiClientConfig, argumentId: st
16
32
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
17
33
  creatorId: import("typebox").TString;
18
34
  createdOn: import("../../schemas/common.js").TDateType;
19
- kind: 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">]>]>;
20
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
21
35
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
22
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
23
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
24
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
36
+ type: import("typebox").TLiteral<"citation">;
37
+ kind: import("typebox").TNull;
38
+ title: import("typebox").TNull;
39
+ body: import("typebox").TNull;
40
+ titleContentHash: import("typebox").TNull;
41
+ url: import("typebox").TString;
42
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
25
43
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
26
44
  }>, import("typebox").TObject<{
27
45
  type: import("typebox").TLiteral<"Book">;
@@ -449,9 +467,28 @@ export declare function createClaimImpl(config: TApiClientConfig, argumentId: st
449
467
  type: import("typebox").TLiteral<"UnparsedURL">;
450
468
  url: import("typebox").TString;
451
469
  text: import("typebox").TOptional<import("typebox").TString>;
452
- }>]>]>, import("typebox").TNull]>>;
453
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
454
- }>;
470
+ }>]>]>;
471
+ citationContentHash: import("typebox").TString;
472
+ axiom: import("typebox").TNull;
473
+ }>, import("typebox").TObject<{
474
+ digest: import("typebox").TString;
475
+ id: import("typebox").TString;
476
+ argumentId: import("typebox").TString;
477
+ version: import("typebox").TNumber;
478
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
479
+ creatorId: import("typebox").TString;
480
+ createdOn: import("../../schemas/common.js").TDateType;
481
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
482
+ type: import("typebox").TLiteral<"axiomatic">;
483
+ kind: import("typebox").TNull;
484
+ title: import("typebox").TNull;
485
+ body: import("typebox").TNull;
486
+ titleContentHash: import("typebox").TNull;
487
+ url: import("typebox").TNull;
488
+ citation: import("typebox").TNull;
489
+ citationContentHash: import("typebox").TNull;
490
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
491
+ }>]>;
455
492
  newPropositionalVariable: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
456
493
  claimId: import("typebox").TString;
457
494
  claimVersion: import("typebox").TNumber;
@@ -538,9 +575,25 @@ export declare function deleteClaimImpl(config: TApiClientConfig, argumentId: st
538
575
  errorMessage: import("typebox").TString;
539
576
  statusCode: import("typebox").TNumber;
540
577
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
541
- deletedClaims: import("typebox").TArray<import("typebox").TObject<{
578
+ deletedClaims: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TObject<{
579
+ digest: import("typebox").TString;
580
+ id: import("typebox").TString;
581
+ argumentId: import("typebox").TString;
582
+ version: import("typebox").TNumber;
583
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
584
+ creatorId: import("typebox").TString;
585
+ createdOn: import("../../schemas/common.js").TDateType;
586
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
542
587
  title: import("typebox").TString;
543
588
  body: import("typebox").TString;
589
+ titleContentHash: import("typebox").TString;
590
+ type: import("typebox").TLiteral<"normal">;
591
+ kind: 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">]>]>;
592
+ url: import("typebox").TNull;
593
+ citation: import("typebox").TNull;
594
+ citationContentHash: import("typebox").TNull;
595
+ axiom: import("typebox").TNull;
596
+ }>, import("typebox").TObject<{
544
597
  digest: import("typebox").TString;
545
598
  id: import("typebox").TString;
546
599
  argumentId: import("typebox").TString;
@@ -548,12 +601,14 @@ export declare function deleteClaimImpl(config: TApiClientConfig, argumentId: st
548
601
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
549
602
  creatorId: import("typebox").TString;
550
603
  createdOn: import("../../schemas/common.js").TDateType;
551
- kind: 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">]>]>;
552
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
553
604
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
554
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
555
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
556
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
605
+ type: import("typebox").TLiteral<"citation">;
606
+ kind: import("typebox").TNull;
607
+ title: import("typebox").TNull;
608
+ body: import("typebox").TNull;
609
+ titleContentHash: import("typebox").TNull;
610
+ url: import("typebox").TString;
611
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
557
612
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
558
613
  }>, import("typebox").TObject<{
559
614
  type: import("typebox").TLiteral<"Book">;
@@ -981,17 +1036,52 @@ export declare function deleteClaimImpl(config: TApiClientConfig, argumentId: st
981
1036
  type: import("typebox").TLiteral<"UnparsedURL">;
982
1037
  url: import("typebox").TString;
983
1038
  text: import("typebox").TOptional<import("typebox").TString>;
984
- }>]>]>, import("typebox").TNull]>>;
985
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
986
- }>>;
1039
+ }>]>]>;
1040
+ citationContentHash: import("typebox").TString;
1041
+ axiom: import("typebox").TNull;
1042
+ }>, import("typebox").TObject<{
1043
+ digest: import("typebox").TString;
1044
+ id: import("typebox").TString;
1045
+ argumentId: import("typebox").TString;
1046
+ version: import("typebox").TNumber;
1047
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1048
+ creatorId: import("typebox").TString;
1049
+ createdOn: import("../../schemas/common.js").TDateType;
1050
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1051
+ type: import("typebox").TLiteral<"axiomatic">;
1052
+ kind: import("typebox").TNull;
1053
+ title: import("typebox").TNull;
1054
+ body: import("typebox").TNull;
1055
+ titleContentHash: import("typebox").TNull;
1056
+ url: import("typebox").TNull;
1057
+ citation: import("typebox").TNull;
1058
+ citationContentHash: import("typebox").TNull;
1059
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
1060
+ }>]>>;
987
1061
  }>>>;
988
1062
  export declare function updateClaimImpl(config: TApiClientConfig, argumentId: string, version: number, claimId: string, data: TClaimUpdateFields): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
989
1063
  errorID: import("typebox").TNumber;
990
1064
  errorMessage: import("typebox").TString;
991
1065
  statusCode: import("typebox").TNumber;
992
- }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
1066
+ }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TUnion<[import("typebox").TObject<{
1067
+ digest: import("typebox").TString;
1068
+ id: import("typebox").TString;
1069
+ argumentId: import("typebox").TString;
1070
+ version: import("typebox").TNumber;
1071
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1072
+ creatorId: import("typebox").TString;
1073
+ createdOn: import("../../schemas/common.js").TDateType;
1074
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
993
1075
  title: import("typebox").TString;
994
1076
  body: import("typebox").TString;
1077
+ titleContentHash: import("typebox").TString;
1078
+ type: import("typebox").TLiteral<"normal">;
1079
+ kind: 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">]>]>;
1080
+ url: import("typebox").TNull;
1081
+ citation: import("typebox").TNull;
1082
+ citationContentHash: import("typebox").TNull;
1083
+ axiom: import("typebox").TNull;
1084
+ }>, import("typebox").TObject<{
995
1085
  digest: import("typebox").TString;
996
1086
  id: import("typebox").TString;
997
1087
  argumentId: import("typebox").TString;
@@ -999,12 +1089,14 @@ export declare function updateClaimImpl(config: TApiClientConfig, argumentId: st
999
1089
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1000
1090
  creatorId: import("typebox").TString;
1001
1091
  createdOn: import("../../schemas/common.js").TDateType;
1002
- kind: 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">]>]>;
1003
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
1004
1092
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1005
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
1006
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
1007
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
1093
+ type: import("typebox").TLiteral<"citation">;
1094
+ kind: import("typebox").TNull;
1095
+ title: import("typebox").TNull;
1096
+ body: import("typebox").TNull;
1097
+ titleContentHash: import("typebox").TNull;
1098
+ url: import("typebox").TString;
1099
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
1008
1100
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
1009
1101
  }>, import("typebox").TObject<{
1010
1102
  type: import("typebox").TLiteral<"Book">;
@@ -1432,17 +1524,52 @@ export declare function updateClaimImpl(config: TApiClientConfig, argumentId: st
1432
1524
  type: import("typebox").TLiteral<"UnparsedURL">;
1433
1525
  url: import("typebox").TString;
1434
1526
  text: import("typebox").TOptional<import("typebox").TString>;
1435
- }>]>]>, import("typebox").TNull]>>;
1436
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
1437
- }>>>;
1527
+ }>]>]>;
1528
+ citationContentHash: import("typebox").TString;
1529
+ axiom: import("typebox").TNull;
1530
+ }>, import("typebox").TObject<{
1531
+ digest: import("typebox").TString;
1532
+ id: import("typebox").TString;
1533
+ argumentId: import("typebox").TString;
1534
+ version: import("typebox").TNumber;
1535
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1536
+ creatorId: import("typebox").TString;
1537
+ createdOn: import("../../schemas/common.js").TDateType;
1538
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1539
+ type: import("typebox").TLiteral<"axiomatic">;
1540
+ kind: import("typebox").TNull;
1541
+ title: import("typebox").TNull;
1542
+ body: import("typebox").TNull;
1543
+ titleContentHash: import("typebox").TNull;
1544
+ url: import("typebox").TNull;
1545
+ citation: import("typebox").TNull;
1546
+ citationContentHash: import("typebox").TNull;
1547
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
1548
+ }>]>>>;
1438
1549
  export declare function createClaimCitationImpl(config: TApiClientConfig, argumentId: string, version: number, citingClaimId: string, citation: TIEEEReference): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
1439
1550
  errorID: import("typebox").TNumber;
1440
1551
  errorMessage: import("typebox").TString;
1441
1552
  statusCode: import("typebox").TNumber;
1442
1553
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
1443
- citation: import("typebox").TObject<{
1554
+ citation: import("typebox").TUnion<[import("typebox").TObject<{
1555
+ digest: import("typebox").TString;
1556
+ id: import("typebox").TString;
1557
+ argumentId: import("typebox").TString;
1558
+ version: import("typebox").TNumber;
1559
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1560
+ creatorId: import("typebox").TString;
1561
+ createdOn: import("../../schemas/common.js").TDateType;
1562
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1444
1563
  title: import("typebox").TString;
1445
1564
  body: import("typebox").TString;
1565
+ titleContentHash: import("typebox").TString;
1566
+ type: import("typebox").TLiteral<"normal">;
1567
+ kind: 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">]>]>;
1568
+ url: import("typebox").TNull;
1569
+ citation: import("typebox").TNull;
1570
+ citationContentHash: import("typebox").TNull;
1571
+ axiom: import("typebox").TNull;
1572
+ }>, import("typebox").TObject<{
1446
1573
  digest: import("typebox").TString;
1447
1574
  id: import("typebox").TString;
1448
1575
  argumentId: import("typebox").TString;
@@ -1450,12 +1577,14 @@ export declare function createClaimCitationImpl(config: TApiClientConfig, argume
1450
1577
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1451
1578
  creatorId: import("typebox").TString;
1452
1579
  createdOn: import("../../schemas/common.js").TDateType;
1453
- kind: 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">]>]>;
1454
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
1455
1580
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
1456
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
1457
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
1458
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
1581
+ type: import("typebox").TLiteral<"citation">;
1582
+ kind: import("typebox").TNull;
1583
+ title: import("typebox").TNull;
1584
+ body: import("typebox").TNull;
1585
+ titleContentHash: import("typebox").TNull;
1586
+ url: import("typebox").TString;
1587
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
1459
1588
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
1460
1589
  }>, import("typebox").TObject<{
1461
1590
  type: import("typebox").TLiteral<"Book">;
@@ -1883,15 +2012,34 @@ export declare function createClaimCitationImpl(config: TApiClientConfig, argume
1883
2012
  type: import("typebox").TLiteral<"UnparsedURL">;
1884
2013
  url: import("typebox").TString;
1885
2014
  text: import("typebox").TOptional<import("typebox").TString>;
1886
- }>]>]>, import("typebox").TNull]>>;
1887
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
1888
- }>;
2015
+ }>]>]>;
2016
+ citationContentHash: import("typebox").TString;
2017
+ axiom: import("typebox").TNull;
2018
+ }>, import("typebox").TObject<{
2019
+ digest: import("typebox").TString;
2020
+ id: import("typebox").TString;
2021
+ argumentId: import("typebox").TString;
2022
+ version: import("typebox").TNumber;
2023
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
2024
+ creatorId: import("typebox").TString;
2025
+ createdOn: import("../../schemas/common.js").TDateType;
2026
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
2027
+ type: import("typebox").TLiteral<"axiomatic">;
2028
+ kind: import("typebox").TNull;
2029
+ title: import("typebox").TNull;
2030
+ body: import("typebox").TNull;
2031
+ titleContentHash: import("typebox").TNull;
2032
+ url: import("typebox").TNull;
2033
+ citation: import("typebox").TNull;
2034
+ citationContentHash: import("typebox").TNull;
2035
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
2036
+ }>]>;
1889
2037
  citationEdge: import("typebox").TIntersect<[import("typebox").TObject<{
1890
2038
  id: import("typebox").TString;
1891
- citingClaimId: import("typebox").TString;
1892
- citingClaimVersion: import("typebox").TNumber;
1893
- sourceClaimId: import("typebox").TString;
1894
- sourceClaimVersion: import("typebox").TNumber;
2039
+ claimId: import("typebox").TString;
2040
+ claimVersion: import("typebox").TNumber;
2041
+ supportingClaimId: import("typebox").TString;
2042
+ supportingClaimVersion: import("typebox").TNumber;
1895
2043
  checksum: import("typebox").TString;
1896
2044
  }>, import("typebox").TObject<{
1897
2045
  argumentId: import("typebox").TString;
@@ -1905,10 +2053,10 @@ export declare function deleteClaimCitationImpl(config: TApiClientConfig, argume
1905
2053
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
1906
2054
  deletedCitations: import("typebox").TArray<import("typebox").TIntersect<[import("typebox").TObject<{
1907
2055
  id: import("typebox").TString;
1908
- citingClaimId: import("typebox").TString;
1909
- citingClaimVersion: import("typebox").TNumber;
1910
- sourceClaimId: import("typebox").TString;
1911
- sourceClaimVersion: import("typebox").TNumber;
2056
+ claimId: import("typebox").TString;
2057
+ claimVersion: import("typebox").TNumber;
2058
+ supportingClaimId: import("typebox").TString;
2059
+ supportingClaimVersion: import("typebox").TNumber;
1912
2060
  checksum: import("typebox").TString;
1913
2061
  }>, import("typebox").TObject<{
1914
2062
  argumentId: import("typebox").TString;
package/dist/api-client/argument/claims.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,kBAAkB,EACrB,MAAM,+BAA+B,CAAA;AAStC,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWjC;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;;;;;;;;;;;;;;;;KAUjB"}
1
+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,kBAAkB,EACrB,MAAM,+BAA+B,CAAA;AAStC,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWjC;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;;;;;;;;;;;;;;;;KAUjB"}