Method get_indexed

crates/ixon/src/metadata.rs:272–295

Delegate indexed deserialization, then deserialize extension tables.

(
    buf: &mut &[u8],
    rev: &NameReverseIndex,
  )

  /// Whether this metadata has any wrapper extension payload (surgery
  /// tables or level-spelling patches).
  pub fn has_extensions(&self) -> bool {
    !self.meta_sharing.is_empty()
      || !self.meta_refs.is_empty()
      || !self.meta_univs.is_empty()
      || !self.univ_patches.is_empty()
  }

  /// Enumerate every external address this metadata references,
  /// partitioned by the table that resolves it:
  ///
  /// - `names`: name-component addresses (resolved against
  ///   `Env.names`) — the variant's `name`/`lvls`/`all`/`ctx`/...
  ///   fields, arena binder/ref/proj/call-site names, and KVMap keys
  ///   plus `DataValue::OfName` payloads;
  /// - `blobs`: raw-byte payload addresses (`DataValue`
  ///   strings/nats/ints/syntax, resolved against `Env.blobs`);
  /// - `dag`: `meta_refs` extension-table addresses — constants or
  ///   blobs referenced by collapsed call-site argument expressions,
  ///   i.e. genuine value-DAG edges the primary `Constant.refs` walk
  ///   cannot see.
  ///
  /// Used by `Env::prune_to_closure` to carry a bundle's display
  /// metadata completely. Duplicates are not filtered; callers dedup.
  pub fn collect_deps(
    &self,
    names: &mut Vec<Address>,
    blobs: &mut Vec<Address>,