Issue with recurisve parsing and typescript

So I have the following setup for parsing a recursive rules tree

interface RuleNode {
    ruleId: string;
    description?: string[];
    children: RuleNode[];
    ruleOperation: RuleOperation;
    ruleField?: string;
    ruleValue?: string;
    ruleValueType?: RuleValueType;
}
export type RuleSyntaxTree = RuleNode;

export const RuleNode: z.ZodType<RuleNode> = z.lazy(() =>
    z.object({
        ruleId: z.string(),
        description: z.array(z.string()).optional(),
        children: z.array(RuleNode),
        ruleOperation: z.nativeEnum(RuleOperationInternal),
        ruleValue: z.string().optional(),
        ruleField: z.string().optional(),
        ruleValueType: z.string().optional(),
    }),
);

This gives me the following error on the validator.

Type 'ZodLazy<ZodObject<{ ruleId: ZodString; description: ZodOptional<ZodArray<ZodString, "many">>; children: ZodArray<ZodType<RuleNode, ZodTypeDef, RuleNode>, "many">; ruleOperation: ZodNativeEnum<...>; ruleValue: ZodOptional<...>; ruleField: ZodOptional<...>; ruleValueType: ZodOptional<...>; }, "strip", ZodTypeAny, { .....' is not assignable to type 'ZodType<RuleNode, ZodTypeDef, RuleNode>'.
  Types of property '_type' are incompatible.
    Type '{ ruleId?: string; description?: string[]; children?: RuleNode[]; ruleOperation?: RuleOperation; ruleValue?: string; ruleField?: string; ruleValueType?: string; }' is not assignable to type 'RuleNode'.
      Property 'ruleId' is optional in type '{ ruleId?: string; description?: string[]; children?: RuleNode[]; ruleOperation?: RuleOperation; ruleValue?: string; ruleField?: string; ruleValueType?: string; }' but required in type 'RuleNode'.t

is there something im doing wrong? Can this code be simplified.

[lemiesz]

Okay after further debugging I think I thought I had turned strict mode on… but on second look it was turned of.

Enabling strict mode seems to have solved my problem

[lemiesz]

So I have create a brand new workspace, and I still get the same error. If I just make everything optional then it does actually work. Although obviously I dont want to do this as its not the correct type

enum RuleValueType {
  NUMBER,
}
interface RuleNode {
  ruleId?: string;
  description?: string[];
  children?: RuleNode[];
  ruleOperation?: 'AND';
  ruleField?: string;
  ruleValue?: string;
  ruleValueType?: RuleValueType;
}
export type RuleSyntaxTree = RuleNode;

// Cant figure out the typing here. However this works and is recommended by the Zod library
export const RuleNode: z.ZodType<RuleNode> = z.lazy(() =>
  z.object({
    ruleId: z.string().optional(),
    description: z.array(z.string()).optional(),
    children: z.array(RuleNode).optional(),
    ruleOperation: z.enum(['AND']).optional(),
    ruleValue: z.string().optional(),
    ruleField: z.string().optional(),
    ruleValueType: z.nativeEnum(RuleValueType),
  })
);

using “zod”: “^3.19.1”