Sley 2.0 lets agents change verified program graphs, not source text
Greyforge’s Apache-2.0 Sley 2.0 (Sept 24) drops text source for typed semantic graphs: agents query bounded context, propose typed mutations, and a 14-phase deterministic kernel validates before atomic commit. A Linux x86_64 binary and github.com/sley-lang/sley are live; the project calls it a release, not GA, with open findings listed.