@toolproof-core/genesis 1.0.54 → 1.0.55
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/lookups/constants.d.ts +1 -1
- package/dist/generated-src/lookups/constants.js +1 -1
- package/dist/generated-src/schemas/schemas.json +7 -7
- package/dist/generated-src/schemas/standalone/Resource.json +4 -4
- package/dist/generated-src/schemas/standalone/Strategy.json +7 -7
- package/dist/generated-src/schemas/standalone/StrategyTrace.json +7 -7
- package/dist/generated-src/schemas/zod/Resource.js +2 -2
- package/dist/generated-src/schemas/zod/Strategy.js +3 -3
- package/dist/generated-src/schemas/zod/StrategyTrace.js +3 -3
- package/dist/generated-src/types/types.d.ts +4 -4
- package/dist/src/index.d.ts +1 -1
- package/package.json +1 -1
|
@@ -31,7 +31,6 @@ declare const CONSTANTS: {
|
|
|
31
31
|
readonly Name: "Name";
|
|
32
32
|
readonly NameFacet: "NameFacet";
|
|
33
33
|
readonly Natural: "Natural";
|
|
34
|
-
readonly OutputAddress: "OutputAddress";
|
|
35
34
|
readonly Provenance: "Provenance";
|
|
36
35
|
readonly ProvenanceFacet: "ProvenanceFacet";
|
|
37
36
|
readonly ProvenanceKind: "ProvenanceKind";
|
|
@@ -80,6 +79,7 @@ declare const CONSTANTS: {
|
|
|
80
79
|
readonly ToolStepPath: "ToolStepPath";
|
|
81
80
|
readonly ToolStepPathSlot: "ToolStepPathSlot";
|
|
82
81
|
readonly ToolStepPathSlotFacet: "ToolStepPathSlotFacet";
|
|
82
|
+
readonly ToolStepRoleAddress: "ToolStepRoleAddress";
|
|
83
83
|
readonly TracePoint: "TracePoint";
|
|
84
84
|
readonly TracePointCounterSnapshot: "TracePointCounterSnapshot";
|
|
85
85
|
readonly TracePointDelta: "TracePointDelta";
|
|
@@ -31,7 +31,6 @@ const CONSTANTS = {
|
|
|
31
31
|
Name: 'Name',
|
|
32
32
|
NameFacet: 'NameFacet',
|
|
33
33
|
Natural: 'Natural',
|
|
34
|
-
OutputAddress: 'OutputAddress',
|
|
35
34
|
Provenance: 'Provenance',
|
|
36
35
|
ProvenanceFacet: 'ProvenanceFacet',
|
|
37
36
|
ProvenanceKind: 'ProvenanceKind',
|
|
@@ -80,6 +79,7 @@ const CONSTANTS = {
|
|
|
80
79
|
ToolStepPath: 'ToolStepPath',
|
|
81
80
|
ToolStepPathSlot: 'ToolStepPathSlot',
|
|
82
81
|
ToolStepPathSlotFacet: 'ToolStepPathSlotFacet',
|
|
82
|
+
ToolStepRoleAddress: 'ToolStepRoleAddress',
|
|
83
83
|
TracePoint: 'TracePoint',
|
|
84
84
|
TracePointCounterSnapshot: 'TracePointCounterSnapshot',
|
|
85
85
|
TracePointDelta: 'TracePointDelta',
|
|
@@ -801,7 +801,7 @@
|
|
|
801
801
|
],
|
|
802
802
|
"unevaluatedProperties": false
|
|
803
803
|
},
|
|
804
|
-
"
|
|
804
|
+
"ToolStepRoleAddress": {
|
|
805
805
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
806
806
|
"type": "object",
|
|
807
807
|
"required": [
|
|
@@ -845,7 +845,7 @@
|
|
|
845
845
|
"required": [
|
|
846
846
|
"provenanceKind",
|
|
847
847
|
"strategyTraceHandle",
|
|
848
|
-
"
|
|
848
|
+
"toolStepRoleAddress"
|
|
849
849
|
],
|
|
850
850
|
"properties": {
|
|
851
851
|
"provenanceKind": {
|
|
@@ -854,8 +854,8 @@
|
|
|
854
854
|
"strategyTraceHandle": {
|
|
855
855
|
"$ref": "#/$defs/StrategyTraceHandle"
|
|
856
856
|
},
|
|
857
|
-
"
|
|
858
|
-
"$ref": "#/$defs/
|
|
857
|
+
"toolStepRoleAddress": {
|
|
858
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
859
859
|
}
|
|
860
860
|
},
|
|
861
861
|
"unevaluatedProperties": false
|
|
@@ -866,14 +866,14 @@
|
|
|
866
866
|
"type": "object",
|
|
867
867
|
"required": [
|
|
868
868
|
"provenanceKind",
|
|
869
|
-
"
|
|
869
|
+
"toolStepRoleAddress"
|
|
870
870
|
],
|
|
871
871
|
"properties": {
|
|
872
872
|
"provenanceKind": {
|
|
873
873
|
"const": "strategy"
|
|
874
874
|
},
|
|
875
|
-
"
|
|
876
|
-
"$ref": "#/$defs/
|
|
875
|
+
"toolStepRoleAddress": {
|
|
876
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
877
877
|
}
|
|
878
878
|
},
|
|
879
879
|
"unevaluatedProperties": false
|
|
@@ -94,7 +94,7 @@
|
|
|
94
94
|
"required": [
|
|
95
95
|
"provenanceKind",
|
|
96
96
|
"strategyTraceHandle",
|
|
97
|
-
"
|
|
97
|
+
"toolStepRoleAddress"
|
|
98
98
|
],
|
|
99
99
|
"properties": {
|
|
100
100
|
"provenanceKind": {
|
|
@@ -103,8 +103,8 @@
|
|
|
103
103
|
"strategyTraceHandle": {
|
|
104
104
|
"$ref": "#/$defs/StrategyTraceHandle"
|
|
105
105
|
},
|
|
106
|
-
"
|
|
107
|
-
"$ref": "#/$defs/
|
|
106
|
+
"toolStepRoleAddress": {
|
|
107
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
108
108
|
}
|
|
109
109
|
},
|
|
110
110
|
"unevaluatedProperties": false
|
|
@@ -114,7 +114,7 @@
|
|
|
114
114
|
"type": "string",
|
|
115
115
|
"pattern": "^STRATEGY_TRACE-.+$"
|
|
116
116
|
},
|
|
117
|
-
"
|
|
117
|
+
"ToolStepRoleAddress": {
|
|
118
118
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
119
119
|
"type": "object",
|
|
120
120
|
"required": [
|
|
@@ -509,14 +509,14 @@
|
|
|
509
509
|
"type": "object",
|
|
510
510
|
"required": [
|
|
511
511
|
"provenanceKind",
|
|
512
|
-
"
|
|
512
|
+
"toolStepRoleAddress"
|
|
513
513
|
],
|
|
514
514
|
"properties": {
|
|
515
515
|
"provenanceKind": {
|
|
516
516
|
"const": "strategy"
|
|
517
517
|
},
|
|
518
|
-
"
|
|
519
|
-
"$ref": "#/$defs/
|
|
518
|
+
"toolStepRoleAddress": {
|
|
519
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
520
520
|
}
|
|
521
521
|
},
|
|
522
522
|
"unevaluatedProperties": false
|
|
@@ -543,7 +543,7 @@
|
|
|
543
543
|
],
|
|
544
544
|
"unevaluatedProperties": false
|
|
545
545
|
},
|
|
546
|
-
"
|
|
546
|
+
"ToolStepRoleAddress": {
|
|
547
547
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
548
548
|
"type": "object",
|
|
549
549
|
"required": [
|
|
@@ -613,7 +613,7 @@
|
|
|
613
613
|
"required": [
|
|
614
614
|
"provenanceKind",
|
|
615
615
|
"strategyTraceHandle",
|
|
616
|
-
"
|
|
616
|
+
"toolStepRoleAddress"
|
|
617
617
|
],
|
|
618
618
|
"properties": {
|
|
619
619
|
"provenanceKind": {
|
|
@@ -622,8 +622,8 @@
|
|
|
622
622
|
"strategyTraceHandle": {
|
|
623
623
|
"$ref": "#/$defs/StrategyTraceHandle"
|
|
624
624
|
},
|
|
625
|
-
"
|
|
626
|
-
"$ref": "#/$defs/
|
|
625
|
+
"toolStepRoleAddress": {
|
|
626
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
627
627
|
}
|
|
628
628
|
},
|
|
629
629
|
"unevaluatedProperties": false
|
|
@@ -689,14 +689,14 @@
|
|
|
689
689
|
"type": "object",
|
|
690
690
|
"required": [
|
|
691
691
|
"provenanceKind",
|
|
692
|
-
"
|
|
692
|
+
"toolStepRoleAddress"
|
|
693
693
|
],
|
|
694
694
|
"properties": {
|
|
695
695
|
"provenanceKind": {
|
|
696
696
|
"const": "strategy"
|
|
697
697
|
},
|
|
698
|
-
"
|
|
699
|
-
"$ref": "#/$defs/
|
|
698
|
+
"toolStepRoleAddress": {
|
|
699
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
700
700
|
}
|
|
701
701
|
},
|
|
702
702
|
"unevaluatedProperties": false
|
|
@@ -723,7 +723,7 @@
|
|
|
723
723
|
],
|
|
724
724
|
"unevaluatedProperties": false
|
|
725
725
|
},
|
|
726
|
-
"
|
|
726
|
+
"ToolStepRoleAddress": {
|
|
727
727
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
728
728
|
"type": "object",
|
|
729
729
|
"required": [
|
|
@@ -797,7 +797,7 @@
|
|
|
797
797
|
"required": [
|
|
798
798
|
"provenanceKind",
|
|
799
799
|
"strategyTraceHandle",
|
|
800
|
-
"
|
|
800
|
+
"toolStepRoleAddress"
|
|
801
801
|
],
|
|
802
802
|
"properties": {
|
|
803
803
|
"provenanceKind": {
|
|
@@ -806,8 +806,8 @@
|
|
|
806
806
|
"strategyTraceHandle": {
|
|
807
807
|
"$ref": "#/$defs/StrategyTraceHandle"
|
|
808
808
|
},
|
|
809
|
-
"
|
|
810
|
-
"$ref": "#/$defs/
|
|
809
|
+
"toolStepRoleAddress": {
|
|
810
|
+
"$ref": "#/$defs/ToolStepRoleAddress"
|
|
811
811
|
}
|
|
812
812
|
},
|
|
813
813
|
"unevaluatedProperties": false
|
|
@@ -3,16 +3,16 @@ import { z } from 'zod/v4';
|
|
|
3
3
|
const BaseResourceSchema = z.lazy(() => z.object({ "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
|
|
4
4
|
const GenesisProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("genesis") }).strict());
|
|
5
5
|
const NameSchema = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
|
|
6
|
-
const OutputAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
|
|
7
6
|
const ProvenanceSchema = z.lazy(() => z.union([GenesisProvenanceSchema, StrategyProvenanceSchema]));
|
|
8
7
|
const ProvenanceFacetSchema = z.lazy(() => z.object({ "provenance": ProvenanceSchema }));
|
|
9
8
|
const ResourceIdSchema = z.lazy(() => z.string().regex(new RegExp("^RESOURCE-.+$")));
|
|
10
9
|
const ResourcePointerSchema = z.lazy(() => z.object({ "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
|
|
11
10
|
const ResourceTypeHandleSchema = z.lazy(() => z.string().regex(new RegExp("^TYPE-.+$")));
|
|
12
11
|
const RoleNameSchema = z.lazy(() => NameSchema);
|
|
13
|
-
const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "
|
|
12
|
+
const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
|
|
14
13
|
const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
|
|
15
14
|
const ThreadedToolStepPathSchema = z.lazy(() => z.string().regex(new RegExp("^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$")));
|
|
16
15
|
const ToolStepPathSchema = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
|
|
16
|
+
const ToolStepRoleAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
|
|
17
17
|
const UnthreadedToolStepPathSchema = z.lazy(() => z.string().regex(new RegExp("^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$")));
|
|
18
18
|
export const ResourceSchema = z.lazy(() => BaseResourceSchema);
|
|
@@ -18,7 +18,7 @@ const BaseResourceSchema = z.lazy(() => z.object({ "projection": z.any(), "id":
|
|
|
18
18
|
const BaseStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": StrategyKindSchema }));
|
|
19
19
|
const BranchStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("branch"), StepKindSchema), "cases": z.array(CaseSchema).min(1) }));
|
|
20
20
|
const CaseSchema = z.lazy(() => z.object({ "when": ToolStepSchema, "what": ToolStepSchema }).strict());
|
|
21
|
-
const DeferredStrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "
|
|
21
|
+
const DeferredStrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
|
|
22
22
|
const ExternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("externalInputPotential"), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema }).strict());
|
|
23
23
|
const ForStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("for"), StepKindSchema), "case": CaseSchema }));
|
|
24
24
|
const GenesisProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("genesis") }).strict());
|
|
@@ -26,7 +26,6 @@ const InputPotentialSchema = z.lazy(() => z.union([ExternalInputPotentialSchema,
|
|
|
26
26
|
const InputResourceSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("inputResource"), "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
|
|
27
27
|
const InternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("internalInputPotential"), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": DeferredStrategyProvenanceSchema }).strict());
|
|
28
28
|
const NameSchema = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
|
|
29
|
-
const OutputAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
|
|
30
29
|
const ProvenanceSchema = z.lazy(() => z.union([GenesisProvenanceSchema, StrategyProvenanceSchema]));
|
|
31
30
|
const ProvenanceFacetSchema = z.lazy(() => z.object({ "provenance": ProvenanceSchema }));
|
|
32
31
|
const ResourceIdSchema = z.lazy(() => z.string().regex(new RegExp("^RESOURCE-.+$")));
|
|
@@ -45,7 +44,7 @@ const StepsByThreadIndexFacetSchema = z.lazy(() => z.object({ "stepsByThreadInde
|
|
|
45
44
|
const StepsFacetSchema = z.lazy(() => z.object({ "steps": StepArraySchema }));
|
|
46
45
|
const StrategyHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY-.+$")));
|
|
47
46
|
const StrategyKindSchema = z.lazy(() => z.union([z.literal("unthreaded"), z.literal("threaded")]));
|
|
48
|
-
const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "
|
|
47
|
+
const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
|
|
49
48
|
const StrategyStateInputEntrySchema = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
|
|
50
49
|
const StrategyStateInputEntryByRoleNameSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
|
|
51
50
|
const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
|
|
@@ -59,6 +58,7 @@ const ThreadedToolStepPathSchema = z.lazy(() => z.string().regex(new RegExp("^/t
|
|
|
59
58
|
const ToolHandleSchema = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
|
|
60
59
|
const ToolStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("tool"), StepKindSchema), "toolHandle": ToolHandleSchema, "roleBindingSpec": RoleBindingSpecSchema }));
|
|
61
60
|
const ToolStepPathSchema = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
|
|
61
|
+
const ToolStepRoleAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
|
|
62
62
|
const UnthreadedStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": z.intersection(StrategyKindSchema, z.literal("unthreaded")), "steps": StepArraySchema, "strategyState": UnthreadedStrategyStateSchema }).strict());
|
|
63
63
|
const UnthreadedStrategyStateSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) {
|
|
64
64
|
if (!new RegExp("^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$").test(k))
|
|
@@ -19,7 +19,7 @@ const BaseStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchem
|
|
|
19
19
|
const BaseTracePointSchema = z.lazy(() => z.object({ "tracePointKind": TracePointKindSchema, "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema }));
|
|
20
20
|
const BranchStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("branch"), StepKindSchema), "cases": z.array(CaseSchema).min(1) }));
|
|
21
21
|
const CaseSchema = z.lazy(() => z.object({ "when": ToolStepSchema, "what": ToolStepSchema }).strict());
|
|
22
|
-
const DeferredStrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "
|
|
22
|
+
const DeferredStrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
|
|
23
23
|
const ExternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("externalInputPotential"), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema }).strict());
|
|
24
24
|
const ForStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("for"), StepKindSchema), "case": CaseSchema }));
|
|
25
25
|
const GenesisProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("genesis") }).strict());
|
|
@@ -31,7 +31,6 @@ const InternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInput
|
|
|
31
31
|
const InterruptTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("interrupt")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema, "counterSnapshot": TracePointCounterSnapshotSchema, "toolStepPath": ThreadedToolStepPathSchema, "delta": z.object({ "stepsMutation": z.object({ "insertAt": NaturalSchema, "insertedSteps": StepArraySchema }).optional(), "strategyStateDelta": ThreadedStrategyStateSchema.optional(), "interruptData": z.intersection(z.union([z.object({}), z.null()]), z.object({})) }) }));
|
|
32
32
|
const NameSchema = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
|
|
33
33
|
const NaturalSchema = z.lazy(() => z.number().int().min(0));
|
|
34
|
-
const OutputAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
|
|
35
34
|
const ProvenanceSchema = z.lazy(() => z.union([GenesisProvenanceSchema, StrategyProvenanceSchema]));
|
|
36
35
|
const ProvenanceFacetSchema = z.lazy(() => z.object({ "provenance": ProvenanceSchema }));
|
|
37
36
|
const ResourceIdSchema = z.lazy(() => z.string().regex(new RegExp("^RESOURCE-.+$")));
|
|
@@ -49,7 +48,7 @@ const StepKindFacetSchema = z.lazy(() => z.object({ "stepKind": StepKindSchema }
|
|
|
49
48
|
const StepsByThreadIndexFacetSchema = z.lazy(() => z.object({ "stepsByThreadIndex": StepArrayArraySchema }));
|
|
50
49
|
const StrategyHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY-.+$")));
|
|
51
50
|
const StrategyKindSchema = z.lazy(() => z.union([z.literal("unthreaded"), z.literal("threaded")]));
|
|
52
|
-
const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "
|
|
51
|
+
const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
|
|
53
52
|
const StrategyStateInputEntrySchema = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
|
|
54
53
|
const StrategyStateInputEntryByRoleNameSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
|
|
55
54
|
const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
|
|
@@ -65,6 +64,7 @@ const TickTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.interse
|
|
|
65
64
|
const ToolHandleSchema = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
|
|
66
65
|
const ToolStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("tool"), StepKindSchema), "toolHandle": ToolHandleSchema, "roleBindingSpec": RoleBindingSpecSchema }));
|
|
67
66
|
const ToolStepPathSchema = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
|
|
67
|
+
const ToolStepRoleAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
|
|
68
68
|
const TracePointSchema = z.lazy(() => z.union([GraphStartTracePointSchema, TickTracePointSchema, InterruptTracePointSchema, GraphEndTracePointSchema]));
|
|
69
69
|
const TracePointCounterSnapshotSchema = z.lazy(() => z.object({ "stepCounterAfter": NaturalSchema.optional(), "iterationCounterAfter": NaturalSchema.optional() }));
|
|
70
70
|
const TracePointDeltaSchema = z.lazy(() => z.object({ "stepsMutation": z.object({ "insertAt": NaturalSchema, "insertedSteps": StepArraySchema }).optional(), "strategyStateDelta": ThreadedStrategyStateSchema.optional(), "interruptData": z.union([z.object({}), z.null()]).optional() }));
|
|
@@ -514,13 +514,13 @@ export interface GenesisProvenance {
|
|
|
514
514
|
export interface StrategyProvenance {
|
|
515
515
|
provenanceKind: "strategy";
|
|
516
516
|
strategyTraceHandle: StrategyTraceHandle;
|
|
517
|
-
|
|
517
|
+
toolStepRoleAddress: ToolStepRoleAddress;
|
|
518
518
|
}
|
|
519
519
|
/**
|
|
520
520
|
* This interface was referenced by `Genesis`'s JSON-Schema
|
|
521
|
-
* via the `definition` "
|
|
521
|
+
* via the `definition` "ToolStepRoleAddress".
|
|
522
522
|
*/
|
|
523
|
-
export interface
|
|
523
|
+
export interface ToolStepRoleAddress {
|
|
524
524
|
roleName: string;
|
|
525
525
|
toolStepPath: ToolStepPath;
|
|
526
526
|
}
|
|
@@ -590,7 +590,7 @@ export interface Case {
|
|
|
590
590
|
*/
|
|
591
591
|
export interface DeferredStrategyProvenance {
|
|
592
592
|
provenanceKind: "strategy";
|
|
593
|
-
|
|
593
|
+
toolStepRoleAddress: ToolStepRoleAddress;
|
|
594
594
|
}
|
|
595
595
|
/**
|
|
596
596
|
* This interface was referenced by `Genesis`'s JSON-Schema
|
package/dist/src/index.d.ts
CHANGED
|
@@ -17,4 +17,4 @@ export type { ResourceTypeResource, } from '../generated-src/types/standalone/Re
|
|
|
17
17
|
export type { ToolResource, } from '../generated-src/types/standalone/ToolResource.js';
|
|
18
18
|
export type { StrategyResource, } from '../generated-src/types/standalone/StrategyResource.js';
|
|
19
19
|
export type { StrategyTraceResource, } from '../generated-src/types/standalone/StrategyTraceResource.js';
|
|
20
|
-
export type { BaseResource, BaseStrategy, BaseToolStepPathSpec, Boolean, BranchStep, Case, ContainerKind, DeferredStrategyProvenance, Description, DescriptionFacet, DocumentationSpec, ExternalInputPotential, GenesisProvenance, Goal, InputPotential, InputResource, InternalInputPotential, JsonSchemaObject, JsonSchemaObject1, JsonSchemaObject2, Name, NameFacet, Natural,
|
|
20
|
+
export type { BaseResource, BaseStrategy, BaseToolStepPathSpec, Boolean, BranchStep, Case, ContainerKind, DeferredStrategyProvenance, Description, DescriptionFacet, DocumentationSpec, ExternalInputPotential, GenesisProvenance, Goal, InputPotential, InputResource, InternalInputPotential, JsonSchemaObject, JsonSchemaObject1, JsonSchemaObject2, Name, NameFacet, Natural, ToolStepRoleAddress, Provenance, ProvenanceFacet, ProvenanceKind, Resource, ResourceId, ResourcePointer, ResourceType, ResourceTypeHandle, RoleBindingSpec, RoleBindingSpecFacet, RoleBindingSpecFacet1, RoleName, RoleNameArray, RoleSpec, RoleSpecFacet, RoleValue, RoleValueByName, Step, StepArray, StepArrayArray, StepKind, StepKindFacet, Strategy, StrategyHandle, StrategyKind, StrategyProvenance, StrategyStateInputEntry, StrategyStateInputEntryByRoleName, StrategyStateInputKind, StrategyTrace, StrategyTraceHandle, ThreadedStrategy, ThreadedStrategyState, ThreadedStrategyStateFacet, ThreadedToolStepPath, ThreadedToolStepPathSpec, Tool, ToolHandle, ToolStep, ToolStepPath, ToolStepPathSlot, ToolStepPathSlotFacet, TypeRef, UnthreadedStrategy, UnthreadedStrategyState, UnthreadedStrategyStateFacet, UnthreadedToolStepPath, UnthreadedToolStepPathSpec, WhileStep, ForStep, } from '../generated-src/types/types.js';
|
package/package.json
CHANGED