@simway/spica 0.0.0-stage → 0.1.2

package/dist/schema.d.ts

@@ -0,0 +1,670 @@
+import { z } from "zod";
+/** Regex matching the canonical `YYYY.MM.DD-HHmm` CalVer timestamp (inlined from calver.ts). */
+export declare const CALVER_TIMESTAMP_REGEX: RegExp;
+export declare const FieldNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    type: z.ZodString;
+    required: z.ZodOptional<z.ZodBoolean>;
+    isList: z.ZodOptional<z.ZodBoolean>;
+    description: z.ZodOptional<z.ZodString>;
+    values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type FieldNode = z.infer<typeof FieldNodeSchema>;
+export declare const RelationshipNodeSchema: z.ZodObject<{
+    target: z.ZodString;
+    cardinality: z.ZodEnum<{
+        OneToOne: "OneToOne";
+        OneToMany: "OneToMany";
+        ManyToOne: "ManyToOne";
+        ManyToMany: "ManyToMany";
+    }>;
+    composition: z.ZodBoolean;
+}, z.core.$strip>;
+export type RelationshipNode = z.infer<typeof RelationshipNodeSchema>;
+export declare const EntityNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    fields: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        required: z.ZodOptional<z.ZodBoolean>;
+        isList: z.ZodOptional<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        target: z.ZodString;
+        cardinality: z.ZodEnum<{
+            OneToOne: "OneToOne";
+            OneToMany: "OneToMany";
+            ManyToOne: "ManyToOne";
+            ManyToMany: "ManyToMany";
+        }>;
+        composition: z.ZodBoolean;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type EntityNode = z.infer<typeof EntityNodeSchema>;
+export declare const ValueObjectNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    type: z.ZodString;
+    values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    fields: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        required: z.ZodOptional<z.ZodBoolean>;
+        isList: z.ZodOptional<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        target: z.ZodString;
+        cardinality: z.ZodEnum<{
+            OneToOne: "OneToOne";
+            OneToMany: "OneToMany";
+            ManyToOne: "ManyToOne";
+            ManyToMany: "ManyToMany";
+        }>;
+        composition: z.ZodBoolean;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type ValueObjectNode = z.infer<typeof ValueObjectNodeSchema>;
+export declare const Phase1AggregateNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    rootEntity: z.ZodString;
+    entities: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        fields: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            target: z.ZodString;
+            cardinality: z.ZodEnum<{
+                OneToOne: "OneToOne";
+                OneToMany: "OneToMany";
+                ManyToOne: "ManyToOne";
+                ManyToMany: "ManyToMany";
+            }>;
+            composition: z.ZodBoolean;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+    valueObjects: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        fields: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+        relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            target: z.ZodString;
+            cardinality: z.ZodEnum<{
+                OneToOne: "OneToOne";
+                OneToMany: "OneToMany";
+                ManyToOne: "ManyToOne";
+                ManyToMany: "ManyToMany";
+            }>;
+            composition: z.ZodBoolean;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type Phase1AggregateNode = z.infer<typeof Phase1AggregateNodeSchema>;
+/**
+ * C4 System Context — Macro System Boundary (Work Item #326).
+ *
+ * An `Actor` is a human persona (or external party) who interacts with the
+ * system from OUTSIDE its boundary — the "who" in C4 Level 1. Distinct from
+ * `roles` (RBAC permission groups scoped INSIDE the system): an Actor is the
+ * external invoker, a `role` is an internal permission mechanism on commands.
+ */
+export declare const ActorNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ActorNode = z.infer<typeof ActorNodeSchema>;
+/**
+ * C4 System Context — Macro System Boundary (Work Item #326).
+ *
+ * An `ExternalSystem` is a third-party integration the system talks to —
+ * payment gateways, messaging buses, notification services, etc. It is the
+ * natural target of a reactor's `triggersPort`.
+ */
+export declare const ExternalSystemNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    technology: z.ZodOptional<z.ZodString>;
+    relationship: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ExternalSystemNode = z.infer<typeof ExternalSystemNodeSchema>;
+export declare const Phase1AstRootSchema: z.ZodObject<{
+    domain: z.ZodString;
+    systemName: z.ZodOptional<z.ZodString>;
+    systemDescription: z.ZodOptional<z.ZodString>;
+    actors: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    externalSystems: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        technology: z.ZodOptional<z.ZodString>;
+        relationship: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    aggregates: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        rootEntity: z.ZodString;
+        entities: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            fields: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                required: z.ZodOptional<z.ZodBoolean>;
+                isList: z.ZodOptional<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
+            relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                target: z.ZodString;
+                cardinality: z.ZodEnum<{
+                    OneToOne: "OneToOne";
+                    OneToMany: "OneToMany";
+                    ManyToOne: "ManyToOne";
+                    ManyToMany: "ManyToMany";
+                }>;
+                composition: z.ZodBoolean;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>>;
+        valueObjects: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            fields: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                required: z.ZodOptional<z.ZodBoolean>;
+                isList: z.ZodOptional<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>>;
+            relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                target: z.ZodString;
+                cardinality: z.ZodEnum<{
+                    OneToOne: "OneToOne";
+                    OneToMany: "OneToMany";
+                    ManyToOne: "ManyToOne";
+                    ManyToMany: "ManyToMany";
+                }>;
+                composition: z.ZodBoolean;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type Phase1AstRoot = z.infer<typeof Phase1AstRootSchema>;
+export declare const RoleNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type RoleNode = z.infer<typeof RoleNodeSchema>;
+export declare const PolicyNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodString;
+    rule: z.ZodOptional<z.ZodString>;
+    scope: z.ZodOptional<z.ZodString>;
+    intentTrace: z.ZodOptional<z.ZodString>;
+    sourceAggregate: z.ZodOptional<z.ZodString>;
+    sourceEvent: z.ZodOptional<z.ZodString>;
+    onEvent: z.ZodOptional<z.ZodString>;
+    emitsCommand: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type PolicyNode = z.infer<typeof PolicyNodeSchema>;
+export declare const CommandNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    actor: z.ZodOptional<z.ZodString>;
+    allowedRoles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    policies: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    requiredState: z.ZodString;
+    targetState: z.ZodString;
+    parameters: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        required: z.ZodOptional<z.ZodBoolean>;
+        isList: z.ZodOptional<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    payload: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        required: z.ZodOptional<z.ZodBoolean>;
+        isList: z.ZodOptional<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    isCreation: z.ZodOptional<z.ZodBoolean>;
+    triggerEvent: z.ZodOptional<z.ZodString>;
+    emits: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type CommandNode = z.infer<typeof CommandNodeSchema>;
+export declare const DomainEventNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    emittedBy: z.ZodOptional<z.ZodString>;
+    trigger: z.ZodOptional<z.ZodString>;
+    payload: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        required: z.ZodOptional<z.ZodBoolean>;
+        isList: z.ZodOptional<z.ZodBoolean>;
+        description: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type DomainEventNode = z.infer<typeof DomainEventNodeSchema>;
+export declare const DomainEventInstanceSchema: z.ZodObject<{
+    eventName: z.ZodString;
+    aggregateName: z.ZodString;
+    payload: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+    timestamp: z.ZodNumber;
+    sequenceNumber: z.ZodNumber;
+}, z.core.$strip>;
+export type DomainEventInstance = z.infer<typeof DomainEventInstanceSchema>;
+export declare const ReducerDescriptorSchema: z.ZodObject<{
+    commandName: z.ZodString;
+    targetField: z.ZodString;
+    operation: z.ZodEnum<{
+        SET: "SET";
+        ADD: "ADD";
+        SUBTRACT: "SUBTRACT";
+    }>;
+    sourceParameter: z.ZodString;
+}, z.core.$strip>;
+export type ReducerDescriptor = z.infer<typeof ReducerDescriptorSchema>;
+export declare const TransitionNodeSchema: z.ZodObject<{
+    trigger: z.ZodString;
+    fromState: z.ZodString;
+    toState: z.ZodString;
+    guardCondition: z.ZodOptional<z.ZodString>;
+    guardConditions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type TransitionNode = z.infer<typeof TransitionNodeSchema>;
+export declare const InvariantNodeSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    rule: z.ZodString;
+    scope: z.ZodString;
+    intentTrace: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type InvariantNode = z.infer<typeof InvariantNodeSchema>;
+export declare const BddGivenSchema: z.ZodObject<{
+    initialState: z.ZodString;
+    priorEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type BddGiven = z.infer<typeof BddGivenSchema>;
+export declare const BddWhenSchema: z.ZodObject<{
+    commandName: z.ZodString;
+    payload: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+}, z.core.$strip>;
+export type BddWhen = z.infer<typeof BddWhenSchema>;
+export declare const BddThenSchema: z.ZodObject<{
+    expectedState: z.ZodString;
+    expectedEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type BddThen = z.infer<typeof BddThenSchema>;
+export declare const BddScenarioNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    aggregateName: z.ZodString;
+    given: z.ZodObject<{
+        initialState: z.ZodString;
+        priorEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+    when: z.ZodObject<{
+        commandName: z.ZodString;
+        payload: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+    }, z.core.$strip>;
+    then: z.ZodObject<{
+        expectedState: z.ZodString;
+        expectedEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type BddScenarioNode = z.infer<typeof BddScenarioNodeSchema>;
+export declare const AggregateNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    rootEntity: z.ZodString;
+    entities: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        fields: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            target: z.ZodString;
+            cardinality: z.ZodEnum<{
+                OneToOne: "OneToOne";
+                OneToMany: "OneToMany";
+                ManyToOne: "ManyToOne";
+                ManyToMany: "ManyToMany";
+            }>;
+            composition: z.ZodBoolean;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>>>;
+    valueObjects: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodString;
+        values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        fields: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+        relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            target: z.ZodString;
+            cardinality: z.ZodEnum<{
+                OneToOne: "OneToOne";
+                OneToMany: "OneToMany";
+                ManyToOne: "ManyToOne";
+                ManyToMany: "ManyToMany";
+            }>;
+            composition: z.ZodBoolean;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>>>;
+    states: z.ZodArray<z.ZodString>;
+    commands: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        actor: z.ZodOptional<z.ZodString>;
+        allowedRoles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        policies: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        requiredState: z.ZodString;
+        targetState: z.ZodString;
+        parameters: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+        payload: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+        isCreation: z.ZodOptional<z.ZodBoolean>;
+        triggerEvent: z.ZodOptional<z.ZodString>;
+        emits: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>>;
+    policies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodString;
+        rule: z.ZodOptional<z.ZodString>;
+        scope: z.ZodOptional<z.ZodString>;
+        intentTrace: z.ZodOptional<z.ZodString>;
+        sourceAggregate: z.ZodOptional<z.ZodString>;
+        sourceEvent: z.ZodOptional<z.ZodString>;
+        onEvent: z.ZodOptional<z.ZodString>;
+        emitsCommand: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    transitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        trigger: z.ZodString;
+        fromState: z.ZodString;
+        toState: z.ZodString;
+        guardCondition: z.ZodOptional<z.ZodString>;
+        guardConditions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    invariants: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        rule: z.ZodString;
+        scope: z.ZodString;
+        intentTrace: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    reducers: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        commandName: z.ZodString;
+        targetField: z.ZodString;
+        operation: z.ZodEnum<{
+            SET: "SET";
+            ADD: "ADD";
+            SUBTRACT: "SUBTRACT";
+        }>;
+        sourceParameter: z.ZodString;
+    }, z.core.$strip>>>;
+    bddScenarios: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        aggregateName: z.ZodString;
+        given: z.ZodObject<{
+            initialState: z.ZodString;
+            priorEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+        when: z.ZodObject<{
+            commandName: z.ZodString;
+            payload: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+        }, z.core.$strip>;
+        then: z.ZodObject<{
+            expectedState: z.ZodString;
+            expectedEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type AggregateNode = z.infer<typeof AggregateNodeSchema>;
+export declare const ReactorNodeSchema: z.ZodObject<{
+    name: z.ZodString;
+    listensTo: z.ZodString;
+    triggersPort: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ReactorNode = z.infer<typeof ReactorNodeSchema>;
+export declare const AstRootSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodObject<{
+    domainName: z.ZodString;
+    systemName: z.ZodOptional<z.ZodString>;
+    systemDescription: z.ZodOptional<z.ZodString>;
+    actors: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    externalSystems: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+        technology: z.ZodOptional<z.ZodString>;
+        relationship: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    createdAt: z.ZodISODateTime;
+    virgoVersion: z.ZodString;
+    roles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    aggregates: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        rootEntity: z.ZodString;
+        entities: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            fields: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                required: z.ZodOptional<z.ZodBoolean>;
+                isList: z.ZodOptional<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
+            relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                target: z.ZodString;
+                cardinality: z.ZodEnum<{
+                    OneToOne: "OneToOne";
+                    OneToMany: "OneToMany";
+                    ManyToOne: "ManyToOne";
+                    ManyToMany: "ManyToMany";
+                }>;
+                composition: z.ZodBoolean;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>>>>;
+        valueObjects: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            fields: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                required: z.ZodOptional<z.ZodBoolean>;
+                isList: z.ZodOptional<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>>;
+            relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                target: z.ZodString;
+                cardinality: z.ZodEnum<{
+                    OneToOne: "OneToOne";
+                    OneToMany: "OneToMany";
+                    ManyToOne: "ManyToOne";
+                    ManyToMany: "ManyToMany";
+                }>;
+                composition: z.ZodBoolean;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>>>>;
+        states: z.ZodArray<z.ZodString>;
+        commands: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            actor: z.ZodOptional<z.ZodString>;
+            allowedRoles: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            policies: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            requiredState: z.ZodString;
+            targetState: z.ZodString;
+            parameters: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                required: z.ZodOptional<z.ZodBoolean>;
+                isList: z.ZodOptional<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>>;
+            payload: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodString;
+                required: z.ZodOptional<z.ZodBoolean>;
+                isList: z.ZodOptional<z.ZodBoolean>;
+                description: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>>;
+            isCreation: z.ZodOptional<z.ZodBoolean>;
+            triggerEvent: z.ZodOptional<z.ZodString>;
+            emits: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>>;
+        policies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            description: z.ZodString;
+            rule: z.ZodOptional<z.ZodString>;
+            scope: z.ZodOptional<z.ZodString>;
+            intentTrace: z.ZodOptional<z.ZodString>;
+            sourceAggregate: z.ZodOptional<z.ZodString>;
+            sourceEvent: z.ZodOptional<z.ZodString>;
+            onEvent: z.ZodOptional<z.ZodString>;
+            emitsCommand: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        transitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            trigger: z.ZodString;
+            fromState: z.ZodString;
+            toState: z.ZodString;
+            guardCondition: z.ZodOptional<z.ZodString>;
+            guardConditions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+        invariants: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodOptional<z.ZodString>;
+            rule: z.ZodString;
+            scope: z.ZodString;
+            intentTrace: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        reducers: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            commandName: z.ZodString;
+            targetField: z.ZodString;
+            operation: z.ZodEnum<{
+                SET: "SET";
+                ADD: "ADD";
+                SUBTRACT: "SUBTRACT";
+            }>;
+            sourceParameter: z.ZodString;
+        }, z.core.$strip>>>;
+        bddScenarios: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            aggregateName: z.ZodString;
+            given: z.ZodObject<{
+                initialState: z.ZodString;
+                priorEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>;
+            when: z.ZodObject<{
+                commandName: z.ZodString;
+                payload: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+            }, z.core.$strip>;
+            then: z.ZodObject<{
+                expectedState: z.ZodString;
+                expectedEvents: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>;
+    globalEvents: z.ZodOptional<z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        emittedBy: z.ZodOptional<z.ZodString>;
+        trigger: z.ZodOptional<z.ZodString>;
+        payload: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            required: z.ZodOptional<z.ZodBoolean>;
+            isList: z.ZodOptional<z.ZodBoolean>;
+            description: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>>>>;
+    reactors: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        listensTo: z.ZodString;
+        triggersPort: z.ZodString;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+}, z.core.$strict>>;
+export type AstRoot = z.infer<typeof AstRootSchema>;
+export declare class DomainConflictException extends Error {
+    details: string;
+    constructor(details: string);
+}
+export declare class InvalidTransitionException extends Error {
+    details: string;
+    constructor(details: string);
+}
+export declare class DomainInvariantViolationException extends Error {
+    details: string;
+    constructor(details: string);
+}
+export declare class EventConsistencyException extends Error {
+    details: string;
+    constructor(details: string);
+}
+export declare const ContradictionPayloadSchema: z.ZodObject<{
+    type: z.ZodLiteral<"CONTRADICTION_HALT">;
+    data: z.ZodObject<{
+        proposedIntent: z.ZodString;
+        conflictingEntity: z.ZodString;
+        existingRule: z.ZodString;
+        resolutionPrompt: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type ContradictionPayload = z.infer<typeof ContradictionPayloadSchema>;
+/**
+ * Escapes characters for Mermaid diagram label rendering.
+ */
+export declare function escapeLabel(label: string): string;
+/**
+ * Normalizes input domain model, ensuring aggregate deduplication and domain/domainName coherence.
+ */
+export declare function toAdmStructure(adm: unknown): AstRoot;
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,gGAAgG;AAChG,eAAO,MAAM,sBAAsB,QAAgC,CAAC;AACpE,eAAO,MAAM,eAAe;;;;;;;iBAc1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,sBAAsB;;;;;;;;;iBAIjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;iBAI3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;iBAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAKpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe;;;iBAG1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB;;;;;iBAKnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAO9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,cAAc;;;iBAGzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,gBAAgB;;;;;;;;;;iBAU3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;iBAY5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;iBAKhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,yBAAyB;;;;;;iBAMpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,uBAAuB;;;;;;;;;iBAKlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,oBAAoB;;;;;;iBAM/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,mBAAmB;;;;;iBAK9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,cAAc;;;iBAGzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,aAAa;;;iBAGxB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,eAAO,MAAM,aAAa;;;iBAGxB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;iBAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAiB9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,iBAAiB;;;;;iBAK5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAkB5D,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBA8BzB,CAAC;AACF,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,qBAAa,uBAAwB,SAAQ,KAAK;IAC7B,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAInC;AAED,qBAAa,0BAA2B,SAAQ,KAAK;IAChC,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAInC;AAED,qBAAa,iCAAkC,SAAQ,KAAK;IACvC,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAInC;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAC/B,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CAInC;AAMD,eAAO,MAAM,0BAA0B;;;;;;;;iBAQrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAK9E;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGjD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAoBpD"}