Should we categorize different predicate types? #377
Description
There have been a few discussions around distinguishing between different of predicates. ITE-10 introduced the notion of informational and transformational predicates, which distinguishes between different contexts that generate attestations.
But there seem to be further distinctions that may be helpful for a few reasons: 1) There are different "categories" or "purposes" for informational predicates, such as summarizing an operation vs. logging an operation, and 2) these categories can help producers of in-toto attestations choose the predicates that best fit their use cases (rather than feel the need to develop their own.
My recommendation is to do a survey of the existing vetted predicate types that we have, and separate them at two levels: the ITE-10 classes and further subdivide informational predicates into a few more categories.