@toolproof-core/schema 1.0.0 → 1.0.1

package/src/generated/schemas/Genesis.json

@@ -1,135 +1,54 @@
 {
-    "$id": "https://schemas.toolproof.com/v2/Genesis.json",
     "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$comment": "This file defines all schemas used internally by ToolProof.",
+    "$anchor": "Genesis",
+    "$id": "https://schemas.toolproof.com/v2/Genesis.json",
     "$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": {
+        "Name": {
+            "$anchor": "Name",
             "$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"
+            "minLength": 1,
+            "pattern": "^(?:[A-Z][^0-9]*|[a-z]+/[a-z.+&-]+)$",
+            "$comment": "Validation is intercepted by an AI Agent that verifies the name against Toolproof's naming conventions.",
+            "semanticValidation": "Ajv custom keyword to verify name."
         },
-        "CreationContext": {
+        "NameFacet": {
+            "$anchor": "NameFacet",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "jobRunHandle": {
-                    "$ref": "#/$defs/JobRunIdentity"
-                },
-                "resourceRoleHandle": {
-                    "$ref": "#/$defs/ResourceRoleIdentity"
-                }
-            },
             "required": [
-                "resourceRoleHandle",
-                "jobRunHandle"
+                "name"
             ],
-            "$anchor": "CreationContext"
-        },
-        "CreationContextFacet": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
             "properties": {
-                "creationContext": {
-                    "$ref": "#/$defs/CreationContext"
+                "name": {
+                    "$ref": "#/$defs/Name"
                 }
-            },
-            "required": [
-                "creationContext"
-            ],
-            "$anchor": "CreationContextFacet"
+            }
         },
         "Description": {
+            "$anchor": "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,
+            "$comment": "Validation is intercepted by an AI Agent that verifies the description against Toolproof's documentation standards.",
             "semanticValidation": "Ajv custom keyword to verify description."
         },
         "DescriptionFacet": {
+            "$anchor": "DescriptionFacet",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "required": [
+                "description"
+            ],
             "properties": {
                 "description": {
                     "$ref": "#/$defs/Description"
                 }
-            },
-            "required": [
-                "description"
-            ],
-            "$anchor": "DescriptionFacet"
+            }
         },
         "DocumentationFacet": {
+            "$anchor": "DocumentationFacet",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "allOf": [
@@ -139,300 +58,767 @@
                 {
                     "$ref": "#/$defs/DescriptionFacet"
                 }
-            ],
-            "$anchor": "DocumentationFacet"
+            ]
         },
-        "Domain": {
+        "ResourceTypeImplementationKind": {
+            "$anchor": "ResourceTypeImplementationKind",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
-            "$anchor": "Domain",
             "enum": [
-                "internal",
-                "numerical",
-                "biological",
-                "logical",
-                "augmental"
+                "internal-without-identity",
+                "internal-with-identity",
+                "external"
             ]
         },
-        "DomainFacet": {
+        "ResourceTypeImplementationKindFacet": {
+            "$anchor": "ResourceTypeImplementationKindFacet",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "domain": {
-                    "$ref": "#/$defs/Domain"
-                }
-            },
             "required": [
-                "domain"
+                "resourceTypeImplementationKind"
             ],
-            "$anchor": "DomainFacet"
+            "properties": {
+                "resourceTypeImplementationKind": {
+                    "$ref": "#/$defs/ResourceTypeImplementationKind"
+                }
+            }
         },
-        "Error": {
+        "Uri": {
+            "$anchor": "Uri",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "format": "uri"
+        },
+        "ResourceTypeIdentity": {
+            "$anchor": "ResourceTypeIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^TYPE-.+$"
+        },
+        "ResourceType": {
+            "$anchor": "ResourceType",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "required": [
+                "identity",
+                "nucleusSchema"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/ResourceTypeIdentity"
+                },
+                "nucleusSchema": true,
+                "embeddingUriMap": {
+                    "type": "object",
+                    "propertyNames": {
+                        "type": "string",
+                        "pattern": "^EMBEDDING-.+$"
+                    },
+                    "additionalProperties": {
+                        "$ref": "#/$defs/Uri"
+                    },
+                    "minProperties": 1,
+                    "$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."
+                },
+                "generatorUriMap": {
+                    "type": "object",
+                    "propertyNames": {
+                        "type": "string",
+                        "pattern": "^GENERATOR-.+$"
+                    },
+                    "additionalProperties": {
+                        "$ref": "#/$defs/Uri"
+                    },
+                    "minProperties": 1,
+                    "$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."
+                }
+            },
             "allOf": [
                 {
                     "$ref": "#/$defs/DocumentationFacet"
                 },
                 {
-                    "properties": {
-                        "details": {
-                            "type": "object"
-                        }
-                    }
+                    "$ref": "#/$defs/ResourceTypeImplementationKindFacet"
                 }
-            ],
-            "unevaluatedProperties": false,
-            "$anchor": "Error"
+            ]
         },
