@angriff36/manifest 2.18.0

package/dist/manifest/projections/convex/options.d.ts

@@ -0,0 +1,153 @@
+/**
+ * Configuration surface for the Convex projection.
+ *
+ * THIS IS THE CONSUMER-FACING CONFIG SCHEMA.
+ *
+ * Every Convex-specific concept (table name, validator override, indexes,
+ * reference field naming, identity mode) is supplied here at projection time.
+ * NONE of these enter Manifest core grammar or IR. The projection translates
+ * IR + this options bag into a `convex/schema.ts` artifact.
+ *
+ * Shape invariant (matches the Prisma projection): all per-property options use
+ * the NESTED form `Record<EntityName, Record<PropertyName, X>>`. No dotted-string
+ * `"Entity.property"` keys exist anywhere on this surface.
+ */
+import type { NamingConventionInput } from '../shared/naming.js';
+export type { NamingConventionInput };
+/** Entity name as it appears in IR (`IREntity.name`). */
+export type EntityName = string;
+/** Property name as it appears in IR (`IRProperty.name`). */
+export type PropertyName = string;
+/**
+ * One index entry. Plain `string[]` is a composite index over those columns;
+ * the object form lets the consumer supply an explicit Convex index name.
+ */
+export type IndexEntry = string[] | {
+    fields: string[];
+    name?: string;
+};
+/**
+ * How `belongsTo` / `ref` relationships are represented in the schema.
+ *
+ * - `'convexId'` (default) → `<fk>: v.id("<targetTable>")`. Idiomatic Convex;
+ *   the projection treats Convex's document `_id` as identity and drops the
+ *   IR `id` scalar. References must therefore carry the parent's Convex `_id`
+ *   (a Phase 2 / create-mutation concern).
+ * - `'stringId'` → `<fk>: v.string()`. Use when references carry app-level
+ *   string ids (UUIDs) rather than Convex document ids.
+ */
+export type ReferenceMode = 'convexId' | 'stringId';
+export interface ConvexProjectionOptions {
+    /**
+     * Output path hint for the emitted artifact. The projection does not write
+     * files; this flows through to `ProjectionArtifact.pathHint`.
+     * Default: `"convex/schema.ts"`.
+     */
+    output?: string;
+    /**
+     * Per-entity table-name override. Always wins over the naming convention.
+     *   tableMappings: { CateringEvent: "events" }
+     */
+    tableMappings?: Record<EntityName, string>;
+    /**
+     * Per-entity, per-property validator override. The value is the *literal*
+     * Convex validator expression (e.g. `"v.number()"`, `"v.int64()"`).
+     *   typeMappings: { Invoice: { total: "v.number()" } }
+     */
+    typeMappings?: Record<EntityName, Record<PropertyName, string>>;
+    /**
+     * Per-entity composite/named index definitions. Each entry becomes a
+     * `.index("name", [...])` call on the table.
+     *   indexes: { Order: [["tenantId", "createdAt"], { fields: ["sku"], name: "by_sku" }] }
+     */
+    indexes?: Record<EntityName, IndexEntry[]>;
+    /**
+     * Per-entity, per-relationship foreign-key field-name override. By default
+     * the FK field name is the relationship's non-tenant `foreignKey.fields`
+     * column (or `${relationshipName}Id`).
+     *   references: { Book: { author: "writerId" } }
+     */
+    references?: Record<EntityName, Record<string, string>>;
+    /**
+     * Identity representation for references. Default `'convexId'`. See
+     * {@link ReferenceMode}.
+     */
+    referenceMode?: ReferenceMode;
+    /**
+     * Table-name casing/pluralization convention. Defaults to Convex-idiomatic
+     * `{ table: 'camelCase', pluralizeTables: true }` when omitted. Explicit
+     * `tableMappings` is the escape hatch for irregular plurals.
+     */
+    naming?: NamingConventionInput;
+    /**
+     * Emit a system events table in the schema (the reactive event log that
+     * governed mutations append to). Default `true`. The functions surface
+     * inserts event rows into this table.
+     */
+    emitEventsTable?: boolean;
+    /**
+     * Name of the system events table. Default `"manifestEvents"`. If the
+     * resolved name collides with an entity's table, it is deterministically
+     * suffixed to stay unique (with a diagnostic).
+     */
+    eventsTable?: string;
+    /**
+     * Authorization-policy enforcement in generated mutations. Default
+     * `'enforce'`. Set to `'skip'` for dev/demo builds that have no auth context
+     * configured: the role/policy (authorization) checks are omitted, while
+     * guards and constraints (state validation) are still enforced. Production
+     * builds should keep the default `'enforce'`.
+     */
+    policyMode?: 'enforce' | 'skip';
+    /**
+     * Scope the unfiltered `list<Entity>` / `get<Entity>` reads to the current
+     * tenant. Default `true`. Field-aware: only applied to entities that actually
+     * declare the tenant column. The tenant id is derived from the authenticated
+     * identity (`ctx.auth.<tenantProp>`), never from a client argument — so an
+     * un-scoped `list<Entity>()` cannot return rows across tenants. Mirrors the
+     * Next.js projection's `includeTenantFilter`.
+     */
+    includeTenantFilter?: boolean;
+    /**
+     * Exclude soft-deleted rows (`<deletedAtProperty> != null`) from generated
+     * reads. Default `true`. Field-aware: only applied to entities that declare
+     * the soft-delete column. Mirrors the Next.js projection's
+     * `includeSoftDeleteFilter`.
+     */
+    includeSoftDeleteFilter?: boolean;
+    /**
+     * Override the tenant property name used for read scoping. Defaults to the
+     * IR's declared tenant property (`ir.tenant.property`) when omitted.
+     */
+    tenantIdProperty?: string;
+    /**
+     * Soft-delete property name. Default `"deletedAt"`. A read excludes rows
+     * whose value for this property is non-null when `includeSoftDeleteFilter`
+     * is on and the entity declares the column.
+     */
+    deletedAtProperty?: string;
+}
+/**
+ * Defaults, exported so consumers and tests can introspect them.
+ */
+export declare const CONVEX_PROJECTION_DEFAULTS: {
+    readonly output: "convex/schema.ts";
+    readonly referenceMode: ReferenceMode;
+    readonly emitEventsTable: true;
+    readonly eventsTable: "manifestEvents";
+    readonly policyMode: "enforce" | "skip";
+    readonly includeTenantFilter: true;
+    readonly includeSoftDeleteFilter: true;
+    readonly deletedAtProperty: "deletedAt";
+};
+/**
+ * The Convex-idiomatic default naming convention applied when the consumer
+ * supplies none: lower-camel-first, pluralized table keys.
+ */
+export declare const CONVEX_DEFAULT_NAMING: NamingConventionInput;
+/**
+ * Normalize a raw `request.options` bag into a fully-typed options object.
+ * Single trust boundary: after this, the projection trusts the contents.
+ */
+export declare function normalizeOptions(raw: Record<string, unknown> | undefined): Required<Pick<ConvexProjectionOptions, 'output' | 'referenceMode' | 'tableMappings' | 'typeMappings' | 'indexes' | 'references' | 'emitEventsTable' | 'eventsTable' | 'policyMode' | 'includeTenantFilter' | 'includeSoftDeleteFilter' | 'deletedAtProperty'>> & Pick<ConvexProjectionOptions, 'naming' | 'tenantIdProperty'>;
+//# sourceMappingURL=options.d.ts.map

