@toolproof-core/genesis 1.0.56 → 1.0.58

package/dist/generated-src/schemas/standalone/StrategyTrace.json

@@ -38,20 +38,20 @@
             "type": "object",
             "oneOf": [
                 {
-                    "$ref": "#/$defs/GraphStartTracePoint"
+                    "$ref": "#/$defs/StrategyStartTracePoint"
                 },
                 {
                     "$ref": "#/$defs/TickTracePoint"
                 },
                 {
-                    "$ref": "#/$defs/InterruptTracePoint"
+                    "$ref": "#/$defs/SuspendedTracePoint"
                 },
                 {
-                    "$ref": "#/$defs/GraphEndTracePoint"
+                    "$ref": "#/$defs/StrategyEndTracePoint"
                 }
             ]
         },
-        "GraphStartTracePoint": {
+        "StrategyStartTracePoint": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
@@ -61,12 +61,12 @@
                     "type": "object",
                     "properties": {
                         "tracePointKind": {
-                            "const": "graph_start"
+                            "const": "strategy_start"
                         }
                     }
                 },
                 {
-                    "$ref": "#/$defs/ThreadedStrategyFacet"
+                    "$ref": "#/$defs/StrategyFacet"
                 }
             ]
         },
@@ -80,6 +80,7 @@
                     "type": "object",
                     "required": [
                         "counterSnapshot",
+                        "threadIndex",
                         "toolStepPath",
                         "delta"
                     ],
@@ -90,8 +91,11 @@
                         "counterSnapshot": {
                             "$ref": "#/$defs/TracePointCounterSnapshot"
                         },
+                        "threadIndex": {
+                            "$ref": "#/$defs/Natural"
+                        },
                         "toolStepPath": {
-                            "$ref": "#/$defs/ThreadedToolStepPath"
+                            "$ref": "#/$defs/ToolStepPath"
                         },
                         "delta": {
                             "$ref": "#/$defs/TracePointDelta"
@@ -100,7 +104,7 @@
                 }
             ]
         },
-        "InterruptTracePoint": {
+        "SuspendedTracePoint": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
@@ -110,18 +114,22 @@
                     "type": "object",
                     "required": [
                         "counterSnapshot",
+                        "threadIndex",
                         "toolStepPath",
                         "delta"
                     ],
                     "properties": {
                         "tracePointKind": {
-                            "const": "interrupt"
+                            "const": "suspended"
                         },
                         "counterSnapshot": {
                             "$ref": "#/$defs/TracePointCounterSnapshot"
                         },
+                        "threadIndex": {
+                            "$ref": "#/$defs/Natural"
+                        },
                         "toolStepPath": {
-                            "$ref": "#/$defs/ThreadedToolStepPath"
+                            "$ref": "#/$defs/ToolStepPath"
                         },
                         "delta": {
                             "allOf": [
@@ -131,11 +139,11 @@
                                 {
                                     "type": "object",
                                     "required": [
-                                        "interruptData"
+                                        "suspendedData"
                                     ],
                                     "properties": {
-                                        "interruptData": {
-                                            "$comment": "Interrupt events must include a non-null interrupt payload.",
+                                        "suspendedData": {
+                                            "$comment": "Suspended events must include a non-null suspended payload.",
                                             "type": "object"
                                         }
                                     }
@@ -146,7 +154,7 @@
                 }
             ]
         },
-        "GraphEndTracePoint": {
+        "StrategyEndTracePoint": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
@@ -156,7 +164,7 @@
                     "type": "object",
                     "properties": {
                         "tracePointKind": {
-                            "const": "graph_end"
+                            "const": "strategy_end"
                         }
                     }
                 }
@@ -168,7 +176,6 @@
             "required": [
                 "tracePointKind",
                 "strategyHandle",
-                "threadIndex",
                 "tracePointIndex"
             ],
             "properties": {
@@ -178,23 +185,20 @@
                 "strategyHandle": {
                     "$ref": "#/$defs/StrategyHandle"
                 },
-                "threadIndex": {
-                    "$ref": "#/$defs/Natural"
-                },
                 "tracePointIndex": {
                     "$ref": "#/$defs/Natural"
                 }
             }
         },
-        "ThreadedStrategyFacet": {
+        "StrategyFacet": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
-                "threadedStrategy"
+                "strategy"
             ],
             "properties": {
-                "threadedStrategy": {
-                    "$ref": "#/$defs/ThreadedStrategy"
+                "strategy": {
+                    "$ref": "#/$defs/Strategy"
                 }
             }
         },
@@ -210,7 +214,12 @@
                 }
             }
         },
