dopespec 0.0.1

package/dist/codegen/decisions-table.js

@@ -0,0 +1,27 @@
+export const generateDecisionTable = (def) => {
+    const inputKeys = Object.keys(def.inputs);
+    const outputKeys = Object.keys(def.outputs);
+    const lines = [];
+    lines.push(`# ${def.name}`);
+    lines.push("");
+    // Header row
+    const headers = [...inputKeys, ...outputKeys.map((k) => `\u2192 ${k}`)];
+    lines.push(`| ${headers.join(" | ")} |`);
+    lines.push(`| ${headers.map(() => "---").join(" | ")} |`);
+    // Data rows
+    for (const rule of def.rules) {
+        const when = rule.when;
+        const then = rule.then;
+        const cells = [];
+        for (const key of inputKeys) {
+            cells.push(key in when ? String(when[key]) : "*");
+        }
+        for (const key of outputKeys) {
+            cells.push(String(then[key]));
+        }
+        lines.push(`| ${cells.join(" | ")} |`);
+    }
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=decisions-table.js.map

package/dist/codegen/decisions-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decisions-table.js","sourceRoot":"","sources":["../../src/codegen/decisions-table.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,GAAgB,EAAU,EAAE;IAChE,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;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,aAAa;IACb,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IAExE,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAE1D,YAAY;IACZ,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;QAElD,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/decisions-tests.d.ts

@@ -0,0 +1,3 @@
+import type { DecisionDef } from "../schema/decisions.js";
+export declare const generateDecisionTests: (def: DecisionDef) => string;
+//# sourceMappingURL=decisions-tests.d.ts.map

package/dist/codegen/decisions-tests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decisions-tests.d.ts","sourceRoot":"","sources":["../../src/codegen/decisions-tests.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAS1D,eAAO,MAAM,qBAAqB,GAAI,KAAK,WAAW,KAAG,MAqDxD,CAAC"}

package/dist/codegen/decisions-tests.js

@@ -0,0 +1,43 @@
+import { capitalize, defaultValueForProp, toKebabCase, valueToSource, } from "./utils.js";
+export const generateDecisionTests = (def) => {
+    const name = capitalize(def.name);
+    const lower = toKebabCase(def.name);
+    const lines = [];
+    lines.push(`import { describe, it, expect } from 'vitest';`);
+    lines.push(`import { evaluate${name} } from './${lower}.evaluate.js';`);
+    lines.push("");
+    lines.push(`describe('${name}', () => {`);
+    for (const rule of def.rules) {
+        const when = rule.when;
+        const then = rule.then;
+        const whenDesc = Object.entries(when)
+            .map(([k, v]) => `${k} = ${JSON.stringify(v)}`)
+            .join(", ");
+        const thenDesc = Object.entries(then)
+            .map(([k, v]) => `${k} = ${JSON.stringify(v)}`)
+            .join(", ");
+        const whenLabel = whenDesc || "default (no conditions)";
+        lines.push(`  it('when ${whenLabel}, then ${thenDesc}', () => {`);
+        // Build input — use when values for specified keys, defaults for rest
+        const inputParts = [];
+        for (const [key, prop] of Object.entries(def.inputs)) {
+            if (key in when) {
+                inputParts.push(`${key}: ${valueToSource(when[key])}`);
+            }
+            else {
+                inputParts.push(`${key}: ${defaultValueForProp(prop)}`);
+            }
+        }
+        lines.push(`    const result = evaluate${name}({ ${inputParts.join(", ")} });`);
+        const expectedParts = Object.entries(then)
+            .map(([key, val]) => `${key}: ${valueToSource(val)}`)
+            .join(", ");
+        lines.push(`    expect(result).toEqual({ ${expectedParts} });`);
+        lines.push(`  });`);
+        lines.push("");
+    }
+    lines.push(`});`);
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=decisions-tests.js.map

package/dist/codegen/decisions-tests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decisions-tests.js","sourceRoot":"","sources":["../../src/codegen/decisions-tests.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,aAAa,GACd,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,GAAgB,EAAU,EAAE;IAChE,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAI,cAAc,KAAK,gBAAgB,CAAC,CAAC;IACxE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,YAAY,CAAC,CAAC;IAE1C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAA+B,CAAC;QAElD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9C,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9C,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,MAAM,SAAS,GAAG,QAAQ,IAAI,yBAAyB,CAAC;QAExD,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,UAAU,QAAQ,YAAY,CAAC,CAAC;QAElE,sEAAsE;QACtE,MAAM,UAAU,GAAa,EAAE,CAAC;QAEhC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;gBAChB,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACzD,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CACR,8BAA8B,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CACpE,CAAC;QAEF,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;aACvC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;aACpD,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,KAAK,CAAC,IAAI,CAAC,gCAAgC,aAAa,MAAM,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,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/codegen/e2e-stubs.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate E2E test stubs with TODOs from a model's transitions. */
+export declare const generateE2EStubs: (model: ModelDef) => string;
+//# sourceMappingURL=e2e-stubs.d.ts.map

package/dist/codegen/e2e-stubs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"e2e-stubs.d.ts","sourceRoot":"","sources":["../../src/codegen/e2e-stubs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAInD,qEAAqE;AACrE,eAAO,MAAM,gBAAgB,GAAI,OAAO,QAAQ,KAAG,MAyBlD,CAAC"}

package/dist/codegen/e2e-stubs.js

@@ -0,0 +1,21 @@
+import { capitalize, getTransitions } from "./utils.js";
+/** Generate E2E test stubs with TODOs from a model's transitions. */
+export const generateE2EStubs = (model) => {
+    const transitions = getTransitions(model);
+    if (transitions.length === 0)
+        return "";
+    const typeName = capitalize(model.name);
+    const lines = [];
+    lines.push(`import { test } from 'vitest';`);
+    lines.push("");
+    for (const [name, transition] of transitions) {
+        lines.push(`test('${typeName}: ${name} flow (${transition.from} → ${transition.to})', async () => {`);
+        lines.push(`  // TODO: setup — create ${typeName} in '${transition.from}' state`);
+        lines.push(`  // TODO: act — trigger ${name}`);
+        lines.push(`  // TODO: assert — verify state is '${transition.to}'`);
+        lines.push(`});`);
+        lines.push("");
+    }
+    return lines.join("\n");
+};
+//# sourceMappingURL=e2e-stubs.js.map

package/dist/codegen/e2e-stubs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"e2e-stubs.js","sourceRoot":"","sources":["../../src/codegen/e2e-stubs.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAExD,qEAAqE;AACrE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAe,EAAU,EAAE;IAC1D,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CACR,SAAS,QAAQ,KAAK,IAAI,UAAU,UAAU,CAAC,IAAI,MAAM,UAAU,CAAC,EAAE,mBAAmB,CAC1F,CAAC;QACF,KAAK,CAAC,IAAI,CACR,6BAA6B,QAAQ,QAAQ,UAAU,CAAC,IAAI,SAAS,CACtE,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,wCAAwC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/events.d.ts

@@ -0,0 +1,8 @@
+import type { ModelDef } from "../schema/model.js";
+/**
+ * Generate domain event types from a model's transitions.
+ * Generated code references ${Model}Props — expects types from ./${modelName}.types
+ * to be available (either concatenated or imported).
+ */
+export declare const generateEvents: (model: ModelDef) => string;
+//# sourceMappingURL=events.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"events.d.ts","sourceRoot":"","sources":["../../src/codegen/events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAInD;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,QAAQ,KAAG,MAmChD,CAAC"}

package/dist/codegen/events.js

@@ -0,0 +1,36 @@
+import { capitalize, getTransitions } from "./utils.js";
+/**
+ * Generate domain event types from a model's transitions.
+ * Generated code references ${Model}Props — expects types from ./${modelName}.types
+ * to be available (either concatenated or imported).
+ */
+export const generateEvents = (model) => {
+    const transitions = getTransitions(model);
+    if (transitions.length === 0)
+        return "";
+    const typeName = capitalize(model.name);
+    const modelName = model.name.toLowerCase();
+    const propsType = `${typeName}Props`;
+    const lines = [];
+    const eventTypeNames = [];
+    // Convention: generated events file expects types from ./${modelName}.types
+    lines.push(`import type { ${propsType} } from './${modelName}.types.js';`);
+    lines.push("");
+    for (const [name, transition] of transitions) {
+        const eventName = `${typeName}${capitalize(name)}Event`;
+        eventTypeNames.push(eventName);
+        lines.push(`export type ${eventName} = {`);
+        lines.push(`  type: '${typeName}${capitalize(name)}';`);
+        lines.push(`  payload: ${propsType};`);
+        lines.push(`  from: '${transition.from}';`);
+        lines.push(`  to: '${transition.to}';`);
+        lines.push(`  timestamp: Date;`);
+        lines.push(`};`);
+        lines.push("");
+    }
+    // Union type
+    lines.push(`export type ${typeName}Event = ${eventTypeNames.join(" | ")};`);
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=events.js.map

package/dist/codegen/events.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.js","sourceRoot":"","sources":["../../src/codegen/events.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAExD;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAe,EAAU,EAAE;IACxD,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,SAAS,GAAG,GAAG,QAAQ,OAAO,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,4EAA4E;IAC5E,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,cAAc,SAAS,aAAa,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,GAAG,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;QAExD,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE/B,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,MAAM,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,YAAY,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,GAAG,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,YAAY,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,aAAa;IACb,KAAK,CAAC,IAAI,CAAC,eAAe,QAAQ,WAAW,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/index.d.ts

@@ -0,0 +1,18 @@
+export { generateCommands } from "./commands.js";
+export { generateDecisionEvaluate } from "./decisions-evaluate.js";
+export { generateDecisionTable } from "./decisions-table.js";
+export { generateDecisionTests } from "./decisions-tests.js";
+export { generateE2EStubs } from "./e2e-stubs.js";
+export { generateEvents } from "./events.js";
+export { generateInvariants } from "./invariants.js";
+export { generateMermaid } from "./mermaid.js";
+export { generateOrchestrators } from "./orchestrators.js";
+export { generatePolicyIndex } from "./policy-index.js";
+export { generatePolicyMermaid } from "./policy-mermaid.js";
+export { generatePolicyTests } from "./policy-tests.js";
+export { generatePolicyValidator } from "./policy-validator.js";
+export { generateTests } from "./tests.js";
+export { generateTransitions } from "./transitions.js";
+export { generateTypes } from "./types.js";
+export { generateZod } from "./zod.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/codegen/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC"}

package/dist/codegen/index.js

@@ -0,0 +1,18 @@
+export { generateCommands } from "./commands.js";
+export { generateDecisionEvaluate } from "./decisions-evaluate.js";
+export { generateDecisionTable } from "./decisions-table.js";
+export { generateDecisionTests } from "./decisions-tests.js";
+export { generateE2EStubs } from "./e2e-stubs.js";
+export { generateEvents } from "./events.js";
+export { generateInvariants } from "./invariants.js";
+export { generateMermaid } from "./mermaid.js";
+export { generateOrchestrators } from "./orchestrators.js";
+export { generatePolicyIndex } from "./policy-index.js";
+export { generatePolicyMermaid } from "./policy-mermaid.js";
+export { generatePolicyTests } from "./policy-tests.js";
+export { generatePolicyValidator } from "./policy-validator.js";
+export { generateTests } from "./tests.js";
+export { generateTransitions } from "./transitions.js";
+export { generateTypes } from "./types.js";
+export { generateZod } from "./zod.js";
+//# sourceMappingURL=index.js.map

package/dist/codegen/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/codegen/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC"}

package/dist/codegen/invariants.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate invariant validation functions from a model's constraints. */
+export declare const generateInvariants: (model: ModelDef) => string;
+//# sourceMappingURL=invariants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../src/codegen/invariants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AASnD,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,GAAI,OAAO,QAAQ,KAAG,MA+DpD,CAAC"}

package/dist/codegen/invariants.js

@@ -0,0 +1,53 @@
+import { capitalize, getConstraints, guardToSource, resolveGuardBody, } from "./utils.js";
+/** Generate invariant validation functions from a model's constraints. */
+export const generateInvariants = (model) => {
+    const constraints = getConstraints(model);
+    if (constraints.length === 0)
+        return "";
+    const typeName = capitalize(model.name);
+    const modelName = model.name.toLowerCase();
+    const propsType = `${typeName}Props`;
+    const lines = [];
+    const constraintNames = [];
+    // Convention: generated invariants module imports types from ./${modelName}.types
+    lines.push(`import type { ${propsType} } from './${modelName}.types.js';`);
+    lines.push("");
+    // Constraint semantics:
+    //   rule().when(ctx => ctx.status === 'cancelled').prevent('addItem')
+    //   guard returns TRUE  → constraint is VIOLATED (action is prevented)
+    //   guard returns FALSE → constraint is SATISFIED (action is allowed)
+    //
+    // Invariant semantics (inverted):
+    //   validate*() returns TRUE  → model is VALID (guard condition is NOT met)
+    //   validate*() returns FALSE → model is INVALID (guard condition IS met)
+    //
+    // Therefore: invariant = !(guard)
+    for (const [name, constraint] of constraints) {
+        constraintNames.push(name);
+        const fnName = `validate${capitalize(name)}`;
+        lines.push(`export function ${fnName}(ctx: ${propsType}): boolean {`);
+        if (constraint.guard) {
+            const rawBody = guardToSource(constraint.guard);
+            const guardBody = resolveGuardBody(constraint.guard, rawBody, model);
+            lines.push(`  // guard=true means violation, so invariant negates it`);
+            lines.push(`  return !(${guardBody});`);
+        }
+        else {
+            lines.push(`  return true;`);
+        }
+        lines.push(`}`);
+        lines.push("");
+    }
+    // Combined validator
+    lines.push(`export function validate${typeName}(ctx: ${propsType}): { valid: boolean; violations: string[] } {`);
+    lines.push(`  const violations: string[] = [];`);
+    for (const name of constraintNames) {
+        const fnName = `validate${capitalize(name)}`;
+        lines.push(`  if (!${fnName}(ctx)) violations.push('${name}');`);
+    }
+    lines.push(`  return { valid: violations.length === 0, violations };`);
+    lines.push(`}`);
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=invariants.js.map

package/dist/codegen/invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.js","sourceRoot":"","sources":["../../src/codegen/invariants.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAe,EAAU,EAAE;IAC5D,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,SAAS,GAAG,GAAG,QAAQ,OAAO,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,kFAAkF;IAClF,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,cAAc,SAAS,aAAa,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,wBAAwB;IACxB,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,EAAE;IACF,kCAAkC;IAClC,4EAA4E;IAC5E,0EAA0E;IAC1E,EAAE;IACF,kCAAkC;IAElC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,WAAW,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAE7C,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,SAAS,SAAS,cAAc,CAAC,CAAC;QAEtE,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAErE,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,IAAI,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC/B,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,qBAAqB;IACrB,KAAK,CAAC,IAAI,CACR,2BAA2B,QAAQ,SAAS,SAAS,+CAA+C,CACrG,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,WAAW,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAE7C,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,2BAA2B,IAAI,KAAK,CAAC,CAAC;IACnE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;IACvE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/mermaid.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate Mermaid stateDiagram from a model's transitions. */
+export declare const generateMermaid: (model: ModelDef) => string;
+//# sourceMappingURL=mermaid.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mermaid.d.ts","sourceRoot":"","sources":["../../src/codegen/mermaid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAInD,gEAAgE;AAChE,eAAO,MAAM,eAAe,GAAI,OAAO,QAAQ,KAAG,MAwBjD,CAAC"}

package/dist/codegen/mermaid.js

@@ -0,0 +1,21 @@
+import { getLifecycleProp, getTransitions } from "./utils.js";
+/** Generate Mermaid stateDiagram from a model's transitions. */
+export const generateMermaid = (model) => {
+    const transitions = getTransitions(model);
+    if (transitions.length === 0)
+        return "";
+    const lifecycle = getLifecycleProp(model);
+    const lines = [];
+    lines.push(`stateDiagram-v2`);
+    // Initial state arrow
+    if (lifecycle && lifecycle.values.length > 0) {
+        lines.push(`  [*] --> ${lifecycle.values[0]}`);
+    }
+    for (const [name, transition] of transitions) {
+        const label = transition.guard ? `${name} [guarded]` : name;
+        lines.push(`  ${transition.from} --> ${transition.to}: ${label}`);
+    }
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=mermaid.js.map

package/dist/codegen/mermaid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mermaid.js","sourceRoot":"","sources":["../../src/codegen/mermaid.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE9D,gEAAgE;AAChE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAe,EAAU,EAAE;IACzD,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAE9B,sBAAsB;IACtB,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QAE5D,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,QAAQ,UAAU,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/orchestrators.d.ts

@@ -0,0 +1,7 @@
+import type { ModelDef } from "../schema/model.js";
+/**
+ * Generate service orchestrator skeletons from a model's actions.
+ * @param policyActions — optional map of action → policy names for TODO comments
+ */
+export declare const generateOrchestrators: (model: ModelDef, policyActions?: Map<string, string[]>) => string;
+//# sourceMappingURL=orchestrators.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrators.d.ts","sourceRoot":"","sources":["../../src/codegen/orchestrators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAInD;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,QAAQ,EACf,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,KACpC,MAqCF,CAAC"}

package/dist/codegen/orchestrators.js

@@ -0,0 +1,32 @@
+import { capitalize, fieldsToTSType, getActions } from "./utils.js";
+/**
+ * Generate service orchestrator skeletons from a model's actions.
+ * @param policyActions — optional map of action → policy names for TODO comments
+ */
+export const generateOrchestrators = (model, policyActions) => {
+    const actions = getActions(model);
+    if (actions.length === 0)
+        return "";
+    const typeName = capitalize(model.name);
+    const modelName = model.name.toLowerCase();
+    const propsType = `${typeName}Props`;
+    const lines = [];
+    // User code in src/ imports types from ../generated/
+    lines.push(`import type { ${propsType} } from '../generated/${modelName}.types.js';`);
+    lines.push("");
+    for (const [name, actionDef] of actions) {
+        const fnName = `handle${typeName}${capitalize(name)}`;
+        const payloadType = fieldsToTSType(actionDef.fields);
+        lines.push(`export function ${fnName}(ctx: ${propsType}, _payload: ${payloadType}): ${propsType} {`);
+        const policyNames = policyActions?.get(name);
+        if (policyNames && policyNames.length > 0) {
+            lines.push(`  // TODO: validate policies (${policyNames.join(", ")})`);
+        }
+        lines.push(`  // TODO: implement ${name}`);
+        lines.push(`  return ctx;`);
+        lines.push(`}`);
+        lines.push("");
+    }
+    return lines.join("\n");
+};
+//# sourceMappingURL=orchestrators.js.map

package/dist/codegen/orchestrators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrators.js","sourceRoot":"","sources":["../../src/codegen/orchestrators.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEpE;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAe,EACf,aAAqC,EAC7B,EAAE;IACV,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAElC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,SAAS,GAAG,GAAG,QAAQ,OAAO,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,qDAAqD;IACrD,KAAK,CAAC,IAAI,CACR,iBAAiB,SAAS,yBAAyB,SAAS,aAAa,CAC1E,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAErD,KAAK,CAAC,IAAI,CACR,mBAAmB,MAAM,SAAS,SAAS,eAAe,WAAW,MAAM,SAAS,IAAI,CACzF,CAAC;QAEF,MAAM,WAAW,GAAG,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAE7C,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,iCAAiC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzE,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/policy-index.d.ts

@@ -0,0 +1,7 @@
+import type { PolicyDef } from "../schema/policy.js";
+/**
+ * Generate a policy index listing all policies per model+action.
+ * Output: generated/policy-index.ts
+ */
+export declare const generatePolicyIndex: (policies: PolicyDef[]) => string;
+//# sourceMappingURL=policy-index.d.ts.map

package/dist/codegen/policy-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-index.d.ts","sourceRoot":"","sources":["../../src/codegen/policy-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAIrD;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,SAAS,EAAE,KAAG,MAmD3D,CAAC"}

package/dist/codegen/policy-index.js

@@ -0,0 +1,40 @@
+import { capitalize } from "./utils.js";
+/**
+ * Generate a policy index listing all policies per model+action.
+ * Output: generated/policy-index.ts
+ */
+export const generatePolicyIndex = (policies) => {
+    if (policies.length === 0)
+        return "";
+    // Group: model → action → policy names
+    const index = new Map();
+    for (const policy of policies) {
+        const modelName = capitalize(policy.on.model.name);
+        const action = policy.on.action;
+        let actions = index.get(modelName);
+        if (!actions) {
+            actions = new Map();
+            index.set(modelName, actions);
+        }
+        let policyNames = actions.get(action);
+        if (!policyNames) {
+            policyNames = [];
+            actions.set(action, policyNames);
+        }
+        policyNames.push(policy.name);
+    }
+    const lines = [];
+    lines.push(`export const policyIndex = {`);
+    for (const [modelName, actions] of [...index].sort(([a], [b]) => a.localeCompare(b))) {
+        lines.push(`  ${modelName}: {`);
+        for (const [action, policyNames] of [...actions].sort(([a], [b]) => a.localeCompare(b))) {
+            const names = policyNames.map((n) => `'${n}'`).join(", ");
+            lines.push(`    ${action}: [${names}],`);
+        }
+        lines.push(`  },`);
+    }
+    lines.push(`} as const;`);
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=policy-index.js.map

package/dist/codegen/policy-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-index.js","sourceRoot":"","sources":["../../src/codegen/policy-index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAqB,EAAU,EAAE;IACnE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,uCAAuC;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiC,CAAC;IAEvD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC;QAEhC,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAEnC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;YACpB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEtC,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,WAAW,GAAG,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACnC,CAAC;QAED,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAE3C,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9D,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,KAAK,CAAC,CAAC;QAEhC,KAAK,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;YACF,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAE1D,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,MAAM,KAAK,IAAI,CAAC,CAAC;QAC3C,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/policy-mermaid.d.ts

@@ -0,0 +1,7 @@
+import type { PolicyDef } from "../schema/policy.js";
+/**
+ * Generate Mermaid interaction diagram for all policies targeting a single model.
+ * Output: generated/${targetModel}.policy-mermaid.md
+ */
+export declare const generatePolicyMermaid: (targetModelName: string, policies: PolicyDef[]) => string;
+//# sourceMappingURL=policy-mermaid.d.ts.map

package/dist/codegen/policy-mermaid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-mermaid.d.ts","sourceRoot":"","sources":["../../src/codegen/policy-mermaid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAIrD;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAChC,iBAAiB,MAAM,EACvB,UAAU,SAAS,EAAE,KACpB,MAkCF,CAAC"}

package/dist/codegen/policy-mermaid.js

@@ -0,0 +1,30 @@
+import { capitalize } from "./utils.js";
+/**
+ * Generate Mermaid interaction diagram for all policies targeting a single model.
+ * Output: generated/${targetModel}.policy-mermaid.md
+ */
+export const generatePolicyMermaid = (targetModelName, policies) => {
+    if (policies.length === 0)
+        return "";
+    const targetName = capitalize(targetModelName);
+    const lines = [];
+    lines.push(`graph LR`);
+    // Collect unique required model connections
+    const connections = new Set();
+    for (const policy of policies) {
+        for (const rel of Object.values(policy.requires)) {
+            const reqName = capitalize(rel.target.name);
+            connections.add(`  ${reqName} -->|${rel.kind}| ${targetName}`);
+        }
+        // Policy → model.action connection
+        const effects = [...new Set(policy.rules.map((r) => r.effect))].join("/");
+        lines.push(`  ${policy.name} -->|${effects}| ${targetName}.${policy.on.action}`);
+    }
+    // Add relation connections (deduplicated)
+    for (const conn of [...connections].sort()) {
+        lines.push(conn);
+    }
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=policy-mermaid.js.map

package/dist/codegen/policy-mermaid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-mermaid.js","sourceRoot":"","sources":["../../src/codegen/policy-mermaid.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,eAAuB,EACvB,QAAqB,EACb,EAAE;IACV,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,UAAU,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEvB,4CAA4C;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAE5C,WAAW,CAAC,GAAG,CAAC,KAAK,OAAO,QAAQ,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC,CAAC;QACjE,CAAC;QAED,mCAAmC;QACnC,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE1E,KAAK,CAAC,IAAI,CACR,KAAK,MAAM,CAAC,IAAI,QAAQ,OAAO,KAAK,UAAU,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CACrE,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC"}

package/dist/codegen/policy-tests.d.ts

@@ -0,0 +1,8 @@
+import type { ModelDef } from "../schema/model.js";
+import type { PolicyDef } from "../schema/policy.js";
+/**
+ * Generate integration tests for all policies targeting a single model.
+ * Output: generated/${targetModel}.policy.test.ts
+ */
+export declare const generatePolicyTests: (targetModelName: string, policies: PolicyDef[], modelLookup: Map<string, ModelDef>) => string;
+//# sourceMappingURL=policy-tests.d.ts.map

package/dist/codegen/policy-tests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-tests.d.ts","sourceRoot":"","sources":["../../src/codegen/policy-tests.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,qBAAqB,CAAC;AAYjE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAC9B,iBAAiB,MAAM,EACvB,UAAU,SAAS,EAAE,EACrB,aAAa,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,KACjC,MAaF,CAAC"}