package/dist/manifest/projections/convex/options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.d.ts","sourceRoot":"","sources":["../../../../src/manifest/projections/convex/options.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAEjE,YAAY,EAAE,qBAAqB,EAAE,CAAC;AAEtC,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAChC,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;;GAGG;AACH,MAAM,MAAM,UAAU,GAClB,MAAM,EAAE,GACR;IAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,UAAU,CAAC;AAEpD,MAAM,WAAW,uBAAuB;IACtC;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAE3C;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;IAEhE;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC;IAE3C;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAExD;;;OAGG;IACH,aAAa,CAAC,EAAE,aAAa,CAAC;IAE9B;;;;OAIG;IACH,MAAM,CAAC,EAAE,qBAAqB,CAAC;IAE/B;;;;OAIG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC;IAEhC;;;;;;;OAOG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B;;;;;OAKG;IACH,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAElC;;;OAGG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,eAAO,MAAM,0BAA0B;;4BAER,aAAa;;;yBAGjB,SAAS,GAAG,MAAM;;;;CAInC,CAAC;AAEX;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,qBAGnC,CAAC;AAEF;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,QAAQ,CAClF,IAAI,CAAC,uBAAuB,EAAE,QAAQ,GAAG,eAAe,GAAG,eAAe,GAAG,cAAc,GAAG,SAAS,GAAG,YAAY,GAAG,iBAAiB,GAAG,aAAa,GAAG,YAAY,GAAG,qBAAqB,GAAG,yBAAyB,GAAG,mBAAmB,CAAC,CACrP,GAAG,IAAI,CAAC,uBAAuB,EAAE,QAAQ,GAAG,kBAAkB,CAAC,CAmB/D"}

package/dist/manifest/projections/convex/options.js

