@toolproof-core/schema 1.0.9 → 1.0.11

package/dist/generated/normalized/Genesis.json

@@ -4,7 +4,7 @@
     "description": "dummy-description",
     "nucleusSchema": {
         "$comment": "This file defines all schemas used internally by ToolProof.",
-        "$id": "https://schemas.toolproof.com/v2/Genesis.json",
+        "$id": "https://schemas.toolproof.com/v1/Genesis.json",
         "$schema": "https://json-schema.org/draft/2020-12/schema",
         "$defs": {
             "Name": {
@@ -119,7 +119,7 @@
                             "$ref": "#/$defs/ResourceTypeIdentity"
                         },
                         "nucleusSchema": true,
-                        "embeddingUriMap": {
+                        "embeddingUriDict": {
                             "type": "object",
                             "propertyNames": {
                                 "type": "string",
@@ -129,9 +129,9 @@
                                 "$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."
+                            "$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 dict are members of a set of predefined embedding models."
                         },
-                        "generatorUriMap": {
+                        "generatorUriDict": {
                             "type": "object",
                             "propertyNames": {
                                 "type": "string",
@@ -141,7 +141,7 @@
                                 "$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."
+                            "$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 dict 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 dict. 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": [
@@ -170,7 +170,6 @@
                     "type": "object",
                     "allOf": [
                         {
-                            "$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"
                             ],
@@ -187,9 +186,35 @@
                 },
                 "unevaluatedProperties": false
             },
-            "RoleMap": {
-                "identity": "TYPE-RoleMap",
-                "name": "RoleMap",
+            "ResourceRole": {
+                "identity": "TYPE-ResourceRole",
+                "name": "ResourceRole",
+                "description": "dummy-description",
+                "nucleusSchema": {
+                    "$schema": "https://json-schema.org/draft/2020-12/schema",
+                    "type": "object",
+                    "allOf": [
+                        {
+                            "type": "object",
+                            "required": [
+                                "identity"
+                            ],
+                            "properties": {
+                                "identity": {
+                                    "$ref": "#/$defs/ResourceRoleIdentity"
+                                }
+                            }
+                        },
+                        {
+                            "$ref": "#/$defs/ResourceRoleValue"
+                        }
+                    ]
+                },
+                "unevaluatedProperties": false
+            },
+            "RoleDict": {
+                "identity": "TYPE-RoleDict",
+                "name": "RoleDict",
                 "description": "dummy-description",
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -232,19 +257,20 @@
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
                     "required": [
-                        "inputMap",
-                        "outputMap"
+                        "inputDict",
+                        "outputDict"
                     ],
                     "properties": {
-                        "inputMap": {
-                            "$ref": "#/$defs/RoleMap"
+                        "inputDict": {
+                            "$ref": "#/$defs/RoleDict"
                         },
-                        "outputMap": {
+                        "outputDict": {
                             "allOf": [
                                 {
-                                    "$ref": "#/$defs/RoleMap"
+                                    "$ref": "#/$defs/RoleDict"
                                 },
                                 {
+                                    "type": "object",
                                     "required": [
                                         "ROLE-ErrorOutput"
                                     ],
@@ -326,6 +352,7 @@
                             "$ref": "#/$defs/JobIdentity"
                         },
                         "implementationUri": {
+                            "$comment": "Instances of a ResourceType that requires implementationUri are 'executable' ResourceTypes. TYPE-Job is the canonical executable ResourceType in the ecosystem.",
                             "$ref": "#/$defs/Uri"
                         }
                     },
@@ -719,7 +746,7 @@
                     "required": [
                         "identity",
                         "resourceTypeHandle",
-                        "resourceKind"
+                        "resourceShellKind"
                     ],
                     "properties": {
                         "identity": {
@@ -728,15 +755,15 @@
                         "resourceTypeHandle": {
                             "$ref": "#/$defs/ResourceTypeIdentity"
                         },
-                        "resourceKind": {
-                            "$ref": "#/$defs/ResourceKind"
+                        "resourceShellKind": {
+                            "$ref": "#/$defs/ResourceShellKind"
                         }
                     }
                 }
             },
-            "ResourceKind": {
-                "identity": "TYPE-ResourceKind",
-                "name": "ResourceKind",
+            "ResourceShellKind": {
+                "identity": "TYPE-ResourceShellKind",
+                "name": "ResourceShellKind",
                 "description": "dummy-description",
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -749,19 +776,19 @@
                     ]
                 }
             },
-            "ResourceKindFacet": {
-                "identity": "TYPE-ResourceKindFacet",
-                "name": "ResourceKindFacet",
+            "ResourceShellKindFacet": {
+                "identity": "TYPE-ResourceShellKindFacet",
+                "name": "ResourceShellKindFacet",
                 "description": "dummy-description",
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
                     "required": [
-                        "resourceKind"
+                        "resourceShellKind"
                     ],
                     "properties": {
-                        "resourceKind": {
-                            "$ref": "#/$defs/ResourceKind"
+                        "resourceShellKind": {
+                            "$ref": "#/$defs/ResourceShellKind"
                         }
                     }
                 }
@@ -773,8 +800,11 @@
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
+                    "required": [
+                        "resourceShellKind"
+                    ],
                     "properties": {
-                        "resourceKind": {
+                        "resourceShellKind": {
                             "const": "missing"
                         }
                     },
@@ -783,7 +813,7 @@
                             "$ref": "#/$defs/ResourceShellBase"
                         },
                         {
-                            "$ref": "#/$defs/ResourceKindFacet"
+                            "$ref": "#/$defs/ResourceShellKindFacet"
                         }
                     ],
                     "unevaluatedProperties": false
@@ -796,8 +826,11 @@
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
+                    "required": [
+                        "resourceShellKind"
+                    ],
                     "properties": {
-                        "resourceKind": {
+                        "resourceShellKind": {
                             "const": "inputPotential"
                         }
                     },
@@ -809,7 +842,7 @@
                             "$ref": "#/$defs/CreationContextFacet"
                         },
                         {
-                            "$ref": "#/$defs/ResourceKindFacet"
+                            "$ref": "#/$defs/ResourceShellKindFacet"
                         }
                     ],
                     "unevaluatedProperties": false
@@ -822,8 +855,11 @@
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
+                    "required": [
+                        "resourceShellKind"
+                    ],
                     "properties": {
-                        "resourceKind": {
+                        "resourceShellKind": {
                             "const": "outputPotential"
                         }
                     },
@@ -835,7 +871,7 @@
                             "$ref": "#/$defs/CreationContextFacet"
                         },
                         {
-                            "$ref": "#/$defs/ResourceKindFacet"
+                            "$ref": "#/$defs/ResourceShellKindFacet"
                         }
                     ],
                     "unevaluatedProperties": false
@@ -903,13 +939,14 @@
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
                     "required": [
-                        "version"
+                        "version",
+                        "resourceShellKind"
                     ],
                     "properties": {
                         "version": {
                             "const": 1
                         },
-                        "resourceKind": {
+                        "resourceShellKind": {
                             "const": "materialized"
                         }
                     },
@@ -921,7 +958,7 @@
                             "$ref": "#/$defs/CreationContextFacet"
                         },
                         {
-                            "$ref": "#/$defs/ResourceKindFacet"
+                            "$ref": "#/$defs/ResourceShellKindFacet"
                         },
                         {
                             "$ref": "#/$defs/TimestampFacet"
@@ -976,6 +1013,27 @@
                     "unevaluatedProperties": false
                 }
             },
+            "ResourcePotential": {
+                "identity": "TYPE-ResourcePotential",
+                "name": "ResourcePotential",
+                "description": "dummy-description",
+                "nucleusSchema": {
+                    "$schema": "https://json-schema.org/draft/2020-12/schema",
+                    "type": "object",
+                    "oneOf": [
+                        {
+                            "$ref": "#/$defs/ResourceMissing"
+                        },
+                        {
+                            "$ref": "#/$defs/ResourceInputPotential"
+                        },
+                        {
+                            "$ref": "#/$defs/ResourceOutputPotential"
+                        }
+                    ],
+                    "unevaluatedProperties": false
+                }
+            },
             "JsonData": {
                 "identity": "TYPE-JsonData",
                 "name": "JsonData",
@@ -1033,15 +1091,13 @@
                         "nucleus"
                     ],
                     "properties": {
-                        "nucleus": {
-                            "$ref": "#/$defs/Nucleus"
-                        }
+                        "nucleus": true
                     }
                 }
             },
-            "ResourceMaterialized": {
-                "identity": "TYPE-ResourceMaterialized",
-                "name": "ResourceMaterialized",
+            "Resource": {
+                "identity": "TYPE-Resource",
+                "name": "Resource",
                 "description": "dummy-description",
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -1058,30 +1114,6 @@
                     "unevaluatedProperties": false
                 }
             },
-            "Resource": {
-                "identity": "TYPE-Resource",
-                "name": "Resource",
-                "description": "dummy-description",
-                "nucleusSchema": {
-                    "$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
-                }
-            },
             "JobStepSocket": {
                 "identity": "TYPE-JobStepSocket",
                 "name": "JobStepSocket",
@@ -1093,7 +1125,14 @@
                         "$ref": "#/$defs/ResourceRoleIdentity"
                     },
                     "additionalProperties": {
-                        "$ref": "#/$defs/Resource"
+                        "oneOf": [
+                            {
+                                "$ref": "#/$defs/ResourcePotential"
+                            },
+                            {
+                                "$ref": "#/$defs/Resource"
+                            }
+                        ]
                     }
                 }
             },
@@ -1237,9 +1276,9 @@
                     "pattern": "^STRATEGY_THREAD-.+$"
                 }
             },
-            "StrategyThreadMap": {
-                "identity": "TYPE-StrategyThreadMap",
-                "name": "StrategyThreadMap",
+            "StrategyThreadDict": {
+                "identity": "TYPE-StrategyThreadDict",
+                "name": "StrategyThreadDict",
                 "description": "dummy-description",
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -1253,19 +1292,19 @@
                     "$comment": "Each thread contains an array of steps, allowing for sequential execution within a thread while supporting parallel execution across multiple threads."
                 }
             },
-            "StrategyThreadMapFacet": {
-                "identity": "TYPE-StrategyThreadMapFacet",
-                "name": "StrategyThreadMapFacet",
+            "StrategyThreadDictFacet": {
+                "identity": "TYPE-StrategyThreadDictFacet",
+                "name": "StrategyThreadDictFacet",
                 "description": "dummy-description",
                 "nucleusSchema": {
                     "$schema": "https://json-schema.org/draft/2020-12/schema",
                     "type": "object",
                     "required": [
-                        "strategyThreadMap"
+                        "strategyThreadDict"
                     ],
                     "properties": {
-                        "strategyThreadMap": {
-                            "$ref": "#/$defs/StrategyThreadMap"
+                        "strategyThreadDict": {
+                            "$ref": "#/$defs/StrategyThreadDict"
                         }
                     }
                 }
@@ -1291,8 +1330,8 @@
                     },
                     "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 runs jobs specified by steps in strategyThreadDict. The Engine  also injects repeted steps when encountering loops.",
+                            "$ref": "#/$defs/StrategyThreadDictFacet"
                         },
                         {
                             "$comment": "The Engine updates strategyState with materialized Resources upon job completions and runtime-provided input events. It also inserts inputPotential and outputPotential Resources upon step injections.",