-        "ThreadedToolStepPath": {
+        "Natural": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "integer",
+            "minimum": 0
+        },
+        "ToolStepPath": {
             "type": "string",
             "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
         },
@@ -234,10 +243,10 @@
                     }
                 },
                 "strategyStateDelta": {
-                    "$ref": "#/$defs/ThreadedStrategyState"
+                    "$ref": "#/$defs/StrategyState"
                 },
-                "interruptData": {
-                    "$comment": "Kept permissive; the engine may evolve interrupt payloads.",
+                "suspendedData": {
+                    "$comment": "Kept permissive; the engine may evolve suspended payloads.",
                     "type": [
                         "object",
                         "null"
@@ -249,75 +258,49 @@
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
             "enum": [
-                "graph_start",
+                "strategy_start",
                 "tick",
-                "interrupt",
-                "graph_end"
+                "suspended",
+                "strategy_end"
             ]
         },
-        "Natural": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "integer",
-            "minimum": 0
-        },
-        "ThreadedStrategy": {
+        "Strategy": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "required": [
+                "handle"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/StrategyHandle"
+                }
+            },
             "allOf": [
-                {
-                    "$ref": "#/$defs/BaseStrategy"
-                },
-                {
-                    "type": "object",
-                    "properties": {
-                        "strategyKind": {
-                            "const": "threaded"
-                        }
-                    }
-                },
                 {
                     "$ref": "#/$defs/StepsByThreadIndexFacet"
                 },
                 {
-                    "$ref": "#/$defs/ThreadedStrategyStateFacet"
+                    "$ref": "#/$defs/StrategyStateFacet"
                 }
-            ],
-            "unevaluatedProperties": false
+            ]
         },
         "StepArray": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "array",
             "items": {
                 "$ref": "#/$defs/Step"
-            },
-            "uniqueItems": true
+            }
         },
-        "ThreadedStrategyState": {
+        "StrategyState": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "propertyNames": {
-                "$ref": "#/$defs/ThreadedToolStepPath"
+                "$ref": "#/$defs/ToolStepPath"
             },
             "additionalProperties": {
                 "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
             }
         },
-        "BaseStrategy": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "required": [
-                "handle",
-                "strategyKind"
-            ],
-            "properties": {
-                "handle": {
-                    "$ref": "#/$defs/StrategyHandle"
-                },
-                "strategyKind": {
-                    "$ref": "#/$defs/StrategyKind"
-                }
-            }
-        },
         "StepsByThreadIndexFacet": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
@@ -330,7 +313,7 @@
                 }
             }
         },
-        "ThreadedStrategyStateFacet": {
+        "StrategyStateFacet": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
@@ -338,7 +321,7 @@
             ],
             "properties": {
                 "strategyState": {
-                    "$ref": "#/$defs/ThreadedStrategyState"
+                    "$ref": "#/$defs/StrategyState"
                 }
             }
         },
@@ -371,14 +354,6 @@
                 "$ref": "#/$defs/StrategyStateInputEntry"
             }
         },
-        "StrategyKind": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "enum": [
-                "unthreaded",
-                "threaded"
-            ]
-        },
         "StepArrayArray": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "array",
@@ -427,8 +402,7 @@
                     "items": {
                         "$ref": "#/$defs/Case"
                     },
-                    "minItems": 1,
-                    "uniqueItems": true
+                    "minItems": 1
                 }
             },
             "allOf": [
@@ -696,17 +670,6 @@
             ],
             "unevaluatedProperties": false
         },
-        "ToolStepPath": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "oneOf": [
-                {
-                    "$ref": "#/$defs/UnthreadedToolStepPath"
-                },
-                {
-                    "$ref": "#/$defs/ThreadedToolStepPath"
-                }
-            ]
-        },
         "ResourceId": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
@@ -729,10 +692,6 @@
                 }
             }
         },
