@toolproof-core/genesis 1.0.50 → 1.0.52

package/generated-src/implementations/tools.ts

@@ -1,214 +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;
+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/metadata/Core.json

@@ -37,6 +37,11 @@
                     "name": "launch.json",
                     "path": ".vscode/launch.json"
                 },
+                {
+                    "kind": "file",
+                    "name": "settings.json",
+                    "path": ".vscode/settings.json"
+                },
                 {
                     "kind": "file",
                     "name": "tasks.json",
@@ -221,6 +226,19 @@
                                                 }
                                             ]
                                         },
+                                        {
+                                            "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",
@@ -688,6 +706,11 @@
                                 }
                             ]
                         },
+                        {
+                            "kind": "file",
+                            "name": ".env.local",
+                            "path": "packages/cosmos/.env.local"
+                        },
                         {
                             "kind": "file",
                             "name": ".gitignore",
@@ -698,11 +721,21 @@
                             "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",
@@ -1042,11 +1075,21 @@
                             "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",
@@ -1061,6 +1104,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/engine/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/engine/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1356,6 +1404,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/language-server/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/language-server/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1497,6 +1550,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/lib/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/lib/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1609,6 +1667,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/persistence/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/persistence/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1686,6 +1749,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/validation/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/validation/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1756,6 +1824,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/visualization/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/visualization/tsconfig.tsbuildinfo"
                         }
                     ]
                 },
@@ -1817,6 +1890,11 @@
                             "kind": "file",
                             "name": "tsconfig.json",
                             "path": "packages/vscode-extension/tsconfig.json"
+                        },
+                        {
+                            "kind": "file",
+                            "name": "tsconfig.tsbuildinfo",
+                            "path": "packages/vscode-extension/tsconfig.tsbuildinfo"
                         }
                     ]
                 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@toolproof-core/genesis",
-  "version": "1.0.50",
+  "version": "1.0.52",
   "description": "Core ToolProof ontology, schemas, declarations, implementations, and generated type artifacts.",
   "main": "dist/src/index.js",
   "types": "dist/src/index.d.ts",
@@ -20,13 +20,21 @@
   "keywords": [],
   "author": "",
   "license": "ISC",
-  "packageManager": "pnpm@10.15.0",
   "publishConfig": {
     "access": "public"
   },
+  "dependencies": {
+    "zod": "^4.3.6"
+  },
+  "devDependencies": {
+    "@types/node": "^20.8.1",
+    "json-schema-to-typescript": "^15.0.4",
+    "rimraf": "^5.0.0",
+    "typescript": "^5.9.3"
+  },
   "scripts": {
     "test": "echo \"Error: no test specified\" && exit 1",
-    "prepack": "pnpm run update && pnpm run build",
+    "update-and-build": "pnpm run update && pnpm run build",
     "build": "tsc -b",
     "build:scripts": "tsc -p tsconfig.scripts.json",
     "normalizeAnchorsToPointers": "node ./dist/scripts/normalizeAnchorsToPointers.js",
@@ -44,14 +52,5 @@
     "generateTypes": "node ./dist/scripts/generateTypes.js",
     "generateStandaloneTypes": "node ./dist/scripts/generateStandaloneTypes.js",
     "update": "rimraf dist generated-src tsconfig.tsbuildinfo && pnpm run build:scripts && pnpm run normalizeAnchorsToPointers && pnpm run generateConstantsAndMappings && pnpm run generateStandaloneSchemas && pnpm run generateStandaloneZodSchemas && pnpm run generateDeclarations && pnpm run generateTimestampedResources && pnpm run generateSchemaShims && pnpm run generateTypes && pnpm run generateImplementations && pnpm run generateStandaloneTypes && pnpm run generateDependencies && pnpm run generateTerminals && pnpm run generateCoreProjection"
-  },
-  "dependencies": {
-    "zod": "^4.3.6"
-  },
-  "devDependencies": {
-    "@types/node": "^20.8.1",
-    "json-schema-to-typescript": "^15.0.4",
-    "rimraf": "^5.0.0",
-    "typescript": "^5.9.3"
   }
 }

package/src/declarations/booleans.json

@@ -1,4 +1,4 @@
-[
-    false,
-    true
+[
+    false,
+    true
 ]