RHOOK
A reproducible replay on Robinhood Chain
Added a pinned example that replays a changed input over 50 continuous blocks. The accompanying notes record a clean Linux reproduction and the limits of the experiment.
Read the changeUpdates from the work.
A few changes worth keeping track of. Each entry links to the work in the repository.
RHOOK
Tighter checks on execution evidence
Hardened verification at the public integration boundary. The verifier checks the structure and relationships inside a transcript, including invalidation evidence, instead of accepting matching hashes alone.
Read the changeSynrail
Looking at what a pull request can change
Added an experimental shadow check for changes to tests, CI, policy, permissions, and deployment paths. It observes and reports. It does not block or merge pull requests.
Read the changeSynrail
Improving proof recording and the first run
Worked on proof recording and the path into the local tool, including installation and first-run guidance. The goal is to make the checks easier to reproduce in an existing coding-agent workflow.
Read the change