dopespec 0.0.1

package/dist/schema/model.d.ts

@@ -0,0 +1,65 @@
+import type { ActionDef } from "./actions.js";
+import type { ConstraintBuilder, ConstraintData } from "./constraints.js";
+import type { InferContext, LifecycleProp, PropDef } from "./props.js";
+import type { RelationDef } from "./relations.js";
+import type { TransitionBuilder, TransitionData } from "./transitions.js";
+import type { ModelRef } from "./types.js";
+export type ConstraintHelpers<Ctx, ActionKeys extends string> = {
+    rule: () => ConstraintBuilder<Ctx, ActionKeys>;
+};
+export type ModelDef<Name extends string = string, P extends Record<string, PropDef> = Record<string, PropDef>, A extends Record<string, ActionDef> = Record<string, ActionDef>, R extends Record<string, RelationDef> = Record<string, RelationDef>, T extends Record<string, TransitionDefBase> = Record<string, TransitionDefBase>, C extends Record<string, ConstraintDefBase> = Record<string, ConstraintDefBase>> = IfProvided<"actions", A> & IfProvided<"constraints", StripConstraintMethods<C>> & IfProvided<"props", P> & IfProvided<"relations", R> & IfProvided<"transitions", StripTransitionMethods<T>> & ModelRef & {
+    readonly name: Name;
+};
+/**
+ * Extracts the state union from lifecycle() props only (not oneOf).
+ * Returns `never` if zero or multiple lifecycle() props exist — only one allowed per model.
+ */
+export type StatesOf<P extends Record<string, PropDef>> = IsUnion<LifecycleKeys<P>> extends true ? never : string & {
+    [K in keyof P]: P[K] extends LifecycleProp<infer T> ? T[number] : never;
+}[keyof P];
+export type TransitionHelpers<Ctx, States extends string> = {
+    from: <F extends States>(state: F) => {
+        to: <T extends States>(toState: T) => TransitionBuilder<F, T, Ctx, States>;
+    };
+};
+type ConstraintDefBase = {
+    readonly kind: "constraint";
+};
+/**
+ * Makes field K required when V has concrete keys (user-provided),
+ * optional when V has a string index signature (unparameterized default).
+ * Depends on ModelDef defaults being Record<string, …> and model() defaults
+ * being Record<string, never> — both have `string` as keyof.
+ */
+type IfProvided<K extends string, V> = string extends keyof V ? {
+    readonly [k in K]?: V;
+} : {
+    readonly [k in K]: V;
+};
+type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;
+type LifecycleKeys<P extends Record<string, PropDef>> = {
+    [K in keyof P]: P[K] extends LifecycleProp<readonly string[]> ? K : never;
+}[keyof P];
+type StripConstraintMethods<C extends Record<string, ConstraintDefBase>> = {
+    readonly [K in keyof C]: ToConstraintData<C[K]>;
+};
+type StripTransitionMethods<T extends Record<string, TransitionDefBase>> = {
+    readonly [K in keyof T]: ToTransitionData<T[K]>;
+};
+type ToConstraintData<T> = T extends ConstraintBuilder<infer Ctx, infer A> ? ConstraintData<Ctx, A> : T extends ConstraintData<infer Ctx, infer A> ? ConstraintData<Ctx, A> : T;
+type ToTransitionData<T> = T extends TransitionBuilder<infer F, infer To, infer Ctx, infer S> ? TransitionData<F, To, Ctx, S> : T extends TransitionData<infer F, infer To, infer Ctx, infer S> ? TransitionData<F, To, Ctx, S> : T;
+type TransitionDefBase = {
+    readonly from: string;
+    readonly kind: "transition";
+    readonly to: string;
+};
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+export declare function model<const Name extends string, const P extends Record<string, PropDef> = Record<string, never>, const A extends Record<string, ActionDef> = Record<string, never>, const R extends Record<string, RelationDef> = Record<string, never>, T extends Record<string, TransitionDefBase> = Record<string, never>, C extends Record<string, ConstraintDefBase> = Record<string, never>>(name: Name, config: {
+    readonly actions?: A;
+    readonly constraints?: (helpers: ConstraintHelpers<InferContext<P>, Extract<keyof A, string>>) => C;
+    readonly props?: P;
+    readonly relations?: R;
+    readonly transitions?: (helpers: TransitionHelpers<InferContext<P>, StatesOf<P>>) => T;
+}): ModelDef<Name, P, A, R, T, C>;
+export {};
+//# sourceMappingURL=model.d.ts.map