@@ -0,0 +1,60 @@
+/**
+ * Configuration surface for the Convex projection.
+ *
+ * THIS IS THE CONSUMER-FACING CONFIG SCHEMA.
+ *
+ * Every Convex-specific concept (table name, validator override, indexes,
+ * reference field naming, identity mode) is supplied here at projection time.
+ * NONE of these enter Manifest core grammar or IR. The projection translates
+ * IR + this options bag into a `convex/schema.ts` artifact.
+ *
+ * Shape invariant (matches the Prisma projection): all per-property options use
+ * the NESTED form `Record<EntityName, Record<PropertyName, X>>`. No dotted-string
+ * `"Entity.property"` keys exist anywhere on this surface.
+ */
+/**
+ * Defaults, exported so consumers and tests can introspect them.
+ */
+export const CONVEX_PROJECTION_DEFAULTS = {
+    output: 'convex/schema.ts',
+    referenceMode: 'convexId',
+    emitEventsTable: true,
+    eventsTable: 'manifestEvents',
+    policyMode: 'enforce',
+    includeTenantFilter: true,
+    includeSoftDeleteFilter: true,
+    deletedAtProperty: 'deletedAt',
+};
+/**
+ * The Convex-idiomatic default naming convention applied when the consumer
+ * supplies none: lower-camel-first, pluralized table keys.
+ */
+export const CONVEX_DEFAULT_NAMING = {
+    table: 'camelCase',
+    pluralizeTables: true,
+};
+/**
+ * Normalize a raw `request.options` bag into a fully-typed options object.
+ * Single trust boundary: after this, the projection trusts the contents.
+ */
+export function normalizeOptions(raw) {
+    const input = (raw ?? {});
+    return {
+        output: input.output ?? CONVEX_PROJECTION_DEFAULTS.output,
+        referenceMode: input.referenceMode ?? CONVEX_PROJECTION_DEFAULTS.referenceMode,
+        tableMappings: input.tableMappings ?? {},
+        typeMappings: input.typeMappings ?? {},
+        indexes: input.indexes ?? {},
+        references: input.references ?? {},
+        emitEventsTable: input.emitEventsTable ?? CONVEX_PROJECTION_DEFAULTS.emitEventsTable,
+        eventsTable: input.eventsTable ?? CONVEX_PROJECTION_DEFAULTS.eventsTable,
+        policyMode: input.policyMode ?? CONVEX_PROJECTION_DEFAULTS.policyMode,
+        includeTenantFilter: input.includeTenantFilter ?? CONVEX_PROJECTION_DEFAULTS.includeTenantFilter,
+        includeSoftDeleteFilter: input.includeSoftDeleteFilter ?? CONVEX_PROJECTION_DEFAULTS.includeSoftDeleteFilter,
+        deletedAtProperty: input.deletedAtProperty ?? CONVEX_PROJECTION_DEFAULTS.deletedAtProperty,
+        tenantIdProperty: input.tenantIdProperty,
+        // Absent → Convex-idiomatic default applied by the generator.
+        naming: input.naming,
+    };
+}
+//# sourceMappingURL=options.js.map

package/dist/manifest/projections/convex/options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.js","sourceRoot":"","sources":["../../../../src/manifest/projections/convex/options.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAuIH;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,MAAM,EAAE,kBAAkB;IAC1B,aAAa,EAAE,UAA2B;IAC1C,eAAe,EAAE,IAAI;IACrB,WAAW,EAAE,gBAAgB;IAC7B,UAAU,EAAE,SAA+B;IAC3C,mBAAmB,EAAE,IAAI;IACzB,uBAAuB,EAAE,IAAI;IAC7B,iBAAiB,EAAE,WAAW;CACtB,CAAC;AAEX;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA0B;IAC1D,KAAK,EAAE,WAAW;IAClB,eAAe,EAAE,IAAI;CACtB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAwC;IAGvE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,CAAqC,CAAC;IAC9D,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,0BAA0B,CAAC,MAAM;QACzD,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,0BAA0B,CAAC,aAAa;QAC9E,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,EAAE;QACxC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,EAAE;QACtC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE;QAClC,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,0BAA0B,CAAC,eAAe;QACpF,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,0BAA0B,CAAC,WAAW;QACxE,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU;QACrE,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,IAAI,0BAA0B,CAAC,mBAAmB;QAChG,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,0BAA0B,CAAC,uBAAuB;QAC5G,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,IAAI,0BAA0B,CAAC,iBAAiB;QAC1F,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,8DAA8D;QAC9D,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC;AACJ,CAAC"}

