@toolproof-core/genesis 1.0.47

package/package.json

@@ -0,0 +1,52 @@
+{
+  "name": "@toolproof-core/genesis",
+  "version": "1.0.47",
+  "description": "JSON schemas and TypeScript types for ToolProof",
+  "main": "dist/src/index.js",
+  "types": "dist/src/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/src/index.js",
+      "types": "./dist/src/index.d.ts"
+    }
+  },
+  "files": [
+    "dist/src",
+    "src",
+    "generated-src"
+  ],
+  "type": "module",
+  "keywords": [],
+  "author": "",
+  "license": "ISC",
+  "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",
+    "build": "tsc -b",
+    "build:scripts": "tsc -p tsconfig.scripts.json",
+    "normalizeAnchorsToPointers": "node ./dist/scripts/normalizeAnchorsToPointers.js",
+    "generateConstantsAndMappings": "node ./dist/scripts/generateConstantsAndMappings.js",
+    "generateDependencies": "node ./dist/scripts/generateDependencies.js",
+    "generateTerminals": "node ./dist/scripts/generateTerminals.js",
+    "generateCoreProjection": "node ./dist/scripts/generateCoreProjection.js",
+    "generateResourceTypes": "node ./dist/scripts/generateResourceTypes.js",
+    "generateResources": "node ./dist/scripts/generateResources.js",
+    "generateSchemaShims": "node ./dist/scripts/generateSchemaShims.js",
+    "generateStandaloneSchemas": "node ./dist/scripts/generateStandaloneSchemas.js",
+    "generateStandaloneZodSchemas": "node ./dist/scripts/generateStandaloneZodSchemas.js",
+    "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 generateResourceTypes && pnpm run generateResources &&  pnpm run generateSchemaShims && pnpm run generateTypes && pnpm run generateStandaloneTypes && pnpm run generateDependencies && pnpm run generateTerminals && pnpm run generateCoreProjection"
+  }
+}

package/src/genesis/resourceTypeShells.json

@@ -0,0 +1,47 @@
+{
+    "ResourceType": {
+        "handle": "TYPE-RESOURCE-TYPE",
+        "name": "ResourceType",
+        "description": ""
+    },
+    "Tool": {
+        "handle": "TYPE-TOOL",
+        "name": "Tool",
+        "description": ""
+    },
+    "Strategy": {
+        "handle": "TYPE-STRATEGY",
+        "name": "Strategy",
+        "description": ""
+    },
+    "StrategyTrace": {
+        "handle": "TYPE-STRATEGY_TRACE",
+        "name": "StrategyTrace",
+        "description": ""
+    },
+    "Goal": {
+        "handle": "TYPE-GOAL",
+        "name": "Goal",
+        "description": ""
+    },
+    "Error": {
+        "handle": "TYPE-ERROR",
+        "name": "Error",
+        "description": ""
+    },
+    "Boolean": {
+        "handle": "TYPE-BOOLEAN",
+        "name": "Boolean",
+        "description": ""
+    },
+    "Natural": {
+        "handle": "TYPE-NATURAL",
+        "name": "Natural",
+        "description": ""
+    },
+    "Resource": {
+        "handle": "TYPE-RESOURCE",
+        "name": "Resource",
+        "description": ""
+    }
+}

package/src/genesis/resources/booleans.json

@@ -0,0 +1,24 @@
+[
+    {
+        "id": "RESOURCE-False",
+        "resourceTypeHandle": "TYPE-Boolean",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": false
+    },
+    {
+        "id": "RESOURCE-True",
+        "resourceTypeHandle": "TYPE-Boolean",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": true
+    }
+]

package/src/genesis/resources/implementations/foo.ts

