@toolproof-core/genesis 1.0.52 → 1.0.54

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 (187) hide show
  1. package/dist/generated-src/declarations/booleans.d.ts +2 -0
  2. package/{generated-src → dist/generated-src}/declarations/booleans.json +1 -1
  3. package/dist/generated-src/declarations/naturals.d.ts +2 -0
  4. package/{generated-src → dist/generated-src}/declarations/naturals.json +1 -1
  5. package/dist/generated-src/declarations/resourceTypes.d.ts +2 -0
  6. package/{generated-src → dist/generated-src}/declarations/resourceTypes.json +1 -1
  7. package/dist/generated-src/declarations/tools.d.ts +2 -0
  8. package/{generated-src → dist/generated-src}/declarations/tools.json +1 -1
  9. package/dist/generated-src/implementations/tools.d.ts +100 -0
  10. package/dist/generated-src/implementations/tools.js +135 -0
  11. package/dist/generated-src/lookups/constants.d.ts +195 -0
  12. package/{generated-src/lookups/constants.ts → dist/generated-src/lookups/constants.js} +68 -2
  13. package/dist/generated-src/lookups/mappings.d.ts +11 -0
  14. package/{generated-src/lookups/mappings.ts → dist/generated-src/lookups/mappings.js} +2 -3
  15. package/dist/generated-src/schemas/schemas.d.ts +2 -0
  16. package/{generated-src → dist/generated-src}/schemas/schemas.json +1 -1
  17. package/dist/generated-src/schemas/standalone/Boolean.d.ts +2 -0
  18. package/dist/generated-src/schemas/standalone/Boolean.json +5 -0
  19. package/dist/generated-src/schemas/standalone/Error.d.ts +2 -0
  20. package/dist/generated-src/schemas/standalone/Error.json +78 -0
  21. package/dist/generated-src/schemas/standalone/Goal.d.ts +2 -0
  22. package/dist/generated-src/schemas/standalone/Goal.json +53 -0
  23. package/dist/generated-src/schemas/standalone/Natural.d.ts +2 -0
  24. package/dist/generated-src/schemas/standalone/Natural.json +6 -0
  25. package/dist/generated-src/schemas/standalone/Resource.d.ts +2 -0
  26. package/dist/generated-src/schemas/standalone/Resource.json +166 -0
  27. package/dist/generated-src/schemas/standalone/ResourceType.d.ts +2 -0
  28. package/dist/generated-src/schemas/standalone/ResourceType.json +147 -0
  29. package/dist/generated-src/schemas/standalone/Strategy.d.ts +2 -0
  30. package/dist/generated-src/schemas/standalone/Strategy.json +637 -0
  31. package/dist/generated-src/schemas/standalone/StrategyTrace.d.ts +2 -0
  32. package/dist/generated-src/schemas/standalone/StrategyTrace.json +816 -0
  33. package/dist/generated-src/schemas/standalone/Suite.d.ts +2 -0
  34. package/dist/generated-src/schemas/standalone/Suite.json +646 -0
  35. package/dist/generated-src/schemas/standalone/Tool.d.ts +2 -0
  36. package/dist/generated-src/schemas/standalone/Tool.json +533 -0
  37. package/dist/generated-src/schemas/zod/Boolean.d.ts +2 -0
  38. package/{generated-src/schemas/zod/Boolean.ts → dist/generated-src/schemas/zod/Boolean.js} +1 -4
  39. package/dist/generated-src/schemas/zod/Error.d.ts +2 -0
  40. package/dist/generated-src/schemas/zod/Error.js +8 -0
  41. package/dist/generated-src/schemas/zod/Goal.d.ts +2 -0
  42. package/dist/generated-src/schemas/zod/Goal.js +5 -0
  43. package/dist/generated-src/schemas/zod/Natural.d.ts +2 -0
  44. package/{generated-src/schemas/zod/Natural.ts → dist/generated-src/schemas/zod/Natural.js} +1 -4
  45. package/dist/generated-src/schemas/zod/Resource.d.ts +2 -0
  46. package/dist/generated-src/schemas/zod/Resource.js +18 -0
  47. package/dist/generated-src/schemas/zod/ResourceType.d.ts +2 -0
  48. package/dist/generated-src/schemas/zod/ResourceType.js +11 -0
  49. package/dist/generated-src/schemas/zod/Strategy.d.ts +12 -0
  50. package/dist/generated-src/schemas/zod/Strategy.js +70 -0
  51. package/dist/generated-src/schemas/zod/StrategyTrace.d.ts +12 -0
  52. package/dist/generated-src/schemas/zod/StrategyTrace.js +74 -0
  53. package/dist/generated-src/schemas/zod/Suite.d.ts +15 -0
  54. package/dist/generated-src/schemas/zod/Suite.js +40 -0
  55. package/dist/generated-src/schemas/zod/Tool.d.ts +9 -0
  56. package/dist/generated-src/schemas/zod/Tool.js +30 -0
  57. package/dist/generated-src/schemas/zod/index.d.ts +10 -0
  58. package/dist/generated-src/timestampedResources/booleans.d.ts +2 -0
  59. package/{generated-src → dist/generated-src}/timestampedResources/booleans.json +1 -1
  60. package/dist/generated-src/timestampedResources/naturals.d.ts +2 -0
  61. package/{generated-src → dist/generated-src}/timestampedResources/naturals.json +1 -1
  62. package/dist/generated-src/timestampedResources/resourceTypes.d.ts +2 -0
  63. package/{generated-src → dist/generated-src}/timestampedResources/resourceTypes.json +1 -1
  64. package/dist/generated-src/timestampedResources/tools.d.ts +2 -0
  65. package/{generated-src → dist/generated-src}/timestampedResources/tools.json +1 -1
  66. package/dist/index.d.ts +1 -0
  67. package/dist/index.js +1 -0
  68. package/dist/scripts/_lib/config.d.ts +83 -0
  69. package/dist/scripts/_lib/config.js +269 -0
  70. package/dist/scripts/generateConstantsAndMappings.d.ts +1 -0
  71. package/dist/scripts/generateConstantsAndMappings.js +41 -0
  72. package/dist/scripts/generateCoreProjection.d.ts +1 -0
  73. package/dist/scripts/generateCoreProjection.js +56 -0
  74. package/dist/scripts/generateDeclarations.d.ts +1 -0
  75. package/dist/scripts/generateDeclarations.js +43 -0
  76. package/dist/scripts/generateDependencies.d.ts +1 -0
  77. package/dist/scripts/generateDependencies.js +25 -0
  78. package/dist/scripts/generateImplementations.d.ts +1 -0
  79. package/dist/scripts/generateImplementations.js +45 -0
  80. package/dist/scripts/generateResourceTypes.d.ts +1 -0
  81. package/dist/scripts/generateResourceTypes.js +33 -0
  82. package/dist/scripts/generateSchemaShims.d.ts +1 -0
  83. package/dist/scripts/generateSchemaShims.js +39 -0
  84. package/dist/scripts/generateStandaloneSchemas.d.ts +1 -0
  85. package/dist/scripts/generateStandaloneSchemas.js +37 -0
  86. package/dist/scripts/generateStandaloneTypes.d.ts +1 -0
  87. package/dist/scripts/generateStandaloneTypes.js +39 -0
  88. package/dist/scripts/generateStandaloneZodSchemas.d.ts +1 -0
  89. package/dist/scripts/generateStandaloneZodSchemas.js +36 -0
  90. package/dist/scripts/generateTerminals.d.ts +1 -0
  91. package/dist/scripts/generateTerminals.js +26 -0
  92. package/dist/scripts/generateTimestampedResources.d.ts +1 -0
  93. package/dist/scripts/generateTimestampedResources.js +79 -0
  94. package/dist/scripts/generateTypes.d.ts +1 -0
  95. package/dist/scripts/generateTypes.js +40 -0
  96. package/dist/scripts/normalizeAnchorsToPointers.d.ts +1 -0
  97. package/dist/scripts/normalizeAnchorsToPointers.js +32 -0
  98. package/dist/src/utils/constantsAndMappings.d.ts +20 -2
  99. package/dist/src/utils/constantsAndMappings.js +113 -5
  100. package/dist/tsconfig.tsbuildinfo +1 -0
  101. package/package.json +42 -8
  102. package/generated-src/implementations/tools.ts +0 -214
  103. package/generated-src/metadata/Core.json +0 -1929
  104. package/generated-src/metadata/dependencyMap.json +0 -297
  105. package/generated-src/metadata/terminals.json +0 -16
  106. package/generated-src/schemas/standalone/Boolean.json +0 -5
  107. package/generated-src/schemas/standalone/Error.json +0 -78
  108. package/generated-src/schemas/standalone/Goal.json +0 -53
  109. package/generated-src/schemas/standalone/Natural.json +0 -6
  110. package/generated-src/schemas/standalone/Resource.json +0 -166
  111. package/generated-src/schemas/standalone/ResourceType.json +0 -147
  112. package/generated-src/schemas/standalone/Strategy.json +0 -637
  113. package/generated-src/schemas/standalone/StrategyTrace.json +0 -816
  114. package/generated-src/schemas/standalone/Suite.json +0 -646
  115. package/generated-src/schemas/standalone/Tool.json +0 -533
  116. package/generated-src/schemas/zod/Error.ts +0 -11
  117. package/generated-src/schemas/zod/Goal.ts +0 -8
  118. package/generated-src/schemas/zod/Resource.ts +0 -21
  119. package/generated-src/schemas/zod/ResourceType.ts +0 -14
  120. package/generated-src/schemas/zod/Strategy.ts +0 -68
  121. package/generated-src/schemas/zod/StrategyTrace.ts +0 -75
  122. package/generated-src/schemas/zod/Suite.ts +0 -44
  123. package/generated-src/schemas/zod/Tool.ts +0 -34
  124. package/src/declarations/booleans.json +0 -4
  125. package/src/declarations/naturals.json +0 -13
  126. package/src/declarations/resourceTypes/resourceTypeShells.json +0 -53
  127. package/src/declarations/resourceTypes/schemas.json +0 -1839
  128. package/src/declarations/tools.json +0 -705
  129. package/src/implementations/tools.ts +0 -214
  130. package/src/index.ts +0 -131
  131. package/src/utils/constantsAndMappings.ts +0 -195
  132. package/src/utils/coreProjection.ts +0 -53
  133. package/src/utils/resourceTypes.ts +0 -71
  134. package/src/utils/schemaDependencies.ts +0 -115
  135. package/src/utils/schemaObjectNormalization.ts +0 -71
  136. package/src/utils/schemaRefNormalization.ts +0 -83
  137. package/src/utils/schemaShims.ts +0 -17
  138. package/src/utils/standaloneSchemas.ts +0 -114
  139. package/src/utils/standaloneTypes.ts +0 -28
  140. package/src/utils/standaloneZodSchemas.ts +0 -72
  141. package/src/utils/timestampedResources.ts +0 -42
  142. package/src/utils/typeGeneration.ts +0 -31
  143. package/src/utils/typeGenerationPostProcess.ts +0 -246
  144. package/src/utils/typeGenerationPreflight.ts +0 -119
  145. package/src/utils/zodCodegen.ts +0 -549
  146. /package/{generated-src/declarations/booleans.ts → dist/generated-src/declarations/booleans.js} +0 -0
  147. /package/{generated-src/declarations/naturals.ts → dist/generated-src/declarations/naturals.js} +0 -0
  148. /package/{generated-src/declarations/resourceTypes.ts → dist/generated-src/declarations/resourceTypes.js} +0 -0
  149. /package/{generated-src/declarations/tools.ts → dist/generated-src/declarations/tools.js} +0 -0
  150. /package/{generated-src/schemas/schemas.ts → dist/generated-src/schemas/schemas.js} +0 -0
  151. /package/{generated-src/schemas/standalone/Boolean.ts → dist/generated-src/schemas/standalone/Boolean.js} +0 -0
  152. /package/{generated-src/schemas/standalone/Error.ts → dist/generated-src/schemas/standalone/Error.js} +0 -0
  153. /package/{generated-src/schemas/standalone/Goal.ts → dist/generated-src/schemas/standalone/Goal.js} +0 -0
  154. /package/{generated-src/schemas/standalone/Natural.ts → dist/generated-src/schemas/standalone/Natural.js} +0 -0
  155. /package/{generated-src/schemas/standalone/Resource.ts → dist/generated-src/schemas/standalone/Resource.js} +0 -0
  156. /package/{generated-src/schemas/standalone/ResourceType.ts → dist/generated-src/schemas/standalone/ResourceType.js} +0 -0
  157. /package/{generated-src/schemas/standalone/Strategy.ts → dist/generated-src/schemas/standalone/Strategy.js} +0 -0
  158. /package/{generated-src/schemas/standalone/StrategyTrace.ts → dist/generated-src/schemas/standalone/StrategyTrace.js} +0 -0
  159. /package/{generated-src/schemas/standalone/Suite.ts → dist/generated-src/schemas/standalone/Suite.js} +0 -0
  160. /package/{generated-src/schemas/standalone/Tool.ts → dist/generated-src/schemas/standalone/Tool.js} +0 -0
  161. /package/{generated-src/schemas/zod/index.ts → dist/generated-src/schemas/zod/index.js} +0 -0
  162. /package/{generated-src/timestampedResources/booleans.ts → dist/generated-src/timestampedResources/booleans.js} +0 -0
  163. /package/{generated-src/timestampedResources/naturals.ts → dist/generated-src/timestampedResources/naturals.js} +0 -0
  164. /package/{generated-src/timestampedResources/resourceTypes.ts → dist/generated-src/timestampedResources/resourceTypes.js} +0 -0
  165. /package/{generated-src/timestampedResources/tools.ts → dist/generated-src/timestampedResources/tools.js} +0 -0
  166. /package/{generated-src → dist/generated-src}/types/standalone/BooleanResource.d.ts +0 -0
  167. /package/{generated-src → dist/generated-src}/types/standalone/BooleanResource.js +0 -0
  168. /package/{generated-src → dist/generated-src}/types/standalone/ErrorResource.d.ts +0 -0
  169. /package/{generated-src → dist/generated-src}/types/standalone/ErrorResource.js +0 -0
  170. /package/{generated-src → dist/generated-src}/types/standalone/GoalResource.d.ts +0 -0
  171. /package/{generated-src → dist/generated-src}/types/standalone/GoalResource.js +0 -0
  172. /package/{generated-src → dist/generated-src}/types/standalone/NaturalResource.d.ts +0 -0
  173. /package/{generated-src → dist/generated-src}/types/standalone/NaturalResource.js +0 -0
  174. /package/{generated-src → dist/generated-src}/types/standalone/ResourceResource.d.ts +0 -0
  175. /package/{generated-src → dist/generated-src}/types/standalone/ResourceResource.js +0 -0
  176. /package/{generated-src → dist/generated-src}/types/standalone/ResourceTypeResource.d.ts +0 -0
  177. /package/{generated-src → dist/generated-src}/types/standalone/ResourceTypeResource.js +0 -0
  178. /package/{generated-src → dist/generated-src}/types/standalone/StrategyResource.d.ts +0 -0
  179. /package/{generated-src → dist/generated-src}/types/standalone/StrategyResource.js +0 -0
  180. /package/{generated-src → dist/generated-src}/types/standalone/StrategyTraceResource.d.ts +0 -0
  181. /package/{generated-src → dist/generated-src}/types/standalone/StrategyTraceResource.js +0 -0
  182. /package/{generated-src → dist/generated-src}/types/standalone/SuiteResource.d.ts +0 -0
  183. /package/{generated-src → dist/generated-src}/types/standalone/SuiteResource.js +0 -0
  184. /package/{generated-src → dist/generated-src}/types/standalone/ToolResource.d.ts +0 -0
  185. /package/{generated-src → dist/generated-src}/types/standalone/ToolResource.js +0 -0
  186. /package/{generated-src → dist/generated-src}/types/types.d.ts +0 -0
  187. /package/{generated-src → dist/generated-src}/types/types.js +0 -0
