Sley 2.0.2

Sley 2.0.2 is a point release of Sley 2.0 for the agents that write Sley programs. It adds sley-agent, an agent workbench that ships in the archive next to sley. Correct programs no longer take a slow, expensive write cycle, and they come with tests. The protocol, schema epoch, method table, SSMC1, SCB1 and validation semantics are unchanged, so a 2.0.1 client talks to a 2.0.2 endpoint the same way.

Install

Linux x86_64, as static (musl) binaries.

curl -LO https://github.com/sley-lang/sley/releases/download/v2.0.2/sley-2.0.2-linux-x86_64.tar.gz
curl -LO https://github.com/sley-lang/sley/releases/download/v2.0.2/SHA256SUMS
sha256sum -c SHA256SUMS
tar xzf sley-2.0.2-linux-x86_64.tar.gz
cd sley-2.0.2-linux-x86_64
./bin/sley version
./bin/sley-agent help           # the agent guide
python3 demo/run_demo.py        # prints "result": "PASS"

➡️ Release notes · Quickstart · Workbench contract · sleylang.org

The agent workbench: sley-agent

• Read a program as compact AV1 listings under local names (view, find).
• Write a change as an AF1 frame. AF1 is name-based JSON; the tool derives identities, ordinals and result types.
• Try a frame in one call: it compiles, the kernel validates, and the candidate's tests run. Follow-ups are small: try --on c1 layers a fix or its tests on an earlier candidate.
• Readable refusals. A refusal gives the kernel's symbol, a hint, and the exact frame position. Every problem in a frame arrives in one refusal, and each malformed shape names its fix.
• Run functions and TestCases in process (call, test), with batches over a lower-once, load-once image.
• Submit a Valid candidate (submit). An untested function change is refused unless you say so.

Also in 2.0.2

• Faster execution and startup. A batch loads and verifies an image once. The binary keeps freed memory for reuse. The accepted head loads with one decode per object.
• Allocator exception. sley-agent's allocator is the workspace's one unsafe exception. It is isolated in the binary target by ADR-0052, and a new source-scan gate runs in make quick.
• Fixes. Native-commit recovery (#13), named type expansion (#14) and VM liveness (#15).
• Packaging. The archive has seventeen members. It is built reproducibly and was reproduced on a second host.

Not a GA claim: ga_claimed stays false.