@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.
Files changed (27) hide show
  1. package/dist/generated-src/declarations/resourceTypes.json +12 -3
  2. package/dist/generated-src/lookups/constants.d.ts +12 -25
  3. package/dist/generated-src/lookups/constants.js +12 -25
  4. package/dist/generated-src/schemas/schemas.json +73 -214
  5. package/dist/generated-src/schemas/standalone/Resource.json +18 -17
  6. package/dist/generated-src/schemas/standalone/Strategy.json +129 -261
  7. package/dist/generated-src/schemas/standalone/StrategyTrace.json +91 -150
  8. package/dist/generated-src/schemas/standalone/Suite.json +1 -2
  9. package/dist/generated-src/schemas/standalone/Tool.json +1 -2
  10. package/dist/generated-src/schemas/zod/Resource.js +3 -4
  11. package/dist/generated-src/schemas/zod/Strategy.d.ts +0 -6
  12. package/dist/generated-src/schemas/zod/Strategy.js +11 -31
  13. package/dist/generated-src/schemas/zod/StrategyTrace.d.ts +0 -6
  14. package/dist/generated-src/schemas/zod/StrategyTrace.js +20 -32
  15. package/dist/generated-src/timestampedResources/booleans.json +2 -2
  16. package/dist/generated-src/timestampedResources/naturals.json +11 -11
  17. package/dist/generated-src/timestampedResources/resourceTypes.json +22 -13
  18. package/dist/generated-src/timestampedResources/tools.json +15 -15
  19. package/dist/generated-src/types/types.d.ts +48 -124
  20. package/dist/src/index.d.ts +1 -1
  21. package/dist/src/utils/standaloneZodSchemas.js +6 -6
  22. package/dist/src/utils/timestampedResources.d.ts +1 -1
  23. package/dist/src/utils/timestampedResources.js +1 -1
  24. package/dist/src/utils/typeGenerationPostProcess.js +20 -6
  25. package/dist/src/utils/zodCodegen.d.ts +1 -1
  26. package/dist/src/utils/zodCodegen.js +7 -7
  27. 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
- "oneOf": [
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/UnthreadedStrategy"
264
+ "$ref": "#/$defs/StepsByThreadIndexFacet"
256
265
  },
257
266
  {
258
- "$ref": "#/$defs/ThreadedStrategy"
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 ThreadedStrategy: "ThreadedStrategy";
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 graph_start: "graph_start";
175
+ readonly strategy_start: "strategy_start";
189
176
  readonly tick: "tick";
190
- readonly interrupt: "interrupt";
191
- readonly graph_end: "graph_end";
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
- ThreadedStrategy: 'ThreadedStrategy',
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
- graph_start: 'graph_start',
175
+ strategy_start: 'strategy_start',
189
176
  tick: 'tick',
190
- interrupt: 'interrupt',
191
- graph_end: 'graph_end',
177
+ suspended: 'suspended',
178
+ strategy_end: 'strategy_end',
192
179
  },
193
180
  }
194
181
  };