@toolproof-core/genesis 1.0.47

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

@@ -0,0 +1,641 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "oneOf": [
+    {
+      "$ref": "#/$defs/UnthreadedStrategy"
+    },
+    {
+      "$ref": "#/$defs/ThreadedStrategy"
+    }
+  ],
+  "$defs": {
+    "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
+    },
+    "BaseStrategy": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "required": [
+        "handle",
+        "strategyKind"
+      ],
+      "properties": {
+        "handle": {
+          "$ref": "#/$defs/StrategyHandle"
+        },
+        "strategyKind": {
+          "$ref": "#/$defs/StrategyKind"
+        }
+      }
+    },
+    "StepsFacet": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "required": [
+        "steps"
+      ],
+      "properties": {
+        "steps": {
+          "$ref": "#/$defs/StepArray"
+        }
+      }
+    },
+    "UnthreadedStrategyStateFacet": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "required": [
+        "strategyState"
+      ],
+      "properties": {
+        "strategyState": {
+          "$ref": "#/$defs/UnthreadedStrategyState"
+        }
+      }
+    },
+    "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"
+        }
+      }
+    },
+    "StrategyHandle": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "pattern": "^STRATEGY-.+$"
+    },
+    "StrategyKind": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "enum": [
+        "unthreaded",
+        "threaded"
+      ]
+    },
+    "StepArray": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/Step"
+      },
+      "uniqueItems": true
+    },
+    "UnthreadedStrategyState": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "propertyNames": {
+        "$ref": "#/$defs/UnthreadedToolStepPath"
+      },
+      "additionalProperties": {
+        "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
+      }
+    },
+    "StepArrayArray": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/StepArray"
+      }
+    },
+    "ThreadedStrategyState": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "propertyNames": {
+        "$ref": "#/$defs/ThreadedToolStepPath"
+      },
+      "additionalProperties": {
+        "$ref": "#/$defs/StrategyStateInputEntryByRoleName"
+      }
+    },
+    "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
+    },
+    "UnthreadedToolStepPath": {
+      "type": "string",
+      "pattern": "^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
+    },
+    "StrategyStateInputEntryByRoleName": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "propertyNames": {
+        "$ref": "#/$defs/RoleName"
+      },
+      "additionalProperties": {
+        "$ref": "#/$defs/StrategyStateInputEntry"
+      }
+    },
+    "ThreadedToolStepPath": {
+      "type": "string",
+      "pattern": "^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$"
+    },
+    "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"
+        }
+      ]
+    },
+    "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
+    },
+    "StrategyTraceHandle": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "pattern": "^STRATEGY_TRACE-.+$"
+    }
+  }
+}

package/generated-src/schemas/standalone/Strategy.ts

@@ -0,0 +1,2 @@
+import schema from './Strategy.json' with { type: 'json' };
+export default schema;