@toolproof-core/genesis 1.0.48 → 1.0.50

package/generated-src/{resourceTypes → declarations}/resourceTypes.json

@@ -1,24 +1,28 @@
-{
-    "ResourceType": {
-        "handle": "TYPE-RESOURCE-TYPE",
+[
+    {
+        "handle": "TYPE-ResourceType",
         "name": "ResourceType",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
                 "handle"
             ],
+            "semanticValidation": "If ingestorToolHandle is present, verify that it references an existing non-template Tool whose distinguished raw-instance input semantically matches ingestorToolInputSchema when provided, whose distinguished Boolean output reports whether the raw instance is valid for this ResourceType, and whose distinguished projection output is typed as this ResourceType and conforms to projectionSchema when projectionSchema is present.",
             "properties": {
                 "handle": {
                     "$ref": "#/$defs/ResourceTypeHandle"
                 },
-                "valueSchema": {
+                "projectionSchema": {
                     "$ref": "#/$defs/JsonSchemaObject"
                 },
-                "parserToolHandle": {
+                "ingestorToolHandle": {
                     "$ref": "#/$defs/ToolHandle"
                 },
+                "ingestorToolInputSchema": {
+                    "$ref": "#/$defs/JsonSchemaObject"
+                },
                 "embeddingModelTools": {
                     "type": "array",
                     "items": {
@@ -33,29 +37,41 @@
                     "$ref": "#/$defs/DocumentationSpec"
                 },
                 {
-                    "$comment": "A ResourceType must specify either a valueSchema or a parserToolHandle, or both. If only a valueSchema is specified, the author assumes no burden of implementing a parser for the ResourceType. They can rely on the valueSchema for validation. If only a parserToolHandle is specified, the author assumes the burden of implementing a parser that can validate instances of the ResourceType. If both are specified, the author assumes the burden of implementing an augmented parser that also serves as a generator between the raw data and an instance of the valueSchema.",
+                    "$comment": "A ResourceType ultimately describes both raw instances and their Core-visible JSON projection. Inside ToolProof Core, the ResourceType denotes the projection. projectionSchema describes the shape of that Core-visible projection. ingestorToolHandle identifies the Tool that ingests raw instances for this ResourceType by validating them against the built-in format grammar and, when projectionSchema is present, emitting the corresponding projection for Core. ingestorToolInputSchema describes the raw-instance input accepted by that ingestor. A ResourceType must specify either a projectionSchema or an ingestorToolHandle, or both. If only a projectionSchema is specified, the author relies on schema-based validation of the Core-visible projection and does not designate an ingestor. If only an ingestorToolHandle is specified, the author designates an ingestor that is authoritative for validating raw instances of the ResourceType. If both are specified, the ingestor must emit projections that conform to projectionSchema.",
                     "anyOf": [
                         {
                             "required": [
-                                "valueSchema"
+                                "projectionSchema"
                             ]
                         },
                         {
                             "required": [
-                                "parserToolHandle"
+                                "ingestorToolHandle"
                             ]
                         }
                     ]
+                },
+                {
+                    "if": {
+                        "required": [
+                            "ingestorToolInputSchema"
+                        ]
+                    },
+                    "then": {
+                        "required": [
+                            "ingestorToolHandle"
+                        ]
+                    }
                 }
             ],
             "unevaluatedProperties": false
         }
     },
-    "Tool": {
-        "handle": "TYPE-TOOL",
+    {
+        "handle": "TYPE-Tool",
         "name": "Tool",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
@@ -66,17 +82,17 @@
                 "handle": {
                     "$ref": "#/$defs/ToolHandle"
                 },
-                "isTemplate": {
-                    "type": "boolean"
-                },
                 "templateToolHandle": {
                     "$ref": "#/$defs/ToolHandle"
                 },
+                "isTemplate": {
+                    "type": "boolean"
+                },
                 "instantiationRoleSpec": {
                     "$ref": "#/$defs/RoleSpec"
                 }
             },
-            "$comment": "Template Tools own dispatch contract: Core scans all instantiation Tools grouped by templateToolHandle, derives a specializationKey from each tool's generic role assignment (canonical order of genericRoleName -> resourceTypeHandle pairs), and asserts injectivity (no two instantiation Tools share the same key for the same template). At invocation time Core injects the specializationKey -> instantiationToolHandle lookup as the second input, then resolves the first input against it to return one instantiation Tool. Cross-resource compatibility between an instantiation Tool's roleSpec and the template's instantiationRoleSpec is deferred to the validation package.",
+            "$comment": "Template Tools own dispatch contract: Core scans all instantiation Tools grouped by templateToolHandle, derives a specializationKey from each instantiation tool's generic assignment by taking the canonical order of genericRoleName -> assigned ResourceType.resourceTypeHandle pairs, and asserts injectivity (no two instantiation Tools share the same key for the same template). At invocation time Core injects the specializationKey -> instantiationToolHandle lookup as the second input, then the template resolves the first input against it to return one instantiation Tool. Cross-resource compatibility between an instantiation Tool's roleSpec and the template's instantiationRoleSpec is deferred to the validation package.",
             "semanticValidation": "Deferred: verify injectivity of specializationKey map per template; verify instantiation Tool roleSpec matches template instantiationRoleSpec; verify every supplied generic assignment key-set exactly equals roleSpec.inputRoleValueByName.GenericAssignmentByRoleName.mapKeys; verify every supplied generic assignment matches a registered specializationKey.",
             "allOf": [
                 {
@@ -107,7 +123,7 @@
                     }
                 },
                 {
-                    "$comment": "Template Tools must declare named roles: two map inputs (GenericAssignmentByRoleName and InstantiationToolHandleBySpecializationKey) and one scalar TYPE-Tool output (InstantiationTool). Runtime semantic validation enforces that invocation input keys for GenericAssignmentByRoleName exactly match this role's declared mapKeys.",
+                    "$comment": "Template Tools must declare named roles: two map inputs (GenericAssignmentByRoleName and InstantiationToolHandleBySpecializationKey) and one scalar TYPE-Tool output (InstantiationTool). GenericAssignmentByRoleName.mapKeys declares the generic parameter names accepted by the template. Runtime semantic validation enforces that each invocation's GenericAssignmentByRoleName object has exactly that key set: no missing keys, no extra keys. These keys are the generic parameter names later referenced via roleSchema refs such as #OperandType; they are not required to match the top-level role names of instantiationRoleSpec.",
                     "if": {
                         "required": [
                             "isTemplate"
@@ -228,11 +244,11 @@
             "unevaluatedProperties": false
         }
     },
-    "Strategy": {
-        "handle": "TYPE-STRATEGY",
+    {
+        "handle": "TYPE-Strategy",
         "name": "Strategy",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "oneOf": [
                 {
@@ -244,11 +260,11 @@
             ]
         }
     },
-    "StrategyTrace": {
-        "handle": "TYPE-STRATEGY_TRACE",
+    {
+        "handle": "TYPE-StrategyTrace",
         "name": "StrategyTrace",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
@@ -274,11 +290,11 @@
             "unevaluatedProperties": false
         }
     },
-    "Goal": {
-        "handle": "TYPE-GOAL",
+    {
+        "handle": "TYPE-Goal",
         "name": "Goal",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "required": [
@@ -320,11 +336,11 @@
             "unevaluatedProperties": false
         }
     },
-    "Error": {
-        "handle": "TYPE-ERROR",
+    {
+        "handle": "TYPE-Error",
         "name": "Error",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "allOf": [
@@ -342,34 +358,155 @@
             "unevaluatedProperties": false
         }
     },
-    "Boolean": {
-        "handle": "TYPE-BOOLEAN",
+    {
+        "handle": "TYPE-Boolean",
         "name": "Boolean",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "boolean"
         }
     },
-    "Natural": {
-        "handle": "TYPE-NATURAL",
+    {
+        "handle": "TYPE-Natural",
         "name": "Natural",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "integer",
             "minimum": 0
         }
     },
-    "Resource": {
-        "handle": "TYPE-RESOURCE",
+    {
+        "handle": "TYPE-Resource",
         "name": "Resource",
         "description": "",
-        "valueSchema": {
+        "projectionSchema": {
             "$schema": "https://json-schema.org/draft/2020-12/schema",
             "type": "object",
             "$ref": "#/$defs/BaseResource",
             "unevaluatedProperties": false
         }
+    },
+    {
+        "handle": "TYPE-Suite",
+        "name": "Suite",
+        "description": "",
+        "ingestorToolInputSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "type": "object",
+                    "required": [
+                        "name",
+                        "version",
+                        "description"
+                    ],
+                    "properties": {
+                        "name": {
+                            "oneOf": [
+                                {
+                                    "$ref": "#/$defs/Name"
+                                },
+                                {
+                                    "$ref": "#/$defs/JsonScalarLink"
+                                }
+                            ]
+                        },
+                        "version": {
+                            "oneOf": [
+                                {
+                                    "type": "string",
+                                    "minLength": 1
+                                },
+                                {
+                                    "$ref": "#/$defs/JsonScalarLink"
+                                }
+                            ]
+                        },
+                        "description": {
+                            "oneOf": [
+                                {
+                                    "$ref": "#/$defs/Description"
+                                },
+                                {
+                                    "$ref": "#/$defs/JsonScalarLink"
+                                }
+                            ]
+                        }
+                    }
+                },
+                {
+                    "type": "object",
+                    "required": [
+                        "resourceTypesPath",
+                        "toolsPath"
+                    ],
+                    "properties": {
+                        "resourceTypesPath": {
+                            "type": "string",
+                            "minLength": 1
+                        },
+                        "toolsPath": {
+                            "type": "string",
+                            "minLength": 1
+                        }
+                    }
+                }
+            ],
+            "semanticValidation": "Verify that resourceTypesPath and toolsPath are relative paths rooted within the suite root, that toolproof.json provides the required suite metadata, and that the referenced files exist and match the expected declaration schemas.",
+            "unevaluatedProperties": false
+        },
+        "projectionSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "type": "object",
+                    "required": [
+                        "name",
+                        "version",
+                        "description"
+                    ],
+                    "properties": {
+                        "name": {
+                            "$ref": "#/$defs/Name"
+                        },
+                        "version": {
+                            "type": "string",
+                            "minLength": 1
+                        },
+                        "description": {
+                            "$ref": "#/$defs/Description"
+                        }
+                    }
+                },
+                {
+                    "type": "object",
+                    "required": [
+                        "resourceTypes",
+                        "tools"
+                    ],
+                    "properties": {
+                        "resourceTypes": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/ResourceType"
+                            },
+                            "uniqueItems": true
+                        },
+                        "tools": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/Tool"
+                            },
+                            "uniqueItems": true
+                        }
+                    }
+                }
+            ],
+            "unevaluatedProperties": false
+        }
     }
-}
+]

package/generated-src/declarations/resourceTypes.ts

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