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

package/src/__tests__/project-decompiler.test.ts

@@ -1,343 +0,0 @@
-/**
- * Project Decompiler Tests — verifies enhanced multi-file decompilation
- * and round-trip fidelity for complex workflow definitions.
- */
-
-import { describe, it, expect } from 'vitest';
-import { decompileProjectEnhanced } from '../decompiler/project-decompiler';
-import { determineSplitStrategy } from '../decompiler/split-strategy';
-import { extractConfigData, generateMmConfig } from '../decompiler/config-generator';
-import { decompileToFileMap } from '../decompiler/workspace-hydrator';
-import type { DecompilerInput } from '../decompiler';
-import type { IRWorkflowDefinition } from '@mindmatrix/player-core';
-
-// =============================================================================
-// Test Helpers
-// =============================================================================
-
-function makeDef(overrides: Partial<DecompilerInput> = {}): DecompilerInput {
-  return {
-    slug: 'test-workflow',
-    name: 'Test Workflow',
-    version: '1.0.0',
-    category: 'workflow',
-    fields: [],
-    states: [],
-    transitions: [],
-    roles: [],
-    tags: [],
-    metadata: {},
-    ...overrides,
-  };
-}
-
-function makeFields(count: number) {
-  return Array.from({ length: count }, (_, i) => ({
-    name: `field_${i}`,
-    type: 'text' as const,
-    required: false,
-    default_value: '',
-  }));
-}
-
-function makeStates(count: number) {
-  return Array.from({ length: count }, (_, i) => ({
-    name: `state_${i}`,
-    type: i === 0 ? 'START' as const : 'REGULAR' as const,
-    description: '',
-    on_enter: [],
-    on_exit: [],
-    during: [],
-  }));
-}
-
-// =============================================================================
-// SplitStrategy Tests
-// =============================================================================
-
-describe('SplitStrategy', () => {
-  it('should classify small definitions as single-file', () => {
-    const decision = determineSplitStrategy(makeDef({
-      fields: makeFields(3),
-      states: makeStates(1),
-    }));
-    expect(decision.tier).toBe('single');
-    expect(decision.emitModels).toBe(false);
-    expect(decision.emitConfig).toBe(false);
-  });
-
-  it('should classify medium definitions with model file', () => {
-    const decision = determineSplitStrategy(makeDef({
-      fields: makeFields(10),
-      states: makeStates(3),
-    }));
-    expect(decision.tier).toBe('medium');
-    expect(decision.emitModels).toBe(true);
-    expect(decision.emitConfig).toBe(true);
-    expect(decision.emitPages).toBe(false);
-  });
-
-  it('should classify large definitions as full project', () => {
-    const decision = determineSplitStrategy(makeDef({
-      fields: makeFields(20),
-      states: makeStates(8),
-    }));
-    expect(decision.tier).toBe('large');
-    expect(decision.emitModels).toBe(true);
-    expect(decision.emitPages).toBe(false); // no experience
-    expect(decision.emitActions).toBe(true);
-    expect(decision.emitConfig).toBe(true);
-  });
-
-  it('should always use full project for blueprint category', () => {
-    const decision = determineSplitStrategy(makeDef({
-      category: 'blueprint',
-      fields: makeFields(2),
-      states: makeStates(1),
-    }));
-    expect(decision.tier).toBe('large');
-  });
-});
-
-// =============================================================================
-// ConfigGenerator Tests
-// =============================================================================
-
-describe('ConfigGenerator', () => {
-  it('should generate valid mm.config.ts content', () => {
-    const config = extractConfigData(
-      makeDef({ roles: [{ name: 'admin', permissions: ['read', 'write'] }] }),
-      ['models/test.ts'],
-      ['main.workflow.tsx'],
-      ['actions/test.server.ts'],
-    );
-    expect(config.slug).toBe('test-workflow');
-    expect(config.roles).toEqual(['admin']);
-
-    const content = generateMmConfig(config);
-    expect(content).toContain("defineWorkspace");
-    expect(content).toContain("slug: 'test-workflow'");
-    expect(content).toContain("models/test.ts");
-    expect(content).toContain("main.workflow.tsx");
-    expect(content).toContain("actions/test.server.ts");
-    expect(content).toContain("'admin'");
-  });
-
-  it('should handle definitions without optional fields', () => {
-    const config = extractConfigData(makeDef(), [], [], []);
-    const content = generateMmConfig(config);
-    expect(content).toContain("defineWorkspace");
-    expect(content).not.toContain("models:");
-    expect(content).not.toContain("actions:");
-  });
-});
-
-// =============================================================================
-// ProjectDecompiler Tests
-// =============================================================================
-
-describe('ProjectDecompiler (enhanced)', () => {
-  it('should produce single file for small definitions', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      fields: makeFields(2),
-    }));
-    expect(result.files.length).toBe(1);
-    expect(result.files[0].path).toBe('main.workflow.tsx');
-    expect(result.splitDecision.tier).toBe('single');
-  });
-
-  it('should produce model + main + config for medium definitions', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      fields: makeFields(8),
-      states: makeStates(3),
-      transitions: [
-        { name: 'advance', from: ['state_0'], to: 'state_1', actions: [], conditions: [] },
-      ],
-    }));
-    expect(result.splitDecision.tier).toBe('medium');
-
-    const paths = result.files.map(f => f.path);
-    expect(paths).toContain('models/test-workflow.ts');
-    expect(paths).toContain('main.workflow.tsx');
-    expect(paths).toContain('mm.config.ts');
-  });
-
-  it('should produce full project for large definitions', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      fields: makeFields(20),
-      states: makeStates(8),
-      transitions: [
-        { name: 'go', from: ['state_0'], to: 'state_1', actions: [], conditions: [] },
-      ],
-    }));
-    expect(result.splitDecision.tier).toBe('large');
-
-    const paths = result.files.map(f => f.path);
-    expect(paths).toContain('models/test-workflow.ts');
-    expect(paths).toContain('main.workflow.tsx');
-    expect(paths).toContain('mm.config.ts');
-  });
-
-  it('should generate model file with defineModel() and companion interface', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      fields: [
-        { name: 'title', type: 'text', required: true, label: 'Title' },
-        { name: 'amount', type: 'number', required: false },
-      ],
-      states: [
-        { name: 'draft', type: 'START', description: '', on_enter: [], on_exit: [], during: [] },
-        { name: 'active', type: 'REGULAR', description: '', on_enter: [], on_exit: [], during: [] },
-      ],
-      transitions: [
-        { name: 'submit', from: ['draft'], to: 'active', actions: [], conditions: [] },
-      ],
-    }));
-
-    const modelFile = result.files.find(f => f.path.startsWith('models/'));
-    expect(modelFile).toBeDefined();
-    // defineModel() format
-    expect(modelFile!.content).toContain("import { defineModel } from '@mindmatrix/react';");
-    expect(modelFile!.content).toContain('export default defineModel({');
-    expect(modelFile!.content).toContain("slug: 'test-workflow'");
-    // Companion interface
-    expect(modelFile!.content).toContain('export interface TestWorkflowFields');
-    expect(modelFile!.content).toContain('title: string');
-    expect(modelFile!.content).toContain('amount?: number');
-    // States in defineModel format
-    expect(modelFile!.content).toContain('states: {');
-    expect(modelFile!.content).toContain("draft: { type: 'initial' }");
-    expect(modelFile!.content).toContain('active: {}');
-    // Transitions in defineModel format
-    expect(modelFile!.content).toContain('transitions: {');
-    expect(modelFile!.content).toContain("submit: { from: 'draft', to: 'active' }");
-  });
-
-  it('should generate layout with auth guards for roles', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      fields: makeFields(20),
-      states: makeStates(8),
-      roles: [
-        { name: 'admin', permissions: ['read', 'write', 'delete'] },
-        { name: 'viewer', permissions: ['read'] },
-      ],
-    }));
-
-    const layoutFile = result.files.find(f => f.path === 'app/layout.tsx');
-    expect(layoutFile).toBeDefined();
-    expect(layoutFile!.content).toContain('useRole');
-    expect(layoutFile!.content).toContain("isAdmin");
-    expect(layoutFile!.content).toContain("isViewer");
-    expect(layoutFile!.content).toContain('isAuthorized');
-    expect(layoutFile!.content).toContain('Access denied');
-  });
-
-  it('should generate server action files', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      fields: makeFields(20),
-      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', method: 'POST' },
-        }],
-        on_exit: [],
-        during: [],
-      }, ...makeStates(7)],
-      transitions: [],
-    }));
-
-    const actionFile = result.files.find(f => f.path.startsWith('actions/'));
-    expect(actionFile).toBeDefined();
-    expect(actionFile!.content).toContain('TransitionContext');
-    expect(actionFile!.content).toContain('fetch');
-    expect(actionFile!.content).toContain('https://api.example.com');
-  });
-
-  it('should handle child definitions (blueprint)', () => {
-    const result = decompileProjectEnhanced(makeDef({
-      category: 'blueprint',
-      childDefinitions: [
-        {
-          slug: 'child-data',
-          name: 'Child Data',
-          version: '1.0.0',
-          category: 'data',
-          fields: [{ name: 'label', type: 'text', required: false }],
-          states: [],
-          transitions: [],
-          roles: [],
-        },
-      ],
-    }));
-
-    const childModel = result.files.find(f => f.path === 'models/child-data.ts');
-    expect(childModel).toBeDefined();
-    expect(childModel!.content).toContain('export interface ChildData');
-
-    const childEntry = result.files.find(f => f.path === 'child-data.workflow.tsx');
-    expect(childEntry).toBeDefined();
-  });
-});
-
-// =============================================================================
-// FileMap (dry-run) Tests
-// =============================================================================
-
-describe('decompileToFileMap', () => {
-  it('should return a map of all generated files', () => {
-    const fileMap = decompileToFileMap(makeDef({
-      fields: makeFields(10),
-      states: makeStates(3),
-    }));
-
-    expect(fileMap.size).toBeGreaterThanOrEqual(2); // main + model at minimum
-    expect(fileMap.has('main.workflow.tsx')).toBe(true);
-    expect(fileMap.has('models/test-workflow.ts')).toBe(true);
-  });
-});
-
-// =============================================================================
-// Round-Trip: definition -> decompile -> files -> content check
-// =============================================================================
-
-describe('Round-trip content integrity', () => {
-  it('should produce compilable main.workflow.tsx', () => {
-    const def = makeDef({
-      slug: 'invoice-flow',
-      fields: [
-        { name: 'amount', type: 'number', required: true, default_value: 0 },
-        { name: 'vendor', type: 'text', required: false, default_value: '' },
-      ],
-      states: [
-        { name: 'draft', type: 'START', description: '', on_enter: [], on_exit: [], during: [] },
-        { name: 'submitted', type: 'REGULAR', description: '', on_enter: [], on_exit: [], during: [] },
-      ],
-      transitions: [
-        { name: 'submit', from: ['draft'], to: 'submitted', actions: [], conditions: [] },
-      ],
-      experience: {
-        id: 'root',
-        component: 'Stack',
-        config: { gap: 16 },
-        children: [
-          { id: 'h1', component: 'Heading', config: { value: 'Invoice' } },
-          { id: 'btn', component: 'Button', config: { label: 'Submit' } },
-        ],
-      },
-    });
-
-    const result = decompileProjectEnhanced(def);
-    const mainFile = result.files.find(f => f.path === 'main.workflow.tsx');
-    expect(mainFile).toBeDefined();
-
-    // Main file should contain workflow hooks
-    expect(mainFile!.content).toContain('useState');
-    expect(mainFile!.content).toContain('useTransition');
-    expect(mainFile!.content).toContain('<Stack');
-    expect(mainFile!.content).toContain('<Button');
-  });
-});

