ARO 0.8.0

[KrisSimon]

ARO 0.8.0

Released: 2026-03-29 | Previous: 0.7.4-beta.29

---

OpenAPI Specification — Full Compliance

The contract-first HTTP engine now covers the OpenAPI 3.0/3.1 specification far more completely:

• OpenAPI 3.1 support — JSON Schema 2020-12 dialect accepted alongside 3.0
• Schema composition — full allOf, oneOf, anyOf, not validation
• Discriminator — polymorphic request body dispatch
• Security schemes — apiKey, HTTP bearer, oauth2, openIdConnect enforcement
• Content-type negotiation — request bodies matched by media type
• Multipart and form-encoded — multipart/form-data and application/x-www-form-urlencoded body parsing
• Parameter handling — style/explode serialization, cookie params, header params bound to context, path-level params inherited by operations, required and allowEmptyValue enforcement
• Schema features — additionalProperties, enum constraints, default values, deprecated warnings
• Response validation — response bodies validated against OpenAPI response schemas
• Server variables — templated server URL parsing

Streaming Execution (ARO-0051)

• Stream large files line-by-line with O(1) memory (Stream the <line> from <path>)
• Lazy List streaming in compiled mode (Phase 3 of ARO-0051)
• Binary mode stream for-each preserved correctly via AnyStreamingValue binding
• StreamExample added with documentation

Compiled Binary Performance

• SynchronousAction fast-path — sync actions bypass Task.detached, eliminating per-statement task overhead
• Cooperative driver channel — replaces per-action Task.detached with a shared execution channel
• Pipelined directory iteration — PipelinedDirectoryIterator overlaps I/O with processing
• Lazy recursive List — streamed lazily in compiled mode instead of eagerly materialized

Language

• Multi-field object Update (ARO-0004) — update multiple fields in a single statement
• Short-hand logical comparisons — <x> = "a" or "b" automatically expands to <x> = "a" or <x> = "b"

Interpreter / Binary Parity

• Dict extraction with result specifiers — Extract the <field: key> from <dict> now works when the source is a pre-parsed dictionary (fixes [object Object] in interpreter mode for form-encoded bodies)
• Keyboard event key binding — key bound directly in interpreter mode, matching binary behavior
• Expression name isolation — _expression_name_ no longer leaks from Application-Start into handler contexts

Bug Fixes

• Fix LLVM dominance violation in for-each stream dispatch path
• Fix SIGBUS and double-free in compiled for-each loops
• Free AROCValue boxes from executeAction and aro_array_get in for-each (memory leak)
• Fix SplitAction to resolve object specifiers before splitting
• Fix repository observer where/when condition evaluation
• Fix false-positive unused-variable warnings and array request body serialization
• Replace unbounded processingUrls with BoundedSet (closes Binary output: Extra indentation added to output lines #154)
• Silence three compiler warnings in release build

Linux

• Guard autoreleasepool with #if canImport(ObjectiveC) for Linux builds
• Replace URL.lines with FileHandle for Linux compatibility in stream reader
• Fix ObjectUpdate extra output on Linux

Testing

• SSE example test hints corrected — type: keepalive (invalid) replaced with proper keep-alive: true + 8s timeout
• Port conflict resolution for binary-mode HTTP server tests

---

Full diff: 0.7.4-beta.29...0.8.0