-        "UnthreadedToolStepPath": {
-            "type": "string",
-            "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
-        },
         "Provenance": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "oneOf": [

package/dist/generated-src/schemas/standalone/Suite.json

@@ -603,7 +603,7 @@
         },
         "AtomicTypeRef": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "$comment": "An atomic type reference is either resource-backed (resourceTypeHandle, strategy-legal) or schema-backed (roleSchema, internal/Core-only). The roleSchema branch holds an object whose $ref names the type parameter (e.g. '#OperandType'), matching an entry in the template's GenericAssignmentByRoleName.mapKeys. Exactly one atomic branch must be present.",
+            "$comment": "An atomic type reference is either ResourceType-backed (resourceTypeHandle, strategy-legal) or schema-backed (roleSchema, internal/Core-only). The roleSchema branch holds an object whose $ref names an internal schema-level type reference. In template Tools' instantiationRoleSpec, this may name a type parameter (for example '#OperandType') matching an entry in the template's GenericAssignmentByRoleName.mapKeys. In other contexts it may name a concrete internal schema definition (for example '#ToolStep'). Exactly one atomic branch must be present.",
             "oneOf": [
                 {
                     "type": "object",
@@ -628,7 +628,6 @@
                             "required": [
                                 "$ref"
                             ],
-                            "$comment": "A reference to a named type parameter. The $ref value must be '#' followed by a RoleName, matching a key in the template's GenericAssignmentByRoleName.mapKeys.",
                             "properties": {
                                 "$ref": {
                                     "type": "string",

package/dist/generated-src/schemas/standalone/Tool.json

@@ -485,7 +485,7 @@
         },
         "AtomicTypeRef": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "$comment": "An atomic type reference is either resource-backed (resourceTypeHandle, strategy-legal) or schema-backed (roleSchema, internal/Core-only). The roleSchema branch holds an object whose $ref names the type parameter (e.g. '#OperandType'), matching an entry in the template's GenericAssignmentByRoleName.mapKeys. Exactly one atomic branch must be present.",
+            "$comment": "An atomic type reference is either ResourceType-backed (resourceTypeHandle, strategy-legal) or schema-backed (roleSchema, internal/Core-only). The roleSchema branch holds an object whose $ref names an internal schema-level type reference. In template Tools' instantiationRoleSpec, this may name a type parameter (for example '#OperandType') matching an entry in the template's GenericAssignmentByRoleName.mapKeys. In other contexts it may name a concrete internal schema definition (for example '#ToolStep'). Exactly one atomic branch must be present.",
             "oneOf": [
                 {
                     "type": "object",
@@ -510,7 +510,6 @@
                             "required": [
                                 "$ref"
                             ],
-                            "$comment": "A reference to a named type parameter. The $ref value must be '#' followed by a RoleName, matching a key in the template's GenericAssignmentByRoleName.mapKeys.",
                             "properties": {
                                 "$ref": {
                                     "type": "string",

package/dist/generated-src/schemas/zod/Resource.js

@@ -12,8 +12,6 @@ const RoleNameSchema = z.lazy(() => NameSchema);
 const RuntimeProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("runtime") }).strict());
 const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
 const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
-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)$")));
-const ToolStepPathSchema = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
+const ToolStepPathSchema = 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)$")));
 const ToolStepRoleAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
-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)$")));
 export const ResourceSchema = z.lazy(() => BaseResourceSchema);

package/dist/generated-src/schemas/zod/Strategy.d.ts

@@ -1,12 +1,6 @@
 import { z } from 'zod/v4';
 export declare const StrategyZodGenerationWarnings: readonly [{
-    readonly path: "$defs.StepArray.uniqueItems";
-    readonly message: "uniqueItems not enforced by generated Zod.";
-}, {
     readonly path: "$defs.StrategyStateInputEntryByRoleName.propertyNames";
     readonly message: "Unsupported propertyNames $ref target; keys will not be validated.";
-}, {
-    readonly path: "$defs.BranchStep.allOfMerged.properties.cases.uniqueItems";
-    readonly message: "uniqueItems not enforced by generated Zod.";
 }];
 export declare const StrategySchema: z.ZodTypeAny;

package/dist/generated-src/schemas/zod/Strategy.js

@@ -1,21 +1,12 @@
 // Auto-generated from standalone schema 'Strategy'. Do not edit.
 import { z } from 'zod/v4';
 export const StrategyZodGenerationWarnings = [
-    {
-        "path": "$defs.StepArray.uniqueItems",
-        "message": "uniqueItems not enforced by generated Zod."
-    },
     {
         "path": "$defs.StrategyStateInputEntryByRoleName.propertyNames",
         "message": "Unsupported propertyNames $ref target; keys will not be validated."
-    },
-    {
-        "path": "$defs.BranchStep.allOfMerged.properties.cases.uniqueItems",
-        "message": "uniqueItems not enforced by generated Zod."
     }
 ];
 const BaseResourceSchema = z.lazy(() => z.object({ "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
-const BaseStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": StrategyKindSchema }));
 const BranchStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("branch"), StepKindSchema), "cases": z.array(CaseSchema).min(1) }));
 const CaseSchema = z.lazy(() => z.object({ "when": ToolStepSchema, "what": ToolStepSchema }).strict());
 const ExternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("externalInputPotential") }).strict());
