@toolproof-core/schema 1.0.15 → 1.0.17

package/src/generated/schemas/zod/StrategyRun.ts

@@ -0,0 +1,83 @@
+// Auto-generated from standalone schema 'StrategyRun'. Do not edit.
+import { z } from 'zod/v4';
+
+
+export const StrategyRunZodGenerationWarnings = [
+  {
+    "path": "$defs.StepArray.uniqueItems",
+    "message": "uniqueItems not enforced by generated Zod."
+  },
+  {
+    "path": "$defs.BranchStep.allOfMerged.properties.cases.uniqueItems",
+    "message": "uniqueItems not enforced by generated Zod."
+  },
+  {
+    "path": "$defs.Path.format",
+    "message": "Ignoring format 'uri-reference' (not enforced by generated Zod)."
+  }
+] as const;
+
+const BranchStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": BranchStepIdentitySchema, "stepKind": z.intersection(z.literal("branch"), StepKindSchema), "cases": z.array(CaseSchema).min(1) }));
+const BranchStepIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^BRANCH_STEP-.+$")));
+const CaseSchema: z.ZodTypeAny = z.lazy(() => z.object({ "when": JobStepSchema, "what": JobStepSchema }).strict());
+const CreationContextSchema: z.ZodTypeAny = z.lazy(() => z.object({ "resourceRoleHandle": ResourceRoleIdentitySchema, "jobStepHandle": JobStepIdentitySchema }));
+const CreationContextFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "creationContext": CreationContextSchema }));
+const ForStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": ForStepIdentitySchema, "stepKind": z.intersection(z.literal("for"), StepKindSchema), "case": CaseSchema }));
+const ForStepIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^FOR_STEP-.+$")));
+const GraphEndRunEventSchema: z.ZodTypeAny = z.lazy(() => z.object({ "runEventKind": z.intersection(RunEventKindSchema, z.literal("graph_end")), "runnableStrategyHandle": RunnableStrategyIdentitySchema, "strategyThreadHandle": StrategyThreadIdentitySchema, "createdAt": TimestampSchema, "nodeName": z.string(), "eventSeq": z.number().int(), "counters": RunEventCountersSchema.optional(), "stepMetadata": RunEventStepMetadataSchema.optional(), "updates": RunEventUpdatesSchema.optional() }));
+const GraphStartRunEventSchema: z.ZodTypeAny = z.lazy(() => z.object({ "runEventKind": z.intersection(RunEventKindSchema, z.literal("graph_start")), "runnableStrategyHandle": RunnableStrategyIdentitySchema, "strategyThreadHandle": StrategyThreadIdentitySchema, "createdAt": TimestampSchema, "nodeName": z.string(), "eventSeq": z.number().int(), "counters": RunEventCountersSchema.optional(), "stepMetadata": RunEventStepMetadataSchema.optional(), "updates": RunEventUpdatesSchema.optional(), "runnableStrategySeed": RunnableStrategySchema }));
+const InterruptRunEventSchema: z.ZodTypeAny = z.lazy(() => z.object({ "runEventKind": z.intersection(RunEventKindSchema, z.literal("interrupt")), "runnableStrategyHandle": RunnableStrategyIdentitySchema, "strategyThreadHandle": StrategyThreadIdentitySchema, "createdAt": TimestampSchema, "nodeName": z.string(), "eventSeq": z.number().int(), "counters": RunEventCountersSchema.optional(), "stepMetadata": RunEventStepMetadataSchema.optional(), "updates": RunEventUpdatesSchema.optional() }));
+const JobIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^JOB-.+$")));
+const JobStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": JobStepIdentitySchema, "stepKind": z.intersection(z.literal("job"), StepKindSchema), "jobHandle": JobIdentitySchema, "roleBindings": RoleBindingsSchema }));
+const JobStepIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^JOB_STEP-.+$")));
+const JobStepSocketSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), z.union([ResourcePotentialSchema, ResourceSchema])).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) { if (!new RegExp("^ROLE-.+$").test(k)) ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k }); } }));
+const NucleusFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "nucleus": z.any() }));
+const PathSchema: z.ZodTypeAny = z.lazy(() => z.string());
+const PathFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "path": PathSchema }));
+const ResourceSchema: z.ZodTypeAny = z.lazy(() => z.object({ "version": z.literal(1), "resourceShellKind": z.intersection(z.intersection(z.literal("materialized"), ResourceShellKindSchema), ResourceShellKindSchema), "identity": ResourceIdentitySchema, "resourceTypeHandle": ResourceTypeIdentitySchema, "creationContext": CreationContextSchema, "timestamp": TimestampSchema, "path": PathSchema, "nucleus": z.any() }).strict());
+const ResourceIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^RESOURCE-.+$")));
+const ResourceInputPotentialSchema: z.ZodTypeAny = z.lazy(() => ShellInputPotentialSchema);
+const ResourceMissingSchema: z.ZodTypeAny = z.lazy(() => ShellMissingSchema);
+const ResourceOutputPotentialSchema: z.ZodTypeAny = z.lazy(() => ShellOutputPotentialSchema);
+const ResourcePotentialSchema: z.ZodTypeAny = z.lazy(() => z.union([ResourceMissingSchema, ResourceInputPotentialSchema, ResourceOutputPotentialSchema]));
+const ResourceRoleIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^ROLE-.+$")));
+const ResourceShellBaseSchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": ResourceIdentitySchema, "resourceTypeHandle": ResourceTypeIdentitySchema, "resourceShellKind": ResourceShellKindSchema }));
+const ResourceShellKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("missing"), z.literal("inputPotential"), z.literal("outputPotential"), z.literal("materialized")]));
+const ResourceShellKindFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "resourceShellKind": ResourceShellKindSchema }));
+const ResourceTypeIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^TYPE-.+$")));
+const RoleBindingArraySchema: z.ZodTypeAny = z.lazy(() => z.array(ResourceRoleIdentitySchema));
+const RoleBindingsSchema: z.ZodTypeAny = z.lazy(() => z.object({ "inputBindings": RoleBindingArraySchema, "outputBindings": RoleBindingArraySchema }));
+const RoleBindingsFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "roleBindings": RoleBindingsSchema }));
+const RunEventSchema: z.ZodTypeAny = z.lazy(() => z.union([GraphStartRunEventSchema, TickRunEventSchema, InterruptRunEventSchema, GraphEndRunEventSchema]));
+const RunEventBaseSchema: z.ZodTypeAny = z.lazy(() => z.object({ "runEventKind": RunEventKindSchema, "runnableStrategyHandle": RunnableStrategyIdentitySchema, "strategyThreadHandle": StrategyThreadIdentitySchema, "createdAt": TimestampSchema, "nodeName": z.string(), "eventSeq": z.number().int(), "counters": RunEventCountersSchema.optional(), "stepMetadata": RunEventStepMetadataSchema.optional(), "updates": RunEventUpdatesSchema.optional() }));
+const RunEventCountersSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepCounterAfter": z.number().int().optional(), "iterationCounterAfter": z.number().int().optional() }));
+const RunEventKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("graph_start"), z.literal("tick"), z.literal("interrupt"), z.literal("graph_end")]));
+const RunEventStepMetadataSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepHandle": StepIdentitySchema, "stepKind": StepKindSchema, "threadStepIndex": z.number().int() }));
+const RunEventUpdatesSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepsMutation": z.object({ "insertAt": z.number().int(), "inserted": StepArraySchema }).optional(), "interruptData": z.union([z.object({  }), z.null()]).optional(), "strategyStateUpdate": StrategyStateSchema }));
+const RunnableStrategySchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": RunnableStrategyIdentitySchema, "runnableStrategyContext": RunnableStrategyContextSchema, "strategyThreadDict": StrategyThreadDictSchema, "strategyState": StrategyStateSchema }).strict());
+const RunnableStrategyContextSchema: z.ZodTypeAny = z.lazy(() => z.object({ "status": RunnableStrategyStatusSchema, "startedAt": TimestampSchema.optional(), "completedAt": TimestampSchema.optional() }).strict());
+const RunnableStrategyIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^RUNNABLE_STRATEGY-.+$")));
+const RunnableStrategyStatusSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("pending"), z.literal("running"), z.literal("completed"), z.literal("failed"), z.literal("cancelled")]));
+const ShellInputPotentialSchema: z.ZodTypeAny = z.lazy(() => z.object({ "resourceShellKind": z.intersection(z.intersection(z.literal("inputPotential"), ResourceShellKindSchema), ResourceShellKindSchema), "identity": ResourceIdentitySchema, "resourceTypeHandle": ResourceTypeIdentitySchema, "creationContext": CreationContextSchema }).strict());
+const ShellMaterializedBaseSchema: z.ZodTypeAny = z.lazy(() => z.object({ "version": z.literal(1), "resourceShellKind": z.intersection(z.intersection(z.literal("materialized"), ResourceShellKindSchema), ResourceShellKindSchema), "identity": ResourceIdentitySchema, "resourceTypeHandle": ResourceTypeIdentitySchema, "creationContext": CreationContextSchema, "timestamp": TimestampSchema, "path": PathSchema }));
+const ShellMissingSchema: z.ZodTypeAny = z.lazy(() => z.object({ "resourceShellKind": z.intersection(z.intersection(z.literal("missing"), ResourceShellKindSchema), ResourceShellKindSchema), "identity": ResourceIdentitySchema, "resourceTypeHandle": ResourceTypeIdentitySchema }).strict());
+const ShellOutputPotentialSchema: z.ZodTypeAny = z.lazy(() => z.object({ "resourceShellKind": z.intersection(z.intersection(z.literal("outputPotential"), ResourceShellKindSchema), ResourceShellKindSchema), "identity": ResourceIdentitySchema, "resourceTypeHandle": ResourceTypeIdentitySchema, "creationContext": CreationContextSchema }).strict());
+const StepSchema: z.ZodTypeAny = z.lazy(() => z.union([JobStepSchema, BranchStepSchema, WhileStepSchema, ForStepSchema]));
+const StepArraySchema: z.ZodTypeAny = z.lazy(() => z.array(StepSchema));
+const StepIdentitySchema: z.ZodTypeAny = z.lazy(() => z.union([JobStepIdentitySchema, BranchStepIdentitySchema, WhileStepIdentitySchema, ForStepIdentitySchema]));
+const StepKindSchema: z.ZodTypeAny = z.lazy(() => z.union([z.literal("job"), z.literal("branch"), z.literal("while"), z.literal("for")]));
+const StepKindFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "stepKind": StepKindSchema }));
+const StrategyRunIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_RUN-.+$")));
+const StrategyStateSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), JobStepSocketSchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) { if (!new RegExp("^JOB_STEP-.+$").test(k)) ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k }); } }));
+const StrategyStateDeltaSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyStateUpdate": StrategyStateSchema }));
+const StrategyStateFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyState": StrategyStateSchema }));
+const StrategyThreadDictSchema: z.ZodTypeAny = z.lazy(() => z.record(z.string(), StepArraySchema).superRefine((obj, ctx) => { for (const k of Object.keys(obj)) { if (!new RegExp("^STRATEGY_THREAD-.+$").test(k)) ctx.addIssue({ code: 'custom', message: 'Invalid key: ' + k }); } }));
+const StrategyThreadDictFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "strategyThreadDict": StrategyThreadDictSchema }));
+const StrategyThreadIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^STRATEGY_THREAD-.+$")));
+const TickRunEventSchema: z.ZodTypeAny = z.lazy(() => z.object({ "runEventKind": z.intersection(RunEventKindSchema, z.literal("tick")), "runnableStrategyHandle": RunnableStrategyIdentitySchema, "strategyThreadHandle": StrategyThreadIdentitySchema, "createdAt": TimestampSchema, "nodeName": z.string(), "eventSeq": z.number().int(), "counters": RunEventCountersSchema.optional(), "stepMetadata": RunEventStepMetadataSchema.optional(), "updates": RunEventUpdatesSchema.optional() }));
+const TimestampSchema: z.ZodTypeAny = z.lazy(() => z.string().datetime());
+const TimestampFacetSchema: z.ZodTypeAny = z.lazy(() => z.object({ "timestamp": TimestampSchema }));
+const WhileStepSchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": WhileStepIdentitySchema, "stepKind": z.intersection(z.literal("while"), StepKindSchema), "case": CaseSchema }));
+const WhileStepIdentitySchema: z.ZodTypeAny = z.lazy(() => z.string().regex(new RegExp("^WHILE_STEP-.+$")));
+
+export const StrategyRunSchema: z.ZodTypeAny = z.lazy(() => z.object({ "identity": StrategyRunIdentitySchema, "runnableStrategyHandle": RunnableStrategyIdentitySchema, "recordedAt": TimestampSchema, "runEvents": z.array(RunEventSchema) }).strict());

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