package/dist/manifest/projections/convex/orchestration.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Convex orchestration surfaces: `convex.crons`, `convex.http`, `convex.sagas`.
+ *
+ * - Schedules → `convex/crons.ts` (`cronJobs()` scheduling the command mutations).
+ * - Webhooks  → `convex/http.ts` (`httpRouter` + `httpAction` invoking commands).
+ * - Sagas     → `convex/sagas.ts` (orchestrator `action`s that run each step via
+ *   `ctx.runMutation`, compensating completed steps in reverse on failure).
+ *
+ * Convex has no native saga/webhook/cron-of-commands primitive, so these are
+ * faithful structural projections onto Convex's scheduler / HTTP / action APIs.
+ * Step argument mapping is not expressed in the saga IR, so the orchestrator
+ * forwards a single `input` payload to each step (app-supplied).
+ */
+import type { IR } from '../../ir';
+import type { ProjectionDiagnostic } from '../interface';
+export interface OrchestrationResult {
+    code: string;
+    diagnostics: ProjectionDiagnostic[];
+}
+export declare function generateCrons(ir: IR, rawOptions: Record<string, unknown> | undefined): OrchestrationResult;
+export declare function generateHttp(ir: IR, rawOptions: Record<string, unknown> | undefined): OrchestrationResult;
+export declare function generateSagas(ir: IR, _rawOptions: Record<string, unknown> | undefined): OrchestrationResult;
+//# sourceMappingURL=orchestration.d.ts.map

package/dist/manifest/projections/convex/orchestration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestration.d.ts","sourceRoot":"","sources":["../../../../src/manifest/projections/convex/orchestration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,EAAE,EAAiC,MAAM,UAAU,CAAC;AAClE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAIzD,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACrC;AAmBD,wBAAgB,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,mBAAmB,CAgC1G;AAMD,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,mBAAmB,CAsCzG;AAMD,wBAAgB,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,mBAAmB,CAgD3G"}

package/dist/manifest/projections/convex/orchestration.js

