@polintpro/proposit-core 0.2.11 → 0.4.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 (157) hide show
  1. package/README.md +14 -525
  2. package/dist/cli/commands/diff.js +1 -1
  3. package/dist/cli/commands/diff.js.map +1 -1
  4. package/dist/cli/commands/premises.js +2 -2
  5. package/dist/cli/commands/premises.js.map +1 -1
  6. package/dist/cli/commands/sources.d.ts +3 -0
  7. package/dist/cli/commands/sources.d.ts.map +1 -0
  8. package/dist/cli/commands/sources.js +175 -0
  9. package/dist/cli/commands/sources.js.map +1 -0
  10. package/dist/cli/commands/{versionShow.d.ts → version-show.d.ts} +1 -1
  11. package/dist/cli/commands/version-show.d.ts.map +1 -0
  12. package/dist/cli/commands/{versionShow.js → version-show.js} +1 -1
  13. package/dist/cli/commands/version-show.js.map +1 -0
  14. package/dist/cli/config.d.ts +2 -0
  15. package/dist/cli/config.d.ts.map +1 -1
  16. package/dist/cli/config.js +6 -0
  17. package/dist/cli/config.js.map +1 -1
  18. package/dist/cli/engine.d.ts +1 -1
  19. package/dist/cli/engine.d.ts.map +1 -1
  20. package/dist/cli/engine.js +40 -2
  21. package/dist/cli/engine.js.map +1 -1
  22. package/dist/cli/import.d.ts +1 -1
  23. package/dist/cli/import.d.ts.map +1 -1
  24. package/dist/cli/import.js +1 -1
  25. package/dist/cli/import.js.map +1 -1
  26. package/dist/cli/output/{diffRenderer.d.ts → diff-renderer.d.ts} +1 -1
  27. package/dist/cli/output/diff-renderer.d.ts.map +1 -0
  28. package/dist/cli/output/{diffRenderer.js → diff-renderer.js} +1 -1
  29. package/dist/cli/output/diff-renderer.js.map +1 -0
  30. package/dist/cli/schemata.d.ts +8 -0
  31. package/dist/cli/schemata.d.ts.map +1 -1
  32. package/dist/cli/schemata.js +10 -0
  33. package/dist/cli/schemata.js.map +1 -1
  34. package/dist/cli/storage/sources.d.ts +11 -0
  35. package/dist/cli/storage/sources.d.ts.map +1 -0
  36. package/dist/cli/storage/sources.js +105 -0
  37. package/dist/cli/storage/sources.js.map +1 -0
  38. package/dist/cli.js +3 -1
  39. package/dist/cli.js.map +1 -1
  40. package/dist/extensions/ieee/index.d.ts +3 -0
  41. package/dist/extensions/ieee/index.d.ts.map +1 -0
  42. package/dist/extensions/ieee/index.js +3 -0
  43. package/dist/extensions/ieee/index.js.map +1 -0
  44. package/dist/extensions/ieee/references.d.ts +620 -0
  45. package/dist/extensions/ieee/references.d.ts.map +1 -0
  46. package/dist/extensions/ieee/references.js +450 -0
  47. package/dist/extensions/ieee/references.js.map +1 -0
  48. package/dist/extensions/ieee/source.d.ts +286 -0
  49. package/dist/extensions/ieee/source.d.ts.map +1 -0
  50. package/dist/extensions/ieee/source.js +12 -0
  51. package/dist/extensions/ieee/source.js.map +1 -0
  52. package/dist/lib/consts.d.ts.map +1 -1
  53. package/dist/lib/consts.js +19 -0
  54. package/dist/lib/consts.js.map +1 -1
  55. package/dist/lib/core/argument-engine.d.ts +134 -0
  56. package/dist/lib/core/argument-engine.d.ts.map +1 -0
  57. package/dist/lib/core/{argumentEngine.js → argument-engine.js} +303 -120
  58. package/dist/lib/core/argument-engine.js.map +1 -0
  59. package/dist/lib/core/{changeCollector.d.ts → change-collector.d.ts} +13 -3
  60. package/dist/lib/core/change-collector.d.ts.map +1 -0
  61. package/dist/lib/core/{changeCollector.js → change-collector.js} +28 -1
  62. package/dist/lib/core/change-collector.js.map +1 -0
  63. package/dist/lib/core/diff.d.ts +9 -3
  64. package/dist/lib/core/diff.d.ts.map +1 -1
  65. package/dist/lib/core/diff.js +58 -0
  66. package/dist/lib/core/diff.js.map +1 -1
  67. package/dist/lib/core/{expressionManager.d.ts → expression-manager.d.ts} +24 -3
  68. package/dist/lib/core/expression-manager.d.ts.map +1 -0
  69. package/dist/lib/core/{expressionManager.js → expression-manager.js} +104 -1
  70. package/dist/lib/core/expression-manager.js.map +1 -0
  71. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +334 -0
  72. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -0
  73. package/dist/lib/core/interfaces/argument-engine.interfaces.js +2 -0
  74. package/dist/lib/core/interfaces/argument-engine.interfaces.js.map +1 -0
  75. package/dist/lib/core/interfaces/index.d.ts +5 -0
  76. package/dist/lib/core/interfaces/index.d.ts.map +1 -0
  77. package/dist/lib/core/interfaces/index.js +2 -0
  78. package/dist/lib/core/interfaces/index.js.map +1 -0
  79. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +317 -0
  80. package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -0
  81. package/dist/lib/core/interfaces/premise-engine.interfaces.js +2 -0
  82. package/dist/lib/core/interfaces/premise-engine.interfaces.js.map +1 -0
  83. package/dist/lib/core/interfaces/shared.interfaces.d.ts +24 -0
  84. package/dist/lib/core/interfaces/shared.interfaces.d.ts.map +1 -0
  85. package/dist/lib/core/interfaces/shared.interfaces.js +2 -0
  86. package/dist/lib/core/interfaces/shared.interfaces.js.map +1 -0
  87. package/dist/lib/core/interfaces/source-management.interfaces.d.ts +110 -0
  88. package/dist/lib/core/interfaces/source-management.interfaces.d.ts.map +1 -0
  89. package/dist/lib/core/interfaces/source-management.interfaces.js +2 -0
  90. package/dist/lib/core/interfaces/source-management.interfaces.js.map +1 -0
  91. package/dist/lib/core/parser/formula.d.ts +9 -9
  92. package/dist/lib/core/parser/formula.d.ts.map +1 -1
  93. package/dist/lib/core/parser/formula.js.map +1 -1
  94. package/dist/lib/core/premise-engine.d.ts +83 -0
  95. package/dist/lib/core/premise-engine.d.ts.map +1 -0
  96. package/dist/lib/core/{premiseEngine.js → premise-engine.js} +130 -134
  97. package/dist/lib/core/premise-engine.js.map +1 -0
  98. package/dist/lib/core/relationships.d.ts +2 -2
  99. package/dist/lib/core/relationships.d.ts.map +1 -1
  100. package/dist/lib/core/relationships.js.map +1 -1
  101. package/dist/lib/core/source-manager.d.ts +109 -0
  102. package/dist/lib/core/source-manager.d.ts.map +1 -0
  103. package/dist/lib/core/source-manager.js +420 -0
  104. package/dist/lib/core/source-manager.js.map +1 -0
  105. package/dist/lib/core/{variableManager.d.ts → variable-manager.d.ts} +2 -2
  106. package/dist/lib/core/variable-manager.d.ts.map +1 -0
  107. package/dist/lib/core/{variableManager.js → variable-manager.js} +1 -1
  108. package/dist/lib/core/variable-manager.js.map +1 -0
  109. package/dist/lib/index.d.ts +12 -9
  110. package/dist/lib/index.d.ts.map +1 -1
  111. package/dist/lib/index.js +4 -3
  112. package/dist/lib/index.js.map +1 -1
  113. package/dist/lib/schemata/index.d.ts +1 -0
  114. package/dist/lib/schemata/index.d.ts.map +1 -1
  115. package/dist/lib/schemata/index.js +1 -0
  116. package/dist/lib/schemata/index.js.map +1 -1
  117. package/dist/lib/schemata/shared.d.ts +9 -9
  118. package/dist/lib/schemata/shared.d.ts.map +1 -1
  119. package/dist/lib/schemata/shared.js +4 -4
  120. package/dist/lib/schemata/shared.js.map +1 -1
  121. package/dist/lib/schemata/source.d.ts +28 -0
  122. package/dist/lib/schemata/source.d.ts.map +1 -0
  123. package/dist/lib/schemata/source.js +35 -0
  124. package/dist/lib/schemata/source.js.map +1 -0
  125. package/dist/lib/types/checksum.d.ts +6 -0
  126. package/dist/lib/types/checksum.d.ts.map +1 -1
  127. package/dist/lib/types/diff.d.ts +9 -3
  128. package/dist/lib/types/diff.d.ts.map +1 -1
  129. package/dist/lib/types/evaluation.d.ts +1 -1
  130. package/dist/lib/types/evaluation.d.ts.map +1 -1
  131. package/dist/lib/types/mutation.d.ts +7 -3
  132. package/dist/lib/types/mutation.d.ts.map +1 -1
  133. package/dist/lib/types/reactive.d.ts +5 -2
  134. package/dist/lib/types/reactive.d.ts.map +1 -1
  135. package/dist/lib/utils/{defaultMap.d.ts → default-map.d.ts} +3 -3
  136. package/dist/lib/utils/default-map.d.ts.map +1 -0
  137. package/dist/lib/utils/{defaultMap.js → default-map.js} +1 -1
  138. package/dist/lib/utils/default-map.js.map +1 -0
  139. package/package.json +6 -1
  140. package/dist/cli/commands/versionShow.d.ts.map +0 -1
  141. package/dist/cli/commands/versionShow.js.map +0 -1
  142. package/dist/cli/output/diffRenderer.d.ts.map +0 -1
  143. package/dist/cli/output/diffRenderer.js.map +0 -1
  144. package/dist/lib/core/argumentEngine.d.ts +0 -226
  145. package/dist/lib/core/argumentEngine.d.ts.map +0 -1
  146. package/dist/lib/core/argumentEngine.js.map +0 -1
  147. package/dist/lib/core/changeCollector.d.ts.map +0 -1
  148. package/dist/lib/core/changeCollector.js.map +0 -1
  149. package/dist/lib/core/expressionManager.d.ts.map +0 -1
  150. package/dist/lib/core/expressionManager.js.map +0 -1
  151. package/dist/lib/core/premiseEngine.d.ts +0 -202
  152. package/dist/lib/core/premiseEngine.d.ts.map +0 -1
  153. package/dist/lib/core/premiseEngine.js.map +0 -1
  154. package/dist/lib/core/variableManager.d.ts.map +0 -1
  155. package/dist/lib/core/variableManager.js.map +0 -1
  156. package/dist/lib/utils/defaultMap.d.ts.map +0 -1
  157. package/dist/lib/utils/defaultMap.js.map +0 -1
