Method entry

crates/aiur/src/vk_codec.rs:78–96

(&mut self, e: &Entry)

/// Sentinel for `None` in the preprocessed-index trailer.
const NO_PREP_INDEX: u16 = u16::MAX;

// ════════════════════════════════════════════════════════════════════════════
// Encoder — System<AiurConfig> -> bytes
// ════════════════════════════════════════════════════════════════════════════

fn push_u16(buf: &mut Vec<u8>, v: usize) {
  let v = u16::try_from(v).expect("vk header field exceeds u16");
  buf.extend_from_slice(&v.to_le_bytes());
}

fn push_u32(buf: &mut Vec<u8>, v: usize) {
  let v = u32::try_from(v).expect("vk field exceeds u32");
  buf.extend_from_slice(&v.to_le_bytes());
}

/// Node ids on the wire are u16: per-circuit graphs are far below 65k
/// nodes (the whole kernel system is ~140k across 800+ circuits).
fn push_node_id(buf: &mut Vec<u8>, id: NodeId) {
  let id = u16::try_from(id.0).expect("node id exceeds u16 (vk wire format)");
  buf.extend_from_slice(&id.to_le_bytes());
}