@toolproof-core/genesis 1.0.47

package/generated-src/metadata/dependencyMap.json

@@ -0,0 +1,283 @@
+{
+    "Name": [],
+    "NameFacet": [
+        "Name"
+    ],
+    "Description": [],
+    "DescriptionFacet": [
+        "Description"
+    ],
+    "DocumentationSpec": [
+        "NameFacet",
+        "DescriptionFacet"
+    ],
+    "JsonSchemaObject": [],
+    "TypeRef": [
+        "ResourceTypeHandle"
+    ],
+    "Embedding": [
+        "ToolHandle",
+        "ResourcePointer"
+    ],
+    "ResourceTypeHandle": [],
+    "ResourceType": [
+        "ResourceTypeHandle",
+        "JsonSchemaObject",
+        "ToolHandle",
+        "DocumentationSpec"
+    ],
+    "RoleName": [
+        "Name"
+    ],
+    "ContainerKind": [],
+    "RoleValue": [
+        "TypeRef",
+        "JsonSchemaObject",
+        "ContainerKind",
+        "RoleNameArray"
+    ],
+    "RoleValueByName": [
+        "RoleName",
+        "RoleValue"
+    ],
+    "RoleNameArray": [
+        "RoleName"
+    ],
+    "RoleSpec": [
+        "RoleValueByName",
+        "JsonSchemaObject"
+    ],
+    "RoleSpecFacet": [
+        "RoleSpec"
+    ],
+    "ToolHandle": [],
+    "ToolKind": [],
+    "Tool": [
+        "ToolHandle",
+        "RoleSpec",
+        "DocumentationSpec",
+        "RoleName",
+        "RoleSpecFacet"
+    ],
+    "RoleBindingSpec": [
+        "RoleNameArray"
+    ],
+    "RoleBindingSpecFacet": [
+        "RoleBindingSpec"
+    ],
+    "StepKind": [],
+    "StepKindFacet": [
+        "StepKind"
+    ],
+    "ToolStep": [
+        "ToolHandle",
+        "StepKindFacet",
+        "RoleBindingSpecFacet"
+    ],
+    "Case": [
+        "ToolStep"
+    ],
+    "BranchStep": [
+        "Case",
+        "StepKindFacet"
+    ],
+    "WhileStep": [
+        "Case",
+        "StepKindFacet"
+    ],
+    "ForStep": [
+        "Case",
+        "StepKindFacet"
+    ],
+    "Step": [
+        "ToolStep",
+        "BranchStep",
+        "WhileStep",
+        "ForStep"
+    ],
+    "OutputAddress": [
+        "RoleName",
+        "ToolStepPath"
+    ],
+    "ProvenanceKind": [],
+    "GenesisProvenance": [],
+    "StrategyProvenance": [
+        "StrategyTraceHandle",
+        "OutputAddress"
+    ],
+    "DeferredStrategyProvenance": [
+        "OutputAddress"
+    ],
+    "Provenance": [
+        "GenesisProvenance",
+        "StrategyProvenance"
+    ],
+    "ProvenanceFacet": [
+        "Provenance"
+    ],
+    "ResourceId": [],
+    "ResourcePointer": [
+        "ResourceId",
+        "ResourceTypeHandle",
+        "ProvenanceFacet"
+    ],
+    "BaseResource": [
+        "ResourcePointer"
+    ],
+    "Resource": [
+        "BaseResource"
+    ],
+    "StrategyStateInputKind": [],
+    "InputResource": [
+        "BaseResource"
+    ],
+    "ExternalInputPotential": [
+        "ResourceId",
+        "ResourceTypeHandle"
+    ],
+    "InternalInputPotential": [
+        "ResourceId",
+        "ResourceTypeHandle",
+        "DeferredStrategyProvenance"
+    ],
+    "InputPotential": [
+        "ExternalInputPotential",
+        "InternalInputPotential"
+    ],
+    "StrategyStateInputEntry": [
+        "InputPotential",
+        "InputResource"
+    ],
+    "StrategyStateInputEntryByRoleName": [
+        "RoleName",
+        "StrategyStateInputEntry"
+    ],
+    "StepArray": [
+        "Step"
+    ],
+    "StepArrayArray": [
+        "StepArray"
+    ],
+    "StepsFacet": [
+        "StepArray"
+    ],
+    "ToolStepPathSlot": [],
+    "ToolStepPathSlotFacet": [
+        "ToolStepPathSlot"
+    ],
+    "BaseToolStepPathSpec": [
+        "Natural",
+        "ToolStepPathSlot"
+    ],
+    "UnthreadedToolStepPathSpec": [
+        "BaseToolStepPathSpec"
+    ],
+    "ThreadedToolStepPathSpec": [
+        "BaseToolStepPathSpec",
+        "Natural"
+    ],
+    "ToolStepPath": [
+        "UnthreadedToolStepPath",
+        "ThreadedToolStepPath"
+    ],
+    "UnthreadedToolStepPath": [],
+    "ThreadedToolStepPath": [],
+    "UnthreadedStrategyState": [
+        "UnthreadedToolStepPath",
+        "StrategyStateInputEntryByRoleName"
+    ],
+    "ThreadedStrategyState": [
+        "ThreadedToolStepPath",
+        "StrategyStateInputEntryByRoleName"
+    ],
+    "UnthreadedStrategyStateFacet": [
+        "UnthreadedStrategyState"
+    ],
+    "ThreadedStrategyStateFacet": [
+        "ThreadedStrategyState"
+    ],
+    "StrategyKind": [],
+    "StrategyHandle": [],
+    "BaseStrategy": [
+        "StrategyHandle",
+        "StrategyKind"
+    ],
+    "UnthreadedStrategy": [
+        "BaseStrategy",
+        "StepsFacet",
+        "UnthreadedStrategyStateFacet"
+    ],
+    "ThreadedStrategy": [
+        "BaseStrategy",
+        "StepsByThreadIndexFacet",
+        "ThreadedStrategyStateFacet"
+    ],
+    "Strategy": [
+        "UnthreadedStrategy",
+        "ThreadedStrategy"
+    ],
+    "StepsByThreadIndexFacet": [
+        "StepArrayArray"
+    ],
+    "TracePointCounterSnapshot": [
+        "Natural"
+    ],
+    "TracePointDelta": [
+        "Natural",
+        "StepArray",
+        "ThreadedStrategyState"
+    ],
+    "TracePointKind": [],
+    "BaseTracePoint": [
+        "TracePointKind",
+        "StrategyHandle",
+        "Natural"
+    ],
+    "ThreadedStrategyFacet": [
+        "ThreadedStrategy"
+    ],
+    "GraphStartTracePoint": [
+        "BaseTracePoint",
+        "ThreadedStrategyFacet"
+    ],
+    "TickTracePoint": [
+        "BaseTracePoint",
+        "TracePointCounterSnapshot",
+        "ThreadedToolStepPath",
+        "TracePointDelta"
+    ],
+    "InterruptTracePoint": [
+        "BaseTracePoint",
+        "TracePointCounterSnapshot",
+        "ThreadedToolStepPath",
+        "TracePointDelta"
+    ],
+    "GraphEndTracePoint": [
+        "BaseTracePoint"
+    ],
+    "TracePoint": [
+        "GraphStartTracePoint",
+        "TickTracePoint",
+        "InterruptTracePoint",
+        "GraphEndTracePoint"
+    ],
+    "StrategyTraceHandle": [],
+    "StrategyTrace": [
+        "StrategyTraceHandle",
+        "StrategyHandle",
+        "TracePoint"
+    ],
+    "GoalHandle": [],
+    "Goal": [
+        "GoalHandle",
+        "ToolHandle"
+    ],
+    "Error": [
+        "DocumentationSpec"
+    ],
+    "Natural": [],
+    "Boolean": [],
+    "TimestampedResource": [
+        "Resource"
+    ]
+}

