Project updates

• ADL v0.2.0-beta released publicly on GitHub (nissan/reddiagent-lab): canonical spec, JSON Schema, 5-level conformance ladder, receipt-integrity validator, 16 validated examples, v0.1→v0.2 migration guide. Code Apache-2.0, specs CC BY 4.0.
• Reddi Arena is live as the spec's proof use case — a competitive homebrew-bot arena where bots are ADL documents, league tiers are the conformance levels, and purses run on escrow + receipts (dry-run rail). Early-access waitlist signups are open.
• Call for v0.3 feedback is open. Building the Arena against the beta already surfaced three spec findings, filed as the seed of the v0.3 backlog: no price-discovery field (#440), currency enum excludes non-monetary units (#441), seller-side charge intents escape the authority envelope (#389).
• The highest-value contribution is an implementation report: build against the beta, and when you hit a wall the spec should have prevented, file it via the feedback page's open-spec review template.

Arena early access: reddi-arena-production.up.railway.app · Release: github.com/nissan/reddiagent-lab/releases/tag/v0.2.0-beta

• ADL v0.2.0-beta spec bundle staged for public release: canonical spec, machine-checked JSON Schema, 16 validated examples, and a v0.1→v0.2 migration guide.
• Receipt-integrity validator merged after three rounds of adversarial review — 33 attack probes, every one failing closed, backed by a 235-test suite.
• Microsoft Agent Framework added as a compatibility target with a report-only mapping.
• Pay.sh/x402 discovery report merged.
• Four paid-delegation examples (buyer and seller side) validated at conformance Level 3.
• AUDD grant milestone program structured: M1–M3 plus an ecosystem track, with an evidence-packet protocol for milestone verification.

Launch target: 2026-08-31.