-        "ForStep": {
+        "ResourceRoleIdentity": {
+            "$anchor": "ResourceRoleIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^ROLE-.+$"
+        },
+        "ResourceRoleValue": {
+            "$anchor": "ResourceRoleValue",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "allOf": [
                 {
-                    "$ref": "#/$defs/StepKindFacet"
-                }
-            ],
-            "properties": {
-                "case": {
-                    "$ref": "#/$defs/Conditional"
-                },
-                "identity": {
-                    "$ref": "#/$defs/ForStepIdentity"
+                    "$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).",
+                    "required": [
+                        "resourceTypeHandle"
+                    ],
+                    "properties": {
+                        "resourceTypeHandle": {
+                            "$ref": "#/$defs/ResourceTypeIdentity"
+                        }
+                    }
                 },
-                "stepKind": {
-                    "const": "for"
+                {
+                    "$ref": "#/$defs/DocumentationFacet"
                 }
-            },
-            "required": [
-                "identity",
-                "case"
-            ],
-            "$anchor": "ForStep"
+            ]
         },
-        "ForStepIdentity": {
+        "RoleMap": {
+            "$anchor": "RoleMap",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "ForStepIdentity",
-            "pattern": "^FORSTEP-.+$"
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/ResourceRoleIdentity"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/ResourceRoleValue"
+            }
         },
-        "Goal": {
+        "Error": {
+            "$anchor": "Error",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "allOf": [
                 {
-                    "$ref": "#/$defs/DomainFacet"
+                    "$ref": "#/$defs/DocumentationFacet"
+                },
+                {
+                    "properties": {
+                        "details": {
+                            "type": "object"
+                        }
+                    }
                 }
             ],
-            "properties": {
-                "disallowedJobs": {
-                    "type": "array",
-                    "items": {
-                        "$ref": "#/$defs/JobIdentity"
-                    }
+            "unevaluatedProperties": false
+        },
+        "Roles": {
+            "$anchor": "Roles",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "inputMap",
+                "outputMap"
+            ],
+            "properties": {
+                "inputMap": {
+                    "$ref": "#/$defs/RoleMap"
+                },
+                "outputMap": {
+                    "allOf": [
+                        {
+                            "$ref": "#/$defs/RoleMap"
+                        },
+                        {
+                            "required": [
+                                "ROLE-ErrorOutput"
+                            ],
+                            "properties": {
+                                "ROLE-ErrorOutput": {
+                                    "type": "object",
+                                    "allOf": [
+                                        {
+                                            "$ref": "#/$defs/ResourceRoleValue"
+                                        },
+                                        {
+                                            "required": [
+                                                "resourceTypeHandle",
+                                                "name",
+                                                "description"
+                                            ],
+                                            "properties": {
+                                                "resourceTypeHandle": {
+                                                    "const": "TYPE-Error"
+                                                },
+                                                "name": {
+                                                    "const": "ErrorOutput"
+                                                },
+                                                "description": {
+                                                    "const": "Represents error outputs from job runs."
+                                                }
+                                            }
+                                        }
+                                    ]
+                                }
+                            }
+                        }
+                    ]
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "RolesFacet": {
+            "$anchor": "RolesFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "roles"
+            ],
+            "properties": {
+                "roles": {
+                    "$ref": "#/$defs/Roles"
+                }
+            }
+        },
+        "Domain": {
+            "$anchor": "Domain",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "internal",
+                "numerical",
+                "biological",
+                "logical",
+                "augmental"
+            ]
+        },
+        "DomainFacet": {
+            "$anchor": "DomainFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "domain"
+            ],
+            "properties": {
+                "domain": {
+                    "$ref": "#/$defs/Domain"
+                }
+            }
+        },
+        "JobIdentity": {
+            "$anchor": "JobIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^JOB-.+$"
+        },
+        "Job": {
+            "$anchor": "Job",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "identity",
+                "implementationUri"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/JobIdentity"
+                },
+                "implementationUri": {
+                    "$ref": "#/$defs/Uri"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/DocumentationFacet"
+                },
+                {
+                    "$ref": "#/$defs/DomainFacet"
+                },
+                {
+                    "$ref": "#/$defs/RolesFacet"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "RoleBindingArray": {
+            "$anchor": "RoleBindingArray",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/ResourceRoleIdentity"
+            }
+        },
+        "RoleBindings": {
+            "$anchor": "RoleBindings",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "inputBindings",
+                "outputBindings"
+            ],
+            "properties": {
+                "inputBindings": {
+                    "$ref": "#/$defs/RoleBindingArray"
+                },
+                "outputBindings": {
+                    "$ref": "#/$defs/RoleBindingArray"
+                }
+            }
+        },
+        "RoleBindingsFacet": {
+            "$anchor": "RoleBindingsFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "roleBindings"
+            ],
+            "properties": {
+                "roleBindings": {
+                    "$ref": "#/$defs/RoleBindings"
+                }
+            }
+        },
+        "StepKind": {
+            "$anchor": "StepKind",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "job",
+                "branch",
+                "while",
+                "for"
+            ]
+        },
+        "StepKindFacet": {
+            "$anchor": "StepKindFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "stepKind"
+            ],
+            "properties": {
+                "stepKind": {
+                    "$ref": "#/$defs/StepKind"
+                }
+            }
+        },
+        "JobStepIdentity": {
+            "$anchor": "JobStepIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^JOB_STEP-.+$"
+        },
+        "JobStep": {
+            "$anchor": "JobStep",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "identity",
+                "jobHandle"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/JobStepIdentity"
+                },
+                "stepKind": {
+                    "const": "job"
+                },
+                "jobHandle": {
+                    "$ref": "#/$defs/JobIdentity"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                },
+                {
+                    "$comment": "This will be overlayed dynamically to specify roleBindings corresponding to the roles of the underlying job.",
+                    "$ref": "#/$defs/RoleBindingsFacet"
+                }
+            ]
+        },
+        "Conditional": {
+            "$anchor": "Conditional",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "when",
+                "what"
+            ],
+            "properties": {
+                "when": {
+                    "$ref": "#/$defs/JobStep"
+                },
+                "what": {
+                    "$ref": "#/$defs/JobStep"
+                }
+            },
+            "unevaluatedProperties": false
+        },
+        "BranchStepIdentity": {
+            "$anchor": "BranchStepIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^BRANCH_STEP-.+$"
+        },
+        "BranchStep": {
+            "$anchor": "BranchStep",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "identity",
+                "cases"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/BranchStepIdentity"
+                },
+                "stepKind": {
+                    "const": "branch"
+                },
+                "cases": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/Conditional"
+                    },
+                    "minItems": 1,
+                    "uniqueItems": true
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ]
+        },
+        "WhileStepIdentity": {
+            "$anchor": "WhileStepIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^WHILE_STEP-.+$"
+        },
+        "WhileStep": {
+            "$anchor": "WhileStep",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "identity",
+                "case"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/WhileStepIdentity"
+                },
+                "stepKind": {
+                    "const": "while"
+                },
+                "case": {
+                    "$ref": "#/$defs/Conditional"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ]
+        },
+        "ForStepIdentity": {
+            "$anchor": "ForStepIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "pattern": "^FOR_STEP-.+$"
+        },
+        "ForStep": {
+            "$anchor": "ForStep",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "identity",
+                "case"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/ForStepIdentity"
+                },
+                "stepKind": {
+                    "const": "for"
+                },
+                "case": {
+                    "$ref": "#/$defs/Conditional"
+                }
+            },
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepKindFacet"
+                }
+            ]
+        },
+        "StepIdentity": {
+            "$anchor": "StepIdentity",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/JobStepIdentity"
                 },
