Class BlockCache

crates/compile/src/compile.rs:185–205

  /// Computed per original recursor name in `compile_mutual` after `sort_consts`.
  pub call_site_plans: DashMap<Name, surgery::CallSitePlan>,
  /// Per-`.brecOn` surgery plans. These share the motive permutation with
  /// `.rec`, but `.brecOn` places indices+major before the handler binders,
  /// so the telescope has to be rewritten by a separate layout rule.
  pub brec_on_call_site_plans: DashMap<Name, surgery::BRecOnCallSitePlan>,
  /// Per-`.below`-family surgery plans. A `X.below`/`X.below_N` HEAD has
  /// the motive-only telescope `params, motives, indices, major`. For
  /// Prop-level (IndPredBelow) families the map also carries the rest of
  /// the family's user-visible surface under their own names — the
  /// `.below` constructors (`X.below.succ`, …) and the `.below.casesOn`
  /// wrapper. Those telescopes start with the below inductive's
  /// parameters (parent params, then parent motives), so the same motive
  /// permutation applies to `[n_params, n_params + n_source_motives)`
  /// and everything after (ctor fields / casesOn
  /// target-motive+indices+major+minors) rides along kept-identity —
  /// but with NO major-premise floor: a field-less below ctor
  /// (`EvenP.below.zero`) is fully applied at exactly params+motives.
  /// The apply site discriminates the two telescope shapes by the key's
  /// last component (`below`/`below_N` = head, anything else = family
  /// member); `X.below.rec` is deliberately NOT registered (nothing
  /// user-visible references it — only regenerated wrappers, which skip
  /// surgery via the aux-regen guard).
  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: