dopespec 0.0.1

package/dist/examples/pet-store.js

@@ -0,0 +1,139 @@
+import { action, belongsTo, boolean, date, decisions, hasMany, lifecycle, model, number, oneOf, optional, policy, string, } from "../schema/index.js";
+// --- Customer ---
+const customerStates = lifecycle.states("active", "suspended", "deleted");
+const Customer = model("Customer", {
+    actions: {
+        updateEmail: action({ email: string() }),
+    },
+    props: {
+        email: string(),
+        name: string(),
+        status: lifecycle(customerStates),
+    },
+    transitions: ({ from }) => ({
+        delete: from(customerStates.active).to(customerStates.deleted),
+        reactivate: from(customerStates.suspended).to(customerStates.active),
+        suspend: from(customerStates.active).to(customerStates.suspended),
+    }),
+});
+// --- Pet ---
+const petStates = lifecycle.states("available", "reserved", "sold");
+const petProps = {
+    name: string(),
+    nickname: optional(string()),
+    price: number(),
+    species: oneOf(["dog", "cat", "bird", "fish"]),
+    status: lifecycle(petStates),
+    vaccinated: boolean(),
+};
+const Pet = model("Pet", {
+    actions: {
+        updatePrice: action({ price: number() }),
+        vaccinate: action({ date: string() }),
+    },
+    constraints: ({ rule }) => ({
+        nicknameTooLong: rule()
+            .when((ctx) => ctx.nickname !== undefined && ctx.nickname.length > 20)
+            .prevent("vaccinate"),
+    }),
+    props: petProps,
+    transitions: ({ from }) => ({
+        release: from(petStates.reserved)
+            .to(petStates.available)
+            .scenario({ price: 25 }, petStates.available),
+        reserve: from(petStates.available)
+            .to(petStates.reserved)
+            .when((ctx) => ctx.vaccinated === true)
+            .scenario({ vaccinated: true }, petStates.reserved)
+            .scenario({ vaccinated: false }, petStates.available),
+        sell: from(petStates.reserved)
+            .to(petStates.sold)
+            .when((ctx) => ctx.price > 0)
+            .scenario({ price: 50, vaccinated: true }, petStates.sold)
+            .scenario({ price: 0, vaccinated: true }, petStates.reserved),
+    }),
+});
+// --- Order ---
+const orderStates = lifecycle.states("pending", "paid", "shipped", "delivered", "cancelled");
+const Order = model("Order", {
+    actions: {
+        addItem: action({
+            productId: string(),
+            quantity: number(),
+        }),
+        removeItem: action({ itemId: string() }),
+    },
+    constraints: ({ rule }) => ({
+        cannotAddWhenCancelled: rule()
+            .when((ctx) => ctx.status === orderStates.cancelled)
+            .prevent("addItem"),
+        cannotRemoveWhenEmpty: rule()
+            .when((ctx) => ctx.total === 0)
+            .prevent("removeItem"),
+    }),
+    props: {
+        createdAt: date(),
+        status: lifecycle(orderStates),
+        total: number(),
+    },
+    relations: {
+        customer: belongsTo(Customer),
+        item: hasMany(Pet),
+    },
+    transitions: ({ from }) => ({
+        cancel: from(orderStates.pending).to(orderStates.cancelled),
+        deliver: from(orderStates.shipped).to(orderStates.delivered),
+        pay: from(orderStates.pending)
+            .to(orderStates.paid)
+            .when((ctx) => ctx.total > 0)
+            .scenario({ total: 100 }, orderStates.paid)
+            .scenario({ total: 0 }, orderStates.pending),
+        ship: from(orderStates.paid).to(orderStates.shipped),
+    }),
+});
+// --- CreditTier (decision table) ---
+const CreditTier = decisions("CreditTier", {
+    inputs: { amount: number(), extraItemId: string() },
+    outputs: { credits: number() },
+    rules: [
+        { then: { credits: 5 }, when: { extraItemId: "tier_3" } },
+        { then: { credits: 10 }, when: { extraItemId: "tier_5" } },
+        { then: { credits: 30 }, when: { extraItemId: "tier_12" } },
+    ],
+});
+// --- PetAdoptionFee (decisions linked to model props) ---
+// species comes from Pet.props — oneOf(["dog", "cat", "bird", "fish"]).
+// Adding/removing a species in Pet forces this table to be reviewed.
+// Using "typo" in when would be a compile error.
+const PetAdoptionFee = decisions("PetAdoptionFee", {
+    inputs: { species: petProps.species, vaccinated: petProps.vaccinated },
+    outputs: { fee: number() },
+    rules: [
+        { then: { fee: 50 }, when: { species: "dog", vaccinated: true } },
+        { then: { fee: 75 }, when: { species: "dog", vaccinated: false } },
+        { then: { fee: 30 }, when: { species: "cat", vaccinated: true } },
+        { then: { fee: 45 }, when: { species: "cat", vaccinated: false } },
+        { then: { fee: 20 }, when: { species: "bird" } },
+        { then: { fee: 15 }, when: { species: "fish" } },
+    ],
+});
+// --- NoSuspendedCustomerOrders (policy: cross-model rule) ---
+// Prevents adding items to orders when the customer is suspended or deleted.
+const NoSuspendedCustomerOrders = policy("NoSuspendedCustomerOrders", {
+    on: { action: "addItem", model: Order },
+    requires: {
+        customer: belongsTo(Customer),
+    },
+    rules: [
+        {
+            effect: "prevent",
+            when: (ctx) => ctx.customer.status === customerStates.suspended,
+        },
+        {
+            effect: "warn",
+            when: (ctx) => ctx.customer.status === customerStates.deleted,
+        },
+    ],
+});
+export { CreditTier, Customer, NoSuspendedCustomerOrders, Order, Pet, PetAdoptionFee, };
+//# sourceMappingURL=pet-store.js.map

