@toolproof-core/schema 1.0.0

package/src/generated/schemas/Genesis.json

@@ -0,0 +1,1489 @@
+{
+    "$id": "https://schemas.toolproof.com/v2/Genesis.json",
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$defs": {
+        "Boolean": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "$defs": {
+                "BooleanIdentity": {
+                    "type": "boolean"
+                }
+            },
+            "type": "object",
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/BooleanIdentity"
+                }
+            },
+            "required": [
+                "identity"
+            ],
+            "additionalProperties": false,
+            "$anchor": "Boolean"
+        },
+        "BooleanIdentity": {
+            "type": "boolean"
+        },
+        "BranchStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ],
+            "properties": {
+                "cases": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/Conditional"
+                    },
+                    "minItems": 1,
+                    "uniqueItems": true
+                },
+                "identity": {
+                    "$ref": "#/$defs/BranchStepIdentity"
+                },
+                "stepKind": {
+                    "const": "branch"
+                }
+            },
+            "required": [
+                "identity",
+                "cases"
+            ],
+            "$anchor": "BranchStep"
+        },
+        "BranchStepIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "BranchStepIdentity",
+            "pattern": "^BRANCHSTEP-.+$"
+        },
+        "Conditional": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "what": {
+                    "$ref": "#/$defs/JobStep"
+                },
+                "when": {
+                    "$ref": "#/$defs/JobStep"
+                }
+            },
+            "required": [
+                "when",
+                "what"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Conditional"
+        },
+        "CreationContext": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "jobRunHandle": {
+                    "$ref": "#/$defs/JobRunIdentity"
+                },
+                "resourceRoleHandle": {
+                    "$ref": "#/$defs/ResourceRoleIdentity"
+                }
+            },
+            "required": [
+                "resourceRoleHandle",
+                "jobRunHandle"
+            ],
+            "$anchor": "CreationContext"
+        },
+        "CreationContextFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "creationContext": {
+                    "$ref": "#/$defs/CreationContext"
+                }
+            },
+            "required": [
+                "creationContext"
+            ],
+            "$anchor": "CreationContextFacet"
+        },
+        "Description": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "Description",
+            "$comment": "Validation is intercepted by an AI Agent that verifies the description against Toolproof's documentation standards.",
+            "minLength": 1,
+            "semanticValidation": "Ajv custom keyword to verify description."
+        },
+        "DescriptionFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "description": {
+                    "$ref": "#/$defs/Description"
+                }
+            },
+            "required": [
+                "description"
+            ],
+            "$anchor": "DescriptionFacet"
+        },
+        "DocumentationFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/NameFacet"
+                },
+                {
+                    "$ref": "#/$defs/DescriptionFacet"
+                }
+            ],
+            "$anchor": "DocumentationFacet"
+        },
+        "Domain": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "Domain",
+            "enum": [
+                "internal",
+                "numerical",
+                "biological",
+                "logical",
+                "augmental"
+            ]
+        },
+        "DomainFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "domain": {
+                    "$ref": "#/$defs/Domain"
+                }
+            },
+            "required": [
+                "domain"
+            ],
+            "$anchor": "DomainFacet"
+        },
+        "Error": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/DocumentationFacet"
+                },
+                {
+                    "properties": {
+                        "details": {
+                            "type": "object"
+                        }
+                    }
+                }
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Error"
+        },
+        "ForStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ],
+            "properties": {
+                "case": {
+                    "$ref": "#/$defs/Conditional"
+                },
+                "identity": {
+                    "$ref": "#/$defs/ForStepIdentity"
+                },
+                "stepKind": {
+                    "const": "for"
+                }
+            },
+            "required": [
+                "identity",
+                "case"
+            ],
+            "$anchor": "ForStep"
+        },
+        "ForStepIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "ForStepIdentity",
+            "pattern": "^FORSTEP-.+$"
+        },
+        "Goal": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/DomainFacet"
+                }
+            ],
+            "properties": {
+                "disallowedJobs": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/JobIdentity"
+                    }
+                },
+                "disallowedSequences": {
+                    "type": "array",
+                    "items": {
+                        "type": "array",
+                        "items": {
+                            "$ref": "#/$defs/JobIdentity"
+                        }
+                    }
+                },
+                "identity": {
+                    "$ref": "#/$defs/GoalIdentity"
+                },
+                "maxSteps": {
+                    "type": "integer",
+                    "minimum": 1
+                },
+                "minSteps": {
+                    "type": "integer",
+                    "minimum": 1
+                },
+                "target": {
+                    "type": "integer",
+                    "minimum": 0
+                }
+            },
+            "required": [
+                "identity",
+                "target"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Goal"
+        },
+        "GoalIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "GoalIdentity",
+            "pattern": "^GOAL-.+$"
+        },
+        "GraphEndRunEvent": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/RunEventBase"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "graph_end"
+                        }
+                    }
+                }
+            ],
+            "$anchor": "GraphEndRunEvent"
+        },
+        "GraphStartRunEvent": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/RunEventBase"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "graph_start"
+                        },
+                        "runnableStrategySeed": {
+                            "$ref": "#/$defs/RunnableStrategy"
+                        }
+                    },
+                    "required": [
+                        "runnableStrategySeed"
+                    ]
+                }
+            ],
+            "$anchor": "GraphStartRunEvent"
+        },
+        "InterruptRunEvent": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/RunEventBase"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "interrupt"
+                        }
+                    }
+                }
+            ],
+            "$anchor": "InterruptRunEvent"
+        },
+        "Job": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/DocumentationFacet"
+                },
+                {
+                    "$ref": "#/$defs/DomainFacet"
+                },
+                {
+                    "$ref": "#/$defs/RolesFacet"
+                }
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/JobIdentity"
+                },
+                "implementationUri": {
+                    "$ref": "#/$defs/Uri"
+                }
+            },
+            "required": [
+                "identity",
+                "implementationUri"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Job"
+        },
+        "JobIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "JobIdentity",
+            "pattern": "^JOB-.+$"
+        },
+        "JobRun": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$comment": "This will be overlayed dynamically to specify roleBindings corresponding to the roles of the underlying job.",
+                    "$ref": "#/$defs/RoleBindingsFacet"
+                }
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/JobRunIdentity"
+                },
+                "jobHandle": {
+                    "$ref": "#/$defs/JobIdentity"
+                }
+            },
+            "required": [
+                "identity",
+                "jobHandle"
+            ],
+            "$anchor": "JobRun"
+        },
+        "JobRunIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "JobRunIdentity",
+            "pattern": "^JobRun-.+$"
+        },
+        "JobRunSocket": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "additionalProperties": {
+                "$ref": "#/$defs/Resource"
+            },
+            "$anchor": "JobRunSocket",
+            "propertyNames": {
+                "$ref": "#/$defs/ResourceRoleIdentity"
+            }
+        },
+        "JobStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/JobStepIdentity"
+                },
+                "jobRun": {
+                    "$ref": "#/$defs/JobRun"
+                },
+                "stepKind": {
+                    "const": "job"
+                }
+            },
+            "required": [
+                "identity",
+                "jobRun"
+            ],
+            "$anchor": "JobStep"
+        },
+        "JobStepIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "JobStepIdentity",
+            "pattern": "^JobStep-.+$"
+        },
+        "JsonData": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "oneOf": [
+                {
+                    "type": "null"
+                },
+                {
+                    "type": "boolean"
+                },
+                {
+                    "type": "number"
+                },
+                {
+                    "type": "string"
+                },
+                {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/JsonData"
+                    }
+                },
+                {
+                    "type": "object",
+                    "additionalProperties": {
+                        "$ref": "#/$defs/JsonData"
+                    }
+                }
+            ],
+            "$anchor": "JsonData"
+        },
+        "Name": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "Name",
+            "$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
+            "minLength": 1,
+            "pattern": "^(?:[A-Z][^0-9]*|[a-z]+/[a-z.+&-]+)$",
+            "semanticValidation": "Ajv custom keyword to verify name."
+        },
+        "NameFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "name": {
+                    "$ref": "#/$defs/Name"
+                }
+            },
+            "required": [
+                "name"
+            ],
+            "$anchor": "NameFacet"
+        },
+        "Natural": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "$defs": {
+                "NaturalIdentity": {
+                    "type": "integer"
+                }
+            },
+            "type": "object",
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/NaturalIdentity"
+                }
+            },
+            "required": [
+                "identity"
+            ],
+            "additionalProperties": false,
+            "$anchor": "Natural"
+        },
+        "NaturalIdentity": {
+            "type": "integer"
+        },
+        "Nucleus": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "additionalProperties": {
+                "$ref": "#/$defs/JsonData"
+            },
+            "$anchor": "Nucleus"
+        },
+        "NucleusFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "nucleus": {
+                    "$ref": "#/$defs/Nucleus"
+                }
+            },
+            "required": [
+                "nucleus"
+            ],
+            "$anchor": "NucleusFacet"
+        },
+        "Path": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "Path",
+            "format": "uri-reference"
+        },
+        "PathFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "path": {
+                    "$ref": "#/$defs/Path"
+                }
+            },
+            "required": [
+                "path"
+            ],
+            "$anchor": "PathFacet"
+        },
+        "RawStrategy": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepsFacet"
+                },
+                {
+                    "$ref": "#/$defs/StrategyStateFacet"
+                }
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "RawStrategy"
+        },
+        "Resource": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/ResourceMissing"
+                },
+                {
+                    "$ref": "#/$defs/ResourceInputPotential"
+                },
+                {
+                    "$ref": "#/$defs/ResourceOutputPotential"
+                },
+                {
+                    "$ref": "#/$defs/ResourceMaterialized"
+                }
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Resource"
+        },
+        "ResourceBase": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/ResourceIdentity"
+                },
+                "resourceTypeHandle": {
+                    "$ref": "#/$defs/ResourceTypeIdentity"
+                }
+            },
+            "required": [
+                "identity",
+                "resourceTypeHandle"
+            ],
+            "$anchor": "ResourceBase"
+        },
+        "ResourceIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "ResourceIdentity",
+            "pattern": "^RESOURCE-.+$"
+        },
+        "ResourceInputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "unevaluatedProperties": false,
+            "$anchor": "ResourceInputPotential",
+            "$ref": "#/$defs/ShellInputPotential"
+        },
+        "ResourceKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "ResourceKind",
+            "enum": [
+                "missing",
+                "input-potential",
+                "output-potential",
+                "materialized"
+            ]
+        },
+        "ResourceKindFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "resourceKind": {
+                    "$ref": "#/$defs/ResourceKind"
+                }
+            },
+            "required": [
+                "resourceKind"
+            ],
+            "$anchor": "ResourceKindFacet"
+        },
+        "ResourceMaterialized": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ShellMaterializedBase"
+                },
+                {
+                    "$comment": "This will be overlayed dynamically to match the data structure of the underlying ResourceType's nucleusSchema.",
+                    "$ref": "#/$defs/NucleusFacet"
+                }
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "ResourceMaterialized"
+        },
+        "ResourceMissing": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "unevaluatedProperties": false,
+            "$anchor": "ResourceMissing",
+            "$ref": "#/$defs/ShellMissing"
+        },
+        "ResourceOutputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "unevaluatedProperties": false,
+            "$anchor": "ResourceOutputPotential",
+            "$ref": "#/$defs/ShellOutputPotential"
+        },
+        "ResourceRoleIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "ResourceRoleIdentity",
+            "pattern": "^ROLE-.+$"
+        },
+        "ResourceRoleValue": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "properties": {
+                        "resourceTypeHandle": {
+                            "$ref": "#/$defs/ResourceTypeIdentity"
+                        }
+                    },
+                    "required": [
+                        "resourceTypeHandle"
+                    ],
+                    "$comment": "A ResourceRole does not have a self-contained identity, as it is always defined in the context of a RoleMap. ResourceRoleValue uses the Value suffix to mean 'the value stored in this map' (RoleMap.additionalProperties)."
+                },
+                {
+                    "$ref": "#/$defs/DocumentationFacet"
+                }
+            ],
+            "$anchor": "ResourceRoleValue"
+        },
+        "ResourceType": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/DocumentationFacet"
+                },
+                {
+                    "$ref": "#/$defs/ResourceTypeImplementationKindFacet"
+                }
+            ],
+            "properties": {
+                "embeddingUriMap": {
+                    "type": "object",
+                    "additionalProperties": {
+                        "$ref": "#/$defs/Uri"
+                    },
+                    "$comment": "A ResourceType may specify a set of embedding models that convert the raw data (or one of its alternative representations) into vector embeddings. The build process enforces that the keys of this map are members of a set of predefined embedding models.",
+                    "minProperties": 1,
+                    "propertyNames": {
+                        "type": "string",
+                        "pattern": "^EMBEDDING-.+$"
+                    }
+                },
+                "generatorUriMap": {
+                    "type": "object",
+                    "additionalProperties": {
+                        "$ref": "#/$defs/Uri"
+                    },
+                    "$comment": "A ResourceType may specify a set of generators that generate different representations of its instances from the raw file. A ToolProof Resource is always backed by a raw file. This is also true for the Resources (of type ResourceType) defined in this file! The build process enforces that the keys of this map are members of a set of predefined generators. GENERATOR-Json is an identifier for a generator that generates JSON data from the raw file. If the raw file is a JSON file, GENERATOR-Json is an implicit identity operation (i.e. an operation that does nothing) and must not be present in the map. A ResourceType may also specify other generators, such as GENERATOR-LeanTerm, which generates an instance (or 'term' in Lean jargon) of a corresponding Lean type from the raw file. ResourceTypes that specify GENERATOR-LeanTerm must also specify a corresponding GENERATOR-LeanType. While the term-version runs when data instances enter the ecosystem, the type-version runs when the ResourceType itself enters the ecosystem.",
+                    "minProperties": 1,
+                    "propertyNames": {
+                        "type": "string",
+                        "pattern": "^GENERATOR-.+$"
+                    }
+                },
+                "identity": {
+                    "$ref": "#/$defs/ResourceTypeIdentity"
+                },
+                "nucleusSchema": true
+            },
+            "required": [
+                "identity",
+                "nucleusSchema"
+            ],
+            "$anchor": "ResourceType"
+        },
+        "ResourceTypeIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "ResourceTypeIdentity",
+            "pattern": "^TYPE-.+$"
+        },
+        "ResourceTypeImplementationKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "ResourceTypeImplementationKind",
+            "enum": [
+                "internal-without-identity",
+                "internal-with-identity",
+                "external"
+            ]
+        },
+        "ResourceTypeImplementationKindFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "resourceTypeImplementationKind": {
+                    "$ref": "#/$defs/ResourceTypeImplementationKind"
+                }
+            },
+            "required": [
+                "resourceTypeImplementationKind"
+            ],
+            "$anchor": "ResourceTypeImplementationKindFacet"
+        },
+        "RoleBindingArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "$anchor": "RoleBindingArray",
+            "items": {
+                "$ref": "#/$defs/ResourceRoleIdentity"
+            }
+        },
+        "RoleBindings": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "inputBindings": {
+                    "$ref": "#/$defs/RoleBindingArray"
+                },
+                "outputBindings": {
+                    "$ref": "#/$defs/RoleBindingArray"
+                }
+            },
+            "required": [
+                "inputBindings",
+                "outputBindings"
+            ],
+            "$anchor": "RoleBindings"
+        },
+        "RoleBindingsFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "roleBindings": {
+                    "$ref": "#/$defs/RoleBindings"
+                }
+            },
+            "required": [
+                "roleBindings"
+            ],
+            "$anchor": "RoleBindingsFacet"
+        },
+        "RoleMap": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "additionalProperties": {
+                "$ref": "#/$defs/ResourceRoleValue"
+            },
+            "$anchor": "RoleMap",
+            "propertyNames": {
+                "$ref": "#/$defs/ResourceRoleIdentity"
+            }
+        },
+        "Roles": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "inputMap": {
+                    "$ref": "#/$defs/RoleMap"
+                },
+                "outputMap": {
+                    "allOf": [
+                        {
+                            "$ref": "#/$defs/RoleMap"
+                        },
+                        {
+                            "properties": {
+                                "ROLE-ErrorOutput": {
+                                    "type": "object",
+                                    "allOf": [
+                                        {
+                                            "$ref": "#/$defs/ResourceRoleValue"
+                                        },
+                                        {
+                                            "properties": {
+                                                "description": {
+                                                    "const": "Represents error outputs from job runs."
+                                                },
+                                                "name": {
+                                                    "const": "ErrorOutput"
+                                                },
+                                                "resourceTypeHandle": {
+                                                    "const": "TYPE-Error"
+                                                }
+                                            },
+                                            "required": [
+                                                "resourceTypeHandle",
+                                                "name",
+                                                "description"
+                                            ]
+                                        }
+                                    ]
+                                }
+                            },
+                            "required": [
+                                "ROLE-ErrorOutput"
+                            ]
+                        }
+                    ]
+                }
+            },
+            "required": [
+                "inputMap",
+                "outputMap"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Roles"
+        },
+        "RolesFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "roles": {
+                    "$ref": "#/$defs/Roles"
+                }
+            },
+            "required": [
+                "roles"
+            ],
+            "$anchor": "RolesFacet"
+        },
+        "RunEvent": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/GraphStartRunEvent"
+                },
+                {
+                    "$ref": "#/$defs/TickRunEvent"
+                },
+                {
+                    "$ref": "#/$defs/InterruptRunEvent"
+                },
+                {
+                    "$ref": "#/$defs/GraphEndRunEvent"
+                }
+            ],
+            "$anchor": "RunEvent"
+        },
+        "RunEventBase": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "counters": {
+                    "$ref": "#/$defs/RunEventCounters"
+                },
+                "createdAt": {
+                    "$ref": "#/$defs/Timestamp"
+                },
+                "eventSeq": {
+                    "type": "integer"
+                },
+                "nodeName": {
+                    "type": "string"
+                },
+                "runEventKind": {
+                    "$ref": "#/$defs/RunEventKind"
+                },
+                "runnableStrategyHandle": {
+                    "$ref": "#/$defs/RunnableStrategyIdentity"
+                },
+                "stepMetadata": {
+                    "$ref": "#/$defs/RunEventStepMetadata"
+                },
+                "strategyThreadHandle": {
+                    "$ref": "#/$defs/StrategyThreadIdentity"
+                },
+                "updates": {
+                    "$ref": "#/$defs/RunEventUpdates"
+                }
+            },
+            "required": [
+                "runEventKind",
+                "runnableStrategyHandle",
+                "strategyThreadHandle",
+                "createdAt",
+                "nodeName",
+                "eventSeq"
+            ],
+            "$anchor": "RunEventBase"
+        },
+        "RunEventCounters": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "iterationCounterAfter": {
+                    "type": "integer"
+                },
+                "stepCounterAfter": {
+                    "type": "integer"
+                }
+            },
+            "$anchor": "RunEventCounters"
+        },
+        "RunEventKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "RunEventKind",
+            "enum": [
+                "graph_start",
+                "tick",
+                "interrupt",
+                "graph_end"
+            ]
+        },
+        "RunEventStepMetadata": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "jobHandle": {
+                    "$ref": "#/$defs/JobIdentity"
+                },
+                "jobRunHandle": {
+                    "$ref": "#/$defs/JobRunIdentity"
+                },
+                "stepHandle": {
+                    "$ref": "#/$defs/StepIdentity"
+                },
+                "stepKind": {
+                    "$ref": "#/$defs/StepKind"
+                },
+                "threadStepIndex": {
+                    "type": "integer"
+                }
+            },
+            "required": [
+                "stepHandle",
+                "stepKind",
+                "threadStepIndex"
+            ],
+            "$anchor": "RunEventStepMetadata"
+        },
+        "RunEventUpdates": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StrategyStateDelta"
+                }
+            ],
+            "properties": {
+                "interruptData": {
+                    "type": [
+                        "object",
+                        "null"
+                    ],
+                    "$comment": "Kept permissive; the engine may evolve interrupt payloads."
+                },
+                "stepsMutation": {
+                    "type": "object",
+                    "properties": {
+                        "insertAt": {
+                            "type": "integer"
+                        },
+                        "inserted": {
+                            "$ref": "#/$defs/StepArray"
+                        }
+                    },
+                    "required": [
+                        "insertAt",
+                        "inserted"
+                    ]
+                }
+            },
+            "$anchor": "RunEventUpdates"
+        },
+        "RunnableStrategy": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$comment": "The Engine runs jobs specified by steps in strategyThreadMap. The Engine  also injects repeted steps when encountering loops.",
+                    "$ref": "#/$defs/StrategyThreadMapFacet"
+                },
+                {
+                    "$comment": "The Engine updates strategyState with materialized Resources upon job completions and runtime-provided input events. It also inserts input-potential and output-potential Resources upon step injections.",
+                    "$ref": "#/$defs/StrategyStateFacet"
+                }
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/RunnableStrategyIdentity"
+                },
+                "runnableStrategyContext": {
+                    "$ref": "#/$defs/RunnableStrategyContext"
+                }
+            },
+            "required": [
+                "identity",
+                "runnableStrategyContext"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "RunnableStrategy"
+        },
+        "RunnableStrategyContext": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "completedAt": {
+                    "$ref": "#/$defs/Timestamp"
+                },
+                "startedAt": {
+                    "$ref": "#/$defs/Timestamp"
+                },
+                "status": {
+                    "$ref": "#/$defs/RunnableStrategyStatus"
+                }
+            },
+            "required": [
+                "status"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "RunnableStrategyContext"
+        },
+        "RunnableStrategyIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "RunnableStrategyIdentity",
+            "pattern": "^RUNNABLE_STRATEGY-.+$"
+        },
+        "RunnableStrategyStatus": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "RunnableStrategyStatus",
+            "enum": [
+                "pending",
+                "running",
+                "completed",
+                "failed",
+                "cancelled"
+            ]
+        },
+        "RunnableStrategyUpdate": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StrategyStateDelta"
+                }
+            ],
+            "properties": {
+                "runnableStrategy": {
+                    "$comment": "Optional embedded snapshot; runnableStrategyHandle remains the canonical pointer.",
+                    "$ref": "#/$defs/RunnableStrategy"
+                },
+                "runnableStrategyHandle": {
+                    "$ref": "#/$defs/RunnableStrategyIdentity"
+                }
+            },
+            "required": [
+                "runnableStrategyHandle"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "RunnableStrategyUpdate"
+        },
+        "ShellInputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ResourceBase"
+                },
+                {
+                    "$ref": "#/$defs/CreationContextFacet"
+                },
+                {
+                    "$ref": "#/$defs/ResourceKindFacet"
+                }
+            ],
+            "properties": {
+                "resourceKind": {
+                    "const": "input-potential"
+                }
+            },
+            "unevaluatedProperties": false,
+            "$anchor": "ShellInputPotential"
+        },
+        "ShellMaterialized": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "unevaluatedProperties": false,
+            "$anchor": "ShellMaterialized",
+            "$ref": "#/$defs/ShellMaterializedBase"
+        },
+        "ShellMaterializedBase": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ResourceBase"
+                },
+                {
+                    "$ref": "#/$defs/CreationContextFacet"
+                },
+                {
+                    "$ref": "#/$defs/ResourceKindFacet"
+                },
+                {
+                    "$ref": "#/$defs/TimestampFacet"
+                },
+                {
+                    "$ref": "#/$defs/PathFacet"
+                }
+            ],
+            "properties": {
+                "resourceKind": {
+                    "const": "materialized"
+                },
+                "version": {
+                    "const": 1
+                }
+            },
+            "required": [
+                "version"
+            ],
+            "$anchor": "ShellMaterializedBase"
+        },
+        "ShellMissing": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ResourceBase"
+                },
+                {
+                    "$ref": "#/$defs/ResourceKindFacet"
+                }
+            ],
+            "properties": {
+                "resourceKind": {
+                    "const": "missing"
+                }
+            },
+            "unevaluatedProperties": false,
+            "$anchor": "ShellMissing"
+        },
+        "ShellOutputPotential": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ResourceBase"
+                },
+                {
+                    "$ref": "#/$defs/CreationContextFacet"
+                },
+                {
+                    "$ref": "#/$defs/ResourceKindFacet"
+                }
+            ],
+            "properties": {
+                "resourceKind": {
+                    "const": "output-potential"
+                }
+            },
+            "unevaluatedProperties": false,
+            "$anchor": "ShellOutputPotential"
+        },
+        "Step": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/JobStep"
+                },
+                {
+                    "$ref": "#/$defs/BranchStep"
+                },
+                {
+                    "$ref": "#/$defs/WhileStep"
+                },
+                {
+                    "$ref": "#/$defs/ForStep"
+                }
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "Step"
+        },
+        "StepArray": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "$anchor": "StepArray",
+            "items": {
+                "$ref": "#/$defs/Step"
+            },
+            "uniqueItems": true
+        },
+        "StepIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/JobStepIdentity"
+                },
+                {
+                    "$ref": "#/$defs/BranchStepIdentity"
+                },
+                {
+                    "$ref": "#/$defs/WhileStepIdentity"
+                },
+                {
+                    "$ref": "#/$defs/ForStepIdentity"
+                }
+            ],
+            "$anchor": "StepIdentity"
+        },
+        "StepKind": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "StepKind",
+            "enum": [
+                "job",
+                "branch",
+                "while",
+                "for"
+            ]
+        },
+        "StepKindFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "stepKind": {
+                    "$ref": "#/$defs/StepKind"
+                }
+            },
+            "required": [
+                "stepKind"
+            ],
+            "$anchor": "StepKindFacet"
+        },
+        "StepsFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "steps": {
+                    "$ref": "#/$defs/StepArray"
+                }
+            },
+            "required": [
+                "steps"
+            ],
+            "$anchor": "StepsFacet"
+        },
+        "StrategyRun": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/StrategyRunIdentity"
+                },
+                "recordedAt": {
+                    "$ref": "#/$defs/Timestamp"
+                },
+                "runEvents": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/RunEvent"
+                    }
+                },
+                "runnableStrategyHandle": {
+                    "$comment": "Could be derived from the first event but useful for indexing.",
+                    "$ref": "#/$defs/RunnableStrategyIdentity"
+                }
+            },
+            "required": [
+                "identity",
+                "runnableStrategyHandle",
+                "recordedAt",
+                "runEvents"
+            ],
+            "unevaluatedProperties": false,
+            "$anchor": "StrategyRun"
+        },
+        "StrategyRunIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "StrategyRunIdentity",
+            "pattern": "^STRATEGY_RUN-.+$"
+        },
+        "StrategyState": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "additionalProperties": {
+                "$ref": "#/$defs/JobRunSocket"
+            },
+            "$anchor": "StrategyState",
+            "propertyNames": {
+                "$ref": "#/$defs/JobRunIdentity"
+            }
+        },
+        "StrategyStateDelta": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "strategyStateUpdate": {
+                    "$ref": "#/$defs/StrategyState"
+                }
+            },
+            "required": [
+                "strategyStateUpdate"
+            ],
+            "$anchor": "StrategyStateDelta"
+        },
+        "StrategyStateFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "strategyState": {
+                    "$ref": "#/$defs/StrategyState"
+                }
+            },
+            "required": [
+                "strategyState"
+            ],
+            "$anchor": "StrategyStateFacet"
+        },
+        "StrategyThreadIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "StrategyThreadIdentity",
+            "pattern": "^STRATEGY_THREAD-.+$"
+        },
+        "StrategyThreadMap": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "additionalProperties": {
+                "$ref": "#/$defs/StepArray"
+            },
+            "$anchor": "StrategyThreadMap",
+            "$comment": "Each thread contains an array of steps, allowing for sequential execution within a thread while supporting parallel execution across multiple threads.",
+            "propertyNames": {
+                "$ref": "#/$defs/StrategyThreadIdentity"
+            }
+        },
+        "StrategyThreadMapFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "strategyThreadMap": {
+                    "$ref": "#/$defs/StrategyThreadMap"
+                }
+            },
+            "required": [
+                "strategyThreadMap"
+            ],
+            "$anchor": "StrategyThreadMapFacet"
+        },
+        "TickRunEvent": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/RunEventBase"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "tick"
+                        }
+                    }
+                }
+            ],
+            "$anchor": "TickRunEvent"
+        },
+        "Timestamp": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "Timestamp",
+            "format": "date-time"
+        },
+        "TimestampFacet": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "timestamp": {
+                    "$ref": "#/$defs/Timestamp"
+                }
+            },
+            "required": [
+                "timestamp"
+            ],
+            "$anchor": "TimestampFacet"
+        },
+        "Uri": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "Uri",
+            "format": "uri"
+        },
+        "WhileStep": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ],
+            "properties": {
+                "case": {
+                    "$ref": "#/$defs/Conditional"
+                },
+                "identity": {
+                    "$ref": "#/$defs/WhileStepIdentity"
+                },
+                "stepKind": {
+                    "const": "while"
+                }
+            },
+            "required": [
+                "identity",
+                "case"
+            ],
+            "$anchor": "WhileStep"
+        },
+        "WhileStepIdentity": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "$anchor": "WhileStepIdentity",
+            "pattern": "^WHILESTEP-.+$"
+        }
+    },
+    "$anchor": "Genesis",
+    "$comment": "This file defines all schemas used internally by ToolProof."
+}