function cr_contract_require_pdf_libs() {
  if (class_exists('\\setasign\\Fpdi\\Fpdi')) return true;

  $base = WP_CONTENT_DIR . '/mu-plugins/lib';
  $fpdf = $base . '/fpdf.php';
  $fpdi_autoload_a = $base . '/FPDI/autoload.php';
  $fpdi_autoload_b = $base . '/FPDI/src/autoload.php';

  if (!file_exists($fpdf)) { error_log('[AutoContracts] Manca ' . $fpdf); return false; }
  require_once $fpdf;

  if (file_exists($fpdi_autoload_a)) {
    require_once $fpdi_autoload_a;
  } elseif (file_exists($fpdi_autoload_b)) {
    require_once $fpdi_autoload_b;
  } else {
    error_log('[AutoContracts] Manca autoload FPDI in ' . $fpdi_autoload_a . ' o ' . $fpdi_autoload_b);
    return false;
  }

  if (class_exists('\\setasign\\Fpdi\\Fpdi')) return true;
  error_log('[AutoContracts] FPDI ancora non caricata: controlla nomi cartelle (FPDI in maiuscolo) e presenza di src/');
  return false;
}