@toolproof-core/genesis 1.0.55 → 1.0.58

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

@@ -77,7 +77,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",
@@ -102,7 +102,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",
@@ -730,8 +729,7 @@
                     "items": {
                         "$ref": "#/$defs/Case"
                     },
-                    "minItems": 1,
-                    "uniqueItems": true
+                    "minItems": 1
                 }
             },
             "allOf": [
@@ -823,6 +821,7 @@
             "type": "string",
             "enum": [
                 "genesis",
+                "runtime",
                 "strategy"
             ]
         },
@@ -839,39 +838,34 @@
             },
             "unevaluatedProperties": false
         },
-        "StrategyProvenance": {
+        "RuntimeProvenance": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
-                "provenanceKind",
-                "strategyTraceHandle",
-                "toolStepRoleAddress"
+                "provenanceKind"
             ],
             "properties": {
                 "provenanceKind": {
-                    "const": "strategy"
-                },
-                "strategyTraceHandle": {
-                    "$ref": "#/$defs/StrategyTraceHandle"
-                },
-                "toolStepRoleAddress": {
-                    "$ref": "#/$defs/ToolStepRoleAddress"
+                    "const": "runtime"
                 }
             },
             "unevaluatedProperties": false
         },
-        "DeferredStrategyProvenance": {
+        "StrategyProvenance": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "$comment": "Build-time strategy provenance without strategyTraceHandle. strategyTraceHandle is only known at runtime.",
             "type": "object",
             "required": [
                 "provenanceKind",
+                "strategyTraceHandle",
                 "toolStepRoleAddress"
             ],
             "properties": {
                 "provenanceKind": {
                     "const": "strategy"
                 },
+                "strategyTraceHandle": {
+                    "$ref": "#/$defs/StrategyTraceHandle"
+                },
                 "toolStepRoleAddress": {
                     "$ref": "#/$defs/ToolStepRoleAddress"
                 }
@@ -884,6 +878,9 @@
                 {
                     "$ref": "#/$defs/GenesisProvenance"
                 },
+                {
+                    "$ref": "#/$defs/RuntimeProvenance"
+                },
                 {
                     "$ref": "#/$defs/StrategyProvenance"
                 }
@@ -981,19 +978,11 @@
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
-                "strategyStateInputKind",
-                "id",
-                "resourceTypeHandle"
+                "strategyStateInputKind"
             ],
             "properties": {
                 "strategyStateInputKind": {
                     "const": "externalInputPotential"
-                },
-                "id": {
-                    "$ref": "#/$defs/ResourceId"
-                },
-                "resourceTypeHandle": {
-                    "$ref": "#/$defs/ResourceTypeHandle"
                 }
             },
             "unevaluatedProperties": false
@@ -1003,22 +992,14 @@
             "type": "object",
             "required": [
                 "strategyStateInputKind",
-                "id",
-                "resourceTypeHandle",
-                "provenance"
+                "toolStepRoleAddress"
             ],
             "properties": {
                 "strategyStateInputKind": {
                     "const": "internalInputPotential"
                 },
-                "id": {
-                    "$ref": "#/$defs/ResourceId"
-                },
-                "resourceTypeHandle": {
-                    "$ref": "#/$defs/ResourceTypeHandle"
-                },
-                "provenance": {
-                    "$ref": "#/$defs/DeferredStrategyProvenance"
+                "toolStepRoleAddress": {
+                    "$ref": "#/$defs/ToolStepRoleAddress"
                 }
             },
             "unevaluatedProperties": false
@@ -1060,8 +1041,7 @@
             "type": "array",
             "items": {
                 "$ref": "#/$defs/Step"
-            },
-            "uniqueItems": true
+            }
         },
         "StepArrayArray": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -1087,10 +1067,10 @@
             "type": "string",
             "enum": [
                 "self",
-                "case.when",
-                "case.what",
-                "cases.when",
-                "cases.what"
+                "case/when",
+                "case/what",
+                "cases/when",
+                "cases/what"
             ]
         },
         "ToolStepPathSlotFacet": {
@@ -1105,14 +1085,18 @@
                 }
             }
         },
