Sley v1.2.0

Sley 1.2.0 release candidate

Sley 1.2.0 is a self-hosted, agent-native structural programming language release candidate for compiler-mediated, human-reviewed software change.

This release candidate adds repository-local validation profiles, stable worker and transaction contracts, bounded structural tooling, deterministic proof gates, and a governed change lifecycle with CLI and MCP parity.

Verification

• 38 release targets
• 99 schemas
• 187 of 187 contract fixtures
• 264 of 264 declared integration checks
• 11 of 11 release-packet verification checks
• 4 of 4 public-release checks

Supported artifact

• Platform: Linux x86_64
• Archive: sley-1.2.0-linux-x86_64.tar.gz
• SHA-256: 2765aa5adb09f2ef071b5c97d2726951193b0ac97ddddb9e91e26c5562261838
• Included verification material: checksum, unsigned provenance, SPDX 2.3 SBOM, and license inventory

Scope and limitations

This is a local release candidate, not a production promotion. The retained K1/K3 result is one bounded controlled trial, not a general benchmark. The provenance records provider origin assertions but is not a cryptographic provider attestation. Package-manager publication, artifact signing, macOS, Windows, containers, and production runtime deployment are outside this release.

See the repository migration guide and docs/v1.2 evidence for the complete release procedure, threat model, and retained limitations.

Public references

• Release Chronicle: https://greyforge.tech/chronicles/sley-1-2-release-candidate
• Language site: https://sleylang.org/
• Documentation: https://sleylang.org/docs