Class SealedRequest

The envelope request.

The function.

The expression as an envelope.

The expression.

The request id.

The 'note', empty when none.

The 'date' as a JS Date (millisecond view); cborDate is the exact value.

The 'date' exactly, when any.

The sender's document.

The sender's state, when any.

The peer's continuation, when any.

A request for func (a function, its id, or a whole expression) with id, from sender. An id that is not an ARID, a sender that is not an XIDDocument or a peer continuation that is not an Envelope is a TypeError.

With a param argument; unchanged when value is undefined.

With a 'note'.

With a 'date': a Date is stored to the millisecond, a CborDate exactly; a Date without a time is a TypeError.

The single param argument, or undefined; two of them are Envelope[AmbiguousPredicate].

The single param argument; Envelope[NonexistentPredicate] when absent, Envelope[AmbiguousPredicate] when repeated.

Every param argument.

The single param argument's leaf, decoded by decoder (dcbor's expectText, expectInteger, …, CborDate.fromTaggedCbor, ARID.fromCbor, or any (cbor) => T), as the reference's extract_object_for_parameter::<T>: Envelope[NonexistentPredicate] when absent, Envelope[AmbiguousPredicate] when repeated, Envelope[NotLeaf] when the argument is not a leaf, Envelope[Cbor] when the decoder rejects it.

extractObjectForParameter, or undefined when the parameter is absent.

Every param argument's leaf, decoded.

With the sender's state (undefined clears it).

With the peer's continuation (undefined clears it); not an Envelope is a TypeError.

The request with 'sender', the sender's continuation (the state — null without one — bound to the request id and validUntil, encrypted to the sender) and the peer continuation; signed by signer and encrypted to recipients when given. With no options: unsigned, unsealed.

Decrypts to the recipient, verifies the sender's signature, requires an encrypted sender continuation, opens the recipient's own continuation (expectedId, now) and parses the request.

SealedRequest(<summary>, state: <flat>, peer_continuation: None|Some), the reference's Display.

Same request and sender document, identical state and peer continuation (digest and structure), as the reference's PartialEq.