dopespec 0.0.1

package/dist/codegen/policy-tests.js

@@ -0,0 +1,167 @@
+import { buildModelDefaults, capitalize, defaultValueForProp, guardToSource, relationIdField, resolvePolicyGuardBody, } from "./utils.js";
+/**
+ * Generate integration tests for all policies targeting a single model.
+ * Output: generated/${targetModel}.policy.test.ts
+ */
+export const generatePolicyTests = (targetModelName, policies, modelLookup) => {
+    if (policies.length === 0)
+        return "";
+    const lines = [];
+    const targetKey = targetModelName.toLowerCase();
+    emitTestImports(lines, targetKey, policies);
+    for (const policy of policies) {
+        emitPolicyTestBlock(lines, policy, modelLookup);
+    }
+    return lines.join("\n");
+};
+/** Build a source-code object literal with default values for a model's props. */
+function buildCtxSource(model) {
+    if (!model?.props)
+        return "{}";
+    const entries = buildPropDefaults(model);
+    return `{ ${entries.join(", ")} }`;
+}
+function buildOverriddenCtx(model, overrideProp, overrideValue) {
+    const entries = [];
+    if (model.props) {
+        for (const [k, p] of Object.entries(model.props).sort(([a], [b]) => a.localeCompare(b))) {
+            entries.push(k === overrideProp
+                ? `${k}: '${overrideValue}'`
+                : `${k}: ${defaultValueForProp(p)}`);
+        }
+    }
+    if (model.relations) {
+        for (const [k, rel] of Object.entries(model.relations).sort(([a], [b]) => a.localeCompare(b))) {
+            const field = relationIdField(k, rel.kind);
+            entries.push(rel.kind === "belongsTo" ? `${field}: ''` : `${field}: []`);
+        }
+    }
+    return `{ ${entries.join(", ")} }`;
+}
+function buildPropDefaults(model) {
+    const entries = [];
+    if (model.props) {
+        for (const [key, prop] of Object.entries(model.props).sort(([a], [b]) => a.localeCompare(b))) {
+            entries.push(`${key}: ${defaultValueForProp(prop)}`);
+        }
+    }
+    if (model.relations) {
+        for (const [key, rel] of Object.entries(model.relations).sort(([a], [b]) => a.localeCompare(b))) {
+            const field = relationIdField(key, rel.kind);
+            entries.push(rel.kind === "belongsTo" ? `${field}: ''` : `${field}: []`);
+        }
+    }
+    return entries;
+}
+function emitPolicyTestBlock(lines, policy, modelLookup) {
+    const policyName = capitalize(policy.name);
+    const validateFn = `validate${policyName}`;
+    const requiresModels = resolveRequiresModels(policy, modelLookup);
+    lines.push(`describe('${policy.name}', () => {`);
+    for (const [i, rule] of policy.rules.entries()) {
+        if (i > 0)
+            lines.push("");
+        emitRuleTest(lines, i, rule, policy, validateFn, requiresModels, modelLookup);
+    }
+    lines.push(`});`);
+    lines.push("");
+}
+function emitRuleTest(lines, index, rule, policy, validateFn, requiresModels, modelLookup) {
+    const rawBody = guardToSource(rule.when);
+    const guardBody = resolvePolicyGuardBody(rule.when, rawBody, requiresModels);
+    const ruleId = `${policy.name}:rule_${String(index)}`;
+    // Guard body in test description for readability; stable ID in assertion
+    const escapedBody = guardBody.replace(/'/g, "\\'");
+    lines.push(`  it('${ruleId}: ${escapedBody} → ${rule.effect}', () => {`);
+    // Build context
+    lines.push(`    const ctx = {`);
+    const onModel = modelLookup.get(policy.on.model.name);
+    lines.push(`      ${policy.on.model.name.toLowerCase()}: ${buildCtxSource(onModel)},`);
+    for (const [key, rel] of Object.entries(policy.requires)) {
+        const model = requiresModels[key];
+        if (rel.kind === "hasMany") {
+            lines.push(`      ${key}: [${buildCtxSource(model)}],`);
+        }
+        else {
+            lines.push(`      ${key}: ${findTriggerValues(rule.when, key, model)},`);
+        }
+    }
+    lines.push(`    };`);
+    lines.push(`    const result = ${validateFn}(ctx);`);
+    if (rule.effect === "prevent") {
+        lines.push(`    expect(result.valid).toBe(false);`);
+        lines.push(`    expect(result.violations).toContain('${ruleId}');`);
+    }
+    else {
+        lines.push(`    expect(result.warnings).toContain('${ruleId}');`);
+    }
+    lines.push(`  });`);
+}
+function emitTestImports(lines, targetKey, policies) {
+    lines.push(`import { describe, it, expect } from 'vitest';`);
+    const validatorImports = policies
+        .map((p) => `validate${capitalize(p.name)}`)
+        .join(", ");
+    lines.push(`import { ${validatorImports} } from './${targetKey}.policies.js';`);
+    const contextImports = policies
+        .map((p) => `${capitalize(p.name)}Context`)
+        .join(", ");
+    lines.push(`import type { ${contextImports} } from './${targetKey}.policies.js';`);
+    lines.push("");
+}
+function findTriggerEntry(guard, reqKey, model, defaults) {
+    if (!model.props)
+        return undefined;
+    for (const [propName, prop] of Object.entries(model.props)) {
+        const probeValues = probeValuesForProp(prop);
+        for (const value of probeValues) {
+            try {
+                const ctx = { [reqKey]: { ...defaults, [propName]: value } };
+                if (guard(ctx) === true)
+                    return { propName, value: String(value) };
+            }
+            catch {
+                /* guard may access props not yet available */
+            }
+        }
+    }
+    return undefined;
+}
+/**
+ * Find prop values that trigger a policy rule's guard for a specific requires key.
+ * Probes the guard with different enum/boolean values to find which one returns true.
+ *
+ * Limitation: probes one requires key at a time. Guards that check multiple keys
+ * (e.g. ctx.customer.status === 'x' && ctx.orders.length > 5) may not trigger
+ * during single-key probing — falls back to default values in that case.
+ */
+function findTriggerValues(guard, reqKey, model) {
+    if (!model?.props)
+        return "{}";
+    const defaults = buildModelDefaults(model);
+    const triggerEntry = findTriggerEntry(guard, reqKey, model, defaults);
+    if (!triggerEntry)
+        return buildCtxSource(model);
+    return buildOverriddenCtx(model, triggerEntry.propName, triggerEntry.value);
+}
+/**
+ * Probe values for a prop kind. Lifecycle/oneOf use their declared values,
+ * boolean tries true/false, other kinds are not probed.
+ */
+function probeValuesForProp(prop) {
+    if (prop.kind === "lifecycle" || prop.kind === "oneOf")
+        return prop.values;
+    if (prop.kind === "boolean")
+        return [true, false];
+    return [];
+}
+function resolveRequiresModels(policy, modelLookup) {
+    const result = {};
+    for (const [key, rel] of Object.entries(policy.requires)) {
+        const model = modelLookup.get(rel.target.name);
+        if (model)
+            result[key] = model;
+    }
+    return result;
+}
+//# sourceMappingURL=policy-tests.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy-tests.js","sourceRoot":"","sources":["../../src/codegen/policy-tests.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,kBAAkB,EAClB,UAAU,EACV,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,eAAuB,EACvB,QAAqB,EACrB,WAAkC,EAC1B,EAAE;IACV,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,EAAE,CAAC;IAEhD,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAE5C,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF,kFAAkF;AAClF,SAAS,cAAc,CAAC,KAA2B;IACjD,IAAI,CAAC,KAAK,EAAE,KAAK;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAEzC,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAe,EACf,YAAoB,EACpB,aAAqB;IAErB,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,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,OAAO,CAAC,IAAI,CACV,CAAC,KAAK,YAAY;gBAChB,CAAC,CAAC,GAAG,CAAC,MAAM,aAAa,GAAG;gBAC5B,CAAC,CAAC,GAAG,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACvE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;YACF,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAE3C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAe;IACxC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACtE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACzE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CACnB,EAAE,CAAC;YACF,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAE7C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAe,EACf,MAAiB,EACjB,WAAkC;IAElC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,WAAW,UAAU,EAAE,CAAC;IAC3C,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAElE,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,IAAI,YAAY,CAAC,CAAC;IAEjD,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,YAAY,CACV,KAAK,EACL,CAAC,EACD,IAAI,EACJ,MAAM,EACN,UAAU,EACV,cAAc,EACd,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CACnB,KAAe,EACf,KAAa,EACb,IAAgB,EAChB,MAAiB,EACjB,UAAkB,EAClB,cAAwC,EACxC,WAAkC;IAElC,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,CAAC,IAAiD,CACvD,CAAC;IACF,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,SAAS,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtD,yEAAyE;IACzE,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAEnD,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,WAAW,MAAM,IAAI,CAAC,MAAM,YAAY,CAAC,CAAC;IAEzE,gBAAgB;IAChB,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAEhC,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAEtD,KAAK,CAAC,IAAI,CACR,SAAS,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,OAAO,CAAC,GAAG,CAC3E,CAAC;IAEF,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QAElC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,CAAC,IAAI,CAAC,sBAAsB,UAAU,QAAQ,CAAC,CAAC;IAErD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,4CAA4C,MAAM,KAAK,CAAC,CAAC;IACtE,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,0CAA0C,MAAM,KAAK,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CACtB,KAAe,EACf,SAAiB,EACjB,QAAqB;IAErB,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAE7D,MAAM,gBAAgB,GAAG,QAAQ;SAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SAC3C,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,KAAK,CAAC,IAAI,CACR,YAAY,gBAAgB,cAAc,SAAS,gBAAgB,CACpE,CAAC;IAEF,MAAM,cAAc,GAAG,QAAQ;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;SAC1C,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,KAAK,CAAC,IAAI,CACR,iBAAiB,cAAc,cAAc,SAAS,gBAAgB,CACvE,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAyB,EACzB,MAAc,EACd,KAAe,EACf,QAAiC;IAEjC,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAEnC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAE7C,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBAE7D,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI;oBAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACrE,CAAC;YAAC,MAAM,CAAC;gBACP,8CAA8C;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CACxB,KAAyB,EACzB,MAAc,EACd,KAA2B;IAE3B,IAAI,CAAC,KAAK,EAAE,KAAK;QAAE,OAAO,IAAI,CAAC;IAE/B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAEtE,IAAI,CAAC,YAAY;QAAE,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;IAEhD,OAAO,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,IAAa;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QACpD,OAAO,IAAI,CAAC,MAA2B,CAAC;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAElD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAiB,EACjB,WAAkC;IAElC,MAAM,MAAM,GAA6B,EAAE,CAAC;IAE5C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAE/C,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACjC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy-validator.d.ts","sourceRoot":"","sources":["../../src/codegen/policy-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAIrD;;;GAGG;AACH,eAAO,MAAM,uBAAuB,GAClC,UAAU,SAAS,EAAE,EACrB,aAAa,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,KACjC,MAcF,CAAC"}

package/dist/codegen/policy-validator.js

@@ -0,0 +1,69 @@
+import { capitalize, guardToSource, resolvePolicyGuardBody } from "./utils.js";
+/**
+ * Generate policy validator functions for all policies targeting a single model.
+ * Output: generated/${targetModel}.policies.ts
+ */
+export const generatePolicyValidator = (policies, modelLookup) => {
+    if (policies.length === 0)
+        return "";
+    const lines = [];
+    // Collect and emit imports
+    emitImports(lines, policies);
+    // Generate per-policy context types and validator functions
+    for (const policy of policies) {
+        emitPolicyValidator(lines, policy, modelLookup);
+    }
+    return lines.join("\n");
+};
+function emitImports(lines, policies) {
+    const imports = new Map();
+    for (const policy of policies) {
+        const onModelName = policy.on.model.name;
+        imports.set(onModelName.toLowerCase(), `${capitalize(onModelName)}Props`);
+        for (const rel of Object.values(policy.requires)) {
+            const reqModelName = rel.target.name;
+            imports.set(reqModelName.toLowerCase(), `${capitalize(reqModelName)}Props`);
+        }
+    }
+    for (const [modelKey, propsType] of [...imports].sort(([a], [b]) => a.localeCompare(b))) {
+        lines.push(`import type { ${propsType} } from './${modelKey}.types.js';`);
+    }
+    lines.push("");
+}
+function emitPolicyValidator(lines, policy, modelLookup) {
+    const policyName = capitalize(policy.name);
+    const onModelTypeName = capitalize(policy.on.model.name);
+    const contextTypeName = `${policyName}Context`;
+    // Context type
+    lines.push(`export type ${contextTypeName} = {`);
+    lines.push(`  ${policy.on.model.name.toLowerCase()}: ${onModelTypeName}Props;`);
+    for (const [key, rel] of Object.entries(policy.requires)) {
+        const reqTypeName = `${capitalize(rel.target.name)}Props`;
+        const suffix = rel.kind === "hasMany" ? "[]" : "";
+        lines.push(`  ${key}: ${reqTypeName}${suffix};`);
+    }
+    lines.push(`};`);
+    lines.push("");
+    // Resolve required models for guard body resolution
+    const requiresModels = {};
+    for (const [key, rel] of Object.entries(policy.requires)) {
+        const model = modelLookup.get(rel.target.name);
+        if (model)
+            requiresModels[key] = model;
+    }
+    // Validator function
+    lines.push(`export function validate${policyName}(ctx: ${contextTypeName}): { valid: boolean; violations: string[]; warnings: string[] } {`);
+    lines.push(`  const violations: string[] = [];`);
+    lines.push(`  const warnings: string[] = [];`);
+    for (const [i, rule] of policy.rules.entries()) {
+        const rawBody = guardToSource(rule.when);
+        const guardBody = resolvePolicyGuardBody(rule.when, rawBody, requiresModels);
+        const target = rule.effect === "prevent" ? "violations" : "warnings";
+        const ruleId = `${policy.name}:rule_${String(i)}`;
+        lines.push(`  if (${guardBody}) ${target}.push('${ruleId}');`);
+    }
+    lines.push(`  return { valid: violations.length === 0, violations, warnings };`);
+    lines.push(`}`);
+    lines.push("");
+}
+//# sourceMappingURL=policy-validator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy-validator.js","sourceRoot":"","sources":["../../src/codegen/policy-validator.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAqB,EACrB,WAAkC,EAC1B,EAAE;IACV,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,2BAA2B;IAC3B,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAE7B,4DAA4D;IAC5D,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF,SAAS,WAAW,CAAC,KAAe,EAAE,QAAqB;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAEzC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,EAAE,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAE1E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjD,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;YAErC,OAAO,CAAC,GAAG,CACT,YAAY,CAAC,WAAW,EAAE,EAC1B,GAAG,UAAU,CAAC,YAAY,CAAC,OAAO,CACnC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,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;QACF,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,cAAc,QAAQ,aAAa,CAAC,CAAC;IAC5E,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAe,EACf,MAAiB,EACjB,WAAkC;IAElC,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,eAAe,GAAG,GAAG,UAAU,SAAS,CAAC;IAE/C,eAAe;IACf,KAAK,CAAC,IAAI,CAAC,eAAe,eAAe,MAAM,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CACR,KAAK,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,eAAe,QAAQ,CACpE,CAAC;IAEF,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,MAAM,WAAW,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1D,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAElD,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,WAAW,GAAG,MAAM,GAAG,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,oDAAoD;IACpD,MAAM,cAAc,GAA6B,EAAE,CAAC;IAEpD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAE/C,IAAI,KAAK;YAAE,cAAc,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACzC,CAAC;IAED,qBAAqB;IACrB,KAAK,CAAC,IAAI,CACR,2BAA2B,UAAU,SAAS,eAAe,mEAAmE,CACjI,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAE/C,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,aAAa,CAC3B,IAAI,CAAC,IAAiD,CACvD,CAAC;QACF,MAAM,SAAS,GAAG,sBAAsB,CACtC,IAAI,CAAC,IAAI,EACT,OAAO,EACP,cAAc,CACf,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;QACrE,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAElD,KAAK,CAAC,IAAI,CAAC,SAAS,SAAS,KAAK,MAAM,UAAU,MAAM,KAAK,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,IAAI,CACR,oEAAoE,CACrE,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC"}

package/dist/codegen/tests.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate unit tests from transition scenarios in Given/When/Then style. */
+export declare const generateTests: (model: ModelDef) => string;
+//# sourceMappingURL=tests.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tests.d.ts","sourceRoot":"","sources":["../../src/codegen/tests.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AA0HnD,8EAA8E;AAC9E,eAAO,MAAM,aAAa,GAAI,OAAO,QAAQ,KAAG,MAsE/C,CAAC"}

package/dist/codegen/tests.js

@@ -0,0 +1,125 @@
+import { isOptional } from "../schema/props.js";
+import { capitalize, defaultValueForProp, getLifecycleProp, getRelations, getTransitions, relationIdField, valueToSource, } from "./utils.js";
+/**
+ * Build a complete ctx object literal by merging prop defaults, relation
+ * defaults, and scenario-given values at codegen time. This avoids duplicate
+ * keys (which strict tsc warns about) and uses `satisfies` to prevent
+ * string-literal widening while still catching missing props.
+ */
+const buildCtxLiteral = (scenario, fromState, tg) => {
+    const parts = [];
+    // Start with prop defaults, overriding with scenario-given values
+    for (const [key, prop] of tg.propEntries) {
+        if (key === tg.lifecycleKey)
+            continue; // lifecycle handled separately
+        const scenarioValue = scenario.given[key];
+        if (scenarioValue !== undefined) {
+            parts.push(`${key}: ${valueToSource(scenarioValue)}`);
+        }
+        else if (!isOptional(prop)) {
+            parts.push(`${key}: ${defaultValueForProp(prop)}`);
+        }
+    }
+    // Lifecycle state
+    if (tg.lifecycleKey) {
+        parts.push(`${tg.lifecycleKey}: '${fromState}'`);
+    }
+    // Relation defaults
+    for (const [fieldName, defaultValue] of tg.relationEntries) {
+        parts.push(`${fieldName}: ${defaultValue}`);
+    }
+    return `{ ${parts.join(", ")} } satisfies ${tg.propsType}`;
+};
+const formatSuccessCase = (name, scenario, transition, tg) => {
+    const fnName = `${tg.typeName}${capitalize(name)}`;
+    const ctxLiteral = buildCtxLiteral(scenario, transition.from, tg);
+    const givenStr = JSON.stringify(scenario.given);
+    const lines = [
+        `  it('given ${givenStr}, when ${name}, then ${tg.lifecycleKey ?? "transition"} = ${scenario.expected}', () => {`,
+        `    const ctx = ${ctxLiteral};`,
+        `    const result = ${fnName}(ctx);`,
+    ];
+    if (tg.lifecycleKey) {
+        lines.push(`    expect(result.${tg.lifecycleKey}).toBe('${scenario.expected}');`);
+    }
+    else {
+        lines.push(`    expect(result).toBeDefined();`);
+    }
+    lines.push(`  });`);
+    return lines;
+};
+const formatFailureCase = (name, scenario, transition, tg) => {
+    const fnName = `${tg.typeName}${capitalize(name)}`;
+    const ctxLiteral = buildCtxLiteral(scenario, transition.from, tg);
+    const givenStr = JSON.stringify(scenario.given);
+    return [
+        `  it('given ${givenStr}, when ${name}, then stays ${scenario.expected}', () => {`,
+        `    const ctx = ${ctxLiteral};`,
+        `    expect(() => ${fnName}(ctx)).toThrow();`,
+        `  });`,
+    ];
+};
+const formatScenario = (name, scenario, transition, tg) => {
+    const succeeds = scenario.expected === transition.to;
+    return succeeds
+        ? formatSuccessCase(name, scenario, transition, tg)
+        : formatFailureCase(name, scenario, transition, tg);
+};
+/** Generate unit tests from transition scenarios in Given/When/Then style. */
+export const generateTests = (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 lifecycleKey = getLifecycleProp(model)?.key;
+    // Collect prop entries for building complete ctx objects
+    const propEntries = model.props
+        ? Object.entries(model.props)
+        : [];
+    // Build relation field entries
+    const relations = getRelations(model);
+    const relationEntries = [];
+    for (const [key, rel] of relations) {
+        const fieldName = relationIdField(key, rel.kind);
+        const defaultValue = rel.kind === "belongsTo" ? "''" : "[]";
+        relationEntries.push([fieldName, defaultValue]);
+    }
+    // Collect transition function names that have scenarios
+    const transitionFnNames = [];
+    for (const [name, transition] of transitions) {
+        if (transition.scenarios && transition.scenarios.length > 0) {
+            transitionFnNames.push(`${typeName}${capitalize(name)}`);
+        }
+    }
+    if (transitionFnNames.length === 0)
+        return "";
+    const tg = {
+        lifecycleKey,
+        propEntries,
+        propsType,
+        relationEntries,
+        typeName,
+    };
+    const lines = [];
+    lines.push(`import { describe, it, expect } from 'vitest';`);
+    // Import types for satisfies assertions
+    lines.push(`import type { ${propsType} } from './${modelName}.types.js';`);
+    // Convention: generated transition module lives at ./${modelName}.transitions.js
+    lines.push(`import { ${transitionFnNames.join(", ")} } from './${modelName}.transitions.js';`);
+    lines.push("");
+    lines.push(`describe('${typeName}', () => {`);
+    for (const [name, transition] of transitions) {
+        if (!transition.scenarios || transition.scenarios.length === 0)
+            continue;
+        for (const scenario of transition.scenarios) {
+            lines.push(...formatScenario(name, scenario, transition, tg));
+            lines.push("");
+        }
+    }
+    lines.push(`});`);
+    lines.push("");
+    return lines.join("\n");
+};
+//# sourceMappingURL=tests.js.map

package/dist/codegen/tests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tests.js","sourceRoot":"","sources":["../../src/codegen/tests.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,eAAe,EACf,aAAa,GACd,MAAM,YAAY,CAAC;AAWpB;;;;;GAKG;AACH,MAAM,eAAe,GAAG,CACtB,QAAkB,EAClB,SAAiB,EACjB,EAAc,EACN,EAAE;IACV,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,kEAAkE;IAClE,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACzC,IAAI,GAAG,KAAK,EAAE,CAAC,YAAY;YAAE,SAAS,CAAC,+BAA+B;QAEtE,MAAM,aAAa,GAAI,QAAQ,CAAC,KAAiC,CAAC,GAAG,CAAC,CAAC;QAEvE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,MAAM,SAAS,GAAG,CAAC,CAAC;IACnD,CAAC;IAED,oBAAoB;IACpB,KAAK,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,KAAK,YAAY,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,SAAS,EAAE,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,QAAkB,EAClB,UAA0B,EAC1B,EAAc,EACJ,EAAE;IACZ,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;IACnD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG;QACZ,eAAe,QAAQ,UAAU,IAAI,UAAU,EAAE,CAAC,YAAY,IAAI,YAAY,MAAM,QAAQ,CAAC,QAAQ,YAAY;QACjH,mBAAmB,UAAU,GAAG;QAChC,sBAAsB,MAAM,QAAQ;KACrC,CAAC;IAEF,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,qBAAqB,EAAE,CAAC,YAAY,WAAW,QAAQ,CAAC,QAAQ,KAAK,CACtE,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAClD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEpB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,QAAkB,EAClB,UAA0B,EAC1B,EAAc,EACJ,EAAE;IACZ,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;IACnD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAEhD,OAAO;QACL,eAAe,QAAQ,UAAU,IAAI,gBAAgB,QAAQ,CAAC,QAAQ,YAAY;QAClF,mBAAmB,UAAU,GAAG;QAChC,oBAAoB,MAAM,mBAAmB;QAC7C,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,QAAkB,EAClB,UAA0B,EAC1B,EAAc,EACJ,EAAE;IACZ,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;IAErD,OAAO,QAAQ;QACb,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC;QACnD,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAe,EAAU,EAAE;IACvD,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,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC;IAElD,yDAAyD;IACzD,MAAM,WAAW,GAAwB,KAAK,CAAC,KAAK;QAClD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,EAAE,CAAC;IAEP,+BAA+B;IAC/B,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,eAAe,GAAuB,EAAE,CAAC;IAE/C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAE5D,eAAe,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,wDAAwD;IACxD,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,IAAI,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE9C,MAAM,EAAE,GAAe;QACrB,YAAY;QACZ,WAAW;QACX,SAAS;QACT,eAAe;QACf,QAAQ;KACT,CAAC;IAEF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,wCAAwC;IACxC,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,cAAc,SAAS,aAAa,CAAC,CAAC;IAC3E,iFAAiF;IACjF,KAAK,CAAC,IAAI,CACR,YAAY,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,SAAS,mBAAmB,CACnF,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,YAAY,CAAC,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEzE,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,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/transitions.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate transition functions with runtime state checks and guards. */
+export declare const generateTransitions: (model: ModelDef) => string;
+//# sourceMappingURL=transitions.d.ts.map

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

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

package/dist/codegen/transitions.js

@@ -0,0 +1,41 @@
+import { capitalize, getLifecycleProp, getTransitions, guardToSource, resolveGuardBody, } from "./utils.js";
+/** Generate transition functions with runtime state checks and guards. */
+export const generateTransitions = (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 = [];
+    // Convention: generated transition module imports types from ./${modelName}.types
+    lines.push(`import type { ${propsType} } from './${modelName}.types.js';`);
+    lines.push("");
+    const lifecycleKey = getLifecycleProp(model)?.key;
+    for (const [name, transition] of transitions) {
+        const fnName = `${typeName}${capitalize(name)}`;
+        lines.push(`export function ${fnName}(ctx: ${propsType}): ${propsType} {`);
+        if (lifecycleKey) {
+            lines.push(`  if (ctx.${lifecycleKey} !== '${transition.from}') {`);
+            lines.push(`    throw new Error(\`Cannot ${name}: expected ${lifecycleKey} '${transition.from}', got '\${ctx.${lifecycleKey}}'\`);`);
+            lines.push(`  }`);
+        }
+        if (transition.guard) {
+            const rawBody = guardToSource(transition.guard);
+            const guardBody = resolveGuardBody(transition.guard, rawBody, model);
+            lines.push(`  if (!(${guardBody})) {`);
+            lines.push(`    throw new Error('Guard failed for transition ${name}');`);
+            lines.push(`  }`);
+        }
+        if (lifecycleKey) {
+            lines.push(`  return { ...ctx, ${lifecycleKey}: '${transition.to}' };`);
+        }
+        else {
+            lines.push(`  return ctx;`);
+        }
+        lines.push(`}`);
+        lines.push("");
+    }
+    return lines.join("\n");
+};
+//# sourceMappingURL=transitions.js.map

package/dist/codegen/transitions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../../src/codegen/transitions.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,0EAA0E;AAC1E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,KAAe,EAAU,EAAE;IAC7D,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;IAE3B,kFAAkF;IAClF,KAAK,CAAC,IAAI,CAAC,iBAAiB,SAAS,cAAc,SAAS,aAAa,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC;IAElD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAEhD,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,SAAS,SAAS,MAAM,SAAS,IAAI,CAAC,CAAC;QAE3E,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,aAAa,YAAY,SAAS,UAAU,CAAC,IAAI,MAAM,CAAC,CAAC;YACpE,KAAK,CAAC,IAAI,CACR,gCAAgC,IAAI,cAAc,YAAY,KAAK,UAAU,CAAC,IAAI,kBAAkB,YAAY,QAAQ,CACzH,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QAED,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,WAAW,SAAS,MAAM,CAAC,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,oDAAoD,IAAI,KAAK,CAAC,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QAED,IAAI,YAAY,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,sBAAsB,YAAY,MAAM,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9B,CAAC;QAED,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/types.d.ts

@@ -0,0 +1,4 @@
+import type { ModelDef } from "../schema/model.js";
+/** Generate TypeScript type definitions from a model's props and relations. */
+export declare const generateTypes: (model: ModelDef) => string;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/codegen/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAUnD,+EAA+E;AAC/E,eAAO,MAAM,aAAa,GAAI,OAAO,QAAQ,KAAG,MAqD/C,CAAC"}

package/dist/codegen/types.js

@@ -0,0 +1,48 @@
+import { isOptional } from "../schema/props.js";
+import { capitalize, getRelations, propKindToTS, relationIdField, } from "./utils.js";
+/** Generate TypeScript type definitions from a model's props and relations. */
+export const generateTypes = (model) => {
+    const hasProps = model.props && Object.keys(model.props).length > 0;
+    const relations = getRelations(model);
+    if (!hasProps && relations.length === 0)
+        return "";
+    const lines = [];
+    const typeName = capitalize(model.name);
+    const propEntries = model.props ? Object.entries(model.props) : [];
+    // Generate union types for lifecycle and oneOf props
+    for (const [key, prop] of propEntries) {
+        if (prop.kind === "lifecycle" || prop.kind === "oneOf") {
+            const unionName = `${typeName}${capitalize(key)}`;
+            const values = prop.values
+                .map((v) => `'${v}'`)
+                .join(" | ");
+            lines.push(`export type ${unionName} = ${values};`);
+        }
+    }
+    if (lines.length > 0)
+        lines.push("");
+    // Generate props interface
+    const propsFields = propEntries.map(([key, prop]) => {
+        let tsType;
+        if (prop.kind === "lifecycle" || prop.kind === "oneOf") {
+            tsType = `${typeName}${capitalize(key)}`;
+        }
+        else {
+            tsType = propKindToTS(prop);
+        }
+        const opt = isOptional(prop) ? "?" : "";
+        return `  ${key}${opt}: ${tsType};`;
+    });
+    // Add relation fields: belongsTo → string (foreign key id), hasMany → string[] (ids)
+    for (const [key, rel] of relations) {
+        const targetName = rel.target.name;
+        const fieldName = relationIdField(key, rel.kind);
+        const tsType = rel.kind === "belongsTo" ? "string" : "string[]";
+        propsFields.push(`  ${fieldName}: ${tsType}; // ${rel.kind} ${targetName}`);
+    }
+    lines.push(`export type ${typeName}Props = {`);
+    lines.push(...propsFields);
+    lines.push(`};`);
+    return lines.join("\n") + "\n";
+};
+//# sourceMappingURL=types.js.map

package/dist/codegen/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/codegen/types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EACL,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,+EAA+E;AAC/E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAe,EAAU,EAAE;IACvD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAEtC,IAAI,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEnE,qDAAqD;IACrD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAClD,MAAM,MAAM,GAAI,IAAI,CAAC,MAA4B;iBAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;iBACpB,IAAI,CAAC,KAAK,CAAC,CAAC;YAEf,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,MAAM,MAAM,GAAG,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAErC,2BAA2B;IAC3B,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;QAClD,IAAI,MAAc,CAAC;QAEnB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QAED,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAExC,OAAO,KAAK,GAAG,GAAG,GAAG,KAAK,MAAM,GAAG,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,qFAAqF;IACrF,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QACnC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QAEhE,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,KAAK,MAAM,QAAQ,GAAG,CAAC,IAAI,IAAI,UAAU,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,eAAe,QAAQ,WAAW,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC,CAAC"}

package/dist/codegen/utils.d.ts

@@ -0,0 +1,85 @@
+import type { ActionDef } from "../schema/actions.js";
+import type { ConstraintData } from "../schema/constraints.js";
+import type { ModelDef } from "../schema/model.js";
+import type { PolicyDef } from "../schema/policy.js";
+import type { PropDef } from "../schema/props.js";
+import type { RelationDef } from "../schema/relations.js";
+import type { TransitionData } from "../schema/transitions.js";
+/** Thrown by guardToSource when the guard function cannot be parsed into embeddable source. */
+export type GuardParseError = Error & {
+    readonly guardParse: true;
+};
+/**
+ * ModelDef's default generics use structural bases (TransitionDefBase, ConstraintDefBase)
+ * that omit guard/scenarios/preventedAction fields. At runtime, model() always stores the
+ * full TransitionData/ConstraintData/ActionDef objects. These accessors centralize the
+ * single unavoidable cast so all generators can work with properly typed data.
+ */
+export declare const getTransitions: (model: ModelDef) => [string, TransitionData][];
+export declare const getConstraints: (model: ModelDef) => [string, ConstraintData][];
+export declare const getActions: (model: ModelDef) => [string, ActionDef][];
+export declare const getRelations: (model: ModelDef) => [string, RelationDef][];
+export declare const capitalize: (s: string) => string;
+/** Converts PascalCase to kebab-case: "ContrastThresholds" → "contrast-thresholds" */
+export declare const toKebabCase: (name: string) => string;
+/**
+ * Derive the id field name for a relation key. Appends Id/Ids to key as-is.
+ * belongsTo "customer" → "customerId"
+ * hasMany "item" → "itemIds"
+ *
+ * Use singular relation keys for clean output (e.g. `item: hasMany(Pet)` not `items`).
+ */
+export declare const relationIdField: (key: string, kind: "belongsTo" | "hasMany") => string;
+/** Map a PropDef kind to its TypeScript type string. */
+export declare const propKindToTS: (prop: PropDef) => string;
+/** Map a PropDef kind to its Zod validator string. */
+export declare const propKindToZod: (prop: PropDef) => string;
+/** Find the single lifecycle prop in a model. Returns null if none. */
+export declare const getLifecycleProp: (model: ModelDef) => null | {
+    key: string;
+    values: readonly string[];
+};
+export declare const guardToSource: (guard: (ctx: Record<string, unknown>) => unknown) => string;
+/**
+ * Resolve external closure references in a guard body by probing the guard
+ * function with known enum/lifecycle values from the model.
+ *
+ * Guards like `(ctx) => ctx.status === orderStates.cancelled` serialize to a
+ * body containing `orderStates.cancelled` — an identifier that doesn't exist
+ * in generated code. This function detects such references and replaces them
+ * with their resolved string literal values.
+ *
+ * Works by finding `ctx.prop === ref` or `ref === ctx.prop` patterns, then
+ * calling the guard with each possible enum value until one matches.
+ *
+ * Limitations:
+ * - Only matches single-dot refs like `states.cancelled`, not deeper paths.
+ *   This is intentional — lifecycle.states() produces `{ name: name }` objects.
+ * - Only matches `===` / `==` operators. `!==` / `!=` are not matched by the
+ *   regex and will pass through unchanged (the external ref stays in the body).
+ */
+export declare const resolveGuardBody: (guard: (ctx: Record<string, unknown>) => unknown, body: string, model: ModelDef) => string;
+/** Serialize a JS value to embeddable source code (string literal, number, boolean). */
+export declare const valueToSource: (value: unknown) => string;
+/** Return a sensible default value (as source code) for a PropDef kind. */
+export declare const defaultValueForProp: (prop: PropDef) => string;
+/** Convert action fields (Record<string, PropDef>) to a TypeScript type literal. */
+export declare const fieldsToTSType: (fields: Record<string, PropDef> | undefined) => string;
+/**
+ * Build default values for all props in a model (as runtime JS values, not source).
+ * Used by resolvePolicyGuardBody to probe guard functions.
+ */
+export declare const buildModelDefaults: (model: ModelDef) => Record<string, unknown>;
+/**
+ * Resolve external closure references in a policy guard body.
+ *
+ * Policy guards access nested ctx: `ctx.customer.status === customerStates.suspended`.
+ * This function resolves `customerStates.suspended` to `'suspended'` by probing the
+ * guard function with known enum values from the required models.
+ *
+ * @param guard - The guard function (closure with captured variables)
+ * @param body - Raw guard body from guardToSource
+ * @param requiresModels - Map of requires key → resolved ModelDef
+ */
+export declare const resolvePolicyGuardBody: (guard: PolicyDef["rules"][number]["when"], body: string, requiresModels: Record<string, ModelDef>) => string;
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/codegen/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAW/D,+FAA+F;AAC/F,MAAM,MAAM,eAAe,GAAG,KAAK,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;CAAE,CAAC;AAWpE;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,QAAQ,KAAG,CAAC,MAAM,EAAE,cAAc,CAAC,EAIxE,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,OAAO,QAAQ,KAAG,CAAC,MAAM,EAAE,cAAc,CAAC,EAIxE,CAAC;AAEF,eAAO,MAAM,UAAU,GAAI,OAAO,QAAQ,KAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAI/D,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,OAAO,QAAQ,KAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EAInE,CAAC;AAEF,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,MACC,CAAC;AAEzC,sFAAsF;AACtF,eAAO,MAAM,WAAW,GAAI,MAAM,MAAM,KAAG,MAIzB,CAAC;AAEnB;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAC1B,KAAK,MAAM,EACX,MAAM,WAAW,GAAG,SAAS,KAC5B,MAIF,CAAC;AAaF,wDAAwD;AACxD,eAAO,MAAM,YAAY,GAAI,MAAM,OAAO,KAAG,MAuB5C,CAAC;AAQF,sDAAsD;AACtD,eAAO,MAAM,aAAa,GAAI,MAAM,OAAO,KAAG,MAuB7C,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,gBAAgB,GAC3B,OAAO,QAAQ,KACd,IAAI,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAUjD,CAAC;AAkBF,eAAO,MAAM,aAAa,GACxB,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,KAC/C,MA0DF,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,EAChD,MAAM,MAAM,EACZ,OAAO,QAAQ,KACd,MAkDF,CAAC;AAEF,wFAAwF;AACxF,eAAO,MAAM,aAAa,GAAI,OAAO,OAAO,KAAG,MAQ9C,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,mBAAmB,GAAI,MAAM,OAAO,KAAG,MAyBnD,CAAC;AAEF,oFAAoF;AACpF,eAAO,MAAM,cAAc,GACzB,QAAQ,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,KAC1C,MAUF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,QAAQ,KACd,MAAM,CAAC,MAAM,EAAE,OAAO,CAiCxB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,EACzC,MAAM,MAAM,EACZ,gBAAgB,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,KACvC,MA4DF,CAAC"}