package/src/__tests__/query-compilation.test.ts

@@ -1,145 +0,0 @@
-/**
- * Query/Mutation Compilation Tests — validates useQuery/useMutation extraction by the compiler.
- */
-
-import { describe, it, expect } from 'vitest';
-import { transformSync } from '@babel/core';
-import babelPlugin from '../babel';
-import type { IRWorkflowDefinition } from '@mindmatrix/player-core';
-
-function compile(code: string, filename = 'test.workflow.tsx'): IRWorkflowDefinition {
-  const result = transformSync(code, {
-    filename,
-    plugins: [[babelPlugin]],
-    parserOpts: { plugins: ['typescript', 'jsx'], attachComment: true },
-  });
-  return (result as any)?.metadata?.mindmatrixIR;
-}
-
-describe('useQuery Compilation', () => {
-  it('should extract useQuery as a data source', () => {
-    const ir = compile(`
-      import { useQuery } from '@mindmatrix/react';
-      export function Dashboard() {
-        const { data: channels } = useQuery('channel');
-        return <div />;
-      }
-    `);
-
-    expect(ir.metadata?.dataSources).toBeDefined();
-    const sources = (ir.metadata as any).dataSources;
-    expect(sources).toHaveLength(1);
-    expect(sources[0].type).toBe('workflow');
-    expect(sources[0].slug).toBe('channel');
-    expect(sources[0].name).toBe('channel');
-    expect(sources[0].query).toBe('list');
-  });
-
-  it('should extract useQuery with limit option', () => {
-    const ir = compile(`
-      import { useQuery } from '@mindmatrix/react';
-      export function Dashboard() {
-        const { data } = useQuery('channel', { limit: 50 });
-        return <div />;
-      }
-    `);
-
-    const sources = (ir.metadata as any).dataSources;
-    expect(sources[0].pageSize).toBe(50);
-    expect(sources[0].paginated).toBe(true);
-  });
-
-  it('should extract useQuery with search option', () => {
-    const ir = compile(`
-      import { useQuery } from '@mindmatrix/react';
-      export function Dashboard() {
-        const { data } = useQuery('channel', { search: 'hello', searchFields: ['name', 'description'] });
-        return <div />;
-      }
-    `);
-
-    const sources = (ir.metadata as any).dataSources;
-    expect(sources[0].search).toBe('hello');
-    expect(sources[0].searchFields).toEqual(['name', 'description']);
-  });
-
-  it('should extract useQuery with orderBy option', () => {
-    const ir = compile(`
-      import { useQuery } from '@mindmatrix/react';
-      export function Dashboard() {
-        const { data } = useQuery('channel', { orderBy: 'created_at' });
-        return <div />;
-      }
-    `);
-
-    const sources = (ir.metadata as any).dataSources;
-    expect(sources[0].sort).toBe('created_at');
-  });
-
-  it('should extract multiple useQuery calls', () => {
-    const ir = compile(`
-      import { useQuery } from '@mindmatrix/react';
-      export function Dashboard() {
-        const { data: channels } = useQuery('channel');
-        const { data: messages } = useQuery('message');
-        return <div />;
-      }
-    `);
-
-    const sources = (ir.metadata as any).dataSources;
-    expect(sources).toHaveLength(2);
-    expect(sources[0].slug).toBe('channel');
-    expect(sources[1].slug).toBe('message');
-  });
-});
-
-describe('useMutation Compilation', () => {
-  it('should extract useMutation as a mutation target', () => {
-    const ir = compile(`
-      import { useMutation } from '@mindmatrix/react';
-      export function ChannelForm() {
-        const mutation = useMutation('channel');
-        return <div />;
-      }
-    `);
-
-    expect(ir.metadata?.mutationTargets).toBeDefined();
-    const targets = (ir.metadata as any).mutationTargets;
-    expect(targets).toHaveLength(1);
-    expect(targets[0]).toBe('channel');
-  });
-
-  it('should extract multiple useMutation calls', () => {
-    const ir = compile(`
-      import { useMutation } from '@mindmatrix/react';
-      export function ChannelForm() {
-        const channelMutation = useMutation('channel');
-        const messageMutation = useMutation('message');
-        return <div />;
-      }
-    `);
-
-    const targets = (ir.metadata as any).mutationTargets;
-    expect(targets).toHaveLength(2);
-    expect(targets).toContain('channel');
-    expect(targets).toContain('message');
-  });
-
-  it('should coexist with useQuery in the same component', () => {
-    const ir = compile(`
-      import { useQuery, useMutation } from '@mindmatrix/react';
-      export function ChannelDashboard() {
-        const { data: channels } = useQuery('channel');
-        const mutation = useMutation('channel');
-        return <div />;
-      }
-    `);
-
-    const sources = (ir.metadata as any).dataSources;
-    const targets = (ir.metadata as any).mutationTargets;
-    expect(sources).toHaveLength(1);
-    expect(sources[0].slug).toBe('channel');
-    expect(targets).toHaveLength(1);
-    expect(targets[0]).toBe('channel');
-  });
-});

