Struct Proven 

pub struct Proven<I: Identity> { /* private fields */ }

A chain whose peer has proven possession — §6.1’s stage 2, at 2 DH cumulative.

Drop is a silent reject.

S8 — #[must_use], see Intro. S9 is the story that makes this stage’s drop meaningful: prove an identity, then still decline.

Implementations

impl<I: Identity> Proven<I>

pub fn peer_static(&self) -> &PublicKeyOf<I>

The peer’s static — proven, and safe to authorise or deny on.

pub fn timestamp(&self) -> Timestamp

§5.2’s initiation timestamp, as the peer sent it.

The one wall-clock reading in the protocol (§5.3), carried verbatim: it is not range-checked, because §5.3 specifies no validation and a slither that rejected an out-of-range value would have added a wire behaviour the spec does not have.

pub async fn accept(self) -> Result<Connection<I::Suite>, AcceptError>

§6.1’s stage 3 — +2 DH (ee, se), 4 cumulative.

Writes msg2 and installs the session, returning the established Connection.

Cancel-safety

Dropping the future before the reply arrives rejects the chain (a no-op if the driver has already consumed it). Dropping it after the driver has built the connection drops that Connection — the last handle to it — which performs §16.2’s close(NO_ERROR, ""). That is the right answer for a session nobody claimed: the peer is told at once rather than waiting out its representable effective-dead-timeout deadline.

Trait Implementations

impl<I: Identity> Debug for Proven<I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<I: Identity> Drop for Proven<I>

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.