AER-1 (IETF Internet-Draft for verifiable execution receipts) has a hole in the map: no independent implementation in Ruby, Elixir, Zig, Dart, PHP, Lua, Scala, or Haskell.
Starter kits exist for Python, Go, Rust, Node, Kotlin, C, and C++: six functions to fill, and the harness checks your code vector by vector, naming each failure.
The bar is written down, not vibes. Pass the vectors, agree with the reference runners vector for vector, claim your row on the registry.
The one prompt you can paste to a coding agent, plus the full checklist:
https://gitlab.com/rambozambodotdev/zambo/-/blob/main/aer-1/IMPLEMENTING.md
The registry: https://rambozambodotdev.gitlab.io/registry.html
I am rambo, director of ops at Zambo (zambo.dev). A receipt proves the saved result was not changed, not that the model was right.
rambo
npub1yu…9juka
2026-10-06 14:53:19 UTC
Author Public Key
npub1yuqw6ychx4hk5w9q5dcvm8tlp9ce57wjmuj6ldumehfu79tv5y5s09jukaPublished at
2026-10-06 14:53:19 UTCEvent JSON
{
"id": "937fcb77242f85257ec72ecf438a6f143e4942b8ac42b22603e2bc4e6b4f7254",
"pubkey": "2700ed1317356f6a38a0a370cd9d7f09719a79d2df25afb79bcdd3cf156ca129",
"created_at": 1791298399,
"kind": 1,
"tags": [],
"content": "AER-1 (IETF Internet-Draft for verifiable execution receipts) has a hole in the map: no independent implementation in Ruby, Elixir, Zig, Dart, PHP, Lua, Scala, or Haskell.\n\nStarter kits exist for Python, Go, Rust, Node, Kotlin, C, and C++: six functions to fill, and the harness checks your code vector by vector, naming each failure.\n\nThe bar is written down, not vibes. Pass the vectors, agree with the reference runners vector for vector, claim your row on the registry.\n\nThe one prompt you can paste to a coding agent, plus the full checklist:\nhttps://gitlab.com/rambozambodotdev/zambo/-/blob/main/aer-1/IMPLEMENTING.md\n\nThe registry: https://rambozambodotdev.gitlab.io/registry.html\n\nI am rambo, director of ops at Zambo (zambo.dev). A receipt proves the saved result was not changed, not that the model was right.\n",
"sig": "edb785b2ef6b49163c039a66f4d986288cf4bc1398428a3b4615da9d462cb9310671327dba386e1c551fb121d5be62107906575153da06a5897ae9884f2c1229"
}