@toolproof-core/schema 1.0.10 → 1.0.11

package/src/generated/schemas/standalone/ResourceType.json

@@ -1,106 +1,106 @@
-{
-  "$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"
-    }
-  ],
-  "$defs": {
-    "ResourceTypeIdentity": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "pattern": "^TYPE-.+$"
-    },
-    "Uri": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "format": "uri"
-    },
-    "DocumentationFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "allOf": [
-        {
-          "$ref": "#/$defs/NameFacet"
-        },
-        {
-          "$ref": "#/$defs/DescriptionFacet"
-        }
-      ]
-    },
-    "NameFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "name"
-      ],
-      "properties": {
-        "name": {
-          "$ref": "#/$defs/Name"
-        }
-      }
-    },
-    "DescriptionFacet": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "object",
-      "required": [
-        "description"
-      ],
-      "properties": {
-        "description": {
-          "$ref": "#/$defs/Description"
-        }
-      }
-    },
-    "Name": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "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."
-    },
-    "Description": {
-      "$schema": "https://json-schema.org/draft/2020-12/schema",
-      "type": "string",
-      "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."
-    }
-  }
-}
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "required": [
+    "identity",
+    "nucleusSchema"
+  ],
+  "properties": {
+    "identity": {
+      "$ref": "#/$defs/ResourceTypeIdentity"
+    },
+    "nucleusSchema": true,
+    "embeddingUriDict": {
+      "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 dict are members of a set of predefined embedding models."
+    },
+    "generatorUriDict": {
+      "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 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": [
+    {
+      "$ref": "#/$defs/DocumentationFacet"
+    }
+  ],
+  "$defs": {
+    "ResourceTypeIdentity": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "pattern": "^TYPE-.+$"
+    },
+    "Uri": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "format": "uri"
+    },
+    "DocumentationFacet": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "allOf": [
+        {
+          "$ref": "#/$defs/NameFacet"
+        },
+        {
+          "$ref": "#/$defs/DescriptionFacet"
+        }
+      ]
+    },
+    "NameFacet": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "required": [
+        "name"
+      ],
+      "properties": {
+        "name": {
+          "$ref": "#/$defs/Name"
+        }
+      }
+    },
+    "DescriptionFacet": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "object",
+      "required": [
+        "description"
+      ],
+      "properties": {
+        "description": {
+          "$ref": "#/$defs/Description"
+        }
+      }
+    },
+    "Name": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "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."
+    },
+    "Description": {
+      "$schema": "https://json-schema.org/draft/2020-12/schema",
+      "type": "string",
+      "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."
+    }
+  }
+}

package/src/generated/schemas/standalone/RunnableStrategy.json

@@ -15,8 +15,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.",
@@ -49,15 +49,15 @@
       },
       "unevaluatedProperties": false
     },