@@ -0,0 +1,150 @@
+/**
+ * Convex orchestration surfaces: `convex.crons`, `convex.http`, `convex.sagas`.
+ *
+ * - Schedules → `convex/crons.ts` (`cronJobs()` scheduling the command mutations).
+ * - Webhooks  → `convex/http.ts` (`httpRouter` + `httpAction` invoking commands).
+ * - Sagas     → `convex/sagas.ts` (orchestrator `action`s that run each step via
+ *   `ctx.runMutation`, compensating completed steps in reverse on failure).
+ *
+ * Convex has no native saga/webhook/cron-of-commands primitive, so these are
+ * faithful structural projections onto Convex's scheduler / HTTP / action APIs.
+ * Step argument mapping is not expressed in the saga IR, so the orchestrator
+ * forwards a single `input` payload to each step (app-supplied).
+ */
+import { normalizeOptions } from './options.js';
+import { renderExpression, DEFAULT_GLOBALS } from './expression.js';
+const HEADER = '// GENERATED by the Manifest → Convex projection. DO NOT EDIT.';
+/** Mutation export name for a command on an entity (matches convex.mutations). */
+function mutationRef(entity, command) {
+    return `api.mutations.${entity}_${command}`;
+}
+// ---------------------------------------------------------------------------
+// Schedules → crons
+// ---------------------------------------------------------------------------
+function intervalArg(durationMs) {
+    if (durationMs % 3_600_000 === 0)
+        return `{ hours: ${durationMs / 3_600_000} }`;
+    if (durationMs % 60_000 === 0)
+        return `{ minutes: ${durationMs / 60_000} }`;
+    return `{ seconds: ${Math.max(1, Math.round(durationMs / 1000))} }`;
+}
+export function generateCrons(ir, rawOptions) {
+    void normalizeOptions(rawOptions);
+    const diagnostics = [];
+    const lines = [];
+    for (const sched of (ir.schedules ?? [])) {
+        const ref = sched.entityName ? mutationRef(sched.entityName, sched.commandName) : `api.mutations.${sched.commandName}`;
+        const paramsObj = `{${(sched.params ?? []).map(p => {
+            const { code, unresolved } = renderExpression(p.expression, { selfVar: 'args' });
+            if (unresolved.length)
+                diagnostics.push({ severity: 'warning', code: 'CONVEX_UNRESOLVED_SCHEDULE_PARAM', message: `schedule '${sched.name}' param '${p.name}' unresolved; omitted.` });
+            return unresolved.length ? null : ` ${p.name}: ${code}`;
+        }).filter(Boolean).join(',')} }`;
+        const t = sched.trigger;
+        if (t.kind === 'cron' && t.cron) {
+            lines.push(`crons.cron(${JSON.stringify(sched.name)}, ${JSON.stringify(t.cron)}, ${ref}, ${paramsObj});`);
+        }
+        else if (t.durationMs) {
+            lines.push(`crons.interval(${JSON.stringify(sched.name)}, ${intervalArg(t.durationMs)}, ${ref}, ${paramsObj});`);
+        }
+        else {
+            diagnostics.push({ severity: 'warning', code: 'CONVEX_UNRESOLVED_TRIGGER', message: `schedule '${sched.name}' has no cron/duration; skipped.` });
+        }
+    }
+    if (lines.length === 0)
+        diagnostics.push({ severity: 'info', code: 'CONVEX_NO_SCHEDULES', message: 'No schedules declared; emitted an empty crons file.' });
+    const code = `${HEADER}\n// ${lines.length} cron job(s).\n\n` +
+        `import { cronJobs } from "convex/server";\n` +
+        `import { api } from "./_generated/api";\n\n` +
+        `const crons = cronJobs();\n\n` +
+        `${lines.join('\n')}${lines.length ? '\n\n' : '\n'}` +
+        `export default crons;\n`;
+    return { code, diagnostics };
+}
+// ---------------------------------------------------------------------------
+// Webhooks → http
+// ---------------------------------------------------------------------------
+export function generateHttp(ir, rawOptions) {
+    void normalizeOptions(rawOptions);
+    const diagnostics = [];
+    const routes = [];
+    for (const wh of (ir.webhooks ?? [])) {
+        const ref = wh.entity ? mutationRef(wh.entity, wh.command) : `api.mutations.${wh.command}`;
+        const transformEntries = [];
+        for (const t of wh.transform ?? []) {
+            const { code, unresolved } = renderExpression(t.expression, { selfVar: 'body', globals: ['body', ...DEFAULT_GLOBALS] });
+            if (unresolved.length) {
+                diagnostics.push({ severity: 'warning', code: 'CONVEX_UNRESOLVED_WEBHOOK_PARAM', message: `webhook '${wh.name}' param '${t.name}' unresolved; omitted.` });
+                continue;
+            }
+            transformEntries.push(`${t.name}: ${code}`);
+        }
+        const method = (wh.method ?? 'POST').toUpperCase();
+        routes.push(`http.route({\n` +
+            `  path: ${JSON.stringify(wh.path)},\n` +
+            `  method: ${JSON.stringify(method)},\n` +
+            `  handler: httpAction(async (ctx, request) => {\n` +
+            `    const body = await request.json();\n` +
+            `    await ctx.runMutation(${ref}, { ${transformEntries.join(', ')} } as any);\n` +
+            `    return new Response(null, { status: 200 });\n` +
+            `  }),\n` +
+            `});`);
+    }
+    if (routes.length === 0)
+        diagnostics.push({ severity: 'info', code: 'CONVEX_NO_WEBHOOKS', message: 'No webhooks declared; emitted an empty http router.' });
+    const code = `${HEADER}\n// ${routes.length} webhook route(s).\n\n` +
+        `import { httpRouter } from "convex/server";\n` +
+        `import { httpAction } from "./_generated/server";\n` +
+        `import { api } from "./_generated/api";\n\n` +
+        `const http = httpRouter();\n\n` +
+        `${routes.join('\n\n')}${routes.length ? '\n\n' : '\n'}` +
+        `export default http;\n`;
+    return { code, diagnostics };
+}
+// ---------------------------------------------------------------------------
+// Sagas → orchestrator actions
+// ---------------------------------------------------------------------------
+export function generateSagas(ir, _rawOptions) {
+    const diagnostics = [];
+    const blocks = [];
+    for (const saga of (ir.sagas ?? [])) {
+        const forward = [];
+        saga.steps.forEach((step, i) => {
+            forward.push(`      await ctx.runMutation(${mutationRef(step.commandEntity, step.command)}, input as any);`);
+            forward.push(`      completed.push(${i});`);
+        });
+        // Compensation in reverse for completed steps that declare a compensate command.
+        const comp = [];
+        if (saga.onFailure === 'compensate') {
+            for (let i = saga.steps.length - 1; i >= 0; i--) {
+                const step = saga.steps[i];
+                if (!step.compensate || !step.compensateEntity)
+                    continue;
+                comp.push(`      if (completed.includes(${i})) await ctx.runMutation(${mutationRef(step.compensateEntity, step.compensate)}, input as any);`);
+            }
+        }
+        blocks.push(`export const ${saga.name} = action({\n` +
+            `  args: { input: v.any() },\n` +
+            `  handler: async (ctx, { input }) => {\n` +
+            `    const completed: number[] = [];\n` +
+            `    try {\n` +
+            `${forward.join('\n')}\n` +
+            `      return { ok: true, completed };\n` +
+            `    } catch (err) {\n` +
+            (comp.length
+                ? `      // compensate completed steps in reverse\n${comp.join('\n')}\n`
+                : `      // onFailure: ${saga.onFailure} — no compensation\n`) +
+            `      throw err;\n` +
+            `    }\n` +
+            `  },\n});`);
+    }
+    if (blocks.length === 0)
+        diagnostics.push({ severity: 'info', code: 'CONVEX_NO_SAGAS', message: 'No sagas declared; emitted an empty sagas file.' });
+    const code = `${HEADER}\n// ${blocks.length} saga orchestrator(s).\n\n` +
+        `import { action } from "./_generated/server";\n` +
+        `import { v } from "convex/values";\n` +
+        `import { api } from "./_generated/api";\n\n` +
+        `${blocks.join('\n\n')}${blocks.length ? '\n' : ''}`;
+    return { code, diagnostics };
+}
+//# sourceMappingURL=orchestration.js.map

