Validar a Inscrição Estadual do Distrito Federal

// IE do Distrito Federal: confere tamanho, prefixo e dígito verificador.
// Não diz se a inscrição está ativa: isso só a consulta ao cadastro responde.
function validarIeDF(ie) {
  const n = String(ie).replace(/[\s./-]/g, "");
  if (!/^\d{13}$/.test(n) || /^(\d)\1+$/.test(n)) return false;
  if (!["07", "08"].includes(n.slice(0, 2))) return false;
  const d = [...n].map(Number);
  const mod11 = (pesos) => {
    const resto = pesos.reduce((s, p, i) => s + d[i] * p, 0) % 11;
    return resto < 2 ? 0 : 11 - resto;
  };
  const dv1 = mod11([4, 3, 2, 9, 8, 7, 6, 5, 4, 3, 2]);
  const dv2 = mod11([5, 4, 3, 2, 9, 8, 7, 6, 5, 4, 3, 2]);
  return dv1 === d[11] && dv2 === d[12];
}

import re


def validar_ie_df(ie: str) -> bool:
    """IE do Distrito Federal: confere tamanho, prefixo e dígito verificador.

    Não diz se a inscrição está ativa: isso só a consulta ao cadastro responde.
    """
    n = re.sub(r"[\s./-]", "", ie)
    if not re.fullmatch(r"\d{13}", n) or len(set(n)) == 1:
        return False
    if n[:2] not in ("07", "08"):
        return False
    d = [int(c) for c in n]

    def mod11(pesos):
        resto = sum(x * p for x, p in zip(d, pesos)) % 11
        return 0 if resto < 2 else 11 - resto

    dv1 = mod11([4, 3, 2, 9, 8, 7, 6, 5, 4, 3, 2])
    dv2 = mod11([5, 4, 3, 2, 9, 8, 7, 6, 5, 4, 3, 2])
    return dv1 == d[11] and dv2 == d[12]