mirror of
https://github.com/mcloh/Enterprise-MCP-Service-Bus.git
synced 2026-11-06 06:24:12 +00:00
21 lines
581 B
Markdown
21 lines
581 B
Markdown
# ADR-014: Profile never expands entitlement
|
|
|
|
**Status:** Accepted.
|
|
**Source:** this ADR is the canonical record of this decision. For implementation and validation context, see `RI/docs/AS-BUILT.md` and, when applicable, the relevant contract in `RI/docs/interfaces/`.
|
|
|
|
## Context
|
|
|
|
Can profile expand entitlement?
|
|
|
|
## Decision
|
|
|
|
Never — `FilteredOfferings ⊆ MaximumEntitlement`, profile only orders/reduces.
|
|
|
|
## Alternatives Considered
|
|
|
|
High-engagement profile unlocking new tools.
|
|
|
|
## Consequences
|
|
|
|
EP-10-T02 brings a property test validating the invariant for random inputs.
|