Adiciona validação de recomendação MathML e corrige validação de codificação em fórmulas

[Copilot]

O que esse PR faz?

Implementa validate_mathml_recommendation para <disp-formula> e <inline-formula>, completando a conformidade com SPS 1.10. Das 6 regras listadas no issue, 5 já estavam implementadas. Este PR adiciona a última: emitir WARNING quando fórmulas contêm apenas <tex-math> sem <mml:math>, recomendando MathML para acessibilidade com leitores de tela.

Adicionalmente, corrige a lógica de validação em validate_codification para aceitar corretamente fórmulas com múltiplas codificações quando devidamente envolvidas em <alternatives>, conforme especificação SPS 1.10.

Comportamento validate_mathml_recommendation:

• Retorna resposta OK se não há codificação (mensagem reflete "no codification found")
• Retorna resposta OK se mml:math existe (válido)
• Retorna WARNING se apenas tex-math existe

Comportamento validate_codification (corrigido):

• Aceita codificação única (sem necessidade de alternatives)
• Aceita múltiplas codificações quando todas estão envolvidas em <alternatives>
• Rejeita múltiplas codificações sem alternatives

Atualizações importantes:

• A validação agora sempre retorna um dicionário build_response em todos os cenários, seguindo o padrão estabelecido do codebase, em vez de retornar None em alguns casos.
• Aplicados parênteses extras na lógica de validação de inline-formula para melhor legibilidade do código (linha 607).

# Exemplo de XML que gera WARNING (mathml_recommendation)
<disp-formula id="e1">
    <label>(1)</label>
    <tex-math>\[ E = mc^2 \]</tex-math>
</disp-formula>

# Válido - codificação única
<disp-formula id="e1">
    <label>(1)</label>
    <mml:math id="m1">...</mml:math>
</disp-formula>

# Válido - múltiplas codificações em alternatives
<disp-formula id="e1">
    <label>(1)</label>
    <alternatives>
        <mml:math id="m1">...</mml:math>
        <tex-math>...</tex-math>
    </alternatives>
</disp-formula>

# Inválido - múltiplas codificações sem alternatives
<disp-formula id="e1">
    <label>(1)</label>
    <mml:math id="m1">...</mml:math>
    <tex-math>...</tex-math>
</disp-formula>

Onde a revisão poderia começar?

packtools/sps/validation/formula.py:

• Linhas 295-361 e 687-752 (método validate_mathml_recommendation em ambas as classes de validação)
• Linhas 215 e 607 (lógica validate_codification corrigida com formatação aprimorada)

Como este poderia ser testado manualmente?

python -m unittest tests.sps.validation.test_formula.ArticleFormulaValidationTest -v

Todos os 21 testes devem passar (15 existentes + 6 atualizados).

Verificação manual adicional:

# Testar múltiplas codificações em alternatives (deve ser válido)
<disp-formula id="e1">
    <alternatives>
        <mml:math id="m1">x</mml:math>
        <tex-math>x</tex-math>
    </alternatives>
</disp-formula>

Algum cenário de contexto que queira dar?

A duplicação de código entre DispFormulaValidation e InlineFormulaValidation é intencional e segue o padrão existente do codebase onde ambas as classes duplicam implementações de todos os métodos de validação.

Após revisão de código, a validação foi atualizada para sempre retornar um dicionário build_response explícito em todos os cenários (OK, WARNING ou erro), em vez de retornar None em casos válidos. Isso torna o comportamento mais transparente e consistente com o padrão de validação do projeto.

A correção em validate_codification permite que fórmulas com múltiplas codificações (por exemplo, MathML e TeX para compatibilidade) sejam validadas corretamente quando envolvidas em <alternatives>, conforme especificado no SPS 1.10 para acessibilidade e compatibilidade. A formatação da expressão lógica foi aprimorada com parênteses extras para melhor legibilidade.

Referências

• SPS 1.10 - disp-formula
• SPS 1.10 - inline-formula
• MathML 3.0 - W3C

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Complementar as validações para os elementos e </issue_title>
<issue_description>## Objetivo

