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

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

@@ -1,2598 +0,0 @@
-/**
- * Bidirectional Compiler Verification Suite
- *
- * Verifies that compilation is perfectly bidirectional:
- *   Source → compile → IR → decompile → Source' → compile → IR' → decompile → Source''
- *
- * Key invariants:
- *   1. IR semantic equality: IR ≈ IR' (structural deep-equal, ignoring order)
- *   2. Source stabilization: Source' === Source'' (exact string match on second pass)
- *
- * If compile→decompile→compile→decompile does not stabilize, the compiler has a bug.
- */
-
-import { describe, it, expect } from 'vitest';
-import * as fs from 'fs';
-import * as path from 'path';
-import { compileProject } from '../../project-compiler';
-import type { ProjectCompilationResult } from '../../project-compiler';
-import { decompileProjectEnhanced } from '../../decompiler/project-decompiler';
-import { decompile } from '../../decompiler';
-import type { DecompilerInput } from '../../decompiler';
-import type { IRWorkflowDefinition } from '@mindmatrix/player-core';
-
-// =============================================================================
-// Helpers
-// =============================================================================
-
-const FIXTURES_DIR = path.resolve(__dirname, 'fixtures');
-
-/** Reads all .ts/.tsx 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', 'dist', '.git'].includes(entry.name)) continue;
-        walk(fullPath, relPath);
-      } else if (entry.isFile()) {
-        if (entry.name.endsWith('.tsx') || entry.name.endsWith('.ts')) {
-          files[relPath] = fs.readFileSync(fullPath, 'utf-8');
-        }
-      }
-    }
-  }
-
-  walk(rootDir, '');
-  return files;
-}
-
-/**
- * Performs the full bidirectional round-trip test for a fixture.
- *
- * Steps:
- *   1. Read source files → fileMap
- *   2. Compile: compileProject(fileMap) → IR + childDefinitions
- *   3. Decompile: decompileProjectEnhanced(IR) → outputFiles
- *   4. Re-compile: compileProject(outputFiles) → IR2
- *   5. Compare IR vs IR2 (semantic equality)
- *   6. Re-decompile: decompileProjectEnhanced(IR2) → outputFiles2
- *   7. Compare outputFiles vs outputFiles2 (string equality)
- */
-interface RoundTripReport {
-  fixtureName: string;
-
-  // Phase 1: Initial compilation
-  compileSuccess: boolean;
-  compileErrors: string[];
-  ir1: IRWorkflowDefinition | null;
-  childDefs1: IRWorkflowDefinition[];
-
-  // Phase 2: Decompile
-  decompileSuccess: boolean;
-  outputFiles1: Record<string, string>;
-
-  // Phase 3: Re-compile
-  recompileSuccess: boolean;
-  recompileErrors: string[];
-  ir2: IRWorkflowDefinition | null;
-
-  // Phase 4: IR Semantic equality
-  irDiffs: IRDiff[];
-  irMatch: boolean;
-
-  // Phase 5: Re-decompile
-  outputFiles2: Record<string, string>;
-
-  // Phase 6: Source stabilization (string equality)
-  sourceStabilized: boolean;
-  sourceDiffs: SourceDiff[];
-}
-
-interface IRDiff {
-  path: string;
-  expected: unknown;
-  actual: unknown;
-  severity: 'error' | 'warning';
-}
-
-interface SourceDiff {
-  file: string;
-  type: 'missing_in_pass2' | 'extra_in_pass2' | 'content_mismatch';
-  details?: string;
-}
-
-function performRoundTrip(fixtureName: string): RoundTripReport {
-  const fixtureDir = path.join(FIXTURES_DIR, fixtureName);
-  const report: RoundTripReport = {
-    fixtureName,
-    compileSuccess: false,
-    compileErrors: [],
-    ir1: null,
-    childDefs1: [],
-    decompileSuccess: false,
-    outputFiles1: {},
-    recompileSuccess: false,
-    recompileErrors: [],
-    ir2: null,
-    irDiffs: [],
-    irMatch: false,
-    outputFiles2: {},
-    sourceStabilized: false,
-    sourceDiffs: [],
-  };
-
-  // Step 1: Read fixture source files
-  const sourceFiles = readProjectFiles(fixtureDir);
-
-  // Step 2: Compile (pass 1)
-  let result1: ProjectCompilationResult;
-  try {
-    result1 = compileProject(sourceFiles);
-    report.compileSuccess = true;
-    report.compileErrors = result1.errors.map(e => `${e.file}: ${e.message}`);
-    report.ir1 = result1.ir;
-    report.childDefs1 = result1.childDefinitions;
-  } catch (err) {
-    report.compileErrors = [(err as Error).message];
-    return report;
-  }
-
-  // Step 3: Decompile (pass 1)
-  try {
-    const decompInput: DecompilerInput = {
-      ...result1.ir,
-      childDefinitions: result1.childDefinitions,
-      experience: result1.ir.experience as any,
-    };
-    const decompResult = decompileProjectEnhanced(decompInput);
-    report.decompileSuccess = true;
-
-    for (const file of decompResult.files) {
-      report.outputFiles1[file.path] = file.content;
-    }
-  } catch (err) {
-    report.compileErrors.push(`Decompile failed: ${(err as Error).message}`);
-    return report;
-  }
-
-  // Step 4: Re-compile (pass 2) — compile the decompiled output
-  let result2: ProjectCompilationResult;
-  try {
-    result2 = compileProject(report.outputFiles1);
-    report.recompileSuccess = true;
-    report.recompileErrors = result2.errors.map(e => `${e.file}: ${e.message}`);
-    report.ir2 = result2.ir;
-  } catch (err) {
-    report.recompileErrors = [(err as Error).message];
-    return report;
-  }
-
-  // Step 5: Compare IR1 vs IR2 (semantic equality)
-  report.irDiffs = compareIRSemantic(result1.ir, result2.ir);
-  report.irMatch = report.irDiffs.filter(d => d.severity === 'error').length === 0;
-
-  // Step 6: Re-decompile (pass 2) — decompile IR2
-  try {
-    const decompInput2: DecompilerInput = {
-      ...result2.ir,
-      childDefinitions: result2.childDefinitions,
-      experience: result2.ir.experience as any,
-    };
-    const decompResult2 = decompileProjectEnhanced(decompInput2);
-
-    for (const file of decompResult2.files) {
-      report.outputFiles2[file.path] = file.content;
-    }
-  } catch (err) {
-    report.recompileErrors.push(`Re-decompile failed: ${(err as Error).message}`);
-    return report;
-  }
-
-  // Step 7: Compare outputFiles1 vs outputFiles2 (string equality)
-  report.sourceDiffs = compareSourceFiles(report.outputFiles1, report.outputFiles2);
-  report.sourceStabilized = report.sourceDiffs.length === 0;
-
-  return report;
-}
-
-// =============================================================================
-// IR Semantic Comparison
-// =============================================================================
-
-function compareIRSemantic(ir1: IRWorkflowDefinition, ir2: IRWorkflowDefinition): IRDiff[] {
-  const diffs: IRDiff[] = [];
-
-  // Slug
-  if (ir1.slug !== ir2.slug) {
-    diffs.push({ path: 'slug', expected: ir1.slug, actual: ir2.slug, severity: 'error' });
-  }
-
-  // Version
-  if (ir1.version !== ir2.version) {
-    diffs.push({ path: 'version', expected: ir1.version, actual: ir2.version, severity: 'error' });
-  }
-
-  // Category (may be string or array — use JSON comparison for arrays)
-  if (JSON.stringify(ir1.category) !== JSON.stringify(ir2.category)) {
-    diffs.push({ path: 'category', expected: ir1.category, actual: ir2.category, severity: 'error' });
-  }
-
-  // Fields (by name)
-  compareFieldsSemantic(diffs, ir1.fields, ir2.fields);
-
-  // States (by name)
-  compareStatesSemantic(diffs, ir1.states, ir2.states);
-
-  // Transitions (by name)
-  compareTransitionsSemantic(diffs, ir1.transitions, ir2.transitions);
-
-  // Experience tree existence
-  const hasExp1 = !!ir1.experience;
-  const hasExp2 = !!ir2.experience;
-  if (hasExp1 !== hasExp2) {
-    diffs.push({
-      path: 'experience',
-      expected: hasExp1 ? 'present' : 'absent',
-      actual: hasExp2 ? 'present' : 'absent',
-      severity: 'error',
-    });
-  }
-
-  if (hasExp1 && hasExp2) {
-    compareExperienceSemantic(diffs, 'experience', ir1.experience!, ir2.experience!);
-  }
-
-  return diffs;
-}
-
-function compareFieldsSemantic(
-  diffs: IRDiff[],
-  fields1: IRWorkflowDefinition['fields'],
-  fields2: IRWorkflowDefinition['fields'],
-): void {
-  const map1 = new Map(fields1.map(f => [f.name, f]));
-  const map2 = new Map(fields2.map(f => [f.name, f]));
-
-  // Fields in IR1 but not IR2
-  for (const [name] of map1) {
-    if (!map2.has(name)) {
-      diffs.push({
-        path: `fields[${name}]`,
-        expected: name,
-        actual: undefined,
-        severity: 'error',
-      });
-    }
-  }
-
-  // Fields in IR2 but not IR1
-  for (const [name] of map2) {
-    if (!map1.has(name)) {
-      diffs.push({
-        path: `fields[${name}]`,
-        expected: undefined,
-        actual: name,
-        severity: 'warning',
-      });
-    }
-  }
-
-  // Common fields: compare type
-  for (const [name, f1] of map1) {
-    const f2 = map2.get(name);
-    if (!f2) continue;
-
-    if (f1.type !== f2.type && !isCompatibleFieldType(f1.type, f2.type)) {
-      diffs.push({
-        path: `fields[${name}].type`,
-        expected: f1.type,
-        actual: f2.type,
-        severity: 'warning',
-      });
-    }
-  }
-}
-
-function isCompatibleFieldType(t1: string, t2: string): boolean {
-  const stringTypes = new Set(['text', 'rich_text', 'email', 'url', 'phone', 'color', 'select']);
-  const numberTypes = new Set(['number', 'currency', 'percentage', 'rating', 'duration']);
-  if (stringTypes.has(t1) && stringTypes.has(t2)) return true;
-  if (numberTypes.has(t1) && numberTypes.has(t2)) return true;
-  return false;
-}
-
-function compareStatesSemantic(
-  diffs: IRDiff[],
-  states1: IRWorkflowDefinition['states'],
-  states2: IRWorkflowDefinition['states'],
-): void {
-  const map1 = new Map(states1.map(s => [s.name, s]));
-  const map2 = new Map(states2.map(s => [s.name, s]));
-
-  // States with actions in IR1 must exist in IR2
-  for (const [name, s1] of map1) {
-    const hasActions = s1.on_enter.length > 0 || s1.on_exit.length > 0 || s1.during.length > 0;
-    const s2 = map2.get(name);
-
-    if (!s2 && hasActions) {
-      diffs.push({
-        path: `states[${name}]`,
-        expected: name,
-        actual: undefined,
-        severity: 'error',
-      });
-      continue;
-    }
-    if (!s2) continue;
-
-    // Compare action counts
-    if (s1.on_enter.length !== s2.on_enter.length) {
-      diffs.push({
-        path: `states[${name}].on_enter.length`,
-        expected: s1.on_enter.length,
-        actual: s2.on_enter.length,
-        severity: s1.on_enter.length > 0 ? 'error' : 'warning',
-      });
-    }
-    if (s1.on_exit.length !== s2.on_exit.length) {
-      diffs.push({
-        path: `states[${name}].on_exit.length`,
-        expected: s1.on_exit.length,
-        actual: s2.on_exit.length,
-        severity: s1.on_exit.length > 0 ? 'error' : 'warning',
-      });
-    }
-    if (s1.during.length !== s2.during.length) {
-      diffs.push({
-        path: `states[${name}].during.length`,
-        expected: s1.during.length,
-        actual: s2.during.length,
-        severity: s1.during.length > 0 ? 'error' : 'warning',
-      });
-    }
-  }
-}
-
-function compareTransitionsSemantic(
-  diffs: IRDiff[],
-  trans1: IRWorkflowDefinition['transitions'],
-  trans2: IRWorkflowDefinition['transitions'],
-): void {
-  if (trans1.length !== trans2.length) {
-    diffs.push({
-      path: 'transitions.length',
-      expected: trans1.length,
-      actual: trans2.length,
-      severity: 'error',
-    });
-  }
-
-  const map1 = new Map(trans1.map(t => [t.name, t]));
-  const map2 = new Map(trans2.map(t => [t.name, t]));
-
-  for (const [name, t1] of map1) {
-    const t2 = map2.get(name);
-    if (!t2) {
-      diffs.push({
-        path: `transitions[${name}]`,
-        expected: name,
-        actual: undefined,
-        severity: 'error',
-      });
-      continue;
-    }
-
-    // Compare 'to' state
-    if (t1.to !== t2.to) {
-      diffs.push({
-        path: `transitions[${name}].to`,
-        expected: t1.to,
-        actual: t2.to,
-        severity: 'error',
-      });
-    }
-
-    // Compare 'from' states (order-independent)
-    const from1 = [...(Array.isArray(t1.from) ? t1.from : [t1.from])].sort();
-    const from2 = [...(Array.isArray(t2.from) ? t2.from : [t2.from])].sort();
-    if (JSON.stringify(from1) !== JSON.stringify(from2)) {
-      diffs.push({
-        path: `transitions[${name}].from`,
-        expected: from1,
-        actual: from2,
-        severity: 'error',
-      });
-    }
-
-    // Compare roles (order-independent)
-    const roles1 = [...(t1.roles ?? [])].sort();
-    const roles2 = [...(t2.roles ?? [])].sort();
-    if (JSON.stringify(roles1) !== JSON.stringify(roles2)) {
-      diffs.push({
-        path: `transitions[${name}].roles`,
-        expected: roles1,
-        actual: roles2,
-        severity: 'error',
-      });
-    }
-
-    // Compare required_fields (order-independent)
-    const req1 = [...(t1.required_fields ?? [])].sort();
-    const req2 = [...(t2.required_fields ?? [])].sort();
-    if (JSON.stringify(req1) !== JSON.stringify(req2)) {
-      diffs.push({
-        path: `transitions[${name}].required_fields`,
-        expected: req1,
-        actual: req2,
-        severity: 'error',
-      });
-    }
-  }
-}
-
-function compareExperienceSemantic(
-  diffs: IRDiff[],
-  prefix: string,
-  node1: any,
-  node2: any,
-): void {
-  // Experience tree restructuring (Router/Route/NavLinks) is by design for multi-file
-  // projects. The decompiler extracts pages and the compiler composes them into
-  // Router/Route structure. These diffs are reported as warnings, not errors —
-  // source stabilization (pass N+1 = pass N) is the authoritative convergence test.
-  const severity: 'warning' | 'error' = 'warning';
-
-  // Compare component name
-  if (node1.component !== node2.component) {
-    diffs.push({
-      path: `${prefix}.component`,
-      expected: node1.component,
-      actual: node2.component,
-      severity,
-    });
-  }
-
-  // Compare children count
-  const children1 = node1.children ?? [];
-  const children2 = node2.children ?? [];
-  if (children1.length !== children2.length) {
-    diffs.push({
-      path: `${prefix}.children.length`,
-      expected: children1.length,
-      actual: children2.length,
-      severity,
-    });
-  }
-
-  // Recurse into children
-  const minLen = Math.min(children1.length, children2.length);
-  for (let i = 0; i < minLen; i++) {
-    compareExperienceSemantic(diffs, `${prefix}.children[${i}]`, children1[i], children2[i]);
-  }
-}
-
-// =============================================================================
-// Source File Comparison (String Equality)
-// =============================================================================
-
-function compareSourceFiles(
-  files1: Record<string, string>,
-  files2: Record<string, string>,
-): SourceDiff[] {
-  const diffs: SourceDiff[] = [];
-
-  // Files in pass 1 but not pass 2
-  for (const file of Object.keys(files1)) {
-    if (!(file in files2)) {
-      diffs.push({ file, type: 'missing_in_pass2' });
-    }
-  }
-
-  // Files in pass 2 but not pass 1
-  for (const file of Object.keys(files2)) {
-    if (!(file in files1)) {
-      diffs.push({ file, type: 'extra_in_pass2' });
-    }
-  }
-
-  // Content comparison for common files
-  for (const file of Object.keys(files1)) {
-    if (file in files2) {
-      if (files1[file] !== files2[file]) {
-        // Build a simple diff summary
-        const lines1 = files1[file].split('\n');
-        const lines2 = files2[file].split('\n');
-        const diffLines: string[] = [];
-        const maxLines = Math.max(lines1.length, lines2.length);
-        for (let i = 0; i < maxLines && diffLines.length < 10; i++) {
-          if (lines1[i] !== lines2[i]) {
-            diffLines.push(
-              `  L${i + 1}: "${(lines1[i] ?? '(missing)').slice(0, 80)}" vs "${(lines2[i] ?? '(missing)').slice(0, 80)}"`,
-            );
-          }
-        }
-        diffs.push({
-          file,
-          type: 'content_mismatch',
-          details: diffLines.join('\n'),
-        });
-      }
-    }
-  }
-
-  return diffs;
-}
-
-// =============================================================================
-// Single-file round-trip helper (for inline test sources)
-// =============================================================================
-
-interface SingleFileRoundTripResult {
-  compileSuccess: boolean;
-  ir1: IRWorkflowDefinition | null;
-  decompileCode1: string;
-  ir2: IRWorkflowDefinition | null;
-  decompileCode2: string;
-  irMatch: boolean;
-  irDiffs: IRDiff[];
-  sourceStabilized: boolean;
-  sourceDiff: string;
-}
-
-function singleFileRoundTrip(
-  source: string,
-  filename: string = 'test.workflow.tsx',
-): SingleFileRoundTripResult {
-  const result: SingleFileRoundTripResult = {
-    compileSuccess: false,
-    ir1: null,
-    decompileCode1: '',
-    ir2: null,
-    decompileCode2: '',
-    irMatch: false,
-    irDiffs: [],
-    sourceStabilized: false,
-    sourceDiff: '',
-  };
-
-  // Pass 1: compile source → IR
-  const fileMap = { [filename]: source };
-  let compile1: ProjectCompilationResult;
-  try {
-    compile1 = compileProject(fileMap);
-    result.compileSuccess = true;
-    result.ir1 = compile1.ir;
-  } catch {
-    return result;
-  }
-
-  // Decompile IR → source code
-  const decompInput1: DecompilerInput = {
-    ...compile1.ir,
-    experience: compile1.ir.experience as any,
-  };
-  const decomp1 = decompile(decompInput1, { includeAnnotation: true });
-  result.decompileCode1 = decomp1.code;
-
-  // Pass 2: compile decompiled source → IR2
-  let compile2: ProjectCompilationResult;
-  try {
-    compile2 = compileProject({ [filename]: decomp1.code });
-    result.ir2 = compile2.ir;
-  } catch {
-    return result;
-  }
-
-  // Compare IR1 vs IR2
-  result.irDiffs = compareIRSemantic(compile1.ir, compile2.ir);
-  result.irMatch = result.irDiffs.filter(d => d.severity === 'error').length === 0;
-
-  // Decompile IR2 → source code (pass 2)
-  const decompInput2: DecompilerInput = {
-    ...compile2.ir,
-    experience: compile2.ir.experience as any,
-  };
-  const decomp2 = decompile(decompInput2, { includeAnnotation: true });
-  result.decompileCode2 = decomp2.code;
-
-  // String comparison
-  result.sourceStabilized = decomp1.code === decomp2.code;
-  if (!result.sourceStabilized) {
-    const lines1 = decomp1.code.split('\n');
-    const lines2 = decomp2.code.split('\n');
-    const diffs: string[] = [];
-    const maxLen = Math.max(lines1.length, lines2.length);
-    for (let i = 0; i < maxLen && diffs.length < 15; i++) {
-      if (lines1[i] !== lines2[i]) {
-        diffs.push(`L${i + 1}: pass1="${(lines1[i] ?? '').slice(0, 80)}" pass2="${(lines2[i] ?? '').slice(0, 80)}"`);
-      }
-    }
-    result.sourceDiff = diffs.join('\n');
-  }
-
-  return result;
-}
-
-// =============================================================================
-// Fixture: simple-crud
-// =============================================================================
-
-describe('round-trip: simple-crud', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performRoundTrip('simple-crud');
-  });
-
-  it('should compile the fixture successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-    if (report.compileErrors.length > 0) {
-      console.log('Compile errors:', report.compileErrors);
-    }
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve slug through round trip', () => {
-    expect(report.ir1).not.toBeNull();
-    expect(report.ir2).not.toBeNull();
-    // Slug may differ between original source slug and decompiled slug
-    // since decompiled mm.config.ts is not generated for single-tier projects.
-    // Check that IR2 has a slug at least.
-    expect(report.ir2!.slug).toBeTruthy();
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve transitions through round trip', () => {
-    const transDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('transitions') && d.severity === 'error',
-    );
-    if (transDiffs.length > 0) {
-      console.log('Transition diffs:', JSON.stringify(transDiffs, null, 2));
-    }
-    expect(transDiffs).toEqual([]);
-  });
-
-  it('should preserve experience tree through round trip', () => {
-    const expDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('experience') && d.severity === 'error',
-    );
-    if (expDiffs.length > 0) {
-      console.log('Experience diffs:', JSON.stringify(expDiffs, null, 2));
-    }
-    expect(expDiffs).toEqual([]);
-  });
-
-  it('should produce decompiled output files', () => {
-    expect(Object.keys(report.outputFiles1).length).toBeGreaterThan(0);
-    // Should have at least a main workflow file
-    const hasMain = Object.keys(report.outputFiles1).some(
-      f => f.includes('.workflow.tsx'),
-    );
-    expect(hasMain).toBe(true);
-  });
-
-  it('should stabilize source on second pass (Source\' === Source\'\')', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// =============================================================================
-// Fixture: full-workflow
-// =============================================================================
-
-describe('round-trip: full-workflow', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performRoundTrip('full-workflow');
-  });
-
-  it('should compile the fixture successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve transitions through round trip', () => {
-    const transDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('transitions') && d.severity === 'error',
-    );
-    if (transDiffs.length > 0) {
-      console.log('Transition diffs:', JSON.stringify(transDiffs, null, 2));
-    }
-    expect(transDiffs).toEqual([]);
-  });
-
-  it('should preserve states with effects through round trip', () => {
-    const stateDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('states') && d.severity === 'error',
-    );
-    if (stateDiffs.length > 0) {
-      console.log('State diffs:', JSON.stringify(stateDiffs, null, 2));
-    }
-    expect(stateDiffs).toEqual([]);
-  });
-
-  it('should preserve experience tree through round trip', () => {
-    const expDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('experience') && d.severity === 'error',
-    );
-    if (expDiffs.length > 0) {
-      console.log('Experience diffs:', JSON.stringify(expDiffs, null, 2));
-    }
-    expect(expDiffs).toEqual([]);
-  });
-
-  it('should stabilize source on second pass', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// =============================================================================
-// Fixture: data-heavy
-// =============================================================================
-
-describe('round-trip: data-heavy', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performRoundTrip('data-heavy');
-  });
-
-  it('should compile the fixture successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve states with effects (on_enter, on_exit, during)', () => {
-    const stateDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('states') && d.severity === 'error',
-    );
-    if (stateDiffs.length > 0) {
-      console.log('State diffs:', JSON.stringify(stateDiffs, null, 2));
-    }
-    expect(stateDiffs).toEqual([]);
-  });
-
-  it('should preserve transitions through round trip', () => {
-    const transDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('transitions') && d.severity === 'error',
-    );
-    if (transDiffs.length > 0) {
-      console.log('Transition diffs:', JSON.stringify(transDiffs, null, 2));
-    }
-    expect(transDiffs).toEqual([]);
-  });
-
-  it('should stabilize source on second pass', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// =============================================================================
-// Fixture: view-heavy
-// =============================================================================
-
-describe('round-trip: view-heavy', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performRoundTrip('view-heavy');
-  });
-
-  it('should compile the fixture successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve experience tree structure', () => {
-    const expDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('experience') && d.severity === 'error',
-    );
-    if (expDiffs.length > 0) {
-      console.log('Experience diffs:', JSON.stringify(expDiffs, null, 2));
-    }
-    expect(expDiffs).toEqual([]);
-  });
-
-  it('should stabilize source on second pass', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// =============================================================================
-// Single-file round-trip tests (inline sources)
-// =============================================================================
-
-describe('round-trip: single-file inline', () => {
-  describe('minimal counter', () => {
-    const source = `
-/**
- * @workflow slug="counter" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useTransition, Stack, Heading, Button } from '@mindmatrix/react';
-
-export default function Counter() {
-  const [count, setCount] = useState(0);
-
-  useTransition('increment', { from: 'idle', to: 'idle' });
-  useTransition('reset', { from: 'idle', to: 'idle' });
-
-  return (
-    <Stack sx={{ gap: 8 }}>
-      <Heading>Count: {count}</Heading>
-      <Button onClick={() => setCount(count + 1)}>+1</Button>
-      <Button onClick={() => setCount(0)}>Reset</Button>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and decompile successfully', () => {
-      const result = singleFileRoundTrip(source, 'counter.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      expect(result.ir1).not.toBeNull();
-      expect(result.ir2).not.toBeNull();
-    });
-
-    it('should preserve IR semantically', () => {
-      const result = singleFileRoundTrip(source, 'counter.workflow.tsx');
-      const errors = result.irDiffs.filter(d => d.severity === 'error');
-      if (errors.length > 0) {
-        console.log('IR diffs:', JSON.stringify(errors, null, 2));
-      }
-      expect(errors).toEqual([]);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'counter.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-        console.log('\n--- Pass 1 output ---\n' + result.decompileCode1);
-        console.log('\n--- Pass 2 output ---\n' + result.decompileCode2);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  describe('fields and state effects', () => {
-    const source = `
-/**
- * @workflow slug="task-tracker" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useOnEnter, useOnExit, useTransition, Stack, Text } from '@mindmatrix/react';
-
-export default function TaskTracker() {
-  const [taskName, setTaskName] = useState('');
-  const [isComplete, setIsComplete] = useState(false);
-  const [progress, setProgress] = useState(0);
-
-  useOnEnter('active', () => {
-    setProgress(0);
-  });
-
-  useOnExit('active', () => {
-    setIsComplete(true);
-  });
-
-  useTransition('start', { from: 'idle', to: 'active' });
-  useTransition('complete', { from: 'active', to: 'done' });
-
-  return (
-    <Stack>
-      <Text>{taskName}: {progress}%</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and preserve fields', () => {
-      const result = singleFileRoundTrip(source, 'task.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      const fieldErrors = result.irDiffs.filter(
-        d => d.path.startsWith('fields') && d.severity === 'error',
-      );
-      expect(fieldErrors).toEqual([]);
-    });
-
-    it('should preserve state effects', () => {
-      const result = singleFileRoundTrip(source, 'task.workflow.tsx');
-      const stateErrors = result.irDiffs.filter(
-        d => d.path.startsWith('states') && d.severity === 'error',
-      );
-      if (stateErrors.length > 0) {
-        console.log('State diffs:', JSON.stringify(stateErrors, null, 2));
-      }
-      expect(stateErrors).toEqual([]);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'task.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  describe('transitions with roles and required fields', () => {
-    const source = `
-/**
- * @workflow slug="approval-flow" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useTransition, Stack, Text, Button } from '@mindmatrix/react';
-
-export default function ApprovalFlow() {
-  const [status, setStatus] = useState('');
-  const [amount, setAmount] = useState(0);
-
-  const submit = useTransition('submit', {
-    from: 'draft',
-    to: 'pending',
-    requiredFields: ['amount'],
-    roles: ['submitter'],
-  });
-
-  const approve = useTransition('approve', {
-    from: 'pending',
-    to: 'approved',
-    roles: ['approver'],
-  });
-
-  const reject = useTransition('reject', {
-    from: 'pending',
-    to: 'rejected',
-    roles: ['approver'],
-  });
-
-  return (
-    <Stack sx={{ gap: 8 }}>
-      <Text>Amount: {amount}</Text>
-      <Text>Status: {status}</Text>
-      <Button onClick={() => submit.fire()}>Submit</Button>
-      <Button onClick={() => approve.fire()}>Approve</Button>
-      <Button onClick={() => reject.fire()}>Reject</Button>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve transitions with roles and required fields', () => {
-      const result = singleFileRoundTrip(source, 'approval.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-
-      const transErrors = result.irDiffs.filter(
-        d => d.path.startsWith('transitions') && d.severity === 'error',
-      );
-      if (transErrors.length > 0) {
-        console.log('Transition diffs:', JSON.stringify(transErrors, null, 2));
-      }
-      expect(transErrors).toEqual([]);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'approval.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  describe('complex JSX tree with sx styles', () => {
-    const source = `
-/**
- * @workflow slug="styled-view" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Row, Heading, Text, Button } from '@mindmatrix/react';
-
-export default function StyledView() {
-  const [title, setTitle] = useState('Hello');
-  const [count, setCount] = useState(0);
-
-  return (
-    <Stack sx={{ gap: 16, p: 24, bg: '#ffffff' }}>
-      <Heading sx={{ fontSize: 24, fontWeight: 'bold', color: '#1a1a1a' }}>{title}</Heading>
-      <Row sx={{ gap: 8, alignItems: 'center' }}>
-        <Text sx={{ fontSize: 14, color: '#64748b' }}>Count: {count}</Text>
-        <Button onClick={() => setCount(count + 1)} sx={{ colorScheme: 'blue' }}>Increment</Button>
-      </Row>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve JSX structure and styles', () => {
-      const result = singleFileRoundTrip(source, 'styled.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-
-      const expErrors = result.irDiffs.filter(
-        d => d.path.startsWith('experience') && d.severity === 'error',
-      );
-      if (expErrors.length > 0) {
-        console.log('Experience diffs:', JSON.stringify(expErrors, null, 2));
-      }
-      expect(expErrors).toEqual([]);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'styled.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-        console.log('\n--- Pass 1 ---\n' + result.decompileCode1);
-        console.log('\n--- Pass 2 ---\n' + result.decompileCode2);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  describe('conditional rendering with Show', () => {
-    const source = `
-/**
- * @workflow slug="conditional-view" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text, Show, Button } from '@mindmatrix/react';
-
-export default function ConditionalView() {
-  const [visible, setVisible] = useState(false);
-  const [message, setMessage] = useState('Hello');
-
-  return (
-    <Stack>
-      <Button onClick={() => setVisible(!visible)}>Toggle</Button>
-      <Show when={visible}>
-        <Text>{message}</Text>
-      </Show>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve Show conditional rendering', () => {
-      const result = singleFileRoundTrip(source, 'conditional.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'conditional.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  describe('useOnChange and useOnEvent', () => {
-    const source = `
-/**
- * @workflow slug="event-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useOnChange, useOnEvent, Stack, Text } from '@mindmatrix/react';
-
-export default function EventDemo() {
-  const [value, setValue] = useState('');
-  const [lastEvent, setLastEvent] = useState('');
-
-  useOnChange('value', () => {
-    setLastEvent('value changed');
-  });
-
-  useOnEvent('external:update', () => {
-    setLastEvent('external update received');
-  });
-
-  return (
-    <Stack>
-      <Text>Value: {value}</Text>
-      <Text>Last event: {lastEvent}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve useOnChange and useOnEvent hooks', () => {
-      const result = singleFileRoundTrip(source, 'events.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-
-      // Check that on_event subscriptions survive
-      const eventDiffs = result.irDiffs.filter(
-        d => d.severity === 'error',
-      );
-      if (eventDiffs.length > 0) {
-        console.log('Diffs:', JSON.stringify(eventDiffs, null, 2));
-      }
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'events.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  describe('useRole declarations', () => {
-    const source = `
-/**
- * @workflow slug="role-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useRole, Stack, Text, Show } from '@mindmatrix/react';
-
-export default function RoleDemo() {
-  const [data, setData] = useState('');
-
-  const isAdmin = useRole('admin');
-  const isEditor = useRole('editor');
-
-  return (
-    <Stack>
-      <Text>Data: {data}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve role declarations', () => {
-      const result = singleFileRoundTrip(source, 'roles.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'roles.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Source diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-});
-
-// =============================================================================
-// Comprehensive pattern coverage: every atom, hook, and pattern
-// =============================================================================
-
-describe('round-trip: pattern coverage', () => {
-
-  // ---------------------------------------------------------------------------
-  // Layout atoms: Grid, Column, Divider, Spacer, Card, Section
-  // ---------------------------------------------------------------------------
-  describe('layout atoms (Grid, Column, Divider, Card, Section)', () => {
-    const source = `
-/**
- * @workflow slug="layout-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Grid, Column, Row, Divider, Spacer, Card, Section, Stack, Text } from '@mindmatrix/react';
-
-export default function LayoutDemo() {
-  const [title, setTitle] = useState('Dashboard');
-
-  return (
-    <Stack sx={{ gap: 16 }}>
-      <Card sx={{ p: 16 }}>
-        <Text>{title}</Text>
-      </Card>
-      <Divider />
-      <Grid sx={{ gap: 8 }}>
-        <Column><Text>Col 1</Text></Column>
-        <Column><Text>Col 2</Text></Column>
-      </Grid>
-      <Section>
-        <Row sx={{ gap: 4 }}>
-          <Text>Left</Text>
-          <Spacer />
-          <Text>Right</Text>
-        </Row>
-      </Section>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'layout.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Layout diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-
-    it('should preserve component tree structure', () => {
-      const result = singleFileRoundTrip(source, 'layout.workflow.tsx');
-      const errors = result.irDiffs.filter(d => d.severity === 'error');
-      expect(errors).toEqual([]);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Form atoms: TextInput, Select with options
-  // ---------------------------------------------------------------------------
-  describe('form atoms (TextInput, Select)', () => {
-    const source = `
-/**
- * @workflow slug="form-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text, TextInput, Select, Button } from '@mindmatrix/react';
-
-export default function FormDemo() {
-  const [name, setName] = useState('');
-  const [color, setColor] = useState('red');
-
-  return (
-    <Stack sx={{ gap: 8 }}>
-      <TextInput value={name} label="Name" placeholder="Enter name" />
-      <Select value={color} label="Color" options={["red", "green", "blue"]} />
-      <Button label="Submit" onClick={() => setName('')} />
-      <Text>Selected: {color}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'form.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Form diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Each (list rendering) — the .map() pattern
-  // ---------------------------------------------------------------------------
-  describe('Each list rendering', () => {
-    const source = `
-/**
- * @workflow slug="list-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text, Each, Button } from '@mindmatrix/react';
-
-export default function ListDemo() {
-  const [count, setCount] = useState(0);
-
-  return (
-    <Stack sx={{ gap: 4 }}>
-      <Text>Count: {count}</Text>
-      <Each items={$instance.tasks} as="task">
-        <Text>{task.name}</Text>
-      </Each>
-      <Button label="Add" onClick={() => setCount(count + 1)} />
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'list.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Each diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Image, Badge, Icon atoms
-  // ---------------------------------------------------------------------------
-  describe('media atoms (Image, Badge, Icon)', () => {
-    const source = `
-/**
- * @workflow slug="media-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Row, Image, Badge, Icon, Text } from '@mindmatrix/react';
-
-export default function MediaDemo() {
-  const [status, setStatus] = useState('active');
-
-  return (
-    <Stack sx={{ gap: 8 }}>
-      <Row sx={{ gap: 4, alignItems: 'center' }}>
-        <Image src="https://example.com/avatar.png" alt="Avatar" sx={{ width: 40, height: 40, borderRadius: '50%' }} />
-        <Text>User Name</Text>
-        <Badge variant="success" label={status} />
-      </Row>
-      <Row sx={{ gap: 4 }}>
-        <Icon name="settings" />
-        <Icon name="bell" />
-      </Row>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'media.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Media diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Modal atom
-  // ---------------------------------------------------------------------------
-  describe('Modal atom', () => {
-    const source = `
-/**
- * @workflow slug="modal-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text, Button, Modal } from '@mindmatrix/react';
-
-export default function ModalDemo() {
-  const [open, setOpen] = useState(false);
-
-  return (
-    <Stack>
-      <Button label="Open" onClick={() => setOpen(true)} />
-      <Modal open={open} title="Confirm">
-        <Text>Are you sure?</Text>
-        <Button label="Close" onClick={() => setOpen(false)} />
-      </Modal>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'modal.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Modal diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Multi-action event handler ($action.seq)
-  // ---------------------------------------------------------------------------
-  describe('multi-action event handlers', () => {
-    const source = `
-/**
- * @workflow slug="multi-action" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text, Button } from '@mindmatrix/react';
-
-export default function MultiAction() {
-  const [count, setCount] = useState(0);
-  const [message, setMessage] = useState('');
-
-  return (
-    <Stack>
-      <Text>{message}: {count}</Text>
-      <Button label="Do Both" onClick={() => { setCount(count + 1); setMessage('incremented'); }} />
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'multi.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Multi-action diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Link with navigation
-  // ---------------------------------------------------------------------------
-  describe('Link atom', () => {
-    const source = `
-/**
- * @workflow slug="link-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Link, Text } from '@mindmatrix/react';
-
-export default function LinkDemo() {
-  const [page, setPage] = useState('home');
-
-  return (
-    <Stack sx={{ gap: 8 }}>
-      <Link to="/about" label="About" />
-      <Link to="/settings" label="Settings" />
-      <Text>Current: {page}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'link.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Link diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Nested conditionals: Show inside Show
-  // ---------------------------------------------------------------------------
-  describe('nested Show conditionals', () => {
-    const source = `
-/**
- * @workflow slug="nested-cond" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text, Show, Button } from '@mindmatrix/react';
-
-export default function NestedCond() {
-  const [loggedIn, setLoggedIn] = useState(false);
-  const [isAdmin, setIsAdmin] = useState(false);
-
-  return (
-    <Stack>
-      <Show when={loggedIn}>
-        <Text>Welcome!</Text>
-        <Show when={isAdmin}>
-          <Text>Admin Panel</Text>
-        </Show>
-      </Show>
-      <Show when={!loggedIn}>
-        <Text>Please log in</Text>
-      </Show>
-      <Button label="Toggle" onClick={() => setLoggedIn(!loggedIn)} />
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'nested.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Nested cond diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // useQuery data hook
-  // ---------------------------------------------------------------------------
-  describe('useQuery data hook', () => {
-    const source = `
-/**
- * @workflow slug="query-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useQuery, Stack, Text } from '@mindmatrix/react';
-
-export default function QueryDemo() {
-  const [search, setSearch] = useState('');
-  const { data: items } = useQuery('items');
-
-  return (
-    <Stack>
-      <Text>Search: {search}</Text>
-      <Text>Results: {items}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'query.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Query diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // DataGrid atom
-  // ---------------------------------------------------------------------------
-  describe('DataGrid atom', () => {
-    const source = `
-/**
- * @workflow slug="grid-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, DataGrid, Text } from '@mindmatrix/react';
-
-export default function GridDemo() {
-  const [page, setPage] = useState(1);
-
-  return (
-    <Stack>
-      <Text>Page: {page}</Text>
-      <DataGrid source="orders" columns={["id", "name", "status"]} pageSize={10} />
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'datagrid.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('DataGrid diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Multiple field types: boolean, number, select
-  // ---------------------------------------------------------------------------
-  describe('diverse field types', () => {
-    const source = `
-/**
- * @workflow slug="field-types" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text } from '@mindmatrix/react';
-
-export default function FieldTypes() {
-  const [name, setName] = useState('');
-  const [age, setAge] = useState(0);
-  const [active, setActive] = useState(true);
-  const [tags, setTags] = useState<string[]>([]);
-
-  return (
-    <Stack>
-      <Text>Name: {name}</Text>
-      <Text>Age: {age}</Text>
-      <Text>Active: {active}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve all field types', () => {
-      const result = singleFileRoundTrip(source, 'types.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      expect(result.ir1).not.toBeNull();
-
-      // Verify field types are preserved
-      const fieldNames = result.ir1!.fields.map(f => f.name);
-      expect(fieldNames).toContain('name');
-      expect(fieldNames).toContain('age');
-      expect(fieldNames).toContain('active');
-      expect(fieldNames).toContain('tags');
-
-      const nameField = result.ir1!.fields.find(f => f.name === 'name');
-      const ageField = result.ir1!.fields.find(f => f.name === 'age');
-      const activeField = result.ir1!.fields.find(f => f.name === 'active');
-      const tagsField = result.ir1!.fields.find(f => f.name === 'tags');
-      expect(nameField!.type).toBe('text');
-      expect(ageField!.type).toBe('number');
-      expect(activeField!.type).toBe('boolean');
-      expect(tagsField!.type).toBe('multi_select');
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'types.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Field types diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Nullable field types: useState<T | null>
-  // ---------------------------------------------------------------------------
-  describe('nullable field types', () => {
-    const source = `
-/**
- * @workflow slug="nullable-fields" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text } from '@mindmatrix/react';
-
-export default function NullableFields() {
-  const [name, setName] = useState<string | null>(null);
-  const [count, setCount] = useState<number | null>(null);
-  const [data, setData] = useState<{ key: string } | null>(null);
-
-  return (
-    <Stack>
-      <Text>Name: {name}</Text>
-      <Text>Count: {count}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve nullable field types', () => {
-      const result = singleFileRoundTrip(source, 'nullable.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      expect(result.ir1).not.toBeNull();
-
-      const nameField = result.ir1!.fields.find(f => f.name === 'name');
-      const countField = result.ir1!.fields.find(f => f.name === 'count');
-      const dataField = result.ir1!.fields.find(f => f.name === 'data');
-      expect(nameField!.type).toBe('text');
-      expect(countField!.type).toBe('number');
-      expect(dataField!.type).toBe('json');
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'nullable.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Nullable diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Enum/select field via union type
-  // ---------------------------------------------------------------------------
-  describe('enum/select field via union type', () => {
-    const source = `
-/**
- * @workflow slug="enum-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Text } from '@mindmatrix/react';
-
-export default function EnumDemo() {
-  const [status, setStatus] = useState<"active" | "inactive" | "pending">('active');
-
-  return (
-    <Stack>
-      <Text>Status: {status}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve select field with options', () => {
-      const result = singleFileRoundTrip(source, 'enum.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      expect(result.ir1).not.toBeNull();
-
-      const statusField = result.ir1!.fields.find(f => f.name === 'status');
-      expect(statusField!.type).toBe('select');
-      // Options should be preserved
-      const options = (statusField as any)?.validation?.options;
-      expect(options).toEqual(['active', 'inactive', 'pending']);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'enum.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Enum diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Markdown and ScrollArea atoms
-  // ---------------------------------------------------------------------------
-  describe('Markdown and ScrollArea atoms', () => {
-    const source = `
-/**
- * @workflow slug="markdown-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Markdown, ScrollArea, Text } from '@mindmatrix/react';
-
-export default function MarkdownDemo() {
-  const [content, setContent] = useState('# Hello');
-
-  return (
-    <Stack>
-      <ScrollArea sx={{ maxHeight: 300 }}>
-        <Markdown content={content} />
-      </ScrollArea>
-      <Text>Characters: {content}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'markdown.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Markdown diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Multiple transitions with auto-fire
-  // ---------------------------------------------------------------------------
-  describe('auto transitions', () => {
-    const source = `
-/**
- * @workflow slug="auto-trans" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useTransition, Stack, Text } from '@mindmatrix/react';
-
-export default function AutoTrans() {
-  const [phase, setPhase] = useState('init');
-
-  useTransition('start', { from: 'init', to: 'processing', auto: true });
-  useTransition('finish', { from: 'processing', to: 'done' });
-
-  return (
-    <Stack>
-      <Text>Phase: {phase}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should preserve auto flag on transitions', () => {
-      const result = singleFileRoundTrip(source, 'auto.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      expect(result.ir1).not.toBeNull();
-
-      const startTrans = result.ir1!.transitions.find(t => t.name === 'start');
-      expect(startTrans).toBeDefined();
-      expect(startTrans!.auto).toBe(true);
-    });
-
-    it('should stabilize source on second pass', () => {
-      const result = singleFileRoundTrip(source, 'auto.workflow.tsx');
-      if (!result.sourceStabilized) {
-        console.log('Auto diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // useWhileIn (during state)
-  // ---------------------------------------------------------------------------
-  describe('useWhileIn state effect', () => {
-    const source = `
-/**
- * @workflow slug="while-in" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { useWhileIn, useTransition, Stack, Text } from '@mindmatrix/react';
-
-export default function WhileIn() {
-  const [count, setCount] = useState(0);
-
-  useWhileIn('active', () => {
-    setCount(count + 1);
-  });
-
-  useTransition('activate', { from: 'idle', to: 'active' });
-
-  return (
-    <Stack>
-      <Text>Count: {count}</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'whilein.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('WhileIn diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // defineModel format (model file round-trip)
-  // ---------------------------------------------------------------------------
-  describe('defineModel format', () => {
-    it('should round-trip a defineModel file', () => {
-      const modelSource = `
-import { defineModel } from "@mindmatrix/react";
-
-export interface OrderFields {
-  amount: number;
-  customer: string;
-  status?: string;
-}
-
-export default defineModel({
-  slug: 'order',
-  version: '1.0.0',
-  category: 'data',
-  fields: {
-    amount: { type: 'number', required: true },
-    customer: { type: 'string', required: true },
-    status: { type: 'string' },
-  },
-  states: {
-    draft: { type: 'initial' },
-    submitted: {},
-    approved: {},
-  },
-  transitions: {
-    submit: { from: 'draft', to: 'submitted' },
-    approve: { from: 'submitted', to: 'approved' },
-  },
-});
-`;
-
-      const files = { 'models/order.ts': modelSource };
-      const r1 = compileProject(files);
-      expect(r1.errors.filter(e => e.severity === 'error')).toHaveLength(0);
-
-      // Verify fields were extracted
-      expect(r1.ir.fields.length).toBeGreaterThanOrEqual(3);
-      const amountField = r1.ir.fields.find(f => f.name === 'amount');
-      expect(amountField).toBeDefined();
-      expect(amountField!.required).toBe(true);
-
-      // Verify states were extracted
-      expect(r1.ir.states.length).toBeGreaterThanOrEqual(3);
-      const draftState = r1.ir.states.find(s => s.name === 'draft');
-      expect(draftState).toBeDefined();
-      expect(draftState!.type).toBe('START');
-
-      // Verify transitions
-      expect(r1.ir.transitions.length).toBeGreaterThanOrEqual(2);
-    });
-  });
-
-  // ---------------------------------------------------------------------------
-  // Slot atom (composition point)
-  // ---------------------------------------------------------------------------
-  describe('Slot atom', () => {
-    const source = `
-/**
- * @workflow slug="slot-demo" version="1.0.0" category="workflow"
- */
-import { useState } from 'react';
-import { Stack, Slot, Text } from '@mindmatrix/react';
-
-export default function SlotDemo() {
-  const [label, setLabel] = useState('content');
-
-  return (
-    <Stack>
-      <Text>Header</Text>
-      <Slot name="main" />
-      <Text>Footer</Text>
-    </Stack>
-  );
-}
-`;
-
-    it('should compile and stabilize', () => {
-      const result = singleFileRoundTrip(source, 'slot.workflow.tsx');
-      expect(result.compileSuccess).toBe(true);
-      if (!result.sourceStabilized) {
-        console.log('Slot diff:\n' + result.sourceDiff);
-      }
-      expect(result.sourceStabilized).toBe(true);
-    });
-  });
-});
-
-// =============================================================================
-// Existing example round-trip tests
-// =============================================================================
-
-describe('round-trip: existing examples', () => {
-  const EXAMPLES_DIR = path.resolve(__dirname, '../../../examples');
-
-  it('should round-trip counter.workflow.tsx', () => {
-    const source = fs.readFileSync(path.join(EXAMPLES_DIR, 'counter.workflow.tsx'), 'utf-8');
-    const result = singleFileRoundTrip(source, 'counter.workflow.tsx');
-    expect(result.compileSuccess).toBe(true);
-    expect(result.ir1).not.toBeNull();
-    expect(result.ir2).not.toBeNull();
-
-    const errors = result.irDiffs.filter(d => d.severity === 'error');
-    if (errors.length > 0) {
-      console.log('Counter IR errors:', JSON.stringify(errors, null, 2));
-    }
-    // IR should be semantically equivalent
-    expect(errors).toEqual([]);
-
-    // Source should stabilize
-    if (!result.sourceStabilized) {
-      console.log('Counter source diff:\n' + result.sourceDiff);
-    }
-    expect(result.sourceStabilized).toBe(true);
-  });
-
-  it('should round-trip todo-app.workflow.tsx', () => {
-    const source = fs.readFileSync(path.join(EXAMPLES_DIR, 'todo-app.workflow.tsx'), 'utf-8');
-    const result = singleFileRoundTrip(source, 'todo-app.workflow.tsx');
-    expect(result.compileSuccess).toBe(true);
-
-    const errors = result.irDiffs.filter(d => d.severity === 'error');
-    if (errors.length > 0) {
-      console.log('Todo IR errors:', JSON.stringify(errors, null, 2));
-    }
-
-    if (!result.sourceStabilized) {
-      console.log('Todo source diff:\n' + result.sourceDiff);
-    }
-    expect(result.sourceStabilized).toBe(true);
-  });
-
-  it('should round-trip dashboard.workflow.tsx', () => {
-    const source = fs.readFileSync(path.join(EXAMPLES_DIR, 'dashboard.workflow.tsx'), 'utf-8');
-    const result = singleFileRoundTrip(source, 'dashboard.workflow.tsx');
-    expect(result.compileSuccess).toBe(true);
-
-    const errors = result.irDiffs.filter(d => d.severity === 'error');
-    if (errors.length > 0) {
-      console.log('Dashboard IR errors:', JSON.stringify(errors, null, 2));
-    }
-
-    if (!result.sourceStabilized) {
-      console.log('Dashboard source diff:\n' + result.sourceDiff);
-    }
-    expect(result.sourceStabilized).toBe(true);
-  });
-
-  it('should round-trip authentication multi-file project', () => {
-    const fixtureDir = path.join(EXAMPLES_DIR, 'authentication');
-    if (!fs.existsSync(fixtureDir)) {
-      console.log('Skipping: authentication example not found');
-      return;
-    }
-
-    const files = readProjectFiles(fixtureDir);
-    const compile1 = compileProject(files);
-    expect(compile1.errors.filter(e => e.severity === 'error')).toHaveLength(0);
-
-    // Decompile
-    const decompInput: DecompilerInput = {
-      ...compile1.ir,
-      childDefinitions: compile1.childDefinitions,
-      experience: compile1.ir.experience as any,
-    };
-    const decomp1 = decompileProjectEnhanced(decompInput);
-    expect(decomp1.files.length).toBeGreaterThan(0);
-
-    // Re-compile
-    const recompileFiles: Record<string, string> = {};
-    for (const file of decomp1.files) {
-      recompileFiles[file.path] = file.content;
-    }
-    const compile2 = compileProject(recompileFiles);
-
-    // Compare IR
-    const diffs = compareIRSemantic(compile1.ir, compile2.ir);
-    const errors = diffs.filter(d => d.severity === 'error');
-    if (errors.length > 0) {
-      console.log('Auth IR errors:', JSON.stringify(errors, null, 2));
-    }
-
-    // Re-decompile
-    const decompInput2: DecompilerInput = {
-      ...compile2.ir,
-      childDefinitions: compile2.childDefinitions,
-      experience: compile2.ir.experience as any,
-    };
-    const decomp2 = decompileProjectEnhanced(decompInput2);
-
-    // Check stabilization
-    const files1: Record<string, string> = {};
-    for (const f of decomp1.files) files1[f.path] = f.content;
-    const files2: Record<string, string> = {};
-    for (const f of decomp2.files) files2[f.path] = f.content;
-
-    const sourceDiffs = compareSourceFiles(files1, files2);
-    if (sourceDiffs.length > 0) {
-      console.log('Auth source diffs:');
-      for (const d of sourceDiffs) {
-        console.log(`  ${d.file}: ${d.type}`);
-        if (d.details) console.log(d.details);
-      }
-    }
-    expect(sourceDiffs).toEqual([]);
-  });
-});
-
-// =============================================================================
-// Comprehensive diagnostics test (always runs, reports everything)
-// =============================================================================
-
-describe('round-trip: diagnostic summary', () => {
-  it('should produce a full diagnostic report for all fixtures', () => {
-    const fixtures = ['simple-crud', 'full-workflow', 'data-heavy', 'view-heavy'];
-    const reports: RoundTripReport[] = [];
-
-    for (const fixture of fixtures) {
-      const report = performRoundTrip(fixture);
-      reports.push(report);
-    }
-
-    // Print summary
-    console.log('\n============================================');
-    console.log('  ROUND-TRIP DIAGNOSTIC SUMMARY');
-    console.log('============================================\n');
-
-    for (const report of reports) {
-      const irErrors = report.irDiffs.filter(d => d.severity === 'error').length;
-      const irWarnings = report.irDiffs.filter(d => d.severity === 'warning').length;
-
-      console.log(`${report.fixtureName}:`);
-      console.log(`  Compile:       ${report.compileSuccess ? 'PASS' : 'FAIL'}`);
-      console.log(`  Decompile:     ${report.decompileSuccess ? 'PASS' : 'FAIL'}`);
-      console.log(`  Re-compile:    ${report.recompileSuccess ? 'PASS' : 'FAIL'}`);
-      console.log(`  IR match:      ${report.irMatch ? 'PASS' : `FAIL (${irErrors} errors, ${irWarnings} warnings)`}`);
-      console.log(`  Source stable:  ${report.sourceStabilized ? 'PASS' : `FAIL (${report.sourceDiffs.length} diffs)`}`);
-      console.log(`  Output files:  ${Object.keys(report.outputFiles1).join(', ')}`);
-
-      if (!report.irMatch) {
-        for (const diff of report.irDiffs.filter(d => d.severity === 'error')) {
-          console.log(`    IR ERROR: ${diff.path} — expected: ${JSON.stringify(diff.expected)}, got: ${JSON.stringify(diff.actual)}`);
-        }
-      }
-
-      if (!report.sourceStabilized) {
-        for (const diff of report.sourceDiffs) {
-          console.log(`    SOURCE: ${diff.file} — ${diff.type}`);
-          if (diff.details) {
-            for (const line of diff.details.split('\n').slice(0, 5)) {
-              console.log(`      ${line}`);
-            }
-          }
-        }
-      }
-
-      console.log('');
-    }
-
-    // At minimum, all fixtures should compile
-    for (const report of reports) {
-      expect(report.compileSuccess).toBe(true);
-    }
-  });
-});
-
-// =============================================================================
-// Real Blueprint Round-Trip Tests
-// =============================================================================
-
-const BLUEPRINTS_DIR = path.resolve(__dirname, '../../../../');
-
-/** Read project files from a real blueprint package. */
-function readBlueprintFiles(blueprintName: string): Record<string, string> {
-  const rootDir = path.join(BLUEPRINTS_DIR, blueprintName);
-  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;
-}
-
-/**
- * Performs a full bidirectional round-trip for a real blueprint package.
- * Same 7-step pipeline as performRoundTrip but reads from packages/ instead of fixtures/.
- */
-function performBlueprintRoundTrip(blueprintName: string): RoundTripReport {
-  const report: RoundTripReport = {
-    fixtureName: blueprintName,
-    compileSuccess: false,
-    compileErrors: [],
-    ir1: null,
-    childDefs1: [],
-    decompileSuccess: false,
-    outputFiles1: {},
-    recompileSuccess: false,
-    recompileErrors: [],
-    ir2: null,
-    irDiffs: [],
-    irMatch: false,
-    outputFiles2: {},
-    sourceStabilized: false,
-    sourceDiffs: [],
-  };
-
-  // Step 1: Read blueprint source files
-  const sourceFiles = readBlueprintFiles(blueprintName);
-  if (Object.keys(sourceFiles).length === 0) {
-    report.compileErrors.push('No source files found');
-    return report;
-  }
-
-  // Step 2: Compile (pass 1)
-  let result1: ReturnType<typeof compileProject>;
-  try {
-    result1 = compileProject(sourceFiles);
-    report.compileSuccess = true;
-    report.compileErrors = result1.errors.map(e => `${e.file}: ${e.message}`);
-    report.ir1 = result1.ir;
-    report.childDefs1 = result1.childDefinitions;
-  } catch (err) {
-    report.compileErrors = [(err as Error).message];
-    return report;
-  }
-
-  // Step 3: Decompile (pass 1)
-  try {
-    const decompInput: DecompilerInput = {
-      ...result1.ir,
-      childDefinitions: result1.childDefinitions,
-      experience: result1.ir.experience as any,
-    };
-    const decompResult = decompileProjectEnhanced(decompInput);
-    report.decompileSuccess = true;
-
-    for (const file of decompResult.files) {
-      report.outputFiles1[file.path] = file.content;
-    }
-  } catch (err) {
-    report.compileErrors.push(`Decompile failed: ${(err as Error).message}`);
-    return report;
-  }
-
-  // Step 4: Re-compile (pass 2)
-  let result2: ReturnType<typeof compileProject>;
-  try {
-    result2 = compileProject(report.outputFiles1);
-    report.recompileSuccess = true;
-    report.recompileErrors = result2.errors.map(e => `${e.file}: ${e.message}`);
-    report.ir2 = result2.ir;
-  } catch (err) {
-    report.recompileErrors = [(err as Error).message];
-    return report;
-  }
-
-  // Step 5: Compare IR1 vs IR2
-  report.irDiffs = compareIRSemantic(result1.ir, result2.ir);
-  report.irMatch = report.irDiffs.filter(d => d.severity === 'error').length === 0;
-
-  // Step 6: Re-decompile (pass 2)
-  try {
-    const decompInput2: DecompilerInput = {
-      ...result2.ir,
-      childDefinitions: result2.childDefinitions,
-      experience: result2.ir.experience as any,
-    };
-    const decompResult2 = decompileProjectEnhanced(decompInput2);
-
-    for (const file of decompResult2.files) {
-      report.outputFiles2[file.path] = file.content;
-    }
-  } catch (err) {
-    report.recompileErrors.push(`Re-decompile failed: ${(err as Error).message}`);
-    return report;
-  }
-
-  // Step 7: Compare outputFiles1 vs outputFiles2
-  report.sourceDiffs = compareSourceFiles(report.outputFiles1, report.outputFiles2);
-  report.sourceStabilized = report.sourceDiffs.length === 0;
-
-  return report;
-}
-
-// ---------------------------------------------------------------------------
-// blueprint-auth
-// ---------------------------------------------------------------------------
-
-describe('round-trip: blueprint-auth', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performBlueprintRoundTrip('blueprint-auth');
-  });
-
-  it('should compile successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve transitions through round trip', () => {
-    const transDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('transitions') && d.severity === 'error',
-    );
-    if (transDiffs.length > 0) {
-      console.log('Transition diffs:', JSON.stringify(transDiffs, null, 2));
-    }
-    expect(transDiffs).toEqual([]);
-  });
-
-  it('should preserve states with effects through round trip', () => {
-    const stateDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('states') && d.severity === 'error',
-    );
-    if (stateDiffs.length > 0) {
-      console.log('State diffs:', JSON.stringify(stateDiffs, null, 2));
-    }
-    expect(stateDiffs).toEqual([]);
-  });
-
-  it('should stabilize source on second pass', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// ---------------------------------------------------------------------------
-// blueprint-employee-salary-tracking
-// ---------------------------------------------------------------------------
-
-describe('round-trip: blueprint-employee-salary-tracking', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performBlueprintRoundTrip('blueprint-employee-salary-tracking');
-  });
-
-  it('should compile successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve transitions through round trip', () => {
-    const transDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('transitions') && d.severity === 'error',
-    );
-    if (transDiffs.length > 0) {
-      console.log('Transition diffs:', JSON.stringify(transDiffs, null, 2));
-    }
-    expect(transDiffs).toEqual([]);
-  });
-
-  it('should preserve states with effects through round trip', () => {
-    const stateDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('states') && d.severity === 'error',
-    );
-    if (stateDiffs.length > 0) {
-      console.log('State diffs:', JSON.stringify(stateDiffs, null, 2));
-    }
-    expect(stateDiffs).toEqual([]);
-  });
-
-  it('should stabilize source on second pass', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// ---------------------------------------------------------------------------
-// blueprint-glass-console
-// ---------------------------------------------------------------------------
-
-describe('round-trip: blueprint-glass-console', () => {
-  let report: RoundTripReport;
-
-  beforeAll(() => {
-    report = performBlueprintRoundTrip('blueprint-glass-console');
-  });
-
-  it('should compile successfully', () => {
-    expect(report.compileSuccess).toBe(true);
-  });
-
-  it('should decompile successfully', () => {
-    expect(report.decompileSuccess).toBe(true);
-  });
-
-  it('should re-compile decompiled output successfully', () => {
-    expect(report.recompileSuccess).toBe(true);
-    if (report.recompileErrors.length > 0) {
-      console.log('Re-compile errors:', report.recompileErrors);
-    }
-  });
-
-  it('should preserve fields through round trip', () => {
-    const fieldDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('fields') && d.severity === 'error',
-    );
-    if (fieldDiffs.length > 0) {
-      console.log('Field diffs:', JSON.stringify(fieldDiffs, null, 2));
-    }
-    expect(fieldDiffs).toEqual([]);
-  });
-
-  it('should preserve transitions through round trip', () => {
-    const transDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('transitions') && d.severity === 'error',
-    );
-    if (transDiffs.length > 0) {
-      console.log('Transition diffs:', JSON.stringify(transDiffs, null, 2));
-    }
-    expect(transDiffs).toEqual([]);
-  });
-
-  it('should preserve states with effects through round trip', () => {
-    const stateDiffs = report.irDiffs.filter(
-      d => d.path.startsWith('states') && d.severity === 'error',
-    );
-    if (stateDiffs.length > 0) {
-      console.log('State diffs:', JSON.stringify(stateDiffs, null, 2));
-    }
-    expect(stateDiffs).toEqual([]);
-  });
-
-  it('should stabilize source on second pass', () => {
-    if (!report.sourceStabilized) {
-      console.log('Source stabilization failures:');
-      for (const diff of report.sourceDiffs) {
-        console.log(`  ${diff.file}: ${diff.type}`);
-        if (diff.details) {
-          console.log(diff.details);
-        }
-      }
-    }
-    expect(report.sourceStabilized).toBe(true);
-  });
-});
-
-// ---------------------------------------------------------------------------
-// Real blueprint diagnostic summary
-// ---------------------------------------------------------------------------
-
-describe('round-trip: real blueprint diagnostic summary', () => {
-  it('should produce a full diagnostic report for all real blueprints', () => {
-    const blueprints = [
-      'blueprint-auth',
-      'blueprint-employee-salary-tracking',
-      'blueprint-glass-console',
-    ];
-    const reports: RoundTripReport[] = [];
-
-    for (const bp of blueprints) {
-      reports.push(performBlueprintRoundTrip(bp));
-    }
-
-    console.log('\n============================================');
-    console.log('  REAL BLUEPRINT ROUND-TRIP DIAGNOSTIC');
-    console.log('============================================\n');
-
-    for (const report of reports) {
-      const irErrors = report.irDiffs.filter(d => d.severity === 'error').length;
-      const irWarnings = report.irDiffs.filter(d => d.severity === 'warning').length;
-
-      console.log(`${report.fixtureName}:`);
-      console.log(`  Compile:       ${report.compileSuccess ? 'PASS' : 'FAIL'}`);
-      console.log(`  Decompile:     ${report.decompileSuccess ? 'PASS' : 'FAIL'}`);
-      console.log(`  Re-compile:    ${report.recompileSuccess ? 'PASS' : 'FAIL'}`);
-      console.log(`  IR match:      ${report.irMatch ? 'PASS' : `FAIL (${irErrors} errors, ${irWarnings} warnings)`}`);
-      console.log(`  Source stable:  ${report.sourceStabilized ? 'PASS' : `FAIL (${report.sourceDiffs.length} diffs)`}`);
-      console.log(`  Output files:  ${Object.keys(report.outputFiles1).join(', ')}`);
-
-      if (!report.irMatch) {
-        for (const diff of report.irDiffs.filter(d => d.severity === 'error')) {
-          console.log(`    IR ERROR: ${diff.path} — expected: ${JSON.stringify(diff.expected)}, got: ${JSON.stringify(diff.actual)}`);
-        }
-      }
-
-      if (!report.sourceStabilized) {
-        for (const diff of report.sourceDiffs) {
-          console.log(`    SOURCE: ${diff.file} — ${diff.type}`);
-          if (diff.details) {
-            for (const line of diff.details.split('\n').slice(0, 5)) {
-              console.log(`      ${line}`);
-            }
-          }
-        }
-      }
-
-      console.log('');
-    }
-
-    // All blueprints should compile
-    for (const report of reports) {
-      expect(report.compileSuccess).toBe(true);
-    }
-  });
-});