package/dist/schema/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/schema/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAO3C,MAAM,MAAM,iBAAiB,CAAC,GAAG,EAAE,UAAU,SAAS,MAAM,IAAI;IAC9D,IAAI,EAAE,MAAM,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;CAChD,CAAC;AACF,MAAM,MAAM,QAAQ,CAClB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3D,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAC/D,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EACnE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,MAAM,CAClD,MAAM,EACN,iBAAiB,CAClB,EACD,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,MAAM,CAClD,MAAM,EACN,iBAAiB,CAClB,IACC,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC,GAC1B,UAAU,CAAC,aAAa,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,GACpD,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GACtB,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,GAC1B,UAAU,CAAC,aAAa,EAAE,sBAAsB,CAAC,CAAC,CAAC,CAAC,GACpD,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAErC;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACpD,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClC,KAAK,GACL,MAAM,GACJ;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC/C,CAAC,CAAC,MAAM,CAAC,GACT,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,CAAC;AAEnB,MAAM,MAAM,iBAAiB,CAAC,GAAG,EAAE,MAAM,SAAS,MAAM,IAAI;IAC1D,IAAI,EAAE,CAAC,CAAC,SAAS,MAAM,EACrB,KAAK,EAAE,CAAC,KACL;QACH,EAAE,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,CAAC,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;KAC5E,CAAC;CACH,CAAC;AAEF,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B,CAAC;AAIF;;;;;GAKG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,MAAM,SAAS,MAAM,CAAC,GACzD;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;CAAE,GACzB;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;CAAE,CAAC;AAE7B,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAItE,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK;CAC1E,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,KAAK,sBAAsB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI;IACzE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAChD,CAAC;AAIF,KAAK,sBAAsB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI;IACzE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAChD,CAAC;AAEF,KAAK,gBAAgB,CAAC,CAAC,IACrB,CAAC,SAAS,iBAAiB,CAAC,MAAM,GAAG,EAAE,MAAM,CAAC,CAAC,GAC3C,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,GACtB,CAAC,SAAS,cAAc,CAAC,MAAM,GAAG,EAAE,MAAM,CAAC,CAAC,GAC1C,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,GACtB,CAAC,CAAC;AAEV,KAAK,gBAAgB,CAAC,CAAC,IACrB,CAAC,SAAS,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,GAAG,EAAE,MAAM,CAAC,CAAC,GAC9D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAC7B,CAAC,SAAS,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,GAAG,EAAE,MAAM,CAAC,CAAC,GAC7D,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAC7B,CAAC,CAAC;AAEV,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAIF,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAC5B,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAC3C,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AAGV,wBAAgB,KAAK,CACnB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAC/D,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACjE,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACnE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACnE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAEnE,IAAI,EAAE,IAAI,EACV,MAAM,EAAE;IACN,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,CACrB,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,KAClE,CAAC,CAAC;IACP,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,CACrB,OAAO,EAAE,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KACrD,CAAC,CAAC;CACR,GACA,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/schema/model.js

@@ -0,0 +1,30 @@
+import { createTypedRule } from "./constraints.js";
+import { createTypedFrom } from "./transitions.js";
+// Implementation — callers see the public overload's return type, not this one.
+// The phantom ModelRef brand exists only at the type level.
+// eslint-disable-next-line padding-line-between-statements -- overload implementation must be adjacent
+export function model(name, config) {
+    const trimmed = name.trim();
+    if (!trimmed)
+        throw new Error("model() requires a non-empty name");
+    const cfg = config;
+    const transitions = cfg.transitions
+        ? cfg.transitions({ from: createTypedFrom() })
+        : undefined;
+    const constraints = cfg.constraints
+        ? cfg.constraints({ rule: createTypedRule() })
+        : undefined;
+    const result = { kind: "model", name: trimmed };
+    if (cfg.props !== undefined)
+        result["props"] = cfg.props;
+    if (cfg.actions !== undefined)
+        result["actions"] = cfg.actions;
+    if (cfg.relations !== undefined)
+        result["relations"] = cfg.relations;
+    if (transitions !== undefined)
+        result["transitions"] = transitions;
+    if (constraints !== undefined)
+        result["constraints"] = constraints;
+    return result;
+}
+//# sourceMappingURL=model.js.map

package/dist/schema/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/schema/model.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAqInD,gFAAgF;AAChF,4DAA4D;AAC5D,uGAAuG;AACvG,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,MAA+B;IACjE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE5B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAEnE,MAAM,GAAG,GAAG,MAUX,CAAC;IAEF,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW;QACjC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW;QACjC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,MAAM,GAA4B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAEzE,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IACzD,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IAC/D,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;QAAE,MAAM,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC;IACrE,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC;IACnE,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC;IAEnE,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/schema/policy.d.ts

