@toolproof-core/genesis 1.0.49 → 1.0.50

package/generated-src/timestampedResources/tools.ts

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

package/generated-src/types/standalone/BooleanResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Boolean as ValueSchema } from "../types.js";
-export type BooleanResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Boolean as ProjectionSchema } from "../types.js";
+export type BooleanResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/ErrorResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Error as ValueSchema } from "../types.js";
-export type ErrorResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Error as ProjectionSchema } from "../types.js";
+export type ErrorResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/GoalResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Goal as ValueSchema } from "../types.js";
-export type GoalResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Goal as ProjectionSchema } from "../types.js";
+export type GoalResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/NaturalResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Natural as ValueSchema } from "../types.js";
-export type NaturalResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Natural as ProjectionSchema } from "../types.js";
+export type NaturalResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/ResourceResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Resource as ValueSchema } from "../types.js";
-export type ResourceResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Resource as ProjectionSchema } from "../types.js";
+export type ResourceResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/ResourceTypeResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, ResourceType as ValueSchema } from "../types.js";
-export type ResourceTypeResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, ResourceType as ProjectionSchema } from "../types.js";
+export type ResourceTypeResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/StrategyResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Strategy as ValueSchema } from "../types.js";
-export type StrategyResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Strategy as ProjectionSchema } from "../types.js";
+export type StrategyResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/StrategyTraceResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, StrategyTrace as ValueSchema } from "../types.js";
-export type StrategyTraceResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, StrategyTrace as ProjectionSchema } from "../types.js";
+export type StrategyTraceResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/SuiteResource.d.ts

@@ -0,0 +1,3 @@
+// Auto-generated strict composite type. Do not edit.
+import type { ResourcePointer, Suite as ProjectionSchema } from "../types.js";
+export type SuiteResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/standalone/SuiteResource.js

@@ -0,0 +1 @@
+export {}

package/generated-src/types/standalone/ToolResource.d.ts

@@ -1,3 +1,3 @@
 // Auto-generated strict composite type. Do not edit.
-import type { ResourcePointer, Tool as ValueSchema } from "../types.js";
-export type ToolResource = ResourcePointer & { value: ValueSchema };
+import type { ResourcePointer, Tool as ProjectionSchema } from "../types.js";
+export type ToolResource = ResourcePointer & { projection: ProjectionSchema };

package/generated-src/types/types.d.ts

@@ -23,9 +23,9 @@ export type DocumentationSpec =
 } & DescriptionFacet;
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
- * via the `definition` "TypeRef".
+ * via the `definition` "AtomicTypeRef".
  */
-export type TypeRef =
+export type AtomicTypeRef =
   | {
       resourceTypeHandle: ResourceTypeHandle;
     }
@@ -40,6 +40,18 @@ export type TypeRef =
  */
 export type ResourceTypeHandle =
  `TYPE-${string}`;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "TypeRef".
+ */
+export type TypeRef =
+  | AtomicTypeRef
+  | {
+      /**
+       * @minItems 2
+       */
+      oneOfTypeRefs: [AtomicTypeRef, AtomicTypeRef, ...AtomicTypeRef[]];
+    };
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
  * via the `definition` "ToolHandle".
