@toolproof-core/genesis 1.0.50 → 1.0.52

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 (26) hide show
  1. package/generated-src/implementations/tools.ts +214 -214
  2. package/generated-src/metadata/Core.json +78 -0
  3. package/package.json +11 -12
  4. package/src/declarations/booleans.json +3 -3
  5. package/src/declarations/naturals.json +12 -12
  6. package/src/declarations/resourceTypes/resourceTypeShells.json +52 -52
  7. package/src/declarations/resourceTypes/schemas.json +1838 -1838
  8. package/src/declarations/tools.json +704 -704
  9. package/src/implementations/tools.ts +214 -214
  10. package/src/index.ts +131 -131
  11. package/src/utils/constantsAndMappings.ts +194 -194
  12. package/src/utils/coreProjection.ts +52 -52
  13. package/src/utils/resourceTypes.ts +70 -70
  14. package/src/utils/schemaDependencies.ts +114 -114
  15. package/src/utils/schemaObjectNormalization.ts +70 -70
  16. package/src/utils/schemaRefNormalization.ts +82 -82
  17. package/src/utils/schemaShims.ts +16 -16
  18. package/src/utils/standaloneSchemas.ts +113 -113
  19. package/src/utils/standaloneTypes.ts +27 -27
  20. package/src/utils/standaloneZodSchemas.ts +71 -71
  21. package/src/utils/timestampedResources.ts +41 -41
  22. package/src/utils/typeGeneration.ts +30 -30
  23. package/src/utils/typeGenerationPostProcess.ts +245 -245
  24. package/src/utils/typeGenerationPreflight.ts +118 -118
  25. package/src/utils/zodCodegen.ts +548 -548
  26. package/toolproof.json +18 -18
package/src/declarations/tools.json CHANGED
@@ -1,705 +1,705 @@
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
- }
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
705
  ]