Compare commits

...
A pull request between these branches already exists: teleo/teleo-codex#620

rio: extract claims from 2025-10-20-futardio-launch-zklsol #620