Semantic Codebase

The canonical Atlox program is a resolved semantic tree with an immutable edit history. A .at file is a readable ordered projection of that model.

Stable identity

Every definition, field, parameter, binding, statement, expression, and reference has stable identity. A name is human-facing metadata.

Renaming openTasks changes one label. References continue pointing to the same function identity, so every source projection updates atomically. Moving the function to another virtual file changes organization, not meaning.

Revisions

Definitions have immutable revisions. A program revision selects one coherent revision of every reachable definition plus the accepted semantic operations that connect them.

Running work remains pinned to the definition revisions it started with. New work can use a later program revision without pretending that the old revision disappeared instantly.

Accepted and incomplete state

The accepted branch head is syntactically complete, type correct, and free of open deployment obligations. Incomplete fragments live in persisted edit sessions.

This separation lets the editor analyze unfinished work while preserving a program revision that is always safe to run, inspect, and deploy.

Files remain useful

Virtual files provide names, order, navigation, review, and a portable text projection. They are not discarded. They simply stop carrying identities that should survive renames and movement.