dopespec 0.0.1

package/dist/codegen/utils.js

@@ -0,0 +1,357 @@
+/**
+ * Compile-time exhaustiveness check. Pass the narrowed-to-never value here;
+ * if a new variant is added to PropKind (or any union) without updating the
+ * switch, TypeScript will error because the value won't be `never`.
+ */
+const assertExhaustive = (value) => {
+    throw new Error(`Unhandled value: ${String(value)}`);
+};
+const guardParseError = (message) => Object.assign(new Error(message), {
+    guardParse: true,
+    name: "GuardParseError",
+});
+const isGuardParseError = (err) => err instanceof Error && "guardParse" in err;
+/**
+ * ModelDef's default generics use structural bases (TransitionDefBase, ConstraintDefBase)
+ * that omit guard/scenarios/preventedAction fields. At runtime, model() always stores the
+ * full TransitionData/ConstraintData/ActionDef objects. These accessors centralize the
+ * single unavoidable cast so all generators can work with properly typed data.
+ */
+export const getTransitions = (model) => {
+    if (!model.transitions)
+        return [];
+    return Object.entries(model.transitions);
+};
+export const getConstraints = (model) => {
+    if (!model.constraints)
+        return [];
+    return Object.entries(model.constraints);
+};
+export const getActions = (model) => {
+    if (!model.actions)
+        return [];
+    return Object.entries(model.actions);
+};
+export const getRelations = (model) => {
+    if (!model.relations)
+        return [];
+    return Object.entries(model.relations);
+};
+export const capitalize = (s) => s.charAt(0).toUpperCase() + s.slice(1);
+/** Converts PascalCase to kebab-case: "ContrastThresholds" → "contrast-thresholds" */
+export const toKebabCase = (name) => name
+    .replace(/([a-z0-9])([A-Z])/g, "$1-$2")
+    .replace(/([A-Z])([A-Z][a-z])/g, "$1-$2")
+    .toLowerCase();
+/**
+ * Derive the id field name for a relation key. Appends Id/Ids to key as-is.
+ * belongsTo "customer" → "customerId"
+ * hasMany "item" → "itemIds"
+ *
+ * Use singular relation keys for clean output (e.g. `item: hasMany(Pet)` not `items`).
+ */
+export const relationIdField = (key, kind) => {
+    if (kind === "belongsTo")
+        return `${key}Id`;
+    return `${key}Ids`;
+};
+/**
+ * Extracts the values array from a lifecycle or oneOf PropDef.
+ * PropDef<K, V> defaults V to unknown, so switch narrowing on `kind` doesn't
+ * narrow `values` to `readonly string[]`. This helper centralizes the cast.
+ */
+const getEnumValues = (prop) => prop.values;
+const formatUnionValues = (values) => values.map((v) => `'${v}'`).join(" | ");
+/** Map a PropDef kind to its TypeScript type string. */
+export const propKindToTS = (prop) => {
+    switch (prop.kind) {
+        case "boolean":
+            return "boolean";
+        case "date":
+            return "Date";
+        case "lifecycle":
+            return formatUnionValues(getEnumValues(prop));
+        case "number":
+            return "number";
+        case "oneOf":
+            return formatUnionValues(getEnumValues(prop));
+        case "string":
+            return "string";
+        default:
+            return assertExhaustive(prop.kind);
+    }
+};
+const formatZodEnum = (values) => {
+    const items = values.map((v) => `'${v}'`).join(", ");
+    return `z.enum([${items}])`;
+};
+/** Map a PropDef kind to its Zod validator string. */
+export const propKindToZod = (prop) => {
+    switch (prop.kind) {
+        case "boolean":
+            return "z.boolean()";
+        case "date":
+            return "z.date()";
+        case "lifecycle":
+            return formatZodEnum(getEnumValues(prop));
+        case "number":
+            return "z.number()";
+        case "oneOf":
+            return formatZodEnum(getEnumValues(prop));
+        case "string":
+            return "z.string()";
+        default:
+            return assertExhaustive(prop.kind);
+    }
+};
+/** Find the single lifecycle prop in a model. Returns null if none. */
+export const getLifecycleProp = (model) => {
+    if (!model.props)
+        return null;
+    for (const [key, prop] of Object.entries(model.props)) {
+        if (prop.kind === "lifecycle") {
+            return { key, values: getEnumValues(prop) };
+        }
+    }
+    return null;
+};
+/**
+ * Extract the body of a guard function as source code via Function.toString().
+ *
+ * Only single-expression arrow functions are supported:
+ *   `(ctx) => ctx.total > 0` → `"ctx.total > 0"`
+ *
+ * Throws on block-body arrows `(ctx) => { ... }` and non-arrow functions.
+ *
+ * Relies on Function.prototype.toString() returning source text, which is
+ * guaranteed by the ECMAScript spec for user-defined functions (not built-ins).
+ */
+// Matches `(ctx) =>` or `ctx =>` at the start, capturing param name.
+// Two explicit alternatives avoid backtracking from optional parens + whitespace.
+const GUARD_ARROW_RE = /^(?:\((\w+)\)|(\w+))\s*=>\s*/;
+export const guardToSource = (guard) => {
+    try {
+        const src = guard.toString();
+        const match = GUARD_ARROW_RE.exec(src);
+        if (!match) {
+            throw guardParseError("Guard must be a single-parameter arrow function: (ctx) => expr. " +
+                "Got: " +
+                src.slice(0, 80));
+        }
+        const paramName = match[1] ?? match[2];
+        if (paramName !== "ctx") {
+            throw guardParseError(`Guard parameter must be named "ctx": (ctx) => expr. ` +
+                `Got: "${paramName}". ` +
+                "Destructured or renamed parameters are not supported by codegen.");
+        }
+        const rawBody = src.slice(match[0].length).trim();
+        // Normalize operator spacing in guard bodies.
+        // Function.toString() preserves original formatting which may lack spaces.
+        // Insert spaces around operators, then collapse any duplicate spaces.
+        const body = rawBody
+            .replace(/(\w)([><=!]=?=?)(\w)/g, "$1 $2 $3")
+            .replace(/(\w)(&&|\|\|)(\w)/g, "$1 $2 $3")
+            .replace(/ {2,}/g, " ");
+        if (!body.includes("ctx")) {
+            throw guardParseError("Guard function body does not reference 'ctx'. " +
+                "This may indicate minified code — codegen requires unminified source. " +
+                `Got: "${body.slice(0, 80)}"`);
+        }
+        if (body.startsWith("{")) {
+            throw guardParseError("Block-body arrow functions not supported, use single-expression: " +
+                "(ctx) => ctx.total > 0");
+        }
+        return body;
+    }
+    catch (err) {
+        if (isGuardParseError(err)) {
+            throw err;
+        }
+        const message = err instanceof Error ? err.message : String(err);
+        throw guardParseError(`Failed to serialize guard function: ${message}`);
+    }
+};
+/**
+ * Resolve external closure references in a guard body by probing the guard
+ * function with known enum/lifecycle values from the model.
+ *
+ * Guards like `(ctx) => ctx.status === orderStates.cancelled` serialize to a
+ * body containing `orderStates.cancelled` — an identifier that doesn't exist
+ * in generated code. This function detects such references and replaces them
+ * with their resolved string literal values.
+ *
+ * Works by finding `ctx.prop === ref` or `ref === ctx.prop` patterns, then
+ * calling the guard with each possible enum value until one matches.
+ *
+ * Limitations:
+ * - Only matches single-dot refs like `states.cancelled`, not deeper paths.
+ *   This is intentional — lifecycle.states() produces `{ name: name }` objects.
+ * - Only matches `===` / `==` operators. `!==` / `!=` are not matched by the
+ *   regex and will pass through unchanged (the external ref stays in the body).
+ */
+export const resolveGuardBody = (guard, body, model) => {
+    // Match `ctx.prop === externalRef` — negative lookaheads prevent matching
+    // ctx.x === ctx.y, ctx.x === 'literal', and ctx.x === 42.
+    const CTX_EQ_REF = /ctx\.(\w+)\s*={2,3}\s*(?!ctx\.|['"`\d])([a-zA-Z_$]\w*\.\w+)/g;
+    // Match `externalRef === ctx.prop` (reversed operand order).
+    // eslint-disable-next-line sonarjs/slow-regex -- input is a short guard body, not user-supplied
+    const REF_EQ_CTX = /(?!ctx\.)([a-zA-Z_$]\w*\.\w+)\s*={2,3}\s*ctx\.(\w+)/g;
+    // Build once, reuse across all tryResolve calls.
+    const defaults = buildModelDefaults(model);
+    const tryResolve = (propName) => {
+        const prop = model.props?.[propName];
+        if (!prop || (prop.kind !== "lifecycle" && prop.kind !== "oneOf"))
+            return undefined;
+        const values = prop.values;
+        for (const value of values) {
+            try {
+                if (guard({ ...defaults, [propName]: value }) === true) {
+                    return `'${value}'`;
+                }
+            }
+            catch {
+                /* guard may access missing props, skip */
+            }
+        }
+        return undefined;
+    };
+    let resolved = body;
+    // ctx.prop === externalRef
+    resolved = resolved.replace(CTX_EQ_REF, (match, propName, refStr) => {
+        const value = tryResolve(propName);
+        return value ? match.replace(refStr, value) : match;
+    });
+    // externalRef === ctx.prop
+    resolved = resolved.replace(REF_EQ_CTX, (match, refStr, propName) => {
+        const value = tryResolve(propName);
+        return value ? match.replace(refStr, value) : match;
+    });
+    return resolved;
+};
+/** Serialize a JS value to embeddable source code (string literal, number, boolean). */
+export const valueToSource = (value) => {
+    if (typeof value === "string")
+        return `'${value.replace(/\\/g, "\\\\").replace(/'/g, "\\'")}'`;
+    if (typeof value === "number" || typeof value === "boolean")
+        return String(value);
+    if (value instanceof Date)
+        return `new Date('${value.toISOString()}')`;
+    return JSON.stringify(value);
+};
+/** Return a sensible default value (as source code) for a PropDef kind. */
+export const defaultValueForProp = (prop) => {
+    switch (prop.kind) {
+        case "boolean":
+            return "false";
+        case "date":
+            return "new Date(0)";
+        case "lifecycle": // fall through
+        case "oneOf": {
+            const values = prop.values;
+            return `'${values[0]}'`;
+        }
+        case "number":
+            return "0";
+        case "string":
+            return "''";
+        default:
+            return assertExhaustive(prop.kind);
+    }
+};
+/** Convert action fields (Record<string, PropDef>) to a TypeScript type literal. */
+export const fieldsToTSType = (fields) => {
+    if (!fields)
+        return "unknown";
+    const entries = Object.entries(fields);
+    if (entries.length === 0)
+        return "{}";
+    const props = entries
+        .map(([key, prop]) => `${key}: ${propKindToTS(prop)}`)
+        .join("; ");
+    return `{ ${props} }`;
+};
+/**
+ * Build default values for all props in a model (as runtime JS values, not source).
+ * Used by resolvePolicyGuardBody to probe guard functions.
+ */
+export const buildModelDefaults = (model) => {
+    const defaults = {};
+    if (!model.props)
+        return defaults;
+    for (const [key, prop] of Object.entries(model.props)) {
+        switch (prop.kind) {
+            case "boolean":
+                defaults[key] = false;
+                break;
+            case "date":
+                defaults[key] = new Date(0);
+                break;
+            case "lifecycle":
+            // fall through
+            case "oneOf":
+                defaults[key] = prop.values[0] ?? "";
+                break;
+            case "number":
+                defaults[key] = 0;
+                break;
+            case "string":
+                defaults[key] = "";
+                break;
+        }
+    }
+    return defaults;
+};
+/**
+ * Resolve external closure references in a policy guard body.
+ *
+ * Policy guards access nested ctx: `ctx.customer.status === customerStates.suspended`.
+ * This function resolves `customerStates.suspended` to `'suspended'` by probing the
+ * guard function with known enum values from the required models.
+ *
+ * @param guard - The guard function (closure with captured variables)
+ * @param body - Raw guard body from guardToSource
+ * @param requiresModels - Map of requires key → resolved ModelDef
+ */
+export const resolvePolicyGuardBody = (guard, body, requiresModels) => {
+    // Match ctx.KEY.PROP === externalRef (not ctx., not literal)
+    const CTX_NESTED_EQ_REF = /ctx\.(\w+)\.(\w+)\s*={2,3}\s*(?!ctx\.|['"`\d])([a-zA-Z_$]\w*\.\w+)/g;
+    // Match externalRef === ctx.KEY.PROP (reversed operand order)
+    const REF_EQ_CTX_NESTED = 
+    // eslint-disable-next-line sonarjs/slow-regex -- input is a short guard body, not user-supplied
+    /(?!ctx\.)([a-zA-Z_$]\w*\.\w+)\s*={2,3}\s*ctx\.(\w+)\.(\w+)/g;
+    const tryResolve = (reqKey, propName) => {
+        const model = requiresModels[reqKey];
+        if (!model?.props)
+            return undefined;
+        const prop = model.props[propName];
+        if (!prop || (prop.kind !== "lifecycle" && prop.kind !== "oneOf"))
+            return undefined;
+        const values = prop.values;
+        const defaults = buildModelDefaults(model);
+        for (const value of values) {
+            try {
+                const ctx = { [reqKey]: { ...defaults, [propName]: value } };
+                if (guard(ctx) === true) {
+                    return `'${value}'`;
+                }
+            }
+            catch {
+                /* guard may access missing props, skip */
+            }
+        }
+        return undefined;
+    };
+    let resolved = body;
+    // ctx.key.prop === externalRef
+    resolved = resolved.replace(CTX_NESTED_EQ_REF, (match, reqKey, propName, refStr) => {
+        const value = tryResolve(reqKey, propName);
+        return value ? match.replace(refStr, value) : match;
+    });
+    // externalRef === ctx.key.prop
+    resolved = resolved.replace(REF_EQ_CTX_NESTED, (match, refStr, reqKey, propName) => {
+        const value = tryResolve(reqKey, propName);
+        return value ? match.replace(refStr, value) : match;
+    });
+    return resolved;
+};
+//# sourceMappingURL=utils.js.map

package/dist/codegen/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/codegen/utils.ts"],"names":[],"mappings":"AAQA;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAS,EAAE;IAC/C,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACvD,CAAC,CAAC;AAKF,MAAM,eAAe,GAAG,CAAC,OAAe,EAAmB,EAAE,CAC3D,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE;IAChC,UAAU,EAAE,IAAa;IACzB,IAAI,EAAE,iBAAiB;CACxB,CAAC,CAAC;AAEL,MAAM,iBAAiB,GAAG,CAAC,GAAY,EAA0B,EAAE,CACjE,GAAG,YAAY,KAAK,IAAI,YAAY,IAAI,GAAG,CAAC;AAE9C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAe,EAA8B,EAAE;IAC5E,IAAI,CAAC,KAAK,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAElC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAA+B,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAe,EAA8B,EAAE;IAC5E,IAAI,CAAC,KAAK,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAElC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAA+B,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAe,EAAyB,EAAE;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAE9B,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAA0B,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAe,EAA2B,EAAE;IACvE,IAAI,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAEhC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAA4B,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CAC9C,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEzC,sFAAsF;AACtF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAClD,IAAI;KACD,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;KACtC,OAAO,CAAC,sBAAsB,EAAE,OAAO,CAAC;KACxC,WAAW,EAAE,CAAC;AAEnB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,GAAW,EACX,IAA6B,EACrB,EAAE;IACV,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,GAAG,GAAG,IAAI,CAAC;IAE5C,OAAO,GAAG,GAAG,KAAK,CAAC;AACrB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,aAAa,GAAG,CAAC,IAAa,EAAqB,EAAE,CACzD,IAAI,CAAC,MAA2B,CAAC;AAEnC,MAAM,iBAAiB,GAAG,CAAC,MAAyB,EAAU,EAAE,CAC9D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE1C,wDAAwD;AACxD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAa,EAAU,EAAE;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QAEnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAEhB,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAEhD,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAElB,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAEhD,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAElB;YACE,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,MAAyB,EAAU,EAAE;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAErD,OAAO,WAAW,KAAK,IAAI,CAAC;AAC9B,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAa,EAAU,EAAE;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC;QAEvB,KAAK,MAAM;YACT,OAAO,UAAU,CAAC;QAEpB,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAE5C,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC;QAEtB,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;QAE5C,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC;QAEtB;YACE,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;AACH,CAAC,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAAe,EACoC,EAAE;IACrD,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAE9B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AAEH,qEAAqE;AACrE,kFAAkF;AAClF,MAAM,cAAc,GAAG,8BAA8B,CAAC;AAEtD,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAAgD,EACxC,EAAE;IACV,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,eAAe,CACnB,kEAAkE;gBAChE,OAAO;gBACP,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CACnB,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QAEvC,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;YACxB,MAAM,eAAe,CACnB,sDAAsD;gBACpD,SAAS,SAAS,KAAK;gBACvB,kEAAkE,CACrE,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAElD,8CAA8C;QAC9C,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,IAAI,GAAG,OAAO;aACjB,OAAO,CAAC,uBAAuB,EAAE,UAAU,CAAC;aAC5C,OAAO,CAAC,oBAAoB,EAAE,UAAU,CAAC;aACzC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAE1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,eAAe,CACnB,gDAAgD;gBAC9C,wEAAwE;gBACxE,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAChC,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,eAAe,CACnB,mEAAmE;gBACjE,wBAAwB,CAC3B,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,GAAG,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEjE,MAAM,eAAe,CAAC,uCAAuC,OAAO,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAAgD,EAChD,IAAY,EACZ,KAAe,EACP,EAAE;IACV,0EAA0E;IAC1E,0DAA0D;IAC1D,MAAM,UAAU,GACd,8DAA8D,CAAC;IACjE,6DAA6D;IAC7D,gGAAgG;IAChG,MAAM,UAAU,GAAG,sDAAsD,CAAC;IAE1E,iDAAiD;IACjD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAE3C,MAAM,UAAU,GAAG,CAAC,QAAgB,EAAsB,EAAE;QAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAC;QAErC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;YAC/D,OAAO,SAAS,CAAC;QAEnB,MAAM,MAAM,GAAG,IAAI,CAAC,MAA2B,CAAC;QAEhD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC;gBACH,IAAI,KAAK,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;oBACvD,OAAO,IAAI,KAAK,GAAG,CAAC;gBACtB,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,0CAA0C;YAC5C,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,IAAI,QAAQ,GAAG,IAAI,CAAC;IAEpB,2BAA2B;IAC3B,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE;QAClE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAkB,CAAC,CAAC;QAE7C,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,2BAA2B;IAC3B,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;QAClE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAkB,CAAC,CAAC;QAE7C,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,wFAAwF;AACxF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAc,EAAU,EAAE;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3B,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;IAClE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QACzD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,aAAa,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC;IAEvE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAU,EAAE;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;QAEjB,KAAK,MAAM;YACT,OAAO,aAAa,CAAC;QAEvB,KAAK,WAAW,CAAC,CAAC,eAAe;QAEjC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,CAAC,MAA2B,CAAC;YAEhD,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;QAC1B,CAAC;QAED,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC;QAEb,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;AACH,CAAC,CAAC;AAEF,oFAAoF;AACpF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,MAA2C,EACnC,EAAE;IACV,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEvC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,KAAK,GAAG,OAAO;SAClB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;SACrD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO,KAAK,KAAK,IAAI,CAAC;AACxB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAe,EACU,EAAE;IAC3B,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAE7C,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAC;IAElC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBACtB,MAAM;YAER,KAAK,MAAM;gBACT,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM;YAER,KAAK,WAAW,CAAC;YACjB,eAAe;YAEf,KAAK,OAAO;gBACV,QAAQ,CAAC,GAAG,CAAC,GAAI,IAAI,CAAC,MAA4B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC5D,MAAM;YAER,KAAK,QAAQ;gBACX,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClB,MAAM;YAER,KAAK,QAAQ;gBACX,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBACnB,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAyC,EACzC,IAAY,EACZ,cAAwC,EAChC,EAAE;IACV,6DAA6D;IAC7D,MAAM,iBAAiB,GACrB,qEAAqE,CAAC;IACxE,8DAA8D;IAC9D,MAAM,iBAAiB;IACrB,gGAAgG;IAChG,6DAA6D,CAAC;IAEhE,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,QAAgB,EAAsB,EAAE;QAC1E,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAErC,IAAI,CAAC,KAAK,EAAE,KAAK;YAAE,OAAO,SAAS,CAAC;QAEpC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAEnC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;YAC/D,OAAO,SAAS,CAAC;QAEnB,MAAM,MAAM,GAAG,IAAI,CAAC,MAA2B,CAAC;QAChD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAE3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBAE7D,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;oBACxB,OAAO,IAAI,KAAK,GAAG,CAAC;gBACtB,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,0CAA0C;YAC5C,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,IAAI,QAAQ,GAAG,IAAI,CAAC;IAEpB,+BAA+B;IAC/B,QAAQ,GAAG,QAAQ,CAAC,OAAO,CACzB,iBAAiB,EACjB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAgB,EAAE,QAAkB,CAAC,CAAC;QAE/D,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAChE,CAAC,CACF,CAAC;IAEF,+BAA+B;IAC/B,QAAQ,GAAG,QAAQ,CAAC,OAAO,CACzB,iBAAiB,EACjB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAgB,EAAE,QAAkB,CAAC,CAAC;QAE/D,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAChE,CAAC,CACF,CAAC;IAEF,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}

package/dist/codegen/zod.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate Zod validation schema from a model's props and relations. Targets Zod v3.x / v4.x (z.object, z.enum). */
+export declare const generateZod: (model: ModelDef) => string;
+//# sourceMappingURL=zod.d.ts.map

package/dist/codegen/zod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.d.ts","sourceRoot":"","sources":["../../src/codegen/zod.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAUnD,qHAAqH;AACrH,eAAO,MAAM,WAAW,GAAI,OAAO,QAAQ,KAAG,MAsC7C,CAAC"}

package/dist/codegen/zod.js

@@ -0,0 +1,32 @@
+import { isOptional } from "../schema/props.js";
+import { capitalize, getRelations, propKindToZod, relationIdField, } from "./utils.js";
+/** Generate Zod validation schema from a model's props and relations. Targets Zod v3.x / v4.x (z.object, z.enum). */
+export const generateZod = (model) => {
+    const hasProps = model.props && Object.keys(model.props).length > 0;
+    const relations = getRelations(model);
+    if (!hasProps && relations.length === 0)
+        return "";
+    const typeName = capitalize(model.name);
+    const lines = [];
+    lines.push(`import { z } from 'zod';`);
+    lines.push("");
+    const fields = [];
+    if (model.props) {
+        for (const [key, prop] of Object.entries(model.props)) {
+            const zodType = propKindToZod(prop) + (isOptional(prop) ? ".optional()" : "");
+            fields.push(`  ${key}: ${zodType},`);
+        }
+    }
+    // Relations: belongsTo → z.string() (foreign key id), hasMany → z.array(z.string()) (ids)
+    for (const [key, rel] of relations) {
+        const fieldName = relationIdField(key, rel.kind);
+        const zodType = rel.kind === "belongsTo" ? "z.string()" : "z.array(z.string())";
+        fields.push(`  ${fieldName}: ${zodType},`);
+    }
+    lines.push(`export const ${typeName}Schema = z.object({`);
+    lines.push(...fields);
+    lines.push(`});`);
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=zod.js.map

package/dist/codegen/zod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.js","sourceRoot":"","sources":["../../src/codegen/zod.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EACL,UAAU,EACV,YAAY,EACZ,aAAa,EACb,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,qHAAqH;AACrH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAe,EAAU,EAAE;IACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAEtC,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEnD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,MAAM,OAAO,GACX,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAEhE,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,OAAO,GAAG,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,0FAA0F;IAC1F,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,OAAO,GACX,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC;QAElE,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,KAAK,OAAO,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,gBAAgB,QAAQ,qBAAqB,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;IACtB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/examples/generated/customer.types.d.ts

@@ -0,0 +1,7 @@
+export type CustomerStatus = "active" | "suspended" | "deleted";
+export type CustomerProps = {
+    email: string;
+    name: string;
+    status: CustomerStatus;
+};
+//# sourceMappingURL=customer.types.d.ts.map

package/dist/examples/generated/customer.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"customer.types.d.ts","sourceRoot":"","sources":["../../../src/examples/generated/customer.types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAC;AAEhE,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,cAAc,CAAC;CACxB,CAAC"}

package/dist/examples/generated/customer.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=customer.types.js.map

package/dist/examples/generated/customer.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"customer.types.js","sourceRoot":"","sources":["../../../src/examples/generated/customer.types.ts"],"names":[],"mappings":""}

package/dist/examples/generated/order.types.d.ts

@@ -0,0 +1,9 @@
+export type OrderStatus = "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+export type OrderProps = {
+    createdAt: Date;
+    status: OrderStatus;
+    total: number;
+    customerId: string;
+    itemIds: string[];
+};
+//# sourceMappingURL=order.types.d.ts.map

package/dist/examples/generated/order.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.types.d.ts","sourceRoot":"","sources":["../../../src/examples/generated/order.types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GACnB,SAAS,GACT,MAAM,GACN,SAAS,GACT,WAAW,GACX,WAAW,CAAC;AAEhB,MAAM,MAAM,UAAU,GAAG;IACvB,SAAS,EAAE,IAAI,CAAC;IAChB,MAAM,EAAE,WAAW,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC"}

package/dist/examples/generated/order.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=order.types.js.map

package/dist/examples/generated/order.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.types.js","sourceRoot":"","sources":["../../../src/examples/generated/order.types.ts"],"names":[],"mappings":""}

package/dist/examples/generated/pet.types.d.ts

@@ -0,0 +1,11 @@
+export type PetSpecies = "dog" | "cat" | "bird" | "fish";
+export type PetStatus = "available" | "reserved" | "sold";
+export type PetProps = {
+    name: string;
+    nickname?: string;
+    price: number;
+    species: PetSpecies;
+    status: PetStatus;
+    vaccinated: boolean;
+};
+//# sourceMappingURL=pet.types.d.ts.map

package/dist/examples/generated/pet.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet.types.d.ts","sourceRoot":"","sources":["../../../src/examples/generated/pet.types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC;AACzD,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,MAAM,CAAC;AAE1D,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,UAAU,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC"}

package/dist/examples/generated/pet.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pet.types.js.map

package/dist/examples/generated/pet.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet.types.js","sourceRoot":"","sources":["../../../src/examples/generated/pet.types.ts"],"names":[],"mappings":""}

package/dist/examples/pet-store.d.ts

@@ -0,0 +1,137 @@
+declare const Customer: import("../schema/model.js").ModelDef<"Customer", {
+    readonly email: import("../schema/props.js").StringProp;
+    readonly name: import("../schema/props.js").StringProp;
+    readonly status: import("../schema/props.js").LifecycleProp<readonly ["active", "suspended", "deleted"]>;
+}, {
+    readonly updateEmail: import("../schema/actions.js").ActionDef<{
+        email: string;
+    }>;
+}, Record<string, never>, {
+    delete: import("../schema/transitions.js").TransitionBuilder<"active", "deleted", {
+        readonly email: string;
+        readonly name: string;
+        readonly status: "active" | "suspended" | "deleted";
+    }, "active" | "suspended" | "deleted">;
+    reactivate: import("../schema/transitions.js").TransitionBuilder<"suspended", "active", {
+        readonly email: string;
+        readonly name: string;
+        readonly status: "active" | "suspended" | "deleted";
+    }, "active" | "suspended" | "deleted">;
+    suspend: import("../schema/transitions.js").TransitionBuilder<"active", "suspended", {
+        readonly email: string;
+        readonly name: string;
+        readonly status: "active" | "suspended" | "deleted";
+    }, "active" | "suspended" | "deleted">;
+}, Record<string, never>>;
+declare const Pet: import("../schema/model.js").ModelDef<"Pet", {
+    readonly name: import("../schema/props.js").StringProp;
+    readonly nickname: import("../schema/props.js").OptionalPropDef<import("../schema/props.js").StringProp>;
+    readonly price: import("../schema/props.js").NumberProp;
+    readonly species: import("../schema/props.js").OneOfProp<readonly ["dog", "cat", "bird", "fish"]>;
+    readonly status: import("../schema/props.js").LifecycleProp<readonly ["available", "reserved", "sold"]>;
+    readonly vaccinated: import("../schema/props.js").BooleanProp;
+}, {
+    readonly updatePrice: import("../schema/actions.js").ActionDef<{
+        price: number;
+    }>;
+    readonly vaccinate: import("../schema/actions.js").ActionDef<{
+        date: string;
+    }>;
+}, Record<string, never>, {
+    release: import("../schema/transitions.js").TransitionBuilder<"reserved", "available", {
+        readonly nickname?: string;
+        readonly name: string;
+        readonly price: number;
+        readonly species: "dog" | "cat" | "bird" | "fish";
+        readonly status: "available" | "reserved" | "sold";
+        readonly vaccinated: boolean;
+    }, "available" | "reserved" | "sold">;
+    reserve: import("../schema/transitions.js").TransitionBuilder<"available", "reserved", {
+        readonly nickname?: string;
+        readonly name: string;
+        readonly price: number;
+        readonly species: "dog" | "cat" | "bird" | "fish";
+        readonly status: "available" | "reserved" | "sold";
+        readonly vaccinated: boolean;
+    }, "available" | "reserved" | "sold">;
+    sell: import("../schema/transitions.js").TransitionBuilder<"reserved", "sold", {
+        readonly nickname?: string;
+        readonly name: string;
+        readonly price: number;
+        readonly species: "dog" | "cat" | "bird" | "fish";
+        readonly status: "available" | "reserved" | "sold";
+        readonly vaccinated: boolean;
+    }, "available" | "reserved" | "sold">;
+}, {
+    nicknameTooLong: import("../schema/constraints.js").ConstraintBuilder<{
+        readonly nickname?: string;
+        readonly name: string;
+        readonly price: number;
+        readonly species: "dog" | "cat" | "bird" | "fish";
+        readonly status: "available" | "reserved" | "sold";
+        readonly vaccinated: boolean;
+    }, "updatePrice" | "vaccinate">;
+}>;
+declare const Order: import("../schema/model.js").ModelDef<"Order", {
+    readonly createdAt: import("../schema/props.js").DateProp;
+    readonly status: import("../schema/props.js").LifecycleProp<readonly ["pending", "paid", "shipped", "delivered", "cancelled"]>;
+    readonly total: import("../schema/props.js").NumberProp;
+}, {
+    readonly addItem: import("../schema/actions.js").ActionDef<{
+        productId: string;
+        quantity: number;
+    }>;
+    readonly removeItem: import("../schema/actions.js").ActionDef<{
+        itemId: string;
+    }>;
+}, {
+    readonly customer: import("../schema/relations.js").RelationDef<"belongsTo">;
+    readonly item: import("../schema/relations.js").RelationDef<"hasMany">;
+}, {
+    cancel: import("../schema/transitions.js").TransitionBuilder<"pending", "cancelled", {
+        readonly createdAt: Date;
+        readonly status: "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+        readonly total: number;
+    }, "pending" | "paid" | "shipped" | "delivered" | "cancelled">;
+    deliver: import("../schema/transitions.js").TransitionBuilder<"shipped", "delivered", {
+        readonly createdAt: Date;
+        readonly status: "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+        readonly total: number;
+    }, "pending" | "paid" | "shipped" | "delivered" | "cancelled">;
+    pay: import("../schema/transitions.js").TransitionBuilder<"pending", "paid", {
+        readonly createdAt: Date;
+        readonly status: "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+        readonly total: number;
+    }, "pending" | "paid" | "shipped" | "delivered" | "cancelled">;
+    ship: import("../schema/transitions.js").TransitionBuilder<"paid", "shipped", {
+        readonly createdAt: Date;
+        readonly status: "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+        readonly total: number;
+    }, "pending" | "paid" | "shipped" | "delivered" | "cancelled">;
+}, {
+    cannotAddWhenCancelled: import("../schema/constraints.js").ConstraintBuilder<{
+        readonly createdAt: Date;
+        readonly status: "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+        readonly total: number;
+    }, "addItem" | "removeItem">;
+    cannotRemoveWhenEmpty: import("../schema/constraints.js").ConstraintBuilder<{
+        readonly createdAt: Date;
+        readonly status: "pending" | "paid" | "shipped" | "delivered" | "cancelled";
+        readonly total: number;
+    }, "addItem" | "removeItem">;
+}>;
+declare const CreditTier: import("../schema/decisions.js").DecisionDef<"CreditTier", {
+    readonly amount: import("../schema/props.js").NumberProp;
+    readonly extraItemId: import("../schema/props.js").StringProp;
+}, {
+    readonly credits: import("../schema/props.js").NumberProp;
+}>;
+declare const PetAdoptionFee: import("../schema/decisions.js").DecisionDef<"PetAdoptionFee", {
+    readonly species: import("../schema/props.js").OneOfProp<readonly ["dog", "cat", "bird", "fish"]>;
+    readonly vaccinated: import("../schema/props.js").BooleanProp;
+}, {
+    readonly fee: import("../schema/props.js").NumberProp;
+}>;
+declare const NoSuspendedCustomerOrders: import("../schema/policy.js").PolicyDef<"NoSuspendedCustomerOrders">;
+export { CreditTier, Customer, NoSuspendedCustomerOrders, Order, Pet, PetAdoptionFee, };
+//# sourceMappingURL=pet-store.d.ts.map

package/dist/examples/pet-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet-store.d.ts","sourceRoot":"","sources":["../../src/examples/pet-store.ts"],"names":[],"mappings":"AAoBA,QAAA,MAAM,QAAQ;;;;;;eAEmB,MAAM;;;;;;;;;;;;;;;;;;yBAYrC,CAAC;AAeH,QAAA,MAAM,GAAG;;;;;;;;;eAEwB,MAAM;;;cACT,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuBlC,CAAC;AAYH,QAAA,MAAM,KAAK;;;;;;mBAEsB,MAAM;kBAAY,MAAM;;;gBAIxB,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6BrC,CAAC;AAIH,QAAA,MAAM,UAAU;;;;;EAQd,CAAC;AAOH,QAAA,MAAM,cAAc;;;;;EAWlB,CAAC;AAKH,QAAA,MAAM,yBAAyB,sEAe7B,CAAC;AAEH,OAAO,EACL,UAAU,EACV,QAAQ,EACR,yBAAyB,EACzB,KAAK,EACL,GAAG,EACH,cAAc,GACf,CAAC"}