Skip to main content

ContextLayout

Struct ContextLayout 

Source
pub struct ContextLayout {
    pub regions: Vec<RegionDefinition>,
    pub total_budget_tokens: usize,
    pub eviction_order: Vec<String>,
}
Expand description

A ContextLayout defines the complete memory map for an agent.

Like SNES VRAM layout - every region has a defined purpose, size, and policy. The layout specifies:

  • Which regions exist and their configurations
  • Total token budget across all regions
  • Eviction order when space is needed

Layouts are typically defined in an agent’s blueprint and remain constant throughout the agent’s lifecycle, though the content within regions changes.

Fields§

§regions: Vec<RegionDefinition>

All regions in this layout

§total_budget_tokens: usize

Total token budget across all regions

§eviction_order: Vec<String>

Region names in eviction priority order (first = evicted first)

When the context window fills up, regions are processed in this order:

  1. Temporary regions: evict oldest entries
  2. Compacting regions: trigger summarization
  3. SlidingWindow regions: reduce window size
  4. Pinned regions: NEVER touched (if these fill up, it’s a config error)

Implementations§

Source§

impl ContextLayout

Source

pub fn new(regions: Vec<RegionDefinition>, total_budget_tokens: usize) -> Self

Create a new layout with the specified configuration.

Source

pub fn with_eviction_order(self, order: Vec<String>) -> Self

Set the eviction order for this layout.

Source

pub fn validate(&self) -> Result<(), ValidationError>

Validate that the layout is well-formed.

Checks:

  • Sum of max_tokens doesn’t exceed total_budget_tokens
  • All region names in eviction_order exist
  • No duplicate region names
Source

pub fn get_region(&self, name: &str) -> Option<&RegionDefinition>

Get a region definition by name.

Source

pub fn has_percent_budgets(&self) -> bool

Whether any region uses a percentage budget (and therefore needs a model context window to resolve to concrete token counts).

Source

pub fn resolved(&self, window: usize) -> ContextLayout

Resolve every region’s percentage budget against a concrete model context window, returning a fully-absolute layout.

Each region’s max_tokens becomes budget.resolve(window), and each RegionKind::Compacting region’s threshold_tokens is recomputed from its compact_at fraction (via the private resolve_compacting_threshold helper). eviction_order is preserved. The total budget becomes the model window when any percentage budget is present (percentage ceilings are relative to the whole window and may sum past 100%); a pure-absolute layout keeps its legacy summed total unchanged.

Resolving an already-absolute layout is a no-op, so this is safe to call unconditionally at window-build time.

Trait Implementations§

Source§

impl Clone for ContextLayout

Source§

fn clone(&self) -> ContextLayout

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for ContextLayout

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for ContextLayout

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Serialize for ContextLayout

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more