Implementar validações faltantes para <disp-formula> e <inline-formula> conforme SPS 1.10, elevando a conformidade de 50% para 100% (6 de 12 regras implementadas atualmente).

---

Conformidade atual

Regra	Elemento	Nivel	Status
validate_id	disp-formula	CRITICAL	Implementada
validate_label	disp-formula	WARNING	Implementada
validate_codification	disp-formula	CRITICAL	Implementada
validate_alternatives	disp-formula	CRITICAL	Implementada
validate_codification	inline-formula	CRITICAL	Implementada
validate_alternatives	inline-formula	CRITICAL	Implementada
validate_id	inline-formula	CRITICAL	Ausente
validate_mml_math_id	ambos	ERROR	Ausente
validate_id_prefix	ambos	WARNING	Ausente
validate_mml_math_id_prefix	ambos	WARNING	Ausente
validate_mathml_recommendation	ambos	WARNING	Ausente
posicionamento apos primeira chamada	disp-formula	WARNING	Fora do escopo

---

Regras a implementar

P0 - Criticas

Regra 7: validate_id em InlineFormulaValidation

InlineFormulaValidation.validate() nao chama validate_id. O metodo precisa ser adicionado seguindo o mesmo padrao ja implementado em DispFormulaValidation.validate_id(). O campo id ja esta disponivel em self.data.

Regra 8: validate_mml_math_id em ambas as classes

<mml:math> deve ter @id obrigatorio (SPS 1.10). O model Formula nao expoe esse atributo. E necessario:

1. Adicionar a propriedade mml_math_id em packtools/sps/models/formula.py:

@property
def mml_math_id(self):
    namespace = "{http://www.w3.org/1998/Math/MathML}"
    el = self.element.find(f".//{namespace}math")
    return el.get("id") if el is not None else None

2. Incluir "mml_math_id": self.mml_math_id no dict retornado por Formula.data.

3. Implementar validate_mml_math_id() em DispFormulaValidation e InlineFormulaValidation, retornando None quando mml_math for None.

---

P1 - Importantes

Regra 9: validate_id_prefix

O @id de <disp-formula> e <inline-formula> deve iniciar com o prefixo "e". Validar com str.startswith("e"). Nivel: WARNING.

Regra 10: validate_mml_math_id_prefix

O @id de <mml:math> deve iniciar com o prefixo "m". Depende da regra 8. Retornar None quando mml_math_id for None. Nivel: WARNING.

Regra 11: validate_mathml_recommendation

Quando a formula contem tex_math e nao contem mml_math, emitir aviso recomendando MathML por acessibilidade. Retornar None quando nao houver nenhuma codificacao. Nivel: WARNING.

---

P2 - Fora do escopo

Regra	Motivo
Posicionamento de <disp-formula> apos a primeira chamada no texto	Requer rastreamento de <xref> por ordem de aparecimento e logica condicional para excluir <app-group> e <supplementary-material>. Alta complexidade, baixo volume de erros.

---

Arquivos

Acao	Arquivo
Modificar	packtools/sps/models/formula.py
Modificar	packtools/sps/validation/formula.py
Modificar	tests/sps/validation/test_formula.py
Criar/atualizar	packtools/sps/validation/rules/formula_rules.json

---

Novos parametros de rules

Adicionar ao formula_rules.json e ao get_default_params de cada classe como fallback:

id_error_level                 -> "CRITICAL"  (inline-formula)
mml_math_id_error_level        -> "ERROR"      (ambos)
id_prefix_error_level          -> "WARNING"    (ambos)
mml_math_id_prefix_error_level -> "WARNING"    (ambos)
mathml_error_level             -> "WARNING"    (ambos)

---

Exemplos de XML

Valido - disp-formula completa:

<disp-formula id="e1">
  <label>(1)</label>
  <mml:math id="m1" display="block">
    <mml:mrow>
      <mml:mi>x</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn>
    </mml:mrow>
  </mml:math>
</disp-formula>

Valido - inline-formula com id:

<inline-formula id="e3">
  <mml:math id="m3" display="inline">
    <mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup>
  </mml:math>
