@proposit/shared 0.7.2 → 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 (61) 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/axioms.d.ts +4 -0
  12. package/dist/consts/axioms.d.ts.map +1 -0
  13. package/dist/consts/axioms.js +17 -0
  14. package/dist/consts/axioms.js.map +1 -0
  15. package/dist/consts/index.d.ts +1 -0
  16. package/dist/consts/index.d.ts.map +1 -1
  17. package/dist/consts/index.js +1 -0
  18. package/dist/consts/index.js.map +1 -1
  19. package/dist/engine/engine.d.ts +14 -14
  20. package/dist/engine/engine.d.ts.map +1 -1
  21. package/dist/engine/engine.js +35 -35
  22. package/dist/engine/engine.js.map +1 -1
  23. package/dist/engine/library-adapters.d.ts +2 -2
  24. package/dist/engine/library-adapters.d.ts.map +1 -1
  25. package/dist/engine/library-adapters.js +2 -2
  26. package/dist/engine/library-adapters.js.map +1 -1
  27. package/dist/engine/mutations/premises.d.ts +2 -2
  28. package/dist/engine/mutations/premises.d.ts.map +1 -1
  29. package/dist/engine/mutations/premises.js +5 -5
  30. package/dist/engine/mutations/premises.js.map +1 -1
  31. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  32. package/dist/engine/optimistic/verification.js +1 -2
  33. package/dist/engine/optimistic/verification.js.map +1 -1
  34. package/dist/engine/text-tree.d.ts +2 -1
  35. package/dist/engine/text-tree.d.ts.map +1 -1
  36. package/dist/engine/text-tree.js +8 -3
  37. package/dist/engine/text-tree.js.map +1 -1
  38. package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
  39. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  40. package/dist/schemas/api/argument/claims.d.ts +147 -35
  41. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  42. package/dist/schemas/api/argument/index.d.ts +51 -14
  43. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  44. package/dist/schemas/api/argument/index.js +1 -1
  45. package/dist/schemas/api/argument/index.js.map +1 -1
  46. package/dist/schemas/api/citations.d.ts +230 -45
  47. package/dist/schemas/api/citations.d.ts.map +1 -1
  48. package/dist/schemas/api/claims.d.ts +92 -18
  49. package/dist/schemas/api/claims.d.ts.map +1 -1
  50. package/dist/schemas/model/arguments.d.ts +147 -36
  51. package/dist/schemas/model/arguments.d.ts.map +1 -1
  52. package/dist/schemas/model/arguments.js +1 -1
  53. package/dist/schemas/model/arguments.js.map +1 -1
  54. package/dist/schemas/model/citations.d.ts +4 -4
  55. package/dist/schemas/model/citations.js +2 -2
  56. package/dist/schemas/model/citations.js.map +1 -1
  57. package/dist/schemas/model/claims.d.ts +127 -22
  58. package/dist/schemas/model/claims.d.ts.map +1 -1
  59. package/dist/schemas/model/claims.js +85 -24
  60. package/dist/schemas/model/claims.js.map +1 -1
  61. package/package.json +3 -3
package/dist/schemas/api/argument/index.d.ts CHANGED
@@ -53,9 +53,25 @@ export declare const FullArgumentSchema: Type.TObject<{
53
53
  titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
54
54
  description: Type.TUnion<[Type.TString, Type.TNull]>;
55
55
  }>]>;
