@mmapp/react-compiler 0.1.0-alpha.1 → 0.1.0-alpha.5

package/src/__tests__/round-trip.test.ts

@@ -1,1212 +0,0 @@
-/**
- * Comprehensive Round-Trip Compiler Tests
- *
- * Validates: original TSX source → compile to IR → decompile back to TSX
- * → output preserves all capabilities.
- *
- * Tests span single-file round-trips (useState, useQuery, transitions, etc.)
- * and multi-file project round-trips (blueprint-uber, blueprint-chat).
- */
-
-import { describe, it, expect } from 'vitest';
-import * as fs from 'fs';
-import * as path from 'path';
-import { compileProject } from '../project-compiler';
-import { decompile } from '../decompiler';
-import { decompileProjectEnhanced } from '../decompiler/project-decompiler';
-import type { DecompilerInput } from '../decompiler';
-import { validateRoundTrip, compileSource } from '../RoundTripValidator';
-
-// =============================================================================
-// Helpers
-// =============================================================================
-
-/** Reads all files in a directory tree into a Record<relativePath, content>. */
-function readProjectFiles(rootDir: string): Record<string, string> {
-  const files: Record<string, string> = {};
-
-  function walk(dir: string, prefix: string) {
-    if (!fs.existsSync(dir)) return;
-    const entries = fs.readdirSync(dir, { withFileTypes: true });
-    for (const entry of entries) {
-      const relPath = prefix ? `${prefix}/${entry.name}` : entry.name;
-      const fullPath = path.join(dir, entry.name);
-      if (entry.isDirectory()) {
-        if (['node_modules', 'tests', 'dist', '.git'].includes(entry.name)) continue;
-        walk(fullPath, relPath);
-      } else if (entry.isFile()) {
-        if (
-          entry.name.endsWith('.tsx') ||
-          entry.name.endsWith('.ts')
-        ) {
-          if (entry.name.endsWith('.test.tsx') || entry.name.endsWith('.test.ts')) continue;
-          if (entry.name === 'tsconfig.json') continue;
-          files[relPath] = fs.readFileSync(fullPath, 'utf-8');
-        }
-      }
-    }
-  }
-
-  walk(rootDir, '');
-  return files;
-}
-
-/** Makes a minimal DecompilerInput. */
-function makeDef(overrides: Partial<DecompilerInput> = {}): DecompilerInput {
-  return {
-    slug: 'test-workflow',
-    name: 'Test Workflow',
-    version: '1.0.0',
-    description: 'A test workflow',
-    category: 'workflow',
-    fields: [],
-    states: [],
-    transitions: [],
-    roles: [],
-    tags: [],
-    metadata: {},
-    ...overrides,
-  };
-}
-
-const UBER_DIR = path.resolve(__dirname, '../../../blueprint-uber');
-const CHAT_DIR = path.resolve(__dirname, '../../../blueprint-chat');
-
-// =============================================================================
-// 1. File Structure Preservation Test (blueprint-uber)
-// =============================================================================
-
-describe('1. File structure preservation (blueprint-uber)', () => {
-  const uberFiles = readProjectFiles(UBER_DIR);
-
-  it('should read all uber blueprint files', () => {
-    expect(Object.keys(uberFiles).length).toBeGreaterThan(10);
-    expect(uberFiles['mm.config.ts']).toBeDefined();
-  });
-
-  it('should compile uber blueprint with correct IR metadata', () => {
-    const result = compileProject(uberFiles);
-
-    expect(result.ir.slug).toBe('uber-rideshare');
-    expect(result.ir.category).toBe('blueprint');
-    expect(result.ir.version).toBe('2.0.0');
-    expect(result.ir.fields.length).toBeGreaterThan(0);
-  });
-
-  it('should produce child definitions from workflows and models', () => {
-    const result = compileProject(uberFiles);
-    expect(result.childDefinitions.length).toBeGreaterThan(0);
-
-    // Model files produce 'data' category children
-    const dataChildren = result.childDefinitions.filter(c => c.category === 'data');
-    expect(dataChildren.length).toBeGreaterThan(0);
-  });
-
-  it('should extract route table from app directory pages', () => {
-    const result = compileProject(uberFiles);
-    expect(result.routeTable.length).toBeGreaterThan(0);
-  });
-
-  it('should extract server actions from *.server.ts files', () => {
-    const result = compileProject(uberFiles);
-    expect(result.serverActions.length).toBeGreaterThan(0);
-  });
-
-  it('should extract component definitions from components/*.tsx', () => {
-    const result = compileProject(uberFiles);
-    expect(Object.keys(result.componentDefinitions).length).toBeGreaterThan(0);
-  });
-
-  it('should decompile IR back to project with correct file structure', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const paths = decompiled.files.map(f => f.path);
-
-    expect(decompiled.slug).toBe('uber-rideshare');
-    expect(paths).toContain('main.workflow.tsx');
-    expect(paths).toContain('mm.config.ts');
-
-    // Should have model files
-    const modelFiles = decompiled.files.filter(f => f.path.startsWith('models/'));
-    expect(modelFiles.length).toBeGreaterThan(0);
-  });
-
-  it('should produce mm.config.ts with correct slug', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const configFile = decompiled.files.find(f => f.path === 'mm.config.ts');
-    expect(configFile).toBeDefined();
-    expect(configFile!.content).toContain('uber-rideshare');
-  });
-
-  it('should produce page files in app/ directory structure', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const pageFiles = decompiled.files.filter(f => f.path.startsWith('app/'));
-
-    // If pages were extracted, verify role-based directory structure
-    if (pageFiles.length > 0) {
-      const roleDirs = new Set(pageFiles.map(f => f.path.split('/')[1]));
-      // Should have at least some role-based dirs (rider, driver, admin, or shared)
-      expect(roleDirs.size).toBeGreaterThan(0);
-    }
-  });
-});
-
-// =============================================================================
-// 2. useState Round-Trip Test
-// =============================================================================
-
-describe('2. useState round-trip', () => {
-  const source = `
-    /**
-     * @workflow slug="counter" version="1.0.0" category="workflow"
-     */
-    export default function Counter() {
-      const [count, setCount] = useState<number>(0);
-      const [name, setName] = useState<string>("hello");
-      const [active, setActive] = useState<boolean>(false);
-      return <div>{count}</div>;
-    }
-  `;
-
-  it('should compile useState to IR fields with correct types and defaults', () => {
-    const ir = compileSource(source, 'counter.workflow.tsx');
-    expect(ir).not.toBeNull();
-
-    const countField = ir!.fields.find(f => f.name === 'count');
-    expect(countField).toBeDefined();
-    expect(countField!.type).toBe('number');
-    expect(countField!.default_value).toBe(0);
-
-    const nameField = ir!.fields.find(f => f.name === 'name');
-    expect(nameField).toBeDefined();
-    expect(nameField!.default_value).toBe('hello');
-
-    const activeField = ir!.fields.find(f => f.name === 'active');
-    expect(activeField).toBeDefined();
-    expect(activeField!.type).toBe('boolean');
-    expect(activeField!.default_value).toBe(false);
-  });
-
-  it('should decompile fields back to useState with type annotations', () => {
-    const ir = compileSource(source, 'counter.workflow.tsx')!;
-    const { code } = decompile(ir as DecompilerInput);
-
-    expect(code).toContain('useState');
-    expect(code).toContain('count');
-    expect(code).toContain('setCount');
-    expect(code).toContain('useState<number>');
-  });
-
-  it('should preserve all fields through full round trip with no errors', () => {
-    const ir = compileSource(source, 'counter.workflow.tsx')!;
-    const result = validateRoundTrip(ir as DecompilerInput);
-    expect(result.roundTrippedIR).not.toBeNull();
-
-    const rtFields = result.roundTrippedIR!.fields.map(f => f.name);
-    expect(rtFields).toContain('count');
-    expect(rtFields).toContain('name');
-    expect(rtFields).toContain('active');
-
-    const errors = result.diffs.filter(d => d.severity === 'error');
-    expect(errors).toEqual([]);
-  });
-});
-
-// =============================================================================
-// 3. useQuery Round-Trip Test
-// =============================================================================
-
-describe('3. useQuery round-trip', () => {
-  const source = `
-    /**
-     * @workflow slug="ride-list" version="1.0.0" category="data"
-     */
-    export default function RideList() {
-      const [filter, setFilter] = useState("all");
-      const rides = useQuery("uber-ride", { filter: { status: "active" }, limit: 50 });
-      const drivers = useQuery("driver", { orderBy: "rating", order: "desc" });
-      return <div>{rides.length}</div>;
-    }
-  `;
-
-  it('should compile useQuery to dataSources in IR metadata', () => {
-    const ir = compileSource(source, 'ride-list.workflow.tsx');
-    expect(ir).not.toBeNull();
-
-    const dataSources = (ir!.metadata as any)?.dataSources;
-    expect(dataSources).toBeDefined();
-    expect(dataSources.length).toBe(2);
-
-    const rideSource = dataSources.find((d: any) => d.slug === 'uber-ride');
-    expect(rideSource).toBeDefined();
-    expect(rideSource.pageSize).toBe(50);
-
-    const driverSource = dataSources.find((d: any) => d.slug === 'driver');
-    expect(driverSource).toBeDefined();
-    expect(driverSource.sort).toContain('rating');
-  });
-
-  it('should decompile dataSources back to useQuery calls', () => {
-    const ir = compileSource(source, 'ride-list.workflow.tsx')!;
-    const { code } = decompile(ir as DecompilerInput);
-
-    expect(code).toContain('useQuery');
-    expect(code).toContain('uber-ride');
-  });
-
-  it('should preserve fields through round trip alongside data sources', () => {
-    const ir = compileSource(source, 'ride-list.workflow.tsx')!;
-    const result = validateRoundTrip(ir as DecompilerInput);
-    expect(result.roundTrippedIR).not.toBeNull();
-
-    const rtFields = result.roundTrippedIR!.fields.map(f => f.name);
-    expect(rtFields).toContain('filter');
-  });
-});
-
-// =============================================================================
-// 4. Event Handler Round-Trip Test
-// =============================================================================
-
-describe('4. Event handler round-trip (onClick binding)', () => {
-  it('should preserve onClick binding in experience tree', () => {
-    const def = makeDef({
-      slug: 'click-test',
-      fields: [
-        { name: 'count', type: 'number', required: false, default_value: 0 },
-      ],
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        children: [
-          {
-            id: 'btn',
-            component: 'Button',
-            config: { label: 'Increment' },
-            bindings: { onClick: '$action.transition(increment)' },
-          },
-        ],
-      },
-      transitions: [
-        { name: 'increment', from: ['idle'], to: 'counting', actions: [] },
-      ],
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('<Button');
-    expect(code).toContain('Increment');
-    expect(code).toContain('useTransition');
-    expect(code).toContain('increment');
-  });
-
-  it('should round-trip transition referenced in onClick binding', () => {
-    const def = makeDef({
-      slug: 'click-rt',
-      fields: [{ name: 'count', type: 'number', required: false, default_value: 0 }],
-      transitions: [{ name: 'inc', from: ['idle'], to: 'active', actions: [] }],
-      experience: {
-        id: 'root',
-        component: 'Button',
-        config: { label: 'Click' },
-        bindings: { onClick: '$action.transition(inc)' },
-      },
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-    expect(result.roundTrippedIR!.transitions.length).toBe(1);
-    expect(result.roundTrippedIR!.transitions[0].name).toBe('inc');
-  });
-});
-
-// =============================================================================
-// 5. Show/When Conditional Test
-// =============================================================================
-
-describe('5. Show/when conditional rendering', () => {
-  it('should emit Show wrapper for visible_when', () => {
-    const def = makeDef({
-      slug: 'cond-test',
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        children: [
-          {
-            id: 'admin-panel',
-            component: 'Text',
-            config: { value: 'Admin Panel' },
-            visible_when: '$local.is_admin',
-          },
-          {
-            id: 'always-visible',
-            component: 'Text',
-            config: { value: 'Always shown' },
-          },
-        ],
-      },
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('<Show');
-    expect(code).toContain('when={');
-    expect(code).toContain('Admin Panel');
-    expect(code).toContain('Always shown');
-  });
-
-  it('should round-trip Show/when with nested content preserving the field', () => {
-    const def = makeDef({
-      slug: 'show-rt',
-      fields: [{ name: 'is_admin', type: 'boolean', required: false, default_value: false }],
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        children: [
-          {
-            id: 'cond',
-            component: 'Show',
-            bindings: { when: '$local.is_admin' },
-            children: [
-              { id: 'inner', component: 'Text', config: { value: 'Secret' } },
-            ],
-          },
-        ],
-      },
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-    expect(
-      result.roundTrippedIR!.fields.some(
-        f => f.name === 'isAdmin' || f.name === 'is_admin',
-      ),
-    ).toBe(true);
-  });
-});
-
-// =============================================================================
-// 6. Each/Items List Rendering Test
-// =============================================================================
-
-describe('6. Each/items list rendering', () => {
-  it('should emit Each component in decompiled output', () => {
-    const def = makeDef({
-      slug: 'list-test',
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        children: [
-          {
-            id: 'todo-list',
-            component: 'Each',
-            config: { items: '$local.todos' },
-            children: [
-              { id: 'item', component: 'Text', bindings: { value: '$item.title' } },
-            ],
-          },
-        ],
-      },
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('<Each');
-    expect(code).toContain('<Text');
-  });
-
-  it('should preserve list component children structure', () => {
-    const def = makeDef({
-      slug: 'each-test',
-      fields: [
-        { name: 'items', type: 'json', required: false, default_value: [] },
-      ],
-      experience: {
-        id: 'root',
-        component: 'Each',
-        config: { items: '$local.items' },
-        children: [
-          { id: 'card', component: 'Card', config: { padding: 8 } },
-        ],
-      },
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('Each');
-    expect(code).toContain('Card');
-    expect(code).toContain('padding');
-  });
-});
-
-// =============================================================================
-// 7. Layout Component Test (Stack, Row, Grid)
-// =============================================================================
-
-describe('7. Layout component preservation (Stack, Row)', () => {
-  it('should preserve Stack with gap and nested children', () => {
-    const def = makeDef({
-      slug: 'layout-test',
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        config: { gap: 16 },
-        children: [
-          { id: 'h', component: 'Heading', config: { level: 2, value: 'Title' } },
-          { id: 't', component: 'Text', config: { value: 'Body' } },
-        ],
-      },
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('<Stack');
-    expect(code).toContain('gap={16}');
-    expect(code).toContain('<Heading');
-    expect(code).toContain('<Text');
-  });
-
-  it('should preserve Row with justify and align props', () => {
-    const def = makeDef({
-      slug: 'row-test',
-      experience: {
-        id: 'root',
-        component: 'Row',
-        config: { justify: 'between', align: 'center' },
-        children: [
-          { id: 'a', component: 'Text', config: { value: 'Left' } },
-          { id: 'b', component: 'Text', config: { value: 'Right' } },
-        ],
-      },
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('<Row');
-    expect(code).toContain('justify=');
-    expect(code).toContain('align=');
-  });
-
-  it('should round-trip nested Stack > Row > Buttons layout', () => {
-    const def = makeDef({
-      slug: 'nested-layout',
-      fields: [{ name: 'title', type: 'text', required: false, default_value: 'Hello' }],
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        config: { gap: 8 },
-        children: [
-          {
-            id: 'row',
-            component: 'Row',
-            config: { gap: 4 },
-            children: [
-              { id: 'btn1', component: 'Button', config: { label: 'Save' } },
-              { id: 'btn2', component: 'Button', config: { label: 'Cancel' } },
-            ],
-          },
-        ],
-      },
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-    expect(result.roundTrippedIR!.fields.length).toBeGreaterThanOrEqual(1);
-  });
-});
-
-// =============================================================================
-// 8. Transition Test (useTransition)
-// =============================================================================
-
-describe('8. useTransition round-trip', () => {
-  it('should preserve transition with from/to/roles/required_fields', () => {
-    const def = makeDef({
-      slug: 'approval',
-      transitions: [
-        {
-          name: 'submit',
-          from: ['draft'],
-          to: 'pending',
-          actions: [],
-          roles: ['author'],
-          required_fields: ['title', 'body'],
-        },
-        {
-          name: 'approve',
-          from: ['pending'],
-          to: 'approved',
-          actions: [],
-          roles: ['reviewer', 'admin'],
-          conditions: [{ field: 'score', operator: 'gte', value: 80 }],
-        },
-        {
-          name: 'reject',
-          from: ['pending'],
-          to: 'rejected',
-          actions: [],
-          roles: ['reviewer'],
-        },
-      ],
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-    expect(result.roundTrippedIR!.transitions.length).toBe(3);
-
-    const submit = result.roundTrippedIR!.transitions.find(t => t.name === 'submit');
-    expect(submit).toBeDefined();
-    expect(submit!.from).toContain('draft');
-    expect(submit!.to).toBe('pending');
-    expect(submit!.roles).toContain('author');
-    expect(submit!.required_fields).toEqual(expect.arrayContaining(['title', 'body']));
-
-    const approve = result.roundTrippedIR!.transitions.find(t => t.name === 'approve');
-    expect(approve).toBeDefined();
-    expect(approve!.roles).toContain('reviewer');
-    expect(approve!.roles).toContain('admin');
-  });
-
-  it('should preserve auto flag on transitions', () => {
-    const def = makeDef({
-      slug: 'auto-test',
-      transitions: [{
-        name: 'auto-advance',
-        from: ['waiting'],
-        to: 'processing',
-        actions: [],
-        auto: true,
-      }],
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-    const t = result.roundTrippedIR!.transitions.find(t => t.name === 'auto-advance');
-    expect(t).toBeDefined();
-    expect(t!.auto).toBe(true);
-  });
-
-  it('should preserve multi-from transitions', () => {
-    const def = makeDef({
-      slug: 'multi-from',
-      transitions: [{
-        name: 'reset',
-        from: ['active', 'paused', 'error'],
-        to: 'idle',
-        actions: [],
-      }],
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-    const reset = result.roundTrippedIR!.transitions.find(t => t.name === 'reset');
-    expect(reset).toBeDefined();
-    expect(reset!.from.sort()).toEqual(['active', 'error', 'paused']);
-  });
-
-  it('should emit useTransition with correct from/to in decompiled code', () => {
-    const def = makeDef({
-      slug: 'trans-emit',
-      transitions: [
-        { name: 'start', from: ['idle'], to: 'running', actions: [] },
-      ],
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('useTransition');
-    expect(code).toContain('"start"');
-    expect(code).toContain('from: "idle"');
-    expect(code).toContain('to: "running"');
-  });
-});
-
-// =============================================================================
-// 9. Server Action Preservation Test
-// =============================================================================
-
-describe('9. Server action preservation (body stored in metadata)', () => {
-  it('should emit server action files with preserved function bodies', () => {
-    const def = makeDef({
-      slug: 'action-test',
-      category: 'blueprint',
-      fields: Array.from({ length: 8 }, (_, i) => ({
-        name: `field_${i}`,
-        type: 'text' as const,
-        required: false,
-        default_value: '',
-      })),
-      states: Array.from({ length: 3 }, (_, i) => ({
-        name: `state_${i}`,
-        type: (i === 0 ? 'START' : 'REGULAR') as 'START' | 'REGULAR',
-        description: '',
-        on_enter: [],
-        on_exit: [],
-        during: [],
-      })),
-      metadata: {
-        serverActions: [
-          {
-            name: 'processPayment',
-            sourceFile: 'actions/payment.server.ts',
-            body: `export async function processPayment(ctx: TransitionContext): Promise<ActionResult> {
-  const { instance } = ctx;
-  const amount = instance.fields.amount;
-  const result = await stripe.charges.create({ amount });
-  return { success: true, chargeId: result.id };
-}`,
-            async: true,
-            description: 'Process a payment via Stripe',
-          },
-          {
-            name: 'sendNotification',
-            sourceFile: 'actions/payment.server.ts',
-            body: `export async function sendNotification(ctx: TransitionContext): Promise<void> {
-  await ctx.env.notify({ message: 'Payment processed', instanceId: ctx.instance.id });
-}`,
-            async: true,
-          },
-        ],
-      },
-    });
-
-    const result = decompileProjectEnhanced(def);
-    const actionFile = result.files.find(f => f.path === 'actions/payment.server.ts');
-    expect(actionFile).toBeDefined();
-    expect(actionFile!.content).toContain('processPayment');
-    expect(actionFile!.content).toContain('sendNotification');
-    expect(actionFile!.content).toContain('stripe.charges.create');
-    expect(actionFile!.content).toContain('Payment processed');
-  });
-
-  it('should extract server action stubs from http_request state actions', () => {
-    const def = makeDef({
-      slug: 'http-action',
-      fields: Array.from({ length: 20 }, (_, i) => ({
-        name: `f${i}`,
-        type: 'text' as const,
-        required: false,
-        default_value: '',
-      })),
-      states: [{
-        name: 'active',
-        type: 'REGULAR' as const,
-        description: '',
-        on_enter: [{
-          id: 'a1',
-          type: 'http_request',
-          mode: 'async' as const,
-          config: { url: 'https://api.example.com/webhook', method: 'POST' },
-        }],
-        on_exit: [],
-        during: [],
-      }, ...Array.from({ length: 7 }, (_, i) => ({
-        name: `s${i}`,
-        type: 'REGULAR' as const,
-        description: '',
-        on_enter: [],
-        on_exit: [],
-        during: [],
-      }))],
-      transitions: [],
-    });
-
-    const result = decompileProjectEnhanced(def);
-    const actionFile = result.files.find(f => f.path.startsWith('actions/'));
-    expect(actionFile).toBeDefined();
-    expect(actionFile!.content).toContain('fetch');
-    expect(actionFile!.content).toContain('https://api.example.com/webhook');
-  });
-});
-
-// =============================================================================
-// 10. Component Definition Preservation Test
-// =============================================================================
-
-describe('10. Component definition preservation (experience tree in metadata)', () => {
-  it('should emit component files from metadata.componentDefinitions', () => {
-    const def = makeDef({
-      slug: 'comp-test',
-      category: 'blueprint',
-      fields: Array.from({ length: 8 }, (_, i) => ({
-        name: `field_${i}`,
-        type: 'text' as const,
-        required: false,
-        default_value: '',
-      })),
-      states: Array.from({ length: 3 }, (_, i) => ({
-        name: `state_${i}`,
-        type: (i === 0 ? 'START' : 'REGULAR') as 'START' | 'REGULAR',
-        description: '',
-        on_enter: [],
-        on_exit: [],
-        during: [],
-      })),
-      metadata: {
-        componentDefinitions: {
-          UserCard: {
-            experience: {
-              id: 'card-root',
-              component: 'Card',
-              config: { padding: 16 },
-              children: [
-                { id: 'avatar', component: 'Image', config: { src: '$props.avatarUrl' } },
-                { id: 'name', component: 'Text', config: { value: '$props.name' } },
-                { id: 'role', component: 'Badge', config: { value: '$props.role' } },
-              ],
-            },
-            props: ['avatarUrl', 'name', 'role'],
-          },
-          StatusBadge: {
-            experience: {
-              id: 'badge-root',
-              component: 'Badge',
-              config: { variant: 'info' },
-              bindings: { value: '$props.status' },
-            },
-            props: ['status'],
-          },
-        },
-      },
-    });
-
-    const result = decompileProjectEnhanced(def);
-
-    const userCardFile = result.files.find(f => f.path === 'components/UserCard.tsx');
-    expect(userCardFile).toBeDefined();
-    expect(userCardFile!.content).toContain('UserCard');
-    expect(userCardFile!.content).toContain('UserCardProps');
-    expect(userCardFile!.content).toContain('avatarUrl');
-    expect(userCardFile!.content).toContain('name');
-    expect(userCardFile!.content).toContain('role');
-
-    const statusBadgeFile = result.files.find(f => f.path === 'components/StatusBadge.tsx');
-    expect(statusBadgeFile).toBeDefined();
-    expect(statusBadgeFile!.content).toContain('StatusBadge');
-    expect(statusBadgeFile!.content).toContain('status');
-  });
-});
-
-// =============================================================================
-// 11. Model Field Options → Union Type Test
-// =============================================================================
-
-describe('11. Model field options → select/union type', () => {
-  it('should compile model with union types to fields in IR', () => {
-    const files: Record<string, string> = {
-      'models/vehicle.ts': `
-        /**
-         * @workflow slug="vehicle" version="1.0.0" category="data"
-         */
-        export interface Vehicle {
-          make: string;
-          model: string;
-          year: number;
-          vehicleType: 'sedan' | 'suv' | 'truck' | 'van';
-          fuelType: 'gas' | 'electric' | 'hybrid';
-          status: 'active' | 'inactive' | 'maintenance';
-        }
-        export const transitions = {};
-      `,
-    };
-
-    const result = compileProject(files);
-    expect(result.errors).toHaveLength(0);
-
-    const fieldNames = result.ir.fields.map(f => f.name);
-    expect(fieldNames).toContain('vehicleType');
-    expect(fieldNames).toContain('fuelType');
-    expect(fieldNames).toContain('status');
-  });
-
-  it('should decompile select fields to useState with string defaults', () => {
-    const def = makeDef({
-      slug: 'select-test',
-      fields: [
-        {
-          name: 'status',
-          type: 'select',
-          required: false,
-          default_value: 'active',
-          validation: { options: ['active', 'inactive', 'archived'] },
-        },
-        {
-          name: 'priority',
-          type: 'select',
-          required: false,
-          default_value: 'medium',
-        },
-      ],
-    });
-
-    const { code } = decompile(def);
-    expect(code).toContain('useState');
-    expect(code).toContain('status');
-    expect(code).toContain('"active"');
-    expect(code).toContain('priority');
-    expect(code).toContain('"medium"');
-  });
-});
-
-// =============================================================================
-// 12. Full Blueprint-Uber Round-Trip Test
-// =============================================================================
-
-describe('12. Full blueprint-uber round-trip', () => {
-  const uberFiles = readProjectFiles(UBER_DIR);
-
-  it('should compile the full uber project', () => {
-    const result = compileProject(uberFiles);
-
-    expect(result.ir.slug).toBe('uber-rideshare');
-    expect(result.ir.fields.length).toBeGreaterThan(0);
-    expect(result.childDefinitions.length).toBeGreaterThan(0);
-  });
-
-  it('should decompile uber IR to project with multiple files', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-
-    expect(decompiled.files.length).toBeGreaterThan(3);
-
-    const paths = decompiled.files.map(f => f.path);
-    expect(paths).toContain('main.workflow.tsx');
-    expect(paths).toContain('mm.config.ts');
-  });
-
-  it('should preserve model files with export interface declarations', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const modelFiles = decompiled.files.filter(f => f.path.startsWith('models/'));
-
-    for (const model of modelFiles) {
-      expect(model.content).toContain('export interface');
-    }
-  });
-
-  it('should produce compilable main.workflow.tsx with @workflow annotation', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const mainFile = decompiled.files.find(f => f.path === 'main.workflow.tsx');
-    expect(mainFile).toBeDefined();
-
-    expect(mainFile!.content).toContain('export default function');
-    expect(mainFile!.content).toContain('@workflow');
-    expect(mainFile!.content).toContain('uber-rideshare');
-  });
-
-  it('should produce child workflow files for each child definition', () => {
-    const compiled = compileProject(uberFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const workflowFiles = decompiled.files.filter(
-      f => f.path.endsWith('.workflow.tsx') && f.path !== 'main.workflow.tsx',
-    );
-
-    // Each child definition should produce a .workflow.tsx file
-    expect(workflowFiles.length).toBe(compiled.childDefinitions.length);
-  });
-});
-
-// =============================================================================
-// 13. Full Blueprint-Chat Round-Trip Test
-// =============================================================================
-
-describe('13. Full blueprint-chat round-trip', () => {
-  const chatFiles = readProjectFiles(CHAT_DIR);
-
-  it('should read all chat blueprint files', () => {
-    expect(Object.keys(chatFiles).length).toBeGreaterThan(5);
-    expect(chatFiles['mm.config.ts']).toBeDefined();
-  });
-
-  it('should compile the full chat project without total failure', () => {
-    const result = compileProject(chatFiles);
-
-    expect(result.ir).toBeDefined();
-    expect(result.ir.fields.length + result.childDefinitions.length).toBeGreaterThan(0);
-  });
-
-  it('should decompile chat IR to project files', () => {
-    const compiled = compileProject(chatFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-
-    expect(decompiled.files.length).toBeGreaterThan(1);
-    const paths = decompiled.files.map(f => f.path);
-    expect(paths).toContain('main.workflow.tsx');
-  });
-
-  it('should produce model files for chat data definitions', () => {
-    const compiled = compileProject(chatFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const modelFiles = decompiled.files.filter(f => f.path.startsWith('models/'));
-
-    if (modelFiles.length > 0) {
-      for (const model of modelFiles) {
-        expect(model.content).toContain('export');
-      }
-    }
-  });
-
-  it('should produce main.workflow.tsx with export default function', () => {
-    const compiled = compileProject(chatFiles);
-    const decompilerInput: DecompilerInput = {
-      ...compiled.ir,
-      experience: (compiled.ir as any).views?.default,
-      childDefinitions: compiled.childDefinitions,
-    };
-
-    const decompiled = decompileProjectEnhanced(decompilerInput);
-    const mainFile = decompiled.files.find(f => f.path === 'main.workflow.tsx');
-    expect(mainFile).toBeDefined();
-    expect(mainFile!.content).toContain('export default function');
-  });
-});
-
-// =============================================================================
-// Additional: Combined workflow round-trip (all features)
-// =============================================================================
-
-describe('Combined workflow round-trip (all features)', () => {
-  it('should handle complete workflow with fields, states, transitions, experience, events', () => {
-    const def = makeDef({
-      slug: 'order-tracker',
-      category: 'workflow',
-      fields: [
-        { name: 'status', type: 'text', required: false, default_value: 'draft' },
-        { name: 'total', type: 'number', required: false, default_value: 0 },
-        { name: 'items', type: 'number', required: false, default_value: 0 },
-      ],
-      states: [
-        {
-          name: 'draft',
-          type: 'START',
-          on_enter: [{ id: 'a1', type: 'set_field', mode: 'auto', config: { field: 'status', value: 'draft' } }],
-          on_exit: [{ id: 'a2', type: 'log_event', mode: 'auto', config: { message: 'Leaving draft' } }],
-          during: [],
-        },
-        {
-          name: 'submitted',
-          type: 'REGULAR',
-          on_enter: [{ id: 'a3', type: 'log_event', mode: 'auto', config: { message: 'Order submitted' } }],
-          on_exit: [],
-          during: [{
-            id: 'd1',
-            type: 'interval',
-            interval_ms: 10000,
-            actions: [{ id: 'a4', type: 'log_event', mode: 'auto', config: { message: 'checking' } }],
-          }],
-        },
-        {
-          name: 'approved',
-          type: 'END',
-          on_enter: [],
-          on_exit: [],
-          during: [],
-        },
-      ],
-      transitions: [
-        { name: 'submit', from: ['draft'], to: 'submitted', actions: [], required_fields: ['total'] },
-        { name: 'approve', from: ['submitted'], to: 'approved', actions: [], roles: ['admin'] },
-        { name: 'reject', from: ['submitted'], to: 'draft', actions: [], roles: ['admin'] },
-      ],
-      roles: [
-        { name: 'admin', permissions: ['approve', 'reject'] },
-        { name: 'submitter', permissions: ['submit'] },
-      ],
-      on_event: [
-        { match: 'order.updated', actions: [{ type: 'set_field', field: 'status', expression: '"updated"' }] },
-      ],
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        config: { gap: 16 },
-        children: [
-          { id: 'h', component: 'Heading', config: { value: 'Order Tracker', level: 2 } },
-          { id: 'st', component: 'Text', bindings: { value: '$local.status' } },
-          {
-            id: 'actions',
-            component: 'Row',
-            config: { gap: 8 },
-            children: [
-              { id: 'btn-submit', component: 'Button', config: { label: 'Submit' } },
-              { id: 'btn-approve', component: 'Button', config: { label: 'Approve' } },
-            ],
-          },
-        ],
-      },
-    });
-
-    const result = validateRoundTrip(def);
-    expect(result.roundTrippedIR).not.toBeNull();
-
-    // Structural elements preserved
-    expect(result.roundTrippedIR!.slug).toBe('order-tracker');
-    expect(result.roundTrippedIR!.fields.length).toBeGreaterThanOrEqual(3);
-    expect(result.roundTrippedIR!.transitions.length).toBe(3);
-
-    // Transition details
-    const submit = result.roundTrippedIR!.transitions.find(t => t.name === 'submit');
-    expect(submit).toBeDefined();
-    expect(submit!.to).toBe('submitted');
-    expect(submit!.required_fields).toEqual(expect.arrayContaining(['total']));
-
-    const approve = result.roundTrippedIR!.transitions.find(t => t.name === 'approve');
-    expect(approve).toBeDefined();
-    expect(approve!.roles).toContain('admin');
-
-    // State effects
-    const draftState = result.roundTrippedIR!.states.find(s => s.name === 'draft');
-    expect(draftState).toBeDefined();
-    expect(draftState!.on_enter.length).toBeGreaterThan(0);
-    expect(draftState!.on_exit.length).toBeGreaterThan(0);
-
-    const submittedState = result.roundTrippedIR!.states.find(s => s.name === 'submitted');
-    expect(submittedState).toBeDefined();
-    expect(submittedState!.on_enter.length).toBeGreaterThan(0);
-    expect(submittedState!.during.length).toBeGreaterThan(0);
-
-    // No critical errors
-    const errors = result.diffs.filter(d => d.severity === 'error');
-    expect(errors).toEqual([]);
-  });
-
-  it('should produce decompiled TSX with all hook types', () => {
-    const def = makeDef({
-      slug: 'full-hooks',
-      fields: [{ name: 'count', type: 'number', required: false, default_value: 0 }],
-      states: [{
-        name: 'active',
-        type: 'REGULAR',
-        on_enter: [{ id: 'a1', type: 'set_field', mode: 'auto', config: { field: 'count', value: 1 } }],
-        on_exit: [{ id: 'a2', type: 'log_event', mode: 'auto', config: { message: 'exit' } }],
-        during: [{
-          id: 'd1',
-          type: 'interval',
-          interval_ms: 5000,
-          actions: [{ id: 'a3', type: 'log_event', mode: 'auto', config: { message: 'tick' } }],
-        }],
-      }],
-      transitions: [{ name: 'start', from: ['idle'], to: 'active', actions: [] }],
-      metadata: {
-        fieldWatchers: [{
-          id: 'w1',
-          field: 'count',
-          actions: [{ id: 'wa1', type: 'log_event', mode: 'auto', config: { message: 'changed' } }],
-        }],
-      },
-      on_event: [
-        { match: 'tick', actions: [{ type: 'log_event', field: '', expression: '' }] },
-      ],
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        children: [
-          { id: 't', component: 'Text', bindings: { value: '$local.count' } },
-        ],
-      },
-    });
-
-    const { code } = decompile(def);
-
-    expect(code).toContain('useState');
-    expect(code).toContain('useOnEnter');
-    expect(code).toContain('useOnExit');
-    expect(code).toContain('useWhileIn');
-    expect(code).toContain('useTransition');
-    expect(code).toContain('useOnChange');
-    expect(code).toContain('useOnEvent');
-  });
-});
-
-// =============================================================================
-// Additional: Project decompiler assigns correct file roles
-// =============================================================================
-
-describe('Project decompiler file roles', () => {
-  it('should assign correct roles to all decompiled files', () => {
-    const def = makeDef({
-      slug: 'role-test',
-      category: 'blueprint',
-      fields: Array.from({ length: 12 }, (_, i) => ({
-        name: `field_${i}`,
-        type: 'text' as const,
-        required: false,
-        default_value: '',
-      })),
-      states: Array.from({ length: 5 }, (_, i) => ({
-        name: `state_${i}`,
-        type: (i === 0 ? 'START' : 'REGULAR') as 'START' | 'REGULAR',
-        description: '',
-        on_enter: [],
-        on_exit: [],
-        during: [],
-      })),
-      transitions: [
-        { name: 'go', from: ['state_0'], to: 'state_1', actions: [] },
-      ],
-    });
-
-    const result = decompileProjectEnhanced(def);
-
-    const mainFile = result.files.find(f => f.path === 'main.workflow.tsx');
-    expect(mainFile).toBeDefined();
-    expect(mainFile!.role).toBe('view-entry');
-
-    const configFile = result.files.find(f => f.path === 'mm.config.ts');
-    expect(configFile).toBeDefined();
-    expect(configFile!.role).toBe('config');
-
-    const modelFile = result.files.find(f => f.path.startsWith('models/'));
-    expect(modelFile).toBeDefined();
-    expect(modelFile!.role).toBe('model');
-  });
-});