Module attention 

Helpers for building ProofEvent::AttentionHeatmap from raw score matrices.

Constants

MAX_ATTN_DIM

Maximum attention grid dimension to stream. Larger matrices are downsampled.

Functions

attention_heatmap_event

Build an AttentionHeatmap event by sampling the attention score matrix.

attention_heatmap_from_u32

Build an AttentionHeatmap from raw M31 values (u32) converted to f32.