v0.1.710

Fix inferred types of returned closures passed through aliases. Coroutine factories now compile on C and LLVM without an explicit Coro[unit] parameter annotation. Type specialization also respects nested bindings of the same name and propagates newly concrete uses through producers.

Add regressions for ordinary and sized coroutines, once-only factory effects, region copies, and aliased closures accepting record, tuple, function and SIMD arguments. The parity corpus now contains 247 programs.

Update host I/O documentation to match current read_lines, env_var and Wasm stderr support. File parity checks include empty files and final newlines.

Configure Linux package downloads before OCaml setup, using the official HTTPS Ubuntu archive, including indirect mirror lists, with bounded requests while preserving existing opam caches. All 187 required gates and four build configurations remain enabled.

Validation includes 2,946 tests, four-backend parity fixtures, compiler sanitizer checks, and type-processing scaling checks.