package/dist/manifest/projections/convex/orchestration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestration.js","sourceRoot":"","sources":["../../../../src/manifest/projections/convex/orchestration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAOpE,MAAM,MAAM,GAAG,gEAAgE,CAAC;AAEhF,kFAAkF;AAClF,SAAS,WAAW,CAAC,MAAc,EAAE,OAAe;IAClD,OAAO,iBAAiB,MAAM,IAAI,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,SAAS,WAAW,CAAC,UAAkB;IACrC,IAAI,UAAU,GAAG,SAAS,KAAK,CAAC;QAAE,OAAO,YAAY,UAAU,GAAG,SAAS,IAAI,CAAC;IAChF,IAAI,UAAU,GAAG,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,UAAU,GAAG,MAAM,IAAI,CAAC;IAC5E,OAAO,cAAc,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAM,EAAE,UAA+C;IACnF,KAAK,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAiB,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,iBAAiB,KAAK,CAAC,WAAW,EAAE,CAAC;QACvH,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACjD,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YACjF,IAAI,UAAU,CAAC,MAAM;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,kCAAkC,EAAE,OAAO,EAAE,aAAa,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC,IAAI,wBAAwB,EAAE,CAAC,CAAC;YACvL,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC1D,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACjC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC;QAC5G,CAAC;aAAM,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC;QACnH,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,aAAa,KAAK,CAAC,IAAI,kCAAkC,EAAE,CAAC,CAAC;QACnJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,qDAAqD,EAAE,CAAC,CAAC;IAE5J,MAAM,IAAI,GACR,GAAG,MAAM,QAAQ,KAAK,CAAC,MAAM,mBAAmB;QAChD,6CAA6C;QAC7C,6CAA6C;QAC7C,+BAA+B;QAC/B,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE;QACpD,yBAAyB,CAAC;IAC5B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,MAAM,UAAU,YAAY,CAAC,EAAM,EAAE,UAA+C;IAClF,KAAK,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAgB,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,OAAO,EAAE,CAAC;QAC3F,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACnC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;YACxH,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;gBAAC,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,iCAAiC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,IAAI,YAAY,CAAC,CAAC,IAAI,wBAAwB,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAChM,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,EAAE,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CACT,gBAAgB;YAChB,WAAW,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK;YACvC,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK;YACxC,mDAAmD;YACnD,0CAA0C;YAC1C,6BAA6B,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;YACjF,mDAAmD;YACnD,SAAS;YACT,KAAK,CACN,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,qDAAqD,EAAE,CAAC,CAAC;IAE5J,MAAM,IAAI,GACR,GAAG,MAAM,QAAQ,MAAM,CAAC,MAAM,wBAAwB;QACtD,+CAA+C;QAC/C,qDAAqD;QACrD,6CAA6C;QAC7C,gCAAgC;QAChC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE;QACxD,wBAAwB,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E,MAAM,UAAU,aAAa,CAAC,EAAM,EAAE,WAAgD;IACpF,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAa,EAAE,CAAC;QAChD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAC7B,OAAO,CAAC,IAAI,CAAC,+BAA+B,WAAW,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;YAC7G,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,iFAAiF;QACjF,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,gBAAgB;oBAAE,SAAS;gBACzD,IAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,4BAA4B,WAAW,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;YAChJ,CAAC;QACH,CAAC;QAED,MAAM,CAAC,IAAI,CACT,gBAAgB,IAAI,CAAC,IAAI,eAAe;YACxC,+BAA+B;YAC/B,0CAA0C;YAC1C,uCAAuC;YACvC,aAAa;YACb,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACzB,yCAAyC;YACzC,uBAAuB;YACvB,CAAC,IAAI,CAAC,MAAM;gBACV,CAAC,CAAC,mDAAmD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACxE,CAAC,CAAC,uBAAuB,IAAI,CAAC,SAAS,sBAAsB,CAAC;YAChE,oBAAoB;YACpB,SAAS;YACT,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAC;IAErJ,MAAM,IAAI,GACR,GAAG,MAAM,QAAQ,MAAM,CAAC,MAAM,4BAA4B;QAC1D,iDAAiD;QACjD,sCAAsC;QACtC,6CAA6C;QAC7C,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC"}

