Class CompileStateStats

crates/compile/src/compile.rs:208–213

  pub below_call_site_plans: DashMap<Name, surgery::BRecOnCallSitePlan>,
  /// Per-block nested-auxiliary layout (permutation + source ctor
  /// counts) for each source `InductiveVal.all[0]` name. Used by:
  ///  - `compute_call_site_plans` to rewrite source-order aux motive/minor
  ///    call-site args to canonical positions.
  ///  - `compile_aux_block` (via `generate_and_compile_aux_recursors`) to
  ///    register Lean-source aux-rec/below/brecOn names at the canonical
  ///    DPrj/RPrj position.
  ///
  /// Computed once per block in `generate_and_compile_aux_recursors`
  /// right after `aux_gen::generate_aux_patches`. Blocks without nested