@@ -0,0 +1,182 @@
+import type { Resource } from '@toolproof-core/genesis';
+import { createMaterializedFromPotential } from '@toolproof-core/lib/create-resource';
+
+function extractNaturalValue(resource: Resource): number {
+    const value: unknown = resource.value;
+    if (typeof value === 'number' && Number.isInteger(value) && value >= 0) {
+        return value;
+    }
+    throw new Error(`Invalid Natural resource: value must be a non-negative integer`);
+}
+
+function createMockOutput(potentialOutput: any, value: number): Resource {
+    const mockPath = `mock://natural/${value}`;
+
+    const materialized = createMaterializedFromPotential(potentialOutput, value);
+
+    return {
+        ...materialized,
+        path: mockPath,
+    };
+}
+
+function createMockErrorOutput(
+    potentialOutput: any,
+    name: string,
+    description: string,
+    details?: Record<string, unknown>
+): Resource {
+    const value: unknown = {
+        name,
+        description,
+        ...(details ? { details } : {}),
+    };
+
+    const mockPath = `mock://error/${encodeURIComponent(name)}`;
+
+    const materialized = createMaterializedFromPotential(potentialOutput, value);
+
+    return {
+        ...materialized,
+        path: mockPath,
+    };
+}
+
+export function mockAdd(inputs: Record<string, Resource | any>): Record<string, Resource> {
+    const addendOne = inputs['AddendOne'] as Resource;
+    const addendTwo = inputs['AddendTwo'] as Resource;
+    const sumOutput = inputs['Sum'] as any;
+
+    const value1 = extractNaturalValue(addendOne);
+    const value2 = extractNaturalValue(addendTwo);
+    const result = value1 + value2;
+
+    return {
+        Sum: createMockOutput(sumOutput, result),
+    };
+}
+
+export function mockSubtract(inputs: Record<string, Resource | any>): Record<string, Resource> {
+    const minuend = inputs['Minuend'] as Resource;
+    const subtrahend = inputs['Subtrahend'] as Resource;
+    const differenceOutput = inputs['Difference'] as any;
+
+    const errorOutput = inputs['ErrorOutput'] as any | undefined;
+
+    const value1 = extractNaturalValue(minuend);
+    const value2 = extractNaturalValue(subtrahend);
+
+    if (value2 > value1) {
+        if (!errorOutput) {
+            throw new Error(
+                `Subtract mock tool cannot emit error: missing 'ErrorOutput' potential output (subtrahend ${value2} > minuend ${value1})`
+            );
+        }
+
+        return {
+            ErrorOutput: createMockErrorOutput(
+                errorOutput,
+                'SubtractInvalidInput',
+                `Subtrahend (${value2}) is larger than minuend (${value1}); subtraction would result in a negative value.`,
+                {
+                    minuend: value1,
+                    subtrahend: value2,
+                }
+            ),
+        };
+    }
+
+    const result = value1 - value2;
+
+    return {
+        Difference: createMockOutput(differenceOutput, result),
+    };
+}
+
+export function mockMultiply(inputs: Record<string, Resource | any>): Record<string, Resource> {
+    const multiplicand = inputs['Multiplicand'] as Resource;
+    const multiplier = inputs['Multiplier'] as Resource;
+    const productOutput = inputs['Product'] as any;
+
+    const value1 = extractNaturalValue(multiplicand);
+    const value2 = extractNaturalValue(multiplier);
+    const result = value1 * value2;
+
+    return {
+        Product: createMockOutput(productOutput, result),
+    };
+}
+
+export function mockDouble(inputs: Record<string, Resource | any>): Record<string, Resource> {
+    const N = inputs['N'] as Resource;
+    const DoubledOutput = inputs['Doubled'] as any;
+
+    const value = extractNaturalValue(N);
+    const result = value * 2;
+
+    return {
+        Doubled: createMockOutput(DoubledOutput, result),
+    };
+}
+
+export function mockDivide(inputs: Record<string, Resource | any>): Record<string, Resource> {
+    const dividend = inputs['Dividend'] as Resource;
+    const divisor = inputs['Divisor'] as Resource;
+    const quotientOutput = inputs['Quotient'] as any;
+    const remainderOutput = inputs['Remainder'] as any;
+
+    const errorOutput = inputs['ErrorOutput'] as any | undefined;
+
+    const value1 = extractNaturalValue(dividend);
+    const value2 = extractNaturalValue(divisor);
+
+    if (value2 === 0) {
+        if (!errorOutput) {
+            throw new Error(
+                `Divide mock tool cannot emit error: missing 'ErrorOutput' potential output (division by zero; dividend ${value1})`
+            );
+        }
+
+        return {
+            ErrorOutput: createMockErrorOutput(
+                errorOutput,
+                'DivideByZero',
+                `Cannot divide by zero (dividend ${value1}, divisor ${value2}).`,
+                {
+                    dividend: value1,
+                    divisor: value2,
+                }
+            ),
+        };
+    }
+
+    const quotient = Math.floor(value1 / value2);
+    const remainder = value1 % value2;
+
+    return {
+        Quotient: createMockOutput(quotientOutput, quotient),
+        Remainder: createMockOutput(remainderOutput, remainder),
+    };
+}
+
+export function executeMockNumericalTool(
+    toolName: string,
+    payload: Record<string, Resource | any>
+): Record<string, Resource> {
+    const normalizedName = toolName.toLowerCase();
+
+    switch (normalizedName) {
+        case 'add':
+            return mockAdd(payload);
+        case 'subtract':
+            return mockSubtract(payload);
+        case 'multiply':
+            return mockMultiply(payload);
+        case 'double':
+            return mockDouble(payload);
+        case 'divide':
+            return mockDivide(payload);
+        default:
+            throw new Error(`Unknown numerical tool: ${toolName}`);
+    }
+}

package/src/genesis/resources/naturals.json

@@ -0,0 +1,112 @@
+[
+    {
+        "id": "RESOURCE-0",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 0
+    },
+    {
+        "id": "RESOURCE-1",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 1
+    },
+    {
+        "id": "RESOURCE-2",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 2
+    },
+    {
+        "id": "RESOURCE-3",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 3
+    },
+    {
+        "id": "RESOURCE-4",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 4
+    },
+    {
+        "id": "RESOURCE-5",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 5
+    },
+    {
+        "id": "RESOURCE-6",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 6
+    },
+    {
+        "id": "RESOURCE-7",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 7
+    },
+    {
+        "id": "RESOURCE-8",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 8
+    },
+    {
+        "id": "RESOURCE-9",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 9
+    },
+    {
+        "id": "RESOURCE-100",
+        "resourceTypeHandle": "TYPE-Natural",
+        "provenance": {
+            "resourceProvenanceKind": "genesis"
+        },
+        "version": 1,
+        "timestamp": "2025-11-30T00:00:00.000Z",
+        "value": 100
+    }
+]