@@ -0,0 +1,25 @@
+import type { RelationDef } from "./relations.js";
+import type { ModelRef } from "./types.js";
+export type PolicyDef<Name extends string = string> = {
+    readonly kind: "policy";
+    readonly name: Name;
+    readonly on: {
+        readonly action: string;
+        readonly model: ModelRef;
+    };
+    readonly requires: Record<string, RelationDef>;
+    readonly rules: readonly PolicyRule[];
+};
+export type PolicyRule = {
+    readonly effect: "prevent" | "warn";
+    readonly when: (ctx: any) => boolean;
+};
+export declare function policy<const Name extends string>(name: Name, config: {
+    readonly on: {
+        readonly action: string;
+        readonly model: ModelRef;
+    };
+    readonly requires: Record<string, RelationDef>;
+    readonly rules: readonly PolicyRule[];
+}): PolicyDef<Name>;
+//# sourceMappingURL=policy.d.ts.map

package/dist/schema/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/schema/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,MAAM,SAAS,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,IAAI;IACpD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;KAAE,CAAC;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC;IAEpC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC;CACtC,CAAC;AAKF,wBAAgB,MAAM,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAC9C,IAAI,EAAE,IAAI,EACV,MAAM,EAAE;IACN,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;KAAE,CAAC;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC,GACA,SAAS,CAAC,IAAI,CAAC,CAAC"}

package/dist/schema/policy.js

@@ -0,0 +1,53 @@
+const VALID_EFFECTS = new Set(["prevent", "warn"]);
+// Implementation — callers see the public overload's return type, not this one.
+// eslint-disable-next-line padding-line-between-statements -- overload implementation must be adjacent
+export function policy(name, config) {
+    const trimmed = name.trim();
+    if (!trimmed)
+        throw new Error("policy() requires a non-empty name");
+    const cfg = config;
+    const action = validateOn(cfg.on);
+    validateRequires(cfg.requires);
+    validateRules(cfg.rules);
+    return {
+        kind: "policy",
+        name: trimmed,
+        on: { action, model: cfg.on.model },
+        requires: cfg.requires,
+        rules: cfg.rules,
+    };
+}
+function validateOn(on) {
+    if (!on || typeof on !== "object" || !on.model || on.model.kind !== "model")
+        throw new Error("policy() on.model must be a model() or ref() reference");
+    const action = typeof on.action === "string" ? on.action.trim() : "";
+    if (!action)
+        throw new Error("policy() on.action must be a non-empty string");
+    // Validate action exists on target model (skip for ref() — model not yet defined)
+    const modelActions = on.model["actions"];
+    if (modelActions && !Object.keys(modelActions).includes(action))
+        throw new Error(`policy() on.action "${action}" is not a defined action on model "${on.model.name}"`);
+    return action;
+}
+function validateRequires(requires) {
+    const keys = Object.keys(requires ?? {});
+    if (keys.length === 0)
+        throw new Error("policy() requires at least one entry in requires");
+    for (const [key, rel] of Object.entries(requires ?? {})) {
+        if (!rel ||
+            typeof rel !== "object" ||
+            (rel.kind !== "belongsTo" && rel.kind !== "hasMany"))
+            throw new Error(`policy() requires["${key}"] must be a belongsTo() or hasMany() relation`);
+    }
+}
+function validateRules(rules) {
+    if (!rules || rules.length === 0)
+        throw new Error("policy() requires at least one rule");
+    for (const [i, rule] of rules.entries()) {
+        if (typeof rule.when !== "function")
+            throw new Error(`policy() rules[${String(i)}].when must be a function`);
+        if (!VALID_EFFECTS.has(rule.effect))
+            throw new Error(`policy() rules[${String(i)}].effect must be "prevent" or "warn"`);
+    }
+}
+//# sourceMappingURL=policy.js.map

