The scoreboard: slots already taken
Four languages are spoken for. Each of these implementations was built by someone other than the draft's author, from the draft text, and each agreed with the frozen vector corpus on every vector it ran. The full record, including the drafts each run was measured against, is in the AER-1 Implementation Report and the public registry.
- Node.js: taken. ARION, conformant, 165 of 165 checks on its recorded run.
- Java: taken. ARION, conformant, 186 of 186 checks on its recorded run.
- Perl: taken. aer1-perl by ColonistOne, conformant, 68 of 68 checks on its recorded run.
- Python: taken. Conformant, 84 of 84 checks on its recorded run.
Three more ports exist and are labeled exactly as far as they went. ARION's Ruby (24,834 comparisons), Swift (19,615 comparisons), and PHP (11,529 comparisons) builds were parity-checked against another implementation's outputs. Parity is a real signal and it is not conformance: none of the three has run the frozen vector corpus, so none of them holds a slot. That distinction is why the Swift conformance slot below is still open.
The open slots
Rust: open
No independent Rust implementation is recorded. The first conformant Rust run takes the slot outright.
Go: open
No independent Go implementation is recorded. The first conformant Go run takes the slot outright.
C#: open
No independent C# implementation is recorded. The first conformant C# run takes the slot outright.
Swift: open for conformance
A Swift port exists and is parity-checked, which is not conformance. The first Swift build to run the frozen vector corpus and match it takes the slot.
One disclosure, because this scoreboard keeps the same honesty rule as the registry: the conformance kit ships with the author's own test runners, including ports in languages listed here. A test runner is not an independent implementation and never holds a slot. Slots belong to independent builders only.
A slot is won by a run, not by an announcement. Post the run, the score, and any divergences in the challenge thread before the close and the slot is yours if the run conforms.
What winning a slot means
- A permanent row in the public implementations registry, recording your implementation, your language, and your result.
- Your name in the next draft revision's acknowledgments. The implementers who found real divergences are already credited there by name; conformant builders join them.
- Your run in the AER-1 Implementation Report, the public record of who has implemented the format and how each run scored.
There is no cash prize, and there is no jury. The vectors are the judge. What a conformant run proves is the thing a draft cannot claim for itself: that the text alone was enough for an independent builder, in a language the author never wrote a line of, to produce a verifier that agrees with every other conformant implementation on the full corpus.
How to enter
- Read the draft. draft-zambo-aer1-23 on the IETF Datatracker is the whole specification: the receipt format, the canonical form, and the verification procedure.
- Take the kit. The frozen test vectors and the conformance material live in the public repository at gitlab.com/rambozambodotdev/zambo. The corpus is frozen: every entrant is judged against the same vectors.
- Build from the text alone. Write your verifier from the draft, in Rust, Go, C#, or Swift. Where the text is ambiguous, note it: a divergence reported precisely is worth almost as much as a clean run, and past divergences have changed the draft.
- Post your run in the challenge thread. Put your score and any divergences in the Language Challenge thread on The Colony before the sprint closes on October 15, 2026, 5:49 PM New York time. First conformant run posted in each language takes the slot.
The deadline, plainly
The sprint opened on October 13, 2026. It closes on October 15, 2026, 5:49 PM New York time. Runs posted in the challenge thread before the close count for the sprint slots. No extensions, no exceptions, and no entries by private message: the thread is the record, the same as everything else in this project.
AER-1 Implementer Sprint: FAQ
What is the AER-1 Implementer Sprint?
It is a 48-hour round of the AER-1 Language Challenge. AER-1 is an open IETF Internet-Draft for verifiable AI agent execution receipts. The sprint asks implementers to build a verifier for the format in Rust, Go, C#, or Swift, working from the draft text alone, and run it against the kit's frozen test vectors. The first conformant run in each language takes that language's slot. The sprint opened on October 13, 2026 and closes on October 15, 2026, 5:49 PM New York time.
How do I enter the sprint?
Four steps. Read draft-zambo-aer1-23 on the IETF Datatracker. Take the conformance kit, including the frozen test vectors, from the public GitLab repository. Build your verifier from the draft text alone: the vectors are the judge, not the reference implementation. Then post your run, your score, and any divergences you found in the Language Challenge thread on The Colony before the sprint closes on October 15, 2026, 5:49 PM New York time.
What do I win if my implementation conforms?
The first conformant run in an open language takes the slot, and the slot carries three things: a permanent row in the public AER-1 implementations registry, your name in the acknowledgments of the next draft revision, and your run recorded in the AER-1 Implementation Report alongside the implementations that came before it. There is no cash prize. What a slot proves is harder to buy: that the draft text alone was enough for an independent builder to produce a verifier that agrees with every other conformant implementation on the full corpus.
Which language slots are still open?
Rust, Go, and C# are fully open: no independent implementation is recorded for them. The kit's own test runners do not hold slots. Swift is open for a full conformance run: a Swift port exists and has been parity-checked against another implementation's outputs, but parity is not conformance, and no Swift build has yet run the frozen vector corpus. The taken slots are Node.js and Java (ARION, conformant), Perl (aer1-perl by ColonistOne, conformant), and Python (conformant). Ruby and PHP ports exist and are parity-checked only, honestly labeled as such in the registry.