package/src/__tests__/round-trip/PLAN.md

@@ -1,158 +0,0 @@
-# Bidirectional Compiler Verification Suite — Plan
-
-## Purpose
-
-Verify that the MindMatrix React framework compiler is perfectly bidirectional:
-
-```
-Source files → compile → IR → decompile → Source files' → compile → IR' → decompile → Source files''
-```
-
-The key invariant: **Source files' === Source files''** (string-exact equality on the second pass).
-The secondary invariant: **IR deep-equals IR'** (semantic equality on the IR level).
-
-If compile→decompile→compile→decompile does not stabilize, the compiler has a bug.
-
-## What Aspects Need Round-Trip Verification
-
-### 1. Config (mm.config.ts)
-- slug, name, version, category
-- description
-- roles array
-- models/entries/actions lists
-- Blueprint vs Workspace function name
-
-### 2. Fields (useState declarations)
-- Field name extraction
-- Type inference (string, number, boolean, array, Date)
-- Default values (literals, empty strings, 0, false, [])
-- Required vs optional marking
-
-### 3. States (useOnEnter/useOnExit/useWhileIn)
-- State name extraction
-- on_enter action extraction
-- on_exit action extraction
-- during (useWhileIn) interval actions
-- set_field actions within state hooks
-
-### 4. Transitions (useTransition)
-- Transition name
-- from/to states
-- roles restriction
-- requiredFields
-- auto flag
-- Conditions (guard expressions)
-- Actions within transitions
-
-### 5. Experience Tree (JSX return)
-- Component names (Stack, Text, Button, Heading, etc.)
-- Config props (label, value, gap, etc.)
-- sx style objects
-- Bindings (bind="fieldName", value="{$instance.field}")
-- Event handlers (onClick)
-- Conditional rendering (Show when={...})
-- Nested children
-- Router/Route composition
-
-### 6. Data Queries (useQuery/useMutation)
-- Query slug
-- Query config (fields, filter, sort)
-- Mutation registration
-
-### 7. Roles (useRole)
-- Role name declarations
-
-### 8. Events (useOnEvent/useOnChange)
-- Event subscription names
-- Change watcher field names
-- Callback actions
-
-### 9. Server Actions (*.server.ts)
-- Function names and signatures
-- Preserved function bodies
-- Import statements
-
-### 10. Model Files (models/*.ts)
-- Interface declarations with field types
-- States array export
-- Transitions array export
-- fieldOptions export
-
-## Blueprint Sections Covered by Fixtures
-
-| Section | simple-crud | full-workflow | data-heavy | view-heavy |
-|---------|------------|---------------|------------|------------|
-| mm.config.ts | Yes | Yes | Yes | Yes |
-| Fields (basic) | Yes | Yes | Yes | Yes |
-| Fields (all types) | | | Yes | |
-| States | | Yes | Yes | |
-| Transitions | | Yes | Yes | |
-| Experience tree | Yes | Yes | | Yes |
-| Nested JSX | | | | Yes |
-| sx styles | | | | Yes |
-| Bindings | | | | Yes |
-| useQuery | Yes | | | |
-| useRole | | Yes | | |
-| useOnEnter/Exit | | Yes | Yes | |
-| useOnChange | | Yes | | |
-| useOnEvent | | Yes | | |
-| Server actions | | Yes | | |
-| Router/Route | | | | Yes |
-| Show/conditional | | | | Yes |
-| Model file | Yes | Yes | Yes | |
-
-## Canonical Formatting Rules
-
-The decompiler must produce deterministic output. Rules needed:
-
-1. **Import ordering**: Alphabetical by package specifier, then alphabetical by import name
-2. **Field ordering**: Same order as original IR fields array
-3. **State ordering**: Same order as original IR states array
-4. **Transition ordering**: Same order as original IR transitions array
-5. **JSX attribute ordering**: Deterministic (alphabetical or declaration order)
-6. **String quoting**: Single quotes for imports, double quotes for JSX string props
-7. **Trailing commas**: Consistent (present or absent)
-8. **Semicolons**: Always present at end of statements
-9. **Whitespace**: 2-space indentation, no trailing whitespace
-
-## Known Areas Where Exact Match May Break
-
-### High Risk
-1. **Comment stripping**: Comments in source are lost during compilation to IR
-2. **Variable naming**: Destructured `const [x, setX]` — setter name is derived, may differ
-3. **Import merging**: Multiple files may import from same package differently
-4. **JSX expression formatting**: `{count + 1}` vs `{count+1}` — whitespace in expressions
-5. **Type annotations**: TypeScript types are stripped in IR, not recoverable
-
-### Medium Risk
-6. **State machine inference**: States derived from useOnEnter might not match original
-7. **Field type coercion**: `useState('')` → type 'text', but `useState<string>('')` also → 'text'
-8. **Default value serialization**: `0` vs `0.0`, `''` vs `""`
-9. **Transition from normalization**: `from: 'state'` vs `from: ['state']`
-10. **model file interface vs inline fields**: Model file generates interface, inline uses useState
-
-### Low Risk
-11. **Newline differences**: Extra blank lines between sections
-12. **Trailing newline**: File may or may not end with newline
-
-## Strategy for Fixing Mismatches
-
-### Phase 1: IR Semantic Equality
-First, verify IR1 === IR2 (structural deep-equal, ignoring ordering).
-This confirms no data loss. Failures here indicate compiler/decompiler bugs.
-
-### Phase 2: Source Stabilization
-Then, verify Source' === Source'' (string equality on second decompile pass).
-This confirms the decompiler is idempotent. Failures here are formatting bugs.
-
-### Phase 3: Categorize and Fix
-1. **Formatting issues**: Fix in decompiler (deterministic output)
-2. **Ordering issues**: Sort arrays deterministically in decompiler
-3. **Data loss**: Fix compiler to preserve information in IR metadata
-4. **Structural**: Document as known limitations, add normalization layer
-
-## Running the Tests
-
-```bash
-pnpm --filter react-compiler test -- --run round-trip
-```

