Struct ReferenceComposingHost 

pub struct ReferenceComposingHost;

The reference composing host: Host::query_all for the fan-out and audit, then compose_for_prompt for the shared-budget pack.

Two jobs. It is the proof the suite is satisfiable — a suite no implementation passes is a suite with a bug, not a bar — and it is the worked example a downstream host implements against, which is why the body is short enough to read: fan out, keep what the audit accepted, pack it, read the partition back off the audit.

Note what it can and cannot report. Frames the audit quarantined (a token_cost liar’s whole set) are absent from dropped, because ProviderResult::BudgetLie carries a count of dropped frames and not their ids — the host knows how many it threw out, not which. That is why CCHECK_QUARANTINE asserts only that those frames stay out of the prompt, and why CCHECK_TOTAL_PARTITION is posed over honest providers: demanding that a quarantined frame be named would be demanding information the fan-out does not carry.

Trait Implementations

impl ComposingHost for ReferenceComposingHost

fn compose<'life0, 'life1, 'async_trait>( &'life0 self, providers: Vec<Box<dyn ContextProvider>>, query: &'life1 ContextQuery, ) -> Pin<Box<dyn Future<Output = Composition> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Register exactly providers, execute query, and report the result.