Struct SessionOffer 

pub struct SessionOffer {
    pub editions: Vec<String>,
    pub preferred: Option<String>,
}

One participant’s bind-time offer: the two sets it brings to negotiation.

Built for the env, the model, AND this runtime; negotiate_session_floor reconciles all three (the runtime is a participant because it re-frames env<->model traffic, so the session runs at an edition all three speak). When the model and runtime are the same build (in-process / run_local), the floor degenerates to env ∩ self. Protocol generation is NOT part of the offer — it is gated by plain equality at each pairwise handshake, so a session that reaches edition negotiation already shares one generation. Capabilities are advisory and pairwise (each peer reads the other’s advertised map directly), not negotiated here.

Fields

editions: Vec<String>

CAN: every workflow edition this participant can operate under — its retained sealed list, carried on supported_workflow_editions.

preferred: Option<String>

WANT: the one edition this participant declares, carried on preferred_workflow_edition. None (an empty wire value) means undeclared, and negotiation then reads it as max(editions) — which is what every peer built before the field existed means.

Implementations

impl SessionOffer

pub fn new(editions: &[&str]) -> Self

Build an undeclared offer (no WANT) from edition string slices. Whitespace is trimmed.

pub fn this_build(declared: Option<&str>) -> Self

This build’s own offer: the retained list it CAN drive, plus the edition it declares — declared, or CURRENT_WORKFLOW_EDITION when the participant pins nothing.

Trait Implementations

impl Clone for SessionOffer

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SessionOffer

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

Formats the value using the given formatter.

impl Eq for SessionOffer

impl PartialEq for SessionOffer

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SessionOffer