package/dist/schema/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/schema/policy.ts"],"names":[],"mappings":"AAiBA,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAWnD,gFAAgF;AAChF,uGAAuG;AACvG,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,MAA+B;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE5B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAEpE,MAAM,GAAG,GAAG,MAIX,CAAC;IAEF,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAElC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAEzB,OAAO;QACL,IAAI,EAAE,QAAiB;QACvB,IAAI,EAAE,OAAO;QACb,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE;QACnC,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,EAAuC;IACzD,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;QACzE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAE5E,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAErE,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAE9E,kFAAkF;IAClF,MAAM,YAAY,GAAI,EAAE,CAAC,KAAiC,CAAC,SAAS,CAEvD,CAAC;IAEd,IAAI,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,uBAAuB,MAAM,uCAAuC,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CACrF,CAAC;IAEJ,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CACvB,QAAiD;IAEjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAEzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAEtE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QACxD,IACE,CAAC,GAAG;YACJ,OAAO,GAAG,KAAK,QAAQ;YACvB,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;YAEpD,MAAM,IAAI,KAAK,CACb,sBAAsB,GAAG,gDAAgD,CAC1E,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,KAA+D;IAE/D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAEzD,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU;YACjC,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC;QAC1E,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YACjC,MAAM,IAAI,KAAK,CACb,kBAAkB,MAAM,CAAC,CAAC,CAAC,sCAAsC,CAClE,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/schema/props.d.ts

@@ -0,0 +1,57 @@
+export type BooleanProp = PropDef<"boolean", null>;
+export type DateProp = PropDef<"date", null>;
+export type InferContext<Props extends Record<string, PropDef>> = InferContextRaw<Props> extends infer T ? {
+    [K in keyof T]: T[K];
+} & {} : never;
+export type InferPropType<P> = P extends StringProp ? string : P extends NumberProp ? number : P extends BooleanProp ? boolean : P extends DateProp ? Date : P extends OneOfProp<infer T> ? T[number] : P extends LifecycleProp<infer T> ? T[number] : never;
+/**
+ * Lifecycle prop — defines the state machine states for a model.
+ * Only lifecycle() values are valid in from().to() transitions.
+ * Use oneOf() for regular enums that don't participate in transitions.
+ */
+export type LifecycleProp<T extends readonly string[]> = PropDef<"lifecycle", T>;
+export type NumberProp = PropDef<"number", null>;
+export type OneOfProp<T extends readonly string[]> = PropDef<"oneOf", T>;
+export type PropDef<K extends PropKind = PropKind, V = unknown> = {
+    readonly kind: K;
+    readonly values: V;
+};
+export type PropKind = "boolean" | "date" | "lifecycle" | "number" | "oneOf" | "string";
+export type StringProp = PropDef<"string", null>;
+type InferContextRaw<Props extends Record<string, PropDef>> = {
+    [K in keyof Props as Props[K] extends OptionalPropDef ? K : never]?: InferPropType<Props[K]>;
+} & {
+    [K in keyof Props as Props[K] extends OptionalPropDef ? never : K]: InferPropType<Props[K]>;
+};
+/** Runtime brand for optional props — set by optional(), checked by isOptional(). */
+declare const OPTIONAL_BRAND: unique symbol;
+export { OPTIONAL_BRAND };
+/** Symbol used to store the original tuple on a StatesObject. */
+declare const STATES_VALUES: unique symbol;
+/** Phantom brand — type-level only, prevents structural spoofing. Same pattern as ModelRef. */
+declare const STATES_BRAND: unique symbol;
+/** Object returned by lifecycle.states() — named keys mapping to themselves, plus a hidden tuple. */
+export type StatesObject<T extends readonly string[]> = {
+    readonly [K in T[number]]: K;
+} & {
+    readonly [STATES_BRAND]: true;
+    readonly [STATES_VALUES]: T;
+};
+export declare const string: () => StringProp;
+export declare const number: () => NumberProp;
+export declare const boolean: () => BooleanProp;
+export declare const date: () => DateProp;
+export type OptionalPropDef<P extends PropDef = PropDef> = P & {
+    readonly [OPTIONAL_BRAND]: true;
+};
+/** Wraps a prop as optional. Lifecycle props cannot be optional — a model always has a current state. */
+export declare const optional: <P extends PropDef>(prop: P & (P extends LifecycleProp<readonly string[]> ? never : P)) => OptionalPropDef<P>;
+/** Check if a prop was wrapped with optional() at runtime. */
+export declare const isOptional: (prop: PropDef) => prop is OptionalPropDef;
+export declare const oneOf: <const T extends readonly string[]>(values: T) => OneOfProp<T>;
+declare function _lifecycle<const T extends readonly string[]>(values: StatesObject<T>): LifecycleProp<T>;
+declare function _lifecycle<const T extends readonly string[]>(values: T): LifecycleProp<T>;
+export declare const lifecycle: typeof _lifecycle & {
+    states: <const T extends readonly string[]>(...names: T) => StatesObject<T>;
+};
+//# sourceMappingURL=props.d.ts.map