-    "StrategyThreadMapFacet": {
+    "StrategyThreadDictFacet": {
       "$schema": "https://json-schema.org/draft/2020-12/schema",
       "type": "object",
       "required": [
-        "strategyThreadMap"
+        "strategyThreadDict"
       ],
       "properties": {
-        "strategyThreadMap": {
-          "$ref": "#/$defs/StrategyThreadMap"
+        "strategyThreadDict": {
+          "$ref": "#/$defs/StrategyThreadDict"
         }
       }
     },
@@ -89,7 +89,7 @@
       "type": "string",
       "format": "date-time"
     },
-    "StrategyThreadMap": {
+    "StrategyThreadDict": {
       "$schema": "https://json-schema.org/draft/2020-12/schema",
       "type": "object",
       "propertyNames": {

package/src/generated/schemas/standalone/StrategyRun.json

@@ -188,8 +188,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.",
@@ -297,15 +297,15 @@
       },
       "unevaluatedProperties": false
     },
-    "StrategyThreadMapFacet": {
+    "StrategyThreadDictFacet": {
       "$schema": "https://json-schema.org/draft/2020-12/schema",
       "type": "object",
       "required": [
-        "strategyThreadMap"
+        "strategyThreadDict"
       ],
       "properties": {
-        "strategyThreadMap": {
-          "$ref": "#/$defs/StrategyThreadMap"
+        "strategyThreadDict": {
+          "$ref": "#/$defs/StrategyThreadDict"
         }
       }
     },
@@ -380,7 +380,7 @@
         "cancelled"
       ]
     },
-    "StrategyThreadMap": {
+    "StrategyThreadDict": {
       "$schema": "https://json-schema.org/draft/2020-12/schema",
       "type": "object",
       "propertyNames": {

package/src/generated/types/standalone/Resource_Genesis.d.ts

@@ -1,3 +1,3 @@
-// Auto-generated strict composite type. Do not edit.
-import type { ShellMaterializedBase, Genesis as NucleusSchema } from "../types.js";
-export type Resource_Genesis = ShellMaterializedBase & { nucleus: NucleusSchema };
+// Auto-generated strict composite type. Do not edit.
+import type { ShellMaterializedBaseJson as ShellMaterializedBase, GenesisJson as NucleusSchema } from "../types.js";
+export type Resource_Genesis = ShellMaterializedBase & { nucleus: NucleusSchema };

package/src/generated/types/standalone/Resource_Job.d.ts

@@ -1,3 +1,3 @@
-// Auto-generated strict composite type. Do not edit.
-import type { ShellMaterializedBase, Job as NucleusSchema } from "../types.js";
-export type Resource_Job = ShellMaterializedBase & { nucleus: NucleusSchema };
+// Auto-generated strict composite type. Do not edit.
+import type { ShellMaterializedBaseJson as ShellMaterializedBase, JobJson as NucleusSchema } from "../types.js";
+export type Resource_Job = ShellMaterializedBase & { nucleus: NucleusSchema };

package/src/generated/types/standalone/Resource_RawStrategy.d.ts

@@ -1,3 +1,3 @@
-// Auto-generated strict composite type. Do not edit.
-import type { ShellMaterializedBase, RawStrategy as NucleusSchema } from "../types.js";
-export type Resource_RawStrategy = ShellMaterializedBase & { nucleus: NucleusSchema };
+// Auto-generated strict composite type. Do not edit.
+import type { ShellMaterializedBaseJson as ShellMaterializedBase, RawStrategyJson as NucleusSchema } from "../types.js";
+export type Resource_RawStrategy = ShellMaterializedBase & { nucleus: NucleusSchema };

package/src/generated/types/standalone/Resource_ResourceType.d.ts

@@ -1,3 +1,3 @@
-// Auto-generated strict composite type. Do not edit.
-import type { ShellMaterializedBase, ResourceType as NucleusSchema } from "../types.js";
-export type Resource_ResourceType = ShellMaterializedBase & { nucleus: NucleusSchema };
+// Auto-generated strict composite type. Do not edit.
+import type { ShellMaterializedBaseJson as ShellMaterializedBase, ResourceTypeJson as NucleusSchema } from "../types.js";
+export type Resource_ResourceType = ShellMaterializedBase & { nucleus: NucleusSchema };

package/src/generated/types/standalone/Resource_RunnableStrategy.d.ts

@@ -1,3 +1,3 @@
-// Auto-generated strict composite type. Do not edit.
-import type { ShellMaterializedBase, RunnableStrategy as NucleusSchema } from "../types.js";
-export type Resource_RunnableStrategy = ShellMaterializedBase & { nucleus: NucleusSchema };
+// Auto-generated strict composite type. Do not edit.
+import type { ShellMaterializedBaseJson as ShellMaterializedBase, RunnableStrategyJson as NucleusSchema } from "../types.js";
+export type Resource_RunnableStrategy = ShellMaterializedBase & { nucleus: NucleusSchema };