@toolproof-core/genesis 1.0.53 → 1.0.55

package/generated-src/schemas/zod/StrategyTrace.ts

@@ -1,75 +0,0 @@
-// Auto-generated from standalone schema 'StrategyTrace'. Do not edit.
-import { z } from 'zod/v4';
-
-
-export const StrategyTraceZodGenerationWarnings = [
-  {
-    "path": "$defs.StepArray.uniqueItems",
-    "message": "uniqueItems not enforced by generated Zod."
-  },
-  {
-    "path": "$defs.StrategyStateInputEntryByRoleName.propertyNames",
-    "message": "Unsupported propertyNames $ref target; keys will not be validated."
-  },
-  {
-    "path": "$defs.BranchStep.allOfMerged.properties.cases.uniqueItems",
-    "message": "uniqueItems not enforced by generated Zod."
-  }
-] as const;
-
-const BaseResourceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
-const BaseStrategySchema: z.ZodTypeAny = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": StrategyKindSchema }));
-const BaseTracePointSchema: z.ZodTypeAny = z.lazy(() => z.object({ "tracePointKind": TracePointKindSchema, "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema }));
-const BranchStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("branch"), StepKindSchema), "cases": z.array(CaseSchema).min(1) }));
-const CaseSchema: z.ZodTypeAny = z.lazy(() => z.object({ "when": ToolStepSchema, "what": ToolStepSchema }).strict());
-const DeferredStrategyProvenanceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "outputAddress": OutputAddressSchema }).strict());
-const ExternalInputPotentialSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("externalInputPotential"), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema }).strict());
-const ForStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("for"), StepKindSchema), "case": CaseSchema }));
-const GenesisProvenanceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "provenanceKind": z.literal("genesis") }).strict());
-const GraphEndTracePointSchema: z.ZodTypeAny = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("graph_end")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema }));
-const GraphStartTracePointSchema: z.ZodTypeAny = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("graph_start")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema, "threadedStrategy": ThreadedStrategySchema }));
-const InputPotentialSchema: z.ZodTypeAny = z.lazy(() => z.union([ExternalInputPotentialSchema, InternalInputPotentialSchema]));
-const InputResourceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("inputResource"), "projection": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
-const InternalInputPotentialSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyStateInputKind": z.literal("internalInputPotential"), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": DeferredStrategyProvenanceSchema }).strict());
-const InterruptTracePointSchema: z.ZodTypeAny = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("interrupt")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema, "counterSnapshot": TracePointCounterSnapshotSchema, "toolStepPath": ThreadedToolStepPathSchema, "delta": z.object({ "stepsMutation": z.object({ "insertAt": NaturalSchema, "insertedSteps": StepArraySchema }).optional(), "strategyStateDelta": ThreadedStrategyStateSchema.optional(), "interruptData": z.intersection(z.union([z.object({  }), z.null()]), z.object({  })) }) }));
-const NameSchema: z.ZodTypeAny = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
-const NaturalSchema: z.ZodTypeAny = z.lazy(() => z.number().int().min(0));
-const OutputAddressSchema: z.ZodTypeAny = z.lazy(() => z.object({ "roleName": RoleNameSchema, "toolStepPath": ToolStepPathSchema }).strict());
-const ProvenanceSchema: z.ZodTypeAny = z.lazy(() => z.union([GenesisProvenanceSchema, StrategyProvenanceSchema]));
-const ProvenanceFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "provenance": ProvenanceSchema }));
-const ResourceIdSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^RESOURCE-.+$")));
-const ResourcePointerSchema: z.ZodTypeAny = z.lazy(() => z.object({ "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "provenance": ProvenanceSchema }).strict());
-const ResourceTypeHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TYPE-.+$")));
-const RoleBindingSpecSchema: z.ZodTypeAny = z.lazy(() => z.object({ "inputBindings": RoleNameArraySchema, "outputBindings": RoleNameArraySchema }).strict());
-const RoleBindingSpecFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "roleBindingSpec": RoleBindingSpecSchema }));
-const RoleNameSchema: z.ZodTypeAny = z.lazy(() => NameSchema);
-const RoleNameArraySchema: z.ZodTypeAny = z.lazy(() => z.array(RoleNameSchema));
-const StepSchema: z.ZodTypeAny = z.lazy(() => z.union([ToolStepSchema, BranchStepSchema, WhileStepSchema, ForStepSchema]));
-const StepArraySchema: z.ZodTypeAny = z.lazy(() => z.array(StepSchema));
-const StepArrayArraySchema: z.ZodTypeAny = z.lazy(() => z.array(StepArraySchema));
-const StepKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("tool"), z.literal("branch"), z.literal("while"), z.literal("for")]));
-const StepKindFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepKind": StepKindSchema }));
-const StepsByThreadIndexFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepsByThreadIndex": StepArrayArraySchema }));
-const StrategyHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^STRATEGY-.+$")));
-const StrategyKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("unthreaded"), z.literal("threaded")]));
-const StrategyProvenanceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "provenanceKind": z.literal("strategy"), "strategyTraceHandle": StrategyTraceHandleSchema, "outputAddress": OutputAddressSchema }).strict());
-const StrategyStateInputEntrySchema: z.ZodTypeAny = z.lazy(() => z.union([InputPotentialSchema, InputResourceSchema]));
-const StrategyStateInputEntryByRoleNameSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), StrategyStateInputEntrySchema));
-const StrategyTraceHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_TRACE-.+$")));
-const ThreadedStrategySchema: z.ZodTypeAny = z.lazy(() => z.object({ "handle": StrategyHandleSchema, "strategyKind": z.intersection(StrategyKindSchema, z.literal("threaded")), "stepsByThreadIndex": StepArrayArraySchema, "strategyState": ThreadedStrategyStateSchema }).strict());
-const ThreadedStrategyFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "threadedStrategy": ThreadedStrategySchema }));
-const ThreadedStrategyStateSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), StrategyStateInputEntryByRoleNameSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) { if (!new RegExp("^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$").test(k)) ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k }); } }));
-const ThreadedStrategyStateFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyState": ThreadedStrategyStateSchema }));
-const ThreadedToolStepPathSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^/threads/[0-9]+/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$")));
-const TickTracePointSchema: z.ZodTypeAny = z.lazy(() => z.object({ "tracePointKind": z.intersection(TracePointKindSchema, z.literal("tick")), "strategyHandle": StrategyHandleSchema, "threadIndex": NaturalSchema, "tracePointIndex": NaturalSchema, "counterSnapshot": TracePointCounterSnapshotSchema, "toolStepPath": ThreadedToolStepPathSchema, "delta": TracePointDeltaSchema }));
-const ToolHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
-const ToolStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("tool"), StepKindSchema), "toolHandle": ToolHandleSchema, "roleBindingSpec": RoleBindingSpecSchema }));
-const ToolStepPathSchema: z.ZodTypeAny = z.lazy(() => z.union([UnthreadedToolStepPathSchema, ThreadedToolStepPathSchema]));
-const TracePointSchema: z.ZodTypeAny = z.lazy(() => z.union([GraphStartTracePointSchema, TickTracePointSchema, InterruptTracePointSchema, GraphEndTracePointSchema]));
-const TracePointCounterSnapshotSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepCounterAfter": NaturalSchema.optional(), "iterationCounterAfter": NaturalSchema.optional() }));
-const TracePointDeltaSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepsMutation": z.object({ "insertAt": NaturalSchema, "insertedSteps": StepArraySchema }).optional(), "strategyStateDelta": ThreadedStrategyStateSchema.optional(), "interruptData": z.union([z.object({  }), z.null()]).optional() }));
-const TracePointKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("graph_start"), z.literal("tick"), z.literal("interrupt"), z.literal("graph_end")]));
-const UnthreadedToolStepPathSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^/steps/[0-9]+/(self|case/when|case/what|cases/[0-9]+/when|cases/[0-9]+/what)$")));
-const WhileStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepKind": z.intersection(z.literal("while"), StepKindSchema), "case": CaseSchema }));
-
-export const StrategyTraceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "handle": StrategyTraceHandleSchema, "strategyHandle": StrategyHandleSchema, "tracePoints": z.array(TracePointSchema) }).strict());