package/dist/examples/pet-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet-store.js","sourceRoot":"","sources":["../../src/examples/pet-store.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EACN,SAAS,EACT,OAAO,EACP,IAAI,EACJ,SAAS,EACT,OAAO,EACP,SAAS,EACT,KAAK,EACL,MAAM,EACN,KAAK,EACL,QAAQ,EACR,MAAM,EACN,MAAM,GACP,MAAM,oBAAoB,CAAC;AAE5B,mBAAmB;AAEnB,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;AAE1E,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,EAAE;IACjC,OAAO,EAAE;QACP,WAAW,EAAE,MAAM,CAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;KAC5D;IACD,KAAK,EAAE;QACL,KAAK,EAAE,MAAM,EAAE;QACf,IAAI,EAAE,MAAM,EAAE;QACd,MAAM,EAAE,SAAS,CAAC,cAAc,CAAC;KAClC;IACD,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1B,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;QAC9D,UAAU,EAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC;QACpE,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC;KAClE,CAAC;CACH,CAAC,CAAC;AAEH,cAAc;AAEd,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAEpE,MAAM,QAAQ,GAAG;IACf,IAAI,EAAE,MAAM,EAAE;IACd,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,EAAE;IACf,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;IACvD,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC;IAC5B,UAAU,EAAE,OAAO,EAAE;CACb,CAAC;AAEX,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE;IACvB,OAAO,EAAE;QACP,WAAW,EAAE,MAAM,CAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;QAC3D,SAAS,EAAE,MAAM,CAAmB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;KACxD;IACD,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1B,eAAe,EAAE,IAAI,EAAE;aACpB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;aACrE,OAAO,CAAC,WAAW,CAAC;KACxB,CAAC;IACF,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1B,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;aAC9B,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC;aACvB,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,CAAC,SAAS,CAAC;QAC/C,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;aAC/B,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC;aACtB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC;aACtC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC;aAClD,QAAQ,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,SAAS,CAAC,SAAS,CAAC;QACvD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;aAC3B,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;aAClB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;aAC5B,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC;aACzD,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC;KAChE,CAAC;CACH,CAAC,CAAC;AAEH,gBAAgB;AAEhB,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAClC,SAAS,EACT,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,CACZ,CAAC;AAEF,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE;IAC3B,OAAO,EAAE;QACP,OAAO,EAAE,MAAM,CAA0C;YACvD,SAAS,EAAE,MAAM,EAAE;YACnB,QAAQ,EAAE,MAAM,EAAE;SACnB,CAAC;QACF,UAAU,EAAE,MAAM,CAAqB,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;KAC7D;IACD,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1B,sBAAsB,EAAE,IAAI,EAAE;aAC3B,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC;aACnD,OAAO,CAAC,SAAS,CAAC;QACrB,qBAAqB,EAAE,IAAI,EAAE;aAC1B,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC;aAC9B,OAAO,CAAC,YAAY,CAAC;KACzB,CAAC;IACF,KAAK,EAAE;QACL,SAAS,EAAE,IAAI,EAAE;QACjB,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC;QAC9B,KAAK,EAAE,MAAM,EAAE;KAChB;IACD,SAAS,EAAE;QACT,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC;QAC7B,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;KACnB;IACD,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1B,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC;QAC3D,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC;QAC5D,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC;aAC3B,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;aACpB,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;aAC5B,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC;aAC1C,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,OAAO,CAAC;QAC9C,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC;KACrD,CAAC;CACH,CAAC,CAAC;AAEH,sCAAsC;AAEtC,MAAM,UAAU,GAAG,SAAS,CAAC,YAAY,EAAE;IACzC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE;IACnD,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;IAC9B,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE;QACzD,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE;KAC5D;CACF,CAAC,CAAC;AAEH,2DAA2D;AAC3D,wEAAwE;AACxE,qEAAqE;AACrE,iDAAiD;AAEjD,MAAM,cAAc,GAAG,SAAS,CAAC,gBAAgB,EAAE;IACjD,MAAM,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;IACtE,OAAO,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;IAC1B,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;QACjE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE;QAClE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;QACjE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE;QAClE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;KACjD;CACF,CAAC,CAAC;AAEH,+DAA+D;AAC/D,6EAA6E;AAE7E,MAAM,yBAAyB,GAAG,MAAM,CAAC,2BAA2B,EAAE;IACpE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE;IACvC,QAAQ,EAAE;QACR,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC;KAC9B;IACD,KAAK,EAAE;QACL;YACE,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,SAAS;SAChE;QACD;YACE,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC,OAAO;SAC9D;KACF;CACF,CAAC,CAAC;AAEH,OAAO,EACL,UAAU,EACV,QAAQ,EACR,yBAAyB,EACzB,KAAK,EACL,GAAG,EACH,cAAc,GACf,CAAC"}

