Class Cache

crates/ffi/src/lean_env.rs:569–572

Combined cache reference passed to decoding functions.

      &mut local_kctx,
    ) else {
      continue;
    };
    let ctx = if let Some(perm) = &aux_out.perm
      && !perm.is_empty()
    {
      build_aux_perm_ctx(all.as_slice(), env.as_ref(), stt, perm)
    } else if primary_addresses_collapse(all.as_slice(), stt) {