Documentation

The corpus row ids these bytes correspond to.

Registry mode (#156) renamed the wire corpus. The BYTES did not move — every value below is the byte the v0.2.0 contract pinned, unchanged — so what is adopted here is the inventory, not the contract's content:

• WD01-four-field-roundtrip -> WD01-fixture-datum-roundtrip
• WD03-two-destinations-refused -> WD02-two-destinations-refused

WD02-datum-hash-refused and WR01-insert-request-refund-roundtrip have no row in the registry-mode corpus: the attachment rule and the witness-request roundtrip became statements (inline_datum_only, witness_request_wire_roundtrip) rather than exported rows. Their vendored bytes stay, and the byte-exact suite keeps exercising them; they are simply no longer comparable against a live row, which vendoredPairs records.

Retired from the live corpus; see the note above. Kept for the byte-exact suite, which still covers it.

Carries the two-destination refusal, which the registry-mode corpus publishes under the WD02 number.

Retired from the live corpus; see the note above.

WD01's fixture, the contract's canonical four-field datum.

WD01 expectedBytes: encoding the fixture must produce exactly these 205 bytes.

WD01 malformedBytes: the expected bytes truncated by one byte; decoding must produce nothing (malformedResult: null).

WD01 shape: {arity: 4, innerIndex: 0, outerIndex: 0}.

WD02's attachment: a datum hash instead of an inline datum — refused (result: null).

WD03's encoded datum: the canonical datum with the payment destination replaced by constr(1,[bytes, bytes]) — two destination addresses (bytes 61 55… and 61 71…), refused (result: null).

The WR01 stored proposal: refund address 60.

WR01's redirected proposal: same proposal, refund address 61.

WR01 expectedBytes: serialising the stored proposal's commitment must produce exactly these 36 bytes.

WR01 malformedBytes: truncated; decoding must produce nothing.

WR01 redirectedBytes: the commitment serialisation with the refund address redirected to 61.

WR01 storedRefundAddress.

WR01 presentedRefundAddress.

WR01 shape: {commitmentIndex: 0, commitmentArity: 1, proposalIndex: 0, proposalArity: 6}.

WR01 comparisonResult: {accepted: false, reason: "withdraw-refund-address"}.