@toolproof-core/genesis 1.0.55 → 1.0.58
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.
- package/dist/generated-src/declarations/resourceTypes.json +12 -3
- package/dist/generated-src/lookups/constants.d.ts +12 -25
- package/dist/generated-src/lookups/constants.js +12 -25
- package/dist/generated-src/schemas/schemas.json +73 -214
- package/dist/generated-src/schemas/standalone/Resource.json +18 -17
- package/dist/generated-src/schemas/standalone/Strategy.json +129 -261
- package/dist/generated-src/schemas/standalone/StrategyTrace.json +91 -150
- package/dist/generated-src/schemas/standalone/Suite.json +1 -2
- package/dist/generated-src/schemas/standalone/Tool.json +1 -2
- package/dist/generated-src/schemas/zod/Resource.js +3 -4
- package/dist/generated-src/schemas/zod/Strategy.d.ts +0 -6
- package/dist/generated-src/schemas/zod/Strategy.js +11 -31
- package/dist/generated-src/schemas/zod/StrategyTrace.d.ts +0 -6
- package/dist/generated-src/schemas/zod/StrategyTrace.js +20 -32
- package/dist/generated-src/timestampedResources/booleans.json +2 -2
- package/dist/generated-src/timestampedResources/naturals.json +11 -11
- package/dist/generated-src/timestampedResources/resourceTypes.json +22 -13
- package/dist/generated-src/timestampedResources/tools.json +15 -15
- package/dist/generated-src/types/types.d.ts +48 -124
- package/dist/src/index.d.ts +1 -1
- package/dist/src/utils/standaloneZodSchemas.js +6 -6
- package/dist/src/utils/timestampedResources.d.ts +1 -1
- package/dist/src/utils/timestampedResources.js +1 -1
- package/dist/src/utils/typeGenerationPostProcess.js +20 -6
- package/dist/src/utils/zodCodegen.d.ts +1 -1
- package/dist/src/utils/zodCodegen.js +7 -7
- package/package.json +1 -1
|
@@ -250,12 +250,21 @@
|
|
|
250
250
|
"description": "",
|
|
251
251
|
"projectionSchema": {
|
|
252
252
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
253
|
-
"
|
|
253
|
+
"type": "object",
|
|
254
|
+
"required": [
|
|
255
|
+
"handle"
|
|
256
|
+
],
|
|
257
|
+
"properties": {
|
|
258
|
+
"handle": {
|
|
259
|
+
"$ref": "#/$defs/StrategyHandle"
|
|
260
|
+
}
|
|
261
|
+
},
|
|
262
|
+
"allOf": [
|
|
254
263
|
{
|
|
255
|
-
"$ref": "#/$defs/
|
|
264
|
+
"$ref": "#/$defs/StepsByThreadIndexFacet"
|
|
256
265
|
},
|
|
257
266
|
{
|
|
258
|
-
"$ref": "#/$defs/
|
|
267
|
+
"$ref": "#/$defs/StrategyStateFacet"
|
|
259
268
|
}
|
|
260
269
|
]
|
|
261
270
|
}
|
|
@@ -2,14 +2,11 @@ declare const CONSTANTS: {
|
|
|
2
2
|
readonly Names: {
|
|
3
3
|
readonly AtomicTypeRef: "AtomicTypeRef";
|
|
4
4
|
readonly BaseResource: "BaseResource";
|
|
5
|
-
readonly BaseStrategy: "BaseStrategy";
|
|
6
|
-
readonly BaseToolStepPathSpec: "BaseToolStepPathSpec";
|
|
7
5
|
readonly BaseTracePoint: "BaseTracePoint";
|
|
8
6
|
readonly Boolean: "Boolean";
|
|
9
7
|
readonly BranchStep: "BranchStep";
|
|
10
8
|
readonly Case: "Case";
|
|
11
9
|
readonly ContainerKind: "ContainerKind";
|
|
12
|
-
readonly DeferredStrategyProvenance: "DeferredStrategyProvenance";
|
|
13
10
|
readonly Description: "Description";
|
|
14
11
|
readonly DescriptionFacet: "DescriptionFacet";
|
|
15
12
|
readonly DocumentationSpec: "DocumentationSpec";
|
|
@@ -20,12 +17,9 @@ declare const CONSTANTS: {
|
|
|
20
17
|
readonly GenesisProvenance: "GenesisProvenance";
|
|
21
18
|
readonly Goal: "Goal";
|
|
22
19
|
readonly GoalHandle: "GoalHandle";
|
|
23
|
-
readonly GraphEndTracePoint: "GraphEndTracePoint";
|
|
24
|
-
readonly GraphStartTracePoint: "GraphStartTracePoint";
|
|
25
20
|
readonly InputPotential: "InputPotential";
|
|
26
21
|
readonly InputResource: "InputResource";
|
|
27
22
|
readonly InternalInputPotential: "InternalInputPotential";
|
|
28
|
-
readonly InterruptTracePoint: "InterruptTracePoint";
|
|
29
23
|
readonly JsonScalarLink: "JsonScalarLink";
|
|
30
24
|
readonly JsonSchemaObject: "JsonSchemaObject";
|
|
31
25
|
readonly Name: "Name";
|
|
@@ -47,6 +41,7 @@ declare const CONSTANTS: {
|
|
|
47
41
|
readonly RoleSpecFacet: "RoleSpecFacet";
|
|
48
42
|
readonly RoleValue: "RoleValue";
|
|
49
43
|
readonly RoleValueByName: "RoleValueByName";
|
|
44
|
+
readonly RuntimeProvenance: "RuntimeProvenance";
|
|
50
45
|
readonly Step: "Step";
|
|
51
46
|
readonly StepArray: "StepArray";
|
|
52
47
|
readonly StepArrayArray: "StepArrayArray";
|
|
@@ -55,9 +50,13 @@ declare const CONSTANTS: {
|
|
|
55
50
|
readonly StepsByThreadIndexFacet: "StepsByThreadIndexFacet";
|
|
56
51
|
readonly StepsFacet: "StepsFacet";
|
|
57
52
|
readonly Strategy: "Strategy";
|
|
53
|
+
readonly StrategyEndTracePoint: "StrategyEndTracePoint";
|
|
54
|
+
readonly StrategyFacet: "StrategyFacet";
|
|
58
55
|
readonly StrategyHandle: "StrategyHandle";
|
|
59
|
-
readonly StrategyKind: "StrategyKind";
|
|
60
56
|
readonly StrategyProvenance: "StrategyProvenance";
|
|
57
|
+
readonly StrategyStartTracePoint: "StrategyStartTracePoint";
|
|
58
|
+
readonly StrategyState: "StrategyState";
|
|
59
|
+
readonly StrategyStateFacet: "StrategyStateFacet";
|
|
61
60
|
readonly StrategyStateInputEntry: "StrategyStateInputEntry";
|
|
62
61
|
readonly StrategyStateInputEntryByRoleName: "StrategyStateInputEntryByRoleName";
|
|
63
62
|
readonly StrategyStateInputKind: "StrategyStateInputKind";
|
|
@@ -65,12 +64,7 @@ declare const CONSTANTS: {
|
|
|
65
64
|
readonly StrategyTraceHandle: "StrategyTraceHandle";
|
|
66
65
|
readonly Suite: "Suite";
|
|
67
66
|
readonly SuiteIngestorInputSchema: "SuiteIngestorInputSchema";
|
|
68
|
-
readonly
|
|
69
|
-
readonly ThreadedStrategyFacet: "ThreadedStrategyFacet";
|
|
70
|
-
readonly ThreadedStrategyState: "ThreadedStrategyState";
|
|
71
|
-
readonly ThreadedStrategyStateFacet: "ThreadedStrategyStateFacet";
|
|
72
|
-
readonly ThreadedToolStepPath: "ThreadedToolStepPath";
|
|
73
|
-
readonly ThreadedToolStepPathSpec: "ThreadedToolStepPathSpec";
|
|
67
|
+
readonly SuspendedTracePoint: "SuspendedTracePoint";
|
|
74
68
|
readonly TickTracePoint: "TickTracePoint";
|
|
75
69
|
readonly TimestampedResource: "TimestampedResource";
|
|
76
70
|
readonly Tool: "Tool";
|
|
@@ -79,17 +73,13 @@ declare const CONSTANTS: {
|
|
|
79
73
|
readonly ToolStepPath: "ToolStepPath";
|
|
80
74
|
readonly ToolStepPathSlot: "ToolStepPathSlot";
|
|
81
75
|
readonly ToolStepPathSlotFacet: "ToolStepPathSlotFacet";
|
|
76
|
+
readonly ToolStepPathSpec: "ToolStepPathSpec";
|
|
82
77
|
readonly ToolStepRoleAddress: "ToolStepRoleAddress";
|
|
83
78
|
readonly TracePoint: "TracePoint";
|
|
84
79
|
readonly TracePointCounterSnapshot: "TracePointCounterSnapshot";
|
|
85
80
|
readonly TracePointDelta: "TracePointDelta";
|
|
86
81
|
readonly TracePointKind: "TracePointKind";
|
|
87
82
|
readonly TypeRef: "TypeRef";
|
|
88
|
-
readonly UnthreadedStrategy: "UnthreadedStrategy";
|
|
89
|
-
readonly UnthreadedStrategyState: "UnthreadedStrategyState";
|
|
90
|
-
readonly UnthreadedStrategyStateFacet: "UnthreadedStrategyStateFacet";
|
|
91
|
-
readonly UnthreadedToolStepPath: "UnthreadedToolStepPath";
|
|
92
|
-
readonly UnthreadedToolStepPathSpec: "UnthreadedToolStepPathSpec";
|
|
93
83
|
readonly WhileStep: "WhileStep";
|
|
94
84
|
};
|
|
95
85
|
readonly Handles: {
|
|
@@ -167,6 +157,7 @@ declare const CONSTANTS: {
|
|
|
167
157
|
};
|
|
168
158
|
readonly ProvenanceKind: {
|
|
169
159
|
readonly genesis: "genesis";
|
|
160
|
+
readonly runtime: "runtime";
|
|
170
161
|
readonly strategy: "strategy";
|
|
171
162
|
};
|
|
172
163
|
readonly StepKind: {
|
|
@@ -175,20 +166,16 @@ declare const CONSTANTS: {
|
|
|
175
166
|
readonly while: "while";
|
|
176
167
|
readonly for: "for";
|
|
177
168
|
};
|
|
178
|
-
readonly StrategyKind: {
|
|
179
|
-
readonly unthreaded: "unthreaded";
|
|
180
|
-
readonly threaded: "threaded";
|
|
181
|
-
};
|
|
182
169
|
readonly StrategyStateInputKind: {
|
|
183
170
|
readonly inputResource: "inputResource";
|
|
184
171
|
readonly externalInputPotential: "externalInputPotential";
|
|
185
172
|
readonly internalInputPotential: "internalInputPotential";
|
|
186
173
|
};
|
|
187
174
|
readonly TracePointKind: {
|
|
188
|
-
readonly
|
|
175
|
+
readonly strategy_start: "strategy_start";
|
|
189
176
|
readonly tick: "tick";
|
|
190
|
-
readonly
|
|
191
|
-
readonly
|
|
177
|
+
readonly suspended: "suspended";
|
|
178
|
+
readonly strategy_end: "strategy_end";
|
|
192
179
|
};
|
|
193
180
|
};
|
|
194
181
|
};
|
|
@@ -2,14 +2,11 @@ const CONSTANTS = {
|
|
|
2
2
|
Names: {
|
|
3
3
|
AtomicTypeRef: 'AtomicTypeRef',
|
|
4
4
|
BaseResource: 'BaseResource',
|
|
5
|
-
BaseStrategy: 'BaseStrategy',
|
|
6
|
-
BaseToolStepPathSpec: 'BaseToolStepPathSpec',
|
|
7
5
|
BaseTracePoint: 'BaseTracePoint',
|
|
8
6
|
Boolean: 'Boolean',
|
|
9
7
|
BranchStep: 'BranchStep',
|
|
10
8
|
Case: 'Case',
|
|
11
9
|
ContainerKind: 'ContainerKind',
|
|
12
|
-
DeferredStrategyProvenance: 'DeferredStrategyProvenance',
|
|
13
10
|
Description: 'Description',
|
|
14
11
|
DescriptionFacet: 'DescriptionFacet',
|
|
15
12
|
DocumentationSpec: 'DocumentationSpec',
|
|
@@ -20,12 +17,9 @@ const CONSTANTS = {
|
|
|
20
17
|
GenesisProvenance: 'GenesisProvenance',
|
|
21
18
|
Goal: 'Goal',
|
|
22
19
|
GoalHandle: 'GoalHandle',
|
|
23
|
-
GraphEndTracePoint: 'GraphEndTracePoint',
|
|
24
|
-
GraphStartTracePoint: 'GraphStartTracePoint',
|
|
25
20
|
InputPotential: 'InputPotential',
|
|
26
21
|
InputResource: 'InputResource',
|
|
27
22
|
InternalInputPotential: 'InternalInputPotential',
|
|
28
|
-
InterruptTracePoint: 'InterruptTracePoint',
|
|
29
23
|
JsonScalarLink: 'JsonScalarLink',
|
|
30
24
|
JsonSchemaObject: 'JsonSchemaObject',
|
|
31
25
|
Name: 'Name',
|
|
@@ -47,6 +41,7 @@ const CONSTANTS = {
|
|
|
47
41
|
RoleSpecFacet: 'RoleSpecFacet',
|
|
48
42
|
RoleValue: 'RoleValue',
|
|
49
43
|
RoleValueByName: 'RoleValueByName',
|
|
44
|
+
RuntimeProvenance: 'RuntimeProvenance',
|
|
50
45
|
Step: 'Step',
|
|
51
46
|
StepArray: 'StepArray',
|
|
52
47
|
StepArrayArray: 'StepArrayArray',
|
|
@@ -55,9 +50,13 @@ const CONSTANTS = {
|
|
|
55
50
|
StepsByThreadIndexFacet: 'StepsByThreadIndexFacet',
|
|
56
51
|
StepsFacet: 'StepsFacet',
|
|
57
52
|
Strategy: 'Strategy',
|
|
53
|
+
StrategyEndTracePoint: 'StrategyEndTracePoint',
|
|
54
|
+
StrategyFacet: 'StrategyFacet',
|
|
58
55
|
StrategyHandle: 'StrategyHandle',
|
|
59
|
-
StrategyKind: 'StrategyKind',
|
|
60
56
|
StrategyProvenance: 'StrategyProvenance',
|
|
57
|
+
StrategyStartTracePoint: 'StrategyStartTracePoint',
|
|
58
|
+
StrategyState: 'StrategyState',
|
|
59
|
+
StrategyStateFacet: 'StrategyStateFacet',
|
|
61
60
|
StrategyStateInputEntry: 'StrategyStateInputEntry',
|
|
62
61
|
StrategyStateInputEntryByRoleName: 'StrategyStateInputEntryByRoleName',
|
|
63
62
|
StrategyStateInputKind: 'StrategyStateInputKind',
|
|
@@ -65,12 +64,7 @@ const CONSTANTS = {
|
|
|
65
64
|
StrategyTraceHandle: 'StrategyTraceHandle',
|
|
66
65
|
Suite: 'Suite',
|
|
67
66
|
SuiteIngestorInputSchema: 'SuiteIngestorInputSchema',
|
|
68
|
-
|
|
69
|
-
ThreadedStrategyFacet: 'ThreadedStrategyFacet',
|
|
70
|
-
ThreadedStrategyState: 'ThreadedStrategyState',
|
|
71
|
-
ThreadedStrategyStateFacet: 'ThreadedStrategyStateFacet',
|
|
72
|
-
ThreadedToolStepPath: 'ThreadedToolStepPath',
|
|
73
|
-
ThreadedToolStepPathSpec: 'ThreadedToolStepPathSpec',
|
|
67
|
+
SuspendedTracePoint: 'SuspendedTracePoint',
|
|
74
68
|
TickTracePoint: 'TickTracePoint',
|
|
75
69
|
TimestampedResource: 'TimestampedResource',
|
|
76
70
|
Tool: 'Tool',
|
|
@@ -79,17 +73,13 @@ const CONSTANTS = {
|
|
|
79
73
|
ToolStepPath: 'ToolStepPath',
|
|
80
74
|
ToolStepPathSlot: 'ToolStepPathSlot',
|
|
81
75
|
ToolStepPathSlotFacet: 'ToolStepPathSlotFacet',
|
|
76
|
+
ToolStepPathSpec: 'ToolStepPathSpec',
|
|
82
77
|
ToolStepRoleAddress: 'ToolStepRoleAddress',
|
|
83
78
|
TracePoint: 'TracePoint',
|
|
84
79
|
TracePointCounterSnapshot: 'TracePointCounterSnapshot',
|
|
85
80
|
TracePointDelta: 'TracePointDelta',
|
|
86
81
|
TracePointKind: 'TracePointKind',
|
|
87
82
|
TypeRef: 'TypeRef',
|
|
88
|
-
UnthreadedStrategy: 'UnthreadedStrategy',
|
|
89
|
-
UnthreadedStrategyState: 'UnthreadedStrategyState',
|
|
90
|
-
UnthreadedStrategyStateFacet: 'UnthreadedStrategyStateFacet',
|
|
91
|
-
UnthreadedToolStepPath: 'UnthreadedToolStepPath',
|
|
92
|
-
UnthreadedToolStepPathSpec: 'UnthreadedToolStepPathSpec',
|
|
93
83
|
WhileStep: 'WhileStep',
|
|
94
84
|
},
|
|
95
85
|
Handles: {
|
|
@@ -167,6 +157,7 @@ const CONSTANTS = {
|
|
|
167
157
|
},
|
|
168
158
|
ProvenanceKind: {
|
|
169
159
|
genesis: 'genesis',
|
|
160
|
+
runtime: 'runtime',
|
|
170
161
|
strategy: 'strategy',
|
|
171
162
|
},
|
|
172
163
|
StepKind: {
|
|
@@ -175,20 +166,16 @@ const CONSTANTS = {
|
|
|
175
166
|
while: 'while',
|
|
176
167
|
for: 'for',
|
|
177
168
|
},
|
|
178
|
-
StrategyKind: {
|
|
179
|
-
unthreaded: 'unthreaded',
|
|
180
|
-
threaded: 'threaded',
|
|
181
|
-
},
|
|
182
169
|
StrategyStateInputKind: {
|
|
183
170
|
inputResource: 'inputResource',
|
|
184
171
|
externalInputPotential: 'externalInputPotential',
|
|
185
172
|
internalInputPotential: 'internalInputPotential',
|
|
186
173
|
},
|
|
187
174
|
TracePointKind: {
|
|
188
|
-
|
|
175
|
+
strategy_start: 'strategy_start',
|
|
189
176
|
tick: 'tick',
|
|
190
|
-
|
|
191
|
-
|
|
177
|
+
suspended: 'suspended',
|
|
178
|
+
strategy_end: 'strategy_end',
|
|
192
179
|
},
|
|
193
180
|
}
|
|
194
181
|
};
|