@@ -41,30 +32,19 @@ const StepArrayArraySchema = z.lazy(() => z.array(StepArraySchema));
 const StepKindSchema = z.lazy(() => z.union([z.literal("tool"), z.literal("branch"), z.literal("while"), z.literal("for")]));
 const StepKindFacetSchema = z.lazy(() => z.object({ "stepKind": StepKindSchema }));
 const StepsByThreadIndexFacetSchema = z.lazy(() => z.object({ "stepsByThreadIndex": StepArrayArraySchema }));
-const StepsFacetSchema = z.lazy(() => z.object({ "steps": StepArraySchema }));
 const StrategyHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY-.+$")));
-const StrategyKindSchema = z.lazy(() => z.union([z.literal("unthreaded"), z.literal("threaded")]));
 const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
-const StrategyStateInputEntrySchema = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
-const StrategyStateInputEntryByRoleNameSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
-const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
-const ThreadedStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": z.intersection(StrategyKindSchema, z.literal("threaded")), "stepsByThreadIndex": StepArrayArraySchema, "strategyState": ThreadedStrategyStateSchema }).strict());
-const ThreadedStrategyStateSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) {
+const StrategyStateSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) {
     if (!new RegExp("^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$").test(k))
         ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k });
 } }));
-const ThreadedStrategyStateFacetSchema = z.lazy(() => z.object({ "strategyState": ThreadedStrategyStateSchema }));
-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)$")));
+const StrategyStateFacetSchema = z.lazy(() => z.object({ "strategyState": StrategyStateSchema }));
+const StrategyStateInputEntrySchema = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
+const StrategyStateInputEntryByRoleNameSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
+const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
 const ToolHandleSchema = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
 const ToolStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("tool"), StepKindSchema), "toolHandle": ToolHandleSchema, "roleBindingSpec": RoleBindingSpecSchema }));
-const ToolStepPathSchema = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
+const ToolStepPathSchema = 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)$")));
 const ToolStepRoleAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
-const UnthreadedStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": z.intersection(StrategyKindSchema, z.literal("unthreaded")), "steps": StepArraySchema, "strategyState": UnthreadedStrategyStateSchema }).strict());
-const UnthreadedStrategyStateSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) {
-    if (!new RegExp("^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$").test(k))
-        ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k });
-} }));
-const UnthreadedStrategyStateFacetSchema = z.lazy(() => z.object({ "strategyState": UnthreadedStrategyStateSchema }));
-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)$")));
 const WhileStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("while"), StepKindSchema), "case": CaseSchema }));
-export const StrategySchema = z.lazy(() => z.union([UnthreadedStrategySchema, ThreadedStrategySchema]));
+export const StrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "stepsByThreadIndex": StepArrayArraySchema, "strategyState": StrategyStateSchema }));

package/dist/generated-src/schemas/zod/StrategyTrace.d.ts

@@ -1,12 +1,6 @@
 import { z } from 'zod/v4';
 export declare const StrategyTraceZodGenerationWarnings: readonly [{
-    readonly path: "$defs.StepArray.uniqueItems";
-    readonly message: "uniqueItems not enforced by generated Zod.";
-}, {
     readonly path: "$defs.StrategyStateInputEntryByRoleName.propertyNames";
     readonly message: "Unsupported propertyNames $ref target; keys will not be validated.";
-}, {
-    readonly path: "$defs.BranchStep.allOfMerged.properties.cases.uniqueItems";
-    readonly message: "uniqueItems not enforced by generated Zod.";
 }];
 export declare const StrategyTraceSchema: z.ZodTypeAny;

