Invariantes do Sistema

Objetivo

Listar regras que não podem ser violadas sem mudança arquitetural explícita.

Invariantes iniciais

• Backend é a fonte única de verdade para regras do Método Billings.
• Clientes (web/mobile) não definem cálculo de fertilidade.
• Mudança de contrato público exige versionamento ou plano de compatibilidade.
• Autorização por role e módulo deve ser aplicada server-side.