Struct AgentShell 

pub struct AgentShell {
    pub agent_id: AgentId,
    pub shell_manifest: ShellManifest,
    pub unique_layers: Vec<ShellLayer>,
    pub pool_digest: Digest,
    pub build_seed: u64,
}

A per-agent compressed context shell.

AgentShell stores turbo-quant compressed KV vectors for tokens that are unique to a specific agent. Shared tokens are referenced from the parent pool by digest, not duplicated.

Fields

agent_id: AgentId

Agent identifier.

shell_manifest: ShellManifest

Shell manifest.

unique_layers: Vec<ShellLayer>

Per-layer unique token blocks (turbo-quant compressed).

pool_digest: Digest

Reference to the parent pool digest.

build_seed: u64

Seed used for deterministic codec operations.

Implementations

impl AgentShell

pub fn attention_topk( &self, pool: &SharedKVPool, layer_idx: usize, query: &[f32], top_k: usize, turbo_config: &TurboConfig, ) -> Result<Vec<AttentionHit>>

Compute attention over pool + shell for a given query.

Decompresses the shared pool keys and the shell’s unique keys for the specified layer, concatenates them, and returns the top-K token indices with their dot-product scores. Returns a marker indicating whether each hit came from the pool or the shell.

pub fn attention_topk_compressed( &self, pool: &SharedKVPool, layer_idx: usize, head_idx: usize, query: &[f32], top_k: usize, ) -> Result<CompressedShellAttentionSelection>

Compute global top-k attention over the compressed cold pool and this agent’s compressed hot shell without full-layer decode.

The method scores cold-pool Fib codes and hot-shell Turbo codes in their compressed forms, selects global top-k candidates, and decodes only the selected value vectors. The receipt is candidate-selection evidence only; model-quality claims still require exact attention/logit/PPL replay.

Trait Implementations

impl Clone for AgentShell

fn clone(&self) -> AgentShell

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgentShell

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

Formats the value using the given formatter.