Function prop_pack_bools_roundtrip

crates/ixon/src/serialize.rs:2150–2154

(x: Vec<bool>)

  /// Parse an `.ixe` buffer into a metadata-light, **zero-copy** index for the
  /// anon/lazy check path (see [`LazyIndex`]). Mirrors [`Env::get`]'s section
  /// walk and reuses the same battle-tested parsers (so every metadata variant
  /// — e.g. `CallSite` — is handled), but:
  ///
  /// - constants are recorded as `(addr, offset, len)` windows into `data`
  ///   rather than copied/stored, and their bodies are never parsed here;
  /// - the `names` table and each `Named`'s `ExprMetaArena` are parsed only to
  ///   advance the cursor and are then dropped, keeping just `name → addr` and
  ///   the per-`Defn` reducibility hint;