It models a banking system with account managers and account owners, each having different transaction limits. A specific transaction's limit can be overruled when necessary. An account owner can delegate access to other users.
The model, tuples and unit tests are detailed in store.fga.yaml.
-
Make sure you have the FGA CLI
-
In the
banking
directory, runfga model test --tests store.fga.yaml