Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.
After issue #19 has been completed, a logging backend must be implemented that sits behind the interface.
Initially, this should be a simple backend that simply logs to a file. Certain guarantees (e.g., consistency, signing, etc) can be omitted for now; the focus is on using the backend.
Stretch goal Add a mock backend that always fails for testing purposes.
After issue #19 has been completed, a logging backend must be implemented that sits behind the interface.
Initially, this should be a simple backend that simply logs to a file. Certain guarantees (e.g., consistency, signing, etc) can be omitted for now; the focus is on using the backend.
Stretch goal Add a mock backend that always fails for testing purposes.