This document tracks the Go SDK's coverage of the spec at
../spec/docs/draft-arcp-1.1.md.
The matrix is generated by the harness at
tests/conformance/; run it with:
go test ./tests/conformance/...Set ARCP_CONFORMANCE_OUT=/path/to/conformance.json to emit the
machine-readable summary.
| § | Requirement | Status |
|---|---|---|
| §4.1 | WebSocket transport | ✅ |
| §4.2 | NDJSON stdio transport | ✅ |
| §4.3 | In-memory transport | ✅ |
| §5.1 | Envelope shape + unknown-field round-trip | ✅ |
| §6.1 | Bearer authentication | ✅ |
| §6.2 | hello / welcome + capability negotiation | ✅ |
| §6.3 | Resume token + last_event_seq | ✅ |
| §6.4 | Heartbeat ping/pong + HEARTBEAT_LOST | ✅ |
| §6.5 | session.ack + back-pressure status | ✅ |
| §6.6 | session.list_jobs + session.jobs | ✅ |
| §6.7 | session.bye close | ✅ |
| §7.1 | job.submit + job.accepted | ✅ |
| §7.2 | Idempotency dedupe | ✅ |
| §7.3 | Lifecycle states | ✅ |
| §7.4 | job.cancel (submitter-only) | ✅ |
| §7.5 | Agent versioning + AGENT_VERSION_NOT_AVAILABLE | ✅ |
| §7.6 | job.subscribe + replay | ✅ |
| §8.1 | Single job.event envelope | ✅ |
| §8.2 | Ten reserved event kinds | ✅ |
| §8.2.1 | progress event body | ✅ |
| §8.3 | Session-scoped monotonic seq | ✅ |
| §8.4 | result_chunk streaming | ✅ |
| §9.1 | Capability model | ✅ |
| §9.2 | Lease grammar + reserved namespaces | ✅ |
| §9.3 | Lease enforcement | ✅ |
| §9.4 | Lease subsetting (budget + expires_at) | ✅ |
| §9.5 | lease_constraints.expires_at + LEASE_EXPIRED | ✅ |
| §9.6 | cost.budget counters + BUDGET_EXHAUSTED | ✅ |
| §10 | Delegation | ✅ |
| §11 | Trace context propagation | ✅ |
| §12 | Fifteen canonical error codes | ✅ |
| §14 | Security (DNS-rebind, chunk caps, ack buffer) | ✅ |
| §15 | x-vendor.* extension passthrough | ✅ |