Gate: proof-crosses-boundary

A rule asserting a relation with another unit has the code importing that unit.

Propriedade	Valor
Verificação	`proof-crosses-boundary`
Confronta	`spec`
Bloqueante por padrão — projeto novo	sim
Bloqueante por padrão — projeto existente	não — informa

Como declarar

gates:
  - name: proof-crosses-boundary
    on: [spec]
    check: proof-crosses-boundary

Fonte: verificação · sua spec (em inglês)

🎯 O que este gate mede?

Garante que quando uma regra afirma relação entre módulos, a prova de teste alcança a outra ponta.

Em termos simples: este gate garante que o seu software não cometa erros por descuido ou falta de sincronização. Se você ou uma inteligência artificial alterar um arquivo coberto por este gate, ele inspeciona o trabalho imediatamente.

🛡️ Por que isso é importante?

Evita testes que mockam a outra ponta sem verificar se o contrato do vizinho ainda aceita aquela chamada.

Sem este gate ativo, esse tipo de defeito passa despercebido pelos testes comuns e só estoura em produção ou durante refatorações dolorosas semanas depois.

⚙️ Como funciona por baixo dos panos?

Verifica se testes com anotação de fronteira exercitam a interação ou usam dublês carimbados.

Condições dos Vereditos:

✓ Pass (Aprovado): A interação com a outra ponta é comprovada.
✗ Fail (Reprovado): A regra afirma relação com outro módulo mas o teste não alcança a fronteira.
~ Indeterminado/Pending: Não se aplica.
Skip (Dispensado): Testes puramente unitários isolados.

📋 Exemplo de Configuração no `anchors.yaml`

Para ativar este gate no seu projeto, adicione o bloco abaixo na seção gates: do seu anchors.yaml:

gates:
  - name: proof-crosses-boundary
    blocking: false
    measures: "teste que cruza fronteira a declara e comprova"

💡 Recomendações de Uso

Quando ativar: Informativo em suítes de integração.
Fase de execução: Configure em when: [pre-commit, ci] para verificações rápidas, ou when: [pre-push, ci] para gates que rodam ferramentas mais pesadas.
Transição de maturidade: Comece com blocking: false para avaliar o estado atual do repositório com anchors check. Quando zerar as ocorrências, altere para blocking: true.

🔧 Como corrigir quando este gate reprovar?

Se o anchors check acusar falha (✗) neste gate:

Adicione um teste de integração ou utilize um mock com contrato verificado.
Reexecute a verificação no terminal:
Terminal window
```
anchors check
```
Se o gate suportar correção automática, você pode tentar o comando:
Terminal window
```
anchors check --fix
```

🔗 Conceitos Relacionados

Guia Completo de Camadas: Entenda quais camadas exigem este gate.
A Unidade (The Unit): A relação entre Spec, Feature, Teste e Código.
Gates e Vereditos: A mecânica completa de avaliação do Anchors.
Catálogo Completo de Gates: Retornar ao índice pesquisável de todos os gates.