@toolproof-core/genesis 1.0.53 → 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 (185) 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} +1 -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} +1 -2
  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/tsconfig.tsbuildinfo +1 -0
  99. package/package.json +42 -8
  100. package/generated-src/implementations/tools.ts +0 -214
  101. package/generated-src/metadata/Core.json +0 -1929
  102. package/generated-src/metadata/dependencyMap.json +0 -297
  103. package/generated-src/metadata/terminals.json +0 -16
  104. package/generated-src/schemas/standalone/Boolean.json +0 -5
  105. package/generated-src/schemas/standalone/Error.json +0 -78
  106. package/generated-src/schemas/standalone/Goal.json +0 -53
  107. package/generated-src/schemas/standalone/Natural.json +0 -6
  108. package/generated-src/schemas/standalone/Resource.json +0 -166
  109. package/generated-src/schemas/standalone/ResourceType.json +0 -147
  110. package/generated-src/schemas/standalone/Strategy.json +0 -637
  111. package/generated-src/schemas/standalone/StrategyTrace.json +0 -816
  112. package/generated-src/schemas/standalone/Suite.json +0 -646
  113. package/generated-src/schemas/standalone/Tool.json +0 -533
  114. package/generated-src/schemas/zod/Error.ts +0 -11
  115. package/generated-src/schemas/zod/Goal.ts +0 -8
  116. package/generated-src/schemas/zod/Resource.ts +0 -21
  117. package/generated-src/schemas/zod/ResourceType.ts +0 -14
  118. package/generated-src/schemas/zod/Strategy.ts +0 -68
  119. package/generated-src/schemas/zod/StrategyTrace.ts +0 -75
  120. package/generated-src/schemas/zod/Suite.ts +0 -44
  121. package/generated-src/schemas/zod/Tool.ts +0 -34
  122. package/src/declarations/booleans.json +0 -4
  123. package/src/declarations/naturals.json +0 -13
  124. package/src/declarations/resourceTypes/resourceTypeShells.json +0 -53
  125. package/src/declarations/resourceTypes/schemas.json +0 -1839
  126. package/src/declarations/tools.json +0 -705
  127. package/src/implementations/tools.ts +0 -214
  128. package/src/index.ts +0 -131
  129. package/src/utils/constantsAndMappings.ts +0 -361
  130. package/src/utils/coreProjection.ts +0 -53
  131. package/src/utils/resourceTypes.ts +0 -71
  132. package/src/utils/schemaDependencies.ts +0 -115
  133. package/src/utils/schemaObjectNormalization.ts +0 -71
  134. package/src/utils/schemaRefNormalization.ts +0 -83
  135. package/src/utils/schemaShims.ts +0 -17
  136. package/src/utils/standaloneSchemas.ts +0 -114
  137. package/src/utils/standaloneTypes.ts +0 -28
  138. package/src/utils/standaloneZodSchemas.ts +0 -72
  139. package/src/utils/timestampedResources.ts +0 -42
  140. package/src/utils/typeGeneration.ts +0 -31
  141. package/src/utils/typeGenerationPostProcess.ts +0 -246
  142. package/src/utils/typeGenerationPreflight.ts +0 -119
  143. package/src/utils/zodCodegen.ts +0 -549
  144. /package/{generated-src/declarations/booleans.ts → dist/generated-src/declarations/booleans.js} +0 -0
  145. /package/{generated-src/declarations/naturals.ts → dist/generated-src/declarations/naturals.js} +0 -0
  146. /package/{generated-src/declarations/resourceTypes.ts → dist/generated-src/declarations/resourceTypes.js} +0 -0
  147. /package/{generated-src/declarations/tools.ts → dist/generated-src/declarations/tools.js} +0 -0
  148. /package/{generated-src/schemas/schemas.ts → dist/generated-src/schemas/schemas.js} +0 -0
  149. /package/{generated-src/schemas/standalone/Boolean.ts → dist/generated-src/schemas/standalone/Boolean.js} +0 -0
  150. /package/{generated-src/schemas/standalone/Error.ts → dist/generated-src/schemas/standalone/Error.js} +0 -0
  151. /package/{generated-src/schemas/standalone/Goal.ts → dist/generated-src/schemas/standalone/Goal.js} +0 -0
  152. /package/{generated-src/schemas/standalone/Natural.ts → dist/generated-src/schemas/standalone/Natural.js} +0 -0
  153. /package/{generated-src/schemas/standalone/Resource.ts → dist/generated-src/schemas/standalone/Resource.js} +0 -0
  154. /package/{generated-src/schemas/standalone/ResourceType.ts → dist/generated-src/schemas/standalone/ResourceType.js} +0 -0
  155. /package/{generated-src/schemas/standalone/Strategy.ts → dist/generated-src/schemas/standalone/Strategy.js} +0 -0
  156. /package/{generated-src/schemas/standalone/StrategyTrace.ts → dist/generated-src/schemas/standalone/StrategyTrace.js} +0 -0
  157. /package/{generated-src/schemas/standalone/Suite.ts → dist/generated-src/schemas/standalone/Suite.js} +0 -0
  158. /package/{generated-src/schemas/standalone/Tool.ts → dist/generated-src/schemas/standalone/Tool.js} +0 -0
  159. /package/{generated-src/schemas/zod/index.ts → dist/generated-src/schemas/zod/index.js} +0 -0
  160. /package/{generated-src/timestampedResources/booleans.ts → dist/generated-src/timestampedResources/booleans.js} +0 -0
  161. /package/{generated-src/timestampedResources/naturals.ts → dist/generated-src/timestampedResources/naturals.js} +0 -0
  162. /package/{generated-src/timestampedResources/resourceTypes.ts → dist/generated-src/timestampedResources/resourceTypes.js} +0 -0
  163. /package/{generated-src/timestampedResources/tools.ts → dist/generated-src/timestampedResources/tools.js} +0 -0
  164. /package/{generated-src → dist/generated-src}/types/standalone/BooleanResource.d.ts +0 -0
  165. /package/{generated-src → dist/generated-src}/types/standalone/BooleanResource.js +0 -0
  166. /package/{generated-src → dist/generated-src}/types/standalone/ErrorResource.d.ts +0 -0
  167. /package/{generated-src → dist/generated-src}/types/standalone/ErrorResource.js +0 -0
  168. /package/{generated-src → dist/generated-src}/types/standalone/GoalResource.d.ts +0 -0
  169. /package/{generated-src → dist/generated-src}/types/standalone/GoalResource.js +0 -0
  170. /package/{generated-src → dist/generated-src}/types/standalone/NaturalResource.d.ts +0 -0
  171. /package/{generated-src → dist/generated-src}/types/standalone/NaturalResource.js +0 -0
  172. /package/{generated-src → dist/generated-src}/types/standalone/ResourceResource.d.ts +0 -0
  173. /package/{generated-src → dist/generated-src}/types/standalone/ResourceResource.js +0 -0
  174. /package/{generated-src → dist/generated-src}/types/standalone/ResourceTypeResource.d.ts +0 -0
  175. /package/{generated-src → dist/generated-src}/types/standalone/ResourceTypeResource.js +0 -0
  176. /package/{generated-src → dist/generated-src}/types/standalone/StrategyResource.d.ts +0 -0
  177. /package/{generated-src → dist/generated-src}/types/standalone/StrategyResource.js +0 -0
  178. /package/{generated-src → dist/generated-src}/types/standalone/StrategyTraceResource.d.ts +0 -0
  179. /package/{generated-src → dist/generated-src}/types/standalone/StrategyTraceResource.js +0 -0
  180. /package/{generated-src → dist/generated-src}/types/standalone/SuiteResource.d.ts +0 -0
  181. /package/{generated-src → dist/generated-src}/types/standalone/SuiteResource.js +0 -0
  182. /package/{generated-src → dist/generated-src}/types/standalone/ToolResource.d.ts +0 -0
  183. /package/{generated-src → dist/generated-src}/types/standalone/ToolResource.js +0 -0
  184. /package/{generated-src → dist/generated-src}/types/types.d.ts +0 -0
  185. /package/{generated-src → dist/generated-src}/types/types.js +0 -0
