Struct WorkerAdvertisement 

pub struct WorkerAdvertisement<'a> {
    pub activity_types: &'a BTreeSet<String>,
    pub contracts: &'a [ActivityDescriptor],
}

What a registering worker announced about itself, in the TWO independent forms it announces it in.

These are different sets and they are used for different things, which is precisely why they must travel together. activity_types is the NAME set the dispatcher selects on; contracts is the typed-descriptor set admission compares against the deployed .v4 contracts. A worker can advertise a name with no contract behind it — it is then selectable but not admissible.

Before this pair existed, admission received only contracts while the refusal log printed only activity_types, and on 2026-07-30 that produced a refusal record which listed action assistant as advertised in the same line that reported it <missing>. Both facts were true of different sets and the record said which of neither. Carrying both through the gate makes the refusal state the gap instead of contradicting itself.

Fields

activity_types: &'a BTreeSet<String>

Activity-type NAMES the worker advertised — the dispatcher’s selection set.

contracts: &'a [ActivityDescriptor]

Typed contracts the worker advertised — the set admission compares.

Implementations

impl WorkerAdvertisement<'_>

pub fn names_without_contracts(&self) -> Vec<String>

Advertised names carrying no typed contract, sorted.

Non-empty means the worker is selectable for actions it cannot be admitted for, which is the exact shape of the 2026-07-30 refusal loop.

Trait Implementations

impl<'a> Clone for WorkerAdvertisement<'a>

fn clone(&self) -> WorkerAdvertisement<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for WorkerAdvertisement<'a>

impl<'a> Debug for WorkerAdvertisement<'a>

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

Formats the value using the given formatter.