package/dist/schema/props.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"props.d.ts","sourceRoot":"","sources":["../../src/schema/props.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAEnD,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAG7C,MAAM,MAAM,YAAY,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAC5D,eAAe,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAClC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAC7B,KAAK,CAAC;AAEZ,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,GAC/C,MAAM,GACN,CAAC,SAAS,UAAU,GAClB,MAAM,GACN,CAAC,SAAS,WAAW,GACnB,OAAO,GACP,CAAC,SAAS,QAAQ,GAChB,IAAI,GACJ,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,CAAC,MAAM,CAAC,GACT,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC9B,CAAC,CAAC,MAAM,CAAC,GACT,KAAK,CAAC;AACpB;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI,OAAO,CAC9D,WAAW,EACX,CAAC,CACF,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACjD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,CAAC,GAAG,OAAO,IAAI;IAChE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,SAAS,GACT,MAAM,GACN,WAAW,GACX,QAAQ,GACR,OAAO,GACP,QAAQ,CAAC;AAEb,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AAEjD,KAAK,eAAe,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;KAC3D,CAAC,IAAI,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,eAAe,GACjD,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACrC,GAAG;KACD,CAAC,IAAI,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,eAAe,GACjD,KAAK,GACL,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAChC,CAAC;AAEF,qFAAqF;AACrF,QAAA,MAAM,cAAc,EAAE,OAAO,MAAoC,CAAC;AAElE,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,iEAAiE;AACjE,QAAA,MAAM,aAAa,EAAE,OAAO,MAAkC,CAAC;AAE/D,+FAA+F;AAC/F,OAAO,CAAC,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC;AAE1C,qGAAqG;AACrG,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;IACtD,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;CAC7B,GAAG;IAAE,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEnE,eAAO,MAAM,MAAM,QAAO,UAAgD,CAAC;AAC3E,eAAO,MAAM,MAAM,QAAO,UAAgD,CAAC;AAC3E,eAAO,MAAM,OAAO,QAAO,WAAkD,CAAC;AAC9E,eAAO,MAAM,IAAI,QAAO,QAA4C,CAAC;AAErE,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI,CAAC,GAAG;IAC7D,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC;CACjC,CAAC;AAEF,yGAAyG;AACzG,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,OAAO,EACxC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,aAAa,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,KACjE,eAAe,CAAC,CAAC,CAanB,CAAC;AAEF,8DAA8D;AAC9D,eAAO,MAAM,UAAU,GAAI,MAAM,OAAO,KAAG,IAAI,IAAI,eACkB,CAAC;AAEtE,eAAO,MAAM,KAAK,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACrD,QAAQ,CAAC,KACR,SAAS,CAAC,CAAC,CAGZ,CAAC;AAEH,iBAAS,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACnD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,GACtB,aAAa,CAAC,CAAC,CAAC,CAAC;AACpB,iBAAS,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACnD,MAAM,EAAE,CAAC,GACR,aAAa,CAAC,CAAC,CAAC,CAAC;AAWpB,eAAO,MAAM,SAAS;mBACL,CAAC,SAAS,SAAS,MAAM,EAAE,YAAY,CAAC,KAAG,YAAY,CAAC,CAAC,CAAC;CAsBzE,CAAC"}

package/dist/schema/props.js

@@ -0,0 +1,53 @@
+/** Runtime brand for optional props — set by optional(), checked by isOptional(). */
+const OPTIONAL_BRAND = Symbol("dopespec.optional");
+export { OPTIONAL_BRAND };
+/** Symbol used to store the original tuple on a StatesObject. */
+const STATES_VALUES = Symbol("dopespec.states");
+export const string = () => ({ kind: "string", values: null });
+export const number = () => ({ kind: "number", values: null });
+export const boolean = () => ({ kind: "boolean", values: null });
+export const date = () => ({ kind: "date", values: null });
+/** Wraps a prop as optional. Lifecycle props cannot be optional — a model always has a current state. */
+export const optional = (prop) => {
+    if (prop.kind === "lifecycle") {
+        throw new Error("lifecycle props cannot be optional");
+    }
+    const result = { ...prop };
+    Object.defineProperty(result, OPTIONAL_BRAND, {
+        enumerable: false,
+        value: true,
+    });
+    return result;
+};
+/** Check if a prop was wrapped with optional() at runtime. */
+export const isOptional = (prop) => OPTIONAL_BRAND in prop && prop[OPTIONAL_BRAND];
+export const oneOf = (values) => ({
+    kind: "oneOf",
+    values,
+});
+function _lifecycle(values) {
+    const tuple = Array.isArray(values)
+        ? values
+        : values[STATES_VALUES];
+    return { kind: "lifecycle", values: tuple };
+}
+export const lifecycle = Object.assign(_lifecycle, {
+    states: (...names) => {
+        const seen = new Set();
+        for (const name of names) {
+            if (seen.has(name)) {
+                throw new Error(`lifecycle.states() received duplicate name '${name}'`);
+            }
+            seen.add(name);
+        }
+        const obj = {};
+        for (const name of names)
+            obj[name] = name;
+        Object.defineProperty(obj, STATES_VALUES, {
+            enumerable: false,
+            value: names,
+        });
+        return Object.freeze(obj);
+    },
+});
+//# sourceMappingURL=props.js.map