56
- claims: Type.TArray<Type.TObject<{
56
+ claims: Type.TArray<Type.TUnion<[Type.TObject<{
57
+ digest: Type.TString;
58
+ id: Type.TString;
59
+ argumentId: Type.TString;
60
+ version: Type.TNumber;
61
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
62
+ creatorId: Type.TString;
63
+ createdOn: import("../../common.js").TDateType;
64
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
57
65
  title: Type.TString;
58
66
  body: Type.TString;
67
+ titleContentHash: Type.TString;
68
+ type: Type.TLiteral<"normal">;
69
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
70
+ url: Type.TNull;
71
+ citation: Type.TNull;
72
+ citationContentHash: Type.TNull;
73
+ axiom: Type.TNull;
74
+ }>, Type.TObject<{
59
75
  digest: Type.TString;
60
76
  id: Type.TString;
61
77
  argumentId: Type.TString;
@@ -63,12 +79,14 @@ export declare const FullArgumentSchema: Type.TObject<{
63
79
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
64
80
  creatorId: Type.TString;
65
81
  createdOn: import("../../common.js").TDateType;
66
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
67
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
68
82
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
69
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
70
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
71
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
83
+ type: Type.TLiteral<"citation">;
84
+ kind: Type.TNull;
85
+ title: Type.TNull;
86
+ body: Type.TNull;
87
+ titleContentHash: Type.TNull;
88
+ url: Type.TString;
89
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
72
90
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
73
91
  }>, Type.TObject<{
74
92
  type: Type.TLiteral<"Book">;
@@ -496,9 +514,28 @@ export declare const FullArgumentSchema: Type.TObject<{
496
514
  type: Type.TLiteral<"UnparsedURL">;
497
515
  url: Type.TString;
498
516
  text: Type.TOptional<Type.TString>;
499
- }>]>]>, Type.TNull]>>;
500
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
501
- }>>;
517
+ }>]>]>;
518
+ citationContentHash: Type.TString;
519
+ axiom: Type.TNull;
520
+ }>, Type.TObject<{
521
+ digest: Type.TString;
522
+ id: Type.TString;
523
+ argumentId: Type.TString;
524
+ version: Type.TNumber;
525
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
526
+ creatorId: Type.TString;
527
+ createdOn: import("../../common.js").TDateType;
528
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
529
+ type: Type.TLiteral<"axiomatic">;
530
+ kind: Type.TNull;
531
+ title: Type.TNull;
532
+ body: Type.TNull;
533
+ titleContentHash: Type.TNull;
534
+ url: Type.TNull;
535
+ citation: Type.TNull;
536
+ citationContentHash: Type.TNull;
537
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
538
+ }>]>>;
502
539
  propositionalLogic: Type.TObject<{
503
540
  argument: Type.TIntersect<[Type.TObject<{
504
541
  createdOn: import("../../common.js").TDateType;
@@ -658,12 +695,12 @@ export declare const FullArgumentSchema: Type.TObject<{
658
695
  conclusionPremiseId: Type.TOptional<Type.TString>;
659
696
  config: Type.TOptional<Type.TUnknown>;
660
697
  }>;
661
- claimCitations: Type.TArray<Type.TIntersect<[Type.TObject<{
698
+ citations: Type.TArray<Type.TIntersect<[Type.TObject<{
662
699
  id: Type.TString;
663
- citingClaimId: Type.TString;
664
- citingClaimVersion: Type.TNumber;
665
- sourceClaimId: Type.TString;
666
- sourceClaimVersion: Type.TNumber;
700
+ claimId: Type.TString;
701
+ claimVersion: Type.TNumber;
702
+ supportingClaimId: Type.TString;
703
+ supportingClaimVersion: Type.TNumber;
667
704
  checksum: Type.TString;
668
705
  }>, Type.TObject<{
669
706
  argumentId: Type.TString;
package/dist/schemas/api/argument/index.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAIjB,MAAM,gBAAgB,CAAA;AAIvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,IAAI,CACpC,aAAa,EACb,UAAU,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,oBAAoB,CAC7E,GAAG;IACA,QAAQ,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,GAAG,IAAI,CAAA;IAC9C,kBAAkB,EAAE,uBAAuB,GAAG,IAAI,CAAA;CACrD,CAAA;AAED,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAS/E,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAIjB,MAAM,gBAAgB,CAAA;AAIvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,IAAI,CACpC,aAAa,EACb,UAAU,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,oBAAoB,CAC7E,GAAG;IACA,QAAQ,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,GAAG,IAAI,CAAA;IAC9C,kBAAkB,EAAE,uBAAuB,GAAG,IAAI,CAAA;CACrD,CAAA;AAED,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAS/E,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA"}
package/dist/schemas/api/argument/index.js CHANGED
@@ -9,7 +9,7 @@ export const FullArgumentSchema = Type.Object({
9
9
  argument: ArgumentSchema,
10
10
  claims: Type.Array(ClaimSchema),
11
11
  propositionalLogic: ArgumentEngineSnapshotSchema,
12
- claimCitations: Type.Array(ClaimCitationSchema),
12
+ citations: Type.Array(ClaimCitationSchema),
13
13
  argumentHistory: Type.Array(ArgumentSchema),
14
14
  originalArgument: Nullable(ArgumentSchema),
15
15
  participants: Type.Array(ParticipantWithUserSchema),
package/dist/schemas/api/argument/index.js.map CHANGED
@@ -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,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"}
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,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,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"}
package/dist/schemas/api/citations.d.ts CHANGED
@@ -11,9 +11,25 @@ export declare const CitationUsageSchema: Type.TObject<{
11
11
  published: Type.TBoolean;
12
12
  }>;
13
13
  version: Type.TNumber;
14
- claim: Type.TObject<{
14
+ claim: Type.TUnion<[Type.TObject<{
15
+ digest: Type.TString;
16
+ id: Type.TString;
17
+ argumentId: Type.TString;
18
+ version: Type.TNumber;
19
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
20
+ creatorId: Type.TString;
21
+ createdOn: import("../common.js").TDateType;
22
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
15
23
  title: Type.TString;
16
24
  body: Type.TString;
25
+ titleContentHash: Type.TString;
26
+ type: Type.TLiteral<"normal">;
27
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
28
+ url: Type.TNull;
29
+ citation: Type.TNull;
30
+ citationContentHash: Type.TNull;
31
+ axiom: Type.TNull;
32
+ }>, Type.TObject<{
17
33
  digest: Type.TString;
18
34
  id: Type.TString;
19
35
  argumentId: Type.TString;
@@ -21,12 +37,14 @@ export declare const CitationUsageSchema: Type.TObject<{
21
37
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
22
38
  creatorId: Type.TString;
23
39
  createdOn: import("../common.js").TDateType;
24
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
25
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
26
40
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
27
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
28
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
29
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
41
+ type: Type.TLiteral<"citation">;
42
+ kind: Type.TNull;
43
+ title: Type.TNull;
44
+ body: Type.TNull;
45
+ titleContentHash: Type.TNull;
46
+ url: Type.TString;
47
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
30
48
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
31
49
  }>, Type.TObject<{
32
50
  type: Type.TLiteral<"Book">;
@@ -454,9 +472,28 @@ export declare const CitationUsageSchema: Type.TObject<{
454
472
  type: Type.TLiteral<"UnparsedURL">;
455
473
  url: Type.TString;
456
474
  text: Type.TOptional<Type.TString>;
457
- }>]>]>, Type.TNull]>>;
458
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
459
- }>;
475
+ }>]>]>;
476
+ citationContentHash: Type.TString;
477
+ axiom: Type.TNull;
478
+ }>, Type.TObject<{
479
+ digest: Type.TString;
480
+ id: Type.TString;
481
+ argumentId: Type.TString;
482
+ version: Type.TNumber;
483
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
484
+ creatorId: Type.TString;
485
+ createdOn: import("../common.js").TDateType;
486
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
487
+ type: Type.TLiteral<"axiomatic">;
488
+ kind: Type.TNull;
489
+ title: Type.TNull;
490
+ body: Type.TNull;
491
+ titleContentHash: Type.TNull;
492
+ url: Type.TNull;
493
+ citation: Type.TNull;
494
+ citationContentHash: Type.TNull;
495
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
496
+ }>]>;
460
497
  expressions: Type.TArray<Type.TObject<{
461
498
  id: Type.TString;
462
499
  premiseId: Type.TString;
@@ -464,9 +501,25 @@ export declare const CitationUsageSchema: Type.TObject<{
464
501
  }>;
465
502
  export type TCitationUsage = Static<typeof CitationUsageSchema>;
466
503
  export declare const CitationWithContextSchema: Type.TObject<{
467
- citation: Type.TObject<{
504
+ citation: Type.TUnion<[Type.TObject<{
505
+ digest: Type.TString;
506
+ id: Type.TString;
507
+ argumentId: Type.TString;
508
+ version: Type.TNumber;
509
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
510
+ creatorId: Type.TString;
511
+ createdOn: import("../common.js").TDateType;
512
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
468
513
  title: Type.TString;
469
514
  body: Type.TString;
515
+ titleContentHash: Type.TString;
516
+ type: Type.TLiteral<"normal">;
517
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
518
+ url: Type.TNull;
519
+ citation: Type.TNull;
520
+ citationContentHash: Type.TNull;
521
+ axiom: Type.TNull;
522
+ }>, Type.TObject<{
470
523
  digest: Type.TString;
471
524
  id: Type.TString;
472
525
  argumentId: Type.TString;
@@ -474,12 +527,14 @@ export declare const CitationWithContextSchema: Type.TObject<{
474
527
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
475
528
  creatorId: Type.TString;
476
529
  createdOn: import("../common.js").TDateType;
477
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
478
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
479
530
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
480
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
481
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
482
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
531
+ type: Type.TLiteral<"citation">;
532
+ kind: Type.TNull;
533
+ title: Type.TNull;
534
+ body: Type.TNull;
535
+ titleContentHash: Type.TNull;
536
+ url: Type.TString;
537
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
483
538
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
484
539
  }>, Type.TObject<{
485
540
  type: Type.TLiteral<"Book">;
@@ -907,9 +962,28 @@ export declare const CitationWithContextSchema: Type.TObject<{
907
962
  type: Type.TLiteral<"UnparsedURL">;
908
963
  url: Type.TString;
909
964
  text: Type.TOptional<Type.TString>;
910
- }>]>]>, Type.TNull]>>;
911
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
912
- }>;
965
+ }>]>]>;
966
+ citationContentHash: Type.TString;
967
+ axiom: Type.TNull;
968
+ }>, Type.TObject<{
969
+ digest: Type.TString;
970
+ id: Type.TString;
971
+ argumentId: Type.TString;
972
+ version: Type.TNumber;
973
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
974
+ creatorId: Type.TString;
975
+ createdOn: import("../common.js").TDateType;
976
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
977
+ type: Type.TLiteral<"axiomatic">;
978
+ kind: Type.TNull;
979
+ title: Type.TNull;
980
+ body: Type.TNull;
981
+ titleContentHash: Type.TNull;
982
+ url: Type.TNull;
983
+ citation: Type.TNull;
984
+ citationContentHash: Type.TNull;
985
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
986
+ }>]>;
913
987
  usages: Type.TArray<Type.TObject<{
914
988
  argument: Type.TObject<{
915
989
  id: Type.TString;
@@ -917,9 +991,25 @@ export declare const CitationWithContextSchema: Type.TObject<{
917
991
  published: Type.TBoolean;
918
992
  }>;
919
993
  version: Type.TNumber;
920
- claim: Type.TObject<{
994
+ claim: Type.TUnion<[Type.TObject<{
995
+ digest: Type.TString;
996
+ id: Type.TString;
997
+ argumentId: Type.TString;
998
+ version: Type.TNumber;
999
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1000
+ creatorId: Type.TString;
1001
+ createdOn: import("../common.js").TDateType;
1002
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
921
1003
  title: Type.TString;
922
1004
  body: Type.TString;
1005
+ titleContentHash: Type.TString;
1006
+ type: Type.TLiteral<"normal">;
1007
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1008
+ url: Type.TNull;
1009
+ citation: Type.TNull;
1010
+ citationContentHash: Type.TNull;
1011
+ axiom: Type.TNull;
1012
+ }>, Type.TObject<{
923
1013
  digest: Type.TString;
924
1014
  id: Type.TString;
925
1015
  argumentId: Type.TString;
@@ -927,12 +1017,14 @@ export declare const CitationWithContextSchema: Type.TObject<{
927
1017
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
928
1018
  creatorId: Type.TString;
929
1019
  createdOn: import("../common.js").TDateType;
930
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
931
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
932
1020
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
933
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
934
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
935
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1021
+ type: Type.TLiteral<"citation">;
1022
+ kind: Type.TNull;
1023
+ title: Type.TNull;
1024
+ body: Type.TNull;
1025
+ titleContentHash: Type.TNull;
1026
+ url: Type.TString;
1027
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
936
1028
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
937
1029
  }>, Type.TObject<{
938
1030
  type: Type.TLiteral<"Book">;
@@ -1360,9 +1452,28 @@ export declare const CitationWithContextSchema: Type.TObject<{
1360
1452
  type: Type.TLiteral<"UnparsedURL">;
1361
1453
  url: Type.TString;
1362
1454
  text: Type.TOptional<Type.TString>;
1363
- }>]>]>, Type.TNull]>>;
1364
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1365
- }>;
1455
+ }>]>]>;
1456
+ citationContentHash: Type.TString;
1457
+ axiom: Type.TNull;
1458
+ }>, Type.TObject<{
1459
+ digest: Type.TString;
1460
+ id: Type.TString;
1461
+ argumentId: Type.TString;
1462
+ version: Type.TNumber;
1463
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1464
+ creatorId: Type.TString;
1465
+ createdOn: import("../common.js").TDateType;
1466
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1467
+ type: Type.TLiteral<"axiomatic">;
1468
+ kind: Type.TNull;
1469
+ title: Type.TNull;
1470
+ body: Type.TNull;
1471
+ titleContentHash: Type.TNull;
1472
+ url: Type.TNull;
1473
+ citation: Type.TNull;
1474
+ citationContentHash: Type.TNull;
1475
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1476
+ }>]>;
1366
1477
  expressions: Type.TArray<Type.TObject<{
1367
1478
  id: Type.TString;
1368
1479
  premiseId: Type.TString;
@@ -1371,9 +1482,25 @@ export declare const CitationWithContextSchema: Type.TObject<{
1371
1482
  }>;
1372
1483
  export type TCitationWithContext = Static<typeof CitationWithContextSchema>;
1373
1484
  export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1374
- citation: Type.TObject<{
1485
+ citation: Type.TUnion<[Type.TObject<{
1486
+ digest: Type.TString;
1487
+ id: Type.TString;
1488
+ argumentId: Type.TString;
1489
+ version: Type.TNumber;
1490
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1491
+ creatorId: Type.TString;
1492
+ createdOn: import("../common.js").TDateType;
1493
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1375
1494
  title: Type.TString;
1376
1495
  body: Type.TString;
1496
+ titleContentHash: Type.TString;
1497
+ type: Type.TLiteral<"normal">;
1498
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1499
+ url: Type.TNull;
1500
+ citation: Type.TNull;
1501
+ citationContentHash: Type.TNull;
1502
+ axiom: Type.TNull;
1503
+ }>, Type.TObject<{
1377
1504
  digest: Type.TString;
1378
1505
  id: Type.TString;
1379
1506
  argumentId: Type.TString;
@@ -1381,12 +1508,14 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1381
1508
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1382
1509
  creatorId: Type.TString;
1383
1510
  createdOn: import("../common.js").TDateType;
1384
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1385
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1386
1511
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1387
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1388
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1389
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1512
+ type: Type.TLiteral<"citation">;
1513
+ kind: Type.TNull;
1514
+ title: Type.TNull;
1515
+ body: Type.TNull;
1516
+ titleContentHash: Type.TNull;
1517
+ url: Type.TString;
1518
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1390
1519
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
1391
1520
  }>, Type.TObject<{
1392
1521
  type: Type.TLiteral<"Book">;
@@ -1814,9 +1943,28 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1814
1943
  type: Type.TLiteral<"UnparsedURL">;
1815
1944
  url: Type.TString;
1816
1945
  text: Type.TOptional<Type.TString>;
1817
- }>]>]>, Type.TNull]>>;
1818
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1819
- }>;
1946
+ }>]>]>;
1947
+ citationContentHash: Type.TString;
1948
+ axiom: Type.TNull;
1949
+ }>, Type.TObject<{
1950
+ digest: Type.TString;
1951
+ id: Type.TString;
1952
+ argumentId: Type.TString;
1953
+ version: Type.TNumber;
1954
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1955
+ creatorId: Type.TString;
1956
+ createdOn: import("../common.js").TDateType;
1957
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1958
+ type: Type.TLiteral<"axiomatic">;
1959
+ kind: Type.TNull;
1960
+ title: Type.TNull;
1961
+ body: Type.TNull;
1962
+ titleContentHash: Type.TNull;
1963
+ url: Type.TNull;
1964
+ citation: Type.TNull;
1965
+ citationContentHash: Type.TNull;
1966
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1967
+ }>]>;
1820
1968
  usages: Type.TArray<Type.TObject<{
1821
1969
  argument: Type.TObject<{
1822
1970
  id: Type.TString;
@@ -1824,9 +1972,25 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1824
1972
  published: Type.TBoolean;
1825
1973
  }>;
1826
1974
  version: Type.TNumber;
1827
- claim: Type.TObject<{
1975
+ claim: Type.TUnion<[Type.TObject<{
1976
+ digest: Type.TString;
1977
+ id: Type.TString;
1978
+ argumentId: Type.TString;
1979
+ version: Type.TNumber;
1980
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1981
+ creatorId: Type.TString;
1982
+ createdOn: import("../common.js").TDateType;
1983
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1828
1984
  title: Type.TString;
1829
1985
  body: Type.TString;
1986
+ titleContentHash: Type.TString;
1987
+ type: Type.TLiteral<"normal">;
1988
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1989
+ url: Type.TNull;
1990
+ citation: Type.TNull;
1991
+ citationContentHash: Type.TNull;
1992
+ axiom: Type.TNull;
1993
+ }>, Type.TObject<{
1830
1994
  digest: Type.TString;
1831
1995
  id: Type.TString;
1832
1996
  argumentId: Type.TString;
@@ -1834,12 +1998,14 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1834
1998
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1835
1999
  creatorId: Type.TString;
1836
2000
  createdOn: import("../common.js").TDateType;
1837
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1838
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1839
2001
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1840
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1841
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1842
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
2002
+ type: Type.TLiteral<"citation">;
2003
+ kind: Type.TNull;
2004
+ title: Type.TNull;
2005
+ body: Type.TNull;
2006
+ titleContentHash: Type.TNull;
2007
+ url: Type.TString;
2008
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1843
2009
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
1844
2010
  }>, Type.TObject<{
1845
2011
  type: Type.TLiteral<"Book">;
@@ -2267,9 +2433,28 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
2267
2433
  type: Type.TLiteral<"UnparsedURL">;
2268
2434
  url: Type.TString;
2269
2435
  text: Type.TOptional<Type.TString>;
2270
- }>]>]>, Type.TNull]>>;
2271
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
2272
- }>;
2436
+ }>]>]>;
2437
+ citationContentHash: Type.TString;
2438
+ axiom: Type.TNull;
2439
+ }>, Type.TObject<{
2440
+ digest: Type.TString;
2441
+ id: Type.TString;
2442
+ argumentId: Type.TString;
2443
+ version: Type.TNumber;
2444
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
2445
+ creatorId: Type.TString;
2446
+ createdOn: import("../common.js").TDateType;
2447
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
2448
+ type: Type.TLiteral<"axiomatic">;
2449
+ kind: Type.TNull;
2450
+ title: Type.TNull;
2451
+ body: Type.TNull;
2452
+ titleContentHash: Type.TNull;
2453
+ url: Type.TNull;
2454
+ citation: Type.TNull;
2455
+ citationContentHash: Type.TNull;
2456
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
2457
+ }>]>;
2273
2458
  expressions: Type.TArray<Type.TObject<{
2274
2459
  id: Type.TString;
2275
2460
  premiseId: Type.TString;
package/dist/schemas/api/citations.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,6BAA6B;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAwC,CAAA;AAChF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}
1
+ {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,6BAA6B;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAwC,CAAA;AAChF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}