Austral is a systems programming language engineered to prioritize security, readability, and long-term maintainability. Its primary innovation is the integration of a linear type system, which enables manual memory management and resource lifecycle enforcement without the overhead of a garbage collector or the complexity of traditional static analysis heuristics.

The language is governed by the principle of "fits-in-head simplicity," defined by low Kolmogorov complexity. It deliberately rejects features that introduce "surprise" control flow, such as exception handling, in favor of a "scuttle the ship" approach to contract violations: terminating the program immediately to prevent security vulnerabilities.

Austral facilitates Capability-Based Security, requiring code to possess unforgeable linear tokens to access sensitive resources like the filesystem or network.…