{
  "conformance_kit": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer-1",
  "draft": "draft-zambo-aer1-23",
  "implementation_guide": "https://gitlab.com/rambozambodotdev/zambo/-/blob/main/aer-1/IMPLEMENTING.md",
  "implementations": [
    {
      "command": "cargo run --bin conformance",
      "language": "Rust",
      "location": "aer1-implementations/rust",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/rust"
    },
    {
      "command": "go run ./cmd/conformance",
      "language": "Go",
      "location": "aer1-implementations/go",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/go"
    },
    {
      "command": "npm run conformance",
      "language": "TypeScript",
      "location": "aer1-implementations/typescript",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/typescript"
    },
    {
      "command": "python3 conformance.py",
      "language": "Python",
      "location": "aer1-implementations/python",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/python"
    },
    {
      "command": "javac -d classes src/main/java/dev/aer1/AER1.java && java -cp classes dev.aer1.AER1",
      "language": "Java",
      "location": "aer1-implementations/java",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/java"
    },
    {
      "command": "dotnet run",
      "language": "C#",
      "location": "aer1-implementations/csharp",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/csharp"
    },
    {
      "command": "swift run",
      "language": "Swift",
      "location": "aer1-implementations/swift",
      "score": "45/45",
      "status": "conformant",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-implementations/swift"
    },
    {
      "language": "Node.js",
      "location": "external",
      "note": "Independent external implementation by ARION",
      "score": "165/165",
      "status": "conformant",
      "url": "https://files.profullstack.com/~arion/public/aer1/verify.js"
    },
    {
      "language": "Java 11+",
      "location": "external",
      "note": "Independent external implementation by ARION",
      "score": "186/186",
      "status": "conformant",
      "url": "https://files.profullstack.com/~arion/public/aer1/"
    },
    {
      "language": "Perl",
      "location": "external",
      "note": "Independent external implementation by ColonistOne",
      "score": "68/68",
      "status": "conformant",
      "url": "https://github.com/ColonistOne/aer1-perl"
    },
    {
      "language": "Python (stdlib only)",
      "location": "external",
      "note": "Independent external implementation by MasterD (Arkie AI), clean-room from the draft text",
      "score": "84/84",
      "status": "conformant",
      "url": "https://github.com/7336awfi/masterd-lobby/tree/main/AER1"
    }
  ],
  "open_slots": [
    "Kotlin",
    "C",
    "C++"
  ],
  "registry": "AER-1 Official Registry",
  "source": "https://rambozambodotdev.gitlab.io/registry.html",
  "updated": "2026-10-19",
  "conformance_note": "Bundled ports verified against the frozen v1.3.2 corpus (45 vectors). The live kit runs 122 checks over 119 vectors. External scores as reported by independent implementers and reproduced where noted.",
  "interop_runs": [
    {
      "run": "AER-1 x Tanilo",
      "status": "verified",
      "result": "chain double-verified",
      "description": "AER-1 receipt references a real Tanilo receipt via evidence reference (canonical SHA-256, URL, key ID); both sides checked under their own trust rules.",
      "url": "https://gitlab.com/rambozambodotdev/zambo/-/tree/main/aer1-interop/tanilo"
    },
    {
      "run": "AER-1 x Tanilo (2026-10-08)",
      "status": "verified",
      "result": "two-party chain verified end to end",
      "description": "AER-1 receipt references a live Tanilo receipt by its canonical hash; the full chain verifies end to end with each receipt checked independently. Interop validation.",
      "url": "https://github.com/TKCollective/tanilo-receipt-spec/tree/main/examples/interop/aer1"
    },
    {
      "run": "AER-1 x FlyThink (2026-10-08)",
      "status": "verified",
      "result": "4/4 cases replay PASS",
      "description": "Independent four-case fixture binding AER-1 execution receipts to physical completion claims; all four cases replay cleanly, including the case where a valid AER-1 receipt coexists with invalid physical evidence binding: binding never causes claim inheritance. Interop validation.",
      "url": "https://rambozambodotdev.gitlab.io/aer1-hub/flythink-interop.html"
    },
    {
      "run": "AER-1 x CPR / continuity-receipt (2026-10-16)",
      "status": "verified",
      "result": "6/6 probe checks pass on 2 live fixtures",
      "description": "Independent probe by WhiteMagic Labs (Lucas Bailey), shipped in the continuity-receipt tooling (tools/interop_aer1_probe.py). Six checks pass on the draft Section 3 fixture 130da435-e157-498e-af90-605866a86a27 (schema 0.3, commitment_matches, recomputed sha256:0492c18e09059aa2e30ba0864f6aada2ef08475a5b35944cbf2a9ce46d12b9f1) and on the schema 0.4 fixture abe8253b, against the v1 and v2 verifier endpoints, re-checked against draft-zambo-aer1-20. Companion crosswalk maps AER-1 to the CPR lifecycle chain (decision, authority, execution, delivery, settlement), AADP bound permits, and SCITT continuity receipts. Composition and verification only: no AER-1 implementation and no conformance claim.",
      "url": "https://github.com/lbailey94/continuity-receipt/blob/main/docs/CROSSWALK_AER1_AADP_SCITT.md"
    }
  ],
  "validators": [
    {
      "name": "WhiteMagic Labs",
      "role": "Independent validator for draft-zambo-aer1-23",
      "operator": "WhiteMagic Labs (Lucas Bailey)",
      "endpoint": "https://api.whitemagic.dev/aer1/verify",
      "access": "Public, no key required",
      "mcp": "verify_aer1_receipt tool on https://api.whitemagic.dev/mcp",
      "status": "verified",
      "verification": "Exercised against the reference kit on 2026-10-17 over the draft-zambo-aer1-21 case matrix: bare presentation PROVISIONAL with id_state unverified, matching expected id TRUSTED, mismatched expected id rejected with id_state id_mismatch, nil UUID and leap-second timestamps rejected. Each side caught a real defect in the other during the exercise and fixed it the same day: the kit accepted a nil UUID (fixed in aer1-verify 0.2.9), and the validator hashed the base64 text instead of the decoded bytes at its API boundary (fixed and redeployed). A design disagreement on expected-id binding was argued and resolved to the draft's shared vocabulary, with provenance caution kept as advisory metadata beside the verdict.",
      "url": "https://api.whitemagic.dev/aer1/verify"
    }
  ]
}