mcloh/Enterprise-MCP-Service-Bus
1
0
Fork 0
mirror of https://github.com/mcloh/Enterprise-MCP-Service-Bus.git synced 2026-11-05 22:14:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
Enterprise-MCP-Service-Bus/docs/adr/ADR-014-perfil-nunca-amplia-entitlement.md
Marcos Lohmann 868d885cb6 revisão e complementação da documentação do projeto
2026-09-14 14:30:48 -03:00

598 B
Raw Permalink Blame History

ADR-014: Perfil nunca amplia entitlement

Status: Aceito. Fonte: este ADR é o registro canônico desta decisão. Para contexto de implementação e validação, ver RI/docs/AS-BUILT.md e, quando aplicável, o contrato relevante em RI/docs/interfaces/.

Contexto

Perfil pode ampliar entitlement?

Decisão

Nunca — FilteredOfferings ⊆ MaximumEntitlement, perfil só ordena/reduz.

Alternativas consideradas

Perfil de alto engajamento desbloqueando novas tools.

Consequências

EP-10-T02 traz teste de propriedade validando a invariante para entradas aleatórias.

Reference in New Issue View Git Blame Copy Permalink