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 3 adds computational and nondeterministic variants and records authorship for collaboratively created states and transitions.

Class Diagram - Engine Layer

The simulation engine with complexity analysis, nondeterministic computation trees, compiler support, and test execution.

Class Diagram - Store Layer

State management and bidirectional synchronization between visual and code representations, including shared state positions.

Class Diagram - Authentication

Authentication flow using Better-Auth with OAuth providers.

Entity Relationship Diagram

Data model relationships for persistent storage, including file versions and Sprint 3 contributor access.