open-standards/wai/live-conformance/compact-return

live-conformance/compact-return — reconciliations and holdings over a small frame

The corpus of extensions/bearer-receipts.md §13.10, in one file, vectors.json.

Provenance. Generated here by wai_compact_return_vectors gen (wai-rs, features bearer_receipts and holdings), from Ed25519 keys on fixed 32-byte seeds, constant times, and envelopes whose payloads are opaque test bytes written by the generator; no media and no input from outside this repository.

keys names every key by its role, as 64 lowercase hexadecimal digits: the publisher's (did:web:publisher.example#d1), four sinks' and two holders'. groups holds each group receipt the cases name, with its object receipts in order: g4, g3 (labelled leaves), g9, g20, and far, which no receiver holds. contexts holds each receiver's context (§13.1): for each group it holds, the group's name, the positions of the object receipts it holds under it and the bearer_ids of its instances; and its signers, each a key and a signer_id. twin_bearers holds two instances of g4 whose references are equal; twin_signer, sink B's key and the holder's each under two signer_ids; bearer_elsewhere, the broadcast instance of g9 and g20 but not of g4.

• records (§13.3 to §13.5) are each a kind (reconciliation or holdings), the record in its own form (a claim's canonical text, or a holdings record in hexadecimal), the context it is written against and its compact record in hexadecimal. The record written compactly is compact, compact expands to the record, and outcome.verdict is the record's verdict under its own text: accept, or read digest=… for a holdings record.
• expansions (§13.2 to §13.4) are each a compact record and a context; outcome is expand with the record's kind, the record and its verdict, or refuse and its reason.
• encodings (§13.5) are each a record with no compact form against its context; outcome is refuse and compact_not_encodable.
• messages (§13.6) are each a compact record, the sender's message number and a frame; outcome.fragments is the message cut into that frame, each fragment in hexadecimal. The fragments reassemble to the record.
• reassemblies (§13.7) are each a set of fragments; outcome is reassembled and the compact record, or refuse and its reason.

A reconciliation's verdict is jwp-receipts §3.1 steps 1 to 4, then step 6 by bearer-receipts §5.3 against the context's group and objects: accept, or reject step=… reason=…. Step 5, a signer's chain, is the signer's claims' and not this profile's. A holdings record's is holdings §4.4: read digest=…, or reject reason=….

Everything is synthetic: keys attest nothing, and every origin is a reserved example domain. Each case states the outcome it was written to have, declared in the generator, never copied from a verifier. The bounds of 65,531 bytes for a compact record and 65,535 for a message are carried by no vector (65 KB of hexadecimal); both implementations check them themselves.

wai_compact_return_vectors verify and tests/compact_return.rs check that the file regenerates byte for byte and that wai-rs reaches every stated outcome; the test also checks §13.8's floors against ../aggregate/'s reports. ../compact_return_verify.py is the second implementation, written from the extension's text, which also checks the floors, mutates copies of the corpus and drops each of its own checks in turn and requires each to be caught.