@toolproof-core/genesis 1.0.56 → 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 +10 -24
- package/dist/generated-src/lookups/constants.js +10 -24
- package/dist/generated-src/schemas/schemas.json +57 -181
- package/dist/generated-src/schemas/standalone/Resource.json +2 -17
- package/dist/generated-src/schemas/standalone/Strategy.json +101 -215
- package/dist/generated-src/schemas/standalone/StrategyTrace.json +56 -97
- 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 +1 -3
- package/dist/generated-src/schemas/zod/Strategy.d.ts +0 -6
- package/dist/generated-src/schemas/zod/Strategy.js +7 -27
- package/dist/generated-src/schemas/zod/StrategyTrace.d.ts +0 -6
- package/dist/generated-src/schemas/zod/StrategyTrace.js +16 -28
- 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 +36 -119
- 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 +7 -37
- 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,8 +2,6 @@ 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";
|
|
@@ -19,12 +17,9 @@ declare const CONSTANTS: {
|
|
|
19
17
|
readonly GenesisProvenance: "GenesisProvenance";
|
|
20
18
|
readonly Goal: "Goal";
|
|
21
19
|
readonly GoalHandle: "GoalHandle";
|
|
22
|
-
readonly GraphEndTracePoint: "GraphEndTracePoint";
|
|
23
|
-
readonly GraphStartTracePoint: "GraphStartTracePoint";
|
|
24
20
|
readonly InputPotential: "InputPotential";
|
|
25
21
|
readonly InputResource: "InputResource";
|
|
26
22
|
readonly InternalInputPotential: "InternalInputPotential";
|
|
27
|
-
readonly InterruptTracePoint: "InterruptTracePoint";
|
|
28
23
|
readonly JsonScalarLink: "JsonScalarLink";
|
|
29
24
|
readonly JsonSchemaObject: "JsonSchemaObject";
|
|
30
25
|
readonly Name: "Name";
|
|
@@ -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: {
|
|
@@ -176,20 +166,16 @@ declare const CONSTANTS: {
|
|
|
176
166
|
readonly while: "while";
|
|
177
167
|
readonly for: "for";
|
|
178
168
|
};
|
|
179
|
-
readonly StrategyKind: {
|
|
180
|
-
readonly unthreaded: "unthreaded";
|
|
181
|
-
readonly threaded: "threaded";
|
|
182
|
-
};
|
|
183
169
|
readonly StrategyStateInputKind: {
|
|
184
170
|
readonly inputResource: "inputResource";
|
|
185
171
|
readonly externalInputPotential: "externalInputPotential";
|
|
186
172
|
readonly internalInputPotential: "internalInputPotential";
|
|
187
173
|
};
|
|
188
174
|
readonly TracePointKind: {
|
|
189
|
-
readonly
|
|
175
|
+
readonly strategy_start: "strategy_start";
|
|
190
176
|
readonly tick: "tick";
|
|
191
|
-
readonly
|
|
192
|
-
readonly
|
|
177
|
+
readonly suspended: "suspended";
|
|
178
|
+
readonly strategy_end: "strategy_end";
|
|
193
179
|
};
|
|
194
180
|
};
|
|
195
181
|
};
|
|
@@ -2,8 +2,6 @@ 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',
|
|
@@ -19,12 +17,9 @@ const CONSTANTS = {
|
|
|
19
17
|
GenesisProvenance: 'GenesisProvenance',
|
|
20
18
|
Goal: 'Goal',
|
|
21
19
|
GoalHandle: 'GoalHandle',
|
|
22
|
-
GraphEndTracePoint: 'GraphEndTracePoint',
|
|
23
|
-
GraphStartTracePoint: 'GraphStartTracePoint',
|
|
24
20
|
InputPotential: 'InputPotential',
|
|
25
21
|
InputResource: 'InputResource',
|
|
26
22
|
InternalInputPotential: 'InternalInputPotential',
|
|
27
|
-
InterruptTracePoint: 'InterruptTracePoint',
|
|
28
23
|
JsonScalarLink: 'JsonScalarLink',
|
|
29
24
|
JsonSchemaObject: 'JsonSchemaObject',
|
|
30
25
|
Name: 'Name',
|
|
@@ -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: {
|
|
@@ -176,20 +166,16 @@ const CONSTANTS = {
|
|
|
176
166
|
while: 'while',
|
|
177
167
|
for: 'for',
|
|
178
168
|
},
|
|
179
|
-
StrategyKind: {
|
|
180
|
-
unthreaded: 'unthreaded',
|
|
181
|
-
threaded: 'threaded',
|
|
182
|
-
},
|
|
183
169
|
StrategyStateInputKind: {
|
|
184
170
|
inputResource: 'inputResource',
|
|
185
171
|
externalInputPotential: 'externalInputPotential',
|
|
186
172
|
internalInputPotential: 'internalInputPotential',
|
|
187
173
|
},
|
|
188
174
|
TracePointKind: {
|
|
189
|
-
|
|
175
|
+
strategy_start: 'strategy_start',
|
|
190
176
|
tick: 'tick',
|
|
191
|
-
|
|
192
|
-
|
|
177
|
+
suspended: 'suspended',
|
|
178
|
+
strategy_end: 'strategy_end',
|
|
193
179
|
},
|
|
194
180
|
}
|
|
195
181
|
};
|