Sys1 v0.16.0
·
46 commits
to main
since this release
Immutable
release. Only release title and notes can be modified.
Sys1 adds sys1 verify, an experimental check of an agent's final message against reachable evidence.
Changes
sys1 verify --model <backend/model>reads the newest Devin session for the current directory, a--messagefile, or piped text, and checks claims such as deployed, merged or pushed, committed, checks passed, and complete against the Git worktree, linked pull requests, check-command results in the transcript, and fetched live pages. Contradicted claims exit 7; unverifiable evidence is never a contradiction; incomplete runs exit 8.- Live-URL checks accept
--urlfor pages the message did not link; fetched pages are judged against the claimed change on the selected route. - The installed review skill tells agents to verify before reporting completion. Message and page text are never stored.
Install
Requires Bun 1.3.14 or newer. Install this release's package file with npm:
npm install --global --allow-scripts=node-llama-cpp \
https://github.com/hraness/sys1/releases/download/v0.16.0/hraness-sys1-0.16.0.tgzFor an application that only calls a running gateway, skip the optional native runtime:
npm install --omit=optional https://github.com/hraness/sys1/releases/download/v0.16.0/hraness-sys1-0.16.0.tgzVerify
SHA256SUMS on this release lists the SHA-256 of hraness-sys1-0.16.0.tgz, which is 10ad2040701aaf1dd2ad87df11d57201e44515e957db892699fc4882749aeacf. Download both files into one folder and run:
shasum -a 256 -c SHA256SUMSBuilt from commit 245cee608f4b8d8bd2ca3f0148e75fa49ceb6f00. How releases are built and checked.