package/generated-src/schemas/zod/Suite.ts

@@ -1,44 +0,0 @@
-// Auto-generated from standalone schema 'Suite'. Do not edit.
-import { z } from 'zod/v4';
-
-
-export const SuiteZodGenerationWarnings = [
-  {
-    "path": "$defs.RoleValueByName.propertyNames",
-    "message": "Unsupported propertyNames $ref target; keys will not be validated."
-  },
-  {
-    "path": "$defs.TypeRef.oneOf[1].properties.oneOfTypeRefs.uniqueItems",
-    "message": "uniqueItems not enforced by generated Zod."
-  },
-  {
-    "path": "Suite.allOfMerged.properties.resourceTypes.uniqueItems",
-    "message": "uniqueItems not enforced by generated Zod."
-  },
-  {
-    "path": "Suite.allOfMerged.properties.tools.uniqueItems",
-    "message": "uniqueItems not enforced by generated Zod."
-  }
-] as const;
-
-const AtomicTypeRefSchema: z.ZodTypeAny = z.lazy(() => z.union([z.object({ "resourceTypeHandle": ResourceTypeHandleSchema }).strict(), z.object({ "roleSchema": z.object({ "$ref": z.string().regex(new RegExp("^#[A-Z][a-zA-Z0-9]*$")) }).strict() }).strict()]));
-const ContainerKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("scalar"), z.literal("array"), z.literal("map")]));
-const DescriptionSchema: z.ZodTypeAny = z.lazy(() => z.string().min(1));
-const DescriptionFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "description": DescriptionSchema }));
-const DocumentationSpecSchema: z.ZodTypeAny = z.lazy(() => z.object({ "name": NameSchema, "symbol": z.string().optional(), "description": DescriptionSchema }));
-const JsonSchemaObjectSchema: z.ZodTypeAny = z.lazy(() => z.object({ "$schema": z.literal("https://json-schema.org/draft/2020-12/schema") }).passthrough());
-const NameSchema: z.ZodTypeAny = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
-const NameFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "name": NameSchema }));
-const ResourceTypeSchema: z.ZodTypeAny = z.lazy(() => z.intersection(z.intersection(z.intersection(z.object({ "handle": ResourceTypeHandleSchema, "projectionSchema": JsonSchemaObjectSchema.optional(), "ingestorToolHandle": ToolHandleSchema.optional(), "ingestorToolInputSchema": JsonSchemaObjectSchema.optional(), "embeddingModelTools": z.array(ToolHandleSchema).min(1).optional() }).strict(), DocumentationSpecSchema), z.union([z.object({  }), z.object({  })])), z.any()));
-const ResourceTypeHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TYPE-.+$")));
-const RoleNameSchema: z.ZodTypeAny = z.lazy(() => NameSchema);
-const RoleNameArraySchema: z.ZodTypeAny = z.lazy(() => z.array(RoleNameSchema));
-const RoleSpecSchema: z.ZodTypeAny = z.lazy(() => z.object({ "inputRoleValueByName": RoleValueByNameSchema, "outputRoleValueByName": RoleValueByNameSchema, "refinementSchema": JsonSchemaObjectSchema.optional() }).strict());
-const RoleSpecFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "roleSpec": RoleSpecSchema }));
-const RoleValueSchema: z.ZodTypeAny = z.lazy(() => z.intersection(z.intersection(z.intersection(z.intersection(z.object({ "typeRef": TypeRefSchema, "refinementSchema": JsonSchemaObjectSchema.optional(), "containerKind": ContainerKindSchema, "containerSchema": JsonSchemaObjectSchema.optional(), "mapKeys": RoleNameArraySchema.optional() }).strict(), z.any()), z.any()), z.any()), z.any()));
-const RoleValueByNameSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), RoleValueSchema));
-const ToolSchema: z.ZodTypeAny = z.lazy(() => z.intersection(z.intersection(z.intersection(z.intersection(z.object({ "handle": ToolHandleSchema, "templateToolHandle": ToolHandleSchema.optional(), "isTemplate": z.boolean(), "instantiationRoleSpec": RoleSpecSchema.optional() }).strict(), DocumentationSpecSchema), z.any()), z.any()), RoleSpecFacetSchema));
-const ToolHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
-const TypeRefSchema: z.ZodTypeAny = z.lazy(() => z.union([AtomicTypeRefSchema, z.object({ "oneOfTypeRefs": z.array(AtomicTypeRefSchema).min(2) }).strict()]));
-
-export const SuiteSchema: z.ZodTypeAny = z.lazy(() => z.object({ "name": NameSchema, "version": z.string().min(1), "description": DescriptionSchema, "resourceTypes": z.array(ResourceTypeSchema), "tools": z.array(ToolSchema) }).strict());

