v0.1.713

Resource with-expressions now require a present close field to have type unit -> unit. The checker substitutes record type arguments before constraining and generalizing the resource, so parameterized resources and wrappers preserve the contract. Invalid close values are rejected consistently by the interpreter, checker and every compiled target.

RV32 and RV64 support with-expressions, including single acquisition, LIFO cleanup and preservation of the body result. Existing failure behavior is preserved: cleanup follows normal return and does not provide exception finalization. Wasm close-field accesses use the current eight-byte value layout, and LLVM uses instantiated record aggregates and the i64 unit calling convention.

The README execution gate runs in the containers group while retaining its full-suite rerun. All 191 gates, nine integration groups and four build configurations remain required. Runtime oracles require resource scopes and factory values to execute at both RISC-V widths.

Linux x86_64 and macOS arm64 assets are provided with SHA256SUMS. Linux binaries are built on Ubuntu 24.04 and checked on stock Ubuntu 24.04 and 26.04.