package/generated-src/metadata/terminals.json

@@ -0,0 +1,17 @@
+[
+    "Embedding",
+    "ResourceType",
+    "ToolKind",
+    "Tool",
+    "ProvenanceKind",
+    "StrategyStateInputKind",
+    "ToolStepPathSlotFacet",
+    "UnthreadedToolStepPathSpec",
+    "ThreadedToolStepPathSpec",
+    "Strategy",
+    "StrategyTrace",
+    "Goal",
+    "Error",
+    "Boolean",
+    "TimestampedResource"
+]

package/generated-src/resourceTypes/resourceTypes.json

@@ -0,0 +1,375 @@
+{
+    "ResourceType": {
+        "handle": "TYPE-RESOURCE-TYPE",
+        "name": "ResourceType",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "handle"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/ResourceTypeHandle"
+                },
+                "valueSchema": {
+                    "$ref": "#/$defs/JsonSchemaObject"
+                },
+                "parserToolHandle": {
+                    "$ref": "#/$defs/ToolHandle"
+                },
+                "embeddingModelTools": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/ToolHandle"
+                    },
+                    "minItems": 1,
+                    "$comment": "A ResourceType may specify a set of embeddingModelTools that convert the raw data (or one of its alternative representations) into vector embeddings. The build process enforces that the entries are members of a set of predefined embeddingModelTools."
+                }
+            },
+            "allOf": [
+                {
+                    "$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.",
+                    "anyOf": [
+                        {
+                            "required": [
+                                "valueSchema"
+                            ]
+                        },
+                        {
+                            "required": [
+                                "parserToolHandle"
+                            ]
+                        }
+                    ]
+                }
+            ],
+            "unevaluatedProperties": false
+        }
+    },
+    "Tool": {
+        "handle": "TYPE-TOOL",
+        "name": "Tool",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "handle",
+                "isTemplate"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/ToolHandle"
+                },
+                "isTemplate": {
+                    "type": "boolean"
+                },
+                "templateToolHandle": {
+                    "$ref": "#/$defs/ToolHandle"
+                },
+                "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.",
+            "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": [
+                {
+                    "$ref": "#/$defs/DocumentationSpec"
+                },
+                {
+                    "if": {
+                        "required": [
+                            "isTemplate"
+                        ],
+                        "properties": {
+                            "isTemplate": {
+                                "const": true
+                            }
+                        }
+                    },
+                    "then": {
+                        "required": [
+                            "instantiationRoleSpec"
+                        ]
+                    },
+                    "else": {
+                        "not": {
+                            "required": [
+                                "instantiationRoleSpec"
+                            ]
+                        }
+                    }
+                },
+                {
+                    "$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.",
+                    "if": {
+                        "required": [
+                            "isTemplate"
+                        ],
+                        "properties": {
+                            "isTemplate": {
+                                "const": true
+                            }
+                        }
+                    },
+                    "then": {
+                        "properties": {
+                            "roleSpec": {
+                                "properties": {
+                                    "inputRoleValueByName": {
+                                        "required": [
+                                            "GenericAssignmentByRoleName",
+                                            "InstantiationToolHandleBySpecializationKey"
+                                        ],
+                                        "properties": {
+                                            "GenericAssignmentByRoleName": {
+                                                "required": [
+                                                    "containerKind",
+                                                    "typeRef",
+                                                    "mapKeys"
+                                                ],
+                                                "properties": {
+                                                    "containerKind": {
+                                                        "const": "map"
+                                                    },
+                                                    "typeRef": {
+                                                        "required": [
+                                                            "resourceTypeHandle"
+                                                        ],
+                                                        "properties": {
+                                                            "resourceTypeHandle": {
+                                                                "const": "TYPE-ResourceType"
+                                                            }
+                                                        }
+                                                    },
+                                                    "mapKeys": {
+                                                        "type": "array",
+                                                        "items": {
+                                                            "$ref": "#/$defs/RoleName"
+                                                        },
+                                                        "minItems": 1,
+                                                        "uniqueItems": true
+                                                    }
+                                                }
+                                            },
+                                            "InstantiationToolHandleBySpecializationKey": {
+                                                "required": [
+                                                    "containerKind",
+                                                    "typeRef"
+                                                ],
+                                                "properties": {
+                                                    "containerKind": {
+                                                        "const": "map"
+                                                    },
+                                                    "typeRef": {
+                                                        "required": [
+                                                            "resourceTypeHandle"
+                                                        ],
+                                                        "properties": {
+                                                            "resourceTypeHandle": {
+                                                                "const": "TYPE-Tool"
+                                                            }
+                                                        }
+                                                    }
+                                                },
+                                                "not": {
+                                                    "required": [
+                                                        "mapKeys"
+                                                    ]
+                                                }
+                                            }
+                                        },
+                                        "additionalProperties": false
+                                    },
+                                    "outputRoleValueByName": {
+                                        "required": [
+                                            "InstantiationTool"
+                                        ],
+                                        "properties": {
+                                            "InstantiationTool": {
+                                                "required": [
+                                                    "containerKind",
+                                                    "typeRef"
+                                                ],
+                                                "properties": {
+                                                    "containerKind": {
+                                                        "const": "scalar"
+                                                    },
+                                                    "typeRef": {
+                                                        "required": [
+                                                            "resourceTypeHandle"
+                                                        ],
+                                                        "properties": {
+                                                            "resourceTypeHandle": {
+                                                                "const": "TYPE-Tool"
+                                                            }
+                                                        }
+                                                    }
+                                                }
+                                            }
+                                        },
+                                        "additionalProperties": false
+                                    }
+                                }
+                            }
+                        }
+                    }
+                },
+                {
+                    "$ref": "#/$defs/RoleSpecFacet"
+                }
+            ],
+            "unevaluatedProperties": false
+        }
+    },
+    "Strategy": {
+        "handle": "TYPE-STRATEGY",
+        "name": "Strategy",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/UnthreadedStrategy"
+                },
+                {
+                    "$ref": "#/$defs/ThreadedStrategy"
+                }
+            ]
+        }
+    },
+    "StrategyTrace": {
+        "handle": "TYPE-STRATEGY_TRACE",
+        "name": "StrategyTrace",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "handle",
+                "strategyHandle",
+                "tracePoints"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/StrategyTraceHandle"
+                },
+                "strategyHandle": {
+                    "$comment": "Could be derived from the first event but useful for indexing.",
+                    "$ref": "#/$defs/StrategyHandle"
+                },
+                "tracePoints": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/TracePoint"
+                    }
+                }
+            },
+            "unevaluatedProperties": false
+        }
+    },
+    "Goal": {
+        "handle": "TYPE-GOAL",
+        "name": "Goal",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "required": [
+                "handle",
+                "target"
+            ],
+            "properties": {
+                "handle": {
+                    "$ref": "#/$defs/GoalHandle"
+                },
+                "target": {
+                    "type": "integer",
+                    "minimum": 0
+                },
+                "disallowedTools": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/ToolHandle"
+                    }
+                },
+                "disallowedSequences": {
+                    "type": "array",
+                    "items": {
+                        "type": "array",
+                        "items": {
+                            "$ref": "#/$defs/ToolHandle"
+                        }
+                    }
+                },
+                "minSteps": {
+                    "type": "integer",
+                    "minimum": 1
+                },
+                "maxSteps": {
+                    "type": "integer",
+                    "minimum": 1
+                }
+            },
+            "unevaluatedProperties": false
+        }
+    },
+    "Error": {
+        "handle": "TYPE-ERROR",
+        "name": "Error",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "allOf": [
+                {
+                    "$ref": "#/$defs/DocumentationSpec"
+                },
+                {
+                    "properties": {
+                        "details": {
+                            "type": "object"
+                        }
+                    }
+                }
+            ],
+            "unevaluatedProperties": false
+        }
+    },
+    "Boolean": {
+        "handle": "TYPE-BOOLEAN",
+        "name": "Boolean",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "boolean"
+        }
+    },
+    "Natural": {
+        "handle": "TYPE-NATURAL",
+        "name": "Natural",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "integer",
+            "minimum": 0
+        }
+    },
+    "Resource": {
+        "handle": "TYPE-RESOURCE",
+        "name": "Resource",
+        "description": "",
+        "valueSchema": {
+            "$schema": "https://json-schema.org/draft/2020-12/schema",
+            "type": "object",
+            "$ref": "#/$defs/BaseResource",
+            "unevaluatedProperties": false
+        }
+    }
+}

package/generated-src/resourceTypes/resourceTypes.ts

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