AER-1 Implementations Registry

A public implementation is listed only after it passes the versioned vector index. This registry is intentionally small.

Reference implementation

NameLanguageSpec versionResultSource
Zambo receipt verifierPython0.3, draft -01Reference fixtures pass; live network verification is separate.Verifier

Listing criteria

An entry must identify its language and version, run the published vector index, report every expected verdict, and link to inspectable source. No second implementation is claimed here.

Implementation report

The report is a downloadable snapshot of this release's criteria and result. Independent submissions remain open through the public issue venue.