Aiki Alpha 2 Released

Aiki Alpha 2 has been released, marking a significant milestone in the development of this programming language. The new version builds upon the foundation laid by Alpha 1, which brought the language to life. With Alpha 2, the architecture has become more explicit and structured. The grammar now serves as the sole authority for the syntax surface, with various language components, such as the parser, evaluator, formatter, linter, help, and structural checks, deriving from it.

One of the most notable changes is the explicit rule governing newline termination, which was previously a parser-private policy. A significant portion of Aiki is now implemented within the language itself, including independent components such as the lexer, normalizer, parser, evaluator, module loader, and bootstrap path. These components have undergone rigorous testing through conformance checks and recursive self-interpretation, with the host boundary redesigned for improved functionality.

The distinctions between HAL, capability, and authority have been clarified, with trusted code now receiving explicit grants. Portable facilities, such as bits, bytes, hash, and string, have genuine native Aiki implementations, with optional /ffi realizations that do not define a separate semantic surface. The host-boundary capabilities, like store, file, process, and canvas, are now honestly classified, rather than being mislabeled as FFI.

Aiki's system-development library surface has been expanded, including modules for files, paths, processes, signals, terminals, networking, time, bytes, hashing, storage, environment, and system facilities. All these libraries are organized around the host boundary. The programming language distribution is now relocatable, and language services, including LSP, formatting, completion, hover, tags, Xed, and VS Code, share the same core.

Validation has been substantially strengthened in this release, with behavioral, structural, conformance, self-host, invariant, native/FFI boundary, property, fuzz, distribution, and gold coverage all feeding into the release process. The core character of the language remains recognizable, with exact rationals, left-to-right evaluation, explicit grouping, recoverable errors as values, and isolated concurrency remaining intact.

However, the overall system is now marked by an increased level of explicit authority, declared realization, and executable witness. Release archives are available for Linux, macOS, and Windows.