@@ -0,0 +1,286 @@
1
+ import Type, { type Static } from "typebox";
2
+ export declare const IEEESourceSchema: Type.TIntersect<[Type.TObject<{
3
+ id: Type.TString;
4
+ argumentId: Type.TString;
5
+ argumentVersion: Type.TNumber;
6
+ checksum: Type.TString;
7
+ }>, Type.TObject<{
8
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
9
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
10
+ 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">]>;
11
+ }>, Type.TObject<{
12
+ type: Type.TLiteral<"Book">;
13
+ title: Type.TString;
14
+ year: Type.TString;
15
+ authors: Type.TArray<Type.TString>;
16
+ edition: Type.TOptional<Type.TString>;
17
+ publisher: Type.TString;
18
+ location: Type.TOptional<Type.TString>;
19
+ isbn: Type.TOptional<Type.TString>;
20
+ }>]>, Type.TIntersect<[Type.TObject<{
21
+ 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">]>;
22
+ }>, Type.TObject<{
23
+ type: Type.TLiteral<"Website">;
24
+ authors: Type.TArray<Type.TString>;
25
+ pageTitle: Type.TString;
26
+ websiteTitle: Type.TString;
27
+ accessedDate: Type.TNumber;
28
+ url: Type.TString;
29
+ }>]>, Type.TIntersect<[Type.TObject<{
30
+ 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">]>;
31
+ }>, Type.TObject<{
32
+ type: Type.TLiteral<"BookChapter">;
33
+ chapterTitle: Type.TString;
34
+ authors: Type.TArray<Type.TString>;
35
+ bookTitle: Type.TString;
36
+ editors: Type.TOptional<Type.TArray<Type.TString>>;
37
+ publisher: Type.TString;
38
+ location: Type.TString;
39
+ pages: Type.TOptional<Type.TString>;
40
+ isbn: Type.TOptional<Type.TString>;
41
+ }>]>, Type.TIntersect<[Type.TObject<{
42
+ 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">]>;
43
+ }>, Type.TObject<{
44
+ type: Type.TLiteral<"Handbook">;
45
+ authors: Type.TArray<Type.TString>;
46
+ publisher: Type.TString;
47
+ edition: Type.TOptional<Type.TString>;
48
+ location: Type.TString;
49
+ isbn: Type.TOptional<Type.TString>;
50
+ }>]>, Type.TIntersect<[Type.TObject<{
51
+ 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">]>;
52
+ }>, Type.TObject<{
53
+ type: Type.TLiteral<"TechnicalReport">;
54
+ authors: Type.TArray<Type.TString>;
55
+ reportNumber: Type.TString;
56
+ institution: Type.TString;
57
+ location: Type.TString;
58
+ }>]>, Type.TIntersect<[Type.TObject<{
59
+ 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">]>;
60
+ }>, Type.TObject<{
61
+ type: Type.TLiteral<"Standard">;
62
+ organization: Type.TString;
63
+ standardNumber: Type.TString;
64
+ title: Type.TString;
65
+ date: Type.TString;
66
+ }>]>, Type.TIntersect<[Type.TObject<{
67
+ 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">]>;
68
+ }>, Type.TObject<{
69
+ type: Type.TLiteral<"Thesis">;
70
+ authors: Type.TArray<Type.TString>;
71
+ degree: Type.TString;
72
+ institution: Type.TString;
73
+ location: Type.TString;
74
+ }>]>, Type.TIntersect<[Type.TObject<{
75
+ 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">]>;
76
+ }>, Type.TObject<{
77
+ type: Type.TLiteral<"Patent">;
78
+ inventors: Type.TArray<Type.TString>;
79
+ country: Type.TString;
80
+ patentNumber: Type.TString;
81
+ date: Type.TString;
82
+ }>]>, Type.TIntersect<[Type.TObject<{
83
+ 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">]>;
84
+ }>, Type.TObject<{
85
+ type: Type.TLiteral<"Dictionary">;
86
+ publisher: Type.TString;
87
+ edition: Type.TOptional<Type.TString>;
88
+ }>]>, Type.TIntersect<[Type.TObject<{
89
+ 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">]>;
90
+ }>, Type.TObject<{
91
+ type: Type.TLiteral<"Encyclopedia">;
92
+ publisher: Type.TString;
93
+ edition: Type.TOptional<Type.TString>;
94
+ }>]>, Type.TIntersect<[Type.TObject<{
95
+ 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">]>;
96
+ }>, Type.TObject<{
97
+ type: Type.TLiteral<"JournalArticle">;
98
+ authors: Type.TArray<Type.TString>;
99
+ journalTitle: Type.TString;
100
+ volume: Type.TOptional<Type.TString>;
101
+ issue: Type.TOptional<Type.TString>;
102
+ pages: Type.TOptional<Type.TString>;
103
+ doi: Type.TOptional<Type.TString>;
104
+ }>]>, Type.TIntersect<[Type.TObject<{
105
+ 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">]>;
106
+ }>, Type.TObject<{
107
+ type: Type.TLiteral<"MagazineArticle">;
108
+ authors: Type.TArray<Type.TString>;
109
+ magazineTitle: Type.TString;
110
+ volume: Type.TOptional<Type.TString>;
111
+ issue: Type.TOptional<Type.TString>;
112
+ pages: Type.TOptional<Type.TString>;
113
+ }>]>, Type.TIntersect<[Type.TObject<{
114
+ 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">]>;
115
+ }>, Type.TObject<{
116
+ type: Type.TLiteral<"NewspaperArticle">;
117
+ authors: Type.TArray<Type.TString>;
118
+ newspaperTitle: Type.TString;
119
+ date: Type.TString;
120
+ pages: Type.TOptional<Type.TString>;
121
+ }>]>, Type.TIntersect<[Type.TObject<{
122
+ 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">]>;
123
+ }>, Type.TObject<{
124
+ type: Type.TLiteral<"ConferencePaper">;
125
+ authors: Type.TArray<Type.TString>;
126
+ conferenceName: Type.TString;
127
+ location: Type.TString;
128
+ date: Type.TString;
129
+ pages: Type.TOptional<Type.TString>;
130
+ doi: Type.TOptional<Type.TString>;
131
+ }>]>, Type.TIntersect<[Type.TObject<{
132
+ 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">]>;
133
+ }>, Type.TObject<{
134
+ type: Type.TLiteral<"ConferenceProceedings">;
135
+ editors: Type.TOptional<Type.TArray<Type.TString>>;
136
+ conferenceName: Type.TString;
137
+ location: Type.TString;
138
+ date: Type.TString;
139
+ publisher: Type.TString;
140
+ isbn: Type.TOptional<Type.TString>;
141
+ }>]>, Type.TIntersect<[Type.TObject<{
142
+ 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">]>;
143
+ }>, Type.TObject<{
144
+ type: Type.TLiteral<"Dataset">;
145
+ authors: Type.TOptional<Type.TArray<Type.TString>>;
146
+ repository: Type.TString;
147
+ version: Type.TOptional<Type.TString>;
148
+ doi: Type.TOptional<Type.TString>;
149
+ url: Type.TString;
150
+ }>]>, Type.TIntersect<[Type.TObject<{
151
+ 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">]>;
152
+ }>, Type.TObject<{
153
+ type: Type.TLiteral<"Software">;
154
+ authors: Type.TOptional<Type.TArray<Type.TString>>;
155
+ version: Type.TOptional<Type.TString>;
156
+ publisher: Type.TOptional<Type.TString>;
157
+ doi: Type.TOptional<Type.TString>;
158
+ url: Type.TString;
159
+ }>]>, Type.TIntersect<[Type.TObject<{
160
+ 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">]>;
161
+ }>, Type.TObject<{
162
+ type: Type.TLiteral<"OnlineDocument">;
163
+ authors: Type.TOptional<Type.TArray<Type.TString>>;
164
+ title: Type.TString;
165
+ publisher: Type.TOptional<Type.TString>;
166
+ url: Type.TString;
167
+ accessedDate: Type.TNumber;
168
+ }>]>, Type.TIntersect<[Type.TObject<{
169
+ 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">]>;
170
+ }>, Type.TObject<{
171
+ type: Type.TLiteral<"Blog">;
172
+ author: Type.TString;
173
+ blogTitle: Type.TString;
174
+ url: Type.TString;
175
+ accessedDate: Type.TString;
176
+ }>]>, Type.TIntersect<[Type.TObject<{
177
+ 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">]>;
178
+ }>, Type.TObject<{
179
+ type: Type.TLiteral<"SocialMedia">;
180
+ author: Type.TString;
181
+ platform: Type.TString;
182
+ postDate: Type.TString;
183
+ url: Type.TString;
184
+ }>]>, Type.TIntersect<[Type.TObject<{
185
+ 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">]>;
186
+ }>, Type.TObject<{
187
+ type: Type.TLiteral<"Preprint">;
188
+ authors: Type.TArray<Type.TString>;
189
+ server: Type.TString;
190
+ doi: Type.TOptional<Type.TString>;
191
+ url: Type.TString;
192
+ }>]>, Type.TIntersect<[Type.TObject<{
193
+ 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">]>;
194
+ }>, Type.TObject<{
195
+ type: Type.TLiteral<"Video">;
196
+ authors: Type.TOptional<Type.TArray<Type.TString>>;
197
+ platform: Type.TString;
198
+ url: Type.TString;
199
+ accessedDate: Type.TString;
200
+ }>]>, Type.TIntersect<[Type.TObject<{
201
+ 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">]>;
202
+ }>, Type.TObject<{
203
+ type: Type.TLiteral<"Podcast">;
204
+ authors: Type.TOptional<Type.TArray<Type.TString>>;
205
+ episodeTitle: Type.TString;
206
+ seriesTitle: Type.TString;
207
+ platform: Type.TString;
208
+ url: Type.TString;
209
+ accessedDate: Type.TString;
210
+ }>]>, Type.TIntersect<[Type.TObject<{
211
+ 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">]>;
212
+ }>, Type.TObject<{
213
+ type: Type.TLiteral<"Course">;
214
+ instructor: Type.TString;
215
+ institution: Type.TString;
216
+ courseCode: Type.TOptional<Type.TString>;
217
+ term: Type.TString;
218
+ }>]>, Type.TIntersect<[Type.TObject<{
219
+ 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">]>;
220
+ }>, Type.TObject<{
221
+ type: Type.TLiteral<"Presentation">;
222
+ presenter: Type.TString;
223
+ eventTitle: Type.TString;
224
+ location: Type.TString;
225
+ date: Type.TString;
226
+ }>]>, Type.TIntersect<[Type.TObject<{
227
+ 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">]>;
228
+ }>, Type.TObject<{
229
+ type: Type.TLiteral<"Interview">;
230
+ interviewee: Type.TString;
231
+ interviewer: Type.TOptional<Type.TString>;
232
+ date: Type.TString;
233
+ }>]>, Type.TIntersect<[Type.TObject<{
234
+ 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">]>;
235
+ }>, Type.TObject<{
236
+ type: Type.TLiteral<"PersonalCommunication">;
237
+ person: Type.TString;
238
+ date: Type.TString;
239
+ }>]>, Type.TIntersect<[Type.TObject<{
240
+ 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">]>;
241
+ }>, Type.TObject<{
242
+ type: Type.TLiteral<"Email">;
243
+ sender: Type.TString;
244
+ recipient: Type.TString;
245
+ date: Type.TString;
246
+ }>]>, Type.TIntersect<[Type.TObject<{
247
+ 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">]>;
248
+ }>, Type.TObject<{
249
+ type: Type.TLiteral<"Law">;
250
+ title: Type.TString;
251
+ jurisdiction: Type.TString;
252
+ dateEnacted: Type.TString;
253
+ }>]>, Type.TIntersect<[Type.TObject<{
254
+ 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">]>;
255
+ }>, Type.TObject<{
256
+ type: Type.TLiteral<"CourtCase">;
257
+ caseName: Type.TString;
258
+ court: Type.TString;
259
+ date: Type.TString;
260
+ reporter: Type.TOptional<Type.TString>;
261
+ }>]>, Type.TIntersect<[Type.TObject<{
262
+ 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">]>;
263
+ }>, Type.TObject<{
264
+ type: Type.TLiteral<"GovernmentPublication">;
265
+ authors: Type.TOptional<Type.TArray<Type.TString>>;
266
+ agency: Type.TString;
267
+ reportNumber: Type.TOptional<Type.TString>;
268
+ location: Type.TString;
269
+ }>]>, Type.TIntersect<[Type.TObject<{
270
+ 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">]>;
271
+ }>, Type.TObject<{
272
+ type: Type.TLiteral<"Datasheet">;
273
+ manufacturer: Type.TString;
274
+ partNumber: Type.TString;
275
+ url: Type.TString;
276
+ }>]>, Type.TIntersect<[Type.TObject<{
277
+ 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">]>;
278
+ }>, Type.TObject<{
279
+ type: Type.TLiteral<"ProductManual">;
280
+ manufacturer: Type.TString;
281
+ model: Type.TString;
282
+ url: Type.TOptional<Type.TString>;
283
+ }>]>]>;
284
+ }>]>;
285
+ export type TIEEESource = Static<typeof IEEESourceSchema>;
286
+ //# sourceMappingURL=source.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA"}
@@ -0,0 +1,12 @@
1
+ import Type, {} from "typebox";
2
+ import { CoreSourceSchema } from "../../lib/schemata/index.js";
3
+ import { Nullable } from "../../lib/schemata/shared.js";
4
+ import { IEEEReferenceSchema } from "./references.js";
5
+ export const IEEESourceSchema = Type.Intersect([
6
+ CoreSourceSchema,
7
+ Type.Object({
8
+ url: Nullable(Type.String()),
9
+ citation: IEEEReferenceSchema,
10
+ }),
11
+ ]);
12
+ //# sourceMappingURL=source.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,gBAAgB;IAChB,IAAI,CAAC,MAAM,CAAC;QACR,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,EAAE,mBAAmB;KAChC,CAAC;CACL,CAAC,CAAA"}
@@ -1 +1 @@
1
- {"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CAgBjE,CAAA;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAerB"}
1
+ {"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CAgCjE,CAAA;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAkBrB"}
@@ -14,6 +14,22 @@ export const DEFAULT_CHECKSUM_CONFIG = {
14
14
  premiseFields: new Set(["id", "argumentId", "argumentVersion"]),
15
15
  argumentFields: new Set(["id", "version"]),
16
16
  roleFields: new Set(["conclusionPremiseId"]),
17
+ sourceFields: new Set(["id", "argumentId", "argumentVersion"]),
18
+ variableSourceAssociationFields: new Set([
19
+ "id",
20
+ "sourceId",
21
+ "variableId",
22
+ "argumentId",
23
+ "argumentVersion",
24
+ ]),
25
+ expressionSourceAssociationFields: new Set([
26
+ "id",
27
+ "sourceId",
28
+ "expressionId",
29
+ "premiseId",
30
+ "argumentId",
31
+ "argumentVersion",
32
+ ]),
17
33
  };