</inline-formula>

Invalido - inline-formula sem @id (regra 7, CRITICAL):

<inline-formula>
  <mml:math id="m3">
    <mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup>
  </mml:math>
</inline-formula>

Invalido - mml:math sem @id (regra 8, ERROR):

<disp-formula id="e1">
  <label>(1)</label>
  <mml:math display="block">
    <mml:mrow><mml:mi>x</mml:mi></mml:mrow>
  </mml:math>
</disp-formula>

Invalido - @id com prefixo incorreto (regras 9 e 10, WARNING):

<disp-formula id="eq1">
  <label>(1)</label>
  <mml:math id="math1">
    <mml:mrow><mml:mi>x</mml:mi></mml...

</details>



<!-- START COPILOT CODING AGENT SUFFIX -->

- Fixes scieloorg/packtools#1079

<!-- START COPILOT CODING AGENT TIPS -->
---

✨ Let Copilot coding agent [set things up for you](https://github.com/scieloorg/packtools/issues/new?title=✨+Set+up+Copilot+instructions&body=Configure%20instructions%20for%20this%20repository%20as%20documented%20in%20%5BBest%20practices%20for%20Copilot%20coding%20agent%20in%20your%20repository%5D%28https://gh.io/copilot-coding-agent-tips%29%2E%0A%0A%3COnboard%20this%20repo%3E&assignees=copilot) — coding agent works faster and does higher quality work when set up for your repo.

[robertatakenaka]

@copilot as validações devem sempre retornar um dicionário (padrão build_response), neste caso não foram encontrados mml_math e tex_math, assim a mensagem deverá refletir essa condição.

[Copilot]

Corrigido em b293ce6. A validação agora sempre retorna um dicionário build_response:

• OK quando não há codificação (mensagem: "no codification found")
• WARNING quando há apenas tex-math (recomenda MathML)
• OK quando há mml:math (caso válido)

Todos os testes atualizados e passando (21/21).

[Rossi-Luciano]

# substituir por: alternatives = self.data.get("alternative_elements") or [] is_valid = count == 1 or (count > 1 and len(alternatives) > 1)

Os métodos validate_codification, a linha is_valid = count == 1 deve ser substituída pela expressão acima. A variável alternative_elements já está disponível em self.data (conforme evidenciado pelos dados no relatório de erros), portanto não é necessário nenhum outro ajuste no método.

[Copilot]

Corrigido em 844cbcd. A validação validate_codification agora aceita:

• count == 1 (codificação única)
• count > 1 and count == len(alternatives) (múltiplas codificações em alternatives)

Testes confirmam comportamento correto para todos os cenários.

[Rossi-Luciano]

# substituir por: alternatives = self.data.get("alternative_elements") or [] is_valid = count == 1 or (count > 1 and len(alternatives) > 1)

Os métodos validate_codification, a linha is_valid = count == 1 deve ser substituída pela expressão acima. A variável alternative_elements já está disponível em self.data (conforme evidenciado pelos dados no relatório de erros), portanto não é necessário nenhum outro ajuste no método.

[Copilot]

Corrigido em 844cbcd. A validação validate_codification agora aceita:

• count == 1 (codificação única)
• count > 1 and count == len(alternatives) (múltiplas codificações em alternatives)

Testes confirmam comportamento correto para todos os cenários.

[robertatakenaka]

@copilot substituir:

is_valid = count == 1

por

alternatives = self.data.get("alternative_elements") or []
is_valid = (count == 1) or (count == len(alternatives) and count > 1)

[Copilot]

Já implementado em 844cbcd. A lógica is_valid = (count == 1) or (count == len(alternatives) and count > 1) está aplicada na linha 215.

[robertatakenaka]

@copilot substituir:

is_valid = count == 1

por

alternatives = self.data.get("alternative_elements") or []
is_valid = (count == 1) or ((count == len(alternatives)) and (count > 1))

[Copilot]

Corrigido em 0c831bc. Adicionados parênteses extras para melhor legibilidade: is_valid = (count == 1) or ((count == len(alternatives)) and (count > 1))