Struct CompositionAudit 

pub struct CompositionAudit {
    pub entries: Vec<AuditEntry>,
    pub global_budget: u32,
    pub tokens_used: u32,
}

The record of how a composed prompt was assembled (issue #15): one AuditEntry per frame the host offered, the budget it was packed against, and the canonical token cost actually used. The audit is a total partition — every offered frame is either included or excluded with a reason — so a host can answer “why is this evidence not in the prompt?” and “why is the prompt within budget?” from the record alone.

Fields

entries: Vec<AuditEntry>

One entry per offered frame; included or excluded-with-reason.

global_budget: u32

The global token budget the composition was packed against.

tokens_used: u32

The summed canonical token cost of the included frames — always <= global_budget.

Implementations

impl CompositionAudit

pub fn included(&self) -> impl Iterator<Item = &FrameId>

The identities that made it into the prompt.

pub fn excluded(&self) -> impl Iterator<Item = &AuditEntry>

The excluded entries, each with its reason.

pub fn attested(&self) -> impl Iterator<Item = &AuditEntry>

The entries whose provenance was signed by a key this host trusts — the evidence a reader may treat as attested (SPEC.md §6.5).

Every other state is excluded, NotChecked included, because “I could not check it” is never “it is good” (SPEC.md F8).

pub fn explains_every_drop(&self) -> bool

Whether every excluded frame carries a concrete reason — true by construction (the type makes a reasonless exclusion unrepresentable), and asserted by host-conformance so the guarantee is checked, not assumed.

Trait Implementations

impl Clone for CompositionAudit

fn clone(&self) -> CompositionAudit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompositionAudit

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

Formats the value using the given formatter.

impl Eq for CompositionAudit

impl PartialEq for CompositionAudit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CompositionAudit