Tenant rules
Tenant rules let a Customer teach its minted Agent a rule that binds that Agent in that Tenant and nowhere else.
Contract
Status planned. A rule is one sentence a Customer gives its own agent, with the eval case that proves it: "never offer more than one month free". The rule binds that Customer's agent in its Tenant, and no other Customer's.
| Proposed | Holds |
|---|---|
Agent.teach | The agent, the rule and its case; refuses a rule that would widen the product's Role contract |
Agent.taught | The Event, with the rule's case and its first verdict |
A rule only narrows: it may forbid, require or ask first, never grant a Verb the product does not sell. Each rule's case joins that Tenant's cases, so an upgrade replays it too.
Verbs
None.
Interfaces
None.
Example
Harbor Residential teaches its agent "never send a notice on a public holiday". The rule's case passes, and from then on its notices follow it. Riverside Property's agent is unchanged.