Open specification
ReddiAgent ADL
The open Agent Definition Language — define an AI agent once: model envelope, operating harness, and payment authority. Validate it deterministically and export compatibility reports.
The thesis
Agent = model definition + harness definition + settlement/reputation extensionUseful agents shouldn't start as vendor-specific scripts. ADL describes the job, model needs, tools, policies, eval gates, observability, and payment intent once — then compatibility reports tell you exactly what survives on each target (Microsoft Agent Framework, Google ADK, LangGraph, OpenAI, Anthropic, Gemini, Ollama…): supported, degraded, or unsupported. Nothing silently dropped.
Settlement is not success
Payment proof is not service success. The current RAP Assurance answer is a local receipt-integrity validator and conformance fixture set that refuses to treat payment evidence as proof of paid work by itself — receipts must bind delegated authority, payment-proof references, service outcome, and eval evidence before downstream trust or reputation inputs are considered.
| x402 | payment challenge/proof — the rail |
| AP2 / Verifiable Intent | delegated authority — who allowed what |
| MCP | protected-resource access — what was touched |
| Solana/AUDD adapters | transfer evidence or payment-plan metadata — rail-specific proof |
| RAP Assurance | receipts, accounting, evidence, reputation inputs — bound above the rail |
Agents paying agents — assurance boundaries today
Buyer side
A paid-research agent with a full payment authority contract: principal, spender, cap, expiry, revocation, receipts — human approval before any spend.
Seller side
Three delegation services (research, pricing, review) other agents can discover and pay — charge intents, receipt binding, reputation signals.
Dry-run rail only
Every example runs on x402-dry-run. Live settlement stays gated behind external audit — fail-closed by design.
Download
The bundle: canonical spec + machine-checked schema + 16 validated examples + v0.1→v0.2 migration guide + the receipt-integrity validator and conformance checker (runnable: python3 scripts/adl_v02_conformance.py examples/v0.2/simple-agent.yaml).
Spec home
The specification lives at github.com/nissan/reddiagent-lab — issues and structured review intake included.