package/dist/examples/src/customer.e2e.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=customer.e2e.d.ts.map

package/dist/examples/src/customer.e2e.d.ts.map

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

package/dist/examples/src/customer.e2e.js

@@ -0,0 +1,17 @@
+import { test } from "vitest";
+test("Customer: delete flow (active → deleted)", async () => {
+    // TODO: setup — create Customer in 'active' state
+    // TODO: act — trigger delete
+    // TODO: assert — verify state is 'deleted'
+});
+test("Customer: reactivate flow (suspended → active)", async () => {
+    // TODO: setup — create Customer in 'suspended' state
+    // TODO: act — trigger reactivate
+    // TODO: assert — verify state is 'active'
+});
+test("Customer: suspend flow (active → suspended)", async () => {
+    // TODO: setup — create Customer in 'active' state
+    // TODO: act — trigger suspend
+    // TODO: assert — verify state is 'suspended'
+});
+//# sourceMappingURL=customer.e2e.js.map

package/dist/examples/src/customer.e2e.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"customer.e2e.js","sourceRoot":"","sources":["../../../src/examples/src/customer.e2e.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B,IAAI,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;IAC1D,kDAAkD;IAClD,6BAA6B;IAC7B,2CAA2C;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;IAChE,qDAAqD;IACrD,iCAAiC;IACjC,0CAA0C;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;IAC7D,kDAAkD;IAClD,8BAA8B;IAC9B,6CAA6C;AAC/C,CAAC,CAAC,CAAC"}

package/dist/examples/src/customer.orchestrators.d.ts

@@ -0,0 +1,5 @@
+import type { CustomerProps } from "../generated/customer.types.js";
+export declare function handleCustomerUpdateEmail(ctx: CustomerProps, _payload: {
+    email: string;
+}): CustomerProps;
+//# sourceMappingURL=customer.orchestrators.d.ts.map

package/dist/examples/src/customer.orchestrators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"customer.orchestrators.d.ts","sourceRoot":"","sources":["../../../src/examples/src/customer.orchestrators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAEpE,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,aAAa,EAClB,QAAQ,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,GAC1B,aAAa,CAGf"}

package/dist/examples/src/customer.orchestrators.js

@@ -0,0 +1,5 @@
+export function handleCustomerUpdateEmail(ctx, _payload) {
+    // TODO: implement updateEmail
+    return ctx;
+}
+//# sourceMappingURL=customer.orchestrators.js.map

