@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.
Files changed (27) hide show
  1. package/dist/generated-src/declarations/resourceTypes.json +12 -3
  2. package/dist/generated-src/lookups/constants.d.ts +10 -24
  3. package/dist/generated-src/lookups/constants.js +10 -24
  4. package/dist/generated-src/schemas/schemas.json +57 -181
  5. package/dist/generated-src/schemas/standalone/Resource.json +2 -17
  6. package/dist/generated-src/schemas/standalone/Strategy.json +101 -215
  7. package/dist/generated-src/schemas/standalone/StrategyTrace.json +56 -97
  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 +1 -3
  11. package/dist/generated-src/schemas/zod/Strategy.d.ts +0 -6
  12. package/dist/generated-src/schemas/zod/Strategy.js +7 -27
  13. package/dist/generated-src/schemas/zod/StrategyTrace.d.ts +0 -6
  14. package/dist/generated-src/schemas/zod/StrategyTrace.js +16 -28
  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 +36 -119
  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 +7 -37
  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,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 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: {
@@ -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 graph_start: "graph_start";
175
+ readonly strategy_start: "strategy_start";
190
176
  readonly tick: "tick";
191
- readonly interrupt: "interrupt";
192
- readonly graph_end: "graph_end";
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
- 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: {
@@ -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
- graph_start: 'graph_start',
175
+ strategy_start: 'strategy_start',
190
176
  tick: 'tick',
191
- interrupt: 'interrupt',
192
- graph_end: 'graph_end',
177
+ suspended: 'suspended',
178
+ strategy_end: 'strategy_end',
193
179
  },
194
180
  }
195
181
  };