@@ -54,7 +66,6 @@ export type ResourcePointer =
  {
   id: ResourceId;
   resourceTypeHandle: ResourceTypeHandle;
-  version: 1;
 } & ProvenanceFacet;
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
@@ -99,8 +110,9 @@ export type ThreadedToolStepPath =
 export type ResourceType =
  {
   handle: ResourceTypeHandle;
-  valueSchema?: JsonSchemaObject;
-  parserToolHandle?: ToolHandle;
+  projectionSchema?: JsonSchemaObject;
+  ingestorToolHandle?: ToolHandle;
+  ingestorToolInputSchema?: JsonSchemaObject;
   /**
    * @minItems 1
    */
@@ -138,12 +150,6 @@ export type RoleValue =
  */
 export type RoleNameArray =
  string[];
-/**
- * This interface was referenced by `Genesis`'s JSON-Schema
- * via the `definition` "ToolKind".
- */
-export type ToolKind =
- "runtime" | "buildtime";
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
  * via the `definition` "Tool".
@@ -151,8 +157,8 @@ export type ToolKind =
 export type Tool =
  {
   handle: ToolHandle;
-  isTemplate: boolean;
   templateToolHandle?: ToolHandle;
+  isTemplate: boolean;
   instantiationRoleSpec?: RoleSpec;
 } & DocumentationSpec & {
 } & RoleSpecFacet;
@@ -220,7 +226,7 @@ export type ProvenanceKind =
  */
 export type BaseResource =
  {
-  value: unknown;
+  projection: unknown;
 } & ResourcePointer;
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
@@ -228,7 +234,7 @@ export type BaseResource =
  */
 export type Resource =
  {
-  value: unknown;
+  projection: unknown;
 } & ResourcePointer;
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
@@ -428,6 +434,34 @@ export type TimestampedResource =
  {
   timestamp: string;
 } & Resource;
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "Suite".
+ */
+export type Suite =
+ {
+} & {
+  name: Name;
+  version: string;
+  description: Description;
+} & {
+  resourceTypes: ResourceType[];
+  tools: Tool[];
+};
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "SuiteIngestorInputSchema".
+ */
+export type SuiteIngestorInputSchema =
+ {
+} & {
+  name: Name | JsonScalarLink;
+  version: string | JsonScalarLink;
+  description: Description | JsonScalarLink;
+} & {
+  resourceTypesPath: string;
+  toolsPath: string;
+};
 
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
@@ -698,4 +732,13 @@ export interface Goal {
   minSteps?: number;
   maxSteps?: number;
 }
+/**
+ * This interface was referenced by `Genesis`'s JSON-Schema
+ * via the `definition` "JsonScalarLink".
+ */
+export interface JsonScalarLink {
+  kind: "json-pointer";
+  filePath: string;
+  pointer: string;
+}
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@toolproof-core/genesis",
-  "version": "1.0.49",
-  "description": "JSON schemas and TypeScript types for ToolProof",
+  "version": "1.0.50",
+  "description": "Core ToolProof ontology, schemas, declarations, implementations, and generated type artifacts.",
   "main": "dist/src/index.js",
   "types": "dist/src/index.d.ts",
   "exports": {
@@ -11,6 +11,7 @@
     }
   },
   "files": [
+    "toolproof.json",
     "dist/src",
     "src",
     "generated-src"
@@ -19,20 +20,13 @@
   "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",
     "build": "tsc -b",
     "build:scripts": "tsc -p tsconfig.scripts.json",
     "normalizeAnchorsToPointers": "node ./dist/scripts/normalizeAnchorsToPointers.js",
@@ -41,12 +35,23 @@
     "generateTerminals": "node ./dist/scripts/generateTerminals.js",
     "generateCoreProjection": "node ./dist/scripts/generateCoreProjection.js",
     "generateResourceTypes": "node ./dist/scripts/generateResourceTypes.js",
-    "generateResources": "node ./dist/scripts/generateResources.js",
+    "generateDeclarations": "node ./dist/scripts/generateDeclarations.js",
+    "generateImplementations": "node ./dist/scripts/generateImplementations.js",
+    "generateTimestampedResources": "node ./dist/scripts/generateTimestampedResources.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"
+    "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

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

package/src/declarations/naturals.json

@@ -0,0 +1,13 @@
+[
+    0,
+    1,
+    2,
+    3,
+    4,
+    5,
+    6,
+    7,
+    8,
+    9,
+    100
+]

package/src/{genesis → declarations/resourceTypes}/resourceTypeShells.json

@@ -1,47 +1,53 @@
-{
-    "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": ""
-    }
+{
+    "ResourceType": {
+        "handle": "TYPE-ResourceType",
+        "name": "ResourceType",
+        "description": ""
+    },
+    "Tool": {
+        "handle": "TYPE-Tool",
+        "name": "Tool",
+        "description": ""
+    },
+    "Strategy": {
+        "handle": "TYPE-Strategy",
+        "name": "Strategy",
+        "description": ""
+    },
+    "StrategyTrace": {
+        "handle": "TYPE-StrategyTrace",
+        "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": ""
+    },
+    "Suite": {
+        "handle": "TYPE-Suite",
+        "name": "Suite",
+        "description": "",
+        "ingestorToolInputSchema": "SuiteIngestorInputSchema"
+    }
 }