Struct ConfigAnswer 

pub struct ConfigAnswer {
    pub addr: Address,
    pub effort: Option<SettledEffort>,
    pub second: SettledSecond,
    pub first: Option<u64>,
    pub tuning: TuningDefaults,
    pub search: SettledSearch,
}

What one address is governed by, value by value, with the file each value came from.

Answered for an address rather than for the city, because the ladder has three rungs and only an address says which room’s rung is in play. An address naming a building answers with two rungs climbed and no room entry, which is what a building with no open session is.

Fields

addr: Address

The address the ladder was climbed for.

effort: Option<SettledEffort>

How hard the model is asked to think here. Absent means no layer stated it and the provider’s own default answers, which is a statement this city deliberately makes rather than filling in a level nobody chose.

second: SettledSecond

Where the context reminder’s second rung sits at this address. Always answered: where no file states it, the figure is kernel::consts_policy::CTX_REMINDER_SECOND_DEFAULT and the layer is ConfigLayer::Default.

first: Option<u64>

Where the context reminder’s first rung sits, as a whole percent of the window: kernel::consts_policy::CTX_REMINDER_FIRST_PERCENT. No layer moves it, so no layer travels with it. Always answered by this build; absent only in a frame from a city written before it was (crates/wire/Spec.lean D13).

tuning: TuningDefaults

search: SettledSearch

Which outside service web_search reaches here, and what the settings page edits (crates/wire/spec/Answer/Config.lean §8-86).

Trait Implementations

impl Clone for ConfigAnswer

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConfigAnswer

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConfigAnswer

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ConfigAnswer

impl PartialEq for ConfigAnswer

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ConfigAnswer

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ConfigAnswer