package/src/__tests__/round-trip/README.md

@@ -1,52 +0,0 @@
-# Bidirectional Compiler Verification Suite
-
-Verifies that the MindMatrix React framework compiler is perfectly bidirectional:
-compilation and decompilation are inverse operations that produce stable output.
-
-## What This Tests
-
-```
-Source → compile → IR → decompile → Source' → compile → IR' → decompile → Source''
-                                                                            ↓
-                                                              Source' === Source''
-```
-
-Two invariants are checked:
-
-1. **IR Semantic Equality**: IR and IR' are structurally equivalent (same fields, states,
-   transitions, experience tree), ignoring cosmetic differences like ordering.
-
-2. **Source Stabilization**: Source' (first decompile output) is exactly equal to Source''
-   (second decompile output), character-for-character. If the decompiler does not produce
-   identical output when run twice on equivalent IRs, it has a bug.
-
-## Fixtures
-
-| Fixture | Focus Area | Files |
-|---------|-----------|-------|
-| `simple-crud` | Basic blueprint with model + CRUD view | mm.config.ts, models/task.ts, main.workflow.tsx |
-| `full-workflow` | Roles, state effects, events, transitions | mm.config.ts, models/order.ts, main.workflow.tsx |
-| `data-heavy` | Many field types, useWhileIn, complex states | mm.config.ts, models/contact.ts, main.workflow.tsx |
-| `view-heavy` | Nested JSX, sx styles, Router/Route, Show | mm.config.ts, main.workflow.tsx |
-
-## Running
-
-```bash
-# Run only round-trip tests
-pnpm --filter react-compiler test -- --run round-trip/round-trip
-
-# Run all compiler tests
-pnpm --filter react-compiler test -- --run
-
-# Run with verbose output (see diagnostic summary)
-pnpm --filter react-compiler test -- --run round-trip/round-trip --reporter=verbose
-```
-
-## Interpreting Results
-
-The diagnostic summary test prints a table showing pass/fail for each fixture across
-five dimensions: compile, decompile, re-compile, IR match, and source stabilization.
-
-When a test fails, the console output shows:
-- **IR diffs**: Which fields/states/transitions differ between IR1 and IR2
-- **Source diffs**: Which files differ between Source' and Source'', with line-by-line comparison