pub struct CompleteEnvelope {Show 13 fields
pub trace_id: u64,
pub flow_name: String,
pub backend: String,
pub success: bool,
pub steps_executed: usize,
pub tokens_input: u64,
pub tokens_output: u64,
pub latency_ms: u64,
pub effect_policies: Vec<(String, String)>,
pub enforcement_summaries: Vec<(String, EnforcementSummaryWire)>,
pub runtime_warnings: Vec<RuntimeWarning>,
pub step_audit_records: Vec<StepAuditRecord>,
pub epistemic_envelopes: Vec<EpistemicEnvelope>,
}Expand description
§Fase 33.z.k.g (v1.28.0) — Envelope carrying all the side-channel
- summary data the SSE producer accumulates over the lifetime of
a flow. Passed to
adapter.build_complete_envelope_event()at FlowComplete time so dialect adapters can surface the data per their wire-format conventions:
- axon: embeds the fields directly on
axon.complete(D4 wire byte-compat with v1.27.1 inlinebuild_complete_event). - openai: emits a separate
data: {"axon_metadata": {...}}frame BEFOREdata: [DONE](Q7 ratification). - anthropic: emits a separate
event: axon.metadataframe BEFOREevent: message_stop(Q7).
Built by the producer from the same side-channels v1.27.1
build_complete_event consumed:
enforcement_summaries: per-step enforcement counters from the dispatcher’sStreamPolicyEnforcer(Fase 33.x.d).runtime_warnings: closed-catalog axon-W002 etc. warnings (Fase 33.x.g).effect_policies: per-step<stream:<policy>>declarations (Fase 33.e).step_audit_records: per-step audit rows (step_name + tokens_emitted + output_hash + effect_policy_applied + counters), populated by the dispatcher (Fase 33.x.f). Surfaces on theaxon.metadataextension frame for openai + anthropic dialects (Q7 algebraic-policy preservation channel — adopters on those wires use this to satisfy banking PCI DSS Req 10 / government FedRAMP AU-2 / legal FRE 502 / medicine 21 CFR Part 11 §11.10 per-step provenance requirements).- Flow envelope: trace_id, flow_name, backend, success, counters, latency.
Fields§
§trace_id: u64§flow_name: String§backend: String§success: bool§steps_executed: usize§tokens_input: u64§tokens_output: u64§latency_ms: u64§effect_policies: Vec<(String, String)>§enforcement_summaries: Vec<(String, EnforcementSummaryWire)>§runtime_warnings: Vec<RuntimeWarning>§step_audit_records: Vec<StepAuditRecord>§epistemic_envelopes: Vec<EpistemicEnvelope>§Fase 55.b — the Theorem 5.1 (base, scope, confidence) triple of
every use <Tool> dispatch whose tool declares an
epistemic:<level> effect. Emitted as the epistemic array on the
streaming axon.complete envelope (elided when empty), byte-aligned
with the sync FlowEnvelope.epistemic_envelopes (both derived by
epistemic_capture::collect_for_flow — §55.c parity).
Trait Implementations§
Source§impl Clone for CompleteEnvelope
impl Clone for CompleteEnvelope
Source§fn clone(&self) -> CompleteEnvelope
fn clone(&self) -> CompleteEnvelope
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for CompleteEnvelope
impl RefUnwindSafe for CompleteEnvelope
impl Send for CompleteEnvelope
impl Sync for CompleteEnvelope
impl Unpin for CompleteEnvelope
impl UnsafeUnpin for CompleteEnvelope
impl UnwindSafe for CompleteEnvelope
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreCreates a shared type from an unshared type.