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.
The first step to implementing the audit log is defining the interface that is used internally to talk to various logging backends.
This interface can be specific to the functionality of the checker (i.e., it's OK to hardcode the possible statements are functions). However, the interface must take extra care that error handling is done correctly.
The first step to implementing the audit log is defining the interface that is used internally to talk to various logging backends.
This interface can be specific to the functionality of the checker (i.e., it's OK to hardcode the possible statements are functions). However, the interface must take extra care that error handling is done correctly.