What is tested
A schema pass proves that a message has a valid shape. A recovery test must also prove what happens when a process or connection fails.
DASP currently has artifact checks and separate client package tests. There is no complete host conformance runner or certification claim.
Available evidence
| Check | Runs today | Does not establish |
|---|---|---|
| Core artifacts | All 14 event types, invalid vectors, profile payloads, and recorded recovery | Behavior of a running host |
| Capability discovery artifacts | Closed control examples, exact schema bytes, shared 1,000-summary scale and limit fixtures, recorded identity cases, and profile-boundary fixtures | Discovery-capable binding selection, authentication, framing, correlation, live host behavior, streamed transport, or binding interoperability |
| WebSocket delivery transcripts | Recorded capture/confirmation order, retained and conflicting opens, fixed replay pages, late cancelled pages/failures, and open timeout | Running subscriptions, real commit races, queue bounds, liveness, or permissions |
| Encrypted carrier artifacts | Carrier/header shapes, raw header integer tokens, Unicode restrictions, duplicate header keys, canonical base64url, selected byte bounds, and matching metadata | Outer wire parsing, cryptography, key confirmation, setup, peer trust, or runtime encrypted delivery |
| Authority artifacts | Closed grant/selection schemas, original-byte parsing, Ed25519 vectors with one Node implementation, scope examples, recorded retries/budgets, and serial commit orders | Independent cryptographic agreement, current trust administration, actual concurrency, crash safety, or encrypted exchanges |
| Extension contract | Written selection, scope, saved protection, and version runtime cases | Actual setup confirmation, dependency enforcement, session protection, or upgrade behavior |
| Elixir and TypeScript clients | JSON parsing, core validation, reply checks, deadlines, retries, checkpoints, duplex dispatch, completion pushes before a receipt, and shared live-recovery cases | Persistent storage, a WebSocket connection adapter, encryption, authority enforcement, or a complete live binding |
| Host and binding behavior | Written runtime cases only | Admission atomicity, concurrent retries, restart, stale-worker control, authorization, or power-loss safety |
The artifact report and requirement index below cover recorded fixtures. Client package tests run separately and do not count as host evidence.
Run and inspect
Use Running checks for commands and output. The shared capability-discovery fixture records deterministic scale and failure inputs for both clients. The behavioral cases specify future fault tests. The machine-readable requirement index is the source for the table below.
Requirement index
All artifact links below indicate partial example coverage only.
| Requirement | Scope | Artifact cases | Runtime cases |
|---|---|---|---|
| DASP-MODEL-001 | Actor and host | None | RUN-RESTART — not executed |
| DASP-MODEL-002 | Session identity | ART-TRACE | RUN-LIVE-POLLING — not executed |
| DASP-MODEL-003 | Command lifecycle | ART-TRACE | Not specified — not executed |
| DASP-MODEL-004 | Saved and temporary data | ART-TRACE | Not specified — not executed |
| DASP-ENV-001 | Attributes | ART-SHAPES, ART-NEGATIVE, ART-EXTENSIONS | Not specified — not executed |
| DASP-ENV-002 | Three identities | ART-SHAPES, ART-NEGATIVE, ART-EXTENSIONS | Not specified — not executed |
| DASP-ENV-003 | Extensions and portable data | ART-SHAPES, ART-NEGATIVE, ART-EXTENSIONS | Not specified — not executed |
| DASP-ENV-004 | Baseline limits | ART-SHAPES, ART-NEGATIVE, ART-EXTENSIONS | RUN-CAPACITY — not executed |
| DASP-MSG-001 | Shared values | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-MSG-002 | Catalog | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-MSG-003 | Session | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE, ART-LIVE-TRACE | RUN-EXTENSION-RECOVERY — not executed |
| DASP-MSG-004 | Command and receipt | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-MSG-005 | Saved updates | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-MSG-006 | Outcomes | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-MSG-007 | Views and replay pages | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE, ART-LIVE-TRACE | Not specified — not executed |
| DASP-MSG-008 | Progress and resync | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE, ART-LIVE-TRACE | Not specified — not executed |
| DASP-MSG-009 | Failure | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-MSG-010 | Operation rules | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE, ART-LIVE-TRACE | Not specified — not executed |
| DASP-MSG-011 | Core error meanings | ART-SHAPES, ART-NEGATIVE, ART-RELATIONS, ART-TRACE | Not specified — not executed |
| DASP-PROFILE-001 | Application profile | ART-PROFILE | RUN-LIVE-POLLING — not executed |
| DASP-PROFILE-002 | Transport binding | None | RUN-LIVE-OPEN, RUN-LIVE-POLLING — not executed |
| DASP-PROFILE-003 | Multiple clients | ART-TRACE | RUN-LIVE-SCOPE — not executed |
| DASP-PROFILE-004 | Release boundary | None | Not specified — not executed |
| DASP-EXT-001 | Optional support and required behavior | None | RUN-EXTENSION-SELECTION — not executed |
| DASP-EXT-002 | Identity, definition, and dependencies | None | RUN-EXTENSION-SELECTION, RUN-EXTENSION-VERSIONS — not executed |
| DASP-EXT-003 | Scope | None | RUN-EXTENSION-SCOPE, RUN-EXTENSION-RECOVERY — not executed |
| DASP-EXT-004 | Authenticated selection and mutual confirmation | None | RUN-EXTENSION-SELECTION, RUN-EXTENSION-SCOPE — not executed |
| DASP-EXT-005 | Saved session protection and recovery | None | RUN-EXTENSION-RECOVERY, RUN-EXTENSION-VERSIONS — not executed |
| DASP-EXT-006 | Enforcement and failure | None | RUN-EXTENSION-SELECTION, RUN-EXTENSION-SCOPE, RUN-EXTENSION-RECOVERY — not executed |
| DASP-EXT-007 | Existing draft extensions | None | RUN-EXTENSION-SCOPE, RUN-EXTENSION-RECOVERY — not executed |
| DASP-EXT-008 | Versions and conformance | None | RUN-EXTENSION-SELECTION, RUN-EXTENSION-VERSIONS — not executed |
| DASP-SEC-001 | Trust boundary | None | RUN-AUTH — not executed |
| DASP-SEC-002 | Independent versions | None | RUN-EXTENSION-VERSIONS — not executed |
| DASP-CORE-001 | Validation before admission | None | RUN-LIVE-POLLING — not executed |
| DASP-CORE-002 | Command identity and retry equality | None | RUN-CONFLICT, RUN-RETRY — not executed |
| DASP-CORE-003 | Concurrent retry decision | None | RUN-RETRY, RUN-ADMISSION — not executed |
| DASP-CORE-004 | Recoverable admission | ART-TRACE | RUN-ADMISSION, RUN-RETRY, RUN-CAPACITY — not executed |
| DASP-CORE-005 | Connection loss is not cancellation | None | RUN-DISCONNECT — not executed |
| DASP-CORE-006 | Immutable terminal outcome | ART-RELATIONS, ART-TRACE | RUN-OUTCOME, RUN-ADMISSION, RUN-CAPACITY — not executed |
| DASP-CORE-007 | Owner loss and uncertainty | None | RUN-UNCERTAIN, RUN-ADMISSION — not executed |
| DASP-CORE-008 | Completion evidence | ART-SHAPES | RUN-ADMISSION, RUN-DISCONNECT — not executed |
| DASP-CORE-009 | Ordered saved facts | ART-RELATIONS, ART-TRACE | RUN-REPLAY, RUN-ADMISSION, RUN-RESTART — not executed |
| DASP-CORE-010 | Applied state and cursor | ART-TRACE | RUN-CURSOR — not executed |
| DASP-CORE-011 | Connection recovery | ART-TRACE, ART-LIVE-TRACE | RUN-REPLAY, RUN-LIVE-POLLING, RUN-EXTENSION-RECOVERY — not executed |
| DASP-CORE-012 | Storage lifetime | None | RUN-RESTART, RUN-CAPACITY, RUN-EXTENSION-RECOVERY — not executed |
| DASP-WS-001 | WebSocket delivery: Selection and framing | ART-LIVE-TRACE | RUN-LIVE-OPEN, RUN-LIVE-POLLING — not executed |
| DASP-WS-002 | WebSocket delivery: Open, confirmation, and repeat | ART-LIVE-TRACE | RUN-LIVE-OPEN, RUN-REPLAY — not executed |
| DASP-WS-003 | WebSocket delivery: Fixed-boundary replay | ART-LIVE-TRACE | RUN-REPLAY, RUN-CURSOR — not executed |
| DASP-WS-004 | WebSocket delivery: Overflow, resync, and restart | ART-LIVE-TRACE | RUN-REPLAY, RUN-LIVE-SCOPE, RUN-ENCRYPTION-ORDER, RUN-CAPACITY — not executed |
| DASP-WS-005 | WebSocket delivery: Connection close and liveness | ART-LIVE-TRACE | RUN-DISCONNECT, RUN-LIVE-SCOPE — not executed |
| DASP-WS-006 | WebSocket delivery: Permission and session scope | None | RUN-AUTH, RUN-LIVE-SCOPE, RUN-ENCRYPTION-ORDER — not executed |
| DASP-ENC-001 | Optional encrypted binding: Reader boundary and selection | None | RUN-ENCRYPTION-VECTORS, RUN-ENCRYPTION-AUTH — not executed |
| DASP-ENC-002 | Optional encrypted binding: Carrier and protected header | ART-ENCRYPTED-SHAPES | RUN-ENCRYPTION-VECTORS, RUN-ENCRYPTION-AUTH, RUN-ENCRYPTION-LIMITS — not executed |
| DASP-ENC-003 | Optional encrypted binding: Encryption, signatures, and record order | None | RUN-ENCRYPTION-VECTORS, RUN-ENCRYPTION-AUTH, RUN-ENCRYPTION-ORDER — not executed |
| DASP-ENC-004 | Optional encrypted binding: Core validation and recovery | None | RUN-ENCRYPTION-RECOVERY, RUN-ENCRYPTION-ORDER — not executed |
| DASP-ENC-005 | Optional encrypted binding: Keys, permission, and storage | None | RUN-ENCRYPTION-AUTH, RUN-ENCRYPTION-RECOVERY, RUN-ENCRYPTION-ORDER — not executed |
| DASP-ENC-006 | Optional encrypted binding: Separate outer and inner limits | ART-ENCRYPTED-SHAPES | RUN-ENCRYPTION-AUTH, RUN-ENCRYPTION-LIMITS — not executed |
| DASP-AUTH-001 | Optional proof of authority: Roles and trust | ART-AUTHORITY | RUN-AUTHORITY-TRUST — not executed |
| DASP-AUTH-002 | Optional proof of authority: Required selection and carriage | ART-AUTHORITY | RUN-AUTHORITY-BINDING — not executed |
| DASP-AUTH-003 | Optional proof of authority: Closed grant shapes and work scope | ART-AUTHORITY | RUN-AUTHORITY-TRUST — not executed |
| DASP-AUTH-004 | Optional proof of authority: Exact proof bytes and limits | ART-AUTHORITY | RUN-AUTHORITY-TRUST — not executed |
| DASP-AUTH-005 | Optional proof of authority: Admission, retries, and budgets | ART-AUTHORITY | RUN-AUTHORITY-ADMISSION — not executed |
| DASP-AUTH-006 | Optional proof of authority: Time, revocation, reads, and failures | ART-AUTHORITY | RUN-AUTHORITY-STATUS — not executed |
| DASP-AUTH-007 | Optional proof of authority: Audit and encrypted delivery | ART-AUTHORITY | RUN-AUTHORITY-BINDING — not executed |
| DASP-AUTH-008 | Optional proof of authority: Examples, checks, and release requirements | ART-AUTHORITY | RUN-AUTHORITY-TRUST — not executed |
| DASP-DISC-001 | Capability discovery: Scope and contract boundary | None | RUN-DISCOVERY-SETUP — not executed |
| DASP-DISC-002 | Capability discovery: Meaning and capability ownership | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-PROFILE, RUN-DISCOVERY-ADMISSION — not executed |
| DASP-DISC-003 | Capability discovery: Terms and identities | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-IDENTITIES — not executed |
| DASP-DISC-004 | Capability discovery: Operations | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-SETUP, RUN-DISCOVERY-PAGING, RUN-DISCOVERY-DETAILS, RUN-DISCOVERY-RESOURCE — not executed |
| DASP-DISC-005 | Capability discovery: Summary enumeration | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-PAGING — not executed |
| DASP-DISC-006 | Capability discovery: Idempotency and snapshot lifecycle | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-PAGING, RUN-DISCOVERY-IDENTITIES — not executed |
| DASP-DISC-007 | Capability discovery: Selective details | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-DETAILS — not executed |
| DASP-DISC-008 | Capability discovery: Resource reads | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-RESOURCE — not executed |
| DASP-DISC-009 | Capability discovery: Snapshot release | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-PAGING — not executed |
| DASP-DISC-010 | Capability discovery: Advertised views and current disclosure | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-IDENTITIES, RUN-DISCOVERY-PROFILE — not executed |
| DASP-DISC-011 | Capability discovery: Limits and progress | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-PAGING, RUN-DISCOVERY-DETAILS, RUN-DISCOVERY-RESOURCE — not executed |
| DASP-DISC-012 | Capability discovery: Failures | ART-CAPABILITY-DISCOVERY, ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-IDENTITIES, RUN-DISCOVERY-PAGING, RUN-DISCOVERY-DETAILS, RUN-DISCOVERY-RESOURCE — not executed |
| DASP-DISC-013 | Capability discovery: Actor profile and session assertion | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-PROFILE, RUN-DISCOVERY-SETUP — not executed |
| DASP-DISC-014 | Capability discovery: Profile interaction and actor boundaries | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-INTERACTION — not executed |
| DASP-DISC-015 | Capability discovery: Untrusted data and conformance boundary | ART-CAPABILITY-DISCOVERY-FIXTURE | RUN-DISCOVERY-SETUP, RUN-DISCOVERY-RESOURCE — not executed |
Claim boundaries
A future result must identify the core, profile, binding, discovery and selected extension identities and versions, content pins, settings, dependencies, suite, implementation version, test environment, executed and skipped cases, failures, connection boundary, and durability boundary. Capability-discovery artifact checks are abstract contract evidence only. They do not establish discovery binding interoperability. Optional CloudEvents attribute parsing is not evidence of required extension enforcement. Do not infer power-loss safety from process-restart tests. No general certification badge is issued by this draft suite.
The report template describes the evidence to record for an implementation. Its empty result lists are not passing results.