-                "disallowedSequences": {
-                    "type": "array",
-                    "items": {
-                        "type": "array",
-                        "items": {
-                            "$ref": "#/$defs/JobIdentity"
-                        }
-                    }
+                {
+                    "$ref": "#/$defs/BranchStepIdentity"
                 },
-                "identity": {
-                    "$ref": "#/$defs/GoalIdentity"
+                {
+                    "$ref": "#/$defs/WhileStepIdentity"
                 },
-                "maxSteps": {
-                    "type": "integer",
-                    "minimum": 1
+                {
+                    "$ref": "#/$defs/ForStepIdentity"
+                }
+            ]
+        },
+        "Step": {
+            "$anchor": "Step",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/JobStep"
                 },
-                "minSteps": {
-                    "type": "integer",
-                    "minimum": 1
+                {
+                    "$ref": "#/$defs/BranchStep"
                 },
-                "target": {
-                    "type": "integer",
-                    "minimum": 0
+                {
+                    "$ref": "#/$defs/WhileStep"
+                },
+                {
+                    "$ref": "#/$defs/ForStep"
                 }
-            },
+            ],
+            "unevaluatedProperties": false
+        },
+        "CreationContext": {
+            "$anchor": "CreationContext",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
             "required": [
-                "identity",
-                "target"
+                "resourceRoleHandle",
+                "jobStepHandle"
             ],
-            "unevaluatedProperties": false,
-            "$anchor": "Goal"
+            "properties": {
+                "resourceRoleHandle": {
+                    "$ref": "#/$defs/ResourceRoleIdentity"
+                },
+                "jobStepHandle": {
+                    "$ref": "#/$defs/JobStepIdentity"
+                }
+            }
         },
-        "GoalIdentity": {
+        "CreationContextFacet": {
+            "$anchor": "CreationContextFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "creationContext"
+            ],
+            "properties": {
+                "creationContext": {
+                    "$ref": "#/$defs/CreationContext"
+                }
+            }
+        },
+        "ResourceIdentity": {
+            "$anchor": "ResourceIdentity",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
-            "$anchor": "GoalIdentity",
-            "pattern": "^GOAL-.+$"
+            "pattern": "^RESOURCE-.+$"
         },