@@ -1,637 +0,0 @@
1
- {
2
- "$schema": "https://json-schema.org/draft/2020-12/schema",
3
- "oneOf": [
4
- {
5
- "$ref": "#/$defs/UnthreadedStrategy"
6
- },
7
- {
8
- "$ref": "#/$defs/ThreadedStrategy"
9
- }
10
- ],
11
- "$defs": {
12
- "UnthreadedStrategy": {
13
- "$schema": "https://json-schema.org/draft/2020-12/schema",
14
- "type": "object",
15
- "allOf": [
16
- {
17
- "$ref": "#/$defs/BaseStrategy"
18
- },
19
- {
20
- "type": "object",
21
- "properties": {
22
- "strategyKind": {
23
- "const": "unthreaded"
24
- }
25
- }
26
- },
27
- {
28
- "$ref": "#/$defs/StepsFacet"
29
- },
30
- {
31
- "$ref": "#/$defs/UnthreadedStrategyStateFacet"
32
- }
33
- ],
34
- "unevaluatedProperties": false
35
- },
36
- "ThreadedStrategy": {
37
- "$schema": "https://json-schema.org/draft/2020-12/schema",
38
- "type": "object",
39
- "allOf": [
40
- {
41
- "$ref": "#/$defs/BaseStrategy"
42
- },
43
- {
44
- "type": "object",
45
- "properties": {
46
- "strategyKind": {
47
- "const": "threaded"
48
- }
49
- }
50
- },
51
- {
52
- "$ref": "#/$defs/StepsByThreadIndexFacet"
53
- },
54
- {
55
- "$ref": "#/$defs/ThreadedStrategyStateFacet"
56
- }
57
- ],
58
- "unevaluatedProperties": false
59
- },
60
- "BaseStrategy": {
61
- "$schema": "https://json-schema.org/draft/2020-12/schema",
62
- "type": "object",
63
- "required": [
64
- "handle",
65
- "strategyKind"
66
- ],
67
- "properties": {
68
- "handle": {
69
- "$ref": "#/$defs/StrategyHandle"
70
- },
71
- "strategyKind": {
72
- "$ref": "#/$defs/StrategyKind"
73
- }
74
- }
75
- },
76
- "StepsFacet": {
77
- "$schema": "https://json-schema.org/draft/2020-12/schema",
78
- "type": "object",
79
- "required": [
80
- "steps"
81
- ],
82
- "properties": {
83
- "steps": {
84
- "$ref": "#/$defs/StepArray"
85
- }
86
- }
87
- },
88
- "UnthreadedStrategyStateFacet": {
89
- "$schema": "https://json-schema.org/draft/2020-12/schema",
90
- "type": "object",
91
- "required": [
92
- "strategyState"
93
- ],
94
- "properties": {
95
- "strategyState": {
96
- "$ref": "#/$defs/UnthreadedStrategyState"
97
- }
98
- }
99
- },
100
- "StepsByThreadIndexFacet": {
101
- "$schema": "https://json-schema.org/draft/2020-12/schema",
102
- "type": "object",
103
- "required": [
104
- "stepsByThreadIndex"
105
- ],
106
- "properties": {
107
- "stepsByThreadIndex": {
108
- "$ref": "#/$defs/StepArrayArray"
109
- }
110
- }
111
- },
112
- "ThreadedStrategyStateFacet": {
113
- "$schema": "https://json-schema.org/draft/2020-12/schema",
114
- "type": "object",
115
- "required": [
116
- "strategyState"
117
- ],
118
- "properties": {
119
- "strategyState": {
120
- "$ref": "#/$defs/ThreadedStrategyState"
121
- }
122
- }
123
- },
124
- "StrategyHandle": {
125
- "$schema": "https://json-schema.org/draft/2020-12/schema",
126
- "type": "string",
127
- "pattern": "^STRATEGY-.+$"
128
- },
129
- "StrategyKind": {
130
- "$schema": "https://json-schema.org/draft/2020-12/schema",
131
- "type": "string",
132
- "enum": [
133
- "unthreaded",
134
- "threaded"
135
- ]
136
- },
137
- "StepArray": {
138
- "$schema": "https://json-schema.org/draft/2020-12/schema",
139
- "type": "array",
140
- "items": {
141
- "$ref": "#/$defs/Step"
142
- },
143
- "uniqueItems": true
144
- },
145
- "UnthreadedStrategyState": {
146
- "$schema": "https://json-schema.org/draft/2020-12/schema",
147
- "type": "object",
148
- "propertyNames": {
149
- "$ref": "#/$defs/UnthreadedToolStepPath"
150
- },
151
- "additionalProperties": {
152
- "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
153
- }
154
- },
155
- "StepArrayArray": {
156
- "$schema": "https://json-schema.org/draft/2020-12/schema",
157
- "type": "array",
158
- "items": {
159
- "$ref": "#/$defs/StepArray"
160
- }
161
- },
162
- "ThreadedStrategyState": {
163
- "$schema": "https://json-schema.org/draft/2020-12/schema",
164
- "type": "object",
165
- "propertyNames": {
166
- "$ref": "#/$defs/ThreadedToolStepPath"
167
- },
168
- "additionalProperties": {
169
- "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
170
- }
171
- },
172
- "Step": {
173
- "$schema": "https://json-schema.org/draft/2020-12/schema",
174
- "type": "object",
175
- "oneOf": [
176
- {
177
- "$ref": "#/$defs/ToolStep"
178
- },
179
- {
180
- "$ref": "#/$defs/BranchStep"
181
- },
182
- {
183
- "$ref": "#/$defs/WhileStep"
184
- },
185
- {
186
- "$ref": "#/$defs/ForStep"
187
- }
188
- ],
189
- "unevaluatedProperties": false
190
- },
191
- "UnthreadedToolStepPath": {
192
- "type": "string",
193
- "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
194
- },
195
- "StrategyStateInputEntryByRoleName": {
196
- "$schema": "https://json-schema.org/draft/2020-12/schema",
197
- "type": "object",
198
- "propertyNames": {
199
- "$ref": "#/$defs/RoleName"
200
- },
201
- "additionalProperties": {
202
- "$ref": "#/$defs/StrategyStateInputEntry"
203
- }
204
- },
205
- "ThreadedToolStepPath": {
206
- "type": "string",
207
- "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
208
- },
209
- "ToolStep": {
210
- "$schema": "https://json-schema.org/draft/2020-12/schema",
211
- "type": "object",
212
- "required": [
213
- "stepKind",
214
- "toolHandle"
215
- ],
216
- "properties": {
217
- "stepKind": {
218
- "const": "tool"
219
- },
220
- "toolHandle": {
221
- "$ref": "#/$defs/ToolHandle"
222
- }
223
- },
224
- "allOf": [
225
- {
226
- "$ref": "#/$defs/StepKindFacet"
227
- },
228
- {
229
- "$comment": "This will be overlaid dynamically to specify roleBindingSpec corresponding to the roleSpec of the underlying tool.",
230
- "$ref": "#/$defs/RoleBindingSpecFacet"
231
- }
232
- ]
233
- },
234
- "BranchStep": {
235
- "$schema": "https://json-schema.org/draft/2020-12/schema",
236
- "type": "object",
237
- "required": [
238
- "stepKind",
239
- "cases"
240
- ],
241
- "properties": {
242
- "stepKind": {
243
- "const": "branch"
244
- },
245
- "cases": {
246
- "type": "array",
247
- "items": {
248
- "$ref": "#/$defs/Case"
249
- },
250
- "minItems": 1,
251
- "uniqueItems": true
252
- }
253
- },
254
- "allOf": [
255
- {
256
- "$ref": "#/$defs/StepKindFacet"
257
- }
258
- ]
259
- },
260
- "WhileStep": {
261
- "$schema": "https://json-schema.org/draft/2020-12/schema",
262
- "type": "object",
263
- "required": [
264
- "stepKind",
265
- "case"
266
- ],
267
- "properties": {
268
- "stepKind": {
269
- "const": "while"
270
- },
271
- "case": {
272
- "$ref": "#/$defs/Case"
273
- }
274
- },
275
- "allOf": [
276
- {
277
- "$ref": "#/$defs/StepKindFacet"
278
- }
279
- ]
280
- },
281
- "ForStep": {
282
- "$schema": "https://json-schema.org/draft/2020-12/schema",
283
- "type": "object",
284
- "required": [
285
- "stepKind",
286
- "case"
287
- ],
288
- "properties": {
289
- "stepKind": {
290
- "const": "for"
291
- },
292
- "case": {
293
- "$ref": "#/$defs/Case"
294
- }
295
- },
296
- "allOf": [
297
- {
298
- "$ref": "#/$defs/StepKindFacet"
299
- }
300
- ]
301
- },
302
- "RoleName": {
303
- "$schema": "https://json-schema.org/draft/2020-12/schema",
304
- "$ref": "#/$defs/Name"
305
- },
306
- "StrategyStateInputEntry": {
307
- "$schema": "https://json-schema.org/draft/2020-12/schema",
308
- "oneOf": [
309
- {
310
- "$ref": "#/$defs/InputPotential"
311
- },
312
- {
313
- "$ref": "#/$defs/InputResource"
314
- }
315
- ]
316
- },
317
- "ToolHandle": {
318
- "$schema": "https://json-schema.org/draft/2020-12/schema",
319
- "type": "string",
320
- "pattern": "^TOOL-.+$"
321
- },
322
- "StepKindFacet": {
323
- "$schema": "https://json-schema.org/draft/2020-12/schema",
324
- "type": "object",
325
- "required": [
326
- "stepKind"
327
- ],
328
- "properties": {
329
- "stepKind": {
330
- "$ref": "#/$defs/StepKind"
331
- }
332
- }
333
- },
334
- "RoleBindingSpecFacet": {
335
- "$schema": "https://json-schema.org/draft/2020-12/schema",
336
- "type": "object",
337
- "required": [
338
- "roleBindingSpec"
339
- ],
340
- "properties": {
341
- "roleBindingSpec": {
342
- "$ref": "#/$defs/RoleBindingSpec"
343
- }
344
- }
345
- },
346
- "Case": {
347
- "$schema": "https://json-schema.org/draft/2020-12/schema",
348
- "type": "object",
349
- "required": [
350
- "when",
351
- "what"
352
- ],
353
- "properties": {
354
- "when": {
355
- "$ref": "#/$defs/ToolStep"
356
- },
357
- "what": {
358
- "$ref": "#/$defs/ToolStep"
359
- }
360
- },
361
- "unevaluatedProperties": false
362
- },
363
- "Name": {
364
- "$schema": "https://json-schema.org/draft/2020-12/schema",
365
- "type": "string",
366
- "minLength": 1,
367
- "pattern": "^[A-Z][a-zA-Z0-9]*$",
368
- "$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
369
- "semanticValidation": "Ajv custom keyword to verify name."
370
- },
371
- "InputPotential": {
372
- "$schema": "https://json-schema.org/draft/2020-12/schema",
373
- "oneOf": [
374
- {
375
- "$ref": "#/$defs/ExternalInputPotential"
376
- },
377
- {
378
- "$ref": "#/$defs/InternalInputPotential"
379
- }
380
- ]
381
- },
382
- "InputResource": {
383
- "$schema": "https://json-schema.org/draft/2020-12/schema",
384
- "type": "object",
385
- "required": [
386
- "strategyStateInputKind"
387
- ],
388
- "properties": {
389
- "strategyStateInputKind": {
390
- "const": "inputResource"
391
- }
392
- },
393
- "allOf": [
394
- {
395
- "$ref": "#/$defs/BaseResource"
396
- }
397
- ],
398
- "unevaluatedProperties": false
399
- },
400
- "StepKind": {
401
- "$schema": "https://json-schema.org/draft/2020-12/schema",
402
- "type": "string",
403
- "enum": [
404
- "tool",
405
- "branch",
406
- "while",
407
- "for"
408
- ]
409
- },
410
- "RoleBindingSpec": {
411
- "$schema": "https://json-schema.org/draft/2020-12/schema",
412
- "type": "object",
413
- "required": [
414
- "inputBindings",
415
- "outputBindings"
416
- ],
417
- "properties": {
418
- "inputBindings": {
419
- "$ref": "#/$defs/RoleNameArray"
420
- },
421
- "outputBindings": {
422
- "$ref": "#/$defs/RoleNameArray"
423
- }
424
- },
425
- "unevaluatedProperties": false
426
- },
427
- "ExternalInputPotential": {
428
- "$schema": "https://json-schema.org/draft/2020-12/schema",
429
- "type": "object",
430
- "required": [
431
- "strategyStateInputKind",
432
- "id",
433
- "resourceTypeHandle"
434
- ],
435
- "properties": {
436
- "strategyStateInputKind": {
437
- "const": "externalInputPotential"
438
- },
439
- "id": {
440
- "$ref": "#/$defs/ResourceId"
441
- },
442
- "resourceTypeHandle": {
443
- "$ref": "#/$defs/ResourceTypeHandle"
444
- }
445
- },
446
- "unevaluatedProperties": false
447
- },
448
- "InternalInputPotential": {
449
- "$schema": "https://json-schema.org/draft/2020-12/schema",
450
- "type": "object",
451
- "required": [
452
- "strategyStateInputKind",
453
- "id",
454
- "resourceTypeHandle",
455
- "provenance"
456
- ],
457
- "properties": {
458
- "strategyStateInputKind": {
459
- "const": "internalInputPotential"
460
- },
461
- "id": {
462
- "$ref": "#/$defs/ResourceId"
463
- },
464
- "resourceTypeHandle": {
465
- "$ref": "#/$defs/ResourceTypeHandle"
466
- },
467
- "provenance": {
468
- "$ref": "#/$defs/DeferredStrategyProvenance"
469
- }
470
- },
471
- "unevaluatedProperties": false
472
- },
473
- "BaseResource": {
474
- "$schema": "https://json-schema.org/draft/2020-12/schema",
475
- "type": "object",
476
- "required": [
477
- "projection"
478
- ],
479
- "properties": {
480
- "projection": true
481
- },
482
- "$comment": "The projection field stores the Core-visible JSON projection of the Resource, not the raw underlying artifact. This will be overlaid dynamically to match the data structure of the underlying ResourceType's projectionSchema.",
483
- "allOf": [
484
- {
485
- "$ref": "#/$defs/ResourcePointer"
486
- }
487
- ]
488
- },
489
- "RoleNameArray": {
490
- "$schema": "https://json-schema.org/draft/2020-12/schema",
491
- "type": "array",
492
- "items": {
493
- "$ref": "#/$defs/RoleName"
494
- }
495
- },
496
- "ResourceId": {
497
- "$schema": "https://json-schema.org/draft/2020-12/schema",
498
- "type": "string",
499
- "pattern": "^RESOURCE-.+$"
500
- },
501
- "ResourceTypeHandle": {
502
- "$schema": "https://json-schema.org/draft/2020-12/schema",
503
- "type": "string",
504
- "pattern": "^TYPE-.+$"
505
- },
506
- "DeferredStrategyProvenance": {
507
- "$schema": "https://json-schema.org/draft/2020-12/schema",
508
- "$comment": "Build-time strategy provenance without strategyTraceHandle. strategyTraceHandle is only known at runtime.",
509
- "type": "object",
510
- "required": [
511
- "provenanceKind",
512
- "outputAddress"
513
- ],
514
- "properties": {
515
- "provenanceKind": {
516
- "const": "strategy"
517
- },
518
- "outputAddress": {
519
- "$ref": "#/$defs/OutputAddress"
520
- }
521
- },
522
- "unevaluatedProperties": false
523
- },
524
- "ResourcePointer": {
525
- "$schema": "https://json-schema.org/draft/2020-12/schema",
526
- "type": "object",
527
- "required": [
528
- "id",
529
- "resourceTypeHandle"
530
- ],
531
- "properties": {
532
- "id": {
533
- "$ref": "#/$defs/ResourceId"
534
- },
535
- "resourceTypeHandle": {
536
- "$ref": "#/$defs/ResourceTypeHandle"
537
- }
538
- },
539
- "allOf": [
540
- {
541
- "$ref": "#/$defs/ProvenanceFacet"
542
- }
543
- ],
544
- "unevaluatedProperties": false
545
- },
546
- "OutputAddress": {
547
- "$schema": "https://json-schema.org/draft/2020-12/schema",
548
- "type": "object",
549
- "required": [
550
- "roleName",
551
- "toolStepPath"
552
- ],
553
- "properties": {
554
- "roleName": {
555
- "$ref": "#/$defs/RoleName"
556
- },
557
- "toolStepPath": {
558
- "$ref": "#/$defs/ToolStepPath"
559
- }
560
- },
561
- "unevaluatedProperties": false
562
- },
563
- "ProvenanceFacet": {
564
- "$schema": "https://json-schema.org/draft/2020-12/schema",
565
- "type": "object",
566
- "required": [
567
- "provenance"
568
- ],
569
- "properties": {
570
- "provenance": {
571
- "$ref": "#/$defs/Provenance"
572
- }
573
- }
574
- },
575
- "ToolStepPath": {
576
- "$schema": "https://json-schema.org/draft/2020-12/schema",
577
- "oneOf": [
578
- {
579
- "$ref": "#/$defs/UnthreadedToolStepPath"
580
- },
581
- {
582
- "$ref": "#/$defs/ThreadedToolStepPath"
583
- }
584
- ]
585
- },
586
- "Provenance": {
587
- "$schema": "https://json-schema.org/draft/2020-12/schema",
588
- "oneOf": [
589
- {
590
- "$ref": "#/$defs/GenesisProvenance"
591
- },
592
- {
593
- "$ref": "#/$defs/StrategyProvenance"
594
- }
595
- ]
596
- },
597
- "GenesisProvenance": {
598
- "$schema": "https://json-schema.org/draft/2020-12/schema",
599
- "type": "object",
600
- "required": [
601
- "provenanceKind"
602
- ],
603
- "properties": {
604
- "provenanceKind": {
605
- "const": "genesis"
606
- }
607
- },
608
- "unevaluatedProperties": false
609
- },
610
- "StrategyProvenance": {
611
- "$schema": "https://json-schema.org/draft/2020-12/schema",
612
- "type": "object",
613
- "required": [
614
- "provenanceKind",
615
- "strategyTraceHandle",
616
- "outputAddress"
617
- ],
618
- "properties": {
619
- "provenanceKind": {
620
- "const": "strategy"
621
- },
622
- "strategyTraceHandle": {
623
- "$ref": "#/$defs/StrategyTraceHandle"
624
- },
625
- "outputAddress": {
626
- "$ref": "#/$defs/OutputAddress"
627
- }
628
- },
629
- "unevaluatedProperties": false
630
- },
631
- "StrategyTraceHandle": {
632
- "$schema": "https://json-schema.org/draft/2020-12/schema",
633
- "type": "string",
634
- "pattern": "^STRATEGY_TRACE-.+$"
635
- }
636
- }
637
- }