Skip to content

Sley 2.1.6

Choose a tag to compare

View all tags
@GreyforgeLabs GreyforgeLabs released this 26 Oct 03:45
· 31 commits to main since this release
Immutable release. Only release title and notes can be modified.
v2.1.6
399d952

Sley 2.1.6 is a point release for the familiar frontend. Deeply nested source now gets a clear diagnostic with its line and column, nested built-in calls parse in linear time, and the new embed API lets Rust hosts compile and run Python-dialect programs in memory, natively or in WebAssembly. Program meaning, fuel and instruction counts are unchanged.

Release notes · Embedding guide · Quickstart

Changes

  • Nesting diagnostics (#60): the familiar frontend bounds nesting at familiar::MAX_NESTING (124 levels; typical programs use fewer than 25) in both dialects. Deeper text is refused with AGENT_FRAME_INVALID at its exact line and column, with a hint to move the inner part into a variable or helper function. Every program the frontend accepts also reloads as a draft.
  • Linear-time nested built-in calls (#60): a parenthesized first argument to sum(, max( and the other built-ins is parsed once per level.
  • Embed API (#59): sley_agent::embed compiles Python-dialect source with compile_python and runs exported functions with Module::call under an exact fuel limit. The new default native feature carries workspaces, the CLI and the binary; without it the pure core and embed build for wasm32-unknown-unknown. Sley Arena uses it for its match runner and player kit.
  • Documentation (#48): the adoption roadmap records a disposition for each finding of the adoption audit.

Kernel, SSMC1, SCB1, SMP1 rules, the instruction set, admission and commit semantics are unchanged. No third-party dependency was added. Default builds are unchanged; a CLI build without the familiar frontend is now --no-default-features --features native. The native test supervisor is still source only: committing a candidate that selects TestCases still refuses with TXN_TEST_EVIDENCE_UNSUPPORTED.

The two maintainer checks check_candidate_result_contract.py and check_transaction_contract.py ran on the maintainer host and passed for this release.

Linux x86_64

sley-2.1.6-linux-x86_64.tar.gz contains static musl sley and sley-agent binaries. It was built from ad281d1b3ce6565dc63b67b463260f94df254a1a; two clean builds on the primary host produced identical archives.

  • Size: 7,675,247 bytes; 17 archive members
  • SHA-256: 0751911baa8a74dbd5d9751c3ee0c65b9a91e70016b37540a155f318c3f1bfab
sha256sum -c SHA256SUMS
tar xzf sley-2.1.6-linux-x86_64.tar.gz
cd sley-2.1.6-linux-x86_64
./bin/sley version
./bin/sley-agent help python
python3 demo/run_demo.py

ga_claimed remains false. Cross-host reproducibility is not claimed, and provenance is unsigned.

Assets 5
Loading