@@ -0,0 +1,7 @@
+// Auto-generated barrel file. Do not edit.
+export { GoalSchema } from './Goal.js';
+export { JobSchema } from './Job.js';
+export { RawStrategySchema } from './RawStrategy.js';
+export { ResourceTypeSchema } from './ResourceType.js';
+export { RunnableStrategySchema } from './RunnableStrategy.js';
+export { StrategyRunSchema } from './StrategyRun.js';

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

@@ -299,19 +299,6 @@ export type ResourceOutputPotentialJson =
  */
 export type ResourcePotentialJson =
  ResourceMissingJson | ResourceInputPotentialJson | ResourceOutputPotentialJson;
-/**
- * This interface was referenced by `Genesis`'s JSON-Schema
- * via the `definition` "JsonData".
- */
-export type JsonDataJson =
-  | null
-  | boolean
-  | number
-  | string
-  | JsonDataJson[]
-  | {
-      [k: string]: JsonDataJson;
-    };
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema
  * via the `definition` "Resource".
@@ -576,7 +563,6 @@ export interface PathFacetJson {
  * via the `definition` "Nucleus".
  */
 export interface NucleusJson {
-  [k: string]: JsonDataJson;
 }
 /**
  * This interface was referenced by `Genesis`'s JSON-Schema

package/src/index.ts

@@ -8,6 +8,15 @@ export { default as ResourceGenesis } from './generated/resources/Genesis.js';
 export { default as CONSTANTS } from './generated/artifacts/constants.js';
 export { default as MAPPINGS } from './generated/artifacts/mappings.js';
 
+// Re-export generated Zod validators
+export { JobSchema as ZodJobSchema } from './generated/schemas/zod/Job.js';
+export { ResourceTypeSchema as ZodResourceTypeSchema } from './generated/schemas/zod/ResourceType.js';
+export { RawStrategySchema as ZodRawStrategySchema } from './generated/schemas/zod/RawStrategy.js';
+export { RunnableStrategySchema as ZodRunnableStrategySchema } from './generated/schemas/zod/RunnableStrategy.js';
+export { StrategyRunSchema as ZodStrategyRunSchema } from './generated/schemas/zod/StrategyRun.js';
+export { GoalSchema as ZodGoalSchema } from './generated/schemas/zod/Goal.js';
+export * as ZodSchemas from './generated/schemas/zod/index.js';
+
 
 export type {
   Resource_Genesis as Resource_GenesisJson
@@ -54,6 +63,7 @@ export type {
   ResourceMissingJson,
   ResourceInputPotentialJson,
   ResourceOutputPotentialJson,
+  ResourcePotentialJson,
   ShellMaterializedBaseJson,
   ResourceJson,
   StrategyStateJson,
@@ -65,7 +75,6 @@ export type {
   RunnableStrategyUpdateJson,
   JobIdentityJson,
   JobJson,
-  JsonDataJson,
   StrategyThreadIdentityJson,
   StrategyThreadDictJson,
   JobStepSocketJson,

package/src/scripts/_lib/config.ts

@@ -24,6 +24,7 @@ export class SchemaConfig {
   private readonly sourceFile: string;
   private readonly normalizedDir: string;
   private readonly schemasDir: string;
+  private readonly zodSchemasDir: string;
   private readonly artifactsDir: string;
   private readonly resourcesDir: string;
   private readonly typesSrcDir: string;
@@ -40,6 +41,7 @@ export class SchemaConfig {
     this.sourceFile = getEnv('TP_SCHEMA_SOURCE_FILE', 'Genesis.json');
     this.normalizedDir = getEnv('TP_SCHEMA_NORMALIZED_DIR', 'src/generated/normalized');
     this.schemasDir = getEnv('TP_SCHEMA_SCHEMAS_DIR', 'src/generated/schemas');
+    this.zodSchemasDir = getEnv('TP_SCHEMA_ZOD_SCHEMAS_DIR', 'src/generated/schemas/zod');
     this.artifactsDir = getEnv('TP_SCHEMA_ARTIFACTS_DIR', 'src/generated/artifacts');
     this.resourcesDir = getEnv('TP_SCHEMA_RESOURCES_DIR', 'src/generated/resources');
     this.typesSrcDir = getEnv('TP_SCHEMA_TYPES_SRC_DIR', 'src/generated/types');
@@ -90,6 +92,16 @@ export class SchemaConfig {
       : path.join(this.root, this.schemasDir);
   }
 
+  getZodSchemasDir(): string {
+    return path.isAbsolute(this.zodSchemasDir)
+      ? this.zodSchemasDir
+      : path.join(this.root, this.zodSchemasDir);
+  }
+
+  getZodSchemaPath(filename: string): string {
+    return path.join(this.getZodSchemasDir(), filename);
+  }
+
   getSchemaPath(filename: string): string {
     return path.join(this.getSchemasDir(), filename);
   }