Logical View

The Logical View describes the system's core abstractions, data models, and their relationships.

Class Diagram - Engine Types

The core type definitions that model the Turing Machine domain. Sprint 2 introduced multi-variant support (single-tape, multi-tape, multi-step, multi-tape-multi-step) with array-based transition fields.

Class Diagram - Engine Layer

The simulation engine with complexity analysis, test execution, and utility modules added in Sprint 2.

Class Diagram - Store Layer

State management and bidirectional synchronization between visual and code representations. Sprint 2 added variant management and direct machine loading.

Class Diagram - Authentication

Authentication flow using Better-Auth with OAuth providers.

Entity Relationship Diagram

Data model relationships for persistent storage. Sprint 2 added file management with versioned storage.