package/dist/examples/src/customer.orchestrators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"customer.orchestrators.js","sourceRoot":"","sources":["../../../src/examples/src/customer.orchestrators.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,yBAAyB,CACvC,GAAkB,EAClB,QAA2B;IAE3B,8BAA8B;IAC9B,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/examples/src/order.e2e.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=order.e2e.d.ts.map

package/dist/examples/src/order.e2e.d.ts.map

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

package/dist/examples/src/order.e2e.js

@@ -0,0 +1,22 @@
+import { test } from "vitest";
+test("Order: cancel flow (pending → cancelled)", async () => {
+    // TODO: setup — create Order in 'pending' state
+    // TODO: act — trigger cancel
+    // TODO: assert — verify state is 'cancelled'
+});
+test("Order: deliver flow (shipped → delivered)", async () => {
+    // TODO: setup — create Order in 'shipped' state
+    // TODO: act — trigger deliver
+    // TODO: assert — verify state is 'delivered'
+});
+test("Order: pay flow (pending → paid)", async () => {
+    // TODO: setup — create Order in 'pending' state
+    // TODO: act — trigger pay
+    // TODO: assert — verify state is 'paid'
+});
+test("Order: ship flow (paid → shipped)", async () => {
+    // TODO: setup — create Order in 'paid' state
+    // TODO: act — trigger ship
+    // TODO: assert — verify state is 'shipped'
+});
+//# sourceMappingURL=order.e2e.js.map

package/dist/examples/src/order.e2e.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.e2e.js","sourceRoot":"","sources":["../../../src/examples/src/order.e2e.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B,IAAI,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;IAC1D,gDAAgD;IAChD,6BAA6B;IAC7B,6CAA6C;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;IAC3D,gDAAgD;IAChD,8BAA8B;IAC9B,6CAA6C;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;IAClD,gDAAgD;IAChD,0BAA0B;IAC1B,wCAAwC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;IACnD,6CAA6C;IAC7C,2BAA2B;IAC3B,2CAA2C;AAC7C,CAAC,CAAC,CAAC"}

package/dist/examples/src/order.orchestrators.d.ts

@@ -0,0 +1,9 @@
+import type { OrderProps } from "../generated/order.types.js";
+export declare function handleOrderAddItem(ctx: OrderProps, _payload: {
+    productId: string;
+    quantity: number;
+}): OrderProps;
+export declare function handleOrderRemoveItem(ctx: OrderProps, _payload: {
+    itemId: string;
+}): OrderProps;
+//# sourceMappingURL=order.orchestrators.d.ts.map

package/dist/examples/src/order.orchestrators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.orchestrators.d.ts","sourceRoot":"","sources":["../../../src/examples/src/order.orchestrators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAE9D,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,UAAU,EACf,QAAQ,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAChD,UAAU,CAIZ;AAED,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,UAAU,EACf,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B,UAAU,CAGZ"}

package/dist/examples/src/order.orchestrators.js

@@ -0,0 +1,10 @@
+export function handleOrderAddItem(ctx, _payload) {
+    // TODO: validate policies (NoSuspendedCustomerOrders)
+    // TODO: implement addItem
+    return ctx;
+}
+export function handleOrderRemoveItem(ctx, _payload) {
+    // TODO: implement removeItem
+    return ctx;
+}
+//# sourceMappingURL=order.orchestrators.js.map

package/dist/examples/src/order.orchestrators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.orchestrators.js","sourceRoot":"","sources":["../../../src/examples/src/order.orchestrators.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,kBAAkB,CAChC,GAAe,EACf,QAAiD;IAEjD,sDAAsD;IACtD,0BAA0B;IAC1B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,GAAe,EACf,QAA4B;IAE5B,6BAA6B;IAC7B,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/examples/src/pet.e2e.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=pet.e2e.d.ts.map

package/dist/examples/src/pet.e2e.d.ts.map

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

package/dist/examples/src/pet.e2e.js

@@ -0,0 +1,17 @@
+import { test } from "vitest";
+test("Pet: release flow (reserved → available)", async () => {
+    // TODO: setup — create Pet in 'reserved' state
+    // TODO: act — trigger release
+    // TODO: assert — verify state is 'available'
+});
+test("Pet: reserve flow (available → reserved)", async () => {
+    // TODO: setup — create Pet in 'available' state
+    // TODO: act — trigger reserve
+    // TODO: assert — verify state is 'reserved'
+});
+test("Pet: sell flow (reserved → sold)", async () => {
+    // TODO: setup — create Pet in 'reserved' state
+    // TODO: act — trigger sell
+    // TODO: assert — verify state is 'sold'
+});
+//# sourceMappingURL=pet.e2e.js.map

package/dist/examples/src/pet.e2e.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet.e2e.js","sourceRoot":"","sources":["../../../src/examples/src/pet.e2e.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B,IAAI,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;IAC1D,+CAA+C;IAC/C,8BAA8B;IAC9B,6CAA6C;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;IAC1D,gDAAgD;IAChD,8BAA8B;IAC9B,4CAA4C;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;IAClD,+CAA+C;IAC/C,2BAA2B;IAC3B,wCAAwC;AAC1C,CAAC,CAAC,CAAC"}

package/dist/examples/src/pet.orchestrators.d.ts

@@ -0,0 +1,8 @@
+import type { PetProps } from "../generated/pet.types.js";
+export declare function handlePetUpdatePrice(ctx: PetProps, _payload: {
+    price: number;
+}): PetProps;
+export declare function handlePetVaccinate(ctx: PetProps, _payload: {
+    date: string;
+}): PetProps;
+//# sourceMappingURL=pet.orchestrators.d.ts.map

package/dist/examples/src/pet.orchestrators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet.orchestrators.d.ts","sourceRoot":"","sources":["../../../src/examples/src/pet.orchestrators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAE1D,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,QAAQ,EAAE;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,GAC1B,QAAQ,CAGV;AAED,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,QAAQ,EACb,QAAQ,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB,QAAQ,CAGV"}

package/dist/examples/src/pet.orchestrators.js

@@ -0,0 +1,9 @@
+export function handlePetUpdatePrice(ctx, _payload) {
+    // TODO: implement updatePrice
+    return ctx;
+}
+export function handlePetVaccinate(ctx, _payload) {
+    // TODO: implement vaccinate
+    return ctx;
+}
+//# sourceMappingURL=pet.orchestrators.js.map

package/dist/examples/src/pet.orchestrators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pet.orchestrators.js","sourceRoot":"","sources":["../../../src/examples/src/pet.orchestrators.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,QAA2B;IAE3B,8BAA8B;IAC9B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,GAAa,EACb,QAA0B;IAE1B,4BAA4B;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/schema/actions.d.ts

@@ -0,0 +1,37 @@
+import type { BooleanProp, DateProp, NumberProp, PropDef, StringProp } from "./props.js";
+declare const ACTION_PAYLOAD: unique symbol;
+/**
+ * Typed action definition. The Payload generic is carried at compile time
+ * via a phantom symbol brand — codegen extracts it to generate command types.
+ * The optional `fields` property carries payload metadata at runtime for codegen.
+ */
+export type ActionDef<Payload = unknown> = {
+    readonly [ACTION_PAYLOAD]: Payload;
+    readonly fields?: Record<string, PropDef>;
+    readonly kind: "action";
+};
+/**
+ * Maps a Payload type to a record of PropDef fields, enforcing that
+ * each key in Payload has the correctly-typed PropDef descriptor.
+ */
+type FieldsOf<P> = {
+    [K in keyof P]: PropDefFor<P[K]>;
+};
+/**
+ * Maps a TypeScript type to the corresponding PropDef variant.
+ * Used by FieldsOf to enforce compile-time validation between Payload and fields.
+ */
+type PropDefFor<T> = T extends string ? StringProp : T extends number ? NumberProp : T extends boolean ? BooleanProp : T extends Date ? DateProp : PropDef;
+/**
+ * Create a typed action definition with optional runtime payload metadata.
+ *
+ * When Payload is specified, fields are compile-time validated to match:
+ *   action<{ name: string }>({ name: string() })  // OK
+ *   action<{ name: string }>({ name: number() })  // compile error
+ *   action<{ name: string }>({ wrong: string() }) // compile error
+ *
+ * Fields are also runtime-validated to ensure each value is a valid PropDef.
+ */
+export declare const action: <Payload = unknown>(fields?: unknown extends Payload ? Record<string, PropDef> : FieldsOf<Payload>) => ActionDef<Payload>;
+export {};
+//# sourceMappingURL=actions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"actions.d.ts","sourceRoot":"","sources":["../../src/schema/actions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EACX,QAAQ,EACR,UAAU,EACV,OAAO,EACP,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAE5C;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,OAAO,GAAG,OAAO,IAAI;IACzC,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB,CAAC;AAEF;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAExD;;;GAGG;AACH,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACjC,UAAU,GACV,CAAC,SAAS,MAAM,GACd,UAAU,GACV,CAAC,SAAS,OAAO,GACf,WAAW,GACX,CAAC,SAAS,IAAI,GACZ,QAAQ,GACR,OAAO,CAAC;AA0BlB;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,GAAG,OAAO,EACtC,SAAS,OAAO,SAAS,OAAO,GAC5B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvB,QAAQ,CAAC,OAAO,CAAC,KACpB,SAAS,CAAC,OAAO,CAQnB,CAAC"}

package/dist/schema/actions.js

@@ -0,0 +1,35 @@
+const VALID_PROP_KINDS = new Set([
+    "boolean",
+    "date",
+    "lifecycle",
+    "number",
+    "oneOf",
+    "string",
+]);
+const validateFields = (fields) => {
+    for (const [key, value] of Object.entries(fields)) {
+        if (!value ||
+            typeof value !== "object" ||
+            !VALID_PROP_KINDS.has(value.kind)) {
+            throw new Error(`action() field "${key}" must be a PropDef (string(), number(), etc.). ` +
+                `Got: ${JSON.stringify(value)}`);
+        }
+    }
+};
+/**
+ * Create a typed action definition with optional runtime payload metadata.
+ *
+ * When Payload is specified, fields are compile-time validated to match:
+ *   action<{ name: string }>({ name: string() })  // OK
+ *   action<{ name: string }>({ name: number() })  // compile error
+ *   action<{ name: string }>({ wrong: string() }) // compile error
+ *
+ * Fields are also runtime-validated to ensure each value is a valid PropDef.
+ */
+export const action = (fields) => {
+    if (fields) {
+        validateFields(fields);
+    }
+    return (fields ? { fields, kind: "action" } : { kind: "action" });
+};
+//# sourceMappingURL=actions.js.map

package/dist/schema/actions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actions.js","sourceRoot":"","sources":["../../src/schema/actions.ts"],"names":[],"mappings":"AAyCA,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,SAAS;IACT,MAAM;IACN,WAAW;IACX,QAAQ;IACR,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CAAC,MAA+B,EAAQ,EAAE;IAC/D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,IACE,CAAC,KAAK;YACN,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,MAAM,IAAI,KAAK,CACb,mBAAmB,GAAG,kDAAkD;gBACtE,QAAQ,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAClC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAEqB,EACD,EAAE;IACtB,IAAI,MAAM,EAAE,CAAC;QACX,cAAc,CAAC,MAAiC,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,CACL,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CACnC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/schema/constraints.d.ts

@@ -0,0 +1,20 @@
+/** Builder — returned during model definition for chaining .when()/.prevent(). */
+export type ConstraintBuilder<Ctx = Record<string, unknown>, ActionKeys extends string = string> = {
+    /** Replaces previous prevented action (last-wins semantics). */
+    prevent(actionName: ActionKeys): ConstraintBuilder<Ctx, ActionKeys>;
+    /**
+     * 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): ConstraintBuilder<Ctx, ActionKeys>;
+} & ConstraintData<Ctx, ActionKeys>;
+/** Plain data — stored in ModelDef, consumed by codegen. No builder methods. */
+export type ConstraintData<Ctx = Record<string, unknown>, ActionKeys extends string = string> = {
+    readonly guard: ((ctx: Ctx) => boolean) | null;
+    readonly kind: "constraint";
+    readonly preventedAction: ActionKeys | null;
+};
+export declare const rule: () => ConstraintBuilder;
+/** @internal Used by model() to create typed rule() factories. Phantom generics — type-level only, erased at runtime. */
+export declare const createTypedRule: <Ctx, ActionKeys extends string>() => () => ConstraintBuilder<Ctx, ActionKeys>;
+//# sourceMappingURL=constraints.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.d.ts","sourceRoot":"","sources":["../../src/schema/constraints.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,MAAM,MAAM,iBAAiB,CAC3B,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,SAAS,MAAM,GAAG,MAAM,IAChC;IACF,gEAAgE;IAChE,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACpE;;;OAGG;IACH,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,GAAG,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;CACrE,GAAG,cAAc,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AAEpC,gFAAgF;AAChF,MAAM,MAAM,cAAc,CACxB,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,SAAS,MAAM,GAAG,MAAM,IAChC;IACF,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,eAAe,EAAE,UAAU,GAAG,IAAI,CAAC;CAC7C,CAAC;AAoBF,eAAO,MAAM,IAAI,QAAO,iBACa,CAAC;AAEtC,yHAAyH;AACzH,eAAO,MAAM,eAAe,GACzB,GAAG,EAAE,UAAU,SAAS,MAAM,aAC3B,iBAAiB,CAAC,GAAG,EAAE,UAAU,CACiB,CAAC"}

package/dist/schema/constraints.js

@@ -0,0 +1,15 @@
+const createConstraintBuilder = (guard, preventedAction) => ({
+    guard,
+    kind: "constraint",
+    prevent(actionName) {
+        return createConstraintBuilder(guard, actionName);
+    },
+    preventedAction,
+    when(fn) {
+        return createConstraintBuilder(fn, preventedAction);
+    },
+});
+export const rule = () => createConstraintBuilder(null, null);
+/** @internal Used by model() to create typed rule() factories. Phantom generics — type-level only, erased at runtime. */
+export const createTypedRule = () => () => createConstraintBuilder(null, null);
+//# sourceMappingURL=constraints.js.map

package/dist/schema/constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints.js","sourceRoot":"","sources":["../../src/schema/constraints.ts"],"names":[],"mappings":"AAwBA,MAAM,uBAAuB,GAAG,CAI9B,KAAqC,EACrC,eAAkC,EACE,EAAE,CAAC,CAAC;IACxC,KAAK;IACL,IAAI,EAAE,YAAY;IAClB,OAAO,CAAC,UAAU;QAChB,OAAO,uBAAuB,CAAkB,KAAK,EAAE,UAAU,CAAC,CAAC;IACrE,CAAC;IACD,eAAe;IACf,IAAI,CAAC,EAAE;QACL,OAAO,uBAAuB,CAAkB,EAAE,EAAE,eAAe,CAAC,CAAC;IACvE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,IAAI,GAAG,GAAsB,EAAE,CAC1C,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAEtC,yHAAyH;AACzH,MAAM,CAAC,MAAM,eAAe,GAC1B,GAAmC,EAAE,CACrC,GAAuC,EAAE,CACvC,uBAAuB,CAAkB,IAAI,EAAE,IAAI,CAAC,CAAC"}

package/dist/schema/decisions.d.ts

@@ -0,0 +1,29 @@
+import type { InferPropType, PropDef } from "./props.js";
+export type DecisionDef<Name extends string = string, I extends Record<string, PropDef> = Record<string, PropDef>, O extends Record<string, PropDef> = Record<string, PropDef>> = {
+    readonly inputs: I;
+    readonly kind: "decision";
+    readonly name: Name;
+    readonly outputs: O;
+    readonly rules: readonly DecisionRule<I, O>[];
+};
+export type DecisionRule<I extends Record<string, PropDef> = Record<string, PropDef>, O extends Record<string, PropDef> = Record<string, PropDef>> = {
+    readonly then: InferValues<O>;
+    readonly when: Partial<InferValues<I>>;
+};
+/**
+ * Maps a PropDef record to a plain value record.
+ * Unlike InferContext, does not handle optional — decision inputs/outputs are always required.
+ */
+type InferValues<P extends Record<string, PropDef>> = InferValuesRaw<P> extends infer T ? {
+    [K in keyof T]: T[K];
+} & {} : never;
+type InferValuesRaw<P extends Record<string, PropDef>> = {
+    [K in keyof P]: InferPropType<P[K]>;
+};
+export declare function decisions<const Name extends string, const I extends Record<string, PropDef>, const O extends Record<string, PropDef>>(name: Name, config: {
+    readonly inputs: I;
+    readonly outputs: O;
+    readonly rules: readonly DecisionRule<I, O>[];
+}): DecisionDef<Name, I, O>;
+export {};
+//# sourceMappingURL=decisions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"decisions.d.ts","sourceRoot":"","sources":["../../src/schema/decisions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAIzD,MAAM,MAAM,WAAW,CACrB,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,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACzD;IACF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3D,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACzD;IACF,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC;AAEF;;;GAGG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAChD,cAAc,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AAE5E,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;KACtD,CAAC,IAAI,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpC,CAAC;AAqDF,wBAAgB,SAAS,CACvB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAEvC,IAAI,EAAE,IAAI,EACV,MAAM,EAAE;IACN,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;CAC/C,GACA,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/schema/decisions.js

@@ -0,0 +1,56 @@
+import { isOptional } from "./props.js";
+const validateProp = (key, prop, label) => {
+    if (prop.kind === "lifecycle")
+        throw new Error(`decisions() ${label} "${key}" cannot be a lifecycle prop — use oneOf() instead`);
+    if (isOptional(prop))
+        throw new Error(`decisions() ${label} "${key}" cannot be optional — all ${label}s are required`);
+};
+const validateRuleWhen = (rule, index, inputKeys) => {
+    for (const key of Object.keys(rule.when)) {
+        if (!inputKeys.includes(key))
+            throw new Error(`decisions() rule[${String(index)}].when key "${key}" is not a defined input`);
+    }
+};
+const validateRuleThen = (rule, index, outputKeys) => {
+    const thenKeys = Object.keys(rule.then);
+    for (const key of thenKeys) {
+        if (!outputKeys.includes(key))
+            throw new Error(`decisions() rule[${String(index)}].then key "${key}" is not a defined output`);
+    }
+    for (const key of outputKeys) {
+        if (!thenKeys.includes(key))
+            throw new Error(`decisions() rule[${String(index)}].then is missing output key "${key}"`);
+    }
+};
+// 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 decisions(name, config) {
+    const trimmed = name.trim();
+    if (!trimmed)
+        throw new Error("decisions() requires a non-empty name");
+    const cfg = config;
+    const inputKeys = Object.keys(cfg.inputs);
+    const outputKeys = Object.keys(cfg.outputs);
+    if (inputKeys.length === 0)
+        throw new Error("decisions() requires at least one input");
+    if (outputKeys.length === 0)
+        throw new Error("decisions() requires at least one output");
+    if (!cfg.rules || cfg.rules.length === 0)
+        throw new Error("decisions() requires at least one rule");
+    for (const [key, prop] of Object.entries(cfg.inputs))
+        validateProp(key, prop, "input");
+    for (const [key, prop] of Object.entries(cfg.outputs))
+        validateProp(key, prop, "output");
+    for (const [i, rule] of cfg.rules.entries()) {
+        validateRuleWhen(rule, i, inputKeys);
+        validateRuleThen(rule, i, outputKeys);
+    }
+    return {
+        inputs: cfg.inputs,
+        kind: "decision",
+        name: trimmed,
+        outputs: cfg.outputs,
+        rules: cfg.rules,
+    };
+}
+//# sourceMappingURL=decisions.js.map

package/dist/schema/decisions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decisions.js","sourceRoot":"","sources":["../../src/schema/decisions.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAiCxC,MAAM,YAAY,GAAG,CACnB,GAAW,EACX,IAAa,EACb,KAAyB,EACnB,EAAE;IACR,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAC3B,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,KAAK,GAAG,oDAAoD,CACjF,CAAC;IACJ,IAAI,UAAU,CAAC,IAAI,CAAC;QAClB,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,KAAK,GAAG,8BAA8B,KAAK,gBAAgB,CAChF,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAuC,EACvC,KAAa,EACb,SAAmB,EACb,EAAE;IACR,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,oBAAoB,MAAM,CAAC,KAAK,CAAC,eAAe,GAAG,0BAA0B,CAC9E,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAuC,EACvC,KAAa,EACb,UAAoB,EACd,EAAE;IACR,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAExC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,oBAAoB,MAAM,CAAC,KAAK,CAAC,eAAe,GAAG,2BAA2B,CAC/E,CAAC;IACN,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,oBAAoB,MAAM,CAAC,KAAK,CAAC,iCAAiC,GAAG,GAAG,CACzE,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAeF,gFAAgF;AAChF,uGAAuG;AACvG,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,MAA+B;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE5B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAEvE,MAAM,GAAG,GAAG,MAOX,CAAC;IAEF,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAE5C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAE5D,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAClD,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QACnD,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAEpC,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IACxC,CAAC;IAED,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,IAAI,EAAE,UAAmB;QACzB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,KAAK,EAAE,GAAG,CAAC,KAAK;KACjB,CAAC;AACJ,CAAC"}

package/dist/schema/index.d.ts

@@ -0,0 +1,17 @@
+export { action } from "./actions.js";
+export type { ActionDef } from "./actions.js";
+export type { ConstraintBuilder, ConstraintData } from "./constraints.js";
+export { decisions } from "./decisions.js";
+export type { DecisionDef, DecisionRule } from "./decisions.js";
+export { model } from "./model.js";
+export type { ConstraintHelpers, ModelDef, StatesOf, TransitionHelpers, } from "./model.js";
+export { policy } from "./policy.js";
+export type { PolicyDef, PolicyRule } from "./policy.js";
+export { boolean, date, lifecycle, number, oneOf, optional, string, } from "./props.js";
+export type { BooleanProp, DateProp, InferContext, InferPropType, LifecycleProp, NumberProp, OneOfProp, OptionalPropDef, PropDef, PropKind, StringProp, } from "./props.js";
+export { belongsTo, hasMany } from "./relations.js";
+export type { RelationDef, RelationKind } from "./relations.js";
+export type { Scenario, TransitionBuilder, TransitionData, } from "./transitions.js";
+export { ref } from "./types.js";
+export type { ModelRef } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,YAAY,EACV,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzD,OAAO,EACL,OAAO,EACP,IAAI,EACJ,SAAS,EACT,MAAM,EACN,KAAK,EACL,QAAQ,EACR,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,aAAa,EACb,UAAU,EACV,SAAS,EACT,eAAe,EACf,OAAO,EACP,QAAQ,EACR,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACpD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChE,YAAY,EACV,QAAQ,EACR,iBAAiB,EACjB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AACjC,YAAY,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC"}

package/dist/schema/index.js

@@ -0,0 +1,8 @@
+export { action } from "./actions.js";
+export { decisions } from "./decisions.js";
+export { model } from "./model.js";
+export { policy } from "./policy.js";
+export { boolean, date, lifecycle, number, oneOf, optional, string, } from "./props.js";
+export { belongsTo, hasMany } from "./relations.js";
+export { ref } from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/schema/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAGtC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAOnC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,OAAO,EACL,OAAO,EACP,IAAI,EACJ,SAAS,EACT,MAAM,EACN,KAAK,EACL,QAAQ,EACR,MAAM,GACP,MAAM,YAAY,CAAC;AAcpB,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAOpD,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC"}