package/dist/generated-src/schemas/zod/StrategyTrace.js

@@ -1,33 +1,21 @@
 // Auto-generated from standalone schema 'StrategyTrace'. Do not edit.
 import { z } from 'zod/v4';
 export const StrategyTraceZodGenerationWarnings = [
-    {
-        "path": "$defs.StepArray.uniqueItems",
-        "message": "uniqueItems not enforced by generated Zod."
-    },
     {
         "path": "$defs.StrategyStateInputEntryByRoleName.propertyNames",
         "message": "Unsupported propertyNames $ref target; keys will not be validated."
-    },
-    {
-        "path": "$defs.BranchStep.allOfMerged.properties.cases.uniqueItems",
-        "message": "uniqueItems not enforced by generated Zod."
     }
 ];
 const BaseResourceSchema = z.lazy(() => z.object({ "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
-const BaseStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": StrategyKindSchema }));
-const BaseTracePointSchema = z.lazy(() => z.object({ "tracePointKind": TracePointKindSchema, "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema }));
+const BaseTracePointSchema = z.lazy(() => z.object({ "tracePointKind": TracePointKindSchema, "strategyHandle": StrategyHandleSchema, "tracePointIndex": NaturalSchema }));
 const BranchStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("branch"), StepKindSchema), "cases": z.array(CaseSchema).min(1) }));
 const CaseSchema = z.lazy(() => z.object({ "when": ToolStepSchema, "what": ToolStepSchema }).strict());
 const ExternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("externalInputPotential") }).strict());
 const ForStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("for"), StepKindSchema), "case": CaseSchema }));
 const GenesisProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("genesis") }).strict());
-const GraphEndTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("graph_end")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema }));
-const GraphStartTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("graph_start")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema, "threadedStrategy": ThreadedStrategySchema }));
 const InputPotentialSchema = z.lazy(() => z.union([ExternalInputPotentialSchema, InternalInputPotentialSchema]));
 const InputResourceSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("inputResource"), "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
 const InternalInputPotentialSchema = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("internalInputPotential"), "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
-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({})) }) }));
 const NameSchema = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
 const NaturalSchema = z.lazy(() => z.number().int().min(0));
 const ProvenanceSchema = z.lazy(() => z.union([GenesisProvenanceSchema, RuntimeProvenanceSchema, StrategyProvenanceSchema]));
@@ -46,29 +34,29 @@ const StepArrayArraySchema = z.lazy(() => z.array(StepArraySchema));
 const StepKindSchema = z.lazy(() => z.union([z.literal("tool"), z.literal("branch"), z.literal("while"), z.literal("for")]));
 const StepKindFacetSchema = z.lazy(() => z.object({ "stepKind": StepKindSchema }));
 const StepsByThreadIndexFacetSchema = z.lazy(() => z.object({ "stepsByThreadIndex": StepArrayArraySchema }));
+const StrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "stepsByThreadIndex": StepArrayArraySchema, "strategyState": StrategyStateSchema }));
+const StrategyEndTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("strategy_end")), "strategyHandle": StrategyHandleSchema, "tracePointIndex": NaturalSchema }));
+const StrategyFacetSchema = z.lazy(() => z.object({ "strategy": StrategySchema }));
 const StrategyHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY-.+$")));
-const StrategyKindSchema = z.lazy(() => z.union([z.literal("unthreaded"), z.literal("threaded")]));
 const StrategyProvenanceSchema = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "toolStepRoleAddress": ToolStepRoleAddressSchema }).strict());
-const StrategyStateInputEntrySchema = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
-const StrategyStateInputEntryByRoleNameSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
-const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
-const ThreadedStrategySchema = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": z.intersection(StrategyKindSchema, z.literal("threaded")), "stepsByThreadIndex": StepArrayArraySchema, "strategyState": ThreadedStrategyStateSchema }).strict());
-const ThreadedStrategyFacetSchema = z.lazy(() => z.object({ "threadedStrategy": ThreadedStrategySchema }));
-const ThreadedStrategyStateSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) {
+const StrategyStartTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("strategy_start")), "strategyHandle": StrategyHandleSchema, "tracePointIndex": NaturalSchema, "strategy": StrategySchema }));
+const StrategyStateSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) {
     if (!new RegExp("^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$").test(k))
         ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k });
 } }));
