@toolproof-core/genesis 1.0.47

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

@@ -0,0 +1,820 @@
+{
+  "$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": [
+        "value"
+      ],
+      "properties": {
+        "value": true
+      },
+      "$comment": "This will be overlaid dynamically to match the data structure of the underlying ResourceType's valueSchema.",
+      "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",
+        "version"
+      ],
+      "properties": {
+        "id": {
+          "$ref": "#/$defs/ResourceId"
+        },
+        "resourceTypeHandle": {
+          "$ref": "#/$defs/ResourceTypeHandle"
+        },
+        "version": {
+          "const": 1
+        }
+      },
+      "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
+    }
+  }
+}