Skip to content

Commit

Permalink
Add another case to caveat delegation truth table
Browse files Browse the repository at this point in the history
  • Loading branch information
expede committed Oct 13, 2023
1 parent ec81dde commit 48d72d1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -785,6 +785,7 @@ Here are some abstract cases given in [normal form].
| `[[{a: 1}]]` | `[[{b: 2}]]` | No | Escalation by using a different caveat |
| `[{a: 1}], [{b: 2}]]` | `[[{a: 1}]]` | Yes | Removes a capability (removes an `OR` branch) |
| `[[{a: 1}], [{b: 2}]]` | `[[{a: 1}], [{b: 2, c: 3}]]` | Yes | Attenuates existing caveat |
| `[[{a: 1}]]` | `[[{a: 1}, {a: 2}]]` | Yes | Adds new caveat inside an `AND` block |
| `[[{a: 1}]]` | `[[{a: 1}], [{b: 2}]]]` | No | Escalation by adding new capability |
| `[[{a: 1}]]` | `[[{a: 1}], [{b: 2}]]` | No | Escalation by adding new capability (`{b: 2}`) |
| `[[{a: 1}]]` | `[[{a: 1, b: 2}], [{a: 1, c: 3}]]` | Yes | Attenuates the original capability |
Expand Down

0 comments on commit 48d72d1

Please sign in to comment.