Struct CompressedAttentionSelectionReceipt 

pub struct CompressedAttentionSelectionReceipt {

    pub schema_version: String,
    pub pool_digest: Digest,
    pub layer: u32,
    pub head: u32,
    pub candidate_count: u32,
    pub selected_count: u32,
    pub pool_candidate_count: u32,
    pub shell_candidate_count: u32,
    pub selected_pool_count: u32,
    pub selected_shell_count: u32,
    pub compressed_key_scores: u64,
    pub decoded_value_vectors: u64,
    pub full_layer_decoded: bool,
    pub exact_fallback_required: bool,
    pub scoring_path: String,
    pub codec_id: String,
    pub agent_id: Option<String>,
    pub shell_digest: Option<Digest>,
    pub claim_boundary: String,
    pub selected_at_unix: i64,
}

Receipt produced when selecting attention candidates from compressed KV artifacts.

Fields

schema_version: String

Stable schema marker.

pool_digest: Digest

Pool digest used for candidate selection.

layer: u32

Layer index.

head: u32

KV head index.

candidate_count: u32

Number of candidate tokens scored in compressed form.

selected_count: u32

Number of selected hits returned.

pool_candidate_count: u32

Number of cold-pool candidates scored.

shell_candidate_count: u32

Number of hot-shell candidates scored.

selected_pool_count: u32

Number of selected hits from the cold pool.

selected_shell_count: u32

Number of selected hits from the hot shell.

compressed_key_scores: u64

Number of compressed key codes scored.

decoded_value_vectors: u64

Number of value vectors decoded after top-k selection.

full_layer_decoded: bool

True only when the full layer was decoded before scoring.

exact_fallback_required: bool

Whether downstream model-quality claims require exact/logit/PPL fallback.

scoring_path: String

Human-readable scoring path / claim boundary.

codec_id: String

Codec used by the cold shared pool.

agent_id: Option<String>

Optional agent id when the selection includes a hot shell.

shell_digest: Option<Digest>

Optional hot-shell digest when the selection includes a hot shell.

claim_boundary: String

Explicit claim boundary for this selection receipt.

selected_at_unix: i64

Unix timestamp when selected.

Implementations

impl CompressedAttentionSelectionReceipt

pub fn new( pool_digest: Digest, layer: u32, head: u32, candidate_count: u32, selected_count: u32, compressed_key_scores: u64, decoded_value_vectors: u64, full_layer_decoded: bool, scoring_path: impl Into<String>, codec_id: impl Into<String>, selected_at_unix: i64, ) -> Self

pub fn with_shell_source_counts( self, agent_id: impl Into<String>, shell_digest: Digest, pool_candidate_count: u32, shell_candidate_count: u32, selected_pool_count: u32, selected_shell_count: u32, ) -> Self

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

pub fn digest(&self) -> Result<Digest>

Trait Implementations

impl Clone for CompressedAttentionSelectionReceipt

fn clone(&self) -> CompressedAttentionSelectionReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompressedAttentionSelectionReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CompressedAttentionSelectionReceipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CompressedAttentionSelectionReceipt

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CompressedAttentionSelectionReceipt

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 CompressedAttentionSelectionReceipt