18
34
  /**
19
35
  * Creates a checksum config by merging additional fields into the defaults.
@@ -26,6 +42,9 @@ export function createChecksumConfig(additional) {
26
42
  "premiseFields",
27
43
  "argumentFields",
28
44
  "roleFields",
45
+ "sourceFields",
46
+ "variableSourceAssociationFields",
47
+ "expressionSourceAssociationFields",
29
48
  ];
30
49
  const result = {};
31
50
  for (const key of keys) {
@@ -1 +1 @@
1
- {"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC1E,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC/D,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;CAC/C,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;KACN,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
1
+ {"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC1E,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC/D,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC9D,+BAA+B,EAAE,IAAI,GAAG,CAAC;QACrC,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,YAAY;QACZ,iBAAiB;KACpB,CAAC;IACF,iCAAiC,EAAE,IAAI,GAAG,CAAC;QACvC,IAAI;QACJ,UAAU;QACV,cAAc;QACd,WAAW;QACX,YAAY;QACZ,iBAAiB;KACpB,CAAC;CACL,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,cAAc;QACd,iCAAiC;QACjC,mCAAmC;KAC7B,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
@@ -0,0 +1,134 @@
1
+ import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TOptionalChecksum, TCoreSource, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
2
+ import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../types/evaluation.js";
3
+ import type { TCoreChecksumConfig } from "../types/checksum.js";
4
+ import type { TCorePositionConfig } from "../utils/position.js";
5
+ import type { TCoreMutationResult } from "../types/mutation.js";
6
+ import type { TReactiveSnapshot } from "../types/reactive.js";
7
+ import type { TExpressionInput } from "./expression-manager.js";
8
+ import { PremiseEngine } from "./premise-engine.js";
9
+ import type { TPremiseEngineSnapshot } from "./premise-engine.js";
10
+ import type { TVariableManagerSnapshot } from "./variable-manager.js";
11
+ import type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, TSourceManagement, TDisplayable, TChecksummable } from "./interfaces/index.js";
12
+ import type { TSourceManagerSnapshot } from "./source-manager.js";
13
+ export type TLogicEngineOptions = {
14
+ checksumConfig?: TCoreChecksumConfig;
15
+ positionConfig?: TCorePositionConfig;
16
+ };
17
+ export type TArgumentEngineSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource> = {
18
+ argument: TOptionalChecksum<TArg>;
19
+ variables: TVariableManagerSnapshot<TVar>;
20
+ premises: TPremiseEngineSnapshot<TPremise, TExpr>[];
21
+ conclusionPremiseId?: string;
22
+ config?: TLogicEngineOptions;
23
+ sources?: TSourceManagerSnapshot<TSource>;
24
+ };
25
+ /**
26
+ * Manages a propositional logic argument composed of premises, variable
27
+ * assignments, and logical roles (supporting premises and a conclusion).
28
+ *
29
+ * Provides premise CRUD, role management, evaluation of individual
30
+ * assignments, and exhaustive validity checking via truth-table enumeration.
31
+ */
32
+ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource> implements TPremiseCrud<TArg, TPremise, TExpr, TVar, TSource>, TVariableManagement<TArg, TPremise, TExpr, TVar, TSource>, TArgumentExpressionQueries<TExpr>, TArgumentRoleState<TArg, TPremise, TExpr, TVar, TSource>, TArgumentEvaluation, TArgumentLifecycle<TArg, TPremise, TExpr, TVar, TSource>, TArgumentIdentity<TArg>, TSourceManagement<TArg, TPremise, TExpr, TVar, TSource>, TDisplayable, TChecksummable {
33
+ private argument;
34
+ private premises;
35
+ private variables;
36
+ private sourceManager;
37
+ private conclusionPremiseId;
38
+ private checksumConfig?;
39
+ private positionConfig?;
40
+ private checksumDirty;
41
+ private cachedChecksum;
42
+ private expressionIndex;
43
+ private listeners;
44
+ private reactiveDirty;
45
+ private cachedReactiveSnapshot;
46
+ constructor(argument: TOptionalChecksum<TArg>, options?: TLogicEngineOptions);
47
+ subscribe: (listener: () => void) => (() => void);
48
+ protected notifySubscribers(): void;
49
+ getSnapshot: () => TReactiveSnapshot<TArg, TPremise, TExpr, TVar, TSource>;
50
+ protected buildReactiveSnapshot(): TReactiveSnapshot<TArg, TPremise, TExpr, TVar, TSource>;
51
+ private buildVariablesRecord;
52
+ private buildAllPremisesRecord;
53
+ private buildPremiseRecord;
54
+ private markReactiveDirty;
55
+ getArgument(): TArg;
56
+ toDisplayString(): string;
57
+ createPremise(extras?: Record<string, unknown>): TCoreMutationResult<PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>, TExpr, TVar, TPremise, TArg, TSource>;
58
+ createPremiseWithId(id: string, extras?: Record<string, unknown>): TCoreMutationResult<PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>, TExpr, TVar, TPremise, TArg, TSource>;
59
+ removePremise(premiseId: string): TCoreMutationResult<TPremise | undefined, TExpr, TVar, TPremise, TArg, TSource>;
60
+ getPremise(premiseId: string): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource> | undefined;
61
+ hasPremise(premiseId: string): boolean;
62
+ listPremiseIds(): string[];
63
+ listPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>[];
64
+ addVariable(variable: TOptionalChecksum<TVar>): TCoreMutationResult<TVar, TExpr, TVar, TPremise, TArg, TSource>;
65
+ updateVariable(variableId: string, updates: {
66
+ symbol?: string;
67
+ }): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg, TSource>;
68
+ removeVariable(variableId: string): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg, TSource>;
69
+ getVariables(): TVar[];
70
+ getVariable(variableId: string): TVar | undefined;
71
+ hasVariable(variableId: string): boolean;
72
+ getVariableBySymbol(symbol: string): TVar | undefined;
73
+ buildVariableIndex<K>(keyFn: (v: TVar) => K): Map<K, TVar>;
74
+ getExpression(expressionId: string): TExpr | undefined;
75
+ hasExpression(expressionId: string): boolean;
76
+ getExpressionPremiseId(expressionId: string): string | undefined;
77
+ findPremiseByExpressionId(expressionId: string): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource> | undefined;
78
+ getAllExpressions(): TExpr[];
79
+ getExpressionsByVariableId(variableId: string): TExpr[];
80
+ listRootExpressions(): TExpr[];
81
+ getRoleState(): TCoreArgumentRoleState;
82
+ setConclusionPremise(premiseId: string): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg, TSource>;
83
+ clearConclusionPremise(): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg, TSource>;
84
+ getConclusionPremise(): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource> | undefined;
85
+ listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>[];
86
+ addSource(source: TOptionalChecksum<TSource>): TCoreMutationResult<TSource, TExpr, TVar, TPremise, TArg, TSource>;
87
+ removeSource(sourceId: string): TCoreMutationResult<TSource | undefined, TExpr, TVar, TPremise, TArg, TSource>;
88
+ addVariableSourceAssociation(sourceId: string, variableId: string): TCoreMutationResult<TCoreVariableSourceAssociation, TExpr, TVar, TPremise, TArg, TSource>;
89
+ removeVariableSourceAssociation(associationId: string): TCoreMutationResult<TCoreVariableSourceAssociation | undefined, TExpr, TVar, TPremise, TArg, TSource>;
90
+ addExpressionSourceAssociation(sourceId: string, expressionId: string, premiseId: string): TCoreMutationResult<TCoreExpressionSourceAssociation, TExpr, TVar, TPremise, TArg, TSource>;
91
+ removeExpressionSourceAssociation(associationId: string): TCoreMutationResult<TCoreExpressionSourceAssociation | undefined, TExpr, TVar, TPremise, TArg, TSource>;
92
+ getSources(): TSource[];
93
+ getSource(sourceId: string): TSource | undefined;
94
+ getAssociationsForSource(sourceId: string): {
95
+ variable: TCoreVariableSourceAssociation[];
96
+ expression: TCoreExpressionSourceAssociation[];
97
+ };
98
+ getAssociationsForVariable(variableId: string): TCoreVariableSourceAssociation[];
99
+ getAssociationsForExpression(expressionId: string): TCoreExpressionSourceAssociation[];
100
+ getAllVariableSourceAssociations(): TCoreVariableSourceAssociation[];
101
+ getAllExpressionSourceAssociations(): TCoreExpressionSourceAssociation[];
102
+ snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar, TSource>;
103
+ /** Creates a new ArgumentEngine from a previously captured snapshot. */
104
+ static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar, TSource>): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource>;
105
+ /**
106
+ * Creates a new ArgumentEngine from flat arrays of entities, as typically
107
+ * stored in a relational database. Expressions are grouped by their
108
+ * `premiseId` field and loaded in BFS order (roots first, then children
109
+ * of already-added nodes) to satisfy parent-existence requirements.
110
+ */
111
+ static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource>(argument: TOptionalChecksum<TArg>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource>;
112
+ rollback(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar, TSource>): void;
113
+ checksum(): string;
114
+ private computeChecksum;
115
+ private markDirty;
116
+ /** Invalidate all premise checksums (e.g. after variable changes). */
117
+ private markAllPremisesDirty;
118
+ private attachVariableChecksum;
119
+ collectReferencedVariables(): {
120
+ variableIds: string[];
121
+ byId: Record<string, {
122
+ symbol: string;
123
+ premiseIds: string[];
124
+ }>;
125
+ bySymbol: Record<string, {
126
+ variableIds: string[];
127
+ premiseIds: string[];
128
+ }>;
129
+ };
130
+ validateEvaluability(): TCoreValidationResult;
131
+ evaluate(assignment: TCoreExpressionAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
132
+ checkValidity(options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
133
+ }
134
+ //# sourceMappingURL=argument-engine.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACjB,WAAW,EACX,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,EAIzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE/D,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAS7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACjB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,IACzC;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;IAC5B,OAAO,CAAC,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAA;CAC5C,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,CAEzC,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EAClD,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACzD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACxD,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACxD,iBAAiB,CAAC,IAAI,CAAC,EACvB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACvD,YAAY,EACZ,cAAc;IAElB,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAGf;IACD,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,aAAa,CAAwB;IAC7C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,cAAc,CAAoB;IAC1C,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAOpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,OAAO,CAAC,EAAE,mBAAmB;IAe1B,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAM5B,WAAW,QAAO,iBAAiB,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV,CAEA;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV;IA0GD,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IA0ClB,WAAW,IAAI,IAAI;IAInB,eAAe,IAAI,MAAM;IA0BzB,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACnD,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAIM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACnD,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAoDM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,QAAQ,GAAG,SAAS,EACpB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAuCM,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,SAAS;IAI3D,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAChC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV,EAAE;IAWI,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAClC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;IAgC3D,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7B,mBAAmB,CAClB,IAAI,GAAG,SAAS,EAChB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAgCM,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAClB,IAAI,GAAG,SAAS,EAChB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA2DM,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIjD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,SAAS;IAM3D,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IAS9B,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAyBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAqBM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACnD,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV,EAAE;IAUI,SAAS,CACZ,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,GACnC,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;IAqC9D,YAAY,CACf,QAAQ,EAAE,MAAM,GACjB,mBAAmB,CAClB,OAAO,GAAG,SAAS,EACnB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA2BM,4BAA4B,CAC/B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAClB,8BAA8B,EAC9B,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAyCM,+BAA+B,CAClC,aAAa,EAAE,MAAM,GACtB,mBAAmB,CAClB,8BAA8B,GAAG,SAAS,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA+BM,8BAA8B,CACjC,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,gCAAgC,EAChC,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAgDM,iCAAiC,CACpC,aAAa,EAAE,MAAM,GACtB,mBAAmB,CAClB,gCAAgC,GAAG,SAAS,EAC5C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA+BM,UAAU,IAAI,OAAO,EAAE;IAIvB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAIhD,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG;QAC/C,QAAQ,EAAE,8BAA8B,EAAE,CAAA;QAC1C,UAAU,EAAE,gCAAgC,EAAE,CAAA;KACjD;IAIM,0BAA0B,CAC7B,UAAU,EAAE,MAAM,GACnB,8BAA8B,EAAE;IAI5B,4BAA4B,CAC/B,YAAY,EAAE,MAAM,GACrB,gCAAgC,EAAE;IAI9B,gCAAgC,IAAI,8BAA8B,EAAE;IAIpE,kCAAkC,IAAI,gCAAgC,EAAE;IAIxE,QAAQ,IAAI,uBAAuB,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV;IAgBD,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EAEzC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACxE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;IA0CvD;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EAEzC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,GAC7B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;IA4EhD,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACxE,IAAI;IA8CA,QAAQ,IAAI,MAAM;IAQzB,OAAO,CAAC,eAAe;IA0CvB,OAAO,CAAC,SAAS;IAIjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAuEM,oBAAoB,IAAI,qBAAqB;IAsH7C,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IA2IzB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;CAsJ9B"}