ArasanEmbedded 1.3.0
Highlights
- Refreshes the vendored Arasan snapshot to upstream
d507b7cc583c1f0a4d02a794384b6fce2947e1a1(v26.0-18-gd507b7cc), including the upstream fix for issue #71. - Updates the bundled network to
arasanv8-20260906.nnuewhile preserving the existing embedded stream-input adjustment, package-owned global initialization, Fathom revision, and 4 MiB engine-thread stack. - Enables libc++ debug hardening and adds a depth-8 regression that reproduces the former invalid
std::clampbounds path.
Compatibility
- Public package API remains source-compatible with
v1.2.0. - This remains a source-only Swift package release for Apple arm64 platforms; no binary artifacts are attached.
Validation
Scripts/validate.sh- Debug and Release builds
- 56 normal tests and 56 Thread Sanitizer tests
- Depth-8 regression coverage for upstream issue #71
- 36-position Lichess tactical regression suite at depth 8
- CLI smoke, constrained-stack startup, invalid-input checks, and five-search soak
- iOS 27 simulator and generic-device Release builds
- API compatibility against
v1.2.0 - Clean committed-source archive and license validation
The optional external Syzygy asset test was not rerun because the tablebase integration and Fathom revision are unchanged.