@toolproof-core/genesis 1.0.47

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

@@ -0,0 +1,75 @@
+// 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({ "value": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "version": z.literal(1), "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"), "value": z.any(), "id": ResourceIdSchema, "resourceTypeHandle": ResourceTypeHandleSchema, "version": z.literal(1), "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, "version": z.literal(1), "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/Tool.ts

@@ -0,0 +1,29 @@
+// 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."
+  }
+] as const;
+
+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([z.object({ "resourceTypeHandle": ResourceTypeHandleSchema }).strict(), z.object({ "roleSchema": z.object({ "$ref": z.string().regex(new RegExp("^#[A-Z][a-zA-Z0-9]*$")) }).strict() }).strict()]));
+
+export const ToolSchema: z.ZodTypeAny = z.lazy(() => z.intersection(z.intersection(z.intersection(z.intersection(z.object({ "handle": ToolHandleSchema, "isTemplate": z.boolean(), "templateToolHandle": ToolHandleSchema.optional(), "instantiationRoleSpec": RoleSpecSchema.optional() }).strict(), DocumentationSpecSchema), z.any()), z.any()), RoleSpecFacetSchema));

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

@@ -0,0 +1,10 @@
+// Auto-generated barrel file. Do not edit.
+export { BooleanSchema } from './Boolean.js';
+export { ErrorSchema } from './Error.js';
+export { GoalSchema } from './Goal.js';
+export { NaturalSchema } from './Natural.js';
+export { ResourceSchema } from './Resource.js';
+export { ResourceTypeSchema } from './ResourceType.js';
+export { StrategySchema } from './Strategy.js';
+export { StrategyTraceSchema } from './StrategyTrace.js';
+export { ToolSchema } from './Tool.js';

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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

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

@@ -0,0 +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 };

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

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