package/dist/schema/props.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"props.js","sourceRoot":"","sources":["../../src/schema/props.ts"],"names":[],"mappings":"AA4DA,qFAAqF;AACrF,MAAM,cAAc,GAAkB,MAAM,CAAC,mBAAmB,CAAC,CAAC;AAElE,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,iEAAiE;AACjE,MAAM,aAAa,GAAkB,MAAM,CAAC,iBAAiB,CAAC,CAAC;AAU/D,MAAM,CAAC,MAAM,MAAM,GAAG,GAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,MAAM,GAAG,GAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,OAAO,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,IAAI,GAAG,GAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAMrE,yGAAyG;AACzG,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAkE,EAC9C,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC;IAE3B,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE;QAC5C,UAAU,EAAE,KAAK;QACjB,KAAK,EAAE,IAAI;KACZ,CAAC,CAAC;IAEH,OAAO,MAAuC,CAAC;AACjD,CAAC,CAAC;AAEF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAa,EAA2B,EAAE,CACnE,cAAc,IAAI,IAAI,IAAK,IAAwB,CAAC,cAAc,CAAC,CAAC;AAEtE,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAS,EACK,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,OAAO;IACb,MAAM;CACP,CAAC,CAAC;AAQH,SAAS,UAAU,CACjB,MAA2D;IAE3D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACjC,CAAC,CAAC,MAAM;QACR,CAAC,CAAE,MAA0C,CAAC,aAAa,CAAC,CAAC;IAE/D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE;IACjD,MAAM,EAAE,CAAoC,GAAG,KAAQ,EAAmB,EAAE;QAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,+CAA+C,IAAI,GAAG,CAAC,CAAC;YAC1E,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;QAED,MAAM,GAAG,GAAG,EAA4B,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QAE3C,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE;YACxC,UAAU,EAAE,KAAK;YACjB,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAoB,CAAC;IAC/C,CAAC;CACF,CAAC,CAAC"}

package/dist/schema/relations.d.ts

@@ -0,0 +1,9 @@
+import type { ModelRef } from "./types.js";
+export type RelationDef<K extends RelationKind = RelationKind> = {
+    readonly kind: K;
+    readonly target: ModelRef;
+};
+export type RelationKind = "belongsTo" | "hasMany";
+export declare const hasMany: (target: ModelRef) => RelationDef<"hasMany">;
+export declare const belongsTo: (target: ModelRef) => RelationDef<"belongsTo">;
+//# sourceMappingURL=relations.d.ts.map

package/dist/schema/relations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relations.d.ts","sourceRoot":"","sources":["../../src/schema/relations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,YAAY,GAAG,YAAY,IAAI;IAC/D,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC;AAEnD,eAAO,MAAM,OAAO,GAAI,QAAQ,QAAQ,KAAG,WAAW,CAAC,SAAS,CAG9D,CAAC;AAEH,eAAO,MAAM,SAAS,GAAI,QAAQ,QAAQ,KAAG,WAAW,CAAC,WAAW,CAGlE,CAAC"}

package/dist/schema/relations.js

@@ -0,0 +1,9 @@
+export const hasMany = (target) => ({
+    kind: "hasMany",
+    target,
+});
+export const belongsTo = (target) => ({
+    kind: "belongsTo",
+    target,
+});
+//# sourceMappingURL=relations.js.map

package/dist/schema/relations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relations.js","sourceRoot":"","sources":["../../src/schema/relations.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAgB,EAA0B,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,SAAS;IACf,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAgB,EAA4B,EAAE,CAAC,CAAC;IACxE,IAAI,EAAE,WAAW;IACjB,MAAM;CACP,CAAC,CAAC"}

package/dist/schema/transitions.d.ts

