@toolproof-core/genesis 1.0.48 → 1.0.50

package/generated-src/declarations/tools.ts

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

package/generated-src/implementations/tools.ts

@@ -0,0 +1,214 @@
+import type {
+    Boolean,
+    Natural,
+    ResourceType,
+    Tool,
+} from '../types/types.js';
+
+type GenericAssignmentByRoleName<GenericRoleName extends string> = Record<GenericRoleName, ResourceType>;
+
+type InstantiationToolHandleBySpecializationKey = Record<string, Tool>;
+
+type TemplateInputs<GenericRoleName extends string> = {
+    GenericAssignmentByRoleName: GenericAssignmentByRoleName<GenericRoleName>;
+    InstantiationToolHandleBySpecializationKey: InstantiationToolHandleBySpecializationKey;
+};
+
+type TemplateOutputs = {
+    InstantiationTool: Tool;
+};
+
+type OperandTemplateInputs = TemplateInputs<'OperandType'>;
+
+const OPERAND_TYPE_ROLE_NAMES = ['OperandType'] as const;
+
+function assertExactKeys(actualKeys: string[], expectedKeys: readonly string[], label: string): void {
+    const sortedActualKeys = [...actualKeys].sort();
+    const sortedExpectedKeys = [...expectedKeys].sort();
+
+    if (sortedActualKeys.length !== sortedExpectedKeys.length) {
+        throw new Error(
+            `${label} must contain exactly [${sortedExpectedKeys.join(', ')}], got [${sortedActualKeys.join(', ')}]`
+        );
+    }
+
+    for (let index = 0; index < sortedExpectedKeys.length; index += 1) {
+        if (sortedActualKeys[index] !== sortedExpectedKeys[index]) {
+            throw new Error(
+                `${label} must contain exactly [${sortedExpectedKeys.join(', ')}], got [${sortedActualKeys.join(', ')}]`
+            );
+        }
+    }
+}
+
+function asNatural(value: number, label: string): Natural {
+    if (!Number.isInteger(value) || value < 0) {
+        throw new Error(`${label} must be a non-negative integer, got ${value}`);
+    }
+
+    return value as Natural;
+}
+
+export function createSpecializationKey(assignments: Record<string, ResourceType>): string {
+    return JSON.stringify(
+        Object.entries(assignments)
+            .sort(([leftRoleName], [rightRoleName]) => leftRoleName.localeCompare(rightRoleName))
+            .map(([roleName, resourceType]) => [roleName, resourceType.handle])
+    );
+}
+
+function resolveTemplateInstantiation<GenericRoleName extends string>(
+    inputs: TemplateInputs<GenericRoleName>,
+    expectedGenericRoleNames: readonly GenericRoleName[]
+): TemplateOutputs {
+    const { GenericAssignmentByRoleName, InstantiationToolHandleBySpecializationKey } = inputs;
+
+    assertExactKeys(
+        Object.keys(GenericAssignmentByRoleName),
+        expectedGenericRoleNames,
+        'GenericAssignmentByRoleName'
+    );
+
+    const specializationKey = createSpecializationKey(GenericAssignmentByRoleName);
+    const instantiationTool = InstantiationToolHandleBySpecializationKey[specializationKey];
+
+    if (!instantiationTool) {
+        throw new Error(`No instantiation tool registered for specializationKey ${specializationKey}`);
+    }
+
+    return {
+        InstantiationTool: instantiationTool,
+    };
+}
+
+export function Identity(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function Add(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function Subtract(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function Multiply(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function Divide(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function Double(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function LessThan(inputs: OperandTemplateInputs): TemplateOutputs {
+    return resolveTemplateInstantiation(inputs, OPERAND_TYPE_ROLE_NAMES);
+}
+
+export function BooleanIdentity(inputs: { In: Boolean }): { Out: Boolean } {
+    return {
+        Out: inputs.In,
+    };
+}
+
+export function NaturalIdentity(inputs: { In: Natural }): { Out: Natural } {
+    return {
+        Out: inputs.In,
+    };
+}
+
+export function NaturalLessThan(inputs: {
+    LessThanSource: Natural;
+    LessThanTarget: Natural;
+}): { LessThanDecision: Boolean } {
+    return {
+        LessThanDecision: inputs.LessThanSource < inputs.LessThanTarget,
+    };
+}
+
+export function NaturalAdd(inputs: {
+    AddendOne: Natural;
+    AddendTwo: Natural;
+}): { Sum: Natural } {
+    return {
+        Sum: asNatural(inputs.AddendOne + inputs.AddendTwo, 'Sum'),
+    };
+}
+
+export function NaturalSubtract(inputs: {
+    Minuend: Natural;
+    Subtrahend: Natural;
+}): { Difference: Natural } {
+    return {
+        Difference: asNatural(inputs.Minuend - inputs.Subtrahend, 'Difference'),
+    };
+}
+
+export function NaturalMultiply(inputs: {
+    Multiplicand: Natural;
+    Multiplier: Natural;
+}): { Product: Natural } {
+    return {
+        Product: asNatural(inputs.Multiplicand * inputs.Multiplier, 'Product'),
+    };
+}
+
+export function NaturalDivide(inputs: {
+    Dividend: Natural;
+    Divisor: Natural;
+}): { Quotient: Natural; Remainder: Natural } {
+    if (inputs.Divisor === 0) {
+        throw new Error('Divisor must be non-zero');
+    }
+
+    return {
+        Quotient: asNatural(Math.floor(inputs.Dividend / inputs.Divisor), 'Quotient'),
+        Remainder: asNatural(inputs.Dividend % inputs.Divisor, 'Remainder'),
+    };
+}
+
+export function NaturalDouble(inputs: { N: Natural }): { Doubled: Natural } {
+    return {
+        Doubled: asNatural(inputs.N * 2, 'Doubled'),
+    };
+}
+
+export const TOOL_IMPLEMENTATION_BY_NAME = {
+    Identity,
+    Add,
+    Subtract,
+    Multiply,
+    Divide,
+    Double,
+    LessThan,
+    BooleanIdentity,
+    NaturalIdentity,
+    NaturalLessThan,
+    NaturalAdd,
+    NaturalSubtract,
+    NaturalMultiply,
+    NaturalDivide,
+    NaturalDouble,
+} as const;
+
+export const TOOL_IMPLEMENTATION_BY_HANDLE = {
+    'TOOL-Identity': Identity,
+    'TOOL-Add': Add,
+    'TOOL-Subtract': Subtract,
+    'TOOL-Multiply': Multiply,
+    'TOOL-Divide': Divide,
+    'TOOL-Double': Double,
+    'TOOL-LessThan': LessThan,
+    'TOOL-BooleanIdentity': BooleanIdentity,
+    'TOOL-NaturalIdentity': NaturalIdentity,
+    'TOOL-NaturalLessThan': NaturalLessThan,
+    'TOOL-NaturalAdd': NaturalAdd,
+    'TOOL-NaturalSubtract': NaturalSubtract,
+    'TOOL-NaturalMultiply': NaturalMultiply,
+    'TOOL-NaturalDivide': NaturalDivide,
+    'TOOL-NaturalDouble': NaturalDouble,
+} as const;

package/generated-src/{derived → lookups}/constants.ts

@@ -1,5 +1,6 @@
 const CONSTANTS = {
     Names: {
+        AtomicTypeRef: 'AtomicTypeRef',
         BaseResource: 'BaseResource',
         BaseStrategy: 'BaseStrategy',
         BaseToolStepPathSpec: 'BaseToolStepPathSpec',
@@ -25,6 +26,7 @@ const CONSTANTS = {
         InputResource: 'InputResource',
         InternalInputPotential: 'InternalInputPotential',
         InterruptTracePoint: 'InterruptTracePoint',
+        JsonScalarLink: 'JsonScalarLink',
         JsonSchemaObject: 'JsonSchemaObject',
         Name: 'Name',
         NameFacet: 'NameFacet',
@@ -62,6 +64,8 @@ const CONSTANTS = {
         StrategyStateInputKind: 'StrategyStateInputKind',
         StrategyTrace: 'StrategyTrace',
         StrategyTraceHandle: 'StrategyTraceHandle',
+        Suite: 'Suite',
+        SuiteIngestorInputSchema: 'SuiteIngestorInputSchema',
         ThreadedStrategy: 'ThreadedStrategy',
         ThreadedStrategyFacet: 'ThreadedStrategyFacet',
         ThreadedStrategyState: 'ThreadedStrategyState',
@@ -72,7 +76,6 @@ const CONSTANTS = {
         TimestampedResource: 'TimestampedResource',
         Tool: 'Tool',
         ToolHandle: 'ToolHandle',
-        ToolKind: 'ToolKind',
         ToolStep: 'ToolStep',
         ToolStepPath: 'ToolStepPath',
         ToolStepPathSlot: 'ToolStepPathSlot',
@@ -114,10 +117,6 @@ const CONSTANTS = {
             externalInputPotential: 'externalInputPotential',
             internalInputPotential: 'internalInputPotential',
         },
-        ToolKind: {
-            runtime: 'runtime',
-            buildtime: 'buildtime',
-        },
         TracePointKind: {
             graph_start: 'graph_start',
             tick: 'tick',

package/generated-src/metadata/Core.json

@@ -37,11 +37,6 @@
                     "name": "launch.json",
                     "path": ".vscode/launch.json"
                 },
-                {
-                    "kind": "file",
-                    "name": "settings.json",
-                    "path": ".vscode/settings.json"
-                },
                 {
                     "kind": "file",
                     "name": "tasks.json",
@@ -226,19 +221,6 @@
                                                 }
                                             ]
                                         },
-                                        {
-                                            "kind": "directory",
-                                            "name": "cosmos",
-                                            "path": "packages/cosmos/src/components/cosmos",
-                                            "children": [
-                                                {
-                                                    "kind": "directory",
-                                                    "name": "recordings",
-                                                    "path": "packages/cosmos/src/components/cosmos/recordings",
-                                                    "children": []
-                                                }
-                                            ]
-                                        },
                                         {
                                             "kind": "directory",
                                             "name": "dom",
@@ -706,11 +688,6 @@
                                 }
                             ]
                         },
-                        {
-                            "kind": "file",
-                            "name": ".env.local",
-                            "path": "packages/cosmos/.env.local"
-                        },
                         {
                             "kind": "file",
                             "name": ".gitignore",
@@ -721,21 +698,11 @@
                             "name": "eslint.config.mjs",
                             "path": "packages/cosmos/eslint.config.mjs"
                         },
-                        {
-                            "kind": "file",
-                            "name": "gcp-key.json",
-                            "path": "packages/cosmos/gcp-key.json"
-                        },
                         {
                             "kind": "file",
                             "name": "globals.d.ts",
                             "path": "packages/cosmos/globals.d.ts"
                         },
-                        {
-                            "kind": "file",
-                            "name": "next-env.d.ts",
-                            "path": "packages/cosmos/next-env.d.ts"
-                        },
                         {
                             "kind": "file",
                             "name": "next.config.ts",
@@ -1075,21 +1042,11 @@
                             "name": ".dockerignore",
                             "path": "packages/engine/.dockerignore"
                         },
-                        {
-                            "kind": "file",
-                            "name": ".env",
-                            "path": "packages/engine/.env"
-                        },
                         {
                             "kind": "file",
                             "name": ".gitignore",
                             "path": "packages/engine/.gitignore"
                         },
-                        {
-                            "kind": "file",
-                            "name": "gcp-key.json",
-                            "path": "packages/engine/gcp-key.json"
-                        },
                         {
                             "kind": "file",
                             "name": "langgraph.json",
@@ -1104,11 +1061,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/engine/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/engine/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1144,6 +1096,11 @@
                                     "name": "generateCoreProjection.ts",
                                     "path": "packages/genesis/scripts/generateCoreProjection.ts"
                                 },
+                                {
+                                    "kind": "file",
+                                    "name": "generateDeclarations.ts",
+                                    "path": "packages/genesis/scripts/generateDeclarations.ts"
+                                },
                                 {
                                     "kind": "file",
                                     "name": "generateDependencies.ts",
@@ -1151,8 +1108,8 @@
                                 },
                                 {
                                     "kind": "file",
-                                    "name": "generateResources.ts",
-                                    "path": "packages/genesis/scripts/generateResources.ts"
+                                    "name": "generateImplementations.ts",
+                                    "path": "packages/genesis/scripts/generateImplementations.ts"
                                 },
                                 {
                                     "kind": "file",
@@ -1184,6 +1141,11 @@
                                     "name": "generateTerminals.ts",
                                     "path": "packages/genesis/scripts/generateTerminals.ts"
                                 },
+                                {
+                                    "kind": "file",
+                                    "name": "generateTimestampedResources.ts",
+                                    "path": "packages/genesis/scripts/generateTimestampedResources.ts"
+                                },
                                 {
                                     "kind": "file",
                                     "name": "generateTypes.ts",
@@ -1203,52 +1165,52 @@
                             "children": [
                                 {
                                     "kind": "directory",
-                                    "name": "genesis",
-                                    "path": "packages/genesis/src/genesis",
+                                    "name": "declarations",
+                                    "path": "packages/genesis/src/declarations",
                                     "children": [
                                         {
                                             "kind": "directory",
-                                            "name": "resources",
-                                            "path": "packages/genesis/src/genesis/resources",
+                                            "name": "resourceTypes",
+                                            "path": "packages/genesis/src/declarations/resourceTypes",
                                             "children": [
-                                                {
-                                                    "kind": "directory",
-                                                    "name": "implementations",
-                                                    "path": "packages/genesis/src/genesis/resources/implementations",
-                                                    "children": [
-                                                        {
-                                                            "kind": "file",
-                                                            "name": "foo.ts",
-                                                            "path": "packages/genesis/src/genesis/resources/implementations/foo.ts"
-                                                        }
-                                                    ]
-                                                },
-                                                {
-                                                    "kind": "file",
-                                                    "name": "booleans.json",
-                                                    "path": "packages/genesis/src/genesis/resources/booleans.json"
-                                                },
                                                 {
                                                     "kind": "file",
-                                                    "name": "naturals.json",
-                                                    "path": "packages/genesis/src/genesis/resources/naturals.json"
+                                                    "name": "resourceTypeShells.json",
+                                                    "path": "packages/genesis/src/declarations/resourceTypes/resourceTypeShells.json"
                                                 },
                                                 {
                                                     "kind": "file",
-                                                    "name": "tools.json",
-                                                    "path": "packages/genesis/src/genesis/resources/tools.json"
+                                                    "name": "schemas.json",
+                                                    "path": "packages/genesis/src/declarations/resourceTypes/schemas.json"
                                                 }
                                             ]
                                         },
                                         {
                                             "kind": "file",
-                                            "name": "resourceTypeShells.json",
-                                            "path": "packages/genesis/src/genesis/resourceTypeShells.json"
+                                            "name": "booleans.json",
+                                            "path": "packages/genesis/src/declarations/booleans.json"
                                         },
                                         {
                                             "kind": "file",
-                                            "name": "schemas.json",
-                                            "path": "packages/genesis/src/genesis/schemas.json"
+                                            "name": "naturals.json",
+                                            "path": "packages/genesis/src/declarations/naturals.json"
+                                        },
+                                        {
+                                            "kind": "file",
+                                            "name": "tools.json",
+                                            "path": "packages/genesis/src/declarations/tools.json"
+                                        }
+                                    ]
+                                },
+                                {
+                                    "kind": "directory",
+                                    "name": "implementations",
+                                    "path": "packages/genesis/src/implementations",
+                                    "children": [
+                                        {
+                                            "kind": "file",
+                                            "name": "tools.ts",
+                                            "path": "packages/genesis/src/implementations/tools.ts"
                                         }
                                     ]
                                 },
@@ -1267,11 +1229,6 @@
                                             "name": "coreProjection.ts",
                                             "path": "packages/genesis/src/utils/coreProjection.ts"
                                         },
-                                        {
-                                            "kind": "file",
-                                            "name": "resources.ts",
-                                            "path": "packages/genesis/src/utils/resources.ts"
-                                        },
                                         {
                                             "kind": "file",
                                             "name": "resourceTypes.ts",
@@ -1312,6 +1269,11 @@
                                             "name": "standaloneZodSchemas.ts",
                                             "path": "packages/genesis/src/utils/standaloneZodSchemas.ts"
                                         },
+                                        {
+                                            "kind": "file",
+                                            "name": "timestampedResources.ts",
+                                            "path": "packages/genesis/src/utils/timestampedResources.ts"
+                                        },
                                         {
                                             "kind": "file",
                                             "name": "typeGeneration.ts",
@@ -1346,6 +1308,11 @@
                             "name": "package.json",
                             "path": "packages/genesis/package.json"
                         },
+                        {
+                            "kind": "file",
+                            "name": "toolproof.json",
+                            "path": "packages/genesis/toolproof.json"
+                        },
                         {
                             "kind": "file",
                             "name": "tsconfig.json",
@@ -1389,11 +1356,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/language-server/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/language-server/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1535,11 +1497,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/lib/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/lib/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1652,11 +1609,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/persistence/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/persistence/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1734,11 +1686,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/validation/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/validation/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1809,11 +1756,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/visualization/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/visualization/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1875,11 +1817,6 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/vscode-extension/tsconfig.json"
-                        },
-                        {
-                            "kind": "file",
-                            "name": "tsconfig.tsbuildinfo",
-                            "path": "packages/vscode-extension/tsconfig.tsbuildinfo"
                         }
                     ]
                 }

package/generated-src/metadata/dependencyMap.json

@@ -12,9 +12,12 @@
         "DescriptionFacet"
     ],
     "JsonSchemaObject": [],
-    "TypeRef": [
+    "AtomicTypeRef": [
         "ResourceTypeHandle"
     ],
+    "TypeRef": [
+        "AtomicTypeRef"
+    ],
     "Embedding": [
         "ToolHandle",
         "ResourcePointer"
@@ -51,7 +54,6 @@
         "RoleSpec"
     ],
     "ToolHandle": [],
-    "ToolKind": [],
     "Tool": [
         "ToolHandle",
         "RoleSpec",
@@ -279,5 +281,17 @@
     "Boolean": [],
     "TimestampedResource": [
         "Resource"
+    ],
+    "JsonScalarLink": [],
+    "Suite": [
+        "Name",
+        "Description",
+        "ResourceType",
+        "Tool"
+    ],
+    "SuiteIngestorInputSchema": [
+        "Name",
+        "JsonScalarLink",
+        "Description"
     ]
 }

package/generated-src/metadata/terminals.json

@@ -1,8 +1,5 @@
 [
     "Embedding",
-    "ResourceType",
-    "ToolKind",
-    "Tool",
     "ProvenanceKind",
     "StrategyStateInputKind",
     "ToolStepPathSlotFacet",
@@ -13,5 +10,7 @@
     "Goal",
     "Error",
     "Boolean",
-    "TimestampedResource"
+    "TimestampedResource",
+    "Suite",
+    "SuiteIngestorInputSchema"
 ]