package/generated-src/schemas/zod/Tool.ts

@@ -1,34 +0,0 @@
-// Auto-generated from standalone schema 'Tool'. Do not edit.
-import { z } from 'zod/v4';
-
-
-export const ToolZodGenerationWarnings = [
-  {
-    "path": "$defs.RoleValueByName.propertyNames",
-    "message": "Unsupported propertyNames $ref target; keys will not be validated."
-  },
-  {
-    "path": "$defs.TypeRef.oneOf[1].properties.oneOfTypeRefs.uniqueItems",
-    "message": "uniqueItems not enforced by generated Zod."
-  }
-] as const;
-
-const AtomicTypeRefSchema: z.ZodTypeAny = z.lazy(() => z.union([z.object({ "resourceTypeHandle": ResourceTypeHandleSchema }).strict(), z.object({ "roleSchema": z.object({ "$ref": z.string().regex(new RegExp("^#[A-Z][a-zA-Z0-9]*$")) }).strict() }).strict()]));
-const ContainerKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("scalar"), z.literal("array"), z.literal("map")]));
-const DescriptionSchema: z.ZodTypeAny = z.lazy(() => z.string().min(1));
-const DescriptionFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "description": DescriptionSchema }));
-const DocumentationSpecSchema: z.ZodTypeAny = z.lazy(() => z.object({ "name": NameSchema, "symbol": z.string().optional(), "description": DescriptionSchema }));
-const JsonSchemaObjectSchema: z.ZodTypeAny = z.lazy(() => z.object({ "$schema": z.literal("https://json-schema.org/draft/2020-12/schema") }).passthrough());
-const NameSchema: z.ZodTypeAny = z.lazy(() => z.string().min(1).regex(new RegExp("^[A-Z][a-zA-Z0-9]*$")));
-const NameFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "name": NameSchema }));
-const ResourceTypeHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TYPE-.+$")));
-const RoleNameSchema: z.ZodTypeAny = z.lazy(() => NameSchema);
-const RoleNameArraySchema: z.ZodTypeAny = z.lazy(() => z.array(RoleNameSchema));
-const RoleSpecSchema: z.ZodTypeAny = z.lazy(() => z.object({ "inputRoleValueByName": RoleValueByNameSchema, "outputRoleValueByName": RoleValueByNameSchema, "refinementSchema": JsonSchemaObjectSchema.optional() }).strict());
-const RoleSpecFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "roleSpec": RoleSpecSchema }));
-const RoleValueSchema: z.ZodTypeAny = z.lazy(() => z.intersection(z.intersection(z.intersection(z.intersection(z.object({ "typeRef": TypeRefSchema, "refinementSchema": JsonSchemaObjectSchema.optional(), "containerKind": ContainerKindSchema, "containerSchema": JsonSchemaObjectSchema.optional(), "mapKeys": RoleNameArraySchema.optional() }).strict(), z.any()), z.any()), z.any()), z.any()));
-const RoleValueByNameSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), RoleValueSchema));
-const ToolHandleSchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TOOL-.+$")));
-const TypeRefSchema: z.ZodTypeAny = z.lazy(() => z.union([AtomicTypeRefSchema, z.object({ "oneOfTypeRefs": z.array(AtomicTypeRefSchema).min(2) }).strict()]));
-
-export const ToolSchema: z.ZodTypeAny = z.lazy(() => z.intersection(z.intersection(z.intersection(z.intersection(z.object({ "handle": ToolHandleSchema, "templateToolHandle": ToolHandleSchema.optional(), "isTemplate": z.boolean(), "instantiationRoleSpec": RoleSpecSchema.optional() }).strict(), DocumentationSpecSchema), z.any()), z.any()), RoleSpecFacetSchema));

package/src/declarations/booleans.json

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

package/src/declarations/naturals.json

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

package/src/declarations/resourceTypes/resourceTypeShells.json

@@ -1,53 +0,0 @@
-{
-    "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"
-    }
-}