@@ -0,0 +1,34 @@
+/**
+ * A test scenario for a transition. `given` is a partial set of model props —
+ * only the fields relevant to this scenario need be specified. `expected` is
+ * the state the model should be in after the transition.
+ */
+export type Scenario<Ctx = Record<string, unknown>, States extends string = string> = {
+    readonly expected: States;
+    readonly given: Partial<Ctx>;
+};
+/** Builder — returned during model definition for chaining .when()/.scenario(). */
+export type TransitionBuilder<From extends string = string, To extends string = string, Ctx = Record<string, unknown>, States extends string = string> = {
+    scenario(given: Partial<Ctx>, expected: States): TransitionBuilder<From, To, Ctx, States>;
+    /**
+     * Replaces previous guard (last-wins semantics).
+     * Guards on optional props must handle undefined values — no automatic null checks are added.
+     */
+    when(fn: (ctx: Ctx) => boolean): TransitionBuilder<From, To, Ctx, States>;
+} & TransitionData<From, To, Ctx, States>;
+/** Plain data — stored in ModelDef, consumed by codegen. No builder methods. */
+export type TransitionData<From extends string = string, To extends string = string, Ctx = Record<string, unknown>, States extends string = string> = {
+    readonly from: From;
+    readonly guard: ((ctx: Ctx) => boolean) | null;
+    readonly kind: "transition";
+    readonly scenarios: readonly Scenario<Ctx, States>[];
+    readonly to: To;
+};
+export declare const from: <F extends string>(state: F) => {
+    to<T extends string>(toState: T): TransitionBuilder<F, T>;
+};
+/** @internal Used by model() to create typed from() factories. Phantom generics — type-level only, erased at runtime. */
+export declare const createTypedFrom: <Ctx, States extends string>() => <F extends States>(state: F) => {
+    to<T extends States>(toState: T): TransitionBuilder<F, T, Ctx, States>;
+};
+//# sourceMappingURL=transitions.d.ts.map

package/dist/schema/transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../../src/schema/transitions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAClB,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,MAAM,SAAS,MAAM,GAAG,MAAM,IAC5B;IACF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;CAC9B,CAAC;AAEF,mFAAmF;AACnF,MAAM,MAAM,iBAAiB,CAC3B,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,EAAE,SAAS,MAAM,GAAG,MAAM,EAC1B,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,MAAM,SAAS,MAAM,GAAG,MAAM,IAC5B;IACF,QAAQ,CACN,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EACnB,QAAQ,EAAE,MAAM,GACf,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC5C;;;OAGG;IACH,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;CAC3E,GAAG,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;AAE1C,gFAAgF;AAChF,MAAM,MAAM,cAAc,CACxB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,EAAE,SAAS,MAAM,GAAG,MAAM,EAC1B,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,MAAM,SAAS,MAAM,GAAG,MAAM,IAC5B;IACF,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IACrD,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;CACjB,CAAC;AAoCF,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,MAAM,EAAE,OAAO,CAAC;OAC1C,CAAC,SAAS,MAAM,WAAW,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC;CAGzD,CAAC;AAEH,yHAAyH;AACzH,eAAO,MAAM,eAAe,GACzB,GAAG,EAAE,MAAM,SAAS,MAAM,QAC1B,CAAC,SAAS,MAAM,EAAE,OAAO,CAAC;OACtB,CAAC,SAAS,MAAM,WAAW,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC;CAQtE,CAAC"}

package/dist/schema/transitions.js

@@ -0,0 +1,25 @@
+const createTransitionBuilder = (fromState, toState, guard, scenarios) => ({
+    from: fromState,
+    guard,
+    kind: "transition",
+    scenario(given, expected) {
+        return createTransitionBuilder(fromState, toState, guard, [...scenarios, { expected, given }]);
+    },
+    scenarios,
+    to: toState,
+    when(fn) {
+        return createTransitionBuilder(fromState, toState, fn, scenarios);
+    },
+});
+export const from = (state) => ({
+    to(toState) {
+        return createTransitionBuilder(state, toState, null, []);
+    },
+});
+/** @internal Used by model() to create typed from() factories. Phantom generics — type-level only, erased at runtime. */
+export const createTypedFrom = () => (state) => ({
+    to(toState) {
+        return createTransitionBuilder(state, toState, null, []);
+    },
+});
+//# sourceMappingURL=transitions.js.map