package/dist/manifest/projections/convex/type-mapping.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Default mapping from IR `type.name` strings to Convex value validators
+ * (`convex/values` `v.*` expressions).
+ *
+ * This table is the projection's sole interpreter of Manifest's open type
+ * vocabulary for Convex. Core grammar carries `type.name` as an arbitrary
+ * string; only the projection knows what any given name means for Convex.
+ *
+ * Consumers override per-property via `typeMappings` (the value is the literal
+ * validator expression, e.g. `"v.number()"`). Anything not in this table and
+ * not overridden produces a hard diagnostic — no fallback, no guessing.
+ *
+ * Numeric mapping — aligned with Manifest runtime semantics:
+ *   - `number` is INTENTIONALLY ABSENT. Bare `number` → hard
+ *     CONVEX_AMBIGUOUS_NUMBER so authors pick a precise name.
+ *   - `int`/`bigint`/`float`/`decimal`/`money` all → `v.number()` (Convex
+ *     Float64). The Manifest reference runtime treats every numeric type as an
+ *     ordinary JS number — decimal/money precision and integer width are
+ *     projection metadata, NOT runtime-enforced. Emitting `v.int64()` (bigint)
+ *     or `v.string()` (text transport) here would diverge from that and break
+ *     generated guard/mutation arithmetic at runtime (mixed bigint/number throws;
+ *     string operands concatenate or compare lexically). A consumer that truly
+ *     needs lossless decimal or 64-bit width can opt in per-property via
+ *     `typeMappings` (`"v.int64()"` / `"v.string()"`).
+ *
+ * Temporal values map to `v.number()` (epoch milliseconds), the Convex-idiomatic
+ * timestamp representation. Override to `v.string()` for ISO-8601 storage.
+ *
+ * Entries here keep the IR side backend-neutral: keys are Manifest-language type
+ * names, values are Convex validator expressions.
+ */
+export declare const DEFAULT_TYPE_MAPPING: Readonly<Record<string, string>>;
+/**
+ * Resolve a Convex validator expression for an IR `type.name`, given optional
+ * per-property overrides from projection config. Returns `undefined` when the
+ * name is unknown and no override is supplied — the caller MUST emit a
+ * diagnostic in that case (no fallback).
+ */
+export declare function resolveConvexValidator(irTypeName: string, overrides: Readonly<Record<string, string>> | undefined, propertyName: string): string | undefined;
+//# sourceMappingURL=type-mapping.d.ts.map

package/dist/manifest/projections/convex/type-mapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-mapping.d.ts","sourceRoot":"","sources":["../../../../src/manifest/projections/convex/type-mapping.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA8BhE,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,EACvD,YAAY,EAAE,MAAM,GACnB,MAAM,GAAG,SAAS,CAKpB"}

package/dist/manifest/projections/convex/type-mapping.js

@@ -0,0 +1,71 @@
+/**
+ * Default mapping from IR `type.name` strings to Convex value validators
+ * (`convex/values` `v.*` expressions).
+ *
+ * This table is the projection's sole interpreter of Manifest's open type
+ * vocabulary for Convex. Core grammar carries `type.name` as an arbitrary
+ * string; only the projection knows what any given name means for Convex.
+ *
+ * Consumers override per-property via `typeMappings` (the value is the literal
+ * validator expression, e.g. `"v.number()"`). Anything not in this table and
+ * not overridden produces a hard diagnostic — no fallback, no guessing.
+ *
+ * Numeric mapping — aligned with Manifest runtime semantics:
+ *   - `number` is INTENTIONALLY ABSENT. Bare `number` → hard
+ *     CONVEX_AMBIGUOUS_NUMBER so authors pick a precise name.
+ *   - `int`/`bigint`/`float`/`decimal`/`money` all → `v.number()` (Convex
+ *     Float64). The Manifest reference runtime treats every numeric type as an
+ *     ordinary JS number — decimal/money precision and integer width are
+ *     projection metadata, NOT runtime-enforced. Emitting `v.int64()` (bigint)
+ *     or `v.string()` (text transport) here would diverge from that and break
+ *     generated guard/mutation arithmetic at runtime (mixed bigint/number throws;
+ *     string operands concatenate or compare lexically). A consumer that truly
+ *     needs lossless decimal or 64-bit width can opt in per-property via
+ *     `typeMappings` (`"v.int64()"` / `"v.string()"`).
+ *
+ * Temporal values map to `v.number()` (epoch milliseconds), the Convex-idiomatic
+ * timestamp representation. Override to `v.string()` for ISO-8601 storage.
+ *
+ * Entries here keep the IR side backend-neutral: keys are Manifest-language type
+ * names, values are Convex validator expressions.
+ */
+export const DEFAULT_TYPE_MAPPING = Object.freeze({
+    // Lexer-blessed primitives.
+    string: 'v.string()',
+    boolean: 'v.boolean()',
+    // `number` is intentionally omitted — see header.
+    // All numeric types → Convex Float64, matching Manifest runtime semantics
+    // (the runtime treats int/bigint/float/decimal/money as ordinary JS numbers).
+    // Keeps generated arithmetic correct; per-property typeMappings can opt back
+    // into v.int64()/v.string() where lossless transport is genuinely required.
+    int: 'v.number()',
+    bigint: 'v.number()',
+    float: 'v.number()',
+    decimal: 'v.number()',
+    money: 'v.number()',
+    // Temporal → epoch milliseconds (Convex-idiomatic).
+    date: 'v.number()',
+    datetime: 'v.number()',
+    time: 'v.number()',
+    duration: 'v.number()',
+    // Structured.
+    json: 'v.any()',
+    bytes: 'v.bytes()',
+    uuid: 'v.string()',
+    // Convenience aliases.
+    text: 'v.string()',
+    bool: 'v.boolean()',
+});
+/**
+ * Resolve a Convex validator expression for an IR `type.name`, given optional
+ * per-property overrides from projection config. Returns `undefined` when the
+ * name is unknown and no override is supplied — the caller MUST emit a
+ * diagnostic in that case (no fallback).
+ */
+export function resolveConvexValidator(irTypeName, overrides, propertyName) {
+    if (overrides && Object.prototype.hasOwnProperty.call(overrides, propertyName)) {
+        return overrides[propertyName];
+    }
+    return DEFAULT_TYPE_MAPPING[irTypeName];
+}
+//# sourceMappingURL=type-mapping.js.map

