| 2184 | |
| 2185 | let mut index = LazyIndex { main, assumptions, ..LazyIndex::default() }; |
| 2186 | |
| 2187 | // Section 1: Blobs (copied — small, and the kernel ingests their |
| 2188 | // bytes; hash-verified per entry). |
| 2189 | index.blobs = read_blob_section(&mut buf, "parse_lazy_index")?; |
| 2190 | |
| 2191 | // Section 2: Consts — record offset windows, never parse the bodies. |
| 2192 | let num_consts = get_u64(&mut buf)?; |
| 2193 | for i in 0..num_consts { |
| 2194 | let addr = get_address(&mut buf)?; |
| 2195 | let len = Tag0::get(&mut buf)?.size as usize; |
| 2196 | // Position of the body within `data` = bytes consumed so far. |
| 2197 | let offset = data.len() - buf.len(); |
| 2198 | if buf.len() < len { |