package/src/declarations/tools.json DELETED
@@ -1,705 +0,0 @@
1
- [
2
- {
3
- "handle": "TOOL-Identity",
4
- "name": "Identity",
5
- "symbol": "id",
6
- "description": "dummy-description",
7
- "isTemplate": true,
8
- "instantiationRoleSpec": {
9
- "inputRoleValueByName": {
10
- "In": {
11
- "typeRef": {
12
- "roleSchema": {
13
- "$ref": "#OperandType"
14
- }
15
- },
16
- "containerKind": "scalar"
17
- }
18
- },
19
- "outputRoleValueByName": {
20
- "Out": {
21
- "typeRef": {
22
- "roleSchema": {
23
- "$ref": "#OperandType"
24
- }
25
- },
26
- "containerKind": "scalar"
27
- }
28
- }
29
- },
30
- "roleSpec": {
31
- "inputRoleValueByName": {
32
- "GenericAssignmentByRoleName": {
33
- "typeRef": {
34
- "resourceTypeHandle": "TYPE-ResourceType"
35
- },
36
- "containerKind": "map",
37
- "mapKeys": [
38
- "OperandType"
39
- ]
40
- },
41
- "InstantiationToolHandleBySpecializationKey": {
42
- "typeRef": {
43
- "resourceTypeHandle": "TYPE-Tool"
44
- },
45
- "containerKind": "map"
46
- }
47
- },
48
- "outputRoleValueByName": {
49
- "InstantiationTool": {
50
- "typeRef": {
51
- "resourceTypeHandle": "TYPE-Tool"
52
- },
53
- "containerKind": "scalar"
54
- }
55
- }
56
- }
57
- },
58
- {
59
- "handle": "TOOL-Add",
60
- "name": "Add",
61
- "symbol": "+",
62
- "description": "dummy-description",
63
- "isTemplate": true,
64
- "instantiationRoleSpec": {
65
- "inputRoleValueByName": {
66
- "AddendOne": {
67
- "typeRef": {
68
- "roleSchema": {
69
- "$ref": "#OperandType"
70
- }
71
- },
72
- "containerKind": "scalar"
73
- },
74
- "AddendTwo": {
75
- "typeRef": {
76
- "roleSchema": {
77
- "$ref": "#OperandType"
78
- }
79
- },
80
- "containerKind": "scalar"
81
- }
82
- },
83
- "outputRoleValueByName": {
84
- "Sum": {
85
- "typeRef": {
86
- "roleSchema": {
87
- "$ref": "#OperandType"
88
- }
89
- },
90
- "containerKind": "scalar"
91
- }
92
- }
93
- },
94
- "roleSpec": {
95
- "inputRoleValueByName": {
96
- "GenericAssignmentByRoleName": {
97
- "typeRef": {
98
- "resourceTypeHandle": "TYPE-ResourceType"
99
- },
100
- "containerKind": "map",
101
- "mapKeys": [
102
- "OperandType"
103
- ]
104
- },
105
- "InstantiationToolHandleBySpecializationKey": {
106
- "typeRef": {
107
- "resourceTypeHandle": "TYPE-Tool"
108
- },
109
- "containerKind": "map"
110
- }
111
- },
112
- "outputRoleValueByName": {
113
- "InstantiationTool": {
114
- "typeRef": {
115
- "resourceTypeHandle": "TYPE-Tool"
116
- },
117
- "containerKind": "scalar"
118
- }
119
- }
120
- }
121
- },
122
- {
123
- "handle": "TOOL-Subtract",
124
- "name": "Subtract",
125
- "symbol": "-",
126
- "description": "dummy-description",
127
- "isTemplate": true,
128
- "instantiationRoleSpec": {
129
- "inputRoleValueByName": {
130
- "Minuend": {
131
- "typeRef": {
132
- "roleSchema": {
133
- "$ref": "#OperandType"
134
- }
135
- },
136
- "containerKind": "scalar"
137
- },
138
- "Subtrahend": {
139
- "typeRef": {
140
- "roleSchema": {
141
- "$ref": "#OperandType"
142
- }
143
- },
144
- "containerKind": "scalar"
145
- }
146
- },
147
- "outputRoleValueByName": {
148
- "Difference": {
149
- "typeRef": {
150
- "roleSchema": {
151
- "$ref": "#OperandType"
152
- }
153
- },
154
- "containerKind": "scalar"
155
- }
156
- }
157
- },
158
- "roleSpec": {
159
- "inputRoleValueByName": {
160
- "GenericAssignmentByRoleName": {
161
- "typeRef": {
162
- "resourceTypeHandle": "TYPE-ResourceType"
163
- },
164
- "containerKind": "map",
165
- "mapKeys": [
166
- "OperandType"
167
- ]
168
- },
169
- "InstantiationToolHandleBySpecializationKey": {
170
- "typeRef": {
171
- "resourceTypeHandle": "TYPE-Tool"
172
- },
173
- "containerKind": "map"
174
- }
175
- },
176
- "outputRoleValueByName": {
177
- "InstantiationTool": {
178
- "typeRef": {
179
- "resourceTypeHandle": "TYPE-Tool"
180
- },
181
- "containerKind": "scalar"
182
- }
183
- }
184
- }
185
- },
186
- {
187
- "handle": "TOOL-Multiply",
188
- "name": "Multiply",
189
- "symbol": "X",
190
- "description": "dummy-description",
191
- "isTemplate": true,
192
- "instantiationRoleSpec": {
193
- "inputRoleValueByName": {
194
- "Multiplicand": {
195
- "typeRef": {
196
- "roleSchema": {
197
- "$ref": "#OperandType"
198
- }
199
- },
200
- "containerKind": "scalar"
201
- },
202
- "Multiplier": {
203
- "typeRef": {
204
- "roleSchema": {
205
- "$ref": "#OperandType"
206
- }
207
- },
208
- "containerKind": "scalar"
209
- }
210
- },
211
- "outputRoleValueByName": {
212
- "Product": {
213
- "typeRef": {
214
- "roleSchema": {
215
- "$ref": "#OperandType"
216
- }
217
- },
218
- "containerKind": "scalar"
219
- }
220
- }
221
- },
222
- "roleSpec": {
223
- "inputRoleValueByName": {
224
- "GenericAssignmentByRoleName": {
225
- "typeRef": {
226
- "resourceTypeHandle": "TYPE-ResourceType"
227
- },
228
- "containerKind": "map",
229
- "mapKeys": [
230
- "OperandType"
231
- ]
232
- },
233
- "InstantiationToolHandleBySpecializationKey": {
234
- "typeRef": {
235
- "resourceTypeHandle": "TYPE-Tool"
236
- },
237
- "containerKind": "map"
238
- }
239
- },
240
- "outputRoleValueByName": {
241
- "InstantiationTool": {
242
- "typeRef": {
243
- "resourceTypeHandle": "TYPE-Tool"
244
- },
245
- "containerKind": "scalar"
246
- }
247
- }
248
- }
249
- },
250
- {
251
- "handle": "TOOL-Divide",
252
- "name": "Divide",
253
- "symbol": "÷",
254
- "description": "dummy-description",
255
- "isTemplate": true,
256
- "instantiationRoleSpec": {
257
- "inputRoleValueByName": {
258
- "Dividend": {
259
- "typeRef": {
260
- "roleSchema": {
261
- "$ref": "#OperandType"
262
- }
263
- },
264
- "containerKind": "scalar"
265
- },
266
- "Divisor": {
267
- "typeRef": {
268
- "roleSchema": {
269
- "$ref": "#OperandType"
270
- }
271
- },
272
- "containerKind": "scalar"
273
- }
274
- },
275
- "outputRoleValueByName": {
276
- "Quotient": {
277
- "typeRef": {
278
- "roleSchema": {
279
- "$ref": "#OperandType"
280
- }
281
- },
282
- "containerKind": "scalar"
283
- },
284
- "Remainder": {
285
- "typeRef": {
286
- "roleSchema": {
287
- "$ref": "#OperandType"
288
- }
289
- },
290
- "containerKind": "scalar"
291
- }
292
- }
293
- },
294
- "roleSpec": {
295
- "inputRoleValueByName": {
296
- "GenericAssignmentByRoleName": {
297
- "typeRef": {
298
- "resourceTypeHandle": "TYPE-ResourceType"
299
- },
300
- "containerKind": "map",
301
- "mapKeys": [
302
- "OperandType"
303
- ]
304
- },
305
- "InstantiationToolHandleBySpecializationKey": {
306
- "typeRef": {
307
- "resourceTypeHandle": "TYPE-Tool"
308
- },
309
- "containerKind": "map"
310
- }
311
- },
312
- "outputRoleValueByName": {
313
- "InstantiationTool": {
314
- "typeRef": {
315
- "resourceTypeHandle": "TYPE-Tool"
316
- },
317
- "containerKind": "scalar"
318
- }
319
- }
320
- }
321
- },
322
- {
323
- "handle": "TOOL-Double",
324
- "name": "Double",
325
- "symbol": "X2",
326
- "description": "dummy-description",
327
- "isTemplate": true,
328
- "instantiationRoleSpec": {
329
- "inputRoleValueByName": {
330
- "N": {
331
- "typeRef": {
332
- "roleSchema": {
333
- "$ref": "#OperandType"
334
- }
335
- },
336
- "containerKind": "scalar"
337
- }
338
- },
339
- "outputRoleValueByName": {
340
- "Doubled": {
341
- "typeRef": {
342
- "roleSchema": {
343
- "$ref": "#OperandType"
344
- }
345
- },
346
- "containerKind": "scalar"
347
- }
348
- }
349
- },
350
- "roleSpec": {
351
- "inputRoleValueByName": {
352
- "GenericAssignmentByRoleName": {
353
- "typeRef": {
354
- "resourceTypeHandle": "TYPE-ResourceType"
355
- },
356
- "containerKind": "map",
357
- "mapKeys": [
358
- "OperandType"
359
- ]
360
- },
361
- "InstantiationToolHandleBySpecializationKey": {
362
- "typeRef": {
363
- "resourceTypeHandle": "TYPE-Tool"
364
- },
365
- "containerKind": "map"
366
- }
367
- },
368
- "outputRoleValueByName": {
369
- "InstantiationTool": {
370
- "typeRef": {
371
- "resourceTypeHandle": "TYPE-Tool"
372
- },
373
- "containerKind": "scalar"
374
- }
375
- }
376
- }
377
- },
378
- {
379
- "handle": "TOOL-LessThan",
380
- "name": "LessThan",
381
- "symbol": "<",
382
- "description": "dummy-description",
383
- "isTemplate": true,
384
- "instantiationRoleSpec": {
385
- "inputRoleValueByName": {
386
- "LessThanSource": {
387
- "typeRef": {
388
- "roleSchema": {
389
- "$ref": "#OperandType"
390
- }
391
- },
392
- "containerKind": "scalar"
393
- },
394
- "LessThanTarget": {
395
- "typeRef": {
396
- "roleSchema": {
397
- "$ref": "#OperandType"
398
- }
399
- },
400
- "containerKind": "scalar"
401
- }
402
- },
403
- "outputRoleValueByName": {
404
- "LessThanDecision": {
405
- "typeRef": {
406
- "resourceTypeHandle": "TYPE-Boolean"
407
- },
408
- "containerKind": "scalar"
409
- }
410
- }
411
- },
412
- "roleSpec": {
413
- "inputRoleValueByName": {
414
- "GenericAssignmentByRoleName": {
415
- "typeRef": {
416
- "resourceTypeHandle": "TYPE-ResourceType"
417
- },
418
- "containerKind": "map",
419
- "mapKeys": [
420
- "OperandType"
421
- ]
422
- },
423
- "InstantiationToolHandleBySpecializationKey": {
424
- "typeRef": {
425
- "resourceTypeHandle": "TYPE-Tool"
426
- },
427
- "containerKind": "map"
428
- }
429
- },
430
- "outputRoleValueByName": {
431
- "InstantiationTool": {
432
- "typeRef": {
433
- "resourceTypeHandle": "TYPE-Tool"
434
- },
435
- "containerKind": "scalar"
436
- }
437
- }
438
- }
439
- },
440
- {
441
- "handle": "TOOL-BooleanIdentity",
442
- "name": "BooleanIdentity",
443
- "symbol": "id",
444
- "description": "dummy-description",
445
- "isTemplate": false,
446
- "templateToolHandle": "TOOL-Identity",
447
- "roleSpec": {
448
- "inputRoleValueByName": {
449
- "In": {
450
- "typeRef": {
451
- "resourceTypeHandle": "TYPE-Boolean"
452
- },
453
- "containerKind": "scalar"
454
- }
455
- },
456
- "outputRoleValueByName": {
457
- "Out": {
458
- "typeRef": {
459
- "resourceTypeHandle": "TYPE-Boolean"
460
- },
461
- "containerKind": "scalar"
462
- }
463
- }
464
- }
465
- },
466
- {
467
- "handle": "TOOL-NaturalIdentity",
468
- "name": "NaturalIdentity",
469
- "symbol": "id",
470
- "description": "dummy-description",
471
- "isTemplate": false,
472
- "templateToolHandle": "TOOL-Identity",
473
- "roleSpec": {
474
- "inputRoleValueByName": {
475
- "In": {
476
- "typeRef": {
477
- "resourceTypeHandle": "TYPE-Natural"
478
- },
479
- "containerKind": "scalar"
480
- }
481
- },
482
- "outputRoleValueByName": {
483
- "Out": {
484
- "typeRef": {
485
- "resourceTypeHandle": "TYPE-Natural"
486
- },
487
- "containerKind": "scalar"
488
- }
489
- }
490
- }
491
- },
492
- {
493
- "handle": "TOOL-NaturalLessThan",
494
- "name": "NaturalLessThan",
495
- "symbol": "<",
496
- "description": "dummy-description",
497
- "isTemplate": false,
498
- "templateToolHandle": "TOOL-LessThan",
499
- "roleSpec": {
500
- "inputRoleValueByName": {
501
- "LessThanSource": {
502
- "typeRef": {
503
- "resourceTypeHandle": "TYPE-Natural"
504
- },
505
- "containerKind": "scalar"
506
- },
507
- "LessThanTarget": {
508
- "typeRef": {
509
- "resourceTypeHandle": "TYPE-Natural"
510
- },
511
- "containerKind": "scalar"
512
- }
513
- },
514
- "outputRoleValueByName": {
515
- "LessThanDecision": {
516
- "typeRef": {
517
- "resourceTypeHandle": "TYPE-Boolean"
518
- },
519
- "containerKind": "scalar"
520
- }
521
- }
522
- }
523
- },
524
- {
525
- "handle": "TOOL-NaturalAdd",
526
- "name": "NaturalAdd",
527
- "symbol": "+",
528
- "description": "dummy-description",
529
- "isTemplate": false,
530
- "templateToolHandle": "TOOL-Add",
531
- "roleSpec": {
532
- "inputRoleValueByName": {
533
- "AddendOne": {
534
- "typeRef": {
535
- "resourceTypeHandle": "TYPE-Natural"
536
- },
537
- "containerKind": "scalar"
538
- },
539
- "AddendTwo": {
540
- "typeRef": {
541
- "resourceTypeHandle": "TYPE-Natural"
542
- },
543
- "containerKind": "scalar"
544
- }
545
- },
546
- "outputRoleValueByName": {
547
- "Sum": {
548
- "typeRef": {
549
- "resourceTypeHandle": "TYPE-Natural"
550
- },
551
- "containerKind": "scalar"
552
- }
553
- }
554
- }
555
- },
556
- {
557
- "handle": "TOOL-NaturalSubtract",
558
- "name": "NaturalSubtract",
559
- "symbol": "-",
560
- "description": "dummy-description",
561
- "isTemplate": false,
562
- "templateToolHandle": "TOOL-Subtract",
563
- "roleSpec": {
564
- "inputRoleValueByName": {
565
- "Minuend": {
566
- "typeRef": {
567
- "resourceTypeHandle": "TYPE-Natural"
568
- },
569
- "containerKind": "scalar"
570
- },
571
- "Subtrahend": {
572
- "typeRef": {
573
- "resourceTypeHandle": "TYPE-Natural"
574
- },
575
- "containerKind": "scalar"
576
- }
577
- },
578
- "outputRoleValueByName": {
579
- "Difference": {
580
- "typeRef": {
581
- "resourceTypeHandle": "TYPE-Natural"
582
- },
583
- "containerKind": "scalar"
584
- }
585
- },
586
- "refinementSchema": {
587
- "$schema": "https://json-schema.org/draft/2020-12/schema",
588
- "type": "object",
589
- "required": [
590
- "Minuend",
591
- "Subtrahend"
592
- ],
593
- "properties": {
594
- "Subtrahend": {
595
- "exclusiveMaximum": {
596
- "$data": "1/Minuend"
597
- }
598
- }
599
- }
600
- }
601
- }
602
- },
603
- {
604
- "handle": "TOOL-NaturalMultiply",
605
- "name": "NaturalMultiply",
606
- "symbol": "X",
607
- "description": "dummy-description",
608
- "isTemplate": false,
609
- "templateToolHandle": "TOOL-Multiply",
610
- "roleSpec": {
611
- "inputRoleValueByName": {
612
- "Multiplicand": {
613
- "typeRef": {
614
- "resourceTypeHandle": "TYPE-Natural"
615
- },
616
- "containerKind": "scalar"
617
- },
618
- "Multiplier": {
619
- "typeRef": {
620
- "resourceTypeHandle": "TYPE-Natural"
621
- },
622
- "containerKind": "scalar"
623
- }
624
- },
625
- "outputRoleValueByName": {
626
- "Product": {
627
- "typeRef": {
628
- "resourceTypeHandle": "TYPE-Natural"
629
- },
630
- "containerKind": "scalar"
631
- }
632
- }
633
- }
634
- },
635
- {
636
- "handle": "TOOL-NaturalDivide",
637
- "name": "NaturalDivide",
638
- "symbol": "÷",
639
- "description": "dummy-description",
640
- "isTemplate": false,
641
- "templateToolHandle": "TOOL-Divide",
642
- "roleSpec": {
643
- "inputRoleValueByName": {
644
- "Dividend": {
645
- "typeRef": {
646
- "resourceTypeHandle": "TYPE-Natural"
647
- },
648
- "containerKind": "scalar"
649
- },
650
- "Divisor": {
651
- "typeRef": {
652
- "resourceTypeHandle": "TYPE-Natural"
653
- },
654
- "containerKind": "scalar",
655
- "refinementSchema": {
656
- "$schema": "https://json-schema.org/draft/2020-12/schema",
657
- "not": {
658
- "const": 0
659
- }
660
- }
661
- }
662
- },
663
- "outputRoleValueByName": {
664
- "Quotient": {
665
- "typeRef": {
666
- "resourceTypeHandle": "TYPE-Natural"
667
- },
668
- "containerKind": "scalar"
669
- },
670
- "Remainder": {
671
- "typeRef": {
672
- "resourceTypeHandle": "TYPE-Natural"
673
- },
674
- "containerKind": "scalar"
675
- }
676
- }
677
- }
678
- },
679
- {
680
- "handle": "TOOL-NaturalDouble",
681
- "name": "NaturalDouble",
682
- "symbol": "X2",
683
- "description": "dummy-description",
684
- "isTemplate": false,
685
- "templateToolHandle": "TOOL-Double",
686
- "roleSpec": {
687
- "inputRoleValueByName": {
688
- "N": {
689
- "typeRef": {
690
- "resourceTypeHandle": "TYPE-Natural"
691
- },
692
- "containerKind": "scalar"
693
- }
694
- },
695
- "outputRoleValueByName": {
696
- "Doubled": {
697
- "typeRef": {
698
- "resourceTypeHandle": "TYPE-Natural"
699
- },
700
- "containerKind": "scalar"
701
- }
702
- }
703
- }
704
- }
705
- ]