Struct ViewFacts 

pub struct ViewFacts {
    pub session_id: Option<SessionId>,
    pub model: Option<CurrentModel>,
    pub observed_effort: Option<EffortLevel>,
    pub configured_effort: Option<EffortLevel>,
    pub permission_mode: Option<PermissionMode>,
    pub context: Option<ContextUsage>,
    pub mcp: Option<McpServers>,
    pub process_snapshot: Option<ProcessSnapshot>,
    pub background_tasks: Vec<BackgroundTask>,
    pub live_tasks: Vec<BackgroundTask>,
    pub monitors: Vec<MonitorRecord>,
    pub cards: Vec<SubagentCard>,
}

The facts a session holds that no update stream carries, for a view’s fixture to seed. Every field is what the session reports: leaving one out is a session that has not reported it.

Fields

session_id: Option<SessionId>

model: Option<CurrentModel>

observed_effort: Option<EffortLevel>

The effort a hook observed, which a session reports only once it has used a tool.

configured_effort: Option<EffortLevel>

The effort the launch stamped, which stands until a hook reports.

permission_mode: Option<PermissionMode>

context: Option<ContextUsage>

mcp: Option<McpServers>

process_snapshot: Option<ProcessSnapshot>

background_tasks: Vec<BackgroundTask>

The CLI’s background registry, as background_tasks_changed would have left it.

live_tasks: Vec<BackgroundTask>

The announced holds the registry does not name - a long foreground call the CLI is tracking - which no wire in a fixture can produce.

monitors: Vec<MonitorRecord>

cards: Vec<SubagentCard>

The instances the session task’s fold has folded. Seeded by hand because the list a record reads is the one the session task pushes, and a fixture has no task to push it.

Trait Implementations

impl Default for ViewFacts

fn default() -> Self

Returns the “default value” for a type.