package/dist/schema/transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../src/schema/transitions.ts"],"names":[],"mappings":"AA6CA,MAAM,uBAAuB,GAAG,CAM9B,SAAY,EACZ,OAAU,EACV,KAAqC,EACrC,SAA2C,EACL,EAAE,CAAC,CAAC;IAC1C,IAAI,EAAE,SAAS;IACf,KAAK;IACL,IAAI,EAAE,YAAY;IAClB,QAAQ,CAAC,KAAK,EAAE,QAAQ;QACtB,OAAO,uBAAuB,CAC5B,SAAS,EACT,OAAO,EACP,KAAK,EACL,CAAC,GAAG,SAAS,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CACpC,CAAC;IACJ,CAAC;IACD,SAAS;IACT,EAAE,EAAE,OAAO;IACX,IAAI,CAAC,EAAE;QACL,OAAO,uBAAuB,CAC5B,SAAS,EACT,OAAO,EACP,EAAE,EACF,SAAS,CACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAmB,KAAQ,EAAE,EAAE,CAAC,CAAC;IACnD,EAAE,CAAmB,OAAU;QAC7B,OAAO,uBAAuB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC3D,CAAC;CACF,CAAC,CAAC;AAEH,yHAAyH;AACzH,MAAM,CAAC,MAAM,eAAe,GAC1B,GAA+B,EAAE,CACjC,CAAmB,KAAQ,EAAE,EAAE,CAAC,CAAC;IAC/B,EAAE,CAAmB,OAAU;QAC7B,OAAO,uBAAuB,CAC5B,KAAK,EACL,OAAO,EACP,IAAI,EACJ,EAAE,CACH,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/schema/types.d.ts

@@ -0,0 +1,18 @@
+declare const MODEL_BRAND: unique symbol;
+/**
+ * Branded model reference — only model() outputs and ref() calls produce this type.
+ * The symbol brand does not exist at runtime; it prevents arbitrary objects
+ * from satisfying the type structurally.
+ */
+export type ModelRef = {
+    readonly kind: "model";
+    readonly [MODEL_BRAND]: true;
+    readonly name: string;
+};
+/**
+ * Create a forward reference to a model that hasn't been defined yet.
+ * Use this when two models reference each other (circular relations).
+ */
+export declare const ref: (name: string) => ModelRef;
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/schema/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEzC;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,GAAG,GAAI,MAAM,MAAM,KAAG,QAMlC,CAAC"}

package/dist/schema/types.js

@@ -0,0 +1,11 @@
+/**
+ * Create a forward reference to a model that hasn't been defined yet.
+ * Use this when two models reference each other (circular relations).
+ */
+export const ref = (name) => {
+    const trimmed = name.trim();
+    if (!trimmed)
+        throw new Error("ref() requires a non-empty model name");
+    return { kind: "model", name: trimmed };
+};
+//# sourceMappingURL=types.js.map

package/dist/schema/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAaA;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAY,EAAE;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE5B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAEvE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAc,CAAC;AACtD,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,55 @@
+{
+  "name": "dopespec",
+  "version": "0.0.1",
+  "description": "Schema-first domain modeling. Describe your business logic in TypeScript, generate types, state machines, validators, tests, Zod schemas, and Mermaid diagrams.",
+  "type": "module",
+  "main": "dist/schema/index.js",
+  "exports": {
+    ".": "./dist/schema/index.js"
+  },
+  "files": [
+    "dist",
+    "bin",
+    "README.md"
+  ],
+  "bin": {
+    "dopespec": "./bin/dopespec.mjs"
+  },
+  "scripts": {
+    "build": "tsc",
+    "generate": "tsx src/cli/generate.ts",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit",
+    "lint": "eslint src/",
+    "lint:fix": "eslint src/ --fix",
+    "format": "prettier --write .",
+    "format:check": "prettier --check ."
+  },
+  "keywords": [
+    "domain-modeling",
+    "codegen",
+    "typescript",
+    "ddd",
+    "state-machine",
+    "decision-table",
+    "schema"
+  ],
+  "author": "Yuri Mikhin",
+  "license": "ISC",
+  "packageManager": "pnpm@10.30.3",
+  "dependencies": {
+    "tsx": "^4.19.0"
+  },
+  "devDependencies": {
+    "@eslint/js": "^10.0.1",
+    "@types/node": "^25.5.0",
+    "eslint": "^10.1.0",
+    "eslint-plugin-perfectionist": "^5.7.0",
+    "eslint-plugin-sonarjs": "^4.0.2",
+    "prettier": "^3.8.1",
+    "typescript": "^6.0.2",
+    "typescript-eslint": "^8.57.2",
+    "vitest": "^4.1.1",
+    "zod": "^4.3.6"
+  }
+}