{"id":47684211,"url":"https://github.com/alternative-intelligence-cp/aria","last_synced_at":"2026-04-29T06:01:35.068Z","repository":{"id":327166626,"uuid":"1107269122","full_name":"alternative-intelligence-cp/aria","owner":"alternative-intelligence-cp","description":"Aria Programming Language — systems language built for safety, determinism, and AI-native applications. LLVM backend, 80 packages, LSP, DAP debugger, GPU codegen.","archived":false,"fork":false,"pushed_at":"2026-04-05T17:58:59.000Z","size":74216,"stargazers_count":2,"open_issues_count":0,"forks_count":1,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-04-05T18:08:15.004Z","etag":null,"topics":["ai","aria","compiler","gpu","language-server","llvm","programming-language","systems-programming"],"latest_commit_sha":null,"homepage":"https://www.ai-liberation-platform.org","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/alternative-intelligence-cp.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":"AUDIT_v0.15.0.md","citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-11-30T22:17:16.000Z","updated_at":"2026-04-05T17:59:06.000Z","dependencies_parsed_at":null,"dependency_job_id":"66c63b92-9516-4041-a01a-07b1d5112916","html_url":"https://github.com/alternative-intelligence-cp/aria","commit_stats":null,"previous_names":["alternative-intelligence-cp/aria"],"tags_count":112,"template":false,"template_full_name":null,"purl":"pkg:github/alternative-intelligence-cp/aria","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/alternative-intelligence-cp%2Faria","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/alternative-intelligence-cp%2Faria/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/alternative-intelligence-cp%2Faria/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/alternative-intelligence-cp%2Faria/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/alternative-intelligence-cp","download_url":"https://codeload.github.com/alternative-intelligence-cp/aria/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/alternative-intelligence-cp%2Faria/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32412890,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-29T05:20:56.964Z","status":"ssl_error","status_checked_at":"2026-04-29T05:19:54.749Z","response_time":110,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ai","aria","compiler","gpu","language-server","llvm","programming-language","systems-programming"],"created_at":"2026-04-02T14:29:54.653Z","updated_at":"2026-04-29T06:01:35.053Z","avatar_url":"https://github.com/alternative-intelligence-cp.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Aria Programming Language v0.13.7\n\n![Aria Logo](/AriaLogo.png)\n[![License: Apache 2.0](https://img.shields.io/badge/License-Apache_2.0-blue.svg)](https://www.apache.org/licenses/LICENSE-2.0)\n[![CI](https://github.com/alternative-intelligence-cp/aria/actions/workflows/ci.yml/badge.svg)](https://github.com/alternative-intelligence-cp/aria/actions/workflows/ci.yml)\n\n**The Alternative Intelligence Liberation Platform presents: A systems programming language built for safety, determinism, and AI-native applications**\n\n\u003e ⚠️ **[READ THIS FIRST: SAFETY.md](SAFETY.md)** — No language is truly safe on its own. Aria makes dangerous operations **explicit** — you can't shoot yourself in the foot accidentally, but you can do it intentionally. Understand the safety contract before using `wild`, `async`, `@`, `extern`, or `wildx`.\n\n---\n\n## Current Status (April 4, 2026)\n\n**v0.13.7 — Final Audit, Cleanup \u0026 Release (v0.13.x series complete)**\n\nThe v0.13.x series delivered **traits, enums, generics, deferred language features, and final hardening**. v0.13.7 is the \"close the books\" release — full audit, fuzzer validation, and the 234-page Aria Programming Manual.\n\n**959 tests** (0 genuine failures) · **17h+ fuzzing** (0 crashes) · **102 packages** · **60 stdlib modules**\n\n**v0.13.x highlights:**\n- **v0.13.7** — Final audit: 959 tests, 17h+ fuzzing (0 crashes), benchmarks, KNOWN_ISSUES/BUGS cleanup, 234-page PDF manual\n- **v0.13.6** — `@func_name` function pointer syntax fix with trampoline generation\n- **v0.13.5** — Deferred language features: raw strings, pipeline operator, extended escape sequences\n- **v0.13.4** — Documentation \u0026 specifications completeness\n- **v0.13.3** — Generic containers: type-parameterized structs/functions, monomorphization\n- **v0.13.2** — Enum types: tagged unions, pattern matching, exhaustiveness checking\n- **v0.13.1** — Trait method dispatch: vtable codegen, interface compliance checks\n- **v0.13.0** — Trait system foundation: trait definitions, `impl` blocks, `$i`/`$m` borrow semantics\n\n**Previous series highlights:**\n- **v0.12.x** — Networking \u0026 middleware: HTTP, DNS, socket, server, URL, cookie, CORS, body-parser, session, static, rate-limit, FTP, SMTP, WebSocket, display, input, LRU, glob, retry\n- **v0.11.x** — Threading \u0026 concurrency: thread pool, atomics, lock-free structures, channels, mutex/rwlock/barrier, arena/pool/slab allocators, shared memory, IPC, signal handling, AIFS, AriaX kernel mods\n- **v0.7.x** — JIT: 45+ x86-64 instructions, linear scan register allocator, peephole optimizer, WildX security, 0.66x native C -O2\n- **v0.5.x** — Z3 SMT formal verification: contracts, overflow proofs, concurrency/memory safety verification\n- **v0.3.x–v0.4.x** — Ecosystem packages, Z3 Phase 1–3, AriaX kernel mods\n\n---\n\n## Compiler Toolchain\n\n| Tool | Status | Description |\n|---|---|---|\n| `ariac` | ✅ Stable | Full compiler, LLVM 20 backend |\n| `aria-ls` | ✅ Stable | Language Server — hover, goto-definition, completion, documentSymbol, references, signatureHelp |\n| `aria-pkg` | ✅ Stable | Package manager — install, search, pack, 102 packages verified |\n| `aria-doc` | ✅ Stable | Documentation generator — 435 unique HTML pages from ecosystem |\n| `aria-mcp` | ✅ Stable | MCP server — compile, safety audit, docs search, format, specialist model |\n| `aria-safety` | ✅ Stable | Static safety auditor — 11 checks including UNSAFE, EXTERN, CAST, TODO; `--json` output |\n| Z3 Verifier | ✅ Stable | SMT-based formal verification — contracts, overflow, concurrency, memory safety, `prove`/`assert_static`, `--smt-opt` |\n| `aria-dap` | ✅ Stable | Debug Adapter Protocol — LLDB 20 backend, conditional breakpoints, logpoints |\n| `aria_make` | ✅ Stable | Build system — project manifest, dependency resolution, test runner |\n| `install.sh` | ✅ Stable | One-command build + install with prerequisite checking |\n| Fuzzer V2 | ✅ Active | 27 generators, 100% compile rate, zero unresolved crashes |\n| Specialist model | ✅ V6+SMT | Qwen 7B LoRA, v6 corpus + v7 SMT verification examples |\n| Debian package | ✅ Built | `aria_0.5.5-1_amd64.deb`, tested on Mint 22.3 |\n| AriaX Linux | 🔧 In progress | Custom distro with full toolchain |\n| `aria_packages` | ✅ Active | 102 packages (17 pure, 17 libc, 68 FFI), all passing |\n| PDF Manual | ✅ v1 | [234-page programming manual](https://github.com/alternative-intelligence-cp/aria-docs/releases/tag/v0.13.7) — specs, guide, safety walkthrough, reference |\n\n---\n\n## Language Features\n\n### Stable\n- **All primitive types** — int1/2/4/8/16/32/64/128/256/512/1024/2048/4096, uint1/2/4/8/16/32/64/128/256/512/1024/2048/4096, flt32/64/128/256/512, bool, string\n- **TBB Types (tbb8/16/32/64)** — Symmetric signed integers with overflow sentinel (-128/ERR)\n- **TFP TYPES (tfp16/32)** — Twisted Floating Point\n- **any** — type erased pointer, equivalent to void* in C\n- **Balanced Ternary/Nonary Literals \u0026 Runtime** — `0t[01T]+` and `0n[01234ABCD]+` syntax, full trit/tryte/nit/nyte arithmetic\n- **Quantum Types** — Superposition states for probabilistic computation\n- **Generic Functions and Structs** — Monomorphization with type inference\n- **Result Types** — `pass`/`fail` with `?` propagation and `!` unwrap, `Result\u003cT\u003e` signatures, `_?`/`_!` shorthand operators\n- **`fail()` from user functions** — Result-style: `fail(err)` produces `Result{error:err, is_error:true}`, complement to `pass(val)`\n- **Layered Safety** — `?!` (checked), `!!!` (unchecked), `unknown`/`ok()`, `failsafe`\n- **Async/Await** — LLVM coroutine-based with promise mechanism for error propagation through async boundaries\n- **All loop forms** — `while`, `for(;;)` (C-style), `for (i in a..b)` (range), `loop`, `till`, `when/then/end`\n- **Control flow** — `if/else`, `pick` (exhaustive match), `break`, `continue`, `fall`\n- **Module system** — `use`, `mod`, `pub`, `extern`\n- **Closures** — First-class functions with capture\n- **Z3 Formal Verification** — SMT-based compile-time proofs: contracts (`requires`/`ensures`), overflow elimination, data race detection, deadlock detection, use-after-free proofs, `prove`/`assert_static` builtins, `--smt-opt` optimizations, configurable `--smt-timeout`\n- **Borrow checker** — Compile-time memory safety analysis\n- **Arrays in structs** — Fixed-size scalar and struct array fields with nested member access\n- **SIMD types** — Vector arithmetic via LLVM intrinsics\n- **Atomic types** — Lock-free concurrent primitives\n- **Dimensional algebra** — Unit-typed arithmetic\n- **NIL/void separation** — NIL is Aria's unit type (wrapped in `Result\u003cnil\u003e`), void restricted to extern blocks, bridge via pointer erasure\n- **NIL/NULL separation** — NIL for no value, NULL for no reference\n- **Operators** — Full suite including `+` (string concatenation), `@` (address), `#` (pin), `-\u003e` (arrow), `..`/`...` (ranges)\n- **Template literals** — `` `\u0026{variable}` `` string interpolation\n- **Six-stream I/O** — stdin/stdout/stderr/stddbg/stddati/stddato with runtime initialization, graceful fallback, `stdin_read_all()` and `stdin_read_line()` builtins\n- **sys() syscall interface** — Three-tier direct Linux syscall invocation (`sys`/`sys!!`/`sys!!!`) with compile-time safety whitelist, Result\u003cint64\u003e wrapping, and TOS escalation integration\n- **Traits** — Definition, implementation, UFCS on primitive types, `dyn Trait` vtable dispatch, trait bounds on generics\n- **Optional types** — `T?` with `??` nil-coalescing, `?.` safe navigation; working for primitives and custom types\n- **Async channels \u0026 actors** — Buffered/unbuffered/oneshot channels, actor spawn/send/stop, fan-out/fan-in/pipeline patterns\n- **Standard library** — string_convert, string (manipulation), string_builder, print_utils, wave/wavemech, complex, dbug, quantum, atomic, io (file streams), math (transcendentals), linalg (linear algebra), collections (Vec, Map, Set, Graph), json, toml, binary, net (TCP sockets)\n\n### In Progress / Specified\n- **AriaX Linux** — Custom distro with full toolchain pre-installed\n- **Specialist model V7** — Next training corpus covering v0.3.x additions\n\n---\n\n## `aria-packages` Library Ecosystem\n\nAll packages live in the separate [`aria-packages`](https://github.com/alternative-intelligence-cp/aria-packages) repository. 102 packages total, organized into utility, graphics/game, server, database, and AI/ML tiers. Each package has a `src/` module, a `tests/` file with assertions, and where FFI is needed, a C `shim/`.\n\n**Package tiers:**\n\n| Package | Description |\n|---------|-------------|\n| aria-actor | Extended actor patterns (pool, router, supervisor) |\n| aria-aifs | AI filesystem utilities (POSIX ops + metadata tagging) |\n| aria-args | Command-line argument parsing |\n| aria-ascii | ASCII character classification and conversion |\n| aria-audio | Software synthesis, MIDI note table, ALSA backend |\n| aria-base64 | Base64 encoding/decoding |\n| aria-bench | Benchmarking |\n| aria-bigdecimal | Arbitrary precision decimal arithmetic |\n| aria-bits | Bit test/set/clear/flip, nibble extraction, popcount |\n| aria-body-parser | HTTP body parsing middleware (JSON, URL-encoded, multipart) |\n| aria-buf | Byte/word packing for uint64 buffers |\n| aria-channel | High-level channel patterns (fan-out, fan-in, pipeline) |\n| aria-clamp | min, max, clamp, abs, sign for int64/uint64 |\n| aria-cli | Enhanced CLI parsing with subcommands |\n| aria-color | RGBA packing/unpacking and pixel transforms |\n| aria-compress | Data compression (LZ4/zstd via FFI) |\n| aria-console | 16-bit memory-mapped address space + 60fps frame scheduler |\n| aria-conv | Saturating narrowing and float/int conversion |\n| aria-cookie | Cookie parsing and Set-Cookie builder |\n| aria-cors | CORS middleware with configurable origins |\n| aria-crypto | Cryptographic primitives (SHA-256, AES, HMAC via FFI) |\n| aria-csv | CSV parsing and generation |\n| aria-cuda | CUDA FFI: device management, memory ops, kernel launch, cuBLAS |\n| aria-datetime | Date/time formatting and arithmetic |\n| aria-decision-t | Decision tree classifier (entropy, information gain) |\n| aria-diff | Text diffing |\n| aria-display | ANSI/termios terminal rendering (virtual console) |\n| aria-dns | DNS resolution |\n| aria-editor | Terminal-mode text editor with search |\n| aria-endian | Big/little-endian byte-swap for 16/32/64-bit |\n| aria-entangled | Quantum-inspired entangled variable pairs |\n| aria-env | Environment variable access and process info |\n| aria-fixed | Q32.32 fixed-point arithmetic on uint64 |\n| aria-freq | Frequency/period/baud integer arithmetic |\n| aria-fs | File system utilities (stat, mkdir, readdir, copy) |\n| aria-ftp | FTP client session management |\n| aria-gml | GML compatibility layer: 40+ functions, xorshift32 RNG |\n| aria-gradient-field | 3D gradient field computation |\n| aria-gtk4 | GTK4 desktop GUI: widget registry, events, non-blocking UI |\n| aria-hash | FNV-1a and djb2 string hashing |\n| aria-hex | Hexadecimal encoding/decoding |\n| aria-http | HTTP client (GET/POST requests) |\n| aria-ini | INI config file parsing |\n| aria-input | Raw keyboard input with SNES-style button mapping |\n| aria-jamba | Hybrid Transformer + Mamba + Mixture of Experts model |\n| aria-jit | WildX JIT helpers |\n| aria-json | JSON encoding for basic types |\n| aria-libc | Standard C library wrappers |\n| aria-log | Structured logging with severity levels |\n| aria-looping | Iterative refinement model with convergence stopping |\n| aria-mamba | Mamba selective state space model with SiLU gating |\n| aria-map | Map data structure |\n| aria-math | Trig, exp, log, rounding via C libm |\n| aria-matrix | Matrix operations |\n| aria-mime | MIME type detection and mapping |\n| aria-mock | Test mocking framework |\n| aria-msgpack | MessagePack binary serialization |\n| aria-mux | Bit-select, field insert/extract, mask ops, blend |\n| aria-mysql | MySQL/MariaDB client via libmysqlclient |\n| aria-opengl | OpenGL 3.3 Core via GLAD + SDL2 |\n| aria-path | Path manipulation | \n| aria-postgres | PostgreSQL client via libpq (parameterized, LISTEN/NOTIFY) |\n| aria-pqueue | Priority queue (min-heap) |\n| aria-qt6 | Qt6 Widgets GUI toolkit bindings |\n| aria-queue | Queue data structure |\n| aria-rand | xorshift64 pseudo-random number generator |\n| aria-rate-limit | Token bucket rate limiting middleware |\n| aria-raylib | raylib v6.0 bindings: window, drawing, shapes, text, input, audio, gamepad |\n| aria-redis | Redis client via hiredis (strings, lists, hashes, sets) |\n| aria-regex | Regular expression matching |\n| aria-resource-mem | RAII-style resource lifecycle management |\n| aria-ringbuf | Ring buffer (circular buffer) |\n| aria-router | Express-style router: path params, middleware, wildcards |\n| aria-rules-common | Commonly used Rules\u003cT\u003e declarations |\n| aria-sdl2 | SDL2 multimedia bindings: window, renderer, drawing, events |\n| aria-sdl3 | SDL3 bindings |\n| aria-semver | Semantic versioning: parse, compare, satisfy |\n| aria-server | HTTP/1.1 server: listen, accept, parse, respond |\n| aria-session | In-memory session management with crypto IDs |\n| aria-smtp | SMTP email composition |\n| aria-socket | Socket abstraction layer |\n| aria-sort | Various sorting algorithms |\n| aria-sqlite | SQLite3 embedded database client (parameterized queries) |\n| aria-static | Static file serving with MIME detection and path traversal protection |\n| aria-stats | Statistics functions |\n| aria-str | String utilities (pad, trim, repeat, contains, split) |\n| aria-template | String template rendering with variable substitution |\n| aria-tensor | Dense tensor library: creation, arithmetic, matmul, activations, GPU interop |\n| aria-test | Test framework with assertion helpers |\n| aria-tetris | Full Tetris clone: sound effects, gamepad, high score |\n| aria-toml | TOML configuration file parsing |\n| aria-transformer | Transformer encoder: multi-head attention, causal masking |\n| aria-uacp | Universal AI Communication Protocol: binary framing, 8 message types |\n| aria-url | URL parsing, encoding, query string manipulation |\n| aria-uuid | UUID v4 generation and formatting |\n| aria-vec | 2D/3D float64 vector math (dot, cross, length) |\n| aria-websocket | WebSocket client/server (RFC 6455) |\n| aria-webkit-gtk | WebKitGTK web content bindings |\n| aria-wxwidgets | wxWidgets GUI toolkit bindings |\n| aria-xml | XML parsing and generation |\n| aria-yaml | YAML parsing and serialization |\n| aria-zigzag | Zigzag encode/decode for signed integer interleaving |\n\n---\n\n## Overview\n\nAria is a systems programming language that reimagines I/O and type systems for AI-native applications. Inspired by Nikola Tesla's vision of interconnected systems, Aria introduces **six-stream I/O** where programs communicate through stdin, stdout, stderr, stddbg, stddati, and stddato — separating human-readable, debug, and machine-readable data at the language level.\n\nThe language is being built as the primary substrate for **Nikola**, a consciousness architecture based on the Asymmetric Toroidal Phase Model (ATPM). Aria's features — balanced types, deterministic arithmetic, explicit memory lifecycle, and quantum superposition types — are not arbitrary; they are requirements of the Nikola model.\n\n### Research Foundation\n\n- **ATPM (Asymmetric Toroidal Phase Model):** DOI [10.5281/zenodo.18158226](https://doi.org/10.5281/zenodo.18158226)\n- **ATPM Extended:** DOI [10.5281/zenodo.18168992](https://doi.org/10.5281/zenodo.18168992)\n- **Ego-Mediated Behavior Study:** DOI [10.5281/zenodo.18159274](https://doi.org/10.5281/zenodo.18159274)\n- **Nikola Model Architecture:** DOI [10.5281/zenodo.18159162](https://doi.org/10.5281/zenodo.18159162)\n- **Design rationale** (non-physicist version): [docs/ATPM_DESIGN_RATIONALE.md](docs/ATPM_DESIGN_RATIONALE.md)\n\n---\n\n## Key Language Features\n\n### Layered Safety System\n\nAria's safety philosophy: make dangerous operations **explicit**, provide multiple layers for error handling, and never let a program crash silently.\n\n**Layer 1: Failsafe** — Every Aria program has a `failsafe` that catches unhandled errors:\n```aria\nfunc:failsafe = int32(tbb32:err) {\n    // Log, cleanup, graceful shutdown\n    exit(1);\n};\n```\n\n**Layer 2: Result Types** — Explicit error propagation with concise syntax:\n```aria\nfunc:divide = int32(int32:a, int32:b) {\n    if (b == 0i32) { fail(-1i32); }\n    pass(a / b);\n};\n\nint32:result = divide(10i32, 2i32) ? 0i32;  // Unwrap with default\n```\n\n**Layer 3: Unknown/Ok Pattern** — Explicit null safety without null types:\n```aria\nint32:maybe_valid = unknown;\nif (some_condition) {\n    maybe_valid = 42i32;\n    ok(maybe_valid);  // Mark as valid\n}\n// ok() returns the value itself — use wherever the value is needed\nint32:safe_val = ok(maybe_valid);\n```\n\n**Layer 4: TBB Overflow Detection** — Symmetric integers with error sentinels:\n```aria\ntbb8:x = 120tbb8;\ntbb8:y = 10tbb8;\ntbb8:result = x + y;     // Overflow: result = ERR (-128)\ntbb8:err = -128tbb8;\nif (result == err) {\n    drop(println(\"Overflow detected!\"));\n}\n```\n\n**Layer 5: Z3 SMT Formal Verification** — Compile-time mathematical proofs via Z3 solver:\n```aria\n// Design-by-Contract: requires/ensures are verified at compile time\nfunc:safe_divide = Result\u003cint32\u003e(int32:a, int32:b)\n    requires(b != 0i32)\n    ensures($ \u003e= 0i32)\n{\n    pass(a / b);\n};\n\n// Integer overflow proofs: Z3 bitvector analysis proves absence of overflow\nfunc:safe_add = int32(int32:a, int32:b)\n    requires(a \u003e 0i32)\n    requires(a \u003c 1000i32)\n    requires(b \u003e 0i32)\n    requires(b \u003c 1000i32)\n{\n    pass(a + b);  // Z3 proves: no overflow possible in int32 range\n};\n```\n```bash\n# Verify contracts and overflow safety at compile time\nariac program.aria --verify-contracts --verify-overflow --verify-report -o program\n```\nAria uses the Z3 SMT solver to mathematically *prove* the absence of contract violations and arithmetic overflow across all possible execution paths — the same class of static formal verification used by Ada/SPARK for safety-critical aerospace and automotive systems.\n\n### For Loops — Two Forms\n\n```aria\n// C-style: precise control\nfor(int32:i = 0i32; i \u003c 10i32; i += 1i32) {\n    drop(println(int32_toString(i)));\n}\n\n// Range-based: clean iteration\nfor (i in 1..10) {          // inclusive: 1, 2, ..., 10\n    drop(println(int64_toString(i)));\n}\nfor (i in 1...10) {         // exclusive: 1, 2, ..., 9\n    drop(println(int64_toString(i)));\n}\nfor (int32:i in 0...5) {    // with explicit type annotation\n    drop(println(int32_toString(i)));\n}\n```\n\n\u003e Note: `i++` is not supported. Use `i += 1i32` or `i = i + 1i32`.\n\n### TBB Types — Symmetric Signed Integers\n\n```aria\ntbb8:x = 120tbb8;\ntbb8:y = 10tbb8;\ntbb8:result = x + y;     // Overflow: result = ERR (-128)\ntbb8:err = -128tbb8;\nif (result == err) {\n    drop(println(\"Overflow detected!\"));\n}\n\n// Sticky error propagation\ntbb8:sum = result + x;   // ERR + anything = ERR\n```\n\n### Quantum Types\n\n```aria\nquantum\u003cbool\u003e:choice = superpose(true, false, 0.5);\nbool:measured = collapse(choice);\n\nquantum\u003cint32\u003e:distribution = weighted_superpose(\n    [1i32, 2i32, 3i32],\n    [0.2, 0.5, 0.3]\n);\nint32:sampled = collapse(distribution);\n```\n\n### Balanced Ternary Literals (Syntax Complete)\n\n```aria\nint64:six     = 0t1T0;    // 1×9 + (-1)×3 + 0×1 = 6\nint64:neg_one = 0tT;      // -1\nint64:four    = 0n4;      // balanced nonary: 4\nint64:neg_four = 0nD;     // -4\n```\n\n---\n\n## Quick Start\n\n### One-Command Install\n\n```bash\ngit clone https://github.com/alternative-intelligence-cp/aria.git\ncd aria\n./install.sh              # build + install to /usr/local\n```\n\nThe install script checks prerequisites, builds all tools, and installs binaries, stdlib, and man pages. Options:\n\n```bash\n./install.sh --build-only          # build without system install\n./install.sh --prefix=$HOME/.local # install to custom prefix\n./install.sh --uninstall           # remove installed files\n```\n\n### Manual Build\n\n```bash\nmkdir -p build \u0026\u0026 cd build\ncmake ..\ncmake --build . -j$(nproc)\ncd ..\n```\n\n### Hello World\n\n```bash\ncat \u003e hello.aria \u003c\u003c 'EOF'\nfunc:main = int32() {\n    drop(println(\"Hello from Aria!\"));\n    exit(0);\n};\nfunc:failsafe = int32(tbb32:err) { exit(1); };\nEOF\n\n./build/ariac hello.aria -o hello\n./hello\n```\n\n```bash\n# Compile options\n./build/ariac program.aria -o program          # compile\n./build/ariac program.aria --emit-llvm -o out.ll  # LLVM IR\n./build/ariac program.aria -O2 -o program      # optimized\n./build/ariac program.aria --emit-wasm -o out.wasm  # WebAssembly\n```\n\n**Prerequisites:** LLVM 20.1+, CMake 3.20+, C++17 compiler, Python 3.8+, Linux/macOS/WSL2\n\n---\n\n## Documentation\n\n📚 **[aria-docs](https://github.com/alternative-intelligence-cp/aria-docs)** — Package reference, language guides, and tutorials (separate repo).\n\n📖 **[Aria Programming Manual v1 (PDF)](https://github.com/alternative-intelligence-cp/aria-docs/releases/tag/v0.13.7)** — 234-page offline manual: specs cheat sheet, full programming guide, safety walkthrough, and reference appendix.\n\n**Quick links in aria-docs:**\n- `guide/` — Full programming guide (12 sections)\n- `reference/` — Language reference (20+ documents)\n- `safety-walkthrough/` — Safety system walkthrough\n- `packages/` — API reference for all packages\n\n**Man pages:** Install with `./install.sh` — then `man aria-control-flow-for`, `man aria-types-int32`, etc.  \n**Language spec:** [`.internal/aria_specs.txt`](.internal/aria_specs.txt)  \n**Compiler architecture:** [`docs/ARCHITECTURE.md`](docs/ARCHITECTURE.md)\n\n---\n\n## Project Structure\n\n```\naria/\n├── .github/                  # CI/CD and GitHub templates\n│   ├── workflows/           # GitHub Actions (build + test)\n│   └── ISSUE_TEMPLATE/      # Bug report, feature request, crash report\n├── src/                      # Compiler source\n│   ├── frontend/            # Lexer, parser, AST, semantic analysis\n│   ├── backend/             # LLVM IR generation\n│   └── runtime/             # Runtime support (GC, strings, async, streams)\n├── include/                  # Headers\n├── stdlib/                   # Standard library (.aria files)\n├── tests/                    # Test suite\n│   ├── regression/          # Regression tests\n│   ├── fuzz/                # Fuzzer V2 and corpus\n│   ├── gpu/                 # GPU/CUDA tests\n│   └── misc/                # Exploratory/scratch tests and archived test results\n├── examples/                 # Example programs\n├── docs/                     # Design docs and architecture\n├── scripts/                  # Build and maintenance scripts\n├── tools/                    # Development tooling (specialist model, semantic_db)\n├── benchmarks/               # Performance benchmarks\n├── runtime/                  # Runtime C source\n├── vendor/                   # Vendored dependencies\n├── third_party/              # Third-party components\n├── debian/                   # Debian packaging\n├── .internal/                # Internal: spec, session notes, status docs\n├── build/                    # Build artifacts (gitignored)\n├── CMakeLists.txt\n├── README.md\n├── SAFETY.md\n├── CHANGELOG.md\n├── CONTRIBUTING.md\n└── LICENSE.md\n```\n\n**Related repositories:**\n- [`aria-packages`](https://github.com/alternative-intelligence-cp/aria-packages) — 102 library packages (17 pure, 17 libc, 68 FFI)\n- [`aria-docs`](https://github.com/alternative-intelligence-cp/aria-docs) — reference docs, guides, and [234-page PDF manual](https://github.com/alternative-intelligence-cp/aria-docs/releases/tag/v0.13.7)\n- [`ariax`](https://github.com/alternative-intelligence-cp/ariax) — POSIX tools and AX Linux distro\n- [`aria-lang`](https://github.com/alternative-intelligence-cp/aria-lang) — VS Code extension\n- [`aria-make`](https://github.com/alternative-intelligence-cp/aria-make) — build system\n\n---\n\n## Testing\n\n```bash\n# Run regression tests\n./tests/regression/run_regression.sh\n\n# Run the full test suite\n./scripts/run_comprehensive_tests.sh\n\n# Run fuzzer\ncd tests/fuzz \u0026\u0026 python3 fullstack_fuzzer.py\n\n# Single test\n./build/ariac tests/some_feature.aria -o /tmp/t \u0026\u0026 /tmp/t\n```\n\nTest results are archived in `test_results/` for regression tracking. The fuzzer archives crashes in `tests/fuzz/crashes_archive/`.\n\n---\n\n## Development Roadmap\n\n### v0.1.0 — Released\n\n- ✅ Full compiler toolchain (ariac, aria-lsp, aria-dap, aria-doc, aria-pkg)\n- ✅ Layered safety system (?!, !!!, unknown/ok(), failsafe)\n- ✅ Quantum types (superpose/collapse)\n- ✅ TBB types with sticky overflow sentinels\n- ✅ Full generic system (functions + structs, monomorphization)\n- ✅ Both for loop forms (C-style and range-based)\n- ✅ Borrow checker (compile-time memory analysis)\n- ✅ SIMD and atomic types\n- ✅ Dimensional algebra\n- ✅ 678 compiler tests, Fuzzer V2, Valgrind-clean runtime\n- ✅ 27 `aria_packages` libraries with 543+ assertions (all passing)\n- ✅ All 27 compiler bugs found, fixed, verified\n- ✅ Full documentation (web, man pages, programming guide, Getting Started)\n\n### v0.2.0 — Released\n\n- ✅ **Self-hosting compiler frontend** — Lexer, parser, type checker, borrow checker, safety checker, exhaustiveness checker, and const evaluator ported to Aria (220 tests across 5 modules)\n- ✅ **stdlib expansion** — 9 modules (io, math, linalg, collections, string, json, toml, binary, net) with 290+ passing tests\n- ✅ **7 additional codegen bugs fixed** — Inline return comparison, string concatenation, pass() unwrapping, pointer reassignment, NIL comparison, cross-module pointer corruption\n- ✅ **Improved compiler diagnostics** — \"Did you mean?\" suggestions, accurate source locations for all type errors\n- ✅ **License changed to Apache 2.0**\n- ✅ **Language specialist model** V3 complete (71% pattern match), V4 in progress\n\n### v0.2.2 — Released\n\n- ✅ **GUI toolkit wrappers** — Idiomatic Aria bindings for raylib (20 tests), SDL2 (19 tests), GTK4 (20 tests) via C shim pattern\n- ✅ **9 utility libraries** — aria-test, aria-csv, aria-log, aria-base64, aria-datetime, aria-regex, aria-fs, aria-socket, aria-http (166 tests, all passing)\n- ✅ **Tooling improvements** — aria-ls (documentSymbol, references, signatureHelp), aria-mcp (format tool, resources), aria_make (test command), aria-dap (conditional breakpoints, logpoints), aria-safety (4 new checks, --json)\n- ✅ **Debian packaging** — `aria_0.2.2-1_amd64.deb` (17 MB), tested on Linux Mint 22.3\n- ✅ **Repository reorganization** — Monorepo split into 10 repos under `alternative-intelligence-cp` org\n- ✅ **V5 specialist corpus** — 2,688 examples covering all v0.2.2 additions\n- ✅ **Extended fuzzing** — 48-hour adversarial campaign, zero unresolved crashes\n\n### v0.2.3 — Released\n\n- ✅ **Database client libraries** — 4 packages: aria-sqlite (34 assertions), aria-postgres (40 assertions), aria-mysql (44 assertions), aria-redis (53 assertions)\n- ✅ **Parameterized queries by default** — All SQL drivers use parameter binding; SQL injection tests pass on all 3 SQL drivers\n- ✅ **Full CRUD + transactions** — Insert, select, update, delete, begin/commit/rollback across all drivers\n- ✅ **PostgreSQL LISTEN/NOTIFY** — Async notification support\n- ✅ **Database guide** — `aria-packages/DATABASE_GUIDE.md` with prerequisites, patterns, and API reference\n- ✅ **V6 specialist model** — Updated corpus covering database additions\n\n### v0.2.4 — Released\n\n- ✅ **Async/await error propagation** — Promise-based `Result\u003cT\u003e` through coroutine boundaries, fixed dual await paths, proper memory management, Valgrind-clean\n- ✅ **`fail()` from user functions** — Result-style mechanism: `fail(err)` is complement to `pass(val)`, no more sentinel workarounds\n- ✅ **Arrays in structs fixed** — Nested member access (`cloud.pts[0].x`) for read and write, Aria element type registration\n- ✅ **Balanced ternary/nonary runtime** — Full trit/tryte arithmetic (add, sub, mul, div, mod), 15/15 tests\n- ✅ **NIL ↔ void bridge** — NIL = Aria unit type, void = C ABI only, pointer erasure bridge\n- ✅ **Code quality pass** — 44 deprecated LLVM API migrations, all warnings fixed, zero Aria-source warnings\n- ✅ **Traits \u0026 borrow semantics RFC** — Design doc for monomorphized traits + `$x`/`$mut x` borrows\n- ✅ **6 regression tests** — Dedicated regression suite covering critical bug fixes\n\n### v0.2.1.1 — Released\n\n- ✅ **aria-dap debugger** — Full DAP server with LLDB 20 backend. Breakpoints, stepping, stack traces, variable inspection.\n- ✅ **`-g` flag** — DWARF debug info generation with proper source paths, variable locations, and subprogram entries.\n- ✅ **VS Code debugging** — Debug configuration provider, auto-compile, launch.json snippets, `aria.debugger.path` setting.\n- ✅ **O0 for debug** — Automatically disables LLVM optimization when `-g` is set to preserve variable visibility.\n\n### v0.2.1 — Released\n\n- ✅ **aria-pkg fixed** — Registry loading, metadata parsing, tarball extraction; added search/pack/directory-install. 27/27 packages verified.\n- ✅ **aria-doc fixed** — Parser rewritten for Aria colon syntax. Generates 435 unique HTML pages, zero `unknown.html` collisions.\n- ✅ **aria-ls wired** — AST-based hover (type signatures + builtin descriptions), goto-definition, completion (37 keywords + 15 types + file symbols).\n- ✅ **install.sh** — One-command build and install with prerequisite checking, `--prefix`, `--uninstall`. Tested on clean Linux Mint 22.3 VM.\n- ✅ **aria-mcp verified** — compile, docs, safety, ask endpoints all functional.\n- ✅ **VS Code extension** — v0.2.1 with updated bundled aria-ls binary.\n- ✅ **Benchmark suite** — 3 benchmarks (primes, collatz, gcd) in Aria and C with runner script. Aria matches or beats gcc -O2 on 2/3 benchmarks.\n- ✅ **Clean-machine build verified** — CMake and install.sh fixes for fresh Linux installs.\n\n### v0.2.5 — Released\n\n- ✅ **CI/CD pipeline** — GitHub Actions: build, test, .deb packaging on push/PR to main/dev\n- ✅ **GitHub templates** — Bug report, feature request, compiler crash issue templates; PR template with checklist\n- ✅ **CONTRIBUTING.md** — Contributor guide with prerequisites, build instructions, code style\n- ✅ **Compiler architecture manual** — 695-line technical document covering full pipeline, AST, type system, IR generation, runtime, FFI, memory model\n- ✅ **Man pages** — groff man pages for ariac(1), aria-ls(1), aria-pkg(1), aria-doc(1), aria-dap(1)\n- ✅ **Documentation fixes** — Tested 24 code examples, fixed 7 doc bugs, documented 2 compiler bugs\n- ✅ **Specialist model evaluation** — Comprehensive evaluation of all model versions, strategy documented\n\n### v0.2.6 — Released\n\n- ✅ **`--shared` flag** — Compile Aria source directly to `.so` shared libraries with C ABI export\n- ✅ **Cross-language bindings** — Aria → C, Python (ctypes), Rust (FFI), Go (cgo); documented in `docs/CROSS_LANGUAGE_BINDINGS.md`\n- ✅ **GUI/game packages** — aria-raylib (v6.0), aria-sdl2, aria-gtk4, OpenGL bindings (aria-opengl via GLAD)\n- ✅ **12 new library packages** — aria-test, aria-csv, aria-log, aria-base64, aria-datetime, aria-regex, aria-fs, aria-socket, aria-http, and infrastructure packages\n- ✅ **aria-doc improvements** — Full HTML generation pipeline, 435+ unique pages\n\n### v0.2.7 — Released\n\n- ✅ **Six-stream I/O runtime** — All 6 streams (stdin/stdout/stderr/stddbg/stddati/stddato) initialized with graceful fallback\n- ✅ **`stdin_read_all()` / `stdin_read_line()` builtins** — Proper AriaString wrapping, pipes and non-seekable streams supported\n- ✅ **Argument access runtime** — `aria_get_argc()`, `aria_arg(index)` builtins; compiler auto-generates `main(i32, ptr)` signature\n- ✅ **26 POSIX tools** — cat, head, tail, wc, tee, cut, sort, uniq, tr, grep, find, diff, echo, yes, true, false, env, sleep, basename, dirname, seq, nl, fold, paste, expand, unexpand (in `ariax` repo)\n- ✅ **Pipeline support** — All tools read from stdin when no file argument given\n- ✅ **String comparison fix** — `_=expr` discard syntax, `sleep_ms` builtin\n\n### v0.2.39 — Released\n\n- ✅ **Enums** — `enum:Name = { VARIANT1, VARIANT2 = 42 };` with auto-numbering (0, or last+1), explicit values, mixed\n- ✅ **EnumType** — Proper type identity in type system (not just int64 constants)\n- ✅ **Enum-typed variables** — `Color:my_color = Color.RED;`\n- ✅ **Enum comparison** — `==` and `!=` between enum values\n- ✅ **Enum exhaustiveness** — `pick` statements can check coverage of all variants\n- ✅ **Parser pre-pass** — Correctly distinguishes `Enum.VARIANT` from UFCS static calls\n\n### v0.2.38 — Released\n\n- ✅ **AI-Native Filesystem** — aria-aifs package: POSIX file ops + AI metadata tagging via C shim\n- ✅ **Shim layer** — 16 C functions for create/read/write/delete/stat/list + tag/untag/find_by_tag\n\n### v0.2.37 — Released\n\n- ✅ **Channels** — `Channel.create(cap)`, `send()`, `recv()`, `try_send()`, `try_recv()`, `select2()`, `close()`\n- ✅ **Channel modes** — Buffered, unbuffered (rendezvous), oneshot (auto-close)\n- ✅ **Actors** — `actor_spawn(handler)`, `actor_send()`, `actor_stop()`, `actor_destroy()`\n- ✅ **Actor patterns** — Reply channels, mailbox access, lifecycle management\n- ✅ **aria-channel package** — FanOut, FanIn, Pipeline high-level patterns\n- ✅ **aria-actor package** — Actor pool, router, supervisor patterns\n\n### v0.2.36 — Released\n\n- ✅ **dyn Trait** — Dynamic dispatch via vtables, object-safe trait checking\n- ✅ **Vtable generation** — Runtime polymorphism for trait objects\n\n### v0.2.35 — Released\n\n- ✅ **Borrow semantics** — `$$i` (immutable) and `$$m` (mutable) borrow qualifiers\n- ✅ **Compile-time safety** — N immutable OR 1 mutable borrow enforced\n- ✅ **`any` type** — Universal type erased container\n- ✅ **Pinning improvements** — `#` operator integration with borrow checker\n\n### v0.2.34 — Released\n\n- ✅ **Type: system** — Composable types with `struct:internal`, `struct:interface`, `struct:type`, methods\n- ✅ **Trait bounds on generics** — `func\u003cT: Addable\u003e:name = ...` constrained generics\n- ✅ **instance\u003cT\u003e** — Constructor syntax: `instance\u003cCounter\u003e(args)` → `Counter_create(args)`\n\n### v0.2.33 — Released\n\n- ✅ **Generic stdlib** — Generic containers, iterators, optional monads\n- ✅ **Foundation packages** — aria-container, aria-iter, aria-optional\n\n### v0.2.30-v0.2.32 — Released\n\n- ✅ **Incremental improvements** — Parser fixes, type system refinements, test coverage expansion\n\n### v0.2.29 — Released\n\n- ✅ **String `+` operator** — `\"hello \" + \"world\"` concatenation, chaining, type checker + codegen\n- ✅ **`wildx` parser fix** — Qualifier missing from 7 parser locations; added `isWildx` to AST nodes\n- ✅ **6 new packages** — aria-jit (8/8), aria-bench (4/4), aria-path (10/10), aria-sort (8/8), aria-queue (7/7), aria-map (8/8)\n- ✅ **Legacy stdlib removed** — Entire `lib/_legacy/std/` deleted (42 files, 22 modules); all covered by packages/builtins\n- ✅ **80 ecosystem packages** — 45 new tests, all passing\n\n### v0.2.28 — Released\n\n- ✅ **fix256** — 256-bit deterministic fixed-point: arithmetic, comparisons, conversions; SysV ABI fixed for 32-byte structs\n- ✅ **frac32** — Fraction type with function-call API (from_parts, add/sub/mul/div)\n- ✅ **SIMD builtins audit** — Deferred test audit, 841 tests total, 838 passing (99%)\n- ✅ **Dimensional type stubs** — Type infrastructure for unit-typed arithmetic\n\n### v0.2.27 — Released\n\n- ✅ **Complex number stdlib** — Generic complex API (new, add, sub, mul, conjugate) with int32/int64/flt64\n- ✅ **Compound generic type inference** — GenericResolver extracts type args from monomorphized struct names\n\n### v0.2.26 — Released\n\n- ✅ **Module resolution fixes** — Restored `std` → `stdlib` symlink, created `stdlib/mem.aria`\n- ✅ **4 tests promoted** — 830/833 passing (99%)\n\n### v0.2.25 — Released\n\n- ✅ **SIMD builtins fixed** — Critical bug: LLVM float comparisons (fcmp vs icmp) for vector types, fixed in 10 locations\n- ✅ **7 tests unblocked** — simd_sum, simd_broadcast, simd_product, element access, reductions\n\n### v0.2.23 — Released\n\n- ✅ **Trait system** — Definition parsing, implementation, UFCS on primitive types\n- ✅ **Parser infinite loop fix** — Trait blocks no longer hang the compiler\n- ✅ **815/818 passing** (99%)\n\n### v0.2.22 — Released\n\n- ✅ **Optional types** — `T?` syntax, `NIL` literal, `??` nil-coalescing, `?.` safe navigation, `?` unwrap-with-default\n- ✅ **ABI** — Tagged struct `{i1 hasValue, T value}` for optionals\n\n### v0.2.19 — Released\n\n- ✅ **Generic monomorphization fix** — `substituteTypeNode()` for recursive type parameter substitution\n- ✅ **Compound types** — GenericType, ArrayType, PointerType substitution in generics\n\n### v0.2.18 — Released\n\n- ✅ **Test-side fixes** — 19 tests promoted to main suite, no compiler changes\n- ✅ **Discovery** — `instance\u003cT\u003e()` and `Type.Member` desugaring already work\n\n### v0.2.16 — Released\n\n- ✅ **Spec compliance pass** — 122 test fixes (void→NIL, failsafe, return→pass)\n- ✅ **5 compiler bugs fixed** — Plus 47 TODOs audited\n- ✅ **Partial feature completion** — cast `=\u003e`, pipelines `|\u003e`, safe nav `?.`, pub use, invariants\n\n### v0.2.15 — Released\n\n- ✅ **Ecosystem \u0026 distribution polish** — Tooling updates, LSP grammar +49 keywords, package registry synced (55→74)\n- ✅ **Website and repo presentation** — Version strings, code examples, install scripts refreshed\n\n### v0.2.14 — Released\n\n- ✅ **Documentation \u0026 quality** — Comprehensive doc review, extended fuzzing, full test suite hardening, code audit across all repos\n\n### v0.2.13 — Released\n\n- ✅ **WebAssembly compilation target** — `ariac --emit-wasm -o program.wasm` compiles Aria to WASI-compatible WebAssembly\n- ✅ **WASM runtime** — `libaria_runtime_wasm.a`: strings, I/O, math, allocators, maps (~850 LOC)\n- ✅ **LLVM WebAssembly backend** — `emit_wasm_object()`, wasm-ld linking, WASI entry point handling\n- ✅ **Compatibility checker** — Warns about unsupported features (threading, async, fork/exec) at compile time\n- ✅ **Compiler-rt builtins** — `__multi3` (128-bit multiply) for int64 arithmetic on wasm32\n- ✅ **WASM test suite** — 4/4 passing: hello world, strings, arithmetic, functions/recursion\n\n### v0.2.12 — Released\n\n- ✅ **Preprocessor macros** — `macro:NAME(params) { body }`, `%*` variadic, `#%N` stringification, `##` token pasting\n- ✅ **Comptime evaluation** — `comptime { }` blocks, evaluated at compile time\n- ✅ **Magic constants** — `__FILE__`, `__LINE__`, `__FUNC__`, `__COUNTER__`\n- ✅ **Inline hints** — `inline` and `noinline` function attributes\n- ✅ **Borrow checker improvements** — Better analysis of conditional paths and reassignment\n- ✅ **Compiler diagnostics** — Improved error messages for macro expansion and comptime errors\n\n### v0.2.11 — Released\n\n- ✅ **Thread pool** — `ThreadPool.create()`, `ThreadPool.submit()`, `ThreadPool.wait_idle()`, `ThreadPool.shutdown()`\n- ✅ **Atomics** — `AtomicInt32`, `AtomicInt64`, `AtomicBool` with all memory orderings\n- ✅ **Lock-free data structures** — `LFQueue` (MPMC), `LFStack` (Treiber), `RingBuf` (SPSC)\n- ✅ **Channels** — `Channel.create()`, `Channel.send()`, `Channel.recv()` for inter-thread communication\n- ✅ **Mutex/RWLock/Barrier/CondVar** — Full synchronization primitives\n- ✅ **OS components** — Arena, pool, slab allocators; shared memory; IPC; signal handling; process management\n- ✅ **AI-native filesystem (AIFS)** — FUSE-based filesystem for AI workloads\n- ✅ **AriaX kernel mods** — Hexstream FD 3-5 patches\n\n### v0.2.10 — Released\n\n- ✅ **aria-transformer** — Full Transformer encoder with multi-head attention, causal masking, attention visualization (10/10 tests)\n- ✅ **aria-mamba** — Mamba SSM: selective scan, 1D convolution, SiLU gating, layer norm (10/10 tests)\n- ✅ **aria-jamba** — Hybrid Transformer + Mamba + MoE: interleaved layers, top-k expert gating (10/10 tests)\n- ✅ **aria-looping** — Iterative refinement model: shared weights, iteration embeddings, convergence stopping (10/10 tests)\n- ✅ **aria-tensor** — Dense tensor library: 47 operations, GPU interop (12/12 tests)\n- ✅ **aria-cuda** — CUDA FFI: device mgmt, memory ops, kernel launch, cuBLAS GEMM (10/10 tests)\n- ✅ **aria-uacp** — Universal AI Communication Protocol: binary framing, 8 message types (12/12 tests)\n- ✅ **Self-improving training loop** — Automated specialist: generate → compile → filter → retrain\n\n### v0.2.9 — Released\n\n- ✅ **HTTP server** — aria-server: listen, accept, parse, respond with headers and status codes\n- ✅ **Express-style router** — aria-router: path params, middleware chains, wildcards, method dispatch (21 tests)\n- ✅ **6 server middleware libraries** — body-parser (28), cors (18), cookie (23), session (23), rate-limit (14), static (22) — 154+ tests total\n- ✅ **REST API demo** — demo_api.aria: 5 endpoints with HTML, JSON, path params, POST handling\n- ✅ **Borrow checker fix** — False positive on void externs with `_close`/`_free` in name\n- ✅ **FFI string return ABI fix** — AriaString struct returns from extern functions\n\n### v0.2.8 — Released\n\n- ✅ **Repo reorganization** — `aria_ecosystem/` split into `aria-packages`, `aria-docs`, and `ariax` repos\n- ✅ **Gamepad input API** — Full button/axis constants in aria-raylib; gamepad support in aria-tetris\n- ✅ **Procedural audio synthesis** — `rl_gen_beep()`: square/triangle/sawtooth/sine tones, no audio files needed\n- ✅ **aria-tetris** — 928-line Tetris clone with sound, gamepad, high score, line-clear flash animation\n- ✅ **aria-gml** — GML compatibility layer: 40+ functions, xorshift32 RNG, persistent draw state\n- ✅ **aria-opengl** — OpenGL 3.3 Core bindings via GLAD + SDL2\n- ✅ **aria-editor** — Terminal-mode text editor (file open/edit/save/search)\n- ✅ **16 new packages** — 59 total in aria-packages\n- ✅ **FFI codegen fixes** — Explicit float literals, auto-wrap `char*` → `AriaString` for extern string returns\n- ✅ **GML → Native tutorial** — Full walkthrough in aria-docs\n\n### v0.3.0 — Released\n\n- ✅ **`--static` flag** — Compile static executables with all dependencies linked\n- ✅ **Fuzzer rewrite** — 27 generators, 100% compile rate, zero unresolved crashes\n- ✅ **BUG-001 through BUG-004 fixes** — Module resolution for FFI packages, linker flag ordering, failsafe/main/exit contract enforcement\n- ✅ **92 ecosystem packages** — 5 new: rules-common, ini, hex, ringbuf, pqueue\n\n### v0.3.1 — Released\n\n- ✅ **Version bump** — Package ecosystem expansion and stability improvements\n\n### v0.3.2 — Released\n\n- ✅ **101 ecosystem packages** — aria-stats, aria-matrix, aria-mock, aria-bigdecimal + SDL3, wxWidgets, WebKitGTK wrappers\n- ✅ **GUI framework expansion** — SDL3, wxWidgets, WebKitGTK bindings via C shim pattern\n\n### v0.3.3 — Released\n\n- ✅ **Safety showcase \u0026 tooling polish** — CI/CD badges, comprehensive documentation fixes (695+)\n- ✅ **Dead code removal** — 860 lines of dead code removed from compiler\n- ✅ **Debug print gating** — 118 debug prints behind `ARIA_DEBUG_CODEGEN` flag\n- ✅ **LSP version bump** — Language server updated to 0.3.3\n\n### v0.3.4 — Released\n\n- ✅ **Z3 SMT Phase 2: Design-by-Contract verification** — `requires`/`ensures` clauses verified at compile time via Z3 solver. Function preconditions and postconditions are mathematically proven across all execution paths.\n- ✅ **Z3 SMT Phase 3: Arithmetic overflow proofs** — Integer arithmetic operations verified using Z3 bitvector overflow intrinsics (`bvadd_no_overflow`, `bvsub_no_underflow`). Proves absence of overflow for bounded inputs.\n- ✅ **`--verify-contracts` flag** — Enable contract verification pass\n- ✅ **`--verify-overflow` flag** — Enable overflow verification pass\n- ✅ **`--verify-report` flag** — Emit detailed proof results (proven/unproven/skipped per function)\n- ✅ **Regression fix** — `test_nested_struct_array` updated: `pass()` → `exit()` in main\n\n### v0.4.x–v0.10.x — Released\n\n- ✅ **v0.4.x** — Z3 Phase 1 (Rules/limit), ecosystem to 103 packages\n- ✅ **v0.5.x** — Z3 Phase 2–3 (contracts, overflow, concurrency, memory verification), `prove`/`assert_static`, `--smt-opt`\n- ✅ **v0.6.x** — TFP types, compiler hardening\n- ✅ **v0.7.x** — JIT: 45+ instructions, register allocator, peephole optimizer, WildX security\n- ✅ **v0.8.x–v0.9.x** — Runtime improvements, GC tuning\n- ✅ **v0.10.x** — 8 stdlib modules ported to aria-libc, 12 pure Aria packages, tests/docs/audit\n\n### v0.11.x — Released\n\n- ✅ **Threading \u0026 concurrency** — Thread pool, atomics, lock-free structures (MPMC queue, Treiber stack, SPSC ring buffer)\n- ✅ **Synchronization** — Mutex, RWLock, Barrier, CondVar\n- ✅ **OS components** — Arena/pool/slab allocators, shared memory, IPC, signal handling, process management\n- ✅ **AI-native filesystem (AIFS)** — FUSE-based filesystem for AI workloads\n- ✅ **AriaX kernel mods** — Hexstream FD 3-5 patches\n\n### v0.12.x — Released\n\n- ✅ **Networking** — HTTP client, DNS, socket, server, URL parsing\n- ✅ **Middleware** — Cookie, CORS, body-parser, session, static file serving, rate limiting\n- ✅ **Protocols \u0026 terminal** — FTP, SMTP, WebSocket, ANSI display, raw keyboard input\n- ✅ **Utilities** — LRU cache, glob matching, retry with backoff\n\n### v0.13.x — Released (current)\n\n- ✅ **Trait system** — Definitions, `impl` blocks, `$i`/`$m` borrows, vtable dispatch, trait bounds on generics\n- ✅ **Enum types** — Tagged unions, pattern matching, exhaustiveness checking\n- ✅ **Generic containers** — Type-parameterized structs/functions, monomorphization\n- ✅ **Deferred features** — Raw strings, pipeline operator, extended escape sequences\n- ✅ **@ function pointers** — Trampoline generation for `@func_name` references\n- ✅ **Documentation** — specs_list.txt, full reference docs, 234-page PDF manual\n- ✅ **Final audit** — 959 tests, 17h+ fuzzing (0 crashes), benchmarks, KNOWN_ISSUES/BUGS cleanup\n\n### v0.14.x — Planned\n\n- AriaX Linux distribution packaging\n- Nikola integration\n- Specialist model retraining with current corpus\n\n### Long Term\n\nAria is the primary language substrate for **Nikola** — an autonomous AI system based on ATPM consciousness architecture. Features like quantum types, balanced types, and the six-stream I/O model exist because Nikola requires them. Aria stability is a hard prerequisite before Nikola development can proceed in earnest.\n\nSee the [engineering plan](https://github.com/alternative-intelligence-cp/nikola) for Nikola's implementation roadmap.\n\n---\n\n## License\n\nAria is licensed under the **Apache License, Version 2.0**. See [LICENSE.md](LICENSE.md) for the full text.\n\nPrograms compiled with Aria are yours — the runtime library includes a **Runtime Library Exception** so your compiled binaries can be distributed under any license you choose.\n\n---\n\n## Contributing\n\nSee [CONTRIBUTING.md](CONTRIBUTING.md). We welcome bug reports, test cases, documentation improvements, and discussion of language design decisions.\n\n---\n\n## Acknowledgments\n\nSee [ACKNOWLEDGMENTS.md](ACKNOWLEDGMENTS.md).\n\n---\n\n**Alternative Intelligence Liberation Platform (AILP)**  \n*Building tools for collaboration, not exploitation.*\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Falternative-intelligence-cp%2Faria","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Falternative-intelligence-cp%2Faria","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Falternative-intelligence-cp%2Faria/lists"}