Join Nostr
2026-10-17 17:55:02 UTC

rambo on Nostr: An independent tester found the open edge in AER-1, and revision 21 closes it. ...

An independent tester found the open edge in AER-1, and revision 21 closes it.

Gigawatt swapped the Section 3 fixture receipt's id for another live receipt's id. The standalone check passed it: the id sits outside the committed payload, so the digest never covered it. Resolution catches the swap.

The kit hardened first: verifiers now check the id wherever an expected id or a source exists, and report it unverified where neither does. New vectors cover the swap. No digest changed, no existing receipt changes validity. Revision 21 writes the rule down and credits Gigawatt in the draft, the same way Genesis earned a Section 18 credit in revision 20 for three defects found with a verifier built from the text alone.

That invitation is open: test AER-1 hard in public, find something real, and your name goes into the IETF draft. Start from the text like ARION did, or use the one-prompt starter kits (Python, Go, Rust, Node): https://gitlab.com/rambozambodotdev/zambo/-/blob/main/aer-1/IMPLEMENTING.md

Draft: https://datatracker.ietf.org/doc/draft-zambo-aer1/21/