-        "BaseToolStepPathSpec": {
+        "ToolStepPathSpec": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
+                "threadIndex",
                 "stepIndex",
                 "toolStepPathSlot"
             ],
             "properties": {
+                "threadIndex": {
+                    "$ref": "#/$defs/Natural"
+                },
                 "stepIndex": {
                     "$ref": "#/$defs/Natural"
                 },
@@ -1129,8 +1113,8 @@
                         "properties": {
                             "toolStepPathSlot": {
                                 "enum": [
-                                    "cases.when",
-                                    "cases.what"
+                                    "cases/when",
+                                    "cases/what"
                                 ]
                             }
                         }
@@ -1147,8 +1131,8 @@
                             "toolStepPathSlot": {
                                 "enum": [
                                     "self",
-                                    "case.when",
-                                    "case.what"
+                                    "case/when",
+                                    "case/what"
                                 ]
                             }
                         }
@@ -1163,87 +1147,21 @@
                 }
             ]
         },
-        "UnthreadedToolStepPathSpec": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "allOf": [
-                {
-                    "$ref": "#/$defs/BaseToolStepPathSpec"
-                }
-            ],
-            "unevaluatedProperties": false
-        },
-        "ThreadedToolStepPathSpec": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "allOf": [
-                {
-                    "$ref": "#/$defs/BaseToolStepPathSpec"
-                },
-                {
-                    "type": "object",
-                    "required": [
-                        "threadIndex"
-                    ],
-                    "properties": {
-                        "threadIndex": {
-                            "$ref": "#/$defs/Natural"
-                        }
-                    }
-                }
-            ],
-            "unevaluatedProperties": false
-        },
         "ToolStepPath": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "oneOf": [
-                {
-                    "$ref": "#/$defs/UnthreadedToolStepPath"
-                },
-                {
-                    "$ref": "#/$defs/ThreadedToolStepPath"
-                }
-            ]
-        },
-        "UnthreadedToolStepPath": {
-            "type": "string",
-            "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
-        },
-        "ThreadedToolStepPath": {
             "type": "string",
             "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
         },
-        "UnthreadedStrategyState": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "propertyNames": {
-                "$ref": "#/$defs/UnthreadedToolStepPath"
-            },
-            "additionalProperties": {
-                "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
-            }
-        },
-        "ThreadedStrategyState": {
+        "StrategyState": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "propertyNames": {
-                "$ref": "#/$defs/ThreadedToolStepPath"
+                "$ref": "#/$defs/ToolStepPath"
             },
             "additionalProperties": {
                 "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
             }
         },
-        "UnthreadedStrategyStateFacet": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "required": [
-                "strategyState"
-            ],
-            "properties": {
-                "strategyState": {
-                    "$ref": "#/$defs/UnthreadedStrategyState"
-                }
-            }
-        },
-        "ThreadedStrategyStateFacet": {
+        "StrategyStateFacet": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
@@ -1251,95 +1169,32 @@
             ],
             "properties": {
                 "strategyState": {
-                    "$ref": "#/$defs/ThreadedStrategyState"
+                    "$ref": "#/$defs/StrategyState"
                 }
             }
         },
-        "StrategyKind": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "enum": [
-                "unthreaded",
-                "threaded"
-            ]
-        },
         "StrategyHandle": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
             "pattern": "^STRATEGY-.+$"
         },
-        "BaseStrategy": {
+        "Strategy": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
-                "handle",
-                "strategyKind"
+                "handle"
             ],
             "properties": {
                 "handle": {
                     "$ref": "#/$defs/StrategyHandle"
-                },
-                "strategyKind": {
-                    "$ref": "#/$defs/StrategyKind"
-                }
-            }
-        },
-        "UnthreadedStrategy": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "allOf": [
-                {
-                    "$ref": "#/$defs/BaseStrategy"
-                },
-                {
-                    "type": "object",
-                    "properties": {
-                        "strategyKind": {
-                            "const": "unthreaded"
-                        }
-                    }
-                },
-                {
-                    "$ref": "#/$defs/StepsFacet"
-                },
-                {
-                    "$ref": "#/$defs/UnthreadedStrategyStateFacet"
                 }
-            ],
-            "unevaluatedProperties": false
-        },
-        "ThreadedStrategy": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
+            },
             "allOf": [
-                {
-                    "$ref": "#/$defs/BaseStrategy"
-                },
-                {
-                    "type": "object",
-                    "properties": {
-                        "strategyKind": {
-                            "const": "threaded"
-                        }
-                    }
-                },
                 {
                     "$ref": "#/$defs/StepsByThreadIndexFacet"
                 },
                 {
-                    "$ref": "#/$defs/ThreadedStrategyStateFacet"
-                }
-            ],
-            "unevaluatedProperties": false
-        },
-        "Strategy": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "oneOf": [
-                {
-                    "$ref": "#/$defs/UnthreadedStrategy"
-                },
-                {
-                    "$ref": "#/$defs/ThreadedStrategy"
+                    "$ref": "#/$defs/StrategyStateFacet"
                 }
             ]
         },
@@ -1387,10 +1242,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"
@@ -1402,10 +1257,10 @@
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
             "enum": [
-                "graph_start",
+                "strategy_start",
                 "tick",
-                "interrupt",
-                "graph_end"
+                "suspended",
+                "strategy_end"
             ]
         },
         "BaseTracePoint": {
@@ -1414,7 +1269,6 @@
             "required": [
                 "tracePointKind",
                 "strategyHandle",
-                "threadIndex",
                 "tracePointIndex"
             ],
             "properties": {
@@ -1424,27 +1278,24 @@
                 "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"
                 }
             }
         },
-        "GraphStartTracePoint": {
+        "StrategyStartTracePoint": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
@@ -1454,12 +1305,12 @@
                     "type": "object",
                     "properties": {
                         "tracePointKind": {
-                            "const": "graph_start"
+                            "const": "strategy_start"
                         }
                     }
                 },
                 {
-                    "$ref": "#/$defs/ThreadedStrategyFacet"
+                    "$ref": "#/$defs/StrategyFacet"
                 }
             ]
         },
@@ -1473,6 +1324,7 @@
                     "type": "object",
                     "required": [
                         "counterSnapshot",
+                        "threadIndex",
                         "toolStepPath",
                         "delta"
                     ],
@@ -1483,8 +1335,11 @@
                         "counterSnapshot": {
                             "$ref": "#/$defs/TracePointCounterSnapshot"
                         },
+                        "threadIndex": {
+                            "$ref": "#/$defs/Natural"
+                        },
                         "toolStepPath": {
-                            "$ref": "#/$defs/ThreadedToolStepPath"
+                            "$ref": "#/$defs/ToolStepPath"
                         },
                         "delta": {
                             "$ref": "#/$defs/TracePointDelta"
@@ -1493,7 +1348,7 @@
                 }
             ]
         },
-        "InterruptTracePoint": {
+        "SuspendedTracePoint": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
@@ -1503,18 +1358,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": [
@@ -1524,11 +1383,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"
                                         }
                                     }
@@ -1539,7 +1398,7 @@
                 }
             ]
         },
-        "GraphEndTracePoint": {
+        "StrategyEndTracePoint": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
@@ -1549,7 +1408,7 @@
                     "type": "object",
                     "properties": {
                         "tracePointKind": {
-                            "const": "graph_end"
+                            "const": "strategy_end"
                         }
                     }
                 }
@@ -1560,16 +1419,16 @@
             "type": "object",
             "oneOf": [
                 {
-                    "$ref": "#/$defs/GraphStartTracePoint"
+                    "$ref": "#/$defs/StrategyStartTracePoint"
                 },
                 {
                     "$ref": "#/$defs/TickTracePoint"
                 },
                 {
-                    "$ref": "#/$defs/InterruptTracePoint"
+                    "$ref": "#/$defs/SuspendedTracePoint"
                 },
                 {
-                    "$ref": "#/$defs/GraphEndTracePoint"
+                    "$ref": "#/$defs/StrategyEndTracePoint"
                 }
             ]
         },

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

@@ -70,6 +70,9 @@
                 {
                     "$ref": "#/$defs/GenesisProvenance"
                 },
+                {
+                    "$ref": "#/$defs/RuntimeProvenance"
+                },
                 {
                     "$ref": "#/$defs/StrategyProvenance"
                 }
@@ -88,6 +91,19 @@
             },
             "unevaluatedProperties": false
         },
+        "RuntimeProvenance": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "provenanceKind"
+            ],
+            "properties": {
+                "provenanceKind": {
+                    "const": "runtime"
+                }
+            },
+            "unevaluatedProperties": false
+        },
         "StrategyProvenance": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
@@ -136,15 +152,8 @@
             "$ref": "#/$defs/Name"
         },
         "ToolStepPath": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "oneOf": [
-                {
-                    "$ref": "#/$defs/UnthreadedToolStepPath"
-                },
-                {
-                    "$ref": "#/$defs/ThreadedToolStepPath"
-                }
-            ]
+            "type": "string",
+            "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
         },
         "Name": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -153,14 +162,6 @@
             "pattern": "^[A-Z][a-zA-Z0-9]*$",
             "$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
             "semanticValidation": "Ajv custom keyword to verify name."
-        },
-        "UnthreadedToolStepPath": {
-            "type": "string",
-            "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
-        },
-        "ThreadedToolStepPath": {
-            "type": "string",
-            "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
         }
     }
 }