package/dist/manifest/projections/convex/type-mapping.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-mapping.js","sourceRoot":"","sources":["../../../../src/manifest/projections/convex/type-mapping.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAqC,MAAM,CAAC,MAAM,CAAC;IAClF,4BAA4B;IAC5B,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,aAAa;IACtB,kDAAkD;IAElD,0EAA0E;IAC1E,8EAA8E;IAC9E,6EAA6E;IAC7E,4EAA4E;IAC5E,GAAG,EAAE,YAAY;IACjB,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,YAAY;IACnB,OAAO,EAAE,YAAY;IACrB,KAAK,EAAE,YAAY;IAEnB,oDAAoD;IACpD,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,YAAY;IACtB,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,YAAY;IAEtB,cAAc;IACd,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,YAAY;IAElB,uBAAuB;IACvB,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,aAAa;CACpB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,UAAkB,EAClB,SAAuD,EACvD,YAAoB;IAEpB,IAAI,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;QAC/E,OAAO,SAAS,CAAC,YAAY,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAC1C,CAAC"}

package/dist/manifest/projections/dart/generator.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Dart/Flutter projection for Manifest IR.
+ *
+ * Generates type-safe Dart model classes with `fromJson`/`toJson` methods
+ * and Riverpod or Provider state management hooks from IR entities and commands.
+ * Produces a Dart package consumable by Flutter apps.
+ *
+ * Surfaces:
+ *   - dart.entity      → Single entity model class
+ *   - dart.command     → Command params/return models
+ *   - dart.models      → All entity + command models in one file
+ *   - dart.client      → Dio-based async HTTP client SDK
+ *   - dart.providers   → Riverpod/Provider state management hooks
+ *   - dart.package     → Complete package (models + client + providers + pubspec)
+ *
+ * Reuses constraint analysis from `src/manifest/constraint-analysis.ts`
+ * for validator method generation.
+ */
+import type { IR } from '../../ir';
+import type { ProjectionTarget, ProjectionRequest, ProjectionResult } from '../interface';
+export declare class DartProjection implements ProjectionTarget {
+    readonly name = "dart";
+    readonly description = "Dart/Flutter model classes with fromJson/toJson and state management hooks";
+    readonly surfaces: readonly ["dart.entity", "dart.command", "dart.models", "dart.client", "dart.providers", "dart.package"];
+    generate(ir: IR, request: ProjectionRequest): ProjectionResult;
+    private generateEntitySurface;
+    private generateCommandSurface;
+    private generateModelsSurface;
+    private generateClientSurface;
+    private generateProvidersSurface;
+    private generatePackageSurface;
+}
+//# sourceMappingURL=generator.d.ts.map

package/dist/manifest/projections/dart/generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../../../src/manifest/projections/dart/generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EACV,EAAE,EAKH,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EACV,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAGjB,MAAM,cAAc,CAAC;AA+3BtB,qBAAa,cAAe,YAAW,gBAAgB;IACrD,QAAQ,CAAC,IAAI,UAAU;IACvB,QAAQ,CAAC,WAAW,gFAAgF;IACpG,QAAQ,CAAC,QAAQ,2GAON;IAEX,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,iBAAiB,GAAG,gBAAgB;IA6B9D,OAAO,CAAC,qBAAqB;IAuC7B,OAAO,CAAC,sBAAsB;IAsC9B,OAAO,CAAC,qBAAqB;IA0C7B,OAAO,CAAC,qBAAqB;IAqB7B,OAAO,CAAC,wBAAwB;IAqBhC,OAAO,CAAC,sBAAsB;CA6C/B"}