@toolproof-core/genesis 1.0.52 → 1.0.54

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

@@ -1,816 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "type": "object",
-  "required": [
-    "handle",
-    "strategyHandle",
-    "tracePoints"
-  ],
-  "properties": {
-    "handle": {
-      "$ref": "#/$defs/StrategyTraceHandle"
-    },
-    "strategyHandle": {
-      "$comment": "Could be derived from the first event but useful for indexing.",
-      "$ref": "#/$defs/StrategyHandle"
-    },
-    "tracePoints": {
-      "type": "array",
-      "items": {
-        "$ref": "#/$defs/TracePoint"
-      }
-    }
-  },
-  "unevaluatedProperties": false,
-  "$defs": {
-    "StrategyTraceHandle": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "pattern": "^STRATEGY_TRACE-.+$"
-    },
-    "StrategyHandle": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "pattern": "^STRATEGY-.+$"
-    },
-    "TracePoint": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "oneOf": [
-        {
-          "$ref": "#/$defs/GraphStartTracePoint"
-        },
-        {
-          "$ref": "#/$defs/TickTracePoint"
-        },
-        {
-          "$ref": "#/$defs/InterruptTracePoint"
-        },
-        {
-          "$ref": "#/$defs/GraphEndTracePoint"
-        }
-      ]
-    },
-    "GraphStartTracePoint": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "allOf": [
-        {
-          "$ref": "#/$defs/BaseTracePoint"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "tracePointKind": {
-              "const": "graph_start"
-            }
-          }
-        },
-        {
-          "$ref": "#/$defs/ThreadedStrategyFacet"
-        }
-      ]
-    },
-    "TickTracePoint": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "allOf": [
-        {
-          "$ref": "#/$defs/BaseTracePoint"
-        },
-        {
-          "type": "object",
-          "required": [
-            "counterSnapshot",
-            "toolStepPath",
-            "delta"
-          ],
-          "properties": {
-            "tracePointKind": {
-              "const": "tick"
-            },
-            "counterSnapshot": {
-              "$ref": "#/$defs/TracePointCounterSnapshot"
-            },
-            "toolStepPath": {
-              "$ref": "#/$defs/ThreadedToolStepPath"
-            },
-            "delta": {
-              "$ref": "#/$defs/TracePointDelta"
-            }
-          }
-        }
-      ]
-    },
-    "InterruptTracePoint": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "allOf": [
-        {
-          "$ref": "#/$defs/BaseTracePoint"
-        },
-        {
-          "type": "object",
-          "required": [
-            "counterSnapshot",
-            "toolStepPath",
-            "delta"
-          ],
-          "properties": {
-            "tracePointKind": {
-              "const": "interrupt"
-            },
-            "counterSnapshot": {
-              "$ref": "#/$defs/TracePointCounterSnapshot"
-            },
-            "toolStepPath": {
-              "$ref": "#/$defs/ThreadedToolStepPath"
-            },
-            "delta": {
-              "allOf": [
-                {
-                  "$ref": "#/$defs/TracePointDelta"
-                },
-                {
-                  "type": "object",
-                  "required": [
-                    "interruptData"
-                  ],
-                  "properties": {
-                    "interruptData": {
-                      "$comment": "Interrupt events must include a non-null interrupt payload.",
-                      "type": "object"
-                    }
-                  }
-                }
-              ]
-            }
-          }
-        }
-      ]
-    },
-    "GraphEndTracePoint": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "allOf": [
-        {
-          "$ref": "#/$defs/BaseTracePoint"
-        },
-        {
-          "type": "object",
-          "properties": {
-            "tracePointKind": {
-              "const": "graph_end"
-            }
-          }
-        }
-      ]
-    },
-    "BaseTracePoint": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "tracePointKind",
-        "strategyHandle",
-        "threadIndex",
-        "tracePointIndex"
-      ],
-      "properties": {
-        "tracePointKind": {
-          "$ref": "#/$defs/TracePointKind"
-        },
-        "strategyHandle": {
-          "$ref": "#/$defs/StrategyHandle"
-        },
-        "threadIndex": {
-          "$ref": "#/$defs/Natural"
-        },
-        "tracePointIndex": {
-          "$ref": "#/$defs/Natural"
-        }
-      }
-    },
-    "ThreadedStrategyFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "threadedStrategy"
-      ],
-      "properties": {
-        "threadedStrategy": {
-          "$ref": "#/$defs/ThreadedStrategy"
-        }
-      }
-    },
-    "TracePointCounterSnapshot": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "properties": {
-        "stepCounterAfter": {
-          "$ref": "#/$defs/Natural"
-        },
-        "iterationCounterAfter": {
-          "$ref": "#/$defs/Natural"
-        }
-      }
-    },
-    "ThreadedToolStepPath": {
-      "type": "string",
-      "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
-    },
-    "TracePointDelta": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "properties": {
-        "stepsMutation": {
-          "type": "object",
-          "required": [
-            "insertAt",
-            "insertedSteps"
-          ],
-          "properties": {
-            "insertAt": {
-              "$ref": "#/$defs/Natural"
-            },
-            "insertedSteps": {
-              "$ref": "#/$defs/StepArray"
-            }
-          }
-        },
-        "strategyStateDelta": {
-          "$ref": "#/$defs/ThreadedStrategyState"
-        },
-        "interruptData": {
-          "$comment": "Kept permissive; the engine may evolve interrupt payloads.",
-          "type": [
-            "object",
-            "null"
-          ]
-        }
-      }
-    },
-    "TracePointKind": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "enum": [
-        "graph_start",
-        "tick",
-        "interrupt",
-        "graph_end"
-      ]
-    },
-    "Natural": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "integer",
-      "minimum": 0
-    },
-    "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
-    },
-    "StepArray": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "array",
-      "items": {
-        "$ref": "#/$defs/Step"
-      },
-      "uniqueItems": true
-    },
-    "ThreadedStrategyState": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "propertyNames": {
-        "$ref": "#/$defs/ThreadedToolStepPath"
-      },
-      "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",
-      "required": [
-        "stepsByThreadIndex"
-      ],
-      "properties": {
-        "stepsByThreadIndex": {
-          "$ref": "#/$defs/StepArrayArray"
-        }
-      }
-    },
-    "ThreadedStrategyStateFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "strategyState"
-      ],
-      "properties": {
-        "strategyState": {
-          "$ref": "#/$defs/ThreadedStrategyState"
-        }
-      }
-    },
-    "Step": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "oneOf": [
-        {
-          "$ref": "#/$defs/ToolStep"
-        },
-        {
-          "$ref": "#/$defs/BranchStep"
-        },
-        {
-          "$ref": "#/$defs/WhileStep"
-        },
-        {
-          "$ref": "#/$defs/ForStep"
-        }
-      ],
-      "unevaluatedProperties": false
-    },
-    "StrategyStateInputEntryByRoleName": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "propertyNames": {
-        "$ref": "#/$defs/RoleName"
-      },
-      "additionalProperties": {
-        "$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",
-      "items": {
-        "$ref": "#/$defs/StepArray"
-      }
-    },
-    "ToolStep": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "stepKind",
-        "toolHandle"
-      ],
-      "properties": {
-        "stepKind": {
-          "const": "tool"
-        },
-        "toolHandle": {
-          "$ref": "#/$defs/ToolHandle"
-        }
-      },
-      "allOf": [
-        {
-          "$ref": "#/$defs/StepKindFacet"
-        },
-        {
-          "$comment": "This will be overlaid dynamically to specify roleBindingSpec corresponding to the roleSpec of the underlying tool.",
-          "$ref": "#/$defs/RoleBindingSpecFacet"
-        }
-      ]
-    },
-    "BranchStep": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "stepKind",
-        "cases"
-      ],
-      "properties": {
-        "stepKind": {
-          "const": "branch"
-        },
-        "cases": {
-          "type": "array",
-          "items": {
-            "$ref": "#/$defs/Case"
-          },
-          "minItems": 1,
-          "uniqueItems": true
-        }
-      },
-      "allOf": [
-        {
-          "$ref": "#/$defs/StepKindFacet"
-        }
-      ]
-    },
-    "WhileStep": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "stepKind",
-        "case"
-      ],
-      "properties": {
-        "stepKind": {
-          "const": "while"
-        },
-        "case": {
-          "$ref": "#/$defs/Case"
-        }
-      },
-      "allOf": [
-        {
-          "$ref": "#/$defs/StepKindFacet"
-        }
-      ]
-    },
-    "ForStep": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "stepKind",
-        "case"
-      ],
-      "properties": {
-        "stepKind": {
-          "const": "for"
-        },
-        "case": {
-          "$ref": "#/$defs/Case"
-        }
-      },
-      "allOf": [
-        {
-          "$ref": "#/$defs/StepKindFacet"
-        }
-      ]
-    },
-    "RoleName": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "$ref": "#/$defs/Name"
-    },
-    "StrategyStateInputEntry": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "oneOf": [
-        {
-          "$ref": "#/$defs/InputPotential"
-        },
-        {
-          "$ref": "#/$defs/InputResource"
-        }
-      ]
-    },
-    "ToolHandle": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "pattern": "^TOOL-.+$"
-    },
-    "StepKindFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "stepKind"
-      ],
-      "properties": {
-        "stepKind": {
-          "$ref": "#/$defs/StepKind"
-        }
-      }
-    },
-    "RoleBindingSpecFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "roleBindingSpec"
-      ],
-      "properties": {
-        "roleBindingSpec": {
-          "$ref": "#/$defs/RoleBindingSpec"
-        }
-      }
-    },
-    "Case": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "when",
-        "what"
-      ],
-      "properties": {
-        "when": {
-          "$ref": "#/$defs/ToolStep"
-        },
-        "what": {
-          "$ref": "#/$defs/ToolStep"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "Name": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "minLength": 1,
-      "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."
-    },
-    "InputPotential": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "oneOf": [
-        {
-          "$ref": "#/$defs/ExternalInputPotential"
-        },
-        {
-          "$ref": "#/$defs/InternalInputPotential"
-        }
-      ]
-    },
-    "InputResource": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "strategyStateInputKind"
-      ],
-      "properties": {
-        "strategyStateInputKind": {
-          "const": "inputResource"
-        }
-      },
-      "allOf": [
-        {
-          "$ref": "#/$defs/BaseResource"
-        }
-      ],
-      "unevaluatedProperties": false
-    },
-    "StepKind": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "enum": [
-        "tool",
-        "branch",
-        "while",
-        "for"
-      ]
-    },
-    "RoleBindingSpec": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "inputBindings",
-        "outputBindings"
-      ],
-      "properties": {
-        "inputBindings": {
-          "$ref": "#/$defs/RoleNameArray"
-        },
-        "outputBindings": {
-          "$ref": "#/$defs/RoleNameArray"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "ExternalInputPotential": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "strategyStateInputKind",
-        "id",
-        "resourceTypeHandle"
-      ],
-      "properties": {
-        "strategyStateInputKind": {
-          "const": "externalInputPotential"
-        },
-        "id": {
-          "$ref": "#/$defs/ResourceId"
-        },
-        "resourceTypeHandle": {
-          "$ref": "#/$defs/ResourceTypeHandle"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "InternalInputPotential": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "strategyStateInputKind",
-        "id",
-        "resourceTypeHandle",
-        "provenance"
-      ],
-      "properties": {
-        "strategyStateInputKind": {
-          "const": "internalInputPotential"
-        },
-        "id": {
-          "$ref": "#/$defs/ResourceId"
-        },
-        "resourceTypeHandle": {
-          "$ref": "#/$defs/ResourceTypeHandle"
-        },
-        "provenance": {
-          "$ref": "#/$defs/DeferredStrategyProvenance"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "BaseResource": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "projection"
-      ],
-      "properties": {
-        "projection": true
-      },
-      "$comment": "The projection field stores the Core-visible JSON projection of the Resource, not the raw underlying artifact. This will be overlaid dynamically to match the data structure of the underlying ResourceType's projectionSchema.",
-      "allOf": [
-        {
-          "$ref": "#/$defs/ResourcePointer"
-        }
-      ]
-    },
-    "RoleNameArray": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "array",
-      "items": {
-        "$ref": "#/$defs/RoleName"
-      }
-    },
-    "ResourceId": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "pattern": "^RESOURCE-.+$"
-    },
-    "ResourceTypeHandle": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "pattern": "^TYPE-.+$"
-    },
-    "DeferredStrategyProvenance": {
-      "$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",
-        "outputAddress"
-      ],
-      "properties": {
-        "provenanceKind": {
-          "const": "strategy"
-        },
-        "outputAddress": {
-          "$ref": "#/$defs/OutputAddress"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "ResourcePointer": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "id",
-        "resourceTypeHandle"
-      ],
-      "properties": {
-        "id": {
-          "$ref": "#/$defs/ResourceId"
-        },
-        "resourceTypeHandle": {
-          "$ref": "#/$defs/ResourceTypeHandle"
-        }
-      },
-      "allOf": [
-        {
-          "$ref": "#/$defs/ProvenanceFacet"
-        }
-      ],
-      "unevaluatedProperties": false
-    },
-    "OutputAddress": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "roleName",
-        "toolStepPath"
-      ],
-      "properties": {
-        "roleName": {
-          "$ref": "#/$defs/RoleName"
-        },
-        "toolStepPath": {
-          "$ref": "#/$defs/ToolStepPath"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "ProvenanceFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "provenance"
-      ],
-      "properties": {
-        "provenance": {
-          "$ref": "#/$defs/Provenance"
-        }
-      }
-    },
-    "ToolStepPath": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "oneOf": [
-        {
-          "$ref": "#/$defs/UnthreadedToolStepPath"
-        },
-        {
-          "$ref": "#/$defs/ThreadedToolStepPath"
-        }
-      ]
-    },
-    "Provenance": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "oneOf": [
-        {
-          "$ref": "#/$defs/GenesisProvenance"
-        },
-        {
-          "$ref": "#/$defs/StrategyProvenance"
-        }
-      ]
-    },
-    "UnthreadedToolStepPath": {
-      "type": "string",
-      "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
-    },
-    "GenesisProvenance": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "provenanceKind"
-      ],
-      "properties": {
-        "provenanceKind": {
-          "const": "genesis"
-        }
-      },
-      "unevaluatedProperties": false
-    },
-    "StrategyProvenance": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "provenanceKind",
-        "strategyTraceHandle",
-        "outputAddress"
-      ],
-      "properties": {
-        "provenanceKind": {
-          "const": "strategy"
-        },
-        "strategyTraceHandle": {
-          "$ref": "#/$defs/StrategyTraceHandle"
-        },
-        "outputAddress": {
-          "$ref": "#/$defs/OutputAddress"
-        }
-      },
-      "unevaluatedProperties": false
-    }
-  }
-}