Function fallback_plan_blocks_from_sort

crates/compile/src/decompile.rs:3390–3419

(
  all_names: &[Name],
  env: &LeanEnv,
  stt: &CompileState,
)

                  "[lean hash mismatch] {}: generated_ci_hash={:x?} lean_ci_hash={:x?}",
                  n.pretty(),
                  ci.get_hash(),
                  lean_ci_ref.get_hash(),
                );
                // Dump internal shape
                let gen_type = ci.get_type();
                let orig_type = lean_ci.get_type();
                if gen_type.get_hash() != orig_type.get_hash() {
                  eprintln!("  type DIFFERS");
                  eprintln!("    gen:  {}", gen_type.pretty());
                  eprintln!("    orig: {}", orig_type.pretty());
                }
                if let (Some(gv), Some(ov)) =
                  (get_value(&ci), get_value(lean_ci))
                  && gv.get_hash() != ov.get_hash()
                {
                  eprintln!("  value DIFFERS");
                  eprintln!("    gen:  {}", gv.pretty());
                  eprintln!("    orig: {}", ov.pretty());
                }
                // Check `all` for DefnInfo
                if let (
                  LeanConstantInfo::DefnInfo(g_d),
                  LeanConstantInfo::DefnInfo(o_d),
                ) = (&ci, lean_ci)
                {
                  if g_d.all != o_d.all {
                    eprintln!(
                      "  all DIFFERS: gen={:?} orig={:?}",
                      g_d.all.iter().map(|n| n.pretty()).collect::<Vec<_>>(),
                      o_d.all.iter().map(|n| n.pretty()).collect::<Vec<_>>(),
                    );
                  }
                  if g_d.hints != o_d.hints {