-        "GraphEndRunEvent": {
+        "ResourceBase": {
+            "$anchor": "ResourceBase",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "allOf": [
-                {
-                    "$ref": "#/$defs/RunEventBase"
+            "type": "object",
+            "required": [
+                "identity",
+                "resourceTypeHandle"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/ResourceIdentity"
                 },
-                {
-                    "type": "object",
-                    "properties": {
-                        "runEventKind": {
-                            "const": "graph_end"
-                        }
-                    }
+                "resourceTypeHandle": {
+                    "$ref": "#/$defs/ResourceTypeIdentity"
                 }
+            }
+        },
+        "ResourceKind": {
+            "$anchor": "ResourceKind",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "enum": [
+                "missing",
+                "input-potential",
+                "output-potential",
+                "materialized"
+            ]
+        },
+        "ResourceKindFacet": {
+            "$anchor": "ResourceKindFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "resourceKind"
             ],
-            "$anchor": "GraphEndRunEvent"
+            "properties": {
+                "resourceKind": {
+                    "$ref": "#/$defs/ResourceKind"
+                }
+            }
         },
-        "GraphStartRunEvent": {
+        "ShellMissing": {
+            "$anchor": "ShellMissing",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "resourceKind": {
+                    "const": "missing"
+                }
+            },
             "allOf": [
                 {
-                    "$ref": "#/$defs/RunEventBase"
+                    "$ref": "#/$defs/ResourceBase"
                 },
                 {
-                    "type": "object",
-                    "properties": {
-                        "runEventKind": {
-                            "const": "graph_start"
-                        },
-                        "runnableStrategySeed": {
-                            "$ref": "#/$defs/RunnableStrategy"
-                        }
-                    },
-                    "required": [
-                        "runnableStrategySeed"
-                    ]
+                    "$ref": "#/$defs/ResourceKindFacet"
                 }
             ],
-            "$anchor": "GraphStartRunEvent"
+            "unevaluatedProperties": false
         },
-        "InterruptRunEvent": {
+        "ShellInputPotential": {
+            "$anchor": "ShellInputPotential",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "properties": {
+                "resourceKind": {
+                    "const": "input-potential"
+                }
+            },
             "allOf": [
                 {
-                    "$ref": "#/$defs/RunEventBase"
+                    "$ref": "#/$defs/ResourceBase"
                 },
                 {
-                    "type": "object",
-                    "properties": {
-                        "runEventKind": {
-                            "const": "interrupt"
-                        }
-                    }
+                    "$ref": "#/$defs/CreationContextFacet"
+                },
+                {
+                    "$ref": "#/$defs/ResourceKindFacet"
                 }
             ],
-            "$anchor": "InterruptRunEvent"
+            "unevaluatedProperties": false
         },
-        "Job": {
+        "ShellOutputPotential": {
+            "$anchor": "ShellOutputPotential",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "properties": {
+                "resourceKind": {
+                    "const": "output-potential"
+                }
+            },
             "allOf": [
                 {
-                    "$ref": "#/$defs/DocumentationFacet"
+                    "$ref": "#/$defs/ResourceBase"
                 },
                 {
-                    "$ref": "#/$defs/DomainFacet"
+                    "$ref": "#/$defs/CreationContextFacet"
                 },
                 {
-                    "$ref": "#/$defs/RolesFacet"
+                    "$ref": "#/$defs/ResourceKindFacet"
                 }
             ],
-            "properties": {
-                "identity": {
-                    "$ref": "#/$defs/JobIdentity"
-                },
-                "implementationUri": {
-                    "$ref": "#/$defs/Uri"
-                }
-            },
+            "unevaluatedProperties": false
+        },
+        "Timestamp": {
+            "$anchor": "Timestamp",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "string",
+            "format": "date-time"
+        },
+        "TimestampFacet": {
+            "$anchor": "TimestampFacet",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
             "required": [
-                "identity",
-                "implementationUri"
+                "timestamp"
             ],
-            "unevaluatedProperties": false,
-            "$anchor": "Job"
+            "properties": {
+                "timestamp": {
+                    "$ref": "#/$defs/Timestamp"
+                }
+            }
         },
-        "JobIdentity": {
+        "Path": {
+            "$anchor": "Path",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
-            "$anchor": "JobIdentity",
-            "pattern": "^JOB-.+$"
+            "format": "uri-reference"
         },
-        "JobRun": {
+        "PathFacet": {
+            "$anchor": "PathFacet",
             "$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"
+            "required": [
+                "path"
+            ],
+            "properties": {
+                "path": {
+                    "$ref": "#/$defs/Path"
                 }
+            }
+        },
+        "ShellMaterializedBase": {
+            "$anchor": "ShellMaterializedBase",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "version"
             ],
             "properties": {
-                "identity": {
-                    "$ref": "#/$defs/JobRunIdentity"
+                "version": {
+                    "const": 1
                 },
-                "jobHandle": {
-                    "$ref": "#/$defs/JobIdentity"
+                "resourceKind": {
+                    "const": "materialized"
                 }
             },
-            "required": [
-                "identity",
-                "jobHandle"
-            ],
-            "$anchor": "JobRun"
+            "allOf": [
+                {
+                    "$ref": "#/$defs/ResourceBase"
+                },
+                {
+                    "$ref": "#/$defs/CreationContextFacet"
+                },
+                {
+                    "$ref": "#/$defs/ResourceKindFacet"
+                },
+                {
+                    "$ref": "#/$defs/TimestampFacet"
+                },
+                {
+                    "$ref": "#/$defs/PathFacet"
+                }
+            ]
         },
-        "JobRunIdentity": {
+        "ShellMaterialized": {
+            "$anchor": "ShellMaterialized",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "JobRunIdentity",
-            "pattern": "^JobRun-.+$"
+            "type": "object",
+            "$ref": "#/$defs/ShellMaterializedBase",
+            "unevaluatedProperties": false
         },
-        "JobRunSocket": {
+        "ResourceMissing": {
+            "$anchor": "ResourceMissing",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "additionalProperties": {
-                "$ref": "#/$defs/Resource"
-            },
-            "$anchor": "JobRunSocket",
-            "propertyNames": {
-                "$ref": "#/$defs/ResourceRoleIdentity"
-            }
+            "$ref": "#/$defs/ShellMissing",
+            "unevaluatedProperties": false
         },
-        "JobStep": {
+        "ResourceInputPotential": {
+            "$anchor": "ResourceInputPotential",
             "$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"
+            "$ref": "#/$defs/ShellInputPotential",
+            "unevaluatedProperties": false
         },
-        "JobStepIdentity": {
+        "ResourceOutputPotential": {
+            "$anchor": "ResourceOutputPotential",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "JobStepIdentity",
-            "pattern": "^JobStep-.+$"
+            "type": "object",
+            "$ref": "#/$defs/ShellOutputPotential",
+            "unevaluatedProperties": false
         },
         "JsonData": {
+            "$anchor": "JsonData",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "oneOf": [
                 {
@@ -459,108 +845,46 @@
                         "$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": {
+            "$anchor": "Nucleus",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "additionalProperties": {
                 "$ref": "#/$defs/JsonData"
-            },
-            "$anchor": "Nucleus"
+            }
         },
         "NucleusFacet": {
+            "$anchor": "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"
+                "nucleus": {
+                    "$ref": "#/$defs/Nucleus"
                 }
-            },
-            "required": [
-                "path"
-            ],
-            "$anchor": "PathFacet"
+            }
         },
-        "RawStrategy": {
+        "ResourceMaterialized": {
+            "$anchor": "ResourceMaterialized",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "allOf": [
                 {
-                    "$ref": "#/$defs/StepsFacet"
+                    "$ref": "#/$defs/ShellMaterializedBase"
                 },
                 {
-                    "$ref": "#/$defs/StrategyStateFacet"
+                    "$comment": "This will be overlayed dynamically to match the data structure of the underlying ResourceType's nucleusSchema.",
+                    "$ref": "#/$defs/NucleusFacet"
                 }
             ],
-            "unevaluatedProperties": false,
-            "$anchor": "RawStrategy"
+            "unevaluatedProperties": false
         },
         "Resource": {
+            "$anchor": "Resource",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "oneOf": [
@@ -577,407 +901,235 @@
                     "$ref": "#/$defs/ResourceMaterialized"
                 }
             ],
-            "unevaluatedProperties": false,
-            "$anchor": "Resource"
+            "unevaluatedProperties": false
         },
-        "ResourceBase": {
+        "JobStepSocket": {
+            "$anchor": "JobStepSocket",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "identity": {
-                    "$ref": "#/$defs/ResourceIdentity"
-                },
-                "resourceTypeHandle": {
-                    "$ref": "#/$defs/ResourceTypeIdentity"
-                }
+            "propertyNames": {
+                "$ref": "#/$defs/ResourceRoleIdentity"
             },
-            "required": [
-                "identity",
-                "resourceTypeHandle"
-            ],
-            "$anchor": "ResourceBase"
-        },
-        "ResourceIdentity": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "ResourceIdentity",
-            "pattern": "^RESOURCE-.+$"
+            "additionalProperties": {
+                "$ref": "#/$defs/Resource"
+            }
         },
-        "ResourceInputPotential": {
+        "StrategyState": {
+            "$anchor": "StrategyState",
             "$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"
-            ]
+            "propertyNames": {
+                "$ref": "#/$defs/JobStepIdentity"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/JobStepSocket"
+            }
         },
-        "ResourceKindFacet": {
+        "StrategyStateFacet": {
+            "$anchor": "StrategyStateFacet",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "resourceKind": {
-                    "$ref": "#/$defs/ResourceKind"
-                }
-            },
             "required": [
-                "resourceKind"
+                "strategyState"
             ],
-            "$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"
+            "properties": {
+                "strategyState": {
+                    "$ref": "#/$defs/StrategyState"
                 }
-            ],
-            "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": {
+        "StepArray": {
+            "$anchor": "StepArray",
             "$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"
+            "type": "array",
+            "items": {
+                "$ref": "#/$defs/Step"
+            },
+            "uniqueItems": true
         },
-        "ResourceType": {
+        "StepsFacet": {
+            "$anchor": "StepsFacet",
             "$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"
+                "steps"
             ],
-            "$anchor": "ResourceType"
+            "properties": {
+                "steps": {
+                    "$ref": "#/$defs/StepArray"
+                }
+            }
         },
-        "ResourceTypeIdentity": {
+        "RawStrategy": {
+            "$anchor": "RawStrategy",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StepsFacet"
+                },
+                {
+                    "$ref": "#/$defs/StrategyStateFacet"
+                }
+            ],
+            "unevaluatedProperties": false
+        },
+        "RunnableStrategyIdentity": {
+            "$anchor": "RunnableStrategyIdentity",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
-            "$anchor": "ResourceTypeIdentity",
-            "pattern": "^TYPE-.+$"
+            "pattern": "^RUNNABLE_STRATEGY-.+$"
         },
-        "ResourceTypeImplementationKind": {
+        "RunnableStrategyStatus": {
+            "$anchor": "RunnableStrategyStatus",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
-            "$anchor": "ResourceTypeImplementationKind",
             "enum": [
-                "internal-without-identity",
-                "internal-with-identity",
-                "external"
+                "pending",
+                "running",
+                "completed",
+                "failed",
+                "cancelled"
             ]
         },
-        "ResourceTypeImplementationKindFacet": {
+        "RunnableStrategyContext": {
+            "$anchor": "RunnableStrategyContext",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "resourceTypeImplementationKind": {
-                    "$ref": "#/$defs/ResourceTypeImplementationKind"
-                }
-            },
             "required": [
-                "resourceTypeImplementationKind"
+                "status"
             ],
-            "$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"
+                "status": {
+                    "$ref": "#/$defs/RunnableStrategyStatus"
                 },
-                "outputBindings": {
-                    "$ref": "#/$defs/RoleBindingArray"
+                "startedAt": {
+                    "$ref": "#/$defs/Timestamp"
+                },
+                "completedAt": {
+                    "$ref": "#/$defs/Timestamp"
                 }
             },
-            "required": [
-                "inputBindings",
-                "outputBindings"
-            ],
-            "$anchor": "RoleBindings"
+            "unevaluatedProperties": false
         },
-        "RoleBindingsFacet": {
+        "StrategyThreadIdentity": {
+            "$anchor": "StrategyThreadIdentity",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "properties": {
-                "roleBindings": {
-                    "$ref": "#/$defs/RoleBindings"
-                }
-            },
-            "required": [
-                "roleBindings"
-            ],
-            "$anchor": "RoleBindingsFacet"
+            "type": "string",
+            "pattern": "^STRATEGY_THREAD-.+$"
         },
-        "RoleMap": {
+        "StrategyThreadMap": {
+            "$anchor": "StrategyThreadMap",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/StrategyThreadIdentity"
+            },
             "additionalProperties": {
-                "$ref": "#/$defs/ResourceRoleValue"
+                "$ref": "#/$defs/StepArray"
             },
-            "$anchor": "RoleMap",
-            "propertyNames": {
-                "$ref": "#/$defs/ResourceRoleIdentity"
-            }
+            "$comment": "Each thread contains an array of steps, allowing for sequential execution within a thread while supporting parallel execution across multiple threads."
         },
-        "Roles": {
+        "StrategyThreadMapFacet": {
+            "$anchor": "StrategyThreadMapFacet",
             "$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"
+                "strategyThreadMap"
             ],
-            "unevaluatedProperties": false,
-            "$anchor": "Roles"
-        },
-        "RolesFacet": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
             "properties": {
-                "roles": {
-                    "$ref": "#/$defs/Roles"
+                "strategyThreadMap": {
+                    "$ref": "#/$defs/StrategyThreadMap"
                 }
-            },
-            "required": [
-                "roles"
-            ],
-            "$anchor": "RolesFacet"
+            }
         },
-        "RunEvent": {
+        "RunnableStrategy": {
+            "$anchor": "RunnableStrategy",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "oneOf": [
-                {
-                    "$ref": "#/$defs/GraphStartRunEvent"
-                },
-                {
-                    "$ref": "#/$defs/TickRunEvent"
+            "required": [
+                "identity",
+                "runnableStrategyContext"
+            ],
+            "properties": {
+                "identity": {
+                    "$ref": "#/$defs/RunnableStrategyIdentity"
                 },
+                "runnableStrategyContext": {
+                    "$ref": "#/$defs/RunnableStrategyContext"
+                }
+            },
+            "allOf": [
                 {
-                    "$ref": "#/$defs/InterruptRunEvent"
+                    "$comment": "The Engine runs jobs specified by steps in strategyThreadMap. The Engine  also injects repeted steps when encountering loops.",
+                    "$ref": "#/$defs/StrategyThreadMapFacet"
                 },
                 {
-                    "$ref": "#/$defs/GraphEndRunEvent"
+                    "$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"
                 }
             ],
-            "$anchor": "RunEvent"
+            "unevaluatedProperties": false
         },
-        "RunEventBase": {
+        "StrategyStateDelta": {
+            "$anchor": "StrategyStateDelta",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "required": [
+                "strategyStateUpdate"
+            ],
+            "properties": {
+                "strategyStateUpdate": {
+                    "$ref": "#/$defs/StrategyState"
+                }
+            }
+        },
+        "RunnableStrategyUpdate": {
+            "$anchor": "RunnableStrategyUpdate",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "runnableStrategyHandle"
+            ],
             "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"
+                "runnableStrategy": {
+                    "$comment": "Optional embedded snapshot; runnableStrategyHandle remains the canonical pointer.",
+                    "$ref": "#/$defs/RunnableStrategy"
                 }
             },
-            "required": [
-                "runEventKind",
-                "runnableStrategyHandle",
-                "strategyThreadHandle",
-                "createdAt",
-                "nodeName",
-                "eventSeq"
+            "allOf": [
+                {
+                    "$ref": "#/$defs/StrategyStateDelta"
+                }
             ],
-            "$anchor": "RunEventBase"
+            "unevaluatedProperties": false
         },
         "RunEventCounters": {
+            "$anchor": "RunEventCounters",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "properties": {
-                "iterationCounterAfter": {
+                "stepCounterAfter": {
                     "type": "integer"
                 },
-                "stepCounterAfter": {
+                "iterationCounterAfter": {
                     "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": {
+            "$anchor": "RunEventStepMetadata",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "required": [
+                "stepHandle",
+                "stepKind",
+                "threadStepIndex"
+            ],
             "properties": {
-                "jobHandle": {
-                    "$ref": "#/$defs/JobIdentity"
-                },
-                "jobRunHandle": {
-                    "$ref": "#/$defs/JobRunIdentity"
-                },
                 "stepHandle": {
                     "$ref": "#/$defs/StepIdentity"
                 },
@@ -987,32 +1139,19 @@
                 "threadStepIndex": {
                     "type": "integer"
                 }
-            },
-            "required": [
-                "stepHandle",
-                "stepKind",
-                "threadStepIndex"
-            ],
-            "$anchor": "RunEventStepMetadata"
+            }
         },
         "RunEventUpdates": {
+            "$anchor": "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",
+                    "required": [
+                        "insertAt",
+                        "inserted"
+                    ],
                     "properties": {
                         "insertAt": {
                             "type": "integer"
@@ -1020,299 +1159,192 @@
                         "inserted": {
                             "$ref": "#/$defs/StepArray"
                         }
-                    },
-                    "required": [
-                        "insertAt",
-                        "inserted"
+                    }
+                },
+                "interruptData": {
+                    "$comment": "Kept permissive; the engine may evolve interrupt payloads.",
+                    "type": [
+                        "object",
+                        "null"
                     ]
                 }
             },
-            "$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"
+                    "$ref": "#/$defs/StrategyStateDelta"
                 }
-            },
-            "required": [
-                "status"
-            ],
-            "unevaluatedProperties": false,
-            "$anchor": "RunnableStrategyContext"
-        },
-        "RunnableStrategyIdentity": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "RunnableStrategyIdentity",
-            "pattern": "^RUNNABLE_STRATEGY-.+$"
+            ]
         },
-        "RunnableStrategyStatus": {
+        "RunEventKind": {
+            "$anchor": "RunEventKind",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "string",
-            "$anchor": "RunnableStrategyStatus",
             "enum": [
-                "pending",
-                "running",
-                "completed",
-                "failed",
-                "cancelled"
+                "graph_start",
+                "tick",
+                "interrupt",
+                "graph_end"
             ]
         },
-        "RunnableStrategyUpdate": {
+        "RunEventBase": {
+            "$anchor": "RunEventBase",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "allOf": [
-                {
-                    "$ref": "#/$defs/StrategyStateDelta"
-                }
+            "required": [
+                "runEventKind",
+                "runnableStrategyHandle",
+                "strategyThreadHandle",
+                "createdAt",
+                "nodeName",
+                "eventSeq"
             ],
             "properties": {
-                "runnableStrategy": {
-                    "$comment": "Optional embedded snapshot; runnableStrategyHandle remains the canonical pointer.",
-                    "$ref": "#/$defs/RunnableStrategy"
+                "runEventKind": {
+                    "$ref": "#/$defs/RunEventKind"
                 },
                 "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"
+                "strategyThreadHandle": {
+                    "$ref": "#/$defs/StrategyThreadIdentity"
                 },
-                {
-                    "$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"
+                "createdAt": {
+                    "$ref": "#/$defs/Timestamp"
                 },
-                {
-                    "$ref": "#/$defs/CreationContextFacet"
+                "nodeName": {
+                    "type": "string"
                 },
-                {
-                    "$ref": "#/$defs/ResourceKindFacet"
+                "eventSeq": {
+                    "type": "integer"
                 },
-                {
-                    "$ref": "#/$defs/TimestampFacet"
+                "counters": {
+                    "$ref": "#/$defs/RunEventCounters"
                 },
-                {
-                    "$ref": "#/$defs/PathFacet"
-                }
-            ],
-            "properties": {
-                "resourceKind": {
-                    "const": "materialized"
+                "stepMetadata": {
+                    "$ref": "#/$defs/RunEventStepMetadata"
                 },
-                "version": {
-                    "const": 1
+                "updates": {
+                    "$ref": "#/$defs/RunEventUpdates"
                 }
-            },
-            "required": [
-                "version"
-            ],
-            "$anchor": "ShellMaterializedBase"
+            }
         },
-        "ShellMissing": {
+        "GraphStartRunEvent": {
+            "$anchor": "GraphStartRunEvent",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
             "allOf": [
                 {
-                    "$ref": "#/$defs/ResourceBase"
+                    "$ref": "#/$defs/RunEventBase"
                 },
                 {
-                    "$ref": "#/$defs/ResourceKindFacet"
-                }
-            ],
-            "properties": {
-                "resourceKind": {
-                    "const": "missing"
+                    "type": "object",
+                    "required": [
+                        "runnableStrategySeed"
+                    ],
+                    "properties": {
+                        "runEventKind": {
+                            "const": "graph_start"
+                        },
+                        "runnableStrategySeed": {
+                            "$ref": "#/$defs/RunnableStrategy"
+                        }
+                    }
                 }
-            },
-            "unevaluatedProperties": false,
-            "$anchor": "ShellMissing"
+            ]
         },
-        "ShellOutputPotential": {
+        "TickRunEvent": {
+            "$anchor": "TickRunEvent",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
             "allOf": [
                 {
-                    "$ref": "#/$defs/ResourceBase"
-                },
-                {
-                    "$ref": "#/$defs/CreationContextFacet"
+                    "$ref": "#/$defs/RunEventBase"
                 },
                 {
-                    "$ref": "#/$defs/ResourceKindFacet"
-                }
-            ],
-            "properties": {
-                "resourceKind": {
-                    "const": "output-potential"
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "tick"
+                        }
+                    }
                 }
-            },
-            "unevaluatedProperties": false,
-            "$anchor": "ShellOutputPotential"
+            ]
         },
-        "Step": {
+        "InterruptRunEvent": {
+            "$anchor": "InterruptRunEvent",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "oneOf": [
+            "allOf": [
                 {
-                    "$ref": "#/$defs/JobStep"
+                    "$ref": "#/$defs/RunEventBase"
                 },
                 {
-                    "$ref": "#/$defs/BranchStep"
-                },
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "interrupt"
+                        }
+                    }
+                }
+            ]
+        },
+        "GraphEndRunEvent": {
+            "$anchor": "GraphEndRunEvent",
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "allOf": [
                 {
-                    "$ref": "#/$defs/WhileStep"
+                    "$ref": "#/$defs/RunEventBase"
                 },
                 {
-                    "$ref": "#/$defs/ForStep"
+                    "type": "object",
+                    "properties": {
+                        "runEventKind": {
+                            "const": "graph_end"
+                        }
+                    }
                 }
-            ],
-            "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": {
+        "RunEvent": {
+            "$anchor": "RunEvent",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "oneOf": [
                 {
-                    "$ref": "#/$defs/JobStepIdentity"
+                    "$ref": "#/$defs/GraphStartRunEvent"
                 },
                 {
-                    "$ref": "#/$defs/BranchStepIdentity"
+                    "$ref": "#/$defs/TickRunEvent"
                 },
                 {
-                    "$ref": "#/$defs/WhileStepIdentity"
+                    "$ref": "#/$defs/InterruptRunEvent"
                 },
                 {
-                    "$ref": "#/$defs/ForStepIdentity"
+                    "$ref": "#/$defs/GraphEndRunEvent"
                 }
-            ],
-            "$anchor": "StepIdentity"
-        },
-        "StepKind": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "StepKind",
-            "enum": [
-                "job",
-                "branch",
-                "while",
-                "for"
             ]
         },
-        "StepKindFacet": {
+        "StrategyRunIdentity": {
+            "$anchor": "StrategyRunIdentity",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
-            "properties": {
-                "stepKind": {
-                    "$ref": "#/$defs/StepKind"
-                }
-            },
-            "required": [
-                "stepKind"
-            ],
-            "$anchor": "StepKindFacet"
+            "type": "string",
+            "pattern": "^STRATEGY_RUN-.+$"
         },
-        "StepsFacet": {
+        "StrategyRun": {
+            "$anchor": "StrategyRun",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "steps": {
-                    "$ref": "#/$defs/StepArray"
-                }
-            },
             "required": [
-                "steps"
+                "identity",
+                "runnableStrategyHandle",
+                "recordedAt",
+                "runEvents"
             ],
-            "$anchor": "StepsFacet"
-        },
-        "StrategyRun": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "object",
             "properties": {
                 "identity": {
                     "$ref": "#/$defs/StrategyRunIdentity"
                 },
+                "runnableStrategyHandle": {
+                    "$comment": "Could be derived from the first event but useful for indexing.",
+                    "$ref": "#/$defs/RunnableStrategyIdentity"
+                },
                 "recordedAt": {
                     "$ref": "#/$defs/Timestamp"
                 },
@@ -1321,169 +1353,106 @@
                     "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"
+            "unevaluatedProperties": false
         },
-        "StrategyRunIdentity": {
+        "GoalIdentity": {
+            "$anchor": "GoalIdentity",
             "$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"
+            "pattern": "^GOAL-.+$"
         },
-        "StrategyStateFacet": {
+        "Goal": {
+            "$anchor": "Goal",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "properties": {
-                "strategyState": {
-                    "$ref": "#/$defs/StrategyState"
-                }
-            },
             "required": [
-                "strategyState"
+                "identity",
+                "target"
             ],
-            "$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"
+                "identity": {
+                    "$ref": "#/$defs/GoalIdentity"
+                },
+                "target": {
+                    "type": "integer",
+                    "minimum": 0
+                },
+                "disallowedJobs": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/JobIdentity"
+                    }
+                },
+                "disallowedSequences": {
+                    "type": "array",
+                    "items": {
+                        "type": "array",
+                        "items": {
+                            "$ref": "#/$defs/JobIdentity"
+                        }
+                    }
+                },
+                "minSteps": {
+                    "type": "integer",
+                    "minimum": 1
+                },
+                "maxSteps": {
+                    "type": "integer",
+                    "minimum": 1
                 }
             },
-            "required": [
-                "strategyThreadMap"
-            ],
-            "$anchor": "StrategyThreadMapFacet"
-        },
-        "TickRunEvent": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
             "allOf": [
                 {
-                    "$ref": "#/$defs/RunEventBase"
-                },
-                {
-                    "type": "object",
-                    "properties": {
-                        "runEventKind": {
-                            "const": "tick"
-                        }
-                    }
+                    "$ref": "#/$defs/DomainFacet"
                 }
             ],
-            "$anchor": "TickRunEvent"
+            "unevaluatedProperties": false
         },
-        "Timestamp": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "Timestamp",
-            "format": "date-time"
-        },
-        "TimestampFacet": {
+        "Natural": {
+            "$anchor": "Natural",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
+            "required": [
+                "identity"
+            ],
             "properties": {
-                "timestamp": {
-                    "$ref": "#/$defs/Timestamp"
+                "identity": {
+                    "$ref": "#/$defs/NaturalIdentity"
                 }
             },
-            "required": [
-                "timestamp"
-            ],
-            "$anchor": "TimestampFacet"
-        },
-        "Uri": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "Uri",
-            "format": "uri"
+            "$defs": {
+                "NaturalIdentity": {
+                    "type": "integer"
+                }
+            },
+            "additionalProperties": false
         },
-        "WhileStep": {
+        "Boolean": {
+            "$anchor": "Boolean",
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
-            "allOf": [
-                {
-                    "$ref": "#/$defs/StepKindFacet"
-                }
+            "required": [
+                "identity"
             ],
             "properties": {
-                "case": {
-                    "$ref": "#/$defs/Conditional"
-                },
                 "identity": {
-                    "$ref": "#/$defs/WhileStepIdentity"
-                },
-                "stepKind": {
-                    "const": "while"
+                    "$ref": "#/$defs/BooleanIdentity"
                 }
             },
-            "required": [
-                "identity",
-                "case"
-            ],
-            "$anchor": "WhileStep"
+            "$defs": {
+                "BooleanIdentity": {
+                    "type": "boolean"
+                }
+            },
+            "additionalProperties": false
         },
-        "WhileStepIdentity": {
-            "$schema": "https://json-schema.org/draft/2020-12/schema",
-            "type": "string",
-            "$anchor": "WhileStepIdentity",
-            "pattern": "^WHILESTEP-.+$"
+        "NaturalIdentity": {
+            "type": "integer"
+        },
+        "BooleanIdentity": {
+            "type": "boolean"
         }
-    },
-    "$anchor": "Genesis",
-    "$comment": "This file defines all schemas used internally by ToolProof."
+    }
 }