-const ThreadedStrategyStateFacetSchema = z.lazy(() => z.object({ "strategyState": ThreadedStrategyStateSchema }));
-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)$")));
-const TickTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("tick")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema, "counterSnapshot": TracePointCounterSnapshotSchema, "toolStepPath": ThreadedToolStepPathSchema, "delta": TracePointDeltaSchema }));
+const StrategyStateFacetSchema = z.lazy(() => z.object({ "strategyState": StrategyStateSchema }));
+const StrategyStateInputEntrySchema = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
+const StrategyStateInputEntryByRoleNameSchema = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
+const StrategyTraceHandleSchema = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
+const SuspendedTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("suspended")), "strategyHandle": StrategyHandleSchema, "tracePointIndex": NaturalSchema, "counterSnapshot": TracePointCounterSnapshotSchema, "threadIndex": NaturalSchema, "toolStepPath": ToolStepPathSchema, "delta": z.object({ "stepsMutation": z.object({ "insertAt": NaturalSchema, "insertedSteps": StepArraySchema }).optional(), "strategyStateDelta": StrategyStateSchema.optional(), "suspendedData": z.intersection(z.union([z.object({}), z.null()]), z.object({})) }) }));
+const TickTracePointSchema = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("tick")), "strategyHandle": StrategyHandleSchema, "tracePointIndex": NaturalSchema, "counterSnapshot": TracePointCounterSnapshotSchema, "threadIndex": NaturalSchema, "toolStepPath": ToolStepPathSchema, "delta": TracePointDeltaSchema }));
 const ToolHandleSchema = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
 const ToolStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("tool"), StepKindSchema), "toolHandle": ToolHandleSchema, "roleBindingSpec": RoleBindingSpecSchema }));
-const ToolStepPathSchema = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
+const ToolStepPathSchema = 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)$")));
 const ToolStepRoleAddressSchema = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
-const TracePointSchema = z.lazy(() => z.union([GraphStartTracePointSchema, TickTracePointSchema, InterruptTracePointSchema, GraphEndTracePointSchema]));
+const TracePointSchema = z.lazy(() => z.union([StrategyStartTracePointSchema, TickTracePointSchema, SuspendedTracePointSchema, StrategyEndTracePointSchema]));
 const TracePointCounterSnapshotSchema = z.lazy(() => z.object({ "stepCounterAfter": NaturalSchema.optional(), "iterationCounterAfter": NaturalSchema.optional() }));
-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() }));
-const TracePointKindSchema = z.lazy(() => z.union([z.literal("graph_start"), z.literal("tick"), z.literal("interrupt"), z.literal("graph_end")]));
-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)$")));
+const TracePointDeltaSchema = z.lazy(() => z.object({ "stepsMutation": z.object({ "insertAt": NaturalSchema, "insertedSteps": StepArraySchema }).optional(), "strategyStateDelta": StrategyStateSchema.optional(), "suspendedData": z.union([z.object({}), z.null()]).optional() }));
+const TracePointKindSchema = z.lazy(() => z.union([z.literal("strategy_start"), z.literal("tick"), z.literal("suspended"), z.literal("strategy_end")]));
 const WhileStepSchema = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("while"), StepKindSchema), "case": CaseSchema }));
 export const StrategyTraceSchema = z.lazy(() => z.object({ "handle": StrategyTraceHandleSchema, "strategyHandle": StrategyHandleSchema, "tracePoints": z.array(TracePointSchema) }).strict());

package/dist/generated-src/timestampedResources/booleans.json

@@ -3,7 +3,7 @@
         "id": "RESOURCE-BOOLEAN:False",
         "resourceTypeHandle": "TYPE-Boolean",
         "provenance": {
-            "resourceProvenanceKind": "genesis"
+            "provenanceKind": "genesis"
         },
         "timestamp": "2025-11-30T00:00:00.000Z",
         "projection": false
@@ -12,7 +12,7 @@
         "id": "RESOURCE-BOOLEAN:True",
         "resourceTypeHandle": "TYPE-Boolean",
         "provenance": {
-            "resourceProvenanceKind": "genesis"
+            "provenanceKind": "genesis"
         